📄 m_00000000000757852270_0068589415.c
字号:
t109 = (t108 + 32U);
t110 = *((char **)t109);
t111 = (t110 + 40U);
t112 = *((char **)t111);
t113 = (t112 + 4U);
t114 = 1U;
t115 = t114;
t116 = (t3 + 4U);
t117 = *((unsigned int *)t3);
t114 = (t114 & t117);
t118 = *((unsigned int *)t116);
t115 = (t115 & t118);
t119 = *((unsigned int *)t112);
*((unsigned int *)t112) = (t119 & 4294967294U);
t120 = *((unsigned int *)t112);
*((unsigned int *)t112) = (t120 | t114);
t121 = *((unsigned int *)t113);
*((unsigned int *)t113) = (t121 & 4294967294U);
t122 = *((unsigned int *)t113);
*((unsigned int *)t113) = (t122 | t115);
xsi_driver_vfirst_trans(t108, 0, 0);
t123 = (t0 + 11344);
*((int *)t123) = 1;
LAB1: return;
LAB4: *((unsigned int *)t4) = 1;
goto LAB7;
LAB6: *((unsigned int *)t4) = 1;
*((unsigned int *)t7) = 1;
goto LAB7;
LAB8: t20 = (t0 + 856);
t21 = *((char **)t20);
t20 = ((char*)((ng0)));
memset(t22, 0, 8);
xsi_vlog_signed_equal(t22, 32, t21, 32, t20, 32);
memset(t19, 0, 8);
t23 = (t19 + 4U);
t24 = (t22 + 4U);
t25 = *((unsigned int *)t24);
t26 = (~(t25));
t27 = *((unsigned int *)t22);
t28 = (t27 & t26);
t29 = (t28 & 1U);
if (t29 != 0)
goto LAB17;
LAB18: if (*((unsigned int *)t24) != 0)
goto LAB19;
LAB20: t30 = (t19 + 4U);
t31 = *((unsigned int *)t19);
t32 = *((unsigned int *)t30);
t33 = (t31 || t32);
if (t33 > 0)
goto LAB21;
LAB22: t57 = *((unsigned int *)t19);
t58 = (~(t57));
t59 = *((unsigned int *)t30);
t60 = (t58 || t59);
if (t60 > 0)
goto LAB23;
LAB24: if (*((unsigned int *)t30) > 0)
goto LAB25;
LAB26: if (*((unsigned int *)t19) > 0)
goto LAB27;
LAB28: memcpy(t18, t55, 8);
LAB29: goto LAB9;
LAB10: t67 = (t0 + 1388);
t68 = *((char **)t67);
t67 = ((char*)((ng5)));
memset(t69, 0, 8);
xsi_vlog_signed_equal(t69, 32, t68, 32, t67, 32);
memset(t66, 0, 8);
t70 = (t66 + 4U);
t71 = (t69 + 4U);
t72 = *((unsigned int *)t71);
t73 = (~(t72));
t74 = *((unsigned int *)t69);
t75 = (t74 & t73);
t76 = (t75 & 1U);
if (t76 != 0)
goto LAB43;
LAB44: if (*((unsigned int *)t71) != 0)
goto LAB45;
LAB46: t77 = (t66 + 4U);
t78 = *((unsigned int *)t66);
t79 = *((unsigned int *)t77);
t80 = (t78 || t79);
if (t80 > 0)
goto LAB47;
LAB48: t82 = *((unsigned int *)t66);
t83 = (~(t82));
t84 = *((unsigned int *)t77);
t85 = (t83 || t84);
if (t85 > 0)
goto LAB49;
LAB50: if (*((unsigned int *)t77) > 0)
goto LAB51;
LAB52: if (*((unsigned int *)t66) > 0)
goto LAB53;
LAB54: memcpy(t65, t86, 8);
LAB55: goto LAB11;
LAB12: xsi_vlog_unsigned_bit_combine(t3, 1, t18, 1, t65, 1);
goto LAB16;
LAB14: memcpy(t3, t18, 8);
goto LAB16;
LAB17: *((unsigned int *)t19) = 1;
goto LAB20;
LAB19: *((unsigned int *)t19) = 1;
*((unsigned int *)t23) = 1;
goto LAB20;
LAB21: t36 = (t0 + 1692);
t37 = *((char **)t36);
t36 = ((char*)((ng0)));
memset(t38, 0, 8);
xsi_vlog_signed_equal(t38, 32, t37, 32, t36, 32);
memset(t35, 0, 8);
t39 = (t35 + 4U);
t40 = (t38 + 4U);
t41 = *((unsigned int *)t40);
t42 = (~(t41));
t43 = *((unsigned int *)t38);
t44 = (t43 & t42);
t45 = (t44 & 1U);
if (t45 != 0)
goto LAB30;
LAB31: if (*((unsigned int *)t40) != 0)
goto LAB32;
LAB33: t46 = (t35 + 4U);
t47 = *((unsigned int *)t35);
t48 = *((unsigned int *)t46);
t49 = (t47 || t48);
if (t49 > 0)
goto LAB34;
LAB35: t51 = *((unsigned int *)t35);
t52 = (~(t51));
t53 = *((unsigned int *)t46);
t54 = (t52 || t53);
if (t54 > 0)
goto LAB36;
LAB37: if (*((unsigned int *)t46) > 0)
goto LAB38;
LAB39: if (*((unsigned int *)t35) > 0)
goto LAB40;
LAB41: memcpy(t34, t56, 8);
LAB42: goto LAB22;
LAB23: t55 = ((char*)((ng2)));
goto LAB24;
LAB25: xsi_vlog_unsigned_bit_combine(t18, 1, t34, 1, t55, 1);
goto LAB29;
LAB27: memcpy(t18, t34, 8);
goto LAB29;
LAB30: *((unsigned int *)t35) = 1;
goto LAB33;
LAB32: *((unsigned int *)t35) = 1;
*((unsigned int *)t39) = 1;
goto LAB33;
LAB34: t50 = ((char*)((ng4)));
goto LAB35;
LAB36: t55 = (t0 + 2400U);
t56 = *((char **)t55);
goto LAB37;
LAB38: xsi_vlog_unsigned_bit_combine(t34, 1, t50, 1, t56, 1);
goto LAB42;
LAB40: memcpy(t34, t50, 8);
goto LAB42;
LAB43: *((unsigned int *)t66) = 1;
goto LAB46;
LAB45: *((unsigned int *)t66) = 1;
*((unsigned int *)t70) = 1;
goto LAB46;
LAB47: t81 = ((char*)((ng4)));
goto LAB48;
LAB49: t88 = (t0 + 1692);
t89 = *((char **)t88);
t88 = ((char*)((ng0)));
memset(t90, 0, 8);
xsi_vlog_signed_equal(t90, 32, t89, 32, t88, 32);
memset(t87, 0, 8);
t91 = (t87 + 4U);
t92 = (t90 + 4U);
t93 = *((unsigned int *)t92);
t94 = (~(t93));
t95 = *((unsigned int *)t90);
t96 = (t95 & t94);
t97 = (t96 & 1U);
if (t97 != 0)
goto LAB56;
LAB57: if (*((unsigned int *)t92) != 0)
goto LAB58;
LAB59: t98 = (t87 + 4U);
t99 = *((unsigned int *)t87);
t100 = *((unsigned int *)t98);
t101 = (t99 || t100);
if (t101 > 0)
goto LAB60;
LAB61: t103 = *((unsigned int *)t87);
t104 = (~(t103));
t105 = *((unsigned int *)t98);
t106 = (t104 || t105);
if (t106 > 0)
goto LAB62;
LAB63: if (*((unsigned int *)t98) > 0)
goto LAB64;
LAB65: if (*((unsigned int *)t87) > 0)
goto LAB66;
LAB67: memcpy(t86, t107, 8);
LAB68: goto LAB50;
LAB51: xsi_vlog_unsigned_bit_combine(t65, 1, t81, 1, t86, 1);
goto LAB55;
LAB53: memcpy(t65, t81, 8);
goto LAB55;
LAB56: *((unsigned int *)t87) = 1;
goto LAB59;
LAB58: *((unsigned int *)t87) = 1;
*((unsigned int *)t91) = 1;
goto LAB59;
LAB60: t102 = ((char*)((ng4)));
goto LAB61;
LAB62: t107 = ((char*)((ng6)));
goto LAB63;
LAB64: xsi_vlog_unsigned_bit_combine(t86, 1, t102, 1, t107, 1);
goto LAB68;
LAB66: memcpy(t86, t102, 8);
goto LAB68;
}
static void C144_3(char *t0)
{
char t3[8];
char t4[8];
char t6[8];
char t24[8];
char t25[8];
char t27[8];
char t44[8];
char t45[8];
char t48[8];
char t65[8];
char t66[8];
char t69[8];
char t83[8];
char t95[8];
char t96[8];
char t99[8];
char t113[8];
char t125[8];
char t126[8];
char t129[8];
char t141[8];
char t142[8];
char t145[8];
char t161[8];
char t175[8];
char *t1;
char *t2;
char *t5;
char *t7;
char *t8;
unsigned int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
char *t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
char *t18;
char *t19;
unsigned int t20;
unsigned int t21;
unsigned int t22;
unsigned int t23;
char *t26;
char *t28;
char *t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
unsigned int t33;
unsigned int t34;
char *t35;
unsigned int t36;
unsigned int t37;
unsigned int t38;
char *t39;
unsigned int t40;
unsigned int t41;
unsigned int t42;
unsigned int t43;
char *t46;
char *t47;
char *t49;
char *t50;
unsigned int t51;
unsigned int t52;
unsigned int t53;
unsigned int t54;
unsigned int t55;
char *t56;
unsigned int t57;
unsigned int t58;
unsigned int t59;
char *t60;
unsigned int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
char *t67;
char *t68;
char *t70;
char *t71;
unsigned int t72;
unsigned int t73;
unsigned int t74;
unsigned int t75;
unsigned int t76;
char *t77;
unsigned int t78;
unsigned int t79;
unsigned int t80;
char *t81;
char *t82;
char *t84;
unsigned int t85;
unsigned int t86;
unsigned int t87;
unsigned int t88;
unsigned int t89;
unsigned int t90;
unsigned int t91;
unsigned int t92;
unsigned int t93;
unsigned int t94;
char *t97;
char *t98;
char *t100;
char *t101;
unsigned int t102;
unsigned int t103;
unsigned int t104;
unsigned int t105;
unsigned int t106;
char *t107;
unsigned int t108;
unsigned int t109;
unsigned int t110;
char *t111;
char *t112;
char *t114;
unsigned int t115;
unsigned int t116;
unsigned int t117;
unsigned int t118;
unsigned int t119;
unsigned int t120;
unsigned int t121;
unsigned int t122;
unsigned int t123;
unsigned int t124;
char *t127;
char *t128;
char *t130;
char *t131;
unsigned int t132;
unsigned int t133;
unsigned int t134;
unsigned int t135;
unsigned int t136;
char *t137;
unsigned int t138;
unsigned int t139;
unsigned int t140;
char *t143;
char *t144;
char *t146;
char *t147;
char *t148;
char *t149;
unsigned int t150;
unsigned int t151;
unsigned int t152;
unsigned int t153;
unsigned int t154;
char *t155;
unsigned int t156;
unsigned int t157;
unsigned int t158;
char *t159;
char *t160;
char *t162;
unsigned int t163;
unsigned int t164;
unsigned int t165;
unsigned int t166;
unsigned int t167;
unsigned int t168;
unsigned int t169;
unsigned int t170;
unsigned int t171;
unsigned int t172;
char *t173;
char *t174;
char *t176;
unsigned int t177;
unsigned int t178;
unsigned int t179;
unsigned int t180;
unsigned int t181;
unsigned int t182;
unsigned int t183;
unsigned int t184;
unsigned int t185;
unsigned int t186;
char *t187;
char *t188;
char *t189;
char *t190;
char *t191;
char *t192;
char *t193;
unsigned int t194;
unsigned int t195;
char *t196;
unsigned int t197;
unsigned int t198;
unsigned int t199;
unsigned int t200;
unsigned int t201;
unsigned int t202;
char *t203;
LAB0: t1 = (t0 + 7564U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 1084);
t5 = *((char **)t2);
t2 = ((char*)((ng0)));
memset(t6, 0, 8);
xsi_vlog_signed_equal(t6, 32, t5, 32, t2, 32);
memset(t4, 0, 8);
t7 = (t4 + 4U);
t8 = (t6 + 4U);
t9 = *((unsigned int *)t8);
t10 = (~(t9));
t11 = *((unsigned int *)t6);
t12 = (t11 & t10);
t13 = (t12 & 1U);
if (t13 != 0)
goto LAB4;
LAB5: if (*((unsigned int *)t8) != 0)
goto LAB6;
LAB7: t14 = (t4 + 4U);
t15 = *((unsigned int *)t4);
t16 = *((unsigned int *)t14);
t17 = (t15 || t16);
if (t17 > 0)
goto LAB8;
LAB9: t20 = *((unsigned int *)t4);
t21 = (~(t20));
t22 = *((unsigned int *)t14);
t23 = (t21 || t22);
if (t23 > 0)
goto LAB10;
LAB11: if (*((unsigned int *)t14) > 0)
goto LAB12;
LAB13: if (*((unsigned int *)t4) > 0)
goto LAB14;
LAB15: memcpy(t3, t24, 8);
LAB16: t188 = (t0 + 11728);
t189 = (t188 + 32U);
t190 = *((char **)t189);
t191 = (t190 + 40U);
t192 = *((char **)t191);
t193 = (t192 + 4U);
t194 = 1U;
t195 = t194;
t196 = (t3 + 4U);
t197 = *((unsigned int *)t3);
t194 = (t194 & t197);
t198 = *((unsigned int *)t196);
t195 = (t195 & t198);
t199 = *((unsigned int *)t192);
*((unsigned int *)t192) = (t199 & 4294967294U);
t200 = *((unsigned int *)t192);
*((unsigned int *)t192) = (t200 | t194);
t201 = *((unsigned int *)t193);
*((unsigned int *)t193) = (t201 & 4294967294U);
t202 = *((unsigned int *)t193);
*((unsigned int *)t193) = (t202 | t195);
xsi_driver_vfirst_trans(t188, 0, 0);
t203 = (t0 + 11352);
*((int *)t203) = 1;
LAB1: return;
LAB4: *((unsigned int *)t4) = 1;
goto LAB7;
LAB6: *((unsigned int *)t4) = 1;
*((unsigned int *)t7) = 1;
goto LAB7;
LAB8: t18 = (t0 + 2488U);
t19 = *((char **)t18);
goto LAB9;
LAB10: t18 = (t0 + 400);
t26 = *((char **)t18);
t18 = ((char*)((ng5)));
memset(t27, 0, 8);
xsi_vlog_signed_equal(t27, 32, t26, 32, t18, 32);
memset(t25, 0, 8);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -