📄 p_2592010699.c
字号:
LAB0: t10 = (t4 + 12U);
t11 = *((unsigned int *)t10);
t12 = (t9 + 0U);
t13 = (t12 + 0U);
*((int *)t13) = 1;
t13 = (t12 + 4U);
*((unsigned int *)t13) = t11;
t13 = (t12 + 8U);
*((int *)t13) = 1;
t14 = (t11 - 1);
t15 = (t14 * 1);
t15 = (t15 + 1);
t13 = (t12 + 12U);
*((unsigned int *)t13) = t15;
t13 = (t6 + 12U);
t15 = *((unsigned int *)t13);
t17 = (t16 + 0U);
t18 = (t17 + 0U);
*((int *)t18) = 1;
t18 = (t17 + 4U);
*((unsigned int *)t18) = t15;
t18 = (t17 + 8U);
*((int *)t18) = 1;
t19 = (t15 - 1);
t20 = (t19 * 1);
t20 = (t20 + 1);
t18 = (t17 + 12U);
*((unsigned int *)t18) = t20;
t18 = (t4 + 12U);
t20 = *((unsigned int *)t18);
t21 = (t20 - 1);
t22 = (t21 * 1);
t22 = (t22 + 1);
t22 = (t22 * 1U);
t24 = (t4 + 12U);
t25 = *((unsigned int *)t24);
t26 = (t23 + 0U);
t27 = (t26 + 0U);
*((int *)t27) = 1;
t27 = (t26 + 4U);
*((unsigned int *)t27) = t25;
t27 = (t26 + 8U);
*((int *)t27) = 1;
t28 = (t25 - 1);
t29 = (t28 * 1);
t29 = (t29 + 1);
t27 = (t26 + 12U);
*((unsigned int *)t27) = t29;
t27 = (t7 + 4U);
t30 = (t1 + 4024);
t31 = (t27 + 88U);
*((char **)t31) = t30;
t32 = (char *)alloca(t22);
t33 = (t27 + 56U);
*((char **)t33) = t32;
xsi_type_set_default_value(t30, t32, t23);
t34 = (t27 + 64U);
*((char **)t34) = t23;
t35 = (t27 + 80U);
*((unsigned int *)t35) = t22;
t36 = (t8 + 4U);
t37 = (t3 != 0);
if (t37 == 1)
goto LAB3;
LAB2: t38 = (t8 + 12U);
*((char **)t38) = t4;
t39 = (t8 + 20U);
t40 = (t5 != 0);
if (t40 == 1)
goto LAB5;
LAB4: t41 = (t8 + 28U);
*((char **)t41) = t6;
t42 = (t4 + 12U);
t29 = *((unsigned int *)t42);
t43 = (t6 + 12U);
t44 = *((unsigned int *)t43);
t45 = (t29 != t44);
if (t45 != 0)
goto LAB6;
LAB8: t10 = (t23 + 8U);
t14 = *((int *)t10);
t12 = (t23 + 4U);
t19 = *((int *)t12);
t13 = (t23 + 0U);
t21 = *((int *)t13);
t28 = t21;
t48 = t19;
LAB11: t49 = (t48 * t14);
t50 = (t28 * t14);
if (t50 <= t49)
goto LAB12;
LAB14:
LAB7: t10 = (t27 + 56U);
t12 = *((char **)t10);
t10 = (t23 + 12U);
t11 = *((unsigned int *)t10);
t11 = (t11 * 1U);
t0 = xsi_get_transient_memory(t11);
memcpy(t0, t12, t11);
t13 = (t23 + 0U);
t14 = *((int *)t13);
t17 = (t23 + 4U);
t19 = *((int *)t17);
t18 = (t23 + 8U);
t21 = *((int *)t18);
t24 = (t2 + 0U);
t26 = (t24 + 0U);
*((int *)t26) = t14;
t26 = (t24 + 4U);
*((int *)t26) = t19;
t26 = (t24 + 8U);
*((int *)t26) = t21;
t28 = (t19 - t14);
t15 = (t28 * t21);
t15 = (t15 + 1);
t26 = (t24 + 12U);
*((unsigned int *)t26) = t15;
LAB1: return t0;
LAB3: *((char **)t36) = t3;
goto LAB2;
LAB5: *((char **)t39) = t5;
goto LAB4;
LAB6: if ((unsigned char)0 == 0)
goto LAB9;
LAB10: goto LAB7;
LAB9: t46 = (t1 + 7724);
xsi_report(t46, 65U, (unsigned char)3);
goto LAB10;
LAB12: t17 = (t1 + 1288U);
t18 = *((char **)t17);
t17 = (t3 + 0);
t24 = (t9 + 0U);
t51 = *((int *)t24);
t26 = (t9 + 8U);
t52 = *((int *)t26);
t53 = (t28 - t51);
t11 = (t53 * t52);
t30 = (t9 + 4U);
t54 = *((int *)t30);
xsi_vhdl_check_range_of_index(t51, t54, t52, t28);
t15 = (1U * t11);
t20 = (0 + t15);
t31 = (t17 + t20);
t37 = *((unsigned char *)t31);
t55 = (t37 - 0);
t22 = (t55 * 1);
xsi_vhdl_check_range_of_index(0, 8, 1, t37);
t25 = (t22 * 9U);
t33 = (t5 + 0);
t34 = (t16 + 0U);
t56 = *((int *)t34);
t35 = (t16 + 8U);
t57 = *((int *)t35);
t58 = (t28 - t56);
t29 = (t58 * t57);
t42 = (t16 + 4U);
t59 = *((int *)t42);
xsi_vhdl_check_range_of_index(t56, t59, t57, t28);
t44 = (1U * t29);
t60 = (0 + t44);
t43 = (t33 + t60);
t40 = *((unsigned char *)t43);
t61 = (t40 - 0);
t62 = (t61 * 1);
xsi_vhdl_check_range_of_index(0, 8, 1, t40);
t63 = (t25 + t62);
t64 = (1U * t63);
t65 = (0 + t64);
t46 = (t18 + t65);
t45 = *((unsigned char *)t46);
t47 = (t27 + 56U);
t66 = *((char **)t47);
t47 = (t23 + 0U);
t67 = *((int *)t47);
t68 = (t23 + 8U);
t69 = *((int *)t68);
t70 = (t28 - t67);
t71 = (t70 * t69);
t72 = (1U * t71);
t73 = (0 + t72);
t74 = (t66 + t73);
*((unsigned char *)t74) = t45;
LAB13: if (t28 == t48)
goto LAB14;
LAB15: t19 = (t28 + t14);
t28 = t19;
goto LAB11;
LAB16:;
}
char *ieee_p_2592010699_sub_3719728556_503743352(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6)
{
char t7[128];
char t8[40];
char t9[16];
char t16[16];
char t23[16];
char *t0;
char *t10;
unsigned int t11;
char *t12;
char *t13;
int t14;
unsigned int t15;
char *t17;
char *t18;
int t19;
unsigned int t20;
int t21;
unsigned int t22;
char *t24;
unsigned int t25;
char *t26;
char *t27;
int t28;
unsigned int t29;
char *t30;
char *t31;
char *t32;
char *t33;
char *t34;
char *t35;
char *t36;
unsigned char t37;
char *t38;
char *t39;
unsigned char t40;
char *t41;
char *t42;
char *t43;
unsigned int t44;
unsigned char t45;
char *t46;
char *t47;
int t48;
int t49;
int t50;
int t51;
int t52;
int t53;
int t54;
int t55;
int t56;
int t57;
int t58;
int t59;
unsigned int t60;
int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
unsigned int t65;
char *t66;
int t67;
char *t68;
int t69;
int t70;
unsigned int t71;
unsigned int t72;
unsigned int t73;
char *t74;
LAB0: t10 = (t4 + 12U);
t11 = *((unsigned int *)t10);
t12 = (t9 + 0U);
t13 = (t12 + 0U);
*((int *)t13) = 1;
t13 = (t12 + 4U);
*((unsigned int *)t13) = t11;
t13 = (t12 + 8U);
*((int *)t13) = 1;
t14 = (t11 - 1);
t15 = (t14 * 1);
t15 = (t15 + 1);
t13 = (t12 + 12U);
*((unsigned int *)t13) = t15;
t13 = (t6 + 12U);
t15 = *((unsigned int *)t13);
t17 = (t16 + 0U);
t18 = (t17 + 0U);
*((int *)t18) = 1;
t18 = (t17 + 4U);
*((unsigned int *)t18) = t15;
t18 = (t17 + 8U);
*((int *)t18) = 1;
t19 = (t15 - 1);
t20 = (t19 * 1);
t20 = (t20 + 1);
t18 = (t17 + 12U);
*((unsigned int *)t18) = t20;
t18 = (t4 + 12U);
t20 = *((unsigned int *)t18);
t21 = (t20 - 1);
t22 = (t21 * 1);
t22 = (t22 + 1);
t22 = (t22 * 1U);
t24 = (t4 + 12U);
t25 = *((unsigned int *)t24);
t26 = (t23 + 0U);
t27 = (t26 + 0U);
*((int *)t27) = 1;
t27 = (t26 + 4U);
*((unsigned int *)t27) = t25;
t27 = (t26 + 8U);
*((int *)t27) = 1;
t28 = (t25 - 1);
t29 = (t28 * 1);
t29 = (t29 + 1);
t27 = (t26 + 12U);
*((unsigned int *)t27) = t29;
t27 = (t7 + 4U);
t30 = (t1 + 3912);
t31 = (t27 + 88U);
*((char **)t31) = t30;
t32 = (char *)alloca(t22);
t33 = (t27 + 56U);
*((char **)t33) = t32;
xsi_type_set_default_value(t30, t32, t23);
t34 = (t27 + 64U);
*((char **)t34) = t23;
t35 = (t27 + 80U);
*((unsigned int *)t35) = t22;
t36 = (t8 + 4U);
t37 = (t3 != 0);
if (t37 == 1)
goto LAB3;
LAB2: t38 = (t8 + 12U);
*((char **)t38) = t4;
t39 = (t8 + 20U);
t40 = (t5 != 0);
if (t40 == 1)
goto LAB5;
LAB4: t41 = (t8 + 28U);
*((char **)t41) = t6;
t42 = (t4 + 12U);
t29 = *((unsigned int *)t42);
t43 = (t6 + 12U);
t44 = *((unsigned int *)t43);
t45 = (t29 != t44);
if (t45 != 0)
goto LAB6;
LAB8: t10 = (t23 + 8U);
t14 = *((int *)t10);
t12 = (t23 + 4U);
t19 = *((int *)t12);
t13 = (t23 + 0U);
t21 = *((int *)t13);
t28 = t21;
t48 = t19;
LAB11: t49 = (t48 * t14);
t50 = (t28 * t14);
if (t50 <= t49)
goto LAB12;
LAB14:
LAB7: t10 = (t27 + 56U);
t12 = *((char **)t10);
t10 = (t23 + 12U);
t11 = *((unsigned int *)t10);
t11 = (t11 * 1U);
t0 = xsi_get_transient_memory(t11);
memcpy(t0, t12, t11);
t13 = (t23 + 0U);
t14 = *((int *)t13);
t17 = (t23 + 4U);
t19 = *((int *)t17);
t18 = (t23 + 8U);
t21 = *((int *)t18);
t24 = (t2 + 0U);
t26 = (t24 + 0U);
*((int *)t26) = t14;
t26 = (t24 + 4U);
*((int *)t26) = t19;
t26 = (t24 + 8U);
*((int *)t26) = t21;
t28 = (t19 - t14);
t15 = (t28 * t21);
t15 = (t15 + 1);
t26 = (t24 + 12U);
*((unsigned int *)t26) = t15;
LAB1: return t0;
LAB3: *((char **)t36) = t3;
goto LAB2;
LAB5: *((char **)t39) = t5;
goto LAB4;
LAB6: if ((unsigned char)0 == 0)
goto LAB9;
LAB10: goto LAB7;
LAB9: t46 = (t1 + 7789);
xsi_report(t46, 65U, (unsigned char)3);
goto LAB10;
LAB12: t17 = (t1 + 1288U);
t18 = *((char **)t17);
t17 = (t3 + 0);
t24 = (t9 + 0U);
t51 = *((int *)t24);
t26 = (t9 + 8U);
t52 = *((int *)t26);
t53 = (t28 - t51);
t11 = (t53 * t52);
t30 = (t9 + 4U);
t54 = *((int *)t30);
xsi_vhdl_check_range_of_index(t51, t54, t52, t28);
t15 = (1U * t11);
t20 = (0 + t15);
t31 = (t17 + t20);
t37 = *((unsigned char *)t31);
t55 = (t37 - 0);
t22 = (t55 * 1);
t25 = (t22 * 9U);
t33 = (t5 + 0);
t34 = (t16 + 0U);
t56 = *((int *)t34);
t35 = (t16 + 8U);
t57 = *((int *)t35);
t58 = (t28 - t56);
t29 = (t58 * t57);
t42 = (t16 + 4U);
t59 = *((int *)t42);
xsi_vhdl_check_range_of_index(t56, t59, t57, t28);
t44 = (1U * t29);
t60 = (0 + t44);
t43 = (t33 + t60);
t40 = *((unsigned char *)t43);
t61 = (t40 - 0);
t62 = (t61 * 1);
t63 = (t25 + t62);
t64 = (1U * t63);
t65 = (0 + t64);
t46 = (t18 + t65);
t45 = *((unsigned char *)t46);
t47 = (t27 + 56U);
t66 = *((char **)t47);
t47 = (t23 + 0U);
t67 = *((int *)t47);
t68 = (t23 + 8U);
t69 = *((int *)t68);
t70 = (t28 - t67);
t71 = (t70 * t69);
t72 = (1U * t71);
t73 = (0 + t72);
t74 = (t66 + t73);
*((unsigned char *)t74) = t45;
LAB13: if (t28 == t48)
goto LAB14;
LAB15: t19 = (t28 + t14);
t28 = t19;
goto LAB11;
LAB16:;
}
char *ieee_p_2592010699_sub_3798478767_503743352(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6)
{
char t7[128];
char t8[40];
char t9[16];
char t16[16];
char t23[16];
char *t0;
char *t10;
unsigned int t11;
char *t12;
char *t13;
int t14;
unsigned int t15;
char *t17;
char *t18;
int t19;
unsigned int t20;
int t21;
unsigned int t22;
char *t24;
unsigned int t25;
char *t26;
char *t27;
int t28;
unsigned int t29;
char *t30;
char *t31;
char *t32;
char *t33;
char *t34;
char *t35;
char *t36;
unsigned char t37;
char *t38;
char *t39;
unsigned char t40;
char *t41;
char *t42;
char *t43;
unsigned int t44;
unsigned char t45;
char *t46;
char *t47;
int t48;
int t49;
int t50;
int t51;
int t52;
int t53;
int t54;
int t55;
int t56;
int t57;
int t58;
int t59;
unsigned int t60;
int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
unsigned int t65;
int t66;
unsigned int t67;
unsigned int t68;
unsigned int t69;
char *t70;
unsigned char t71;
char *t72;
char *t73;
int t74;
char *t75;
int t76;
int t77;
unsigned int t78;
unsigned int t79;
unsigned int t80;
char *t81;
LAB0: t10 = (t4 + 12U);
t11 = *((unsigned int *)t10);
t12 = (t9 + 0U);
t13 = (t12 + 0U);
*((int *)t13) = 1;
t13 = (t12 + 4U);
*((unsigned int *)t13) = t11;
t13 = (t12 + 8U);
*((int *)t13) = 1;
t14 = (t11 - 1);
t15 = (t14 * 1);
t15 = (t15 + 1);
t13 = (t12 + 12U);
*((unsigned int *)t13) = t15;
t13 = (t6 + 12U);
t15 = *((unsigned int *)t13);
t17 = (t16 + 0U);
t18 = (t17 + 0U);
*((int *)t18) = 1;
t18 = (t17 + 4U);
*((unsigned int *)t18) = t15;
t18 = (t17 + 8U);
*((int *)t18) = 1;
t19 = (t15 - 1);
t20 = (t19 * 1);
t20 = (t20 + 1);
t18 = (t17 + 12U);
*((unsigned int *)t18) = t20;
t18 = (t4 + 12U);
t20 = *((unsigned int *)t18);
t21 = (t20 - 1);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -