m_00000000003011730406_1036620462.c

此程序在于

    t145 = (t124 & t127);
    t149 = (t129 & t134);
    t135 = (~(t145));
    t136 = (~(t149));
    t137 = *((unsigned int *)t160);
    *((unsigned int *)t160) = (t137 & t135);
    t138 = *((unsigned int *)t160);
    *((unsigned int *)t160) = (t138 & t136);
    t139 = *((unsigned int *)t126);
    *((unsigned int *)t126) = (t139 & t135);
    t142 = *((unsigned int *)t126);
    *((unsigned int *)t126) = (t142 & t136);
    goto LAB61;

LAB62:    *((unsigned int *)t163) = 1;
    goto LAB65;

LAB64:    *((unsigned int *)t163) = 1;
    *((unsigned int *)t164) = 1;
    goto LAB65;

LAB66:    t167 = (t1 + 2248);
    t168 = (t167 + 32U);
    t169 = *((char **)t168);
    t170 = (t1 + 2248);
    t172 = (t170 + 40U);
    t173 = *((char **)t172);
    t174 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t171, 32, t169, t173, 2, t174, 32, 1);
    t175 = (t1 + 2248);
    t176 = (t175 + 32U);
    t177 = *((char **)t176);
    t179 = (t1 + 2248);
    t180 = (t179 + 40U);
    t181 = *((char **)t180);
    t182 = ((char*)((ng2)));
    xsi_vlog_generic_get_index_select_value(t178, 32, t177, t181, 2, t182, 32, 1);
    t153 = *((unsigned int *)t171);
    t155 = *((unsigned int *)t178);
    t156 = (t153 ^ t155);
    *((unsigned int *)t183) = t156;
    t184 = (t171 + 4U);
    t185 = (t178 + 4U);
    t186 = (t183 + 4U);
    t157 = *((unsigned int *)t184);
    t158 = *((unsigned int *)t185);
    t159 = (t157 | t158);
    *((unsigned int *)t186) = t159;
    t187 = *((unsigned int *)t186);
    t188 = (t187 != 0);
    if (t188 == 1)
        goto LAB69;

LAB70:
LAB71:    t191 = ((char*)((ng0)));
    memset(t192, 0, 8);
    t193 = (t192 + 4U);
    t194 = (t183 + 4U);
    t195 = (t191 + 4U);
    t196 = *((unsigned int *)t183);
    t197 = *((unsigned int *)t191);
    t198 = (t196 ^ t197);
    t199 = *((unsigned int *)t194);
    t200 = *((unsigned int *)t195);
    t201 = (t199 ^ t200);
    t202 = (t198 | t201);
    t203 = *((unsigned int *)t194);
    t204 = *((unsigned int *)t195);
    t205 = (t203 | t204);
    t206 = (~(t205));
    t207 = (t202 & t206);
    if (t207 != 0)
        goto LAB75;

LAB72:    if (t205 != 0)
        goto LAB74;

LAB73:    *((unsigned int *)t192) = 1;

LAB75:    memset(t208, 0, 8);
    t209 = (t208 + 4U);
    t210 = (t192 + 4U);
    t211 = *((unsigned int *)t210);
    t212 = (~(t211));
    t213 = *((unsigned int *)t192);
    t214 = (t213 & t212);
    t215 = (t214 & 1U);
    if (t215 != 0)
        goto LAB76;

LAB77:    if (*((unsigned int *)t210) != 0)
        goto LAB78;

LAB79:    t217 = *((unsigned int *)t163);
    t218 = *((unsigned int *)t208);
    t219 = (t217 & t218);
    *((unsigned int *)t216) = t219;
    t220 = (t163 + 4U);
    t221 = (t208 + 4U);
    t222 = (t216 + 4U);
    t223 = *((unsigned int *)t220);
    t224 = *((unsigned int *)t221);
    t225 = (t223 | t224);
    *((unsigned int *)t222) = t225;
    t226 = *((unsigned int *)t222);
    t227 = (t226 != 0);
    if (t227 == 1)
        goto LAB80;

LAB81:
LAB82:    goto LAB68;

LAB69:    t189 = *((unsigned int *)t183);
    t190 = *((unsigned int *)t186);
    *((unsigned int *)t183) = (t189 | t190);
    goto LAB71;

LAB74:    *((unsigned int *)t192) = 1;
    *((unsigned int *)t193) = 1;
    goto LAB75;

LAB76:    *((unsigned int *)t208) = 1;
    goto LAB79;

LAB78:    *((unsigned int *)t208) = 1;
    *((unsigned int *)t209) = 1;
    goto LAB79;

LAB80:    t228 = *((unsigned int *)t216);
    t229 = *((unsigned int *)t222);
    *((unsigned int *)t216) = (t228 | t229);
    t230 = (t163 + 4U);
    t231 = (t208 + 4U);
    t232 = *((unsigned int *)t163);
    t233 = (~(t232));
    t234 = *((unsigned int *)t230);
    t235 = (~(t234));
    t236 = *((unsigned int *)t208);
    t237 = (~(t236));
    t238 = *((unsigned int *)t231);
    t239 = (~(t238));
    t240 = (t233 & t235);
    t241 = (t237 & t239);
    t242 = (~(t240));
    t243 = (~(t241));
    t244 = *((unsigned int *)t222);
    *((unsigned int *)t222) = (t244 & t242);
    t245 = *((unsigned int *)t222);
    *((unsigned int *)t222) = (t245 & t243);
    t246 = *((unsigned int *)t216);
    *((unsigned int *)t216) = (t246 & t242);
    t247 = *((unsigned int *)t216);
    *((unsigned int *)t216) = (t247 & t243);
    goto LAB82;

LAB83:    t254 = (t1 + 2248);
    t255 = (t254 + 32U);
    t256 = *((char **)t255);
    memset(t257, 0, 8);
    t258 = (t257 + 4U);
    t259 = (t256 + 4U);
    t260 = *((unsigned int *)t256);
    t261 = (t260 >> 0);
    t262 = (t261 & 1);
    *((unsigned int *)t257) = t262;
    t263 = *((unsigned int *)t259);
    t264 = (t263 >> 0);
    t265 = (t264 & 1);
    *((unsigned int *)t258) = t265;
    t266 = (t1 + 2156);
    xsi_vlogvar_assign_value(t266, t257, 0, 0, 1);
    goto LAB85;

LAB88:    *((unsigned int *)t18) = 1;
    *((unsigned int *)t19) = 1;
    goto LAB89;

LAB90:    *((unsigned int *)t24) = 1;
    goto LAB93;

LAB92:    *((unsigned int *)t24) = 1;
    *((unsigned int *)t22) = 1;
    goto LAB93;

LAB94:    t26 = (t1 + 2248);
    t27 = (t26 + 32U);
    t44 = *((char **)t27);
    memset(t40, 0, 8);
    t45 = (t40 + 4U);
    t46 = (t44 + 4U);
    t43 = *((unsigned int *)t44);
    t47 = (t43 >> 0);
    t48 = (t47 & 1);
    *((unsigned int *)t40) = t48;
    t49 = *((unsigned int *)t46);
    t50 = (t49 >> 0);
    t51 = (t50 & 1);
    *((unsigned int *)t45) = t51;
    t55 = (t1 + 2248);
    t56 = (t55 + 32U);
    t62 = *((char **)t56);
    memset(t54, 0, 8);
    t67 = (t54 + 4U);
    t68 = (t62 + 4U);
    t52 = *((unsigned int *)t62);
    t53 = (t52 >> 1);
    t57 = (t53 & 1);
    *((unsigned int *)t54) = t57;
    t58 = *((unsigned int *)t68);
    t59 = (t58 >> 1);
    t60 = (t59 & 1);
    *((unsigned int *)t67) = t60;
    memset(t70, 0, 8);
    t69 = (t70 + 4U);
    t71 = (t40 + 4U);
    t72 = (t54 + 4U);
    t61 = *((unsigned int *)t40);
    t63 = *((unsigned int *)t54);
    t64 = (t61 ^ t63);
    t65 = *((unsigned int *)t71);
    t66 = *((unsigned int *)t72);
    t73 = (t65 ^ t66);
    t74 = (t64 | t73);
    t75 = *((unsigned int *)t71);
    t76 = *((unsigned int *)t72);
    t77 = (t75 | t76);
    t78 = (~(t77));
    t92 = (t74 & t78);
    if (t92 != 0)
        goto LAB100;

LAB97:    if (t77 != 0)
        goto LAB99;

LAB98:    *((unsigned int *)t70) = 1;

LAB100:    memset(t82, 0, 8);
    t79 = (t82 + 4U);
    t80 = (t70 + 4U);
    t93 = *((unsigned int *)t80);
    t94 = (~(t93));
    t95 = *((unsigned int *)t70);
    t96 = (t95 & t94);
    t97 = (t96 & 1U);
    if (t97 != 0)
        goto LAB101;

LAB102:    if (*((unsigned int *)t80) != 0)
        goto LAB103;

LAB104:    t98 = *((unsigned int *)t24);
    t99 = *((unsigned int *)t82);
    t100 = (t98 & t99);
    *((unsigned int *)t88) = t100;
    t81 = (t24 + 4U);
    t83 = (t82 + 4U);
    t84 = (t88 + 4U);
    t101 = *((unsigned int *)t81);
    t102 = *((unsigned int *)t83);
    t103 = (t101 | t102);
    *((unsigned int *)t84) = t103;
    t105 = *((unsigned int *)t84);
    t106 = (t105 != 0);
    if (t106 == 1)
        goto LAB105;

LAB106:
LAB107:    goto LAB96;

LAB99:    *((unsigned int *)t70) = 1;
    *((unsigned int *)t69) = 1;
    goto LAB100;

LAB101:    *((unsigned int *)t82) = 1;
    goto LAB104;

LAB103:    *((unsigned int *)t82) = 1;
    *((unsigned int *)t79) = 1;
    goto LAB104;

LAB105:    t107 = *((unsigned int *)t88);
    t111 = *((unsigned int *)t84);
    *((unsigned int *)t88) = (t107 | t111);
    t85 = (t24 + 4U);
    t86 = (t82 + 4U);
    t112 = *((unsigned int *)t24);
    t113 = (~(t112));
    t114 = *((unsigned int *)t85);
    t115 = (~(t114));
    t116 = *((unsigned int *)t82);
    t117 = (~(t116));
    t121 = *((unsigned int *)t86);
    t122 = (~(t121));
    t145 = (t113 & t115);
    t149 = (t117 & t122);
    t123 = (~(t145));
    t124 = (~(t149));
    t125 = *((unsigned int *)t84);
    *((unsigned int *)t84) = (t125 & t123);
    t127 = *((unsigned int *)t84);
    *((unsigned int *)t84) = (t127 & t124);
    t128 = *((unsigned int *)t88);
    *((unsigned int *)t88) = (t128 & t123);
    t129 = *((unsigned int *)t88);
    *((unsigned int *)t88) = (t129 & t124);
    goto LAB107;

LAB108:    t89 = (t1 + 2248);
    t90 = (t89 + 32U);
    t91 = *((char **)t90);
    memset(t104, 0, 8);
    t108 = (t104 + 4U);
    t109 = (t91 + 4U);
    t138 = *((unsigned int *)t91);
    t139 = (t138 >> 0);
    t142 = (t139 & 1);
    *((unsigned int *)t104) = t142;
    t143 = *((unsigned int *)t109);
    t144 = (t143 >> 0);
    t146 = (t144 & 1);
    *((unsigned int *)t108) = t146;
    t110 = (t1 + 2156);
    xsi_vlogvar_assign_value(t110, t104, 0, 0, 1);
    goto LAB110;

LAB113:    *((unsigned int *)t18) = 1;
    *((unsigned int *)t19) = 1;
    goto LAB114;

LAB115:    *((unsigned int *)t24) = 1;
    goto LAB118;

LAB117:    *((unsigned int *)t24) = 1;
    *((unsigned int *)t22) = 1;
    goto LAB118;

LAB119:    t26 = (t1 + 2248);
    t27 = (t26 + 32U);
    t44 = *((char **)t27);
    memset(t40, 0, 8);
    t45 = (t40 + 4U);
    t46 = (t44 + 4U);
    t43 = *((unsigned int *)t44);
    t47 = (t43 >> 2);
    t48 = (t47 & 1);
    *((unsigned int *)t40) = t48;
    t49 = *((unsigned int *)t46);
    t50 = (t49 >> 2);
    t51 = (t50 & 1);
    *((unsigned int *)t45) = t51;
    t55 = (t1 + 2248);
    t56 = (t55 + 32U);
    t62 = *((char **)t56);
    memset(t54, 0, 8);
    t67 = (t54 + 4U);
    t68 = (t62 + 4U);
    t52 = *((unsigned int *)t62);
    t53 = (t52 >> 3);
    t57 = (t53 & 1);
    *((unsigned int *)t54) = t57;
    t58 = *((unsigned int *)t68);
    t59 = (t58 >> 3);
    t60 = (t59 & 1);
    *((unsigned int *)t67) = t60;
    memset(t70, 0, 8);
    t69 = (t70 + 4U);
    t71 = (t40 + 4U);
    t72 = (t54 + 4U);
    t61 = *((unsigned int *)t40);
    t63 = *((unsigned int *)t54);
    t64 = (t61 ^ t63);
    t65 = *((unsigned int *)t71);
    t66 = *((unsigned int *)t72);
    t73 = (t65 ^ t66);
    t74 = (t64 | t73);
    t75 = *((unsigned int *)t71);
    t76 = *((unsigned int *)t72);
    t77 = (t75 | t76);
    t78 = (~(t77));
    t92 = (t74 & t78);
    if (t92 != 0)
        goto LAB125;

LAB122:    if (t77 != 0)
        goto LAB124;

LAB123:    *((unsigned int *)t70) = 1;

LAB125:    memset(t82, 0, 8);
    t79 = (t82 + 4U);
    t80 = (t70 + 4U);
    t93 = *((unsigned int *)t80);
    t94 = (~(t93));
    t95 = *((unsigned int *)t70);
    t96 = (t95 & t94);
    t97 = (t96 & 1U);
    if (t97 != 0)
        goto LAB126;

LAB127:    if (*((unsigned int *)t80) != 0)
        goto LAB128;

LAB129:    t98 = *((unsigned int *)t24);
    t99 = *((unsigned int *)t82);
    t100 = (t98 & t99);
    *((unsigned int *)t88) = t100;
    t81 = (t24 + 4U);
    t83 = (t82 + 4U);
    t84 = (t88 + 4U);
    t101 = *((unsigned int *)t81);
    t102 = *((unsigned int *)t83);
    t103 = (t101 | t102);
    *((unsigned int *)t84) = t103;
    t105 = *((unsigned int *)t84);
    t106 = (t105 != 0);
    if (t106 == 1)
        goto LAB130;

LAB131:
LAB132:    goto LAB121;

LAB124:    *((unsigned int *)t70) = 1;
    *((unsigned int *)t69) = 1;
    goto LAB125;

LAB126:    *((unsigned int *)t82) = 1;
    goto LAB129;

LAB128:    *((unsigned int *)t82) = 1;
    *((unsigned int *)t79) = 1;
    goto LAB129;

LAB130:    t107 = *((unsigned int *)t88);
    t111 = *((unsigned int *)t84);
    *((unsigned int *)t88) = (t107 | t111);
    t85 = (t24 + 4U);
    t86 = (t82 + 4U);
    t112 = *((unsigned int *)t24);
    t113 = (~(t112));
    t114 = *((unsigned int *)t85);
    t115 = (~(t114));
    t116 = *((unsigned int *)t82);
    t117 = (~(t116));
    t121 = *((unsigned int *)t86);
    t122 = (~(t121));
    t145 = (t113 & t115);
    t149 = (t117 & t122);
    t123 = (~(t145));
    t124 = (~(t149));
    t125 = *((unsigned int *)t84);
    *((unsigned int *)t84) = (t125 & t123);
    t127 = *((unsigned int *)t84);
    *((unsigned int *)t84) = (t127 & t124);
    t128 = *((unsigned int *)t88);
    *((unsigned int *)t88) = (t128 & t123);
    t129 = *((unsigned int *)t88);
    *((unsigned int *)t88) = (t129 & t124);
    goto LAB132;

LAB133:    t89 = (t1 + 2248);
    t90 = (t89 + 32U);
    t91 = *((char **)t90);
    memset(t104, 0, 8);
    t108 = (t104 + 4U);
    t109 = (t91 + 4U);
    t138 = *((unsigned int *)t91);
    t139 = (t138 >> 2);
    t142 = (t139 & 1);
    *((unsigned int *)t104) = t142;
    t143 = *((unsigned int *)t109);
    t144 = (t143 >> 2);
    t146 = (t144 & 1);
    *((unsigned int *)t108) = t146;
    t110 = (t1 + 2156);
    xsi_vlogvar_assign_value(t110, t104, 0, 0, 1);
    goto LAB135;

LAB138:    *((unsigned int *)t18) = 1;
    *((unsigned int *)t19) = 1;
    goto LAB139;

LAB140:    *((unsigned int *)t24) = 1;
    goto LAB143;

LAB142:    *((unsigned int *)t24) = 1;
    *((unsigned int *)t22) = 1;
    goto LAB143;

LAB144:    t26 = (t1 + 2248);
    t27 = (t26 + 32U);
    t44 = *((char **)t27);
    memset(t40, 0, 8);
    t45 = (t40 + 4U);
    t46 = (t44 + 4U);
    t43 = *((unsigned int *)t44);
    t47 = (t43 >> 0);
    t48 = (t47 & 1);
    *((unsigned int *)t40) = t48;
    t49 = *((unsigned int *)t46);
    t50 = (t49 >> 0);
    t51 = (t50 & 1);
    *((unsigned int *)t45) = t51;
    t55 = (t1 + 2248);
    t56 = (t55 + 32U);
    t62 = *((char **)t56);
    memset(t54, 0, 8);
    t67 = (t54 + 4U);
    t68 = (t62 + 4U);
    t52 = *((unsigned int *)t62);
    t53 = (t52 >> 2);
    t57 = (t53 & 1);
    *((unsigned int *)t54) = t57;
    t58 = *((unsigned int *)t68);
    t59 = (t58 >> 2);
    t60 = (t59 & 1);
    *((unsigned int *)t67) = t60;
    memset(t70, 0, 8);
    t69 = (t70 + 4U);
    t71 = (t40 + 4U);
    t72 = (t54 + 4U);
    t61 = *((unsigned int *)t40);
    t63 = *((unsigned int *)t54);
    t64 = (t61 ^ t63);
    t65 = *((unsigned int *)t71);
    t66 = *((unsigned int *)t72);
    t73 = (t65 ^ t66);
    t74 = (t64 | t73);
    t75 = *((unsigned int *)t71);
    t76 = *((unsigned int *)t72);
    t77 = (t75 | t76);
    t78 = (~(t77));
    t92 = (t74 & t78);
    if (t92 != 0)
        goto LAB150;

LAB147:    if (t77 != 0)
        goto LAB149;

LAB148:    *((unsigned int *)t70) = 1;

LAB150:    memset(t82, 0, 8);