m_00000000000277421008_3694763076.c

32位单精度浮点加法器

LAB271:    t8 = (t18 + 4);
    t21 = *((unsigned int *)t18);
    t22 = (!(t21));
    t23 = *((unsigned int *)t8);
    t24 = (t22 || t23);
    if (t24 > 0)
        goto LAB272;

LAB273:    memcpy(t45, t18, 8);

LAB274:    memset(t46, 0, 8);
    t35 = (t45 + 4);
    t92 = *((unsigned int *)t35);
    t93 = (~(t92));
    t94 = *((unsigned int *)t45);
    t95 = (t94 & t93);
    t96 = (t95 & 1U);
    if (t96 != 0)
        goto LAB282;

LAB283:    if (*((unsigned int *)t35) != 0)
        goto LAB284;

LAB285:    t37 = (t46 + 4);
    t97 = *((unsigned int *)t46);
    t98 = *((unsigned int *)t37);
    t99 = (t97 || t98);
    if (t99 > 0)
        goto LAB286;

LAB287:    memcpy(t117, t46, 8);

LAB288:    t59 = (t117 + 4);
    t143 = *((unsigned int *)t59);
    t144 = (~(t143));
    t145 = *((unsigned int *)t117);
    t146 = (t145 & t144);
    t147 = (t146 != 0);
    if (t147 > 0)
        goto LAB300;

LAB301:
LAB306:    t4 = ((char*)((ng4)));
    t5 = (t1 + 24688);
    t6 = (t1 + 24688);
    t7 = (t6 + 72U);
    t8 = *((char **)t7);
    t9 = (t1 + 24688);
    t11 = (t9 + 64U);
    t12 = *((char **)t11);
    t19 = (t1 + 29008);
    t20 = (t19 + 56U);
    t26 = *((char **)t20);
    xsi_vlog_generic_convert_array_indices(t10, t18, t8, t12, 2, 1, t26, 10, 2);
    t27 = (t10 + 4);
    t13 = *((unsigned int *)t27);
    t58 = (!(t13));
    t33 = (t18 + 4);
    t14 = *((unsigned int *)t33);
    t60 = (!(t14));
    t61 = (t58 && t60);
    if (t61 == 1)
        goto LAB307;

LAB308:
LAB302:    goto LAB189;

LAB191:    *((unsigned int *)t46) = 1;
    goto LAB194;

LAB193:    t39 = (t46 + 4);
    *((unsigned int *)t46) = 1;
    *((unsigned int *)t39) = 1;
    goto LAB194;

LAB195:    t42 = (t1 + 29488);
    t44 = (t42 + 56U);
    t48 = *((char **)t44);
    t49 = ((char*)((ng9)));
    memset(t47, 0, 8);
    t50 = (t48 + 4);
    t51 = (t49 + 4);
    t108 = *((unsigned int *)t48);
    t109 = *((unsigned int *)t49);
    t110 = (t108 ^ t109);
    t111 = *((unsigned int *)t50);
    t112 = *((unsigned int *)t51);
    t113 = (t111 ^ t112);
    t114 = (t110 | t113);
    t115 = *((unsigned int *)t50);
    t116 = *((unsigned int *)t51);
    t118 = (t115 | t116);
    t119 = (~(t118));
    t120 = (t114 & t119);
    if (t120 != 0)
        goto LAB201;

LAB198:    if (t118 != 0)
        goto LAB200;

LAB199:    *((unsigned int *)t47) = 1;

LAB201:    memset(t55, 0, 8);
    t53 = (t47 + 4);
    t121 = *((unsigned int *)t53);
    t122 = (~(t121));
    t124 = *((unsigned int *)t47);
    t125 = (t124 & t122);
    t126 = (t125 & 1U);
    if (t126 != 0)
        goto LAB202;

LAB203:    if (*((unsigned int *)t53) != 0)
        goto LAB204;

LAB205:    t127 = *((unsigned int *)t46);
    t128 = *((unsigned int *)t55);
    t129 = (t127 & t128);
    *((unsigned int *)t117) = t129;
    t56 = (t46 + 4);
    t57 = (t55 + 4);
    t59 = (t117 + 4);
    t130 = *((unsigned int *)t56);
    t131 = *((unsigned int *)t57);
    t132 = (t130 | t131);
    *((unsigned int *)t59) = t132;
    t133 = *((unsigned int *)t59);
    t134 = (t133 != 0);
    if (t134 == 1)
        goto LAB206;

LAB207:
LAB208:    goto LAB197;

LAB200:    t52 = (t47 + 4);
    *((unsigned int *)t47) = 1;
    *((unsigned int *)t52) = 1;
    goto LAB201;

LAB202:    *((unsigned int *)t55) = 1;
    goto LAB205;

LAB204:    t54 = (t55 + 4);
    *((unsigned int *)t55) = 1;
    *((unsigned int *)t54) = 1;
    goto LAB205;

LAB206:    t135 = *((unsigned int *)t117);
    t136 = *((unsigned int *)t59);
    *((unsigned int *)t117) = (t135 | t136);
    t62 = (t46 + 4);
    t69 = (t55 + 4);
    t137 = *((unsigned int *)t46);
    t138 = (~(t137));
    t139 = *((unsigned int *)t62);
    t140 = (~(t139));
    t141 = *((unsigned int *)t55);
    t142 = (~(t141));
    t143 = *((unsigned int *)t69);
    t144 = (~(t143));
    t61 = (t138 & t140);
    t63 = (t142 & t144);
    t145 = (~(t61));
    t146 = (~(t63));
    t147 = *((unsigned int *)t59);
    *((unsigned int *)t59) = (t147 & t145);
    t148 = *((unsigned int *)t59);
    *((unsigned int *)t59) = (t148 & t146);
    t149 = *((unsigned int *)t117);
    *((unsigned int *)t117) = (t149 & t145);
    t150 = *((unsigned int *)t117);
    *((unsigned int *)t117) = (t150 & t146);
    goto LAB208;

LAB209:    *((unsigned int *)t123) = 1;
    goto LAB212;

LAB211:    t71 = (t123 + 4);
    *((unsigned int *)t123) = 1;
    *((unsigned int *)t71) = 1;
    goto LAB212;

LAB213:    t73 = (t1 + 7136);
    t155 = *((char **)t73);
    t73 = ((char*)((ng8)));
    memset(t153, 0, 8);
    xsi_vlog_signed_equal(t153, 32, t155, 32, t73, 32);
    memset(t154, 0, 8);
    t156 = (t153 + 4);
    t165 = *((unsigned int *)t156);
    t166 = (~(t165));
    t167 = *((unsigned int *)t153);
    t168 = (t167 & t166);
    t177 = (t168 & 1U);
    if (t177 != 0)
        goto LAB216;

LAB217:    if (*((unsigned int *)t156) != 0)
        goto LAB218;

LAB219:    t169 = (t154 + 4);
    t185 = *((unsigned int *)t154);
    t186 = *((unsigned int *)t169);
    t187 = (t185 || t186);
    if (t187 > 0)
        goto LAB220;

LAB221:    memcpy(t207, t154, 8);

LAB222:    memset(t237, 0, 8);
    t238 = (t207 + 4);
    t239 = *((unsigned int *)t238);
    t240 = (~(t239));
    t241 = *((unsigned int *)t207);
    t242 = (t241 & t240);
    t243 = (t242 & 1U);
    if (t243 != 0)
        goto LAB234;

LAB235:    if (*((unsigned int *)t238) != 0)
        goto LAB236;

LAB237:    t245 = (t237 + 4);
    t246 = *((unsigned int *)t237);
    t247 = *((unsigned int *)t245);
    t248 = (t246 || t247);
    if (t248 > 0)
        goto LAB238;

LAB239:    memcpy(t277, t237, 8);

LAB240:    memset(t307, 0, 8);
    t308 = (t277 + 4);
    t309 = *((unsigned int *)t308);
    t310 = (~(t309));
    t311 = *((unsigned int *)t277);
    t312 = (t311 & t310);
    t313 = (t312 & 1U);
    if (t313 != 0)
        goto LAB252;

LAB253:    if (*((unsigned int *)t308) != 0)
        goto LAB254;

LAB255:    t316 = *((unsigned int *)t123);
    t317 = *((unsigned int *)t307);
    t318 = (t316 | t317);
    *((unsigned int *)t315) = t318;
    t319 = (t123 + 4);
    t320 = (t307 + 4);
    t321 = (t315 + 4);
    t322 = *((unsigned int *)t319);
    t323 = *((unsigned int *)t320);
    t324 = (t322 | t323);
    *((unsigned int *)t321) = t324;
    t325 = *((unsigned int *)t321);
    t326 = (t325 != 0);
    if (t326 == 1)
        goto LAB256;

LAB257:
LAB258:    goto LAB215;

LAB216:    *((unsigned int *)t154) = 1;
    goto LAB219;

LAB218:    t163 = (t154 + 4);
    *((unsigned int *)t154) = 1;
    *((unsigned int *)t163) = 1;
    goto LAB219;

LAB220:    t170 = (t1 + 29488);
    t172 = (t170 + 56U);
    t173 = *((char **)t172);
    t174 = ((char*)((ng9)));
    memset(t171, 0, 8);
    t175 = (t173 + 4);
    t176 = (t174 + 4);
    t188 = *((unsigned int *)t173);
    t189 = *((unsigned int *)t174);
    t190 = (t188 ^ t189);
    t191 = *((unsigned int *)t175);
    t192 = *((unsigned int *)t176);
    t193 = (t191 ^ t192);
    t194 = (t190 | t193);
    t195 = *((unsigned int *)t175);
    t196 = *((unsigned int *)t176);
    t197 = (t195 | t196);
    t198 = (~(t197));
    t199 = (t194 & t198);
    if (t199 != 0)
        goto LAB226;

LAB223:    if (t197 != 0)
        goto LAB225;

LAB224:    *((unsigned int *)t171) = 1;

LAB226:    memset(t178, 0, 8);
    t200 = (t171 + 4);
    t201 = *((unsigned int *)t200);
    t202 = (~(t201));
    t203 = *((unsigned int *)t171);
    t204 = (t203 & t202);
    t205 = (t204 & 1U);
    if (t205 != 0)
        goto LAB227;

LAB228:    if (*((unsigned int *)t200) != 0)
        goto LAB229;

LAB230:    t208 = *((unsigned int *)t154);
    t209 = *((unsigned int *)t178);
    t210 = (t208 & t209);
    *((unsigned int *)t207) = t210;
    t211 = (t154 + 4);
    t212 = (t178 + 4);
    t213 = (t207 + 4);
    t214 = *((unsigned int *)t211);
    t215 = *((unsigned int *)t212);
    t216 = (t214 | t215);
    *((unsigned int *)t213) = t216;
    t217 = *((unsigned int *)t213);
    t218 = (t217 != 0);
    if (t218 == 1)
        goto LAB231;

LAB232:
LAB233:    goto LAB222;

LAB225:    t179 = (t171 + 4);
    *((unsigned int *)t171) = 1;
    *((unsigned int *)t179) = 1;
    goto LAB226;

LAB227:    *((unsigned int *)t178) = 1;
    goto LAB230;

LAB229:    t206 = (t178 + 4);
    *((unsigned int *)t178) = 1;
    *((unsigned int *)t206) = 1;
    goto LAB230;

LAB231:    t219 = *((unsigned int *)t207);
    t220 = *((unsigned int *)t213);
    *((unsigned int *)t207) = (t219 | t220);
    t221 = (t154 + 4);
    t222 = (t178 + 4);
    t223 = *((unsigned int *)t154);
    t224 = (~(t223));
    t225 = *((unsigned int *)t221);
    t226 = (~(t225));
    t227 = *((unsigned int *)t178);
    t228 = (~(t227));
    t229 = *((unsigned int *)t222);
    t230 = (~(t229));
    t64 = (t224 & t226);
    t65 = (t228 & t230);
    t231 = (~(t64));
    t232 = (~(t65));
    t233 = *((unsigned int *)t213);
    *((unsigned int *)t213) = (t233 & t231);
    t234 = *((unsigned int *)t213);
    *((unsigned int *)t213) = (t234 & t232);
    t235 = *((unsigned int *)t207);
    *((unsigned int *)t207) = (t235 & t231);
    t236 = *((unsigned int *)t207);
    *((unsigned int *)t207) = (t236 & t232);
    goto LAB233;

LAB234:    *((unsigned int *)t237) = 1;
    goto LAB237;

LAB236:    t244 = (t237 + 4);
    *((unsigned int *)t237) = 1;
    *((unsigned int *)t244) = 1;
    goto LAB237;

LAB238:    t249 = (t1 + 29648);
    t250 = (t249 + 56U);
    t251 = *((char **)t250);
    t252 = ((char*)((ng9)));
    memset(t253, 0, 8);
    t254 = (t251 + 4);
    t255 = (t252 + 4);
    t256 = *((unsigned int *)t251);
    t257 = *((unsigned int *)t252);
    t258 = (t256 ^ t257);
    t259 = *((unsigned int *)t254);
    t260 = *((unsigned int *)t255);
    t261 = (t259 ^ t260);
    t262 = (t258 | t261);
    t263 = *((unsigned int *)t254);
    t264 = *((unsigned int *)t255);
    t265 = (t263 | t264);
    t266 = (~(t265));
    t267 = (t262 & t266);
    if (t267 != 0)
        goto LAB242;

LAB241:    if (t265 != 0)
        goto LAB243;

LAB244:    memset(t269, 0, 8);
    t270 = (t253 + 4);
    t271 = *((unsigned int *)t270);
    t272 = (~(t271));
    t273 = *((unsigned int *)t253);
    t274 = (t273 & t272);
    t275 = (t274 & 1U);
    if (t275 != 0)
        goto LAB245;

LAB246:    if (*((unsigned int *)t270) != 0)
        goto LAB247;

LAB248:    t278 = *((unsigned int *)t237);
    t279 = *((unsigned int *)t269);
    t280 = (t278 & t279);
    *((unsigned int *)t277) = t280;
    t281 = (t237 + 4);
    t282 = (t269 + 4);
    t283 = (t277 + 4);
    t284 = *((unsigned int *)t281);
    t285 = *((unsigned int *)t282);
    t286 = (t284 | t285);
    *((unsigned int *)t283) = t286;
    t287 = *((unsigned int *)t283);
    t288 = (t287 != 0);
    if (t288 == 1)
        goto LAB249;

LAB250:
LAB251:    goto LAB240;

LAB242:    *((unsigned int *)t253) = 1;
    goto LAB244;

LAB243:    t268 = (t253 + 4);
    *((unsigned int *)t253) = 1;
    *((unsigned int *)t268) = 1;
    goto LAB244;

LAB245:    *((unsigned int *)t269) = 1;
    goto LAB248;

LAB247:    t276 = (t269 + 4);
    *((unsigned int *)t269) = 1;
    *((unsigned int *)t276) = 1;
    goto LAB248;

LAB249:    t289 = *((unsigned int *)t277);
    t290 = *((unsigned int *)t283);
    *((unsigned int *)t277) = (t289 | t290);
    t291 = (t237 + 4);
    t292 = (t269 + 4);
    t293 = *((unsigned int *)t237);
    t294 = (~(t293));
    t295 = *((unsigned int *)t291);
    t296 = (~(t295));
    t297 = *((unsigned int *)t269);
    t298 = (~(t297));
    t299 = *((unsigned int *)t292);
    t300 = (~(t299));
    t66 = (t294 & t296);
    t67 = (t298 & t300);
    t301 = (~(t66));
    t302 = (~(t67));
    t303 = *((unsigned int *)t283);
    *((unsigned int *)t283) = (t303 & t301);
    t304 = *((unsigned int *)t283);
    *((unsigned int *)t283) = (t304 & t302);
    t305 = *((unsigned int *)t277);
    *((unsigned int *)t277) = (t305 & t301);
    t306 = *((unsigned int *)t277);
    *((unsigned int *)t277) = (t306 & t302);
    goto LAB251;

LAB252:    *((unsigned int *)t307) = 1;
    goto LAB255;

LAB254:    t314 = (t307 + 4);
    *((unsigned int *)t307) = 1;
    *((unsigned int *)t314) = 1;
    goto LAB255;

LAB256:    t327 = *((unsigned int *)t315);
    t328 = *((unsigned int *)t321);
    *((unsigned int *)t315) = (t327 | t328);
    t329 = (t123 + 4);
    t330 = (t307 + 4);
    t331 = *((unsigned int *)t329);
    t332 = (~(t331));
    t333 = *(