m_00000000002674589034_2176504265.c

32位单精度浮点加法器

    if (t17 > 0)
        goto LAB65;

LAB66:    xsi_set_current_line(122, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng33)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB70;

LAB69:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB70;

LAB73:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB72;

LAB71:    *((unsigned int *)t8) = 1;

LAB72:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB74;

LAB75:    xsi_set_current_line(124, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng34)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB79;

LAB78:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB79;

LAB82:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB81;

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

LAB81:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB83;

LAB84:    xsi_set_current_line(126, ng0);

LAB87:    xsi_set_current_line(127, ng0);
    t2 = ((char*)((ng13)));
    t3 = (t0 + 2728);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
    xsi_set_current_line(127, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = (t0 + 3528);
    xsi_vlogvar_assign_value(t5, t4, 0, 0, 7);

LAB85:
LAB76:
LAB67:
LAB58:
LAB49:
LAB40:
LAB31:
LAB22:
LAB13:    goto LAB2;

LAB7:    t11 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t11) = 1;
    goto LAB9;

LAB11:    xsi_set_current_line(108, ng0);

LAB14:    xsi_set_current_line(109, ng0);
    t18 = ((char*)((ng15)));
    t19 = (t0 + 2728);
    xsi_vlogvar_assign_value(t19, t18, 0, 0, 4);
    xsi_set_current_line(109, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng26)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB13;

LAB16:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB18;

LAB20:    xsi_set_current_line(110, ng0);

LAB23:    xsi_set_current_line(111, ng0);
    t11 = ((char*)((ng17)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(111, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng27)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB22;

LAB25:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB27;

LAB29:    xsi_set_current_line(112, ng0);

LAB32:    xsi_set_current_line(113, ng0);
    t11 = ((char*)((ng19)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(113, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng28)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB31;

LAB34:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB36;

LAB38:    xsi_set_current_line(114, ng0);

LAB41:    xsi_set_current_line(115, ng0);
    t11 = ((char*)((ng2)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(115, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng29)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB40;

LAB43:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB45;

LAB47:    xsi_set_current_line(116, ng0);

LAB50:    xsi_set_current_line(117, ng0);
    t11 = ((char*)((ng4)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(117, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng30)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB49;

LAB52:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB54;

LAB56:    xsi_set_current_line(118, ng0);

LAB59:    xsi_set_current_line(119, ng0);
    t11 = ((char*)((ng6)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(119, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng31)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB58;

LAB61:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB63;

LAB65:    xsi_set_current_line(120, ng0);

LAB68:    xsi_set_current_line(121, ng0);
    t11 = ((char*)((ng8)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(121, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng32)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB67;

LAB70:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB72;

LAB74:    xsi_set_current_line(122, ng0);

LAB77:    xsi_set_current_line(123, ng0);
    t11 = ((char*)((ng10)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(123, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng33)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB76;

LAB79:    t9 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t9) = 1;
    goto LAB81;

LAB83:    xsi_set_current_line(124, ng0);

LAB86:    xsi_set_current_line(125, ng0);
    t11 = ((char*)((ng12)));
    t12 = (t0 + 2728);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    xsi_set_current_line(125, ng0);
    t2 = (t0 + 3368);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng34)));
    memset(t8, 0, 8);
    xsi_vlog_unsigned_minus(t8, 10, t4, 10, t5, 10);
    t6 = (t0 + 3528);
    xsi_vlogvar_assign_value(t6, t8, 0, 0, 7);
    goto LAB85;

}

static void Always_132_3(char *t0)
{
    char t8[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    char *t18;
    char *t19;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(132, ng0);
    t2 = (t0 + 6056);
    *((int *)t2) = 1;
    t3 = (t0 + 5224);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

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

LAB5:    xsi_set_current_line(134, ng0);
    t4 = (t0 + 3528);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng35)));
    memset(t8, 0, 8);
    t9 = (t6 + 4);
    if (*((unsigned int *)t9) != 0)
        goto LAB7;

LAB6:    t10 = (t7 + 4);
    if (*((unsigned int *)t10) != 0)
        goto LAB7;

LAB10:    if (*((unsigned int *)t6) < *((unsigned int *)t7))
        goto LAB9;

LAB8:    *((unsigned int *)t8) = 1;

LAB9:    t12 = (t8 + 4);
    t13 = *((unsigned int *)t12);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB11;

LAB12:    xsi_set_current_line(136, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng36)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB16;

LAB15:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB16;

LAB19:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB18;

LAB17:    *((unsigned int *)t8) = 1;

LAB18:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB20;

LAB21:    xsi_set_current_line(138, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng37)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB25;

LAB24:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB25;

LAB28:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB27;

LAB26:    *((unsigned int *)t8) = 1;

LAB27:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB29;

LAB30:    xsi_set_current_line(140, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng38)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB34;

LAB33:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB34;

LAB37:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB36;

LAB35:    *((unsigned int *)t8) = 1;

LAB36:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB38;

LAB39:    xsi_set_current_line(142, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng39)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB43;

LAB42:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB43;

LAB46:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB45;

LAB44:    *((unsigned int *)t8) = 1;

LAB45:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB47;

LAB48:    xsi_set_current_line(144, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng40)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB52;

LAB51:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB52;

LAB55:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB54;

LAB53:    *((unsigned int *)t8) = 1;

LAB54:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB56;

LAB57:    xsi_set_current_line(146, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng41)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB61;

LAB60:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB61;

LAB64:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB63;

LAB62:    *((unsigned int *)t8) = 1;

LAB63:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB65;

LAB66:    xsi_set_current_line(148, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng42)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB70;

LAB69:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB70;

LAB73:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB72;

LAB71:    *((unsigned int *)t8) = 1;

LAB72:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB74;

LAB75:    xsi_set_current_line(150, ng0);
    t2 = (t0 + 3528);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng43)));
    memset(t8, 0, 8);
    t6 = (t4 + 4);
    if (*((unsigned int *)t6) != 0)
        goto LAB79;

LAB78:    t7 = (t5 + 4);
    if (*((unsigned int *)t7) != 0)
        goto LAB79;

LAB82:    if (*((unsigned int *)t4) < *((unsigned int *)t5))
        goto LAB81;

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

LAB81:    t10 = (t8 + 4);
    t13 = *((unsigned int *)t10);
    t14 = (~(t13));
    t15 = *((unsigned int *)t8);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB83;

LAB84:    xsi_set_current_line(152, ng0);

LAB87:    xsi_set_current_line(153, ng0);
    t2 = ((char*)((ng13)));
    t3 = (t0 + 2888);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
    xsi_set_current_line(153, ng0);
    t2 = (t0 + 3528);