📄 p_3499444699.c
字号:
t24 = (0 - t21);
t25 = (t24 * -1);
t25 = (t25 + 1);
t23 = (t22 + 12U);
*((unsigned int *)t23) = t25;
t23 = (t7 + 4U);
t26 = (t1 + 2616);
t27 = (t23 + 88U);
*((char **)t27) = t26;
t28 = (char *)alloca(t18);
t29 = (t23 + 56U);
*((char **)t29) = t28;
memcpy(t28, t13, t18);
t30 = (t23 + 64U);
*((char **)t30) = t19;
t31 = (t23 + 80U);
*((unsigned int *)t31) = t18;
t32 = (t8 + 4U);
t33 = (t3 != 0);
if (t33 == 1)
goto LAB3;
LAB2: t34 = (t8 + 12U);
*((char **)t34) = t4;
t35 = (t8 + 20U);
t36 = (t5 != 0);
if (t36 == 1)
goto LAB5;
LAB4: t37 = (t8 + 28U);
*((char **)t37) = t6;
t38 = (t23 + 56U);
t39 = *((char **)t38);
t38 = (t19 + 12U);
t25 = *((unsigned int *)t38);
t25 = (t25 * 1U);
t0 = xsi_get_transient_memory(t25);
memcpy(t0, t39, t25);
t40 = (t19 + 0U);
t41 = *((int *)t40);
t42 = (t19 + 4U);
t43 = *((int *)t42);
t44 = (t19 + 8U);
t45 = *((int *)t44);
t46 = (t2 + 0U);
t47 = (t46 + 0U);
*((int *)t47) = t41;
t47 = (t46 + 4U);
*((int *)t47) = t43;
t47 = (t46 + 8U);
*((int *)t47) = t45;
t48 = (t43 - t41);
t49 = (t48 * t45);
t49 = (t49 + 1);
t47 = (t46 + 12U);
*((unsigned int *)t47) = t49;
LAB1: return t0;
LAB3: *((char **)t32) = t3;
goto LAB2;
LAB5: *((char **)t35) = t5;
goto LAB4;
LAB6:;
}
char *ieee_p_3499444699_sub_230791002_3536714472(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6)
{
char t7[128];
char t8[40];
char t27[16];
char *t0;
char *t9;
unsigned int t10;
char *t11;
unsigned int t12;
int t13;
int t14;
int t15;
unsigned int t16;
char *t17;
char *t18;
char *t19;
unsigned int t20;
char *t21;
unsigned int t22;
int t23;
int t24;
int t25;
unsigned int t26;
char *t28;
unsigned int t29;
char *t30;
unsigned int t31;
int t32;
int t33;
char *t34;
char *t35;
int t36;
unsigned int t37;
char *t38;
char *t39;
char *t40;
char *t41;
char *t42;
char *t43;
char *t44;
unsigned char t45;
char *t46;
char *t47;
unsigned char t48;
char *t49;
char *t50;
char *t51;
char *t52;
int t53;
char *t54;
int t55;
char *t56;
int t57;
char *t58;
char *t59;
int t60;
unsigned int t61;
LAB0: t9 = (t4 + 12U);
t10 = *((unsigned int *)t9);
t11 = (t6 + 12U);
t12 = *((unsigned int *)t11);
t13 = (t10 + t12);
t14 = (t13 - 1);
t15 = (0 - t14);
t16 = (t15 * -1);
t16 = (t16 + 1);
t16 = (t16 * 1U);
t17 = xsi_get_transient_memory(t16);
memset(t17, 0, t16);
t18 = t17;
memset(t18, (unsigned char)1, t16);
t19 = (t4 + 12U);
t20 = *((unsigned int *)t19);
t21 = (t6 + 12U);
t22 = *((unsigned int *)t21);
t23 = (t20 + t22);
t24 = (t23 - 1);
t25 = (0 - t24);
t26 = (t25 * -1);
t26 = (t26 + 1);
t26 = (t26 * 1U);
t28 = (t4 + 12U);
t29 = *((unsigned int *)t28);
t30 = (t6 + 12U);
t31 = *((unsigned int *)t30);
t32 = (t29 + t31);
t33 = (t32 - 1);
t34 = (t27 + 0U);
t35 = (t34 + 0U);
*((int *)t35) = t33;
t35 = (t34 + 4U);
*((int *)t35) = 0;
t35 = (t34 + 8U);
*((int *)t35) = -1;
t36 = (0 - t33);
t37 = (t36 * -1);
t37 = (t37 + 1);
t35 = (t34 + 12U);
*((unsigned int *)t35) = t37;
t35 = (t7 + 4U);
t38 = (t1 + 2728);
t39 = (t35 + 88U);
*((char **)t39) = t38;
t40 = (char *)alloca(t26);
t41 = (t35 + 56U);
*((char **)t41) = t40;
memcpy(t40, t17, t26);
t42 = (t35 + 64U);
*((char **)t42) = t27;
t43 = (t35 + 80U);
*((unsigned int *)t43) = t26;
t44 = (t8 + 4U);
t45 = (t3 != 0);
if (t45 == 1)
goto LAB3;
LAB2: t46 = (t8 + 12U);
*((char **)t46) = t4;
t47 = (t8 + 20U);
t48 = (t5 != 0);
if (t48 == 1)
goto LAB5;
LAB4: t49 = (t8 + 28U);
*((char **)t49) = t6;
t50 = (t35 + 56U);
t51 = *((char **)t50);
t50 = (t27 + 12U);
t37 = *((unsigned int *)t50);
t37 = (t37 * 1U);
t0 = xsi_get_transient_memory(t37);
memcpy(t0, t51, t37);
t52 = (t27 + 0U);
t53 = *((int *)t52);
t54 = (t27 + 4U);
t55 = *((int *)t54);
t56 = (t27 + 8U);
t57 = *((int *)t56);
t58 = (t2 + 0U);
t59 = (t58 + 0U);
*((int *)t59) = t53;
t59 = (t58 + 4U);
*((int *)t59) = t55;
t59 = (t58 + 8U);
*((int *)t59) = t57;
t60 = (t55 - t53);
t61 = (t60 * t57);
t61 = (t61 + 1);
t59 = (t58 + 12U);
*((unsigned int *)t59) = t61;
LAB1: return t0;
LAB3: *((char **)t44) = t3;
goto LAB2;
LAB5: *((char **)t47) = t5;
goto LAB4;
LAB6:;
}
char *ieee_p_3499444699_sub_2172687853_3536714472(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6)
{
char t7[128];
char t8[40];
char t27[16];
char *t0;
char *t9;
unsigned int t10;
char *t11;
unsigned int t12;
int t13;
int t14;
int t15;
unsigned int t16;
char *t17;
char *t18;
char *t19;
unsigned int t20;
char *t21;
unsigned int t22;
int t23;
int t24;
int t25;
unsigned int t26;
char *t28;
unsigned int t29;
char *t30;
unsigned int t31;
int t32;
int t33;
char *t34;
char *t35;
int t36;
unsigned int t37;
char *t38;
char *t39;
char *t40;
char *t41;
char *t42;
char *t43;
char *t44;
unsigned char t45;
char *t46;
char *t47;
unsigned char t48;
char *t49;
char *t50;
char *t51;
char *t52;
int t53;
char *t54;
int t55;
char *t56;
int t57;
char *t58;
char *t59;
int t60;
unsigned int t61;
LAB0: t9 = (t4 + 12U);
t10 = *((unsigned int *)t9);
t11 = (t6 + 12U);
t12 = *((unsigned int *)t11);
t13 = (t10 + t12);
t14 = (t13 - 1);
t15 = (0 - t14);
t16 = (t15 * -1);
t16 = (t16 + 1);
t16 = (t16 * 1U);
t17 = xsi_get_transient_memory(t16);
memset(t17, 0, t16);
t18 = t17;
memset(t18, (unsigned char)1, t16);
t19 = (t4 + 12U);
t20 = *((unsigned int *)t19);
t21 = (t6 + 12U);
t22 = *((unsigned int *)t21);
t23 = (t20 + t22);
t24 = (t23 - 1);
t25 = (0 - t24);
t26 = (t25 * -1);
t26 = (t26 + 1);
t26 = (t26 * 1U);
t28 = (t4 + 12U);
t29 = *((unsigned int *)t28);
t30 = (t6 + 12U);
t31 = *((unsigned int *)t30);
t32 = (t29 + t31);
t33 = (t32 - 1);
t34 = (t27 + 0U);
t35 = (t34 + 0U);
*((int *)t35) = t33;
t35 = (t34 + 4U);
*((int *)t35) = 0;
t35 = (t34 + 8U);
*((int *)t35) = -1;
t36 = (0 - t33);
t37 = (t36 * -1);
t37 = (t37 + 1);
t35 = (t34 + 12U);
*((unsigned int *)t35) = t37;
t35 = (t7 + 4U);
t38 = (t1 + 2616);
t39 = (t35 + 88U);
*((char **)t39) = t38;
t40 = (char *)alloca(t26);
t41 = (t35 + 56U);
*((char **)t41) = t40;
memcpy(t40, t17, t26);
t42 = (t35 + 64U);
*((char **)t42) = t27;
t43 = (t35 + 80U);
*((unsigned int *)t43) = t26;
t44 = (t8 + 4U);
t45 = (t3 != 0);
if (t45 == 1)
goto LAB3;
LAB2: t46 = (t8 + 12U);
*((char **)t46) = t4;
t47 = (t8 + 20U);
t48 = (t5 != 0);
if (t48 == 1)
goto LAB5;
LAB4: t49 = (t8 + 28U);
*((char **)t49) = t6;
t50 = (t35 + 56U);
t51 = *((char **)t50);
t50 = (t27 + 12U);
t37 = *((unsigned int *)t50);
t37 = (t37 * 1U);
t0 = xsi_get_transient_memory(t37);
memcpy(t0, t51, t37);
t52 = (t27 + 0U);
t53 = *((int *)t52);
t54 = (t27 + 4U);
t55 = *((int *)t54);
t56 = (t27 + 8U);
t57 = *((int *)t56);
t58 = (t2 + 0U);
t59 = (t58 + 0U);
*((int *)t59) = t53;
t59 = (t58 + 4U);
*((int *)t59) = t55;
t59 = (t58 + 8U);
*((int *)t59) = t57;
t60 = (t55 - t53);
t61 = (t60 * t57);
t61 = (t61 + 1);
t59 = (t58 + 12U);
*((unsigned int *)t59) = t61;
LAB1: return t0;
LAB3: *((char **)t44) = t3;
goto LAB2;
LAB5: *((char **)t47) = t5;
goto LAB4;
LAB6:;
}
char *ieee_p_3499444699_sub_2888649822_3536714472(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6)
{
char t7[608];
char t8[40];
char t17[16];
char t41[16];
char t61[16];
char t77[8];
char t82[16];
char t88[8];
char t132[16];
char t133[16];
char t134[16];
char *t0;
char *t9;
unsigned int t10;
char *t11;
unsigned int t12;
int t13;
int t14;
int t15;
unsigned int t16;
char *t18;
unsigned int t19;
char *t20;
unsigned int t21;
int t22;
int t23;
char *t24;
char *t25;
int t26;
unsigned int t27;
char *t28;
char *t29;
char *t30;
char *t31;
char *t32;
char *t33;
char *t34;
char *t35;
unsigned int t36;
int t37;
int t38;
int t39;
unsigned int t40;
char *t42;
unsigned int t43;
char *t44;
unsigned int t45;
int t46;
int t47;
char *t48;
char *t49;
int t50;
unsigned int t51;
char *t52;
char *t53;
char *t54;
char *t55;
char *t56;
char *t57;
char *t58;
int t59;
unsigned int t60;
char *t62;
unsigned int t63;
char *t64;
char *t65;
int t66;
unsigned int t67;
char *t68;
char *t69;
char *t70;
char *t71;
char *t72;
char *t73;
char *t74;
char *t75;
char *t76;
char *t78;
char *t79;
char *t80;
char *t83;
char *t84;
int t85;
char *t86;
char *t87;
char *t89;
char *t90;
char *t91;
char *t92;
unsigned char t93;
char *t94;
char *t95;
unsigned char t96;
char *t97;
unsigned char t98;
char *t99;
int t100;
char *t101;
int t102;
char *t103;
int t104;
int t105;
unsigned int t106;
unsigned int t107;
char *t108;
unsigned char t109;
unsigned char t110;
char *t111;
int t112;
char *t113;
int t114;
char *t115;
int t116;
int t117;
unsigned int t118;
unsigned int t119;
unsigned int t120;
char *t121;
unsigned char t122;
unsigned char t123;
char *t124;
unsigned int t125;
char *t126;
char *t127;
char *t128;
char *t129;
char *t130;
unsigned int t131;
LAB0: t9 = (t4 + 12U);
t10 = *((unsigned int *)t9);
t11 = (t6 + 12U);
t12 = *((unsigned int *)t11);
t13 = (t10 + t12);
t14 = (t13 - 1);
t15 = (0 - t14);
t16 = (t15 * -1);
t16 = (t16 + 1);
t16 = (t16 * 1U);
t18 = (t4 + 12U);
t19 = *((unsigned int *)t18);
t20 = (t6 + 12U);
t21 = *((unsigned int *)t20);
t22 = (t19 + t21);
t23 = (t22 - 1);
t24 = (t17 + 0U);
t25 = (t24 + 0U);
*((int *)t25) = t23;
t25 = (t24 + 4U);
*((int *)t25) = 0;
t25 = (t24 + 8U);
*((int *)t25) = -1;
t26 = (0 - t23);
t27 = (t26 * -1);
t27 = (t27 + 1);
t25 = (t24 + 12U);
*((unsigned int *)t25) = t27;
t25 = (t7 + 4U);
t28 = (t1 + 2728);
t29 = (t25 + 88U);
*((char **)t29) = t28;
t30 = (char *)alloca(t16);
t31 = (t25 + 56U);
*((char **)t31) = t30;
xsi_type_set_default_value(t28, t30, t17);
t32 = (t25 + 64U);
*((char **)t32) = t17;
t33 = (t25 + 80U);
*((unsigned int *)t33) = t16;
t34 = (t4 + 12U);
t27 = *((unsigned int *)t34);
t35 = (t6 + 12U);
t36 = *((unsigned int *)t35);
t37 = (t27 + t36);
t38 = (t37 - 1);
t39 = (0 - t38);
t40 = (t39 * -1);
t40 = (t40 + 1);
t40 = (t40 * 1U);
t42 = (t4 + 12U);
t43 = *((unsigned int *)t42);
t44 = (t6 + 12U);
t45 = *((unsigned int *)t44);
t46 = (t43 + t45);
t47 = (t46 - 1);
t48 = (t41 + 0U);
t49 = (t48 + 0U);
*((int *)⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -