📄 m_00000000001518540165_4120072773.c
字号:
t124 = t123;
t125 = (t116 + 4U);
t126 = *((unsigned int *)t116);
t123 = (t123 & t126);
t127 = *((unsigned int *)t125);
t124 = (t124 & t127);
t128 = *((unsigned int *)t121);
*((unsigned int *)t121) = (t128 & 4294705152U);
t129 = *((unsigned int *)t121);
*((unsigned int *)t121) = (t129 | t123);
t130 = *((unsigned int *)t122);
*((unsigned int *)t122) = (t130 & 4294705152U);
t131 = *((unsigned int *)t122);
*((unsigned int *)t122) = (t131 | t124);
xsi_driver_vfirst_trans(t117, 0, 17);
t132 = (t0 + 2840);
*((int *)t132) = 1;
LAB1: return;
}
static void A40_1(char *t0)
{
char t5[8];
char t29[8];
char t30[8];
char t46[8];
char t47[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 *t31;
char *t32;
char *t33;
char *t34;
char *t35;
char *t36;
char *t37;
char *t38;
int t39;
char *t40;
int t41;
int t42;
int t43;
int t44;
char *t45;
char *t48;
char *t49;
char *t50;
char *t51;
char *t52;
char *t53;
char *t54;
char *t55;
char *t56;
char *t57;
char *t58;
LAB0: t1 = (t0 + 2660U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(40, ng8);
t2 = (t0 + 2848);
*((int *)t2) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(41, ng8);
t3 = (t0 + 1740U);
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 LAB8;
LAB5: if (t18 != 0)
goto LAB7;
LAB6: *((unsigned int *)t5) = 1;
LAB8: t21 = (t5 + 4U);
t22 = *((unsigned int *)t21);
t23 = (~(t22));
t24 = *((unsigned int *)t5);
t25 = (t24 & t23);
t26 = (t25 != 0);
if (t26 > 0)
goto LAB9;
LAB10: xsi_set_current_line(46, ng8);
LAB18: xsi_set_current_line(47, ng8);
t2 = (t0 + 1564U);
t3 = *((char **)t2);
t2 = (t0 + 1964);
t4 = (t0 + 1964);
t6 = (t4 + 40U);
t7 = *((char **)t6);
t8 = (t0 + 1964);
t21 = (t8 + 36U);
t27 = *((char **)t21);
t28 = ((char*)((ng0)));
xsi_vlog_generic_convert_array_indices(t5, t29, t7, t27, 2, 1, t28, 32, 1);
t31 = (t5 + 4U);
t9 = *((unsigned int *)t31);
t39 = (!(t9));
t32 = (t29 + 4U);
t10 = *((unsigned int *)t32);
t41 = (!(t10));
t42 = (t39 && t41);
if (t42 == 1)
goto LAB19;
LAB20: xsi_set_current_line(48, ng8);
xsi_set_current_line(48, ng8);
t2 = ((char*)((ng1)));
t3 = (t0 + 2056);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);
LAB21: t2 = (t0 + 2056);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t6 = (t0 + 248);
t7 = *((char **)t6);
memset(t5, 0, 8);
xsi_vlog_signed_leq(t5, 32, t4, 32, t7, 32);
t6 = (t5 + 4U);
t9 = *((unsigned int *)t6);
t10 = (~(t9));
t11 = *((unsigned int *)t5);
t12 = (t11 & t10);
t13 = (t12 != 0);
if (t13 > 0)
goto LAB22;
LAB23:
LAB11: goto LAB2;
LAB7: *((unsigned int *)t5) = 1;
*((unsigned int *)t6) = 1;
goto LAB8;
LAB9: xsi_set_current_line(42, ng8);
LAB12: xsi_set_current_line(43, ng8);
xsi_set_current_line(43, ng8);
t27 = ((char*)((ng0)));
t28 = (t0 + 2056);
xsi_vlogvar_assign_value(t28, t27, 0, 0, 32);
LAB13: t2 = (t0 + 2056);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t6 = (t0 + 248);
t7 = *((char **)t6);
memset(t5, 0, 8);
xsi_vlog_signed_leq(t5, 32, t4, 32, t7, 32);
t6 = (t5 + 4U);
t9 = *((unsigned int *)t6);
t10 = (~(t9));
t11 = *((unsigned int *)t5);
t12 = (t11 & t10);
t13 = (t12 != 0);
if (t13 > 0)
goto LAB14;
LAB15: goto LAB11;
LAB14: xsi_set_current_line(43, ng8);
t8 = ((char*)((ng9)));
t21 = (t0 + 1964);
t27 = (t0 + 1964);
t28 = (t27 + 40U);
t31 = *((char **)t28);
t32 = (t0 + 1964);
t33 = (t32 + 36U);
t34 = *((char **)t33);
t35 = (t0 + 2056);
t36 = (t35 + 32U);
t37 = *((char **)t36);
xsi_vlog_generic_convert_array_indices(t29, t30, t31, t34, 2, 1, t37, 32, 1);
t38 = (t29 + 4U);
t14 = *((unsigned int *)t38);
t39 = (!(t14));
t40 = (t30 + 4U);
t15 = *((unsigned int *)t40);
t41 = (!(t15));
t42 = (t39 && t41);
if (t42 == 1)
goto LAB16;
LAB17: xsi_set_current_line(43, ng8);
t2 = (t0 + 2056);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t6 = ((char*)((ng0)));
memset(t5, 0, 8);
xsi_vlog_signed_add(t5, 32, t4, 32, t6, 32);
t7 = (t0 + 2056);
xsi_vlogvar_assign_value(t7, t5, 0, 0, 32);
goto LAB13;
LAB16: t16 = *((unsigned int *)t29);
t17 = *((unsigned int *)t30);
t43 = (t16 - t17);
t44 = (t43 + 1);
xsi_vlogvar_generic_wait_assign_value(t21, t8, 1, 0, *((unsigned int *)t30), t44, 0LL);
goto LAB17;
LAB19: t11 = *((unsigned int *)t5);
t12 = *((unsigned int *)t29);
t43 = (t11 - t12);
t44 = (t43 + 1);
xsi_vlogvar_generic_wait_assign_value(t2, t3, 2, 0, *((unsigned int *)t29), t44, 0LL);
goto LAB20;
LAB22: xsi_set_current_line(49, ng8);
t8 = (t0 + 1964);
t21 = (t8 + 32U);
t27 = *((char **)t21);
t28 = (t0 + 1964);
t31 = (t28 + 40U);
t32 = *((char **)t31);
t33 = (t0 + 1964);
t34 = (t33 + 36U);
t35 = *((char **)t34);
t36 = (t0 + 2056);
t37 = (t36 + 32U);
t38 = *((char **)t37);
t40 = ((char*)((ng0)));
memset(t30, 0, 8);
xsi_vlog_signed_minus(t30, 32, t38, 32, t40, 32);
xsi_vlog_generic_get_array_select_value(t29, 8, t27, t32, t35, 2, 1, t30, 32, 1);
t45 = (t0 + 1964);
t48 = (t0 + 1964);
t49 = (t48 + 40U);
t50 = *((char **)t49);
t51 = (t0 + 1964);
t52 = (t51 + 36U);
t53 = *((char **)t52);
t54 = (t0 + 2056);
t55 = (t54 + 32U);
t56 = *((char **)t55);
xsi_vlog_generic_convert_array_indices(t46, t47, t50, t53, 2, 1, t56, 32, 1);
t57 = (t46 + 4U);
t14 = *((unsigned int *)t57);
t39 = (!(t14));
t58 = (t47 + 4U);
t15 = *((unsigned int *)t58);
t41 = (!(t15));
t42 = (t39 && t41);
if (t42 == 1)
goto LAB24;
LAB25: xsi_set_current_line(48, ng8);
t2 = (t0 + 2056);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t6 = ((char*)((ng0)));
memset(t5, 0, 8);
xsi_vlog_signed_add(t5, 32, t4, 32, t6, 32);
t7 = (t0 + 2056);
xsi_vlogvar_assign_value(t7, t5, 0, 0, 32);
goto LAB21;
LAB24: t16 = *((unsigned int *)t46);
t17 = *((unsigned int *)t47);
t43 = (t16 - t17);
t44 = (t43 + 1);
xsi_vlogvar_generic_wait_assign_value(t45, t29, 2, 0, *((unsigned int *)t47), t44, 0LL);
goto LAB25;
}
extern void work_m_00000000001518540165_4120072773_init()
{
static char *pe[] = {(void *)C30_0,(void *)A40_1};
xsi_register_didat("work_m_00000000001518540165_4120072773", "isim/_tmp/work/m_00000000001518540165_4120072773.didat");
xsi_register_executes(pe);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -