📄 m_00000000001772754660_2698843596.c
字号:
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: t28 = *((unsigned int *)t4);
t29 = (~(t28));
t30 = *((unsigned int *)t14);
t31 = (t29 || t30);
if (t31 > 0)
goto LAB10;
LAB11: if (*((unsigned int *)t14) > 0)
goto LAB12;
LAB13: if (*((unsigned int *)t4) > 0)
goto LAB14;
LAB15: memcpy(t3, t32, 8);
LAB16: t33 = (t0 + 11468);
t34 = (t33 + 32U);
t35 = *((char **)t34);
t36 = (t35 + 40U);
t37 = *((char **)t36);
t38 = (t37 + 4U);
t39 = 1U;
t40 = t39;
t41 = (t3 + 4U);
t42 = *((unsigned int *)t3);
t39 = (t39 & t42);
t43 = *((unsigned int *)t41);
t40 = (t40 & t43);
t44 = *((unsigned int *)t37);
*((unsigned int *)t37) = (t44 & 4294967294U);
t45 = *((unsigned int *)t37);
*((unsigned int *)t37) = (t45 | t39);
t46 = *((unsigned int *)t38);
*((unsigned int *)t38) = (t46 & 4294967294U);
t47 = *((unsigned int *)t38);
*((unsigned int *)t38) = (t47 | t40);
xsi_driver_vfirst_trans(t33, 0, 0);
t48 = (t0 + 11224);
*((int *)t48) = 1;
LAB1: return;
LAB4: *((unsigned int *)t4) = 1;
goto LAB7;
LAB6: *((unsigned int *)t4) = 1;
*((unsigned int *)t7) = 1;
goto LAB7;
LAB8: t19 = (t0 + 5740U);
t20 = *((char **)t19);
memset(t18, 0, 8);
t19 = (t18 + 4U);
t21 = (t20 + 4U);
t22 = *((unsigned int *)t20);
t23 = (t22 >> 0);
*((unsigned int *)t18) = t23;
t24 = *((unsigned int *)t21);
t25 = (t24 >> 0);
*((unsigned int *)t19) = t25;
t26 = *((unsigned int *)t18);
*((unsigned int *)t18) = (t26 & 1U);
t27 = *((unsigned int *)t19);
*((unsigned int *)t19) = (t27 & 1U);
goto LAB9;
LAB10: t32 = ((char*)((ng0)));
goto LAB11;
LAB12: xsi_vlog_unsigned_bit_combine(t3, 32, t18, 32, t32, 32);
goto LAB16;
LAB14: memcpy(t3, t18, 8);
goto LAB16;
}
static void C134_5(char *t0)
{
char t3[8];
char *t1;
char *t2;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
unsigned int t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
unsigned int t18;
unsigned int t19;
char *t20;
unsigned int t21;
unsigned int t22;
unsigned int t23;
unsigned int t24;
unsigned int t25;
unsigned int t26;
char *t27;
LAB0: t1 = (t0 + 10116U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 5740U);
t4 = *((char **)t2);
memset(t3, 0, 8);
t2 = (t3 + 4U);
t5 = (t4 + 4U);
t6 = *((unsigned int *)t4);
t7 = (t6 >> 0);
*((unsigned int *)t3) = t7;
t8 = *((unsigned int *)t5);
t9 = (t8 >> 0);
*((unsigned int *)t2) = t9;
t10 = *((unsigned int *)t3);
*((unsigned int *)t3) = (t10 & 1U);
t11 = *((unsigned int *)t2);
*((unsigned int *)t2) = (t11 & 1U);
t12 = (t0 + 11504);
t13 = (t12 + 32U);
t14 = *((char **)t13);
t15 = (t14 + 40U);
t16 = *((char **)t15);
t17 = (t16 + 4U);
t18 = 15U;
t19 = t18;
t20 = (t3 + 4U);
t21 = *((unsigned int *)t3);
t18 = (t18 & t21);
t22 = *((unsigned int *)t20);
t19 = (t19 & t22);
t23 = *((unsigned int *)t16);
*((unsigned int *)t16) = (t23 & 4294967280U);
t24 = *((unsigned int *)t16);
*((unsigned int *)t16) = (t24 | t18);
t25 = *((unsigned int *)t17);
*((unsigned int *)t17) = (t25 & 4294967280U);
t26 = *((unsigned int *)t17);
*((unsigned int *)t17) = (t26 | t19);
xsi_driver_vfirst_trans(t12, 0, 3);
t27 = (t0 + 11232);
*((int *)t27) = 1;
LAB1: return;
}
static void C138_6(char *t0)
{
char t3[8];
char t4[8];
char t21[8];
char t42[8];
char t43[8];
char t49[8];
char t50[8];
char t68[8];
char t77[8];
char *t1;
char *t2;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
int t17;
char *t18;
char *t19;
char *t20;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
unsigned int t28;
unsigned int t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
char *t33;
unsigned int t34;
unsigned int t35;
unsigned int t36;
char *t37;
unsigned int t38;
unsigned int t39;
unsigned int t40;
unsigned int t41;
char *t44;
char *t45;
char *t46;
char *t47;
char *t48;
char *t51;
char *t52;
char *t53;
char *t54;
char *t55;
unsigned int t56;
unsigned int t57;
unsigned int t58;
unsigned int t59;
unsigned int t60;
char *t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
char *t65;
char *t66;
char *t67;
char *t69;
char *t70;
char *t71;
char *t72;
char *t73;
char *t74;
char *t75;
char *t76;
unsigned int t78;
unsigned int t79;
unsigned int t80;
unsigned int t81;
char *t82;
char *t83;
char *t84;
char *t85;
char *t86;
char *t87;
char *t88;
unsigned int t89;
unsigned int t90;
char *t91;
unsigned int t92;
unsigned int t93;
unsigned int t94;
unsigned int t95;
unsigned int t96;
unsigned int t97;
char *t98;
LAB0: t1 = (t0 + 10244U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 5740U);
t5 = *((char **)t2);
t2 = (t0 + 10160);
t6 = (t0 + 2432);
t7 = xsi_create_subprogram_invocation(t2, 0, t0, t6, 0, 0);
t8 = (t0 + 6608);
xsi_vlogvar_assign_value(t8, t5, 0, 0, 1);
LAB4: t9 = (t0 + 10208);
t10 = *((char **)t9);
t11 = (t10 + 40U);
t12 = *((char **)t11);
t13 = (t12 + 132U);
t14 = *((char **)t13);
t15 = (t14 + 0U);
t16 = *((char **)t15);
t17 = ((int (*)(char *, char *))t16)(t0, t10);
if (t17 != 0)
goto LAB6;
LAB5: t10 = (t0 + 10208);
t18 = *((char **)t10);
t10 = (t0 + 6516);
t19 = (t10 + 32U);
t20 = *((char **)t19);
memcpy(t21, t20, 8);
t22 = (t0 + 2432);
t23 = (t0 + 10208);
t24 = *((char **)t23);
t23 = (t0 + 10160);
t25 = 0;
xsi_delete_subprogram_invocation(t22, t24, t0, t23, t25);
memset(t4, 0, 8);
t26 = (t4 + 4U);
t27 = (t21 + 4U);
t28 = *((unsigned int *)t27);
t29 = (~(t28));
t30 = *((unsigned int *)t21);
t31 = (t30 & t29);
t32 = (t31 & 4294967295U);
if (t32 != 0)
goto LAB7;
LAB8: if (*((unsigned int *)t27) != 0)
goto LAB9;
LAB10: t33 = (t4 + 4U);
t34 = *((unsigned int *)t4);
t35 = *((unsigned int *)t33);
t36 = (t34 || t35);
if (t36 > 0)
goto LAB11;
LAB12: t38 = *((unsigned int *)t4);
t39 = (~(t38));
t40 = *((unsigned int *)t33);
t41 = (t39 || t40);
if (t41 > 0)
goto LAB13;
LAB14: if (*((unsigned int *)t33) > 0)
goto LAB15;
LAB16: if (*((unsigned int *)t4) > 0)
goto LAB17;
LAB18: memcpy(t3, t42, 8);
LAB19: t83 = (t0 + 11540);
t84 = (t83 + 32U);
t85 = *((char **)t84);
t86 = (t85 + 40U);
t87 = *((char **)t86);
t88 = (t87 + 4U);
t89 = 1U;
t90 = t89;
t91 = (t3 + 4U);
t92 = *((unsigned int *)t3);
t89 = (t89 & t92);
t93 = *((unsigned int *)t91);
t90 = (t90 & t93);
t94 = *((unsigned int *)t87);
*((unsigned int *)t87) = (t94 & 4294967294U);
t95 = *((unsigned int *)t87);
*((unsigned int *)t87) = (t95 | t89);
t96 = *((unsigned int *)t88);
*((unsigned int *)t88) = (t96 & 4294967294U);
t97 = *((unsigned int *)t88);
*((unsigned int *)t88) = (t97 | t90);
xsi_driver_vfirst_trans(t83, 0, 0);
t98 = (t0 + 11240);
*((int *)t98) = 1;
LAB1: return;
LAB6: t9 = (t0 + 10244U);
*((char **)t9) = &&LAB4;
goto LAB1;
LAB7: *((unsigned int *)t4) = 1;
goto LAB10;
LAB9: *((unsigned int *)t4) = 1;
*((unsigned int *)t26) = 1;
goto LAB10;
LAB11: t37 = ((char*)((ng1)));
goto LAB12;
LAB13: t44 = (t0 + 5740U);
t45 = *((char **)t44);
t44 = (t0 + 6148);
t46 = (t44 + 32U);
t47 = *((char **)t46);
t48 = ((char*)((ng2)));
memset(t49, 0, 8);
xsi_vlog_unsigned_add(t49, 32, t47, 32, t48, 32);
memset(t50, 0, 8);
t51 = (t50 + 4U);
t52 = (t45 + 4U);
t53 = (t49 + 4U);
if (*((unsigned int *)t52) != 0)
goto LAB21;
LAB20: if (*((unsigned int *)t53) != 0)
goto LAB21;
LAB24: if (*((unsigned int *)t45) < *((unsigned int *)t49))
goto LAB22;
LAB23: memset(t43, 0, 8);
t54 = (t43 + 4U);
t55 = (t50 + 4U);
t56 = *((unsigned int *)t55);
t57 = (~(t56));
t58 = *((unsigned int *)t50);
t59 = (t58 & t57);
t60 = (t59 & 1U);
if (t60 != 0)
goto LAB25;
LAB26: if (*((unsigned int *)t55) != 0)
goto LAB27;
LAB28: t61 = (t43 + 4U);
t62 = *((unsigned int *)t43);
t63 = *((unsigned int *)t61);
t64 = (t62 || t63);
if (t64 > 0)
goto LAB29;
LAB30: t78 = *((unsigned int *)t43);
t79 = (~(t78));
t80 = *((unsigned int *)t61);
t81 = (t79 || t80);
if (t81 > 0)
goto LAB31;
LAB32: if (*((unsigned int *)t61) > 0)
goto LAB33;
LAB34: if (*((unsigned int *)t43) > 0)
goto LAB35;
LAB36: memcpy(t42, t82, 8);
LAB37: goto LAB14;
LAB15: xsi_vlog_unsigned_bit_combine(t3, 1, t37, 1, t42, 1);
goto LAB19;
LAB17: memcpy(t3, t37, 8);
goto LAB19;
LAB21: *((unsigned int *)t50) = 1;
*((unsigned int *)t51) = 1;
goto LAB23;
LAB22: *((unsigned int *)t50) = 1;
goto LAB23;
LAB25: *((unsigned int *)t43) = 1;
goto LAB28;
LAB27: *((unsigned int *)t43) = 1;
*((unsigned int *)t54) = 1;
goto LAB28;
LAB29: t65 = (t0 + 6424);
t66 = (t65 + 32U);
t67 = *((char **)t66);
t69 = (t0 + 6424);
t70 = (t69 + 40U);
t71 = *((char **)t70);
t72 = (t0 + 6424);
t73 = (t72 + 36U);
t74 = *((char **)t73);
t75 = (t0 + 5740U);
t76 = *((char **)t75);
t75 = ((char*)((ng2)));
memset(t77, 0, 8);
xsi_vlog_unsigned_add(t77, 32, t76, 1, t75, 32);
xsi_vlog_generic_get_array_select_value(t68, 1, t67, t71, t74, 2, 1, t77, 32, 2);
goto LAB30;
LAB31: t82 = ((char*)((ng1)));
goto LAB32;
LAB33: xsi_vlog_unsigned_bit_combine(t42, 1, t68, 1, t82, 1);
goto LAB37;
LAB35: memcpy(t42, t68, 8);
goto LAB37;
}
static void C140_7(char *t0)
{
char t3[8];
char t4[8];
char t21[8];
char t45[8];
char t56[8];
char t59[8];
char *t1;
char *t2;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
int t17;
char *t18;
char *t19;
char *t20;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
unsigned int t28;
unsigned int t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
char *t33;
unsigned int t34;
unsigned int t35;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -