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