m_00000000000277421008_3694763076.c

32位单精度浮点加法器

LAB141:    if (*((unsigned int *)t53) != 0)
        goto LAB142;

LAB143:    t124 = *((unsigned int *)t47);
    t125 = *((unsigned int *)t117);
    t126 = (t124 & t125);
    *((unsigned int *)t123) = t126;
    t56 = (t47 + 4);
    t57 = (t117 + 4);
    t59 = (t123 + 4);
    t127 = *((unsigned int *)t56);
    t128 = *((unsigned int *)t57);
    t129 = (t127 | t128);
    *((unsigned int *)t59) = t129;
    t130 = *((unsigned int *)t59);
    t131 = (t130 != 0);
    if (t131 == 1)
        goto LAB144;

LAB145:
LAB146:    goto LAB135;

LAB138:    t52 = (t55 + 4);
    *((unsigned int *)t55) = 1;
    *((unsigned int *)t52) = 1;
    goto LAB139;

LAB140:    *((unsigned int *)t117) = 1;
    goto LAB143;

LAB142:    t54 = (t117 + 4);
    *((unsigned int *)t117) = 1;
    *((unsigned int *)t54) = 1;
    goto LAB143;

LAB144:    t132 = *((unsigned int *)t123);
    t133 = *((unsigned int *)t59);
    *((unsigned int *)t123) = (t132 | t133);
    t62 = (t47 + 4);
    t69 = (t117 + 4);
    t134 = *((unsigned int *)t47);
    t135 = (~(t134));
    t136 = *((unsigned int *)t62);
    t137 = (~(t136));
    t138 = *((unsigned int *)t117);
    t139 = (~(t138));
    t140 = *((unsigned int *)t69);
    t141 = (~(t140));
    t61 = (t135 & t137);
    t63 = (t139 & t141);
    t142 = (~(t61));
    t143 = (~(t63));
    t144 = *((unsigned int *)t59);
    *((unsigned int *)t59) = (t144 & t142);
    t145 = *((unsigned int *)t59);
    *((unsigned int *)t59) = (t145 & t143);
    t146 = *((unsigned int *)t123);
    *((unsigned int *)t123) = (t146 & t142);
    t147 = *((unsigned int *)t123);
    *((unsigned int *)t123) = (t147 & t143);
    goto LAB146;

LAB147:
LAB150:    t71 = (t1 + 24368);
    t72 = (t71 + 56U);
    t73 = *((char **)t72);
    memset(t153, 0, 8);
    t155 = (t153 + 4);
    t156 = (t73 + 4);
    t157 = *((unsigned int *)t73);
    t158 = (t157 >> 0);
    *((unsigned int *)t153) = t158;
    t159 = *((unsigned int *)t156);
    t160 = (t159 >> 0);
    *((unsigned int *)t155) = t160;
    t161 = *((unsigned int *)t153);
    *((unsigned int *)t153) = (t161 & 1048575U);
    t162 = *((unsigned int *)t155);
    *((unsigned int *)t155) = (t162 & 1048575U);
    t163 = (t1 + 24368);
    t169 = (t1 + 24368);
    t170 = (t169 + 72U);
    t172 = *((char **)t170);
    t173 = ((char*)((ng10)));
    t174 = ((char*)((ng7)));
    xsi_vlog_convert_partindices(t154, t171, t178, ((int*)(t172)), 2, t173, 32, 1, t174, 32, 1);
    t175 = (t154 + 4);
    t164 = *((unsigned int *)t175);
    t64 = (!(t164));
    t176 = (t171 + 4);
    t165 = *((unsigned int *)t176);
    t65 = (!(t165));
    t66 = (t64 && t65);
    t179 = (t178 + 4);
    t166 = *((unsigned int *)t179);
    t67 = (!(t166));
    t180 = (t66 && t67);
    if (t180 == 1)
        goto LAB151;

LAB152:    t4 = (t1 + 24368);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memset(t10, 0, 8);
    t7 = (t10 + 4);
    t8 = (t6 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (t13 >> 21);
    t15 = (t14 & 1);
    *((unsigned int *)t10) = t15;
    t16 = *((unsigned int *)t8);
    t17 = (t16 >> 21);
    t21 = (t17 & 1);
    *((unsigned int *)t7) = t21;
    t9 = (t1 + 24368);
    t11 = (t1 + 24368);
    t12 = (t11 + 72U);
    t19 = *((char **)t12);
    t20 = ((char*)((ng4)));
    xsi_vlog_generic_convert_bit_index(t18, t19, 2, t20, 32, 1);
    t26 = (t18 + 4);
    t22 = *((unsigned int *)t26);
    t58 = (!(t22));
    if (t58 == 1)
        goto LAB153;

LAB154:    t4 = (t1 + 24368);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memset(t10, 0, 8);
    t7 = (t10 + 4);
    t8 = (t6 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (t13 >> 20);
    t15 = (t14 & 1);
    *((unsigned int *)t10) = t15;
    t16 = *((unsigned int *)t8);
    t17 = (t16 >> 20);
    t21 = (t17 & 1);
    *((unsigned int *)t7) = t21;
    t9 = (t1 + 24368);
    t11 = (t1 + 24368);
    t12 = (t11 + 72U);
    t19 = *((char **)t12);
    t20 = ((char*)((ng3)));
    xsi_vlog_generic_convert_bit_index(t18, t19, 2, t20, 32, 1);
    t26 = (t18 + 4);
    t22 = *((unsigned int *)t26);
    t58 = (!(t22));
    if (t58 == 1)
        goto LAB155;

LAB156:    t4 = (t1 + 29808);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t1 + 24368);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    memset(t10, 0, 8);
    t11 = (t10 + 4);
    t12 = (t9 + 4);
    t13 = *((unsigned int *)t9);
    t14 = (t13 >> 0);
    *((unsigned int *)t10) = t14;
    t15 = *((unsigned int *)t12);
    t16 = (t15 >> 0);
    *((unsigned int *)t11) = t16;
    t17 = *((unsigned int *)t10);
    *((unsigned int *)t10) = (t17 & 65535U);
    t21 = *((unsigned int *)t11);
    *((unsigned int *)t11) = (t21 & 65535U);
    t22 = *((unsigned int *)t6);
    t23 = *((unsigned int *)t10);
    t24 = (t22 ^ t23);
    *((unsigned int *)t18) = t24;
    t19 = (t6 + 4);
    t20 = (t10 + 4);
    t26 = (t18 + 4);
    t25 = *((unsigned int *)t19);
    t28 = *((unsigned int *)t20);
    t29 = (t25 | t28);
    *((unsigned int *)t26) = t29;
    t30 = *((unsigned int *)t26);
    t31 = (t30 != 0);
    if (t31 == 1)
        goto LAB157;

LAB158:
LAB159:    t27 = (t1 + 29808);
    xsi_vlogvar_assign_value(t27, t18, 0, 0, 16);
    goto LAB149;

LAB151:    t167 = *((unsigned int *)t178);
    t181 = (t167 + 0);
    t168 = *((unsigned int *)t154);
    t177 = *((unsigned int *)t171);
    t182 = (t168 - t177);
    t183 = (t182 + 1);
    xsi_vlogvar_assign_value(t163, t153, t181, *((unsigned int *)t171), t183);
    goto LAB152;

LAB153:    xsi_vlogvar_assign_value(t9, t10, 0, *((unsigned int *)t18), 1);
    goto LAB154;

LAB155:    xsi_vlogvar_assign_value(t9, t10, 0, *((unsigned int *)t18), 1);
    goto LAB156;

LAB157:    t32 = *((unsigned int *)t18);
    t68 = *((unsigned int *)t26);
    *((unsigned int *)t18) = (t32 | t68);
    goto LAB159;

LAB160:
LAB163:    t7 = (t1 + 29808);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    t11 = (t1 + 24208);
    t12 = (t1 + 24208);
    t19 = (t12 + 72U);
    t20 = *((char **)t19);
    t26 = (t1 + 24208);
    t27 = (t26 + 64U);
    t33 = *((char **)t27);
    t34 = (t1 + 29968);
    t35 = (t34 + 56U);
    t36 = *((char **)t35);
    t37 = (t1 + 9448);
    t38 = *((char **)t37);
    memset(t43, 0, 8);
    xsi_vlog_unsigned_multiply(t43, 32, t36, 10, t38, 32);
    xsi_vlog_generic_convert_array_indices(t18, t40, t20, t33, 2, 1, t43, 32, 2);
    t37 = (t18 + 4);
    t21 = *((unsigned int *)t37);
    t58 = (!(t21));
    t39 = (t40 + 4);
    t22 = *((unsigned int *)t39);
    t60 = (!(t22));
    t61 = (t58 && t60);
    if (t61 == 1)
        goto LAB164;

LAB165:    goto LAB162;

LAB164:    t23 = *((unsigned int *)t18);
    t24 = *((unsigned int *)t40);
    t63 = (t23 - t24);
    t64 = (t63 + 1);
    xsi_vlogvar_assign_value(t11, t9, 0, *((unsigned int *)t40), t64);
    goto LAB165;

LAB168:
LAB170:    t9 = (t1 + 29808);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t19 = (t1 + 29808);
    t20 = (t19 + 72U);
    t26 = *((char **)t20);
    t27 = (t1 + 8904);
    t33 = *((char **)t27);
    t27 = (t1 + 30128);
    t34 = (t27 + 56U);
    t35 = *((char **)t34);
    memset(t40, 0, 8);
    xsi_vlog_signed_multiply(t40, 32, t33, 32, t35, 32);
    t36 = ((char*)((ng5)));
    xsi_vlog_get_indexed_partselect(t18, 16, t12, ((int*)(t26)), 2, t40, 32, 1, t36, 32, 1, 1);
    t37 = (t1 + 24208);
    t38 = (t1 + 24208);
    t39 = (t38 + 72U);
    t41 = *((char **)t39);
    t42 = (t1 + 24208);
    t44 = (t42 + 64U);
    t48 = *((char **)t44);
    t49 = (t1 + 29968);
    t50 = (t49 + 56U);
    t51 = *((char **)t50);
    t52 = (t1 + 9448);
    t53 = *((char **)t52);
    memset(t46, 0, 8);
    xsi_vlog_unsigned_multiply(t46, 32, t51, 10, t53, 32);
    t52 = (t1 + 30128);
    t54 = (t52 + 56U);
    t56 = *((char **)t54);
    memset(t47, 0, 8);
    xsi_vlog_unsigned_add(t47, 32, t46, 32, t56, 32);
    xsi_vlog_generic_convert_array_indices(t43, t45, t41, t48, 2, 1, t47, 32, 2);
    t57 = (t43 + 4);
    t21 = *((unsigned int *)t57);
    t58 = (!(t21));
    t59 = (t45 + 4);
    t22 = *((unsigned int *)t59);
    t60 = (!(t22));
    t61 = (t58 && t60);
    if (t61 == 1)
        goto LAB171;

LAB172:    t4 = (t1 + 30128);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_add(t10, 32, t6, 32, t7, 32);
    t8 = (t1 + 30128);
    xsi_vlogvar_assign_value(t8, t10, 0, 0, 32);
    goto LAB167;

LAB171:    t23 = *((unsigned int *)t43);
    t24 = *((unsigned int *)t45);
    t63 = (t23 - t24);
    t64 = (t63 + 1);
    xsi_vlogvar_assign_value(t37, t18, 0, *((unsigned int *)t45), t64);
    goto LAB172;

LAB173:    *((unsigned int *)t10) = 1;
    goto LAB176;

LAB175:    t7 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t7) = 1;
    goto LAB176;

LAB177:    t9 = (t1 + 7000);
    t11 = *((char **)t9);
    t9 = ((char*)((ng3)));
    memset(t18, 0, 8);
    xsi_vlog_signed_equal(t18, 32, t11, 32, t9, 32);
    memset(t40, 0, 8);
    t12 = (t18 + 4);
    t24 = *((unsigned int *)t12);
    t25 = (~(t24));
    t28 = *((unsigned int *)t18);
    t29 = (t28 & t25);
    t30 = (t29 & 1U);
    if (t30 != 0)
        goto LAB180;

LAB181:    if (*((unsigned int *)t12) != 0)
        goto LAB182;

LAB183:    t31 = *((unsigned int *)t10);
    t32 = *((unsigned int *)t40);
    t68 = (t31 & t32);
    *((unsigned int *)t43) = t68;
    t20 = (t10 + 4);
    t26 = (t40 + 4);
    t27 = (t43 + 4);
    t74 = *((unsigned int *)t20);
    t75 = *((unsigned int *)t26);
    t76 = (t74 | t75);
    *((unsigned int *)t27) = t76;
    t77 = *((unsigned int *)t27);
    t78 = (t77 != 0);
    if (t78 == 1)
        goto LAB184;

LAB185:
LAB186:    goto LAB179;

LAB180:    *((unsigned int *)t40) = 1;
    goto LAB183;

LAB182:    t19 = (t40 + 4);
    *((unsigned int *)t40) = 1;
    *((unsigned int *)t19) = 1;
    goto LAB183;

LAB184:    t79 = *((unsigned int *)t43);
    t80 = *((unsigned int *)t27);
    *((unsigned int *)t43) = (t79 | t80);
    t33 = (t10 + 4);
    t34 = (t40 + 4);
    t81 = *((unsigned int *)t10);
    t82 = (~(t81));
    t83 = *((unsigned int *)t33);
    t84 = (~(t83));
    t85 = *((unsigned int *)t40);
    t86 = (~(t85));
    t87 = *((unsigned int *)t34);
    t88 = (~(t87));
    t58 = (t82 & t84);
    t60 = (t86 & t88);
    t89 = (~(t58));
    t90 = (~(t60));
    t91 = *((unsigned int *)t27);
    *((unsigned int *)t27) = (t91 & t89);
    t92 = *((unsigned int *)t27);
    *((unsigned int *)t27) = (t92 & t90);
    t93 = *((unsigned int *)t43);
    *((unsigned int *)t43) = (t93 & t89);
    t94 = *((unsigned int *)t43);
    *((unsigned int *)t43) = (t94 & t90);
    goto LAB186;

LAB187:
LAB190:    t36 = (t1 + 7136);
    t37 = *((char **)t36);
    t36 = ((char*)((ng3)));
    memset(t45, 0, 8);
    xsi_vlog_signed_equal(t45, 32, t37, 32, t36, 32);
    memset(t46, 0, 8);
    t38 = (t45 + 4);
    t100 = *((unsigned int *)t38);
    t101 = (~(t100));
    t102 = *((unsigned int *)t45);
    t103 = (t102 & t101);
    t104 = (t103 & 1U);
    if (t104 != 0)
        goto LAB191;

LAB192:    if (*((unsigned int *)t38) != 0)
        goto LAB193;

LAB194:    t41 = (t46 + 4);
    t105 = *((unsigned int *)t46);
    t106 = *((unsigned int *)t41);
    t107 = (t105 || t106);
    if (t107 > 0)
        goto LAB195;

LAB196:    memcpy(t117, t46, 8);

LAB197:    memset(t123, 0, 8);
    t70 = (t117 + 4);
    t151 = *((unsigned int *)t70);
    t152 = (~(t151));
    t157 = *((unsigned int *)t117);
    t158 = (t157 & t152);
    t159 = (t158 & 1U);
    if (t159 != 0)
        goto LAB209;

LAB210:    if (*((unsigned int *)t70) != 0)
        goto LAB211;

LAB212:    t72 = (t123 + 4);
    t160 = *((unsigned int *)t123);
    t161 = (!(t160));
    t162 = *((unsigned int *)t72);
    t164 = (t161 || t162);
    if (t164 > 0)
        goto LAB213;

LAB214:    memcpy(t315, t123, 8);

LAB215:    t341 = (t315 + 4);
    t342 = *((unsigned int *)t341);
    t343 = (~(t342));
    t344 = *((unsigned int *)t315);
    t345 = (t344 & t343);
    t346 = (t345 != 0);
    if (t346 > 0)
        goto LAB259;

LAB260:
LAB265:    t4 = ((char*)((ng4)));
    t5 = (t1 + 24528);
    t6 = (t1 + 24528);
    t7 = (t6 + 72U);
    t8 = *((char **)t7);
    t9 = (t1 + 24528);
    t11 = (t9 + 64U);
    t12 = *((char **)t11);
    t19 = (t1 + 29008);
    t20 = (t19 + 56U);
    t26 = *((char **)t20);
    xsi_vlog_generic_convert_array_indices(t10, t18, t8, t12, 2, 1, t26, 10, 2);
    t27 = (t10 + 4);
    t13 = *((unsigned int *)t27);
    t58 = (!(t13));
    t33 = (t18 + 4);
    t14 = *((unsigned int *)t33);
    t60 = (!(t14));
    t61 = (t58 && t60);
    if (t61 == 1)
        goto LAB266;

LAB267:
LAB261:    t4 = (t1 + 7136);
    t5 = *((char **)t4);
    t4 = ((char*)((ng7)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t5, 32, t4, 32);
    memset(t18, 0, 8);
    t6 = (t10 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 & 1U);
    if (t17 != 0)
        goto LAB268;

LAB269:    if (*((unsigned int *)t6) != 0)
        goto LAB270;