m_00000000003011730406_1036620462.c

此程序在于

LAB87:    *((unsigned int *)t18) = 1;

LAB89:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB90;

LAB91:    if (*((unsigned int *)t23) != 0)
        goto LAB92;

LAB93:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB94;

LAB95:    memcpy(t88, t24, 8);

LAB96:    t87 = (t88 + 4U);
    t133 = *((unsigned int *)t87);
    t134 = (~(t133));
    t135 = *((unsigned int *)t88);
    t136 = (t135 & t134);
    t137 = (t136 != 0);
    if (t137 > 0)
        goto LAB108;

LAB109:    t3 = (t1 + 2340);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t1 + 2340);
    t8 = (t7 + 40U);
    t15 = *((char **)t8);
    t16 = ((char*)((ng1)));
    xsi_vlog_generic_get_index_select_value(t6, 32, t5, t15, 2, t16, 32, 1);
    t17 = ((char*)((ng1)));
    memset(t18, 0, 8);
    t19 = (t18 + 4U);
    t20 = (t6 + 4U);
    t21 = (t17 + 4U);
    t9 = *((unsigned int *)t6);
    t10 = *((unsigned int *)t17);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t20);
    t13 = *((unsigned int *)t21);
    t14 = (t12 ^ t13);
    t28 = (t11 | t14);
    t29 = *((unsigned int *)t20);
    t30 = *((unsigned int *)t21);
    t31 = (t29 | t30);
    t32 = (~(t31));
    t33 = (t28 & t32);
    if (t33 != 0)
        goto LAB114;

LAB111:    if (t31 != 0)
        goto LAB113;

LAB112:    *((unsigned int *)t18) = 1;

LAB114:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB115;

LAB116:    if (*((unsigned int *)t23) != 0)
        goto LAB117;

LAB118:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB119;

LAB120:    memcpy(t88, t24, 8);

LAB121:    t87 = (t88 + 4U);
    t133 = *((unsigned int *)t87);
    t134 = (~(t133));
    t135 = *((unsigned int *)t88);
    t136 = (t135 & t134);
    t137 = (t136 != 0);
    if (t137 > 0)
        goto LAB133;

LAB134:    t3 = (t1 + 2340);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t1 + 2340);
    t8 = (t7 + 40U);
    t15 = *((char **)t8);
    t16 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t6, 32, t5, t15, 2, t16, 32, 1);
    t17 = ((char*)((ng0)));
    memset(t18, 0, 8);
    t19 = (t18 + 4U);
    t20 = (t6 + 4U);
    t21 = (t17 + 4U);
    t9 = *((unsigned int *)t6);
    t10 = *((unsigned int *)t17);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t20);
    t13 = *((unsigned int *)t21);
    t14 = (t12 ^ t13);
    t28 = (t11 | t14);
    t29 = *((unsigned int *)t20);
    t30 = *((unsigned int *)t21);
    t31 = (t29 | t30);
    t32 = (~(t31));
    t33 = (t28 & t32);
    if (t33 != 0)
        goto LAB139;

LAB136:    if (t31 != 0)
        goto LAB138;

LAB137:    *((unsigned int *)t18) = 1;

LAB139:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB140;

LAB141:    if (*((unsigned int *)t23) != 0)
        goto LAB142;

LAB143:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB144;

LAB145:    memcpy(t88, t24, 8);

LAB146:    t87 = (t88 + 4U);
    t133 = *((unsigned int *)t87);
    t134 = (~(t133));
    t135 = *((unsigned int *)t88);
    t136 = (t135 & t134);
    t137 = (t136 != 0);
    if (t137 > 0)
        goto LAB158;

LAB159:    t3 = (t1 + 2340);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t1 + 2340);
    t8 = (t7 + 40U);
    t15 = *((char **)t8);
    t16 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t6, 32, t5, t15, 2, t16, 32, 1);
    t17 = ((char*)((ng1)));
    memset(t18, 0, 8);
    t19 = (t18 + 4U);
    t20 = (t6 + 4U);
    t21 = (t17 + 4U);
    t9 = *((unsigned int *)t6);
    t10 = *((unsigned int *)t17);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t20);
    t13 = *((unsigned int *)t21);
    t14 = (t12 ^ t13);
    t28 = (t11 | t14);
    t29 = *((unsigned int *)t20);
    t30 = *((unsigned int *)t21);
    t31 = (t29 | t30);
    t32 = (~(t31));
    t33 = (t28 & t32);
    if (t33 != 0)
        goto LAB164;

LAB161:    if (t31 != 0)
        goto LAB163;

LAB162:    *((unsigned int *)t18) = 1;

LAB164:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB165;

LAB166:    if (*((unsigned int *)t23) != 0)
        goto LAB167;

LAB168:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB169;

LAB170:    memcpy(t88, t24, 8);

LAB171:    t87 = (t88 + 4U);
    t133 = *((unsigned int *)t87);
    t134 = (~(t133));
    t135 = *((unsigned int *)t88);
    t136 = (t135 & t134);
    t137 = (t136 != 0);
    if (t137 > 0)
        goto LAB183;

LAB184:    t3 = ((char*)((ng4)));
    t4 = (t1 + 2156);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);

LAB185:
LAB160:
LAB135:
LAB110:
LAB85:
LAB33:    t0 = 0;

LAB1:    return t0;
LAB5:    *((unsigned int *)t24) = 1;
    *((unsigned int *)t25) = 1;
    goto LAB6;

LAB7:    t52 = *((unsigned int *)t40);
    t53 = *((unsigned int *)t46);
    *((unsigned int *)t40) = (t52 | t53);
    goto LAB9;

LAB10:    *((unsigned int *)t54) = 1;
    goto LAB13;

LAB12:    *((unsigned int *)t54) = 1;
    *((unsigned int *)t55) = 1;
    goto LAB13;

LAB14:    t67 = (t1 + 2340);
    t68 = (t67 + 32U);
    t69 = *((char **)t68);
    memset(t70, 0, 8);
    t71 = (t70 + 4U);
    t72 = (t69 + 4U);
    t73 = *((unsigned int *)t69);
    t74 = (t73 >> 1);
    t75 = (t74 & 1);
    *((unsigned int *)t70) = t75;
    t76 = *((unsigned int *)t72);
    t77 = (t76 >> 1);
    t78 = (t77 & 1);
    *((unsigned int *)t71) = t78;
    t79 = (t1 + 2340);
    t80 = (t79 + 32U);
    t81 = *((char **)t80);
    t83 = (t1 + 2340);
    t84 = (t83 + 40U);
    t85 = *((char **)t84);
    t86 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t82, 32, t81, t85, 2, t86, 32, 1);
    t87 = ((char*)((ng0)));
    memset(t88, 0, 8);
    t89 = (t88 + 4U);
    t90 = (t82 + 4U);
    t91 = (t87 + 4U);
    t92 = *((unsigned int *)t82);
    t93 = *((unsigned int *)t87);
    t94 = (t92 ^ t93);
    t95 = *((unsigned int *)t90);
    t96 = *((unsigned int *)t91);
    t97 = (t95 ^ t96);
    t98 = (t94 | t97);
    t99 = *((unsigned int *)t90);
    t100 = *((unsigned int *)t91);
    t101 = (t99 | t100);
    t102 = (~(t101));
    t103 = (t98 & t102);
    if (t103 != 0)
        goto LAB20;

LAB17:    if (t101 != 0)
        goto LAB19;

LAB18:    *((unsigned int *)t88) = 1;

LAB20:    t105 = *((unsigned int *)t70);
    t106 = *((unsigned int *)t88);
    t107 = (t105 ^ t106);
    *((unsigned int *)t104) = t107;
    t108 = (t70 + 4U);
    t109 = (t88 + 4U);
    t110 = (t104 + 4U);
    t111 = *((unsigned int *)t108);
    t112 = *((unsigned int *)t109);
    t113 = (t111 | t112);
    *((unsigned int *)t110) = t113;
    t114 = *((unsigned int *)t110);
    t115 = (t114 != 0);
    if (t115 == 1)
        goto LAB21;

LAB22:
LAB23:    memset(t118, 0, 8);
    t119 = (t118 + 4U);
    t120 = (t104 + 4U);
    t121 = *((unsigned int *)t120);
    t122 = (~(t121));
    t123 = *((unsigned int *)t104);
    t124 = (t123 & t122);
    t125 = (t124 & 1U);
    if (t125 != 0)
        goto LAB24;

LAB25:    if (*((unsigned int *)t120) != 0)
        goto LAB26;

LAB27:    t127 = *((unsigned int *)t54);
    t128 = *((unsigned int *)t118);
    t129 = (t127 | t128);
    *((unsigned int *)t126) = t129;
    t130 = (t54 + 4U);
    t131 = (t118 + 4U);
    t132 = (t126 + 4U);
    t133 = *((unsigned int *)t130);
    t134 = *((unsigned int *)t131);
    t135 = (t133 | t134);
    *((unsigned int *)t132) = t135;
    t136 = *((unsigned int *)t132);
    t137 = (t136 != 0);
    if (t137 == 1)
        goto LAB28;

LAB29:
LAB30:    goto LAB16;

LAB19:    *((unsigned int *)t88) = 1;
    *((unsigned int *)t89) = 1;
    goto LAB20;

LAB21:    t116 = *((unsigned int *)t104);
    t117 = *((unsigned int *)t110);
    *((unsigned int *)t104) = (t116 | t117);
    goto LAB23;

LAB24:    *((unsigned int *)t118) = 1;
    goto LAB27;

LAB26:    *((unsigned int *)t118) = 1;
    *((unsigned int *)t119) = 1;
    goto LAB27;

LAB28:    t138 = *((unsigned int *)t126);
    t139 = *((unsigned int *)t132);
    *((unsigned int *)t126) = (t138 | t139);
    t140 = (t54 + 4U);
    t141 = (t118 + 4U);
    t142 = *((unsigned int *)t140);
    t143 = (~(t142));
    t144 = *((unsigned int *)t54);
    t145 = (t144 & t143);
    t146 = *((unsigned int *)t141);
    t147 = (~(t146));
    t148 = *((unsigned int *)t118);
    t149 = (t148 & t147);
    t150 = (~(t145));
    t151 = (~(t149));
    t152 = *((unsigned int *)t132);
    *((unsigned int *)t132) = (t152 & t150);
    t153 = *((unsigned int *)t132);
    *((unsigned int *)t132) = (t153 & t151);
    goto LAB30;

LAB31:    t160 = (t1 + 2248);
    t161 = (t160 + 32U);
    t162 = *((char **)t161);
    t164 = (t1 + 2248);
    t165 = (t164 + 40U);
    t166 = *((char **)t165);
    t167 = (t1 + 2340);
    t168 = (t167 + 32U);
    t169 = *((char **)t168);
    xsi_vlog_generic_get_index_select_value(t163, 1, t162, t166, 2, t169, 2, 2);
    t170 = (t1 + 2156);
    xsi_vlogvar_assign_value(t170, t163, 0, 0, 1);
    goto LAB33;

LAB34:    t30 = *((unsigned int *)t24);
    t31 = *((unsigned int *)t44);
    *((unsigned int *)t24) = (t30 | t31);
    goto LAB36;

LAB39:    *((unsigned int *)t40) = 1;
    *((unsigned int *)t46) = 1;
    goto LAB40;

LAB41:    *((unsigned int *)t54) = 1;
    goto LAB44;

LAB43:    *((unsigned int *)t54) = 1;
    *((unsigned int *)t62) = 1;
    goto LAB44;

LAB45:    t69 = (t1 + 2248);
    t71 = (t69 + 32U);
    t72 = *((char **)t71);
    t79 = (t1 + 2248);
    t80 = (t79 + 40U);
    t81 = *((char **)t80);
    t83 = ((char*)((ng2)));
    xsi_vlog_generic_get_index_select_value(t70, 32, t72, t81, 2, t83, 32, 1);
    t84 = (t1 + 2248);
    t85 = (t84 + 32U);
    t86 = *((char **)t85);
    t87 = (t1 + 2248);
    t89 = (t87 + 40U);
    t90 = *((char **)t89);
    t91 = ((char*)((ng3)));
    xsi_vlog_generic_get_index_select_value(t82, 32, t86, t90, 2, t91, 32, 1);
    t59 = *((unsigned int *)t70);
    t60 = *((unsigned int *)t82);
    t61 = (t59 ^ t60);
    *((unsigned int *)t88) = t61;
    t108 = (t70 + 4U);
    t109 = (t82 + 4U);
    t110 = (t88 + 4U);
    t63 = *((unsigned int *)t108);
    t64 = *((unsigned int *)t109);
    t65 = (t63 | t64);
    *((unsigned int *)t110) = t65;
    t66 = *((unsigned int *)t110);
    t73 = (t66 != 0);
    if (t73 == 1)
        goto LAB48;

LAB49:
LAB50:    t119 = ((char*)((ng0)));
    memset(t104, 0, 8);
    t120 = (t104 + 4U);
    t130 = (t88 + 4U);
    t131 = (t119 + 4U);
    t76 = *((unsigned int *)t88);
    t77 = *((unsigned int *)t119);
    t78 = (t76 ^ t77);
    t92 = *((unsigned int *)t130);
    t93 = *((unsigned int *)t131);
    t94 = (t92 ^ t93);
    t95 = (t78 | t94);
    t96 = *((unsigned int *)t130);
    t97 = *((unsigned int *)t131);
    t98 = (t96 | t97);
    t99 = (~(t98));
    t100 = (t95 & t99);
    if (t100 != 0)
        goto LAB54;

LAB51:    if (t98 != 0)
        goto LAB53;

LAB52:    *((unsigned int *)t104) = 1;

LAB54:    memset(t118, 0, 8);
    t132 = (t118 + 4U);
    t140 = (t104 + 4U);
    t101 = *((unsigned int *)t140);
    t102 = (~(t101));
    t103 = *((unsigned int *)t104);
    t105 = (t103 & t102);
    t106 = (t105 & 1U);
    if (t106 != 0)
        goto LAB55;

LAB56:    if (*((unsigned int *)t140) != 0)
        goto LAB57;

LAB58:    t107 = *((unsigned int *)t54);
    t111 = *((unsigned int *)t118);
    t112 = (t107 & t111);
    *((unsigned int *)t126) = t112;
    t141 = (t54 + 4U);
    t154 = (t118 + 4U);
    t160 = (t126 + 4U);
    t113 = *((unsigned int *)t141);
    t114 = *((unsigned int *)t154);
    t115 = (t113 | t114);
    *((unsigned int *)t160) = t115;
    t116 = *((unsigned int *)t160);
    t117 = (t116 != 0);
    if (t117 == 1)
        goto LAB59;

LAB60:
LAB61:    goto LAB47;

LAB48:    t74 = *((unsigned int *)t88);
    t75 = *((unsigned int *)t110);
    *((unsigned int *)t88) = (t74 | t75);
    goto LAB50;

LAB53:    *((unsigned int *)t104) = 1;
    *((unsigned int *)t120) = 1;
    goto LAB54;

LAB55:    *((unsigned int *)t118) = 1;
    goto LAB58;

LAB57:    *((unsigned int *)t118) = 1;
    *((unsigned int *)t132) = 1;
    goto LAB58;

LAB59:    t121 = *((unsigned int *)t126);
    t122 = *((unsigned int *)t160);
    *((unsigned int *)t126) = (t121 | t122);
    t161 = (t54 + 4U);
    t162 = (t118 + 4U);
    t123 = *((unsigned int *)t54);
    t124 = (~(t123));
    t125 = *((unsigned int *)t161);
    t127 = (~(t125));
    t128 = *((unsigned int *)t118);
    t129 = (~(t128));
    t133 = *((unsigned int *)t162);
    t134 = (~(t133));