m_00000000003417483446_1041949705.c

32位单精度浮点加法器

        goto LAB91;

LAB90:    *((unsigned int *)t238) = 1;

LAB92:    memset(t254, 0, 8);
    t255 = (t238 + 4);
    t256 = *((unsigned int *)t255);
    t257 = (~(t256));
    t258 = *((unsigned int *)t238);
    t259 = (t258 & t257);
    t260 = (t259 & 1U);
    if (t260 != 0)
        goto LAB93;

LAB94:    if (*((unsigned int *)t255) != 0)
        goto LAB95;

LAB96:    t262 = (t254 + 4);
    t263 = *((unsigned int *)t254);
    t264 = *((unsigned int *)t262);
    t265 = (t263 || t264);
    if (t265 > 0)
        goto LAB97;

LAB98:    memcpy(t283, t254, 8);

LAB99:    memset(t315, 0, 8);
    t316 = (t283 + 4);
    t317 = *((unsigned int *)t316);
    t318 = (~(t317));
    t319 = *((unsigned int *)t283);
    t320 = (t319 & t318);
    t321 = (t320 & 1U);
    if (t321 != 0)
        goto LAB111;

LAB112:    if (*((unsigned int *)t316) != 0)
        goto LAB113;

LAB114:    t324 = *((unsigned int *)t221);
    t325 = *((unsigned int *)t315);
    t326 = (t324 | t325);
    *((unsigned int *)t323) = t326;
    t327 = (t221 + 4);
    t328 = (t315 + 4);
    t329 = (t323 + 4);
    t330 = *((unsigned int *)t327);
    t331 = *((unsigned int *)t328);
    t332 = (t330 | t331);
    *((unsigned int *)t329) = t332;
    t333 = *((unsigned int *)t329);
    t334 = (t333 != 0);
    if (t334 == 1)
        goto LAB115;

LAB116:
LAB117:    goto LAB88;

LAB91:    t253 = (t238 + 4);
    *((unsigned int *)t238) = 1;
    *((unsigned int *)t253) = 1;
    goto LAB92;

LAB93:    *((unsigned int *)t254) = 1;
    goto LAB96;

LAB95:    t261 = (t254 + 4);
    *((unsigned int *)t254) = 1;
    *((unsigned int *)t261) = 1;
    goto LAB96;

LAB97:    t267 = (t0 + 2072U);
    t268 = *((char **)t267);
    memset(t266, 0, 8);
    t267 = (t268 + 4);
    t269 = *((unsigned int *)t267);
    t270 = (~(t269));
    t271 = *((unsigned int *)t268);
    t272 = (t271 & t270);
    t273 = (t272 & 1U);
    if (t273 != 0)
        goto LAB103;

LAB101:    if (*((unsigned int *)t267) == 0)
        goto LAB100;

LAB102:    t274 = (t266 + 4);
    *((unsigned int *)t266) = 1;
    *((unsigned int *)t274) = 1;

LAB103:    memset(t275, 0, 8);
    t276 = (t266 + 4);
    t277 = *((unsigned int *)t276);
    t278 = (~(t277));
    t279 = *((unsigned int *)t266);
    t280 = (t279 & t278);
    t281 = (t280 & 1U);
    if (t281 != 0)
        goto LAB104;

LAB105:    if (*((unsigned int *)t276) != 0)
        goto LAB106;

LAB107:    t284 = *((unsigned int *)t254);
    t285 = *((unsigned int *)t275);
    t286 = (t284 & t285);
    *((unsigned int *)t283) = t286;
    t287 = (t254 + 4);
    t288 = (t275 + 4);
    t289 = (t283 + 4);
    t290 = *((unsigned int *)t287);
    t291 = *((unsigned int *)t288);
    t292 = (t290 | t291);
    *((unsigned int *)t289) = t292;
    t293 = *((unsigned int *)t289);
    t294 = (t293 != 0);
    if (t294 == 1)
        goto LAB108;

LAB109:
LAB110:    goto LAB99;

LAB100:    *((unsigned int *)t266) = 1;
    goto LAB103;

LAB104:    *((unsigned int *)t275) = 1;
    goto LAB107;

LAB106:    t282 = (t275 + 4);
    *((unsigned int *)t275) = 1;
    *((unsigned int *)t282) = 1;
    goto LAB107;

LAB108:    t295 = *((unsigned int *)t283);
    t296 = *((unsigned int *)t289);
    *((unsigned int *)t283) = (t295 | t296);
    t297 = (t254 + 4);
    t298 = (t275 + 4);
    t299 = *((unsigned int *)t254);
    t300 = (~(t299));
    t301 = *((unsigned int *)t297);
    t302 = (~(t301));
    t303 = *((unsigned int *)t275);
    t304 = (~(t303));
    t305 = *((unsigned int *)t298);
    t306 = (~(t305));
    t307 = (t300 & t302);
    t308 = (t304 & t306);
    t309 = (~(t307));
    t310 = (~(t308));
    t311 = *((unsigned int *)t289);
    *((unsigned int *)t289) = (t311 & t309);
    t312 = *((unsigned int *)t289);
    *((unsigned int *)t289) = (t312 & t310);
    t313 = *((unsigned int *)t283);
    *((unsigned int *)t283) = (t313 & t309);
    t314 = *((unsigned int *)t283);
    *((unsigned int *)t283) = (t314 & t310);
    goto LAB110;

LAB111:    *((unsigned int *)t315) = 1;
    goto LAB114;

LAB113:    t322 = (t315 + 4);
    *((unsigned int *)t315) = 1;
    *((unsigned int *)t322) = 1;
    goto LAB114;

LAB115:    t335 = *((unsigned int *)t323);
    t336 = *((unsigned int *)t329);
    *((unsigned int *)t323) = (t335 | t336);
    t337 = (t221 + 4);
    t338 = (t315 + 4);
    t339 = *((unsigned int *)t337);
    t340 = (~(t339));
    t341 = *((unsigned int *)t221);
    t342 = (t341 & t340);
    t343 = *((unsigned int *)t338);
    t344 = (~(t343));
    t345 = *((unsigned int *)t315);
    t346 = (t345 & t344);
    t347 = (~(t342));
    t348 = (~(t346));
    t349 = *((unsigned int *)t329);
    *((unsigned int *)t329) = (t349 & t347);
    t350 = *((unsigned int *)t329);
    *((unsigned int *)t329) = (t350 & t348);
    goto LAB117;

LAB118:    xsi_set_current_line(195, ng0);

LAB121:    xsi_set_current_line(196, ng0);
    t357 = ((char*)((ng5)));
    t358 = (t0 + 3432);
    xsi_vlogvar_wait_assign_value(t358, t357, 0, 0, 4, 0LL);
    goto LAB120;

}

static void Cont_203_3(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 + 5416U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(203, 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);
    t18 = (t16 | t17);
    t19 = (~(t18));
    t20 = (t15 & t19);
    if (t20 != 0)
        goto LAB7;

LAB4:    if (t18 != 0)
        goto LAB6;

LAB5:    *((unsigned int *)t6) = 1;

LAB7:    t22 = (t0 + 6720);
    t23 = (t22 + 56U);
    t24 = *((char **)t23);
    t25 = (t24 + 56U);
    t26 = *((char **)t25);
    memset(t26, 0, 8);
    t27 = 1U;
    t28 = t27;
    t29 = (t6 + 4);
    t30 = *((unsigned int *)t6);
    t27 = (t27 & t30);
    t31 = *((unsigned int *)t29);
    t28 = (t28 & t31);
    t32 = (t26 + 4);
    t33 = *((unsigned int *)t26);
    *((unsigned int *)t26) = (t33 | t27);
    t34 = *((unsigned int *)t32);
    *((unsigned int *)t32) = (t34 | t28);
    xsi_driver_vfirst_trans(t22, 0, 0);
    t35 = (t0 + 6528);
    *((int *)t35) = 1;

LAB1:    return;
LAB6:    t21 = (t6 + 4);
    *((unsigned int *)t6) = 1;
    *((unsigned int *)t21) = 1;
    goto LAB7;

}

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

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(208, ng0);
    t2 = (t0 + 6544);
    *((int *)t2) = 1;
    t3 = (t0 + 5696);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

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

LAB5:    xsi_set_current_line(210, 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(215, ng0);

LAB10:    xsi_set_current_line(216, 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(211, ng0);

LAB9:    xsi_set_current_line(212, ng0);
    t11 = ((char*)((ng1)));
    t12 = (t0 + 3592);
    xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 3, 0LL);
    goto LAB8;

LAB11:    xsi_set_current_line(217, ng0);

LAB14:    xsi_set_current_line(218, ng0);
    t4 = (t0 + 2552U);
    t5 = *((char **)t4);
    t4 = (t5 + 4);
    t13 = *((unsigned int *)t4);
    t14 = (~(t13));
    t15 = *((unsigned int *)t5);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB15;

LAB16:
LAB17:    goto LAB13;

LAB15:    xsi_set_current_line(219, ng0);

LAB18:    xsi_set_current_line(220, ng0);
    t11 = (t0 + 3272);
    t12 = (t11 + 56U);
    t18 = *((char **)t12);
    t19 = ((char*)((ng2)));
    memset(t20, 0, 8);
    t21 = (t18 + 4);
    t22 = (t19 + 4);
    t23 = *((unsigned int *)t18);
    t24 = *((unsigned int *)t19);
    t25 = (t23 ^ t24);
    t26 = *((unsigned int *)t21);
    t27 = *((unsigned int *)t22);
    t28 = (t26 ^ t27);
    t29 = (t25 | t28);
    t30 = *((unsigned int *)t21);
    t31 = *((unsigned int *)t22);
    t32 = (t30 | t31);
    t33 = (~(t32));
    t34 = (t29 & t33);
    if (t34 != 0)
        goto LAB22;

LAB19:    if (t32 != 0)
        goto LAB21;

LAB20:    *((unsigned int *)t20) = 1;

LAB22:    t36 = (t20 + 4);
    t37 = *((unsigned int *)t36);
    t38 = (~(t37));
    t39 = *((unsigned int *)t20);
    t40 = (t39 & t38);
    t41 = (t40 != 0);
    if (t41 > 0)
        goto LAB23;

LAB24:    xsi_set_current_line(224, ng0);
    t2 = (t0 + 3272);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng3)));
    memset(t20, 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);
    t13 = (t9 ^ t10);
    t14 = (t8 | t13);
    t15 = *((unsigned int *)t11);
    t16 = *((unsigned int *)t12);
    t17 = (t15 | t16);
    t23 = (~(t17));
    t24 = (t14 & t23);
    if (t24 != 0)
        goto LAB30;

LAB27:    if (t17 != 0)
        goto LAB29;

LAB28:    *((unsigned int *)t20) = 1;

LAB30:    t19 = (t20 + 4);
    t25 = *((unsigned int *)t19);
    t26 = (~(t25));
    t27 = *((unsigned int *)t20);
    t28 = (t27 & t26);
    t29 = (t28 != 0);
    if (t29 > 0)
        goto LAB31;

LAB32:
LAB33:
LAB25:    goto LAB17;

LAB21:    t35 = (t20 + 4);
    *((unsigned int *)t20) = 1;
    *((unsigned int *)t35) = 1;
    goto LAB22;

LAB23:    xsi_set_current_line(221, ng0);

LAB26:    xsi_set_current_line(222, ng0);
    t42 = ((char*)((ng1)));
    t43 = (t0 + 3592);
    xsi_vlogvar_wait_assign_value(t43, t42, 0, 0, 3, 0LL);
    goto LAB25;

LAB29:    t18 = (t20 + 4);
    *((unsigned int *)t20) = 1;
    *((unsigned int *)t18) = 1;
    goto LAB30;

LAB31:    xsi_set_current_line(225, ng0);

LAB34:    xsi_set_current_line(226, ng0);
    t21 = (t0 + 3592);
    t22 = (t21 + 56U);
    t35 = *((char **)t22);
    t36 = ((char*)((ng2)));
    memset(t44, 0, 8);
    xsi_vlog_unsigned_add(t44, 3, t35, 3, t36, 3);