m_00000000002304772977_3342287592.c

32位单精度浮点加法器

    t21 = *((unsigned int *)t20);
    t22 = (~(t21));
    t23 = *((unsigned int *)t3);
    t24 = (t23 & t22);
    t25 = (t24 & 1U);
    if (t25 != 0)
        goto LAB7;

LAB8:    if (*((unsigned int *)t20) != 0)
        goto LAB9;

LAB10:    t27 = (t19 + 4);
    t28 = *((unsigned int *)t19);
    t29 = *((unsigned int *)t27);
    t30 = (t28 || t29);
    if (t30 > 0)
        goto LAB11;

LAB12:    memcpy(t57, t19, 8);

LAB13:    t89 = (t57 + 4);
    t90 = *((unsigned int *)t89);
    t91 = (~(t90));
    t92 = *((unsigned int *)t57);
    t93 = (t92 & t91);
    t94 = (t93 != 0);
    if (t94 > 0)
        goto LAB25;

LAB26:
LAB27:    t1 = (t0 + 472);
    t2 = *((char **)t1);
    t1 = ((char*)((ng5)));
    memset(t3, 0, 8);
    t4 = (t2 + 4);
    t5 = (t1 + 4);
    t6 = *((unsigned int *)t2);
    t7 = *((unsigned int *)t1);
    t8 = (t6 ^ t7);
    t9 = *((unsigned int *)t4);
    t10 = *((unsigned int *)t5);
    t11 = (t9 ^ t10);
    t12 = (t8 | t11);
    t13 = *((unsigned int *)t4);
    t14 = *((unsigned int *)t5);
    t15 = (t13 | t14);
    t16 = (~(t15));
    t17 = (t12 & t16);
    if (t17 != 0)
        goto LAB30;

LAB29:    if (t15 != 0)
        goto LAB31;

LAB32:    memset(t19, 0, 8);
    t20 = (t3 + 4);
    t21 = *((unsigned int *)t20);
    t22 = (~(t21));
    t23 = *((unsigned int *)t3);
    t24 = (t23 & t22);
    t25 = (t24 & 1U);
    if (t25 != 0)
        goto LAB33;

LAB34:    if (*((unsigned int *)t20) != 0)
        goto LAB35;

LAB36:    t27 = (t19 + 4);
    t28 = *((unsigned int *)t19);
    t29 = *((unsigned int *)t27);
    t30 = (t28 || t29);
    if (t30 > 0)
        goto LAB37;

LAB38:    memcpy(t57, t19, 8);

LAB39:    memset(t97, 0, 8);
    t89 = (t57 + 4);
    t90 = *((unsigned int *)t89);
    t91 = (~(t90));
    t92 = *((unsigned int *)t57);
    t93 = (t92 & t91);
    t94 = (t93 & 1U);
    if (t94 != 0)
        goto LAB51;

LAB52:    if (*((unsigned int *)t89) != 0)
        goto LAB53;

LAB54:    t96 = (t97 + 4);
    t98 = *((unsigned int *)t97);
    t99 = *((unsigned int *)t96);
    t100 = (t98 || t99);
    if (t100 > 0)
        goto LAB55;

LAB56:    memcpy(t127, t97, 8);

LAB57:    t159 = (t127 + 4);
    t160 = *((unsigned int *)t159);
    t161 = (~(t160));
    t162 = *((unsigned int *)t127);
    t163 = (t162 & t161);
    t164 = (t163 != 0);
    if (t164 > 0)
        goto LAB69;

LAB70:
LAB71:    t1 = (t0 + 744);
    t2 = *((char **)t1);
    t1 = ((char*)((ng9)));
    xsi_vlog_unsigned_not_equal(t167, 40, t2, 32, t1, 40);
    memset(t3, 0, 8);
    t4 = (t167 + 4);
    t6 = *((unsigned int *)t4);
    t7 = (~(t6));
    t8 = *((unsigned int *)t167);
    t9 = (t8 & t7);
    t10 = (t9 & 1U);
    if (t10 != 0)
        goto LAB73;

LAB74:    if (*((unsigned int *)t4) != 0)
        goto LAB75;

LAB76:    t18 = (t3 + 4);
    t11 = *((unsigned int *)t3);
    t12 = *((unsigned int *)t18);
    t13 = (t11 || t12);
    if (t13 > 0)
        goto LAB77;

LAB78:    memcpy(t49, t3, 8);

LAB79:    t63 = (t49 + 4);
    t75 = *((unsigned int *)t63);
    t76 = (~(t75));
    t77 = *((unsigned int *)t49);
    t78 = (t77 & t76);
    t79 = (t78 != 0);
    if (t79 > 0)
        goto LAB91;

LAB92:
LAB93:
LAB1:    return;
LAB4:    *((unsigned int *)t3) = 1;
    goto LAB6;

LAB5:    t18 = (t3 + 4);
    *((unsigned int *)t3) = 1;
    *((unsigned int *)t18) = 1;
    goto LAB6;

LAB7:    *((unsigned int *)t19) = 1;
    goto LAB10;

LAB9:    t26 = (t19 + 4);
    *((unsigned int *)t19) = 1;
    *((unsigned int *)t26) = 1;
    goto LAB10;

LAB11:    t31 = (t0 + 608);
    t32 = *((char **)t31);
    t31 = ((char*)((ng3)));
    memset(t33, 0, 8);
    t34 = (t32 + 4);
    t35 = (t31 + 4);
    t36 = *((unsigned int *)t32);
    t37 = *((unsigned int *)t31);
    t38 = (t36 ^ t37);
    t39 = *((unsigned int *)t34);
    t40 = *((unsigned int *)t35);
    t41 = (t39 ^ t40);
    t42 = (t38 | t41);
    t43 = *((unsigned int *)t34);
    t44 = *((unsigned int *)t35);
    t45 = (t43 | t44);
    t46 = (~(t45));
    t47 = (t42 & t46);
    if (t47 != 0)
        goto LAB15;

LAB14:    if (t45 != 0)
        goto LAB16;

LAB17:    memset(t49, 0, 8);
    t50 = (t33 + 4);
    t51 = *((unsigned int *)t50);
    t52 = (~(t51));
    t53 = *((unsigned int *)t33);
    t54 = (t53 & t52);
    t55 = (t54 & 1U);
    if (t55 != 0)
        goto LAB18;

LAB19:    if (*((unsigned int *)t50) != 0)
        goto LAB20;

LAB21:    t58 = *((unsigned int *)t19);
    t59 = *((unsigned int *)t49);
    t60 = (t58 & t59);
    *((unsigned int *)t57) = t60;
    t61 = (t19 + 4);
    t62 = (t49 + 4);
    t63 = (t57 + 4);
    t64 = *((unsigned int *)t61);
    t65 = *((unsigned int *)t62);
    t66 = (t64 | t65);
    *((unsigned int *)t63) = t66;
    t67 = *((unsigned int *)t63);
    t68 = (t67 != 0);
    if (t68 == 1)
        goto LAB22;

LAB23:
LAB24:    goto LAB13;

LAB15:    *((unsigned int *)t33) = 1;
    goto LAB17;

LAB16:    t48 = (t33 + 4);
    *((unsigned int *)t33) = 1;
    *((unsigned int *)t48) = 1;
    goto LAB17;

LAB18:    *((unsigned int *)t49) = 1;
    goto LAB21;

LAB20:    t56 = (t49 + 4);
    *((unsigned int *)t49) = 1;
    *((unsigned int *)t56) = 1;
    goto LAB21;

LAB22:    t69 = *((unsigned int *)t57);
    t70 = *((unsigned int *)t63);
    *((unsigned int *)t57) = (t69 | t70);
    t71 = (t19 + 4);
    t72 = (t49 + 4);
    t73 = *((unsigned int *)t19);
    t74 = (~(t73));
    t75 = *((unsigned int *)t71);
    t76 = (~(t75));
    t77 = *((unsigned int *)t49);
    t78 = (~(t77));
    t79 = *((unsigned int *)t72);
    t80 = (~(t79));
    t81 = (t74 & t76);
    t82 = (t78 & t80);
    t83 = (~(t81));
    t84 = (~(t82));
    t85 = *((unsigned int *)t63);
    *((unsigned int *)t63) = (t85 & t83);
    t86 = *((unsigned int *)t63);
    *((unsigned int *)t63) = (t86 & t84);
    t87 = *((unsigned int *)t57);
    *((unsigned int *)t57) = (t87 & t83);
    t88 = *((unsigned int *)t57);
    *((unsigned int *)t57) = (t88 & t84);
    goto LAB24;

LAB25:
LAB28:    t95 = (t0 + 608);
    t96 = *((char **)t95);
    xsi_vlogfile_write(1, 0, 0, ng4, 2, t0, (char)118, t96, 1);
    xsi_vlog_finish(1);
    goto LAB27;

LAB30:    *((unsigned int *)t3) = 1;
    goto LAB32;

LAB31:    t18 = (t3 + 4);
    *((unsigned int *)t3) = 1;
    *((unsigned int *)t18) = 1;
    goto LAB32;

LAB33:    *((unsigned int *)t19) = 1;
    goto LAB36;

LAB35:    t26 = (t19 + 4);
    *((unsigned int *)t19) = 1;
    *((unsigned int *)t26) = 1;
    goto LAB36;

LAB37:    t31 = (t0 + 472);
    t32 = *((char **)t31);
    t31 = ((char*)((ng6)));
    memset(t33, 0, 8);
    t34 = (t32 + 4);
    t35 = (t31 + 4);
    t36 = *((unsigned int *)t32);
    t37 = *((unsigned int *)t31);
    t38 = (t36 ^ t37);
    t39 = *((unsigned int *)t34);
    t40 = *((unsigned int *)t35);
    t41 = (t39 ^ t40);
    t42 = (t38 | t41);
    t43 = *((unsigned int *)t34);
    t44 = *((unsigned int *)t35);
    t45 = (t43 | t44);
    t46 = (~(t45));
    t47 = (t42 & t46);
    if (t47 != 0)
        goto LAB41;

LAB40:    if (t45 != 0)
        goto LAB42;

LAB43:    memset(t49, 0, 8);
    t50 = (t33 + 4);
    t51 = *((unsigned int *)t50);
    t52 = (~(t51));
    t53 = *((unsigned int *)t33);
    t54 = (t53 & t52);
    t55 = (t54 & 1U);
    if (t55 != 0)
        goto LAB44;

LAB45:    if (*((unsigned int *)t50) != 0)
        goto LAB46;

LAB47:    t58 = *((unsigned int *)t19);
    t59 = *((unsigned int *)t49);
    t60 = (t58 & t59);
    *((unsigned int *)t57) = t60;
    t61 = (t19 + 4);
    t62 = (t49 + 4);
    t63 = (t57 + 4);
    t64 = *((unsigned int *)t61);
    t65 = *((unsigned int *)t62);
    t66 = (t64 | t65);
    *((unsigned int *)t63) = t66;
    t67 = *((unsigned int *)t63);
    t68 = (t67 != 0);
    if (t68 == 1)
        goto LAB48;

LAB49:
LAB50:    goto LAB39;

LAB41:    *((unsigned int *)t33) = 1;
    goto LAB43;

LAB42:    t48 = (t33 + 4);
    *((unsigned int *)t33) = 1;
    *((unsigned int *)t48) = 1;
    goto LAB43;

LAB44:    *((unsigned int *)t49) = 1;
    goto LAB47;

LAB46:    t56 = (t49 + 4);
    *((unsigned int *)t49) = 1;
    *((unsigned int *)t56) = 1;
    goto LAB47;

LAB48:    t69 = *((unsigned int *)t57);
    t70 = *((unsigned int *)t63);
    *((unsigned int *)t57) = (t69 | t70);
    t71 = (t19 + 4);
    t72 = (t49 + 4);
    t73 = *((unsigned int *)t19);
    t74 = (~(t73));
    t75 = *((unsigned int *)t71);
    t76 = (~(t75));
    t77 = *((unsigned int *)t49);
    t78 = (~(t77));
    t79 = *((unsigned int *)t72);
    t80 = (~(t79));
    t81 = (t74 & t76);
    t82 = (t78 & t80);
    t83 = (~(t81));
    t84 = (~(t82));
    t85 = *((unsigned int *)t63);
    *((unsigned int *)t63) = (t85 & t83);
    t86 = *((unsigned int *)t63);
    *((unsigned int *)t63) = (t86 & t84);
    t87 = *((unsigned int *)t57);
    *((unsigned int *)t57) = (t87 & t83);
    t88 = *((unsigned int *)t57);
    *((unsigned int *)t57) = (t88 & t84);
    goto LAB50;

LAB51:    *((unsigned int *)t97) = 1;
    goto LAB54;

LAB53:    t95 = (t97 + 4);
    *((unsigned int *)t97) = 1;
    *((unsigned int *)t95) = 1;
    goto LAB54;

LAB55:    t101 = (t0 + 472);
    t102 = *((char **)t101);
    t101 = ((char*)((ng7)));
    memset(t103, 0, 8);
    t104 = (t102 + 4);
    t105 = (t101 + 4);
    t106 = *((unsigned int *)t102);
    t107 = *((unsigned int *)t101);
    t108 = (t106 ^ t107);
    t109 = *((unsigned int *)t104);
    t110 = *((unsigned int *)t105);
    t111 = (t109 ^ t110);
    t112 = (t108 | t111);
    t113 = *((unsigned int *)t104);
    t114 = *((unsigned int *)t105);
    t115 = (t113 | t114);
    t116 = (~(t115));
    t117 = (t112 & t116);
    if (t117 != 0)
        goto LAB59;

LAB58:    if (t115 != 0)
        goto LAB60;

LAB61:    memset(t119, 0, 8);
    t120 = (t103 + 4);
    t121 = *((unsigned int *)t120);
    t122 = (~(t121));
    t123 = *((unsigned int *)t103);
    t124 = (t123 & t122);
    t125 = (t124 & 1U);
    if (t125 != 0)
        goto LAB62;

LAB63:    if (*((unsigned int *)t120) != 0)
        goto LAB64;

LAB65:    t128 = *((unsigned int *)t97);
    t129 = *((unsigned int *)t119);
    t130 = (t128 & t129);
    *((unsigned int *)t127) = t130;
    t131 = (t97 + 4);
    t132 = (t119 + 4);
    t133 = (t127 + 4);
    t134 = *((unsigned int *)t131);
    t135 = *((unsigned int *)t132);
    t136 = (t134 | t135);
    *((unsigned int *)t133) = t136;
    t137 = *((unsigned int *)t133);
    t138 = (t137 != 0);
    if (t138 == 1)
        goto LAB66;

LAB67:
LAB68:    goto LAB57;

LAB59:    *((unsigned int *)t103) = 1;
    goto LAB61;

LAB60:    t118 = (t103 + 4);
    *((unsigned int *)t103) = 1;
    *((unsigned int *)t118) = 1;
    goto LAB61;

LAB62:    *((unsigned int *)t119) = 1;
    goto LAB65;

LAB64:    t126 = (t119 + 4);
    *((unsigned int *)t119) = 1;
    *((unsigned int *)t126) = 1;
    goto LAB65;

LAB66:    t139 = *((unsigned int *)t127);
    t140 = *((unsigned int *)t133);
    *((unsigned int *)t127) = (t139 | t140);
    t141 = (t97 + 4);
    t142 = (t119 + 4);
    t143 = *((unsigned int *)t97);
    t144 = (~(t143));
    t145 = *((unsigned int *)t141);
    t146 = (~(t145));
    t147 = *((unsigned int *)t119);
    t148 = (~(t147));
    t149 = *((unsigned int *)t142);
    t150 = (~(t149));
    t151 = (t144 & t146);
    t152 = (t148 & t150);
    t153 = (~(t151));
    t154 = (~(t152));
    t155 = *((unsigned int *)t133);
    *((unsigned int *)t133) = (t155 & t153);
    t156 = *((unsigned int *)t133);
    *((unsigned int *)t133) = (t156 & t154);
    t157 = *((unsigned int *)t127);
    *((unsigned int *)t127) = (t157 & t153);
    t158 = *((unsigned int *)t127);
    *((unsigned int *)t127) = (t158 & t154);
    goto LAB68;

LAB69:
LAB72:    t165 = (t0 + 472);
    t166 = *((char **)t165);
    xsi_vlogfile_write(1, 0, 0, ng8, 2, t0, (char)118, t166, 32);
    xsi_vlog_finish(1);
    goto LAB71;

LAB73:    *((unsigned int *)t3) = 1;
    goto LAB76;

LAB75:    t5 = (t3 + 4);
    *((unsigned int *)t3) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB76;

LAB77:    t20 = (t0 + 744);
    t26 = *((char **)t20);
    t20 = ((char*)((ng10)));
    memset(t19, 0, 8);
    t27 = (t26 + 4);
    t31 = (t20 + 4);
    t14 = *((unsigned int *)t26);
    t15 = *((unsigned int *)t20);
    t16 = (t14 ^ t15);
    t17 = *((unsigned int *)t27);
    t21 = *((unsigned int *)t31);
    t22 = (t17 ^ t21);
    t23 = (t16 | t22);
    t24 = *((unsigned int *)t27);
    t25 = *((unsigned int *)t31);
    t28 = (t24 | t25);
    t29 = (~(t28));
    t30 = (t23 & t29);
    if (t30 != 0)
        goto LAB81;

LAB80:    if (t28 != 0)
        goto LAB82;

LAB83:    memset(t33, 0, 8);
    t34 = (t19 + 4);
    t36 = *((unsigned int *)t34);
    t37 = (~(t36));
    t38 = *((unsigned int *)t19);
    t39 = (t38 & t37);
    t40 = (t39 & 1U);
    if (t40 != 0)
        goto LAB84;

LAB85:    if (*((unsigned int *)t34) != 0)
        goto LAB86;

LAB87:    t41 = *((unsigned int *)t3);
    t42 = *((unsigned int *)t33);
    t43 = (t41 & t42);
    *((unsigned int *)t49) = t43;
    t48 = (t3 + 4);
    t50 = (t33 + 4);
    t56 = (t49 + 4);
    t44 = *((unsigned int *)t48);
    t45 = *((unsigned int *)t50);
    t46 = (t44 | t45);
    *((unsigned int *)t56) = t46;
    t47 = *((unsigned int *)t56);
    t51 = (t47 != 0);
    if (t51 == 1)
        goto LAB88;