m_00000000001690445054_2247709849.c

32位单精度浮点加法器

LAB43:    memset(t129, 0, 8);
    t130 = (t120 + 4);
    t131 = *((unsigned int *)t130);
    t132 = (~(t131));
    t133 = *((unsigned int *)t120);
    t134 = (t133 & t132);
    t135 = (t134 & 1U);
    if (t135 != 0)
        goto LAB44;

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

LAB47:    t138 = *((unsigned int *)t108);
    t139 = *((unsigned int *)t129);
    t140 = (t138 & t139);
    *((unsigned int *)t137) = t140;
    t141 = (t108 + 4);
    t142 = (t129 + 4);
    t143 = (t137 + 4);
    t144 = *((unsigned int *)t141);
    t145 = *((unsigned int *)t142);
    t146 = (t144 | t145);
    *((unsigned int *)t143) = t146;
    t147 = *((unsigned int *)t143);
    t148 = (t147 != 0);
    if (t148 == 1)
        goto LAB48;

LAB49:
LAB50:    goto LAB39;

LAB40:    *((unsigned int *)t120) = 1;
    goto LAB43;

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

LAB46:    t136 = (t129 + 4);
    *((unsigned int *)t129) = 1;
    *((unsigned int *)t136) = 1;
    goto LAB47;

LAB48:    t149 = *((unsigned int *)t137);
    t150 = *((unsigned int *)t143);
    *((unsigned int *)t137) = (t149 | t150);
    t151 = (t108 + 4);
    t152 = (t129 + 4);
    t153 = *((unsigned int *)t108);
    t154 = (~(t153));
    t155 = *((unsigned int *)t151);
    t156 = (~(t155));
    t157 = *((unsigned int *)t129);
    t158 = (~(t157));
    t159 = *((unsigned int *)t152);
    t160 = (~(t159));
    t161 = (t154 & t156);
    t162 = (t158 & t160);
    t163 = (~(t161));
    t164 = (~(t162));
    t165 = *((unsigned int *)t143);
    *((unsigned int *)t143) = (t165 & t163);
    t166 = *((unsigned int *)t143);
    *((unsigned int *)t143) = (t166 & t164);
    t167 = *((unsigned int *)t137);
    *((unsigned int *)t137) = (t167 & t163);
    t168 = *((unsigned int *)t137);
    *((unsigned int *)t137) = (t168 & t164);
    goto LAB50;

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

LAB53:    t176 = (t169 + 4);
    *((unsigned int *)t169) = 1;
    *((unsigned int *)t176) = 1;
    goto LAB54;

LAB55:    t189 = *((unsigned int *)t177);
    t190 = *((unsigned int *)t183);
    *((unsigned int *)t177) = (t189 | t190);
    t191 = (t75 + 4);
    t192 = (t169 + 4);
    t193 = *((unsigned int *)t191);
    t194 = (~(t193));
    t195 = *((unsigned int *)t75);
    t196 = (t195 & t194);
    t197 = *((unsigned int *)t192);
    t198 = (~(t197));
    t199 = *((unsigned int *)t169);
    t200 = (t199 & t198);
    t201 = (~(t196));
    t202 = (~(t200));
    t203 = *((unsigned int *)t183);
    *((unsigned int *)t183) = (t203 & t201);
    t204 = *((unsigned int *)t183);
    *((unsigned int *)t183) = (t204 & t202);
    goto LAB57;

}

static void Always_203_3(char *t0)
{
    char t8[8];
    char t44[8];
    char t49[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t9;
    char *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;
    unsigned int t21;
    unsigned int t22;
    char *t23;
    char *t24;
    unsigned int t25;
    unsigned int t26;
    unsigned int t27;
    unsigned int t28;
    unsigned int t29;
    char *t30;
    char *t31;
    int t32;
    char *t33;
    char *t34;
    char *t35;
    char *t36;
    char *t37;
    char *t38;
    char *t39;
    int t40;
    char *t41;
    char *t42;
    char *t43;
    char *t45;
    char *t46;
    char *t47;
    char *t48;
    char *t50;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(203, ng3);
    t2 = (t0 + 10040);
    *((int *)t2) = 1;
    t3 = (t0 + 9456);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(204, ng3);

LAB5:    xsi_set_current_line(205, ng3);
    t4 = (t0 + 6320);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng7)));
    memset(t8, 0, 8);
    t9 = (t6 + 4);
    t10 = (t7 + 4);
    t11 = *((unsigned int *)t6);
    t12 = *((unsigned int *)t7);
    t13 = (t11 ^ t12);
    t14 = *((unsigned int *)t9);
    t15 = *((unsigned int *)t10);
    t16 = (t14 ^ t15);
    t17 = (t13 | t16);
    t18 = *((unsigned int *)t9);
    t19 = *((unsigned int *)t10);
    t20 = (t18 | t19);
    t21 = (~(t20));
    t22 = (t17 & t21);
    if (t22 != 0)
        goto LAB9;

LAB6:    if (t20 != 0)
        goto LAB8;

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

LAB9:    t24 = (t8 + 4);
    t25 = *((unsigned int *)t24);
    t26 = (~(t25));
    t27 = *((unsigned int *)t8);
    t28 = (t27 & t26);
    t29 = (t28 != 0);
    if (t29 > 0)
        goto LAB10;

LAB11:    xsi_set_current_line(210, ng3);

LAB14:    xsi_set_current_line(211, ng3);
    t2 = (t0 + 4800U);
    t3 = *((char **)t2);
    t2 = ((char*)((ng7)));
    memset(t8, 0, 8);
    t4 = (t3 + 4);
    t5 = (t2 + 4);
    t11 = *((unsigned int *)t3);
    t12 = *((unsigned int *)t2);
    t13 = (t11 ^ t12);
    t14 = *((unsigned int *)t4);
    t15 = *((unsigned int *)t5);
    t16 = (t14 ^ t15);
    t17 = (t13 | t16);
    t18 = *((unsigned int *)t4);
    t19 = *((unsigned int *)t5);
    t20 = (t18 | t19);
    t21 = (~(t20));
    t22 = (t17 & t21);
    if (t22 != 0)
        goto LAB18;

LAB15:    if (t20 != 0)
        goto LAB17;

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

LAB18:    t7 = (t8 + 4);
    t25 = *((unsigned int *)t7);
    t26 = (~(t25));
    t27 = *((unsigned int *)t8);
    t28 = (t27 & t26);
    t29 = (t28 != 0);
    if (t29 > 0)
        goto LAB19;

LAB20:    xsi_set_current_line(220, ng3);
    t2 = (t0 + 4800U);
    t3 = *((char **)t2);
    t2 = ((char*)((ng8)));
    memset(t8, 0, 8);
    t4 = (t3 + 4);
    t5 = (t2 + 4);
    t11 = *((unsigned int *)t3);
    t12 = *((unsigned int *)t2);
    t13 = (t11 ^ t12);
    t14 = *((unsigned int *)t4);
    t15 = *((unsigned int *)t5);
    t16 = (t14 ^ t15);
    t17 = (t13 | t16);
    t18 = *((unsigned int *)t4);
    t19 = *((unsigned int *)t5);
    t20 = (t18 | t19);
    t21 = (~(t20));
    t22 = (t17 & t21);
    if (t22 != 0)
        goto LAB36;

LAB33:    if (t20 != 0)
        goto LAB35;

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

LAB36:    t7 = (t8 + 4);
    t25 = *((unsigned int *)t7);
    t26 = (~(t25));
    t27 = *((unsigned int *)t8);
    t28 = (t27 & t26);
    t29 = (t28 != 0);
    if (t29 > 0)
        goto LAB37;

LAB38:    xsi_set_current_line(231, ng3);

LAB53:    xsi_set_current_line(232, ng3);
    t2 = (t0 + 6480);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);

LAB54:    t5 = ((char*)((ng2)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t5, 32);
    if (t32 == 1)
        goto LAB55;

LAB56:    t2 = ((char*)((ng1)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB57;

LAB58:    t2 = ((char*)((ng11)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB59;

LAB60:    t2 = ((char*)((ng13)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB61;

LAB62:    t2 = ((char*)((ng17)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB63;

LAB64:    t2 = ((char*)((ng18)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB65;

LAB66:    t2 = ((char*)((ng20)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB67;

LAB68:    t2 = ((char*)((ng21)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB69;

LAB70:    t2 = ((char*)((ng22)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB71;

LAB72:    t2 = ((char*)((ng23)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB73;

LAB74:    t2 = ((char*)((ng24)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB75;

LAB76:    t2 = ((char*)((ng25)));
    t32 = xsi_vlog_unsigned_case_compare(t4, 4, t2, 32);
    if (t32 == 1)
        goto LAB77;

LAB78:
LAB79:
LAB39:
LAB21:
LAB12:    goto LAB2;

LAB8:    t23 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t23) = 1;
    goto LAB9;

LAB10:    xsi_set_current_line(206, ng3);

LAB13:    xsi_set_current_line(207, ng3);
    t30 = (t0 + 4480U);
    t31 = *((char **)t30);
    t30 = (t0 + 6160);
    xsi_vlogvar_assign_value(t30, t31, 0, 0, 8);
    goto LAB12;

LAB17:    t6 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t6) = 1;
    goto LAB18;

LAB19:    xsi_set_current_line(212, ng3);

LAB22:    xsi_set_current_line(213, ng3);
    t9 = (t0 + 6480);
    t10 = (t9 + 56U);
    t23 = *((char **)t10);

LAB23:    t24 = ((char*)((ng2)));
    t32 = xsi_vlog_unsigned_case_compare(t23, 4, t24, 32);
    if (t32 == 1)
        goto LAB24;

LAB25:    t2 = ((char*)((ng1)));
    t32 = xsi_vlog_unsigned_case_compare(t23, 4, t2, 32);
    if (t32 == 1)
        goto LAB26;

LAB27:    t2 = ((char*)((ng11)));
    t32 = xsi_vlog_unsigned_case_compare(t23, 4, t2, 32);
    if (t32 == 1)
        goto LAB28;

LAB29:    t2 = ((char*)((ng13)));
    t32 = xsi_vlog_unsigned_case_compare(t23, 4, t2, 32);
    if (t32 == 1)
        goto LAB30;

LAB31:
LAB32:    goto LAB21;

LAB24:    xsi_set_current_line(214, ng3);
    t30 = ((char*)((ng9)));
    t31 = (t0 + 6160);
    xsi_vlogvar_assign_value(t31, t30, 0, 0, 8);
    goto LAB32;

LAB26:    xsi_set_current_line(215, ng3);
    t3 = ((char*)((ng10)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB32;

LAB28:    xsi_set_current_line(216, ng3);
    t3 = ((char*)((ng12)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB32;

LAB30:    xsi_set_current_line(217, ng3);
    t3 = ((char*)((ng14)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB32;

LAB35:    t6 = (t8 + 4);
    *((unsigned int *)t8) = 1;
    *((unsigned int *)t6) = 1;
    goto LAB36;

LAB37:    xsi_set_current_line(221, ng3);

LAB40:    xsi_set_current_line(222, ng3);
    t9 = (t0 + 6480);
    t10 = (t9 + 56U);
    t24 = *((char **)t10);

LAB41:    t30 = ((char*)((ng2)));
    t32 = xsi_vlog_unsigned_case_compare(t24, 4, t30, 32);
    if (t32 == 1)
        goto LAB42;

LAB43:    t2 = ((char*)((ng1)));
    t32 = xsi_vlog_unsigned_case_compare(t24, 4, t2, 32);
    if (t32 == 1)
        goto LAB44;

LAB45:    t2 = ((char*)((ng11)));
    t32 = xsi_vlog_unsigned_case_compare(t24, 4, t2, 32);
    if (t32 == 1)
        goto LAB46;

LAB47:    t2 = ((char*)((ng13)));
    t32 = xsi_vlog_unsigned_case_compare(t24, 4, t2, 32);
    if (t32 == 1)
        goto LAB48;

LAB49:    t2 = ((char*)((ng17)));
    t32 = xsi_vlog_unsigned_case_compare(t24, 4, t2, 32);
    if (t32 == 1)
        goto LAB50;

LAB51:
LAB52:    goto LAB39;

LAB42:    xsi_set_current_line(223, ng3);
    t31 = ((char*)((ng9)));
    t33 = (t0 + 6160);
    xsi_vlogvar_assign_value(t33, t31, 0, 0, 8);
    goto LAB52;

LAB44:    xsi_set_current_line(224, ng3);
    t3 = ((char*)((ng15)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB52;

LAB46:    xsi_set_current_line(225, ng3);
    t3 = ((char*)((ng16)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB52;

LAB48:    xsi_set_current_line(226, ng3);
    t3 = ((char*)((ng16)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB52;

LAB50:    xsi_set_current_line(227, ng3);
    t3 = ((char*)((ng14)));
    t4 = (t0 + 6160);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);
    goto LAB52;

LAB55:    xsi_set_current_line(233, ng3);
    t6 = ((char*)((ng9)));
    t7 = (t0 + 6160);
    xsi_vlogvar_assign_value(t7, t6, 0, 0, 8);
    goto LAB79;

LAB57:    xsi_set_current_line(234, ng3);
    t3 = (t0 + 4960U);
    t5 = *((char **)t3);
    memset(t8, 0, 8);
    t3 = (t8 + 4);
    t6 = (t5 + 4);
    t11 = *((unsigned int *)t5);
    t12 = (t11 >> 12);
    *((unsigned int *)t8) = t12;
    t13 = *((unsigned int *)t6);
    t14 = (t13 >> 12);
    *((unsigned int *)t3) = t14;
    t15 = *((unsigned int *)t8);
    *((unsigned int *)t8) = (t15 & 15U);
    t16 = *((unsigned int *)t3);
    *((unsigned int *)t3) = (t16 & 15U);
    t7 = (t0 + 9232);
    t9 = (t0 + 3208);
    t10 = xsi_create_subprogram_invocation(t7, 0, t0, t9, 0, 0);
    t30 = (t0 + 7760);
    xsi_vlogvar_assign_value(t30, t8, 0, 0, 4);

LAB80:    t31 = (t0 + 9328);
    t33 = *((char **)t31);
    t34 = (t33 + 80U);
    t35 = *((char **)t34);
    t36 = (t35 + 272U);
    t37 = *((char **)t36);
    t38 = (t37 + 0U);
    t39 = *((char **)t38);
    t40 = ((int  (*)(char *, char *))t39)(t0, t33);
    if (t40 != 0)
        goto LAB82;

LAB81:    t33 = (t0 + 9328);
    t41 = *((char **)t33);
    t33 = (t0 + 7600);
    t42 = (t33 + 56U);