m_00000000000897309440_3896706836.c

32位单精度浮点加法器

    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(162, ng0);

LAB5:    xsi_set_current_line(163, ng0);
    t4 = (t0 + 1752U);
    t5 = *((char **)t4);
    t4 = (t5 + 4);
    t6 = *((unsigned int *)t4);
    t7 = (~(t6));
    t8 = *((unsigned int *)t5);
    t9 = (t8 & t7);
    t10 = (t9 != 0);
    if (t10 > 0)
        goto LAB6;

LAB7:    xsi_set_current_line(168, ng0);

LAB10:    xsi_set_current_line(169, ng0);
    t2 = (t0 + 1912U);
    t3 = *((char **)t2);
    t2 = (t3 + 4);
    t6 = *((unsigned int *)t2);
    t7 = (~(t6));
    t8 = *((unsigned int *)t3);
    t9 = (t8 & t7);
    t10 = (t9 != 0);
    if (t10 > 0)
        goto LAB11;

LAB12:
LAB13:
LAB8:    goto LAB2;

LAB6:    xsi_set_current_line(164, ng0);

LAB9:    xsi_set_current_line(165, 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(170, ng0);

LAB14:    xsi_set_current_line(171, ng0);
    t4 = (t0 + 2232U);
    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(176, ng0);

LAB23:    xsi_set_current_line(177, 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:    t83 = (t51 + 4);
    t84 = *((unsigned int *)t83);
    t85 = (~(t84));
    t86 = *((unsigned int *)t51);
    t87 = (t86 & t85);
    t88 = (t87 != 0);
    if (t88 > 0)
        goto LAB46;

LAB47:    xsi_set_current_line(181, ng0);
    t2 = (t0 + 3272);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng2)));
    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 LAB53;

LAB50:    if (t18 != 0)
        goto LAB52;

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

LAB53:    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 LAB54;

LAB55:    if (*((unsigned int *)t25) != 0)
        goto LAB56;

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

LAB59:    memcpy(t51, t28, 8);

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

LAB73:    if (*((unsigned int *)t83) != 0)
        goto LAB74;

LAB75:    t90 = (t91 + 4);
    t92 = *((unsigned int *)t91);
    t93 = (!(t92));
    t94 = *((unsigned int *)t90);
    t95 = (t93 || t94);
    if (t95 > 0)
        goto LAB76;

LAB77:    memcpy(t124, t91, 8);

LAB78:    t152 = (t124 + 4);
    t153 = *((unsigned int *)t152);
    t154 = (~(t153));
    t155 = *((unsigned int *)t124);
    t156 = (t155 & t154);
    t157 = (t156 != 0);
    if (t157 > 0)
        goto LAB90;

LAB91:
LAB92:
LAB48:
LAB21:    goto LAB13;

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

LAB19:    xsi_set_current_line(172, ng0);

LAB22:    xsi_set_current_line(173, 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:    xsi_set_current_line(178, ng0);

LAB49:    xsi_set_current_line(179, ng0);
    t89 = ((char*)((ng5)));
    t90 = (t0 + 3432);
    xsi_vlogvar_wait_assign_value(t90, t89, 0, 0, 4, 0LL);
    goto LAB48;

LAB52:    t24 = (t13 + 4);
    *((unsigned int *)t13) = 1;
    *((unsigned int *)t24) = 1;
    goto LAB53;

LAB54:    *((unsigned int *)t28) = 1;
    goto LAB57;

LAB56:    t26 = (t28 + 4);
    *((unsigned int *)t28) = 1;
    *((unsigned int *)t26) = 1;
    goto LAB57;

LAB58:    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 LAB64;

LAB62:    if (*((unsigned int *)t29) == 0)
        goto LAB61;

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

LAB64:    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 LAB65;

LAB66:    if (*((unsigned int *)t44) != 0)
        goto LAB67;

LAB68:    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 LAB69;

LAB70:
LAB71:    goto LAB60;

LAB61:    *((unsigned int *)t35) = 1;
    goto LAB64;

LAB65:    *((unsigned int *)t43) = 1;
    goto LAB68;

LAB67:    t50 = (t43 + 4);
    *((unsigned int *)t43) = 1;
    *((unsigned int *)t50) = 1;
    goto LAB68;

LAB69:    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 LAB71;

LAB72:    *((unsigned int *)t91) = 1;
    goto LAB75;

LAB74:    t89 = (t91 + 4);
    *((unsigned int *)t91) = 1;
    *((unsigned int *)t89) = 1;
    goto LAB75;

LAB76:    t96 = (t0 + 3272);
    t97 = (t96 + 56U);
    t98 = *((char **)t97);
    t99 = ((char*)((ng3)));
    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 LAB82;

LAB79:    if (t112 != 0)
        goto LAB81;

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

LAB82:    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 LAB83;

LAB84:    if (*((unsigned int *)t117) != 0)
        goto LAB85;

LAB86:    t125 = *((unsigned int *)t91);
    t126 = *((unsigned int *)t116);
    t127 = (t125 | t126);
    *((unsigned int *)t124) = t127;
    t128 = (t91 + 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 LAB87;

LAB88:
LAB89:    goto LAB78;

LAB81:    t115 = (t100 + 4);
    *((unsigned int *)t100) = 1;
    *((unsigned int *)t115) = 1;
    goto LAB82;

LAB83:    *((unsigned int *)t116) = 1;
    goto LAB86;

LAB85:    t123 = (t116 + 4);
    *((unsigned int *)t116) = 1;
    *((unsigned int *)t123) = 1;
    goto LAB86;

LAB87:    t136 = *((unsigned int *)t124);
    t137 = *((unsigned int *)t130);
    *((unsigned int *)t124) = (t136 | t137);
    t138 = (t91 + 4);
    t139 = (t116 + 4);
    t140 = *((unsigned int *)t138);
    t141 = (~(t140));
    t142 = *((unsigned int *)t91);
    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 LAB89;

LAB90:    xsi_set_current_line(182, ng0);

LAB93:    xsi_set_current_line(183, ng0);
    t158 = ((char*)((ng6)));
    t159 = (t0 + 3432);
    xsi_vlogvar_wait_assign_value(t159, t158, 0, 0, 4, 0LL);
    goto LAB92;

}

static void Cont_190_2(char *t0)
{
    char t6[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t7;
    char *t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    unsigned int t19;
    unsigned int t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    unsigned int t27;
    unsigned int t28;
    char *t29;
    unsigned int t30;
    unsigned int t31;
    char *t32;
    unsigned int t33;
    unsigned int t34;
    char *t35;

LAB0:    t1 = (t0 + 5008U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(190, ng0);
    t2 = (t0 + 3432);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng1)));
    memset(t6, 0, 8);
    t7 = (t4 + 4);
    t8 = (t5 + 4);
    t9 = *((unsigned int *)t4);
    t10 = *((unsigned int *)t5);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t7);
    t13 = *((unsigned int *)t8);
    t14 = (t12 ^ t13);
    t15 = (t11 | t14);
    t16 = *((unsigned int *)t7);
    t17 = *((unsigned int *)t8);