m_00000000003417483446_1041949705.c

32位单精度浮点加法器

LAB12:
LAB13:
LAB8:    goto LAB2;

LAB6:    xsi_set_current_line(178, ng0);

LAB9:    xsi_set_current_line(179, ng0);
    t11 = ((char*)((ng1)));
    t12 = (t0 + 3432);
    xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 4, 0LL);
    goto LAB8;

LAB11:    xsi_set_current_line(184, ng0);

LAB14:    xsi_set_current_line(185, ng0);
    t4 = (t0 + 2552U);
    t5 = *((char **)t4);
    memset(t13, 0, 8);
    t4 = (t5 + 4);
    t14 = *((unsigned int *)t4);
    t15 = (~(t14));
    t16 = *((unsigned int *)t5);
    t17 = (t16 & t15);
    t18 = (t17 & 1U);
    if (t18 != 0)
        goto LAB18;

LAB16:    if (*((unsigned int *)t4) == 0)
        goto LAB15;

LAB17:    t11 = (t13 + 4);
    *((unsigned int *)t13) = 1;
    *((unsigned int *)t11) = 1;

LAB18:    t12 = (t13 + 4);
    t19 = *((unsigned int *)t12);
    t20 = (~(t19));
    t21 = *((unsigned int *)t13);
    t22 = (t21 & t20);
    t23 = (t22 != 0);
    if (t23 > 0)
        goto LAB19;

LAB20:    xsi_set_current_line(190, ng0);

LAB23:    xsi_set_current_line(191, ng0);
    t2 = (t0 + 3272);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng1)));
    memset(t13, 0, 8);
    t11 = (t4 + 4);
    t12 = (t5 + 4);
    t6 = *((unsigned int *)t4);
    t7 = *((unsigned int *)t5);
    t8 = (t6 ^ t7);
    t9 = *((unsigned int *)t11);
    t10 = *((unsigned int *)t12);
    t14 = (t9 ^ t10);
    t15 = (t8 | t14);
    t16 = *((unsigned int *)t11);
    t17 = *((unsigned int *)t12);
    t18 = (t16 | t17);
    t19 = (~(t18));
    t20 = (t15 & t19);
    if (t20 != 0)
        goto LAB27;

LAB24:    if (t18 != 0)
        goto LAB26;

LAB25:    *((unsigned int *)t13) = 1;

LAB27:    memset(t28, 0, 8);
    t25 = (t13 + 4);
    t21 = *((unsigned int *)t25);
    t22 = (~(t21));
    t23 = *((unsigned int *)t13);
    t30 = (t23 & t22);
    t31 = (t30 & 1U);
    if (t31 != 0)
        goto LAB28;

LAB29:    if (*((unsigned int *)t25) != 0)
        goto LAB30;

LAB31:    t27 = (t28 + 4);
    t32 = *((unsigned int *)t28);
    t33 = *((unsigned int *)t27);
    t34 = (t32 || t33);
    if (t34 > 0)
        goto LAB32;

LAB33:    memcpy(t51, t28, 8);

LAB34:    memset(t83, 0, 8);
    t84 = (t51 + 4);
    t85 = *((unsigned int *)t84);
    t86 = (~(t85));
    t87 = *((unsigned int *)t51);
    t88 = (t87 & t86);
    t89 = (t88 & 1U);
    if (t89 != 0)
        goto LAB46;

LAB47:    if (*((unsigned int *)t84) != 0)
        goto LAB48;

LAB49:    t91 = (t83 + 4);
    t92 = *((unsigned int *)t83);
    t93 = (!(t92));
    t94 = *((unsigned int *)t91);
    t95 = (t93 || t94);
    if (t95 > 0)
        goto LAB50;

LAB51:    memcpy(t124, t83, 8);

LAB52:    memset(t152, 0, 8);
    t153 = (t124 + 4);
    t154 = *((unsigned int *)t153);
    t155 = (~(t154));
    t156 = *((unsigned int *)t124);
    t157 = (t156 & t155);
    t158 = (t157 & 1U);
    if (t158 != 0)
        goto LAB64;

LAB65:    if (*((unsigned int *)t153) != 0)
        goto LAB66;

LAB67:    t160 = (t152 + 4);
    t161 = *((unsigned int *)t152);
    t162 = (!(t161));
    t163 = *((unsigned int *)t160);
    t164 = (t162 || t163);
    if (t164 > 0)
        goto LAB68;

LAB69:    memcpy(t193, t152, 8);

LAB70:    memset(t221, 0, 8);
    t222 = (t193 + 4);
    t223 = *((unsigned int *)t222);
    t224 = (~(t223));
    t225 = *((unsigned int *)t193);
    t226 = (t225 & t224);
    t227 = (t226 & 1U);
    if (t227 != 0)
        goto LAB82;

LAB83:    if (*((unsigned int *)t222) != 0)
        goto LAB84;

LAB85:    t229 = (t221 + 4);
    t230 = *((unsigned int *)t221);
    t231 = (!(t230));
    t232 = *((unsigned int *)t229);
    t233 = (t231 || t232);
    if (t233 > 0)
        goto LAB86;

LAB87:    memcpy(t323, t221, 8);

LAB88:    t351 = (t323 + 4);
    t352 = *((unsigned int *)t351);
    t353 = (~(t352));
    t354 = *((unsigned int *)t323);
    t355 = (t354 & t353);
    t356 = (t355 != 0);
    if (t356 > 0)
        goto LAB118;

LAB119:
LAB120:
LAB21:    goto LAB13;

LAB15:    *((unsigned int *)t13) = 1;
    goto LAB18;

LAB19:    xsi_set_current_line(186, ng0);

LAB22:    xsi_set_current_line(187, ng0);
    t24 = (t0 + 3432);
    t25 = (t24 + 56U);
    t26 = *((char **)t25);
    t27 = ((char*)((ng2)));
    memset(t28, 0, 8);
    xsi_vlog_unsigned_minus(t28, 4, t26, 4, t27, 4);
    t29 = (t0 + 3432);
    xsi_vlogvar_wait_assign_value(t29, t28, 0, 0, 4, 0LL);
    goto LAB21;

LAB26:    t24 = (t13 + 4);
    *((unsigned int *)t13) = 1;
    *((unsigned int *)t24) = 1;
    goto LAB27;

LAB28:    *((unsigned int *)t28) = 1;
    goto LAB31;

LAB30:    t26 = (t28 + 4);
    *((unsigned int *)t28) = 1;
    *((unsigned int *)t26) = 1;
    goto LAB31;

LAB32:    t29 = (t0 + 2072U);
    t36 = *((char **)t29);
    memset(t35, 0, 8);
    t29 = (t36 + 4);
    t37 = *((unsigned int *)t29);
    t38 = (~(t37));
    t39 = *((unsigned int *)t36);
    t40 = (t39 & t38);
    t41 = (t40 & 1U);
    if (t41 != 0)
        goto LAB38;

LAB36:    if (*((unsigned int *)t29) == 0)
        goto LAB35;

LAB37:    t42 = (t35 + 4);
    *((unsigned int *)t35) = 1;
    *((unsigned int *)t42) = 1;

LAB38:    memset(t43, 0, 8);
    t44 = (t35 + 4);
    t45 = *((unsigned int *)t44);
    t46 = (~(t45));
    t47 = *((unsigned int *)t35);
    t48 = (t47 & t46);
    t49 = (t48 & 1U);
    if (t49 != 0)
        goto LAB39;

LAB40:    if (*((unsigned int *)t44) != 0)
        goto LAB41;

LAB42:    t52 = *((unsigned int *)t28);
    t53 = *((unsigned int *)t43);
    t54 = (t52 & t53);
    *((unsigned int *)t51) = t54;
    t55 = (t28 + 4);
    t56 = (t43 + 4);
    t57 = (t51 + 4);
    t58 = *((unsigned int *)t55);
    t59 = *((unsigned int *)t56);
    t60 = (t58 | t59);
    *((unsigned int *)t57) = t60;
    t61 = *((unsigned int *)t57);
    t62 = (t61 != 0);
    if (t62 == 1)
        goto LAB43;

LAB44:
LAB45:    goto LAB34;

LAB35:    *((unsigned int *)t35) = 1;
    goto LAB38;

LAB39:    *((unsigned int *)t43) = 1;
    goto LAB42;

LAB41:    t50 = (t43 + 4);
    *((unsigned int *)t43) = 1;
    *((unsigned int *)t50) = 1;
    goto LAB42;

LAB43:    t63 = *((unsigned int *)t51);
    t64 = *((unsigned int *)t57);
    *((unsigned int *)t51) = (t63 | t64);
    t65 = (t28 + 4);
    t66 = (t43 + 4);
    t67 = *((unsigned int *)t28);
    t68 = (~(t67));
    t69 = *((unsigned int *)t65);
    t70 = (~(t69));
    t71 = *((unsigned int *)t43);
    t72 = (~(t71));
    t73 = *((unsigned int *)t66);
    t74 = (~(t73));
    t75 = (t68 & t70);
    t76 = (t72 & t74);
    t77 = (~(t75));
    t78 = (~(t76));
    t79 = *((unsigned int *)t57);
    *((unsigned int *)t57) = (t79 & t77);
    t80 = *((unsigned int *)t57);
    *((unsigned int *)t57) = (t80 & t78);
    t81 = *((unsigned int *)t51);
    *((unsigned int *)t51) = (t81 & t77);
    t82 = *((unsigned int *)t51);
    *((unsigned int *)t51) = (t82 & t78);
    goto LAB45;

LAB46:    *((unsigned int *)t83) = 1;
    goto LAB49;

LAB48:    t90 = (t83 + 4);
    *((unsigned int *)t83) = 1;
    *((unsigned int *)t90) = 1;
    goto LAB49;

LAB50:    t96 = (t0 + 3272);
    t97 = (t96 + 56U);
    t98 = *((char **)t97);
    t99 = ((char*)((ng2)));
    memset(t100, 0, 8);
    t101 = (t98 + 4);
    t102 = (t99 + 4);
    t103 = *((unsigned int *)t98);
    t104 = *((unsigned int *)t99);
    t105 = (t103 ^ t104);
    t106 = *((unsigned int *)t101);
    t107 = *((unsigned int *)t102);
    t108 = (t106 ^ t107);
    t109 = (t105 | t108);
    t110 = *((unsigned int *)t101);
    t111 = *((unsigned int *)t102);
    t112 = (t110 | t111);
    t113 = (~(t112));
    t114 = (t109 & t113);
    if (t114 != 0)
        goto LAB56;

LAB53:    if (t112 != 0)
        goto LAB55;

LAB54:    *((unsigned int *)t100) = 1;

LAB56:    memset(t116, 0, 8);
    t117 = (t100 + 4);
    t118 = *((unsigned int *)t117);
    t119 = (~(t118));
    t120 = *((unsigned int *)t100);
    t121 = (t120 & t119);
    t122 = (t121 & 1U);
    if (t122 != 0)
        goto LAB57;

LAB58:    if (*((unsigned int *)t117) != 0)
        goto LAB59;

LAB60:    t125 = *((unsigned int *)t83);
    t126 = *((unsigned int *)t116);
    t127 = (t125 | t126);
    *((unsigned int *)t124) = t127;
    t128 = (t83 + 4);
    t129 = (t116 + 4);
    t130 = (t124 + 4);
    t131 = *((unsigned int *)t128);
    t132 = *((unsigned int *)t129);
    t133 = (t131 | t132);
    *((unsigned int *)t130) = t133;
    t134 = *((unsigned int *)t130);
    t135 = (t134 != 0);
    if (t135 == 1)
        goto LAB61;

LAB62:
LAB63:    goto LAB52;

LAB55:    t115 = (t100 + 4);
    *((unsigned int *)t100) = 1;
    *((unsigned int *)t115) = 1;
    goto LAB56;

LAB57:    *((unsigned int *)t116) = 1;
    goto LAB60;

LAB59:    t123 = (t116 + 4);
    *((unsigned int *)t116) = 1;
    *((unsigned int *)t123) = 1;
    goto LAB60;

LAB61:    t136 = *((unsigned int *)t124);
    t137 = *((unsigned int *)t130);
    *((unsigned int *)t124) = (t136 | t137);
    t138 = (t83 + 4);
    t139 = (t116 + 4);
    t140 = *((unsigned int *)t138);
    t141 = (~(t140));
    t142 = *((unsigned int *)t83);
    t143 = (t142 & t141);
    t144 = *((unsigned int *)t139);
    t145 = (~(t144));
    t146 = *((unsigned int *)t116);
    t147 = (t146 & t145);
    t148 = (~(t143));
    t149 = (~(t147));
    t150 = *((unsigned int *)t130);
    *((unsigned int *)t130) = (t150 & t148);
    t151 = *((unsigned int *)t130);
    *((unsigned int *)t130) = (t151 & t149);
    goto LAB63;

LAB64:    *((unsigned int *)t152) = 1;
    goto LAB67;

LAB66:    t159 = (t152 + 4);
    *((unsigned int *)t152) = 1;
    *((unsigned int *)t159) = 1;
    goto LAB67;

LAB68:    t165 = (t0 + 3272);
    t166 = (t165 + 56U);
    t167 = *((char **)t166);
    t168 = ((char*)((ng3)));
    memset(t169, 0, 8);
    t170 = (t167 + 4);
    t171 = (t168 + 4);
    t172 = *((unsigned int *)t167);
    t173 = *((unsigned int *)t168);
    t174 = (t172 ^ t173);
    t175 = *((unsigned int *)t170);
    t176 = *((unsigned int *)t171);
    t177 = (t175 ^ t176);
    t178 = (t174 | t177);
    t179 = *((unsigned int *)t170);
    t180 = *((unsigned int *)t171);
    t181 = (t179 | t180);
    t182 = (~(t181));
    t183 = (t178 & t182);
    if (t183 != 0)
        goto LAB74;

LAB71:    if (t181 != 0)
        goto LAB73;

LAB72:    *((unsigned int *)t169) = 1;

LAB74:    memset(t185, 0, 8);
    t186 = (t169 + 4);
    t187 = *((unsigned int *)t186);
    t188 = (~(t187));
    t189 = *((unsigned int *)t169);
    t190 = (t189 & t188);
    t191 = (t190 & 1U);
    if (t191 != 0)
        goto LAB75;

LAB76:    if (*((unsigned int *)t186) != 0)
        goto LAB77;

LAB78:    t194 = *((unsigned int *)t152);
    t195 = *((unsigned int *)t185);
    t196 = (t194 | t195);
    *((unsigned int *)t193) = t196;
    t197 = (t152 + 4);
    t198 = (t185 + 4);
    t199 = (t193 + 4);
    t200 = *((unsigned int *)t197);
    t201 = *((unsigned int *)t198);
    t202 = (t200 | t201);
    *((unsigned int *)t199) = t202;
    t203 = *((unsigned int *)t199);
    t204 = (t203 != 0);
    if (t204 == 1)
        goto LAB79;

LAB80:
LAB81:    goto LAB70;

LAB73:    t184 = (t169 + 4);
    *((unsigned int *)t169) = 1;
    *((unsigned int *)t184) = 1;
    goto LAB74;

LAB75:    *((unsigned int *)t185) = 1;
    goto LAB78;

LAB77:    t192 = (t185 + 4);
    *((unsigned int *)t185) = 1;
    *((unsigned int *)t192) = 1;
    goto LAB78;

LAB79:    t205 = *((unsigned int *)t193);
    t206 = *((unsigned int *)t199);
    *((unsigned int *)t193) = (t205 | t206);
    t207 = (t152 + 4);
    t208 = (t185 + 4);
    t209 = *((unsigned int *)t207);
    t210 = (~(t209));
    t211 = *((unsigned int *)t152);
    t212 = (t211 & t210);
    t213 = *((unsigned int *)t208);
    t214 = (~(t213));
    t215 = *((unsigned int *)t185);
    t216 = (t215 & t214);
    t217 = (~(t212));
    t218 = (~(t216));
    t219 = *((unsigned int *)t199);
    *((unsigned int *)t199) = (t219 & t217);
    t220 = *((unsigned int *)t199);
    *((unsigned int *)t199) = (t220 & t218);
    goto LAB81;

LAB82:    *((unsigned int *)t221) = 1;
    goto LAB85;

LAB84:    t228 = (t221 + 4);
    *((unsigned int *)t221) = 1;
    *((unsigned int *)t228) = 1;
    goto LAB85;

LAB86:    t234 = (t0 + 3272);
    t235 = (t234 + 56U);
    t236 = *((char **)t235);
    t237 = ((char*)((ng4)));
    memset(t238, 0, 8);
    t239 = (t236 + 4);
    t240 = (t237 + 4);
    t241 = *((unsigned int *)t236);
    t242 = *((unsigned int *)t237);
    t243 = (t241 ^ t242);
    t244 = *((unsigned int *)t239);
    t245 = *((unsigned int *)t240);
    t246 = (t244 ^ t245);
    t247 = (t243 | t246);
    t248 = *((unsigned int *)t239);
    t249 = *((unsigned int *)t240);
    t250 = (t248 | t249);
    t251 = (~(t250));
    t252 = (t247 & t251);
    if (t252 != 0)
        goto LAB92;

LAB89:    if (t250 != 0)