📄 m_00000000001567990468_0339130360.c
字号:
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB19;
LAB20: if (*((unsigned int *)t20) != 0)
goto LAB21;
LAB22: t21 = (t22 + 4U);
t26 = *((unsigned int *)t22);
t27 = (!(t26));
t28 = *((unsigned int *)t21);
t29 = (t27 || t28);
if (t29 > 0)
goto LAB23;
LAB24: memcpy(t47, t22, 8);
LAB25: t75 = (t47 + 4U);
t76 = *((unsigned int *)t75);
t77 = (~(t76));
t78 = *((unsigned int *)t47);
t79 = (t78 & t77);
t80 = (t79 != 0);
if (t80 > 0)
goto LAB36;
LAB37:
LAB38:
LAB15: t2 = (t0 + 4832);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = ((char*)((ng4)));
memset(t7, 0, 8);
xsi_vlog_signed_multiply(t7, 32, t4, 32, t5, 32);
t6 = (t0 + 4832);
xsi_vlogvar_assign_value(t6, t7, 0, 0, 32);
t2 = (t0 + 4648);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = ((char*)((ng0)));
memset(t7, 0, 8);
xsi_vlog_signed_add(t7, 32, t4, 32, t5, 32);
t6 = (t0 + 4648);
xsi_vlogvar_assign_value(t6, t7, 0, 0, 32);
goto LAB6;
LAB13: t31 = (t0 + 4740);
t32 = (t31 + 32U);
t33 = *((char **)t32);
t34 = (t0 + 4832);
t35 = (t34 + 32U);
t36 = *((char **)t35);
memset(t37, 0, 8);
xsi_vlog_signed_add(t37, 32, t33, 32, t36, 32);
t38 = (t0 + 4740);
xsi_vlogvar_assign_value(t38, t37, 0, 0, 32);
goto LAB15;
LAB19: *((unsigned int *)t22) = 1;
goto LAB22;
LAB21: *((unsigned int *)t22) = 1;
*((unsigned int *)t19) = 1;
goto LAB22;
LAB23: t23 = (t0 + 3096U);
t24 = *((char **)t23);
t23 = (t0 + 3076U);
t25 = (t23 + 40U);
t31 = *((char **)t25);
t32 = (t0 + 4648);
t33 = (t32 + 32U);
t34 = *((char **)t33);
xsi_vlog_generic_get_index_select_value(t37, 1, t24, t31, 2, t34, 32, 1);
t35 = ((char*)((ng1)));
memset(t39, 0, 8);
t36 = (t37 + 4U);
t38 = (t35 + 4U);
if (*((unsigned int *)t37) != *((unsigned int *)t35))
goto LAB28;
LAB26: if (*((unsigned int *)t36) != *((unsigned int *)t38))
goto LAB28;
LAB27: *((unsigned int *)t39) = 1;
LAB28: memset(t40, 0, 8);
t41 = (t40 + 4U);
t42 = (t39 + 4U);
t30 = *((unsigned int *)t42);
t43 = (~(t30));
t44 = *((unsigned int *)t39);
t45 = (t44 & t43);
t46 = (t45 & 1U);
if (t46 != 0)
goto LAB29;
LAB30: if (*((unsigned int *)t42) != 0)
goto LAB31;
LAB32: t48 = *((unsigned int *)t22);
t49 = *((unsigned int *)t40);
t50 = (t48 | t49);
*((unsigned int *)t47) = t50;
t51 = (t22 + 4U);
t52 = (t40 + 4U);
t53 = (t47 + 4U);
t54 = *((unsigned int *)t51);
t55 = *((unsigned int *)t52);
t56 = (t54 | t55);
*((unsigned int *)t53) = t56;
t57 = *((unsigned int *)t53);
t58 = (t57 != 0);
if (t58 == 1)
goto LAB33;
LAB34:
LAB35: goto LAB25;
LAB29: *((unsigned int *)t40) = 1;
goto LAB32;
LAB31: *((unsigned int *)t40) = 1;
*((unsigned int *)t41) = 1;
goto LAB32;
LAB33: t59 = *((unsigned int *)t47);
t60 = *((unsigned int *)t53);
*((unsigned int *)t47) = (t59 | t60);
t61 = (t22 + 4U);
t62 = (t40 + 4U);
t63 = *((unsigned int *)t61);
t64 = (~(t63));
t65 = *((unsigned int *)t22);
t66 = (t65 & t64);
t67 = *((unsigned int *)t62);
t68 = (~(t67));
t69 = *((unsigned int *)t40);
t70 = (t69 & t68);
t71 = (~(t66));
t72 = (~(t70));
t73 = *((unsigned int *)t53);
*((unsigned int *)t53) = (t73 & t71);
t74 = *((unsigned int *)t53);
*((unsigned int *)t53) = (t74 & t72);
goto LAB35;
LAB36: t81 = ((char*)((ng0)));
t82 = (t0 + 4924);
xsi_vlogvar_assign_value(t82, t81, 0, 0, 32);
goto LAB38;
LAB39: t13 = ((char*)((ng1)));
t14 = (t0 + 4464);
xsi_vlogvar_generic_wait_assign_value(t14, t13, 2, 0, 0, 1, 0LL);
goto LAB41;
}
static void A194_3(char *t0)
{
char t7[8];
char t15[8];
char t22[8];
char t37[8];
char t39[8];
char t40[8];
char t47[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
unsigned int t8;
unsigned int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
char *t13;
char *t14;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
char *t23;
char *t24;
char *t25;
unsigned int t26;
unsigned int t27;
unsigned int t28;
unsigned int t29;
unsigned int t30;
char *t31;
char *t32;
char *t33;
char *t34;
char *t35;
char *t36;
char *t38;
char *t41;
char *t42;
unsigned int t43;
unsigned int t44;
unsigned int t45;
unsigned int t46;
unsigned int t48;
unsigned int t49;
unsigned int t50;
char *t51;
char *t52;
char *t53;
unsigned int t54;
unsigned int t55;
unsigned int t56;
unsigned int t57;
unsigned int t58;
unsigned int t59;
unsigned int t60;
char *t61;
char *t62;
unsigned int t63;
unsigned int t64;
unsigned int t65;
int t66;
unsigned int t67;
unsigned int t68;
unsigned int t69;
int t70;
unsigned int t71;
unsigned int t72;
unsigned int t73;
unsigned int t74;
char *t75;
unsigned int t76;
unsigned int t77;
unsigned int t78;
unsigned int t79;
unsigned int t80;
char *t81;
char *t82;
LAB0: t1 = (t0 + 6152U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 6476);
*((int *)t2) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4:
LAB5: t3 = ((char*)((ng0)));
t4 = (t0 + 4740);
xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);
t2 = ((char*)((ng0)));
t3 = (t0 + 4832);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);
t2 = ((char*)((ng2)));
t3 = (t0 + 4924);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);
t2 = ((char*)((ng2)));
t3 = (t0 + 4648);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);
LAB6: t2 = (t0 + 4648);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t0 + 1388);
t6 = *((char **)t5);
memset(t7, 0, 8);
xsi_vlog_signed_less(t7, 32, t4, 32, t6, 32);
t5 = (t7 + 4U);
t8 = *((unsigned int *)t5);
t9 = (~(t8));
t10 = *((unsigned int *)t7);
t11 = (t10 & t9);
t12 = (t11 != 0);
if (t12 > 0)
goto LAB7;
LAB8: t2 = (t0 + 4924);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = ((char*)((ng0)));
memset(t7, 0, 8);
xsi_vlog_signed_equal(t7, 32, t4, 32, t5, 32);
t6 = (t7 + 4U);
t8 = *((unsigned int *)t6);
t9 = (~(t8));
t10 = *((unsigned int *)t7);
t11 = (t10 & t9);
t12 = (t11 != 0);
if (t12 > 0)
goto LAB39;
LAB40: t2 = (t0 + 3008U);
t3 = *((char **)t2);
t2 = (t0 + 2988U);
t4 = (t2 + 40U);
t5 = *((char **)t4);
t6 = (t0 + 4740);
t13 = (t6 + 32U);
t14 = *((char **)t13);
t16 = ((char*)((ng0)));
memset(t15, 0, 8);
xsi_vlog_signed_minus(t15, 32, t14, 32, t16, 32);
xsi_vlog_generic_get_index_select_value(t7, 1, t3, t5, 2, t15, 32, 1);
t17 = (t0 + 4464);
xsi_vlogvar_generic_wait_assign_value(t17, t7, 2, 0, 0, 1, 1000000LL);
LAB41: goto LAB2;
LAB7:
LAB9: t13 = (t0 + 3096U);
t14 = *((char **)t13);
t13 = (t0 + 3076U);
t16 = (t13 + 40U);
t17 = *((char **)t16);
t18 = (t0 + 4648);
t19 = (t18 + 32U);
t20 = *((char **)t19);
xsi_vlog_generic_get_index_select_value(t15, 32, t14, t17, 2, t20, 32, 1);
t21 = ((char*)((ng0)));
memset(t22, 0, 8);
t23 = (t15 + 4U);
t24 = (t21 + 4U);
if (*((unsigned int *)t15) != *((unsigned int *)t21))
goto LAB12;
LAB10: if (*((unsigned int *)t23) != *((unsigned int *)t24))
goto LAB12;
LAB11: *((unsigned int *)t22) = 1;
LAB12: t25 = (t22 + 4U);
t26 = *((unsigned int *)t25);
t27 = (~(t26));
t28 = *((unsigned int *)t22);
t29 = (t28 & t27);
t30 = (t29 != 0);
if (t30 > 0)
goto LAB13;
LAB14: t2 = (t0 + 3096U);
t3 = *((char **)t2);
t2 = (t0 + 3076U);
t4 = (t2 + 40U);
t5 = *((char **)t4);
t6 = (t0 + 4648);
t13 = (t6 + 32U);
t14 = *((char **)t13);
xsi_vlog_generic_get_index_select_value(t7, 1, t3, t5, 2, t14, 32, 1);
t16 = ((char*)((ng3)));
memset(t15, 0, 8);
t17 = (t7 + 4U);
t18 = (t16 + 4U);
if (*((unsigned int *)t7) != *((unsigned int *)t16))
goto LAB18;
LAB16: if (*((unsigned int *)t17) != *((unsigned int *)t18))
goto LAB18;
LAB17: *((unsigned int *)t15) = 1;
LAB18: memset(t22, 0, 8);
t19 = (t22 + 4U);
t20 = (t15 + 4U);
t8 = *((unsigned int *)t20);
t9 = (~(t8));
t10 = *((unsigned int *)t15);
t11 = (t10 & t9);
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB19;
LAB20: if (*((unsigned int *)t20) != 0)
goto LAB21;
LAB22: t21 = (t22 + 4U);
t26 = *((unsigned int *)t22);
t27 = (!(t26));
t28 = *((unsigned int *)t21);
t29 = (t27 || t28);
if (t29 > 0)
goto LAB23;
LAB24: memcpy(t47, t22, 8);
LAB25: t75 = (t47 + 4U);
t76 = *((unsigned int *)t75);
t77 = (~(t76));
t78 = *((unsigned int *)t47);
t79 = (t78 & t77);
t80 = (t79 != 0);
if (t80 > 0)
goto LAB36;
LAB37:
LAB38:
LAB15: t2 = (t0 + 4832);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = ((char*)((ng4)));
memset(t7, 0, 8);
xsi_vlog_signed_multiply(t7, 32, t4, 32, t5, 32);
t6 = (t0 + 4832);
xsi_vlogvar_assign_value(t6, t7, 0, 0, 32);
t2 = (t0 + 4648);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = ((char*)((ng0)));
memset(t7, 0, 8);
xsi_vlog_signed_add(t7, 32, t4, 32, t5, 32);
t6 = (t0 + 4648);
xsi_vlogvar_assign_value(t6, t7, 0, 0, 32);
goto LAB6;
LAB13: t31 = (t0 + 4740);
t32 = (t31 + 32U);
t33 = *((char **)t32);
t34 = (t0 + 4832);
t35 = (t34 + 32U);
t36 = *((char **)t35);
memset(t37, 0, 8);
xsi_vlog_signed_add(t37, 32, t33, 32, t36, 32);
t38 = (t0 + 4740);
xsi_vlogvar_assign_value(t38, t37, 0, 0, 32);
goto LAB15;
LAB19: *((unsigned int *)t22) = 1;
goto LAB22;
LAB21: *((unsigned int *)t22) = 1;
*((unsigned int *)t19) = 1;
goto LAB22;
LAB23: t23 = (t0 + 3096U);
t24 = *((char **)t23);
t23 = (t0 + 3076U);
t25 = (t23 + 40U);
t31 = *((char **)t25);
t32 = (t0 + 4648);
t33 = (t32 + 32U);
t34 = *((char **)t33);
xsi_vlog_generic_get_index_select_value(t37, 1, t24, t31, 2, t34, 32, 1);
t35 = ((char*)((ng1)));
memset(t39, 0, 8);
t36 = (t37 + 4U);
t38 = (t35 + 4U);
if (*((unsigned int *)t37) != *((unsigned int *)t35))
goto LAB28;
LAB26: if (*((unsigned int *)t36) != *((unsigned int *)t38))
goto LAB28;
LAB27: *((unsigned int *)t39) = 1;
LAB28: memset(t40, 0, 8);
t41 = (t40 + 4U);
t42 = (t39 + 4U);
t30 = *((unsigned int *)t42);
t43 = (~(t30));
t44 = *((unsigned int *)t39);
t45 = (t44 & t43);
t46 = (t45 & 1U);
if (t46 != 0)
goto LAB29;
LAB30: if (*((unsigned int *)t42) != 0)
goto LAB31;
LAB32: t48 = *((unsigned int *)t22);
t49 = *((unsigned int *)t40);
t50 = (t48 | t49);
*((unsigned int *)t47) = t50;
t51 = (t22 + 4U);
t52 = (t40 + 4U);
t53 = (t47 + 4U);
t54 = *((unsigned int *)t51);
t55 = *((unsigned int *)t52);
t56 = (t54 | t55);
*((unsigned int *)t53) = t56;
t57 = *((unsigned int *)t53);
t58 = (t57 != 0);
if (t58 == 1)
goto LAB33;
LAB34:
LAB35: goto LAB25;
LAB29: *((unsigned int *)t40) = 1;
goto LAB32;
LAB31: *((unsigned int *)t40) = 1;
*((unsigned int *)t41) = 1;
goto LAB32;
LAB33: t59 = *((unsigned int *)t47);
t60 = *((unsigned int *)t53);
*((unsigned int *)t47) = (t59 | t60);
t61 = (t22 + 4U);
t62 = (t40 + 4U);
t63 = *((unsigned int *)t61);
t64 = (~(t63));
t65 = *((unsigned int *)t22);
t66 = (t65 & t64);
t67 = *((unsigned int *)t62);
t68 = (~(t67));
t69 = *((unsigned int *)t40);
t70 = (t69 & t68);
t71 = (~(t66));
t72 = (~(t70));
t73 = *((unsigned int *)t53);
*((unsigned int *)t53) = (t73 & t71);
t74 = *((unsigned int *)t53);
*((unsigned int *)t53) = (t74 & t72);
goto LAB35;
LAB36: t81 = ((char*)((ng0)));
t82 = (t0 + 4924);
xsi_vlogvar_assign_value(t82, t81, 0, 0, 32);
goto LAB38;
LAB39: t13 = ((char*)((ng1)));
t14 = (t0 + 4464);
xsi_vlogvar_generic_wait_assign_value(t14, t13, 2, 0, 0, 1, 1000000LL);
goto LAB41;
}
static void A216_4(char *t0)
{
char t4[8];
char *t1;
char *t2;
char *t3;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
LAB0: t1 = (t0 + 6280U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2:
LAB4: t2 = (t0 + 1236);
t3 = *((char **)t2);
t2 = ((char*)((ng0)));
memset(t4, 0, 8);
xsi_vlog_signed_case_eq(t4, 32, t3, 32, t2, 32);
t5 = (t4 + 4U);
t6 = *((unsigned int *)t5);
t7 = (~(t6));
t8 = *((unsigned int *)t4);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB5;
LAB6: t2 = (t0 + 1236);
t3 = *((char **)t2);
t2 = ((char*)((ng4)));
memset(t4, 0, 8);
xsi_vlog_signed_case_eq(t4, 32, t3, 32, t2, 32);
t5 = (t4 + 4U);
t6 = *((unsigned int *)t5);
t7 = (~(t6));
t8 = *((unsigned int *)t4);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB8;
LAB9: t2 = (t0 + 4240U);
t3 = *((char **)t2);
t2 = (t0 + 4556);
xsi_vlogvar_assign_value(t2, t3, 0, 0, 1);
LAB10:
LAB7: t2 = (t0 + 6484);
*((int *)t2) = 1;
*((char **)t1) = &&LAB11;
LAB1: return;
LAB5: t11 = (t0 + 4064U);
t12 = *((char **)t11);
t11 = (t0 + 4556);
xsi_vlogvar_assign_value(t11, t12, 0, 0, 1);
goto LAB7;
LAB8: t11 = (t0 + 4152U);
t12 = *((char **)t11);
t11 = (t0 + 4556);
xsi_vlogvar_assign_value(t11, t12, 0, 0, 1);
goto LAB10;
LAB11: goto LAB2;
}
extern void xilinxcorelib_ver_m_00000000001567990468_0339130360_init()
{
static char *pe[] = {(void *)N115_0,(void *)N116_1,(void *)I167_2,(void *)A194_3,(void *)A216_4};
static char *se[] = {(void *)sp_defval};
xsi_register_didat("xilinxcorelib_ver_m_00000000001567990468_0339130360", "isim/_tmp/xilinxcorelib_ver/m_00000000001567990468_0339130360.didat");
xsi_register_executes(pe);
xsi_register_subprogram_executes(se);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -