📄 m_00000000003770891367_2262576509.c
字号:
t8 = *((unsigned int *)t3);
t9 = (t8 >> 11);
t10 = (t9 & 1);
*((unsigned int *)t4) = t10;
t11 = *((unsigned int *)t5);
t12 = (t11 >> 11);
t13 = (t12 & 1);
*((unsigned int *)t2) = t13;
t6 = (t0 + 4032);
t7 = (t0 + 4032);
t20 = (t7 + 40U);
t26 = *((char **)t20);
t27 = ((char*)((ng7)));
xsi_vlog_generic_convert_bit_index(t28, t26, 2, t27, 32, 1);
t31 = (t28 + 4U);
t14 = *((unsigned int *)t31);
t38 = (!(t14));
if (t38 == 1)
goto LAB16;
LAB17: goto LAB12;
LAB14: t47 = *((unsigned int *)t30);
t48 = (t47 + 0);
t49 = *((unsigned int *)t28);
t50 = *((unsigned int *)t29);
t51 = (t49 - t50);
t52 = (t51 + 1);
xsi_vlogvar_assign_value(t26, t27, t48, *((unsigned int *)t29), t52);
goto LAB15;
LAB16: xsi_vlogvar_assign_value(t6, t4, 0, *((unsigned int *)t28), 1);
goto LAB17;
LAB21: *((unsigned int *)t28) = 1;
goto LAB24;
LAB23: *((unsigned int *)t28) = 1;
*((unsigned int *)t7) = 1;
goto LAB24;
LAB25: t27 = (t0 + 2488U);
t31 = *((char **)t27);
t27 = (t0 + 6444);
t32 = (t0 + 2140);
t33 = xsi_create_subprogram_invocation(t27, 0, t0, t32, 0, 0);
t34 = (t0 + 5412);
xsi_vlogvar_assign_value(t34, t31, 0, 0, 12);
LAB28: t35 = (t0 + 6492);
t36 = *((char **)t35);
t39 = (t36 + 40U);
t43 = *((char **)t39);
t53 = (t43 + 132U);
t54 = *((char **)t53);
t55 = (t54 + 0U);
t56 = *((char **)t55);
t38 = ((int (*)(char *, char *))t56)(t0, t36);
if (t38 != 0)
goto LAB30;
LAB29: t36 = (t0 + 6492);
t57 = *((char **)t36);
t36 = (t0 + 5320);
t58 = (t36 + 32U);
t59 = *((char **)t58);
memcpy(t29, t59, 8);
t60 = (t0 + 2140);
t61 = (t0 + 6492);
t62 = *((char **)t61);
t61 = (t0 + 6444);
t63 = 0;
xsi_delete_subprogram_invocation(t60, t62, t0, t61, t63);
t64 = ((char*)((ng3)));
memset(t30, 0, 8);
t65 = (t30 + 4U);
t66 = (t29 + 4U);
t67 = (t64 + 4U);
t17 = *((unsigned int *)t29);
t18 = *((unsigned int *)t64);
t19 = (t17 ^ t18);
t21 = *((unsigned int *)t66);
t22 = *((unsigned int *)t67);
t23 = (t21 ^ t22);
t24 = (t19 | t23);
t25 = *((unsigned int *)t66);
t37 = *((unsigned int *)t67);
t40 = (t25 | t37);
t44 = (~(t40));
t47 = (t24 & t44);
if (t47 != 0)
goto LAB34;
LAB31: if (t40 != 0)
goto LAB33;
LAB32: *((unsigned int *)t30) = 1;
LAB34: memset(t68, 0, 8);
t69 = (t68 + 4U);
t70 = (t30 + 4U);
t49 = *((unsigned int *)t70);
t50 = (~(t49));
t71 = *((unsigned int *)t30);
t72 = (t71 & t50);
t73 = (t72 & 1U);
if (t73 != 0)
goto LAB35;
LAB36: if (*((unsigned int *)t70) != 0)
goto LAB37;
LAB38: t75 = *((unsigned int *)t28);
t76 = *((unsigned int *)t68);
t77 = (t75 | t76);
*((unsigned int *)t74) = t77;
t78 = (t28 + 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 + 6528U);
*((char **)t35) = &&LAB28;
goto LAB1;
LAB33: *((unsigned int *)t30) = 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 = (t28 + 4U);
t89 = (t68 + 4U);
t90 = *((unsigned int *)t88);
t91 = (~(t90));
t92 = *((unsigned int *)t28);
t41 = (t92 & t91);
t93 = *((unsigned int *)t89);
t94 = (~(t93));
t95 = *((unsigned int *)t68);
t42 = (t95 & t94);
t96 = (~(t41));
t97 = (~(t42));
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_assign_value(t107, t106, 0, 0, 13);
goto LAB44;
LAB47: t10 = *((unsigned int *)t4);
t11 = *((unsigned int *)t5);
*((unsigned int *)t4) = (t10 | t11);
t12 = *((unsigned int *)t2);
t13 = *((unsigned int *)t5);
*((unsigned int *)t2) = (t12 | t13);
goto LAB46;
LAB48: t19 = *((unsigned int *)t30);
t48 = (t19 + 0);
t21 = *((unsigned int *)t28);
t22 = *((unsigned int *)t29);
t51 = (t21 - t22);
t52 = (t51 + 1);
xsi_vlogvar_assign_value(t6, t4, t48, *((unsigned int *)t29), t52);
goto LAB49;
LAB51: t16 = *((unsigned int *)t4);
t17 = *((unsigned int *)t7);
*((unsigned int *)t4) = (t16 | t17);
t18 = *((unsigned int *)t6);
t19 = *((unsigned int *)t7);
*((unsigned int *)t6) = (t18 | t19);
goto LAB50;
LAB52: xsi_vlogvar_assign_value(t20, t4, 0, *((unsigned int *)t29), 1);
goto LAB53;
LAB54: t6 = (t0 + 4032);
t7 = (t6 + 32U);
t20 = *((char **)t7);
t26 = (t0 + 4400);
xsi_vlogvar_assign_value(t26, t20, 0, 0, 13);
goto LAB56;
}
static void A151_6(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
LAB0: t1 = (t0 + 6656U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 7260);
*((int *)t2) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: t3 = (t0 + 2664U);
t4 = *((char **)t3);
t3 = (t0 + 4216);
xsi_vlogvar_generic_wait_assign_value(t3, t4, 2, 0, 0, 1, 0LL);
goto LAB2;
}
static void A154_7(char *t0)
{
char t5[8];
char t29[8];
char t30[8];
char t31[8];
char t68[8];
char t74[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
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;
unsigned int t22;
unsigned int t23;
unsigned int t24;
unsigned int t25;
unsigned int t26;
char *t27;
char *t28;
char *t32;
char *t33;
char *t34;
char *t35;
char *t36;
char *t37;
unsigned int t38;
int t39;
char *t40;
unsigned int t41;
int t42;
int t43;
char *t44;
unsigned int t45;
int t46;
int t47;
unsigned int t48;
int t49;
unsigned int t50;
unsigned int t51;
int t52;
int t53;
char *t54;
char *t55;
char *t56;
char *t57;
char *t58;
char *t59;
char *t60;
char *t61;
char *t62;
char *t63;
char *t64;
char *t65;
char *t66;
char *t67;
char *t69;
char *t70;
unsigned int t71;
unsigned int t72;
unsigned int t73;
unsigned int t75;
unsigned int t76;
unsigned int t77;
char *t78;
char *t79;
char *t80;
unsigned int t81;
unsigned int t82;
unsigned int t83;
unsigned int t84;
unsigned int t85;
unsigned int t86;
unsigned int t87;
char *t88;
char *t89;
unsigned int t90;
unsigned int t91;
unsigned int t92;
unsigned int t93;
unsigned int t94;
unsigned int t95;
unsigned int t96;
unsigned int t97;
unsigned int t98;
unsigned int t99;
char *t100;
unsigned int t101;
unsigned int t102;
unsigned int t103;
unsigned int t104;
unsigned int t105;
char *t106;
char *t107;
LAB0: t1 = (t0 + 6784U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 7268);
*((int *)t2) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4:
LAB5: t3 = (t0 + 3544U);
t4 = *((char **)t3);
t3 = ((char*)((ng0)));
memset(t5, 0, 8);
t6 = (t5 + 4U);
t7 = (t4 + 4U);
t8 = (t3 + 4U);
t9 = *((unsigned int *)t4);
t10 = *((unsigned int *)t3);
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 LAB9;
LAB6: if (t18 != 0)
goto LAB8;
LAB7: *((unsigned int *)t5) = 1;
LAB9: t21 = (t5 + 4U);
t22 = *((unsigned int *)t21);
t23 = (~(t22));
t24 = *((unsigned int *)t5);
t25 = (t24 & t23);
t26 = (t25 != 0);
if (t26 > 0)
goto LAB10;
LAB11: t2 = (t0 + 3544U);
t3 = *((char **)t2);
t2 = ((char*)((ng3)));
memset(t5, 0, 8);
t4 = (t3 + 4U);
t6 = (t2 + 4U);
if (*((unsigned int *)t3) != *((unsigned int *)t2))
goto LAB20;
LAB18: if (*((unsigned int *)t4) != *((unsigned int *)t6))
goto LAB20;
LAB19: *((unsigned int *)t5) = 1;
LAB20: memset(t29, 0, 8);
t7 = (t29 + 4U);
t8 = (t5 + 4U);
t9 = *((unsigned int *)t8);
t10 = (~(t9));
t11 = *((unsigned int *)t5);
t12 = (t11 & t10);
t13 = (t12 & 1U);
if (t13 != 0)
goto LAB21;
LAB22: if (*((unsigned int *)t8) != 0)
goto LAB23;
LAB24: t21 = (t29 + 4U);
t14 = *((unsigned int *)t29);
t15 = (!(t14));
t16 = *((unsigned int *)t21);
t17 = (t15 || t16);
if (t17 > 0)
goto LAB25;
LAB26: memcpy(t74, t29, 8);
LAB27: t100 = (t74 + 4U);
t101 = *((unsigned int *)t100);
t102 = (~(t101));
t103 = *((unsigned int *)t74);
t104 = (t103 & t102);
t105 = (t104 != 0);
if (t105 > 0)
goto LAB42;
LAB43:
LAB45: t2 = (t0 + 2488U);
t3 = *((char **)t2);
memset(t5, 0, 8);
t2 = (t5 + 4U);
t4 = (t3 + 4U);
t9 = *((unsigned int *)t3);
t10 = (~(t9));
*((unsigned int *)t5) = t10;
*((unsigned int *)t2) = 0;
if (*((unsigned int *)t4) != 0)
goto LAB47;
LAB46: t15 = *((unsigned int *)t5);
*((unsigned int *)t5) = (t15 & 4095U);
t16 = *((unsigned int *)t2);
*((unsigned int *)t2) = (t16 & 4095U);
t6 = (t0 + 4124);
t7 = (t0 + 4124);
t8 = (t7 + 40U);
t21 = *((char **)t8);
t27 = ((char*)((ng6)));
t28 = ((char*)((ng2)));
xsi_vlog_convert_partindices(t29, t30, t31, ((int*)(t21)), 2, t27, 32, 1, t28, 32, 1);
t32 = (t29 + 4U);
t17 = *((unsigned int *)t32);
t39 = (!(t17));
t33 = (t30 + 4U);
t18 = *((unsigned int *)t33);
t42 = (!(t18));
t43 = (t39 && t42);
t34 = (t31 + 4U);
t19 = *((unsigned int *)t34);
t46 = (!(t19));
t47 = (t43 && t46);
if (t47 == 1)
goto LAB48;
LAB49: t2 = (t0 + 2488U);
t3 = *((char **)t2);
memset(t29, 0, 8);
t2 = (t29 + 4U);
t4 = (t3 + 4U);
t9 = *((unsigned int *)t3);
t10 = (t9 >> 11);
t11 = (t10 & 1);
*((unsigned int *)t29) = t11;
t12 = *((unsigned int *)t4);
t13 = (t12 >> 11);
t14 = (t13 & 1);
*((unsigned int *)t2) = t14;
memset(t5, 0, 8);
t6 = (t5 + 4U);
t7 = (t29 + 4U);
t15 = *((unsigned int *)t29);
t16 = (~(t15));
*((unsigned int *)t5) = t16;
*((unsigned int *)t6) = 0;
if (*((unsigned int *)t7) != 0)
goto LAB51;
LAB50: t22 = *((unsigned int *)t5);
*((unsigned int *)t5) = (t22 & 1U);
t23 = *((unsigned int *)t6);
*((unsigned int *)t6) = (t23 & 1U);
t8 = (t0 + 4124);
t21 = (t0 + 4124);
t27 = (t21 + 40U);
t28 = *((char **)t27);
t32 = ((char*)((ng7)));
xsi_vlog_generic_convert_bit_index(t30, t28, 2, t32, 32, 1);
t33 = (t30 + 4U);
t24 = *((unsigned int *)t33);
t39 = (!(t24));
if (t39 == 1)
goto LAB52;
LAB53: t2 = (t0 + 4124);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t6 = ((char*)((ng0)));
memset(t5, 0, 8);
xsi_vlog_unsigned_add(t5, 32, t4, 13, t6, 32);
t7 = (t0 + 4032);
xsi_vlogvar_generic_wait_assign_value(t7, t5, 2, 0, 0, 13, 1000000LL);
LAB44:
LAB12: goto LAB2;
LAB8: *((unsigned int *)t5) = 1;
*((unsigned int *)t6) = 1;
goto LAB9;
LAB10:
LAB13: t27 = (t0 + 2488U);
t28 = *((char **)t27);
t27 = (t0 + 4032);
t32 = (t0 + 4032);
t33 = (t32 + 40U);
t34 = *((char **)t33);
t35 = ((char*)((ng6)));
t36 = ((char*)((ng2)));
xsi_vlog_convert_partindices(t29, t30, t31, ((int*)(t34)), 2, t35, 32, 1, t36, 32, 1);
t37 = (t29 + 4U);
t38 = *((unsigned int *)t37);
t39 = (!(t38));
t40 = (t30 + 4U);
t41 = *((unsigned int *)t40);
t42 = (!(t41));
t43 = (t39 && t42);
t44 = (t31 + 4U);
t45 = *((unsigned int *)t44);
t46 = (!(t45));
t47 = (t43 && t46);
if (t47 == 1)
goto LAB14;
LAB15: t2 = (t0 + 2488U);
t3 = *((char **)t2);
memset(t5, 0, 8);
t2 = (t5 + 4U);
t4 = (t3 + 4U);
t9 = *((unsigned int *)t3);
t10 = (t9 >> 11);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -