m_00000000002448192945_2982818978.c

32位单精度浮点加法器

    xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 3, 0LL);
    xsi_set_current_line(247, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 11008);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 7, 0LL);
    xsi_set_current_line(248, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 11168);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 28, 0LL);
    xsi_set_current_line(249, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 11328);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    xsi_set_current_line(250, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
    xsi_set_current_line(251, ng3);
    t2 = ((char*)((ng15)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(252, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 9888);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 16, 0LL);
    xsi_set_current_line(253, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 10528);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
    xsi_set_current_line(254, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 10368);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 10, 0LL);
    xsi_set_current_line(255, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 10208);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 16, 0LL);
    xsi_set_current_line(256, ng3);
    t2 = ((char*)((ng15)));
    t3 = (t0 + 11488);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 11, 0LL);
    xsi_set_current_line(257, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 11968);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
    xsi_set_current_line(258, ng3);
    t2 = ((char*)((ng15)));
    t3 = (t0 + 11808);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 16, 0LL);
    xsi_set_current_line(259, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 12288);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
    xsi_set_current_line(260, ng3);
    t2 = ((char*)((ng16)));
    t3 = (t0 + 11648);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 16, 0LL);
    xsi_set_current_line(261, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 12128);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
    goto LAB8;

LAB12:    xsi_set_current_line(273, ng3);

LAB27:    xsi_set_current_line(274, ng3);
    t11 = (t0 + 8208U);
    t12 = *((char **)t11);
    memset(t14, 0, 8);
    t11 = (t12 + 4);
    t6 = *((unsigned int *)t11);
    t7 = (~(t6));
    t8 = *((unsigned int *)t12);
    t9 = (t8 & t7);
    t10 = (t9 & 1U);
    if (t10 != 0)
        goto LAB28;

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

LAB31:    t16 = (t14 + 4);
    t17 = *((unsigned int *)t14);
    t18 = *((unsigned int *)t16);
    t19 = (t17 || t18);
    if (t19 > 0)
        goto LAB32;

LAB33:    memcpy(t55, t14, 8);

LAB34:    t87 = (t55 + 4);
    t88 = *((unsigned int *)t87);
    t89 = (~(t88));
    t90 = *((unsigned int *)t55);
    t91 = (t90 & t89);
    t92 = (t91 != 0);
    if (t92 > 0)
        goto LAB46;

LAB47:
LAB48:    goto LAB26;

LAB14:    xsi_set_current_line(280, ng3);

LAB50:    xsi_set_current_line(281, ng3);
    t3 = (t0 + 8208U);
    t5 = *((char **)t3);
    t3 = (t5 + 4);
    t6 = *((unsigned int *)t3);
    t7 = (~(t6));
    t8 = *((unsigned int *)t5);
    t9 = (t8 & t7);
    t10 = (t9 != 0);
    if (t10 > 0)
        goto LAB51;

LAB52:
LAB53:    goto LAB26;

LAB16:    xsi_set_current_line(340, ng3);

LAB88:    xsi_set_current_line(345, ng3);
    t3 = (t0 + 8208U);
    t5 = *((char **)t3);
    t3 = (t5 + 4);
    t6 = *((unsigned int *)t3);
    t7 = (~(t6));
    t8 = *((unsigned int *)t5);
    t9 = (t8 & t7);
    t10 = (t9 != 0);
    if (t10 > 0)
        goto LAB89;

LAB90:
LAB91:    goto LAB26;

LAB18:    xsi_set_current_line(481, ng3);

LAB197:    xsi_set_current_line(485, ng3);
    t3 = ((char*)((ng33)));
    t11 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t11, t3, 0, 0, 3, 0LL);
    goto LAB26;

LAB20:    xsi_set_current_line(488, ng3);

LAB198:    xsi_set_current_line(491, ng3);
    t3 = ((char*)((ng15)));
    t11 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t11, t3, 0, 0, 1, 0LL);
    xsi_set_current_line(492, ng3);
    t2 = ((char*)((ng22)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(493, ng3);
    t2 = (t0 + 8048U);
    t3 = *((char **)t2);
    t2 = (t0 + 9888);
    xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 16, 0LL);
    xsi_set_current_line(494, ng3);
    t2 = ((char*)((ng27)));
    t3 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    goto LAB26;

LAB22:    xsi_set_current_line(497, ng3);

LAB199:    xsi_set_current_line(501, ng3);
    t3 = (t0 + 6928U);
    t11 = *((char **)t3);
    t3 = (t11 + 4);
    t6 = *((unsigned int *)t3);
    t7 = (~(t6));
    t8 = *((unsigned int *)t11);
    t9 = (t8 & t7);
    t10 = (t9 != 0);
    if (t10 > 0)
        goto LAB200;

LAB201:
LAB202:    goto LAB26;

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

LAB30:    t15 = (t14 + 4);
    *((unsigned int *)t14) = 1;
    *((unsigned int *)t15) = 1;
    goto LAB31;

LAB32:    t21 = (t0 + 6448U);
    t22 = *((char **)t21);
    memset(t20, 0, 8);
    t21 = (t20 + 4);
    t23 = (t22 + 4);
    t24 = *((unsigned int *)t22);
    t25 = (t24 >> 0);
    *((unsigned int *)t20) = t25;
    t26 = *((unsigned int *)t23);
    t27 = (t26 >> 0);
    *((unsigned int *)t21) = t27;
    t28 = *((unsigned int *)t20);
    *((unsigned int *)t20) = (t28 & 127U);
    t29 = *((unsigned int *)t21);
    *((unsigned int *)t21) = (t29 & 127U);
    t30 = ((char*)((ng17)));
    memset(t31, 0, 8);
    t32 = (t20 + 4);
    t33 = (t30 + 4);
    t34 = *((unsigned int *)t20);
    t35 = *((unsigned int *)t30);
    t36 = (t34 ^ t35);
    t37 = *((unsigned int *)t32);
    t38 = *((unsigned int *)t33);
    t39 = (t37 ^ t38);
    t40 = (t36 | t39);
    t41 = *((unsigned int *)t32);
    t42 = *((unsigned int *)t33);
    t43 = (t41 | t42);
    t44 = (~(t43));
    t45 = (t40 & t44);
    if (t45 != 0)
        goto LAB38;

LAB35:    if (t43 != 0)
        goto LAB37;

LAB36:    *((unsigned int *)t31) = 1;

LAB38:    memset(t47, 0, 8);
    t48 = (t31 + 4);
    t49 = *((unsigned int *)t48);
    t50 = (~(t49));
    t51 = *((unsigned int *)t31);
    t52 = (t51 & t50);
    t53 = (t52 & 1U);
    if (t53 != 0)
        goto LAB39;

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

LAB42:    t56 = *((unsigned int *)t14);
    t57 = *((unsigned int *)t47);
    t58 = (t56 & t57);
    *((unsigned int *)t55) = t58;
    t59 = (t14 + 4);
    t60 = (t47 + 4);
    t61 = (t55 + 4);
    t62 = *((unsigned int *)t59);
    t63 = *((unsigned int *)t60);
    t64 = (t62 | t63);
    *((unsigned int *)t61) = t64;
    t65 = *((unsigned int *)t61);
    t66 = (t65 != 0);
    if (t66 == 1)
        goto LAB43;

LAB44:
LAB45:    goto LAB34;

LAB37:    t46 = (t31 + 4);
    *((unsigned int *)t31) = 1;
    *((unsigned int *)t46) = 1;
    goto LAB38;

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

LAB41:    t54 = (t47 + 4);
    *((unsigned int *)t47) = 1;
    *((unsigned int *)t54) = 1;
    goto LAB42;

LAB43:    t67 = *((unsigned int *)t55);
    t68 = *((unsigned int *)t61);
    *((unsigned int *)t55) = (t67 | t68);
    t69 = (t14 + 4);
    t70 = (t47 + 4);
    t71 = *((unsigned int *)t14);
    t72 = (~(t71));
    t73 = *((unsigned int *)t69);
    t74 = (~(t73));
    t75 = *((unsigned int *)t47);
    t76 = (~(t75));
    t77 = *((unsigned int *)t70);
    t78 = (~(t77));
    t79 = (t72 & t74);
    t80 = (t76 & t78);
    t81 = (~(t79));
    t82 = (~(t80));
    t83 = *((unsigned int *)t61);
    *((unsigned int *)t61) = (t83 & t81);
    t84 = *((unsigned int *)t61);
    *((unsigned int *)t61) = (t84 & t82);
    t85 = *((unsigned int *)t55);
    *((unsigned int *)t55) = (t85 & t81);
    t86 = *((unsigned int *)t55);
    *((unsigned int *)t55) = (t86 & t82);
    goto LAB45;

LAB46:    xsi_set_current_line(275, ng3);

LAB49:    xsi_set_current_line(276, ng3);
    t93 = ((char*)((ng15)));
    t94 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t94, t93, 0, 0, 3, 0LL);
    goto LAB48;

LAB51:    xsi_set_current_line(282, ng3);

LAB54:    xsi_set_current_line(283, ng3);
    t11 = (t0 + 6448U);
    t12 = *((char **)t11);
    memset(t14, 0, 8);
    t11 = (t14 + 4);
    t15 = (t12 + 4);
    t17 = *((unsigned int *)t12);
    t18 = (t17 >> 0);
    *((unsigned int *)t14) = t18;
    t19 = *((unsigned int *)t15);
    t24 = (t19 >> 0);
    *((unsigned int *)t11) = t24;
    t25 = *((unsigned int *)t14);
    *((unsigned int *)t14) = (t25 & 255U);
    t26 = *((unsigned int *)t11);
    *((unsigned int *)t11) = (t26 & 255U);
    t16 = (t0 + 11008);
    xsi_vlogvar_wait_assign_value(t16, t14, 0, 0, 7, 0LL);
    xsi_set_current_line(284, ng3);
    t2 = (t0 + 6448U);
    t3 = *((char **)t2);
    memset(t14, 0, 8);
    t2 = (t14 + 4);
    t5 = (t3 + 4);
    t6 = *((unsigned int *)t3);
    t7 = (t6 >> 0);
    *((unsigned int *)t14) = t7;
    t8 = *((unsigned int *)t5);
    t9 = (t8 >> 0);
    *((unsigned int *)t2) = t9;
    t10 = *((unsigned int *)t14);
    *((unsigned int *)t14) = (t10 & 127U);
    t17 = *((unsigned int *)t2);
    *((unsigned int *)t2) = (t17 & 127U);

LAB55:    t11 = ((char*)((ng18)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t11, 7);
    if (t13 == 1)
        goto LAB56;

LAB57:    t2 = ((char*)((ng21)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t2, 7);
    if (t13 == 1)
        goto LAB58;

LAB59:    t2 = ((char*)((ng23)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t2, 7);
    if (t13 == 1)
        goto LAB60;

LAB61:    t3 = ((char*)((ng24)));
    t79 = xsi_vlog_unsigned_case_compare(t14, 7, t3, 7);
    if (t79 == 1)
        goto LAB62;

LAB63:    t5 = ((char*)((ng25)));
    t80 = xsi_vlog_unsigned_case_compare(t14, 7, t5, 7);
    if (t80 == 1)
        goto LAB64;

LAB65:    t11 = ((char*)((ng26)));
    t95 = xsi_vlog_unsigned_case_compare(t14, 7, t11, 7);
    if (t95 == 1)
        goto LAB66;

LAB67:    t2 = ((char*)((ng28)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t2, 7);
    if (t13 == 1)
        goto LAB68;

LAB69:    t2 = ((char*)((ng29)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t2, 7);
    if (t13 == 1)
        goto LAB70;

LAB71:    t2 = ((char*)((ng30)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t2, 7);
    if (t13 == 1)
        goto LAB72;

LAB73:    t2 = ((char*)((ng31)));
    t13 = xsi_vlog_unsigned_case_compare(t14, 7, t2, 7);
    if (t13 == 1)
        goto LAB74;

LAB75:    t3 = ((char*)((ng32)));
    t79 = xsi_vlog_unsigned_case_compare(t14, 7, t3, 7);
    if (t79 == 1)
        goto LAB76;

LAB77:
LAB79:
LAB78:    xsi_set_current_line(331, ng3);

LAB87:    xsi_set_current_line(332, ng3);
    t5 = ((char*)((ng15)));
    t11 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t11, t5, 0, 0, 1, 0LL);
    xsi_set_current_line(333, ng3);
    t2 = ((char*)((ng15)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(334, ng3);
    t2 = ((char*)((ng27)));
    t3 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);

LAB80:    goto LAB53;

LAB56:    xsi_set_current_line(286, ng3);

LAB81:    xsi_set_current_line(289, ng3);
    t12 = ((char*)((ng19)));
    t15 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t15, t12, 0, 0, 3, 0LL);
    xsi_set_current_line(290, ng3);
    t2 = ((char*)((ng20)));
    t3 = (t0 + 11328);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    goto LAB80;

LAB58:    xsi_set_current_line(296, ng3);

LAB82:    xsi_set_current_line(298, ng3);
    t3 = ((char*)((ng19)));
    t5 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 3, 0LL);
    xsi_set_current_line(299, ng3);
    t2 = ((char*)((ng22)));
    t3 = (t0 + 11328);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    goto LAB80;

LAB60:    goto LAB58;

LAB62:    goto LAB58;

LAB64:    goto LAB58;

LAB66:    xsi_set_current_line(302, ng3);

LAB83:    xsi_set_current_line(303, ng3);
    t12 = ((char*)((ng15)));
    t15 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t15, t12, 0, 0, 1, 0LL);
    xsi_set_current_line(304, ng3);
    t2 = ((char*)((ng22)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(305, ng3);
    t2 = (t0 + 11488);
    t3 = (t2 + 56U);
    t5 = *((char **)t3);
    memcpy(t20, t5, 8);
    t11 = (t0 + 9888);
    xsi_vlogvar_wait_assign_value(t11, t20, 0, 0, 16, 0LL);
    xsi_set_current_line(306, ng3);
    t2 = ((char*)((ng27)));
    t3 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    goto LAB80;

LAB68:    xsi_set_current_line(309, ng3);

LAB84:    xsi_set_current_line(310, ng3);
    t3 = ((char*)((ng15)));
    t5 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 1, 0LL);
    xsi_set_current_line(311, ng3);
    t2 = ((char*)((ng22)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(312, ng3);
    t2 = (t0 + 11648);
    t3 = (t2 + 56U);
    t5 = *((char **)t3);
    t11 = (t0 + 9888);
    xsi_vlogvar_wait_assign_value(t11, t5, 0, 0, 16, 0LL);
    xsi_set_current_line(313, ng3);
    t2 = ((char*)((ng27)));
    t3 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    goto LAB80;

LAB70:    xsi_set_current_line(316, ng3);

LAB85:    xsi_set_current_line(317, ng3);
    t3 = ((char*)((ng15)));
    t5 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 1, 0LL);
    xsi_set_current_line(318, ng3);
    t2 = ((char*)((ng22)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(319, ng3);
    t2 = (t0 + 11808);
    t3 = (t2 + 56U);
    t5 = *((char **)t3);
    t11 = (t0 + 9888);
    xsi_vlogvar_wait_assign_value(t11, t5, 0, 0, 16, 0LL);
    xsi_set_current_line(320, ng3);
    t2 = ((char*)((ng27)));
    t3 = (t0 + 10688);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 0LL);
    goto LAB80;

LAB72:    xsi_set_current_line(325, ng3);

LAB86:    xsi_set_current_line(326, ng3);
    t3 = ((char*)((ng15)));
    t5 = (t0 + 9568);
    xsi_vlogvar_wait_assign_value(t5, t3, 0, 0, 1, 0LL);
    xsi_set_current_line(327, ng3);
    t2 = ((char*)((ng6)));
    t3 = (t0 + 9728);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
    xsi_set_current_line(328, ng3