📄 m_00000000003770891367_2157110720.c
字号:
t11 = (t10 & 1);
*((unsigned int *)t5) = t11;
t12 = *((unsigned int *)t4);
t13 = (t12 >> 11);
t14 = (t13 & 1);
*((unsigned int *)t2) = t14;
t6 = (t0 + 4032);
t7 = (t0 + 4032);
t8 = (t7 + 40U);
t21 = *((char **)t8);
t27 = ((char*)((ng7)));
xsi_vlog_generic_convert_bit_index(t29, t21, 2, t27, 32, 1);
t28 = (t29 + 4U);
t15 = *((unsigned int *)t28);
t39 = (!(t15));
if (t39 == 1)
goto LAB16;
LAB17: goto LAB12;
LAB14: t48 = *((unsigned int *)t31);
t49 = (t48 + 0);
t50 = *((unsigned int *)t29);
t51 = *((unsigned int *)t30);
t52 = (t50 - t51);
t53 = (t52 + 1);
xsi_vlogvar_generic_wait_assign_value(t27, t28, 2, t49, *((unsigned int *)t30), t53, 1000000LL);
goto LAB15;
LAB16: xsi_vlogvar_generic_wait_assign_value(t6, t5, 2, 0, *((unsigned int *)t29), 1, 1000000LL);
goto LAB17;
LAB21: *((unsigned int *)t29) = 1;
goto LAB24;
LAB23: *((unsigned int *)t29) = 1;
*((unsigned int *)t7) = 1;
goto LAB24;
LAB25: t27 = (t0 + 2488U);
t28 = *((char **)t27);
t27 = (t0 + 6700);
t32 = (t0 + 2140);
t33 = xsi_create_subprogram_invocation(t27, 0, t0, t32, 0, 0);
t34 = (t0 + 5412);
xsi_vlogvar_assign_value(t34, t28, 0, 0, 12);
LAB28: t35 = (t0 + 6748);
t36 = *((char **)t35);
t37 = (t36 + 40U);
t40 = *((char **)t37);
t44 = (t40 + 132U);
t54 = *((char **)t44);
t55 = (t54 + 0U);
t56 = *((char **)t55);
t39 = ((int (*)(char *, char *))t56)(t0, t36);
if (t39 != 0)
goto LAB30;
LAB29: t36 = (t0 + 6748);
t57 = *((char **)t36);
t36 = (t0 + 5320);
t58 = (t36 + 32U);
t59 = *((char **)t58);
memcpy(t30, t59, 8);
t60 = (t0 + 2140);
t61 = (t0 + 6748);
t62 = *((char **)t61);
t61 = (t0 + 6700);
t63 = 0;
xsi_delete_subprogram_invocation(t60, t62, t0, t61, t63);
t64 = ((char*)((ng3)));
memset(t31, 0, 8);
t65 = (t31 + 4U);
t66 = (t30 + 4U);
t67 = (t64 + 4U);
t18 = *((unsigned int *)t30);
t19 = *((unsigned int *)t64);
t20 = (t18 ^ t19);
t22 = *((unsigned int *)t66);
t23 = *((unsigned int *)t67);
t24 = (t22 ^ t23);
t25 = (t20 | t24);
t26 = *((unsigned int *)t66);
t38 = *((unsigned int *)t67);
t41 = (t26 | t38);
t45 = (~(t41));
t48 = (t25 & t45);
if (t48 != 0)
goto LAB34;
LAB31: if (t41 != 0)
goto LAB33;
LAB32: *((unsigned int *)t31) = 1;
LAB34: memset(t68, 0, 8);
t69 = (t68 + 4U);
t70 = (t31 + 4U);
t50 = *((unsigned int *)t70);
t51 = (~(t50));
t71 = *((unsigned int *)t31);
t72 = (t71 & t51);
t73 = (t72 & 1U);
if (t73 != 0)
goto LAB35;
LAB36: if (*((unsigned int *)t70) != 0)
goto LAB37;
LAB38: t75 = *((unsigned int *)t29);
t76 = *((unsigned int *)t68);
t77 = (t75 | t76);
*((unsigned int *)t74) = t77;
t78 = (t29 + 4U);
t79 = (t68 + 4U);
t80 = (t74 + 4U);
t81 = *((unsigned int *)t78);
t82 = *((unsigned int *)t79);
t83 = (t81 | t82);
*((unsigned int *)t80) = t83;
t84 = *((unsigned int *)t80);
t85 = (t84 != 0);
if (t85 == 1)
goto LAB39;
LAB40:
LAB41: goto LAB27;
LAB30: t35 = (t0 + 6784U);
*((char **)t35) = &&LAB28;
goto LAB1;
LAB33: *((unsigned int *)t31) = 1;
*((unsigned int *)t65) = 1;
goto LAB34;
LAB35: *((unsigned int *)t68) = 1;
goto LAB38;
LAB37: *((unsigned int *)t68) = 1;
*((unsigned int *)t69) = 1;
goto LAB38;
LAB39: t86 = *((unsigned int *)t74);
t87 = *((unsigned int *)t80);
*((unsigned int *)t74) = (t86 | t87);
t88 = (t29 + 4U);
t89 = (t68 + 4U);
t90 = *((unsigned int *)t88);
t91 = (~(t90));
t92 = *((unsigned int *)t29);
t42 = (t92 & t91);
t93 = *((unsigned int *)t89);
t94 = (~(t93));
t95 = *((unsigned int *)t68);
t43 = (t95 & t94);
t96 = (~(t42));
t97 = (~(t43));
t98 = *((unsigned int *)t80);
*((unsigned int *)t80) = (t98 & t96);
t99 = *((unsigned int *)t80);
*((unsigned int *)t80) = (t99 & t97);
goto LAB41;
LAB42: t106 = ((char*)((ng8)));
t107 = (t0 + 4032);
xsi_vlogvar_generic_wait_assign_value(t107, t106, 2, 0, 0, 13, 1000000LL);
goto LAB44;
LAB47: t11 = *((unsigned int *)t5);
t12 = *((unsigned int *)t4);
*((unsigned int *)t5) = (t11 | t12);
t13 = *((unsigned int *)t2);
t14 = *((unsigned int *)t4);
*((unsigned int *)t2) = (t13 | t14);
goto LAB46;
LAB48: t20 = *((unsigned int *)t31);
t49 = (t20 + 0);
t22 = *((unsigned int *)t29);
t23 = *((unsigned int *)t30);
t52 = (t22 - t23);
t53 = (t52 + 1);
xsi_vlogvar_assign_value(t6, t5, t49, *((unsigned int *)t30), t53);
goto LAB49;
LAB51: t17 = *((unsigned int *)t5);
t18 = *((unsigned int *)t7);
*((unsigned int *)t5) = (t17 | t18);
t19 = *((unsigned int *)t6);
t20 = *((unsigned int *)t7);
*((unsigned int *)t6) = (t19 | t20);
goto LAB50;
LAB52: xsi_vlogvar_assign_value(t8, t5, 0, *((unsigned int *)t30), 1);
goto LAB53;
}
static void A171_8(char *t0)
{
char t5[8];
char t8[8];
char t24[8];
char t27[8];
char t35[8];
char t67[8];
char t81[8];
char t84[8];
char t92[8];
char t133[8];
char t134[8];
char t144[8];
char t152[8];
char t179[8];
char t194[8];
char t197[8];
char t205[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
char *t7;
char *t9;
char *t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
char *t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t25;
char *t26;
char *t28;
char *t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
unsigned int t33;
unsigned int t34;
unsigned int t36;
unsigned int t37;
unsigned int t38;
char *t39;
char *t40;
char *t41;
unsigned int t42;
unsigned int t43;
unsigned int t44;
unsigned int t45;
unsigned int t46;
unsigned int t47;
unsigned int t48;
char *t49;
char *t50;
unsigned int t51;
unsigned int t52;
unsigned int t53;
unsigned int t54;
unsigned int t55;
unsigned int t56;
unsigned int t57;
unsigned int t58;
int t59;
int t60;
unsigned int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
unsigned int t65;
unsigned int t66;
char *t68;
char *t69;
unsigned int t70;
unsigned int t71;
unsigned int t72;
unsigned int t73;
unsigned int t74;
char *t75;
unsigned int t76;
unsigned int t77;
unsigned int t78;
char *t79;
char *t80;
char *t82;
char *t83;
char *t85;
char *t86;
unsigned int t87;
unsigned int t88;
unsigned int t89;
unsigned int t90;
unsigned int t91;
unsigned int t93;
unsigned int t94;
unsigned int t95;
char *t96;
char *t97;
char *t98;
unsigned int t99;
unsigned int t100;
unsigned int t101;
unsigned int t102;
unsigned int t103;
unsigned int t104;
unsigned int t105;
char *t106;
char *t107;
unsigned int t108;
unsigned int t109;
unsigned int t110;
unsigned int t111;
unsigned int t112;
unsigned int t113;
unsigned int t114;
unsigned int t115;
int t116;
int t117;
unsigned int t118;
unsigned int t119;
unsigned int t120;
unsigned int t121;
unsigned int t122;
unsigned int t123;
char *t124;
unsigned int t125;
unsigned int t126;
unsigned int t127;
unsigned int t128;
unsigned int t129;
char *t130;
char *t131;
int t132;
char *t135;
char *t136;
char *t137;
char *t138;
char *t139;
unsigned int t140;
unsigned int t141;
unsigned int t142;
unsigned int t143;
char *t145;
char *t146;
unsigned int t147;
unsigned int t148;
unsigned int t149;
unsigned int t150;
unsigned int t151;
unsigned int t153;
unsigned int t154;
unsigned int t155;
char *t156;
char *t157;
char *t158;
unsigned int t159;
unsigned int t160;
unsigned int t161;
unsigned int t162;
unsigned int t163;
unsigned int t164;
unsigned int t165;
char *t166;
char *t167;
unsigned int t168;
unsigned int t169;
unsigned int t170;
unsigned int t171;
unsigned int t172;
unsigned int t173;
int t174;
unsigned int t175;
unsigned int t176;
unsigned int t177;
unsigned int t178;
char *t180;
char *t181;
unsigned int t182;
unsigned int t183;
unsigned int t184;
unsigned int t185;
unsigned int t186;
char *t187;
unsigned int t188;
unsigned int t189;
unsigned int t190;
unsigned int t191;
char *t192;
char *t193;
char *t195;
char *t196;
char *t198;
char *t199;
unsigned int t200;
unsigned int t201;
unsigned int t202;
unsigned int t203;
unsigned int t204;
unsigned int t206;
unsigned int t207;
unsigned int t208;
char *t209;
char *t210;
char *t211;
unsigned int t212;
unsigned int t213;
unsigned int t214;
unsigned int t215;
unsigned int t216;
unsigned int t217;
unsigned int t218;
char *t219;
char *t220;
unsigned int t221;
unsigned int t222;
unsigned int t223;
int t224;
unsigned int t225;
unsigned int t226;
unsigned int t227;
int t228;
unsigned int t229;
unsigned int t230;
unsigned int t231;
unsigned int t232;
char *t233;
unsigned int t234;
unsigned int t235;
unsigned int t236;
unsigned int t237;
unsigned int t238;
char *t239;
char *t240;
LAB0: t1 = (t0 + 6912U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 7276);
*((int *)t2) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4:
LAB5: t3 = (t0 + 2664U);
t4 = *((char **)t3);
t3 = ((char*)((ng4)));
memset(t5, 0, 8);
t6 = (t4 + 4U);
t7 = (t3 + 4U);
if (*((unsigned int *)t4) != *((unsigned int *)t3))
goto LAB8;
LAB6: if (*((unsigned int *)t6) != *((unsigned int *)t7))
goto LAB8;
LAB7: *((unsigned int *)t5) = 1;
LAB8: memset(t8, 0, 8);
t9 = (t8 + 4U);
t10 = (t5 + 4U);
t11 = *((unsigned int *)t10);
t12 = (~(t11));
t13 = *((unsigned int *)t5);
t14 = (t13 & t12);
t15 = (t14 & 1U);
if (t15 != 0)
goto LAB9;
LAB10: if (*((unsigned int *)t10) != 0)
goto LAB11;
LAB12: t16 = (t8 + 4U);
t17 = *((unsigned int *)t8);
t18 = *((unsigned int *)t16);
t19 = (t17 || t18);
if (t19 > 0)
goto LAB13;
LAB14: memcpy(t35, t8, 8);
LAB15: memset(t67, 0, 8);
t68 = (t67 + 4U);
t69 = (t35 + 4U);
t70 = *((unsigned int *)t69);
t71 = (~(t70));
t72 = *((unsigned int *)t35);
t73 = (t72 & t71);
t74 = (t73 & 1U);
if (t74 != 0)
goto LAB26;
LAB27: if (*((unsigned int *)t69) != 0)
goto LAB28;
LAB29: t75 = (t67 + 4U);
t76 = *((unsigned int *)t67);
t77 = *((unsigned int *)t75);
t78 = (t76 || t77);
if (t78 > 0)
goto LAB30;
LAB31: memcpy(t92, t67, 8);
LAB32: t124 = (t92 + 4U);
t125 = *((unsigned int *)t124);
t126 = (~(t125));
t127 = *((unsigned int *)t92);
t128 = (t127 & t126);
t129 = (t128 != 0);
if (t129 > 0)
goto LAB43;
LAB44: t2 = (t0 + 2664U);
t3 = *((char **)t2);
t2 = ((char*)((ng3)));
memset(t5, 0, 8);
t4 = (t3 + 4U);
t6 = (t2 + 4U);
if (*((unsigned int *)t3) != *((unsigned int *)t2))
goto LAB57;
LAB55: if (*((unsigned int *)t4) != *((unsigned int *)t6))
goto LAB57;
LAB56: *((unsigned int *)t5) = 1;
LAB57: memset(t8, 0, 8);
t7 = (t8 + 4U);
t9 = (t5 + 4U);
t11 = *((unsigned int *)t9);
t12 = (~(t11));
t13 = *((unsigned int *)t5);
t14 = (t13 & t12);
t15 = (t14 & 1U);
if (t15 != 0)
goto LAB58;
LAB59: if (*((unsigned int *)t9) != 0)
goto LAB60;
LAB61: t10 = (t8 + 4U);
t17 = *((unsigned int *)t8);
t18 = *((unsigned int *)t10);
t19 = (t17 || t18);
if (t19 > 0)
goto LAB62;
LAB63: memcpy(t35, t8, 8);
LAB64: memset(t67, 0, 8);
t50 = (t67 + 4U);
t68 = (t35 + 4U);
t70 = *((unsigned int *)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -