m_00000000000277421008_3694763076.c

32位单精度浮点加法器

    t97 = *((unsigned int *)t38);
    t98 = (~(t97));
    t99 = *((unsigned int *)t46);
    t100 = (t99 & t98);
    t101 = (t100 & 1U);
    if (t101 != 0)
        goto LAB77;

LAB78:    if (*((unsigned int *)t38) != 0)
        goto LAB79;

LAB80:    t41 = (t47 + 4);
    t102 = *((unsigned int *)t47);
    t103 = *((unsigned int *)t41);
    t104 = (t102 || t103);
    if (t104 > 0)
        goto LAB81;

LAB82:    memcpy(t123, t47, 8);

LAB83:    t70 = (t123 + 4);
    t148 = *((unsigned int *)t70);
    t149 = (~(t148));
    t150 = *((unsigned int *)t123);
    t151 = (t150 & t149);
    t152 = (t151 != 0);
    if (t152 > 0)
        goto LAB95;

LAB96:
LAB97:    goto LAB61;

LAB63:    *((unsigned int *)t40) = 1;
    goto LAB66;

LAB65:    t11 = (t40 + 4);
    *((unsigned int *)t40) = 1;
    *((unsigned int *)t11) = 1;
    goto LAB66;

LAB67:    t19 = (t1 + 7136);
    t20 = *((char **)t19);
    t19 = ((char*)((ng8)));
    memset(t43, 0, 8);
    xsi_vlog_signed_equal(t43, 32, t20, 32, t19, 32);
    memset(t45, 0, 8);
    t26 = (t43 + 4);
    t32 = *((unsigned int *)t26);
    t68 = (~(t32));
    t74 = *((unsigned int *)t43);
    t75 = (t74 & t68);
    t76 = (t75 & 1U);
    if (t76 != 0)
        goto LAB70;

LAB71:    if (*((unsigned int *)t26) != 0)
        goto LAB72;

LAB73:    t77 = *((unsigned int *)t40);
    t78 = *((unsigned int *)t45);
    t79 = (t77 | t78);
    *((unsigned int *)t46) = t79;
    t33 = (t40 + 4);
    t34 = (t45 + 4);
    t35 = (t46 + 4);
    t80 = *((unsigned int *)t33);
    t81 = *((unsigned int *)t34);
    t82 = (t80 | t81);
    *((unsigned int *)t35) = t82;
    t83 = *((unsigned int *)t35);
    t84 = (t83 != 0);
    if (t84 == 1)
        goto LAB74;

LAB75:
LAB76:    goto LAB69;

LAB70:    *((unsigned int *)t45) = 1;
    goto LAB73;

LAB72:    t27 = (t45 + 4);
    *((unsigned int *)t45) = 1;
    *((unsigned int *)t27) = 1;
    goto LAB73;

LAB74:    t85 = *((unsigned int *)t46);
    t86 = *((unsigned int *)t35);
    *((unsigned int *)t46) = (t85 | t86);
    t36 = (t40 + 4);
    t37 = (t45 + 4);
    t87 = *((unsigned int *)t36);
    t88 = (~(t87));
    t89 = *((unsigned int *)t40);
    t58 = (t89 & t88);
    t90 = *((unsigned int *)t37);
    t91 = (~(t90));
    t92 = *((unsigned int *)t45);
    t60 = (t92 & t91);
    t93 = (~(t58));
    t94 = (~(t60));
    t95 = *((unsigned int *)t35);
    *((unsigned int *)t35) = (t95 & t93);
    t96 = *((unsigned int *)t35);
    *((unsigned int *)t35) = (t96 & t94);
    goto LAB76;

LAB77:    *((unsigned int *)t47) = 1;
    goto LAB80;

LAB79:    t39 = (t47 + 4);
    *((unsigned int *)t47) = 1;
    *((unsigned int *)t39) = 1;
    goto LAB80;

LAB81:    t42 = (t1 + 29648);
    t44 = (t42 + 56U);
    t48 = *((char **)t44);
    t49 = ((char*)((ng9)));
    memset(t55, 0, 8);
    t50 = (t48 + 4);
    t51 = (t49 + 4);
    t105 = *((unsigned int *)t48);
    t106 = *((unsigned int *)t49);
    t107 = (t105 ^ t106);
    t108 = *((unsigned int *)t50);
    t109 = *((unsigned int *)t51);
    t110 = (t108 ^ t109);
    t111 = (t107 | t110);
    t112 = *((unsigned int *)t50);
    t113 = *((unsigned int *)t51);
    t114 = (t112 | t113);
    t115 = (~(t114));
    t116 = (t111 & t115);
    if (t116 != 0)
        goto LAB87;

LAB84:    if (t114 != 0)
        goto LAB86;

LAB85:    *((unsigned int *)t55) = 1;

LAB87:    memset(t117, 0, 8);
    t53 = (t55 + 4);
    t118 = *((unsigned int *)t53);
    t119 = (~(t118));
    t120 = *((unsigned int *)t55);
    t121 = (t120 & t119);
    t122 = (t121 & 1U);
    if (t122 != 0)
        goto LAB88;

LAB89:    if (*((unsigned int *)t53) != 0)
        goto LAB90;

LAB91:    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 LAB92;

LAB93:
LAB94:    goto LAB83;

LAB86:    t52 = (t55 + 4);
    *((unsigned int *)t55) = 1;
    *((unsigned int *)t52) = 1;
    goto LAB87;

LAB88:    *((unsigned int *)t117) = 1;
    goto LAB91;

LAB90:    t54 = (t117 + 4);
    *((unsigned int *)t117) = 1;
    *((unsigned int *)t54) = 1;
    goto LAB91;

LAB92:    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 LAB94;

LAB95:
LAB98:    t71 = (t1 + 29808);
    t72 = (t71 + 56U);
    t73 = *((char **)t72);
    memset(t154, 0, 8);
    t155 = (t154 + 4);
    t156 = (t73 + 4);
    t157 = *((unsigned int *)t73);
    t158 = (t157 >> 0);
    t159 = (t158 & 1);
    *((unsigned int *)t154) = t159;
    t160 = *((unsigned int *)t156);
    t161 = (t160 >> 0);
    t162 = (t161 & 1);
    *((unsigned int *)t155) = t162;
    memset(t153, 0, 8);
    t163 = (t154 + 4);
    t164 = *((unsigned int *)t163);
    t165 = (~(t164));
    t166 = *((unsigned int *)t154);
    t167 = (t166 & t165);
    t168 = (t167 & 1U);
    if (t168 != 0)
        goto LAB102;

LAB100:    if (*((unsigned int *)t163) == 0)
        goto LAB99;

LAB101:    t169 = (t153 + 4);
    *((unsigned int *)t153) = 1;
    *((unsigned int *)t169) = 1;

LAB102:    t170 = (t1 + 29808);
    t172 = (t1 + 29808);
    t173 = (t172 + 72U);
    t174 = *((char **)t173);
    t175 = ((char*)((ng4)));
    xsi_vlog_generic_convert_bit_index(t171, t174, 2, t175, 32, 1);
    t176 = (t171 + 4);
    t177 = *((unsigned int *)t176);
    t64 = (!(t177));
    if (t64 == 1)
        goto LAB103;

LAB104:    t4 = (t1 + 29808);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memset(t18, 0, 8);
    t7 = (t18 + 4);
    t8 = (t6 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (t13 >> 1);
    t15 = (t14 & 1);
    *((unsigned int *)t18) = t15;
    t16 = *((unsigned int *)t8);
    t17 = (t16 >> 1);
    t21 = (t17 & 1);
    *((unsigned int *)t7) = t21;
    memset(t10, 0, 8);
    t9 = (t18 + 4);
    t22 = *((unsigned int *)t9);
    t23 = (~(t22));
    t24 = *((unsigned int *)t18);
    t25 = (t24 & t23);
    t28 = (t25 & 1U);
    if (t28 != 0)
        goto LAB108;

LAB106:    if (*((unsigned int *)t9) == 0)
        goto LAB105;

LAB107:    t11 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t11) = 1;

LAB108:    t12 = (t1 + 29808);
    t19 = (t1 + 29808);
    t20 = (t19 + 72U);
    t26 = *((char **)t20);
    t27 = ((char*)((ng3)));
    xsi_vlog_generic_convert_bit_index(t40, t26, 2, t27, 32, 1);
    t33 = (t40 + 4);
    t29 = *((unsigned int *)t33);
    t58 = (!(t29));
    if (t58 == 1)
        goto LAB109;

LAB110:    goto LAB97;

LAB99:    *((unsigned int *)t153) = 1;
    goto LAB102;

LAB103:    xsi_vlogvar_assign_value(t170, t153, 0, *((unsigned int *)t171), 1);
    goto LAB104;

LAB105:    *((unsigned int *)t10) = 1;
    goto LAB108;

LAB109:    xsi_vlogvar_assign_value(t12, t10, 0, *((unsigned int *)t40), 1);
    goto LAB110;

LAB111:
LAB114:    t7 = (t1 + 7136);
    t8 = *((char **)t7);
    t7 = ((char*)((ng7)));
    memset(t18, 0, 8);
    xsi_vlog_signed_equal(t18, 32, t8, 32, t7, 32);
    memset(t40, 0, 8);
    t9 = (t18 + 4);
    t21 = *((unsigned int *)t9);
    t22 = (~(t21));
    t23 = *((unsigned int *)t18);
    t24 = (t23 & t22);
    t25 = (t24 & 1U);
    if (t25 != 0)
        goto LAB115;

LAB116:    if (*((unsigned int *)t9) != 0)
        goto LAB117;

LAB118:    t12 = (t40 + 4);
    t28 = *((unsigned int *)t40);
    t29 = (!(t28));
    t30 = *((unsigned int *)t12);
    t31 = (t29 || t30);
    if (t31 > 0)
        goto LAB119;

LAB120:    memcpy(t46, t40, 8);

LAB121:    memset(t47, 0, 8);
    t38 = (t46 + 4);
    t97 = *((unsigned int *)t38);
    t98 = (~(t97));
    t99 = *((unsigned int *)t46);
    t100 = (t99 & t98);
    t101 = (t100 & 1U);
    if (t101 != 0)
        goto LAB129;

LAB130:    if (*((unsigned int *)t38) != 0)
        goto LAB131;

LAB132:    t41 = (t47 + 4);
    t102 = *((unsigned int *)t47);
    t103 = *((unsigned int *)t41);
    t104 = (t102 || t103);
    if (t104 > 0)
        goto LAB133;

LAB134:    memcpy(t123, t47, 8);

LAB135:    t70 = (t123 + 4);
    t148 = *((unsigned int *)t70);
    t149 = (~(t148));
    t150 = *((unsigned int *)t123);
    t151 = (t150 & t149);
    t152 = (t151 != 0);
    if (t152 > 0)
        goto LAB147;

LAB148:
LAB149:    goto LAB113;

LAB115:    *((unsigned int *)t40) = 1;
    goto LAB118;

LAB117:    t11 = (t40 + 4);
    *((unsigned int *)t40) = 1;
    *((unsigned int *)t11) = 1;
    goto LAB118;

LAB119:    t19 = (t1 + 7136);
    t20 = *((char **)t19);
    t19 = ((char*)((ng8)));
    memset(t43, 0, 8);
    xsi_vlog_signed_equal(t43, 32, t20, 32, t19, 32);
    memset(t45, 0, 8);
    t26 = (t43 + 4);
    t32 = *((unsigned int *)t26);
    t68 = (~(t32));
    t74 = *((unsigned int *)t43);
    t75 = (t74 & t68);
    t76 = (t75 & 1U);
    if (t76 != 0)
        goto LAB122;

LAB123:    if (*((unsigned int *)t26) != 0)
        goto LAB124;

LAB125:    t77 = *((unsigned int *)t40);
    t78 = *((unsigned int *)t45);
    t79 = (t77 | t78);
    *((unsigned int *)t46) = t79;
    t33 = (t40 + 4);
    t34 = (t45 + 4);
    t35 = (t46 + 4);
    t80 = *((unsigned int *)t33);
    t81 = *((unsigned int *)t34);
    t82 = (t80 | t81);
    *((unsigned int *)t35) = t82;
    t83 = *((unsigned int *)t35);
    t84 = (t83 != 0);
    if (t84 == 1)
        goto LAB126;

LAB127:
LAB128:    goto LAB121;

LAB122:    *((unsigned int *)t45) = 1;
    goto LAB125;

LAB124:    t27 = (t45 + 4);
    *((unsigned int *)t45) = 1;
    *((unsigned int *)t27) = 1;
    goto LAB125;

LAB126:    t85 = *((unsigned int *)t46);
    t86 = *((unsigned int *)t35);
    *((unsigned int *)t46) = (t85 | t86);
    t36 = (t40 + 4);
    t37 = (t45 + 4);
    t87 = *((unsigned int *)t36);
    t88 = (~(t87));
    t89 = *((unsigned int *)t40);
    t58 = (t89 & t88);
    t90 = *((unsigned int *)t37);
    t91 = (~(t90));
    t92 = *((unsigned int *)t45);
    t60 = (t92 & t91);
    t93 = (~(t58));
    t94 = (~(t60));
    t95 = *((unsigned int *)t35);
    *((unsigned int *)t35) = (t95 & t93);
    t96 = *((unsigned int *)t35);
    *((unsigned int *)t35) = (t96 & t94);
    goto LAB128;

LAB129:    *((unsigned int *)t47) = 1;
    goto LAB132;

LAB131:    t39 = (t47 + 4);
    *((unsigned int *)t47) = 1;
    *((unsigned int *)t39) = 1;
    goto LAB132;

LAB133:    t42 = (t1 + 29648);
    t44 = (t42 + 56U);
    t48 = *((char **)t44);
    t49 = ((char*)((ng9)));
    memset(t55, 0, 8);
    t50 = (t48 + 4);
    t51 = (t49 + 4);
    t105 = *((unsigned int *)t48);
    t106 = *((unsigned int *)t49);
    t107 = (t105 ^ t106);
    t108 = *((unsigned int *)t50);
    t109 = *((unsigned int *)t51);
    t110 = (t108 ^ t109);
    t111 = (t107 | t110);
    t112 = *((unsigned int *)t50);
    t113 = *((unsigned int *)t51);
    t114 = (t112 | t113);
    t115 = (~(t114));
    t116 = (t111 & t115);
    if (t116 != 0)
        goto LAB139;

LAB136:    if (t114 != 0)
        goto LAB138;

LAB137:    *((unsigned int *)t55) = 1;

LAB139:    memset(t117, 0, 8);
    t53 = (t55 + 4);
    t118 = *((unsigned int *)t53);
    t119 = (~(t118));
    t120 = *((unsigned int *)t55);
    t121 = (t120 & t119);
    t122 = (t121 & 1U);
    if (t122 != 0)
        goto LAB140;