📄 m_00000000000897309440_3896706836.c
字号:
t18 = (t16 | t17);
t19 = (~(t18));
t20 = (t15 & t19);
if (t20 != 0)
goto LAB7;
LAB4: if (t18 != 0)
goto LAB6;
LAB5: *((unsigned int *)t6) = 1;
LAB7: t22 = (t0 + 6496);
t23 = (t22 + 56U);
t24 = *((char **)t23);
t25 = (t24 + 56U);
t26 = *((char **)t25);
memset(t26, 0, 8);
t27 = 1U;
t28 = t27;
t29 = (t6 + 4);
t30 = *((unsigned int *)t6);
t27 = (t27 & t30);
t31 = *((unsigned int *)t29);
t28 = (t28 & t31);
t32 = (t26 + 4);
t33 = *((unsigned int *)t26);
*((unsigned int *)t26) = (t33 | t27);
t34 = *((unsigned int *)t32);
*((unsigned int *)t32) = (t34 | t28);
xsi_driver_vfirst_trans(t22, 0, 0);
t35 = (t0 + 6352);
*((int *)t35) = 1;
LAB1: return;
LAB6: t21 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t21) = 1;
goto LAB7;
}
static void Always_195_3(char *t0)
{
char t20[8];
char t44[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
char *t18;
char *t19;
char *t21;
char *t22;
unsigned int t23;
unsigned int t24;
unsigned int t25;
unsigned int t26;
unsigned int t27;
unsigned int t28;
unsigned int t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
unsigned int t33;
unsigned int t34;
char *t35;
char *t36;
unsigned int t37;
unsigned int t38;
unsigned int t39;
unsigned int t40;
unsigned int t41;
char *t42;
char *t43;
LAB0: t1 = (t0 + 5256U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(195, ng0);
t2 = (t0 + 6368);
*((int *)t2) = 1;
t3 = (t0 + 5288);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(196, ng0);
LAB5: xsi_set_current_line(197, ng0);
t4 = (t0 + 1752U);
t5 = *((char **)t4);
t4 = (t5 + 4);
t6 = *((unsigned int *)t4);
t7 = (~(t6));
t8 = *((unsigned int *)t5);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB6;
LAB7: xsi_set_current_line(202, ng0);
LAB10: xsi_set_current_line(203, ng0);
t2 = (t0 + 1912U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t6 = *((unsigned int *)t2);
t7 = (~(t6));
t8 = *((unsigned int *)t3);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB11;
LAB12:
LAB13:
LAB8: goto LAB2;
LAB6: xsi_set_current_line(198, ng0);
LAB9: xsi_set_current_line(199, ng0);
t11 = ((char*)((ng1)));
t12 = (t0 + 3592);
xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 3, 0LL);
goto LAB8;
LAB11: xsi_set_current_line(204, ng0);
LAB14: xsi_set_current_line(205, ng0);
t4 = (t0 + 2232U);
t5 = *((char **)t4);
t4 = (t5 + 4);
t13 = *((unsigned int *)t4);
t14 = (~(t13));
t15 = *((unsigned int *)t5);
t16 = (t15 & t14);
t17 = (t16 != 0);
if (t17 > 0)
goto LAB15;
LAB16:
LAB17: goto LAB13;
LAB15: xsi_set_current_line(206, ng0);
LAB18: xsi_set_current_line(207, ng0);
t11 = (t0 + 3272);
t12 = (t11 + 56U);
t18 = *((char **)t12);
t19 = ((char*)((ng2)));
memset(t20, 0, 8);
t21 = (t18 + 4);
t22 = (t19 + 4);
t23 = *((unsigned int *)t18);
t24 = *((unsigned int *)t19);
t25 = (t23 ^ t24);
t26 = *((unsigned int *)t21);
t27 = *((unsigned int *)t22);
t28 = (t26 ^ t27);
t29 = (t25 | t28);
t30 = *((unsigned int *)t21);
t31 = *((unsigned int *)t22);
t32 = (t30 | t31);
t33 = (~(t32));
t34 = (t29 & t33);
if (t34 != 0)
goto LAB22;
LAB19: if (t32 != 0)
goto LAB21;
LAB20: *((unsigned int *)t20) = 1;
LAB22: t36 = (t20 + 4);
t37 = *((unsigned int *)t36);
t38 = (~(t37));
t39 = *((unsigned int *)t20);
t40 = (t39 & t38);
t41 = (t40 != 0);
if (t41 > 0)
goto LAB23;
LAB24: xsi_set_current_line(211, ng0);
t2 = (t0 + 3272);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = ((char*)((ng3)));
memset(t20, 0, 8);
t11 = (t4 + 4);
t12 = (t5 + 4);
t6 = *((unsigned int *)t4);
t7 = *((unsigned int *)t5);
t8 = (t6 ^ t7);
t9 = *((unsigned int *)t11);
t10 = *((unsigned int *)t12);
t13 = (t9 ^ t10);
t14 = (t8 | t13);
t15 = *((unsigned int *)t11);
t16 = *((unsigned int *)t12);
t17 = (t15 | t16);
t23 = (~(t17));
t24 = (t14 & t23);
if (t24 != 0)
goto LAB30;
LAB27: if (t17 != 0)
goto LAB29;
LAB28: *((unsigned int *)t20) = 1;
LAB30: t19 = (t20 + 4);
t25 = *((unsigned int *)t19);
t26 = (~(t25));
t27 = *((unsigned int *)t20);
t28 = (t27 & t26);
t29 = (t28 != 0);
if (t29 > 0)
goto LAB31;
LAB32:
LAB33:
LAB25: goto LAB17;
LAB21: t35 = (t20 + 4);
*((unsigned int *)t20) = 1;
*((unsigned int *)t35) = 1;
goto LAB22;
LAB23: xsi_set_current_line(208, ng0);
LAB26: xsi_set_current_line(209, ng0);
t42 = ((char*)((ng1)));
t43 = (t0 + 3592);
xsi_vlogvar_wait_assign_value(t43, t42, 0, 0, 3, 0LL);
goto LAB25;
LAB29: t18 = (t20 + 4);
*((unsigned int *)t20) = 1;
*((unsigned int *)t18) = 1;
goto LAB30;
LAB31: xsi_set_current_line(212, ng0);
LAB34: xsi_set_current_line(213, ng0);
t21 = (t0 + 3592);
t22 = (t21 + 56U);
t35 = *((char **)t22);
t36 = ((char*)((ng2)));
memset(t44, 0, 8);
xsi_vlog_unsigned_add(t44, 3, t35, 3, t36, 3);
t42 = (t0 + 3592);
xsi_vlogvar_wait_assign_value(t42, t44, 0, 0, 3, 0LL);
goto LAB33;
}
static void Cont_220_4(char *t0)
{
char t6[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t7;
char *t8;
unsigned int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
unsigned int t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
unsigned int t27;
unsigned int t28;
char *t29;
unsigned int t30;
unsigned int t31;
char *t32;
unsigned int t33;
unsigned int t34;
char *t35;
LAB0: t1 = (t0 + 5504U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(220, ng0);
t2 = (t0 + 3592);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = ((char*)((ng5)));
memset(t6, 0, 8);
t7 = (t4 + 4);
t8 = (t5 + 4);
t9 = *((unsigned int *)t4);
t10 = *((unsigned int *)t5);
t11 = (t9 ^ t10);
t12 = *((unsigned int *)t7);
t13 = *((unsigned int *)t8);
t14 = (t12 ^ t13);
t15 = (t11 | t14);
t16 = *((unsigned int *)t7);
t17 = *((unsigned int *)t8);
t18 = (t16 | t17);
t19 = (~(t18));
t20 = (t15 & t19);
if (t20 != 0)
goto LAB7;
LAB4: if (t18 != 0)
goto LAB6;
LAB5: *((unsigned int *)t6) = 1;
LAB7: t22 = (t0 + 6560);
t23 = (t22 + 56U);
t24 = *((char **)t23);
t25 = (t24 + 56U);
t26 = *((char **)t25);
memset(t26, 0, 8);
t27 = 1U;
t28 = t27;
t29 = (t6 + 4);
t30 = *((unsigned int *)t6);
t27 = (t27 & t30);
t31 = *((unsigned int *)t29);
t28 = (t28 & t31);
t32 = (t26 + 4);
t33 = *((unsigned int *)t26);
*((unsigned int *)t26) = (t33 | t27);
t34 = *((unsigned int *)t32);
*((unsigned int *)t32) = (t34 | t28);
xsi_driver_vfirst_trans(t22, 0, 0);
t35 = (t0 + 6384);
*((int *)t35) = 1;
LAB1: return;
LAB6: t21 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t21) = 1;
goto LAB7;
}
static void Always_226_5(char *t0)
{
char t13[8];
char t17[8];
char t24[8];
char t66[8];
char t90[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
unsigned int t14;
unsigned int t15;
unsigned int t16;
unsigned int t18;
unsigned int t19;
unsigned int t20;
unsigned int t21;
unsigned int t22;
char *t23;
unsigned int t25;
unsigned int t26;
unsigned int t27;
char *t28;
char *t29;
char *t30;
unsigned int t31;
unsigned int t32;
unsigned int t33;
unsigned int t34;
unsigned int t35;
unsigned int t36;
unsigned int t37;
char *t38;
char *t39;
unsigned int t40;
unsigned int t41;
unsigned int t42;
unsigned int t43;
unsigned int t44;
unsigned int t45;
unsigned int t46;
unsigned int t47;
int t48;
int t49;
unsigned int 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;
unsigned int t60;
unsigned int t61;
char *t62;
char *t63;
char *t64;
char *t65;
char *t67;
char *t68;
unsigned int t69;
unsigned int t70;
unsigned int t71;
unsigned int t72;
unsigned int t73;
unsigned int t74;
unsigned int t75;
unsigned int t76;
unsigned int t77;
unsigned int t78;
unsigned int t79;
unsigned int t80;
char *t81;
char *t82;
unsigned int t83;
unsigned int t84;
unsigned int t85;
unsigned int t86;
unsigned int t87;
char *t88;
char *t89;
char *t91;
char *t92;
char *t93;
char *t94;
char *t95;
char *t96;
char *t97;
unsigned int t98;
int t99;
LAB0: t1 = (t0 + 5752U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(226, ng0);
t2 = (t0 + 6400);
*((int *)t2) = 1;
t3 = (t0 + 5784);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(227, ng0);
LAB5: xsi_set_current_line(228, ng0);
t4 = (t0 + 1752U);
t5 = *((char **)t4);
t4 = (t5 + 4);
t6 = *((unsigned int *)t4);
t7 = (~(t6));
t8 = *((unsigned int *)t5);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB6;
LAB7: xsi_set_current_line(234, ng0);
LAB10: xsi_set_current_line(235, ng0);
t2 = (t0 + 1912U);
t3 = *((char **)t2);
memset(t13, 0, 8);
t2 = (t3 + 4);
t6 = *((unsigned int *)t2);
t7 = (~(t6));
t8 = *((unsigned int *)t3);
t9 = (t8 & t7);
t10 = (t9 & 1U);
if (t10 != 0)
goto LAB11;
LAB12: if (*((unsigned int *)t2) != 0)
goto LAB13;
LAB14: t5 = (t13 + 4);
t14 = *((unsigned int *)t13);
t15 = *((unsigned int *)t5);
t16 = (t14 || t15);
if (t16 > 0)
goto LAB15;
LAB16: memcpy(t24, t13, 8);
LAB17: t56 = (t24 + 4);
t57 = *((unsigned int *)t56);
t58 = (~(t57));
t59 = *((unsigned int *)t24);
t60 = (t59 & t58);
t61 = (t60 != 0);
if (t61 > 0)
goto LAB25;
LAB26:
LAB27:
LAB8: goto LAB2;
LAB6: xsi_set_current_line(229, ng0);
LAB9: xsi_set_current_line(230, ng0);
t11 = ((char*)((ng1)));
t12 = (t0 + 2792);
xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 8, 0LL);
xsi_set_current_line(231, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 2952);
xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);
goto LAB8;
LAB11: *((unsigned int *)t13) = 1;
goto LAB14;
LAB13: t4 = (t13 + 4);
*((unsigned int *)t13) = 1;
*((unsigned int *)t4) = 1;
goto LAB14;
LAB15: t11 = (t0 + 2232U);
t12 = *((char **)t11);
memset(t17, 0, 8);
t11 = (t12 + 4);
t18 = *((unsigned int *)t11);
t19 = (~(t18));
t20 = *((unsigned int *)t12);
t21 = (t20 & t19);
t22 = (t21 & 1U);
if (t22 != 0)
goto LAB18;
LAB19: if (*((unsigned int *)t11) != 0)
goto LAB20;
LAB21: t25 = *((unsigned int *)t13);
t26 = *((unsigned int *)t17);
t27 = (t25 & t26);
*((unsigned int *)t24) = t27;
t28 = (t13 + 4);
t29 = (t17 + 4);
t30 = (t24 + 4);
t31 = *((unsigned int *)t28);
t32 = *((unsigned int *)t29);
t33 = (t31 | t32);
*((unsigned int *)t30) = t33;
t34 = *((unsigned int *)t30);
t35 = (t34 != 0);
if (t35 == 1)
goto LAB22;
LAB23:
LAB24: goto LAB17;
LAB18: *((unsigned int *)t17) = 1;
goto LAB21;
LAB20: t23 = (t17 + 4);
*((unsigned int *)t17) = 1;
*((unsigned int *)t23) = 1;
goto LAB21;
LAB22: t36 = *((unsigned int *)t24);
t37 = *((unsigned int *)t30);
*((unsigned int *)t24) = (t36 | t37);
t38 = (t13 + 4);
t39 = (t17 + 4);
t40 = *((unsigned int *)t13);
t41 = (~(t40));
t42 = *((unsigned int *)t38);
t43 = (~(t42));
t44 = *((unsigned int *)t17);
t45 = (~(t44));
t46 = *((unsigned int *)t39);
t47 = (~(t46));
t48 = (t41 & t43);
t49 = (t45 & t47);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -