本文整理汇总了C++中xsi_vlog_generic_get_array_select_value函数的典型用法代码示例。如果您正苦于以下问题:C++ xsi_vlog_generic_get_array_select_value函数的具体用法?C++ xsi_vlog_generic_get_array_select_value怎么用?C++ xsi_vlog_generic_get_array_select_value使用的例子?那么, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了xsi_vlog_generic_get_array_select_value函数的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: Always_34_1
static void Always_34_1(char *t0)
{
char t7[8];
char t16[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t17;
LAB0: t1 = (t0 + 1680U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(34, ng0);
t2 = (t0 + 1876);
*((int *)t2) = 1;
t3 = (t0 + 1708);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(35, ng0);
LAB5: xsi_set_current_line(36, ng0);
t4 = (t0 + 1012);
t5 = (t4 + 36U);
t6 = *((char **)t5);
t8 = (t0 + 1012);
t9 = (t8 + 44U);
t10 = *((char **)t9);
t11 = (t0 + 1012);
t12 = (t11 + 40U);
t13 = *((char **)t12);
t14 = (t0 + 692U);
t15 = *((char **)t14);
t14 = ((char*)((ng3)));
memset(t16, 0, 8);
xsi_vlog_unsigned_rshift(t16, 32, t15, 32, t14, 32);
xsi_vlog_generic_get_array_select_value(t7, 32, t6, t10, t13, 2, 1, t16, 32, 2);
t17 = (t0 + 920);
xsi_vlogvar_wait_assign_value(t17, t7, 0, 0, 32, 0LL);
goto LAB2;
}
开发者ID:JianmingS,项目名称:MIPS-architecture-CPU-design-based-on-FPGA,代码行数:58,代码来源:m_00000000002629890179_2032185554.c
示例2: Always_31_0
static void Always_31_0(char *t0)
{
char t7[8];
char t16[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t17;
LAB0: t1 = (t0 + 2688U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(31, ng0);
t2 = (t0 + 3256);
*((int *)t2) = 1;
t3 = (t0 + 2720);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(31, ng0);
LAB5: xsi_set_current_line(32, ng0);
t4 = (t0 + 1768);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t8 = (t0 + 1768);
t9 = (t8 + 72U);
t10 = *((char **)t9);
t11 = (t0 + 1768);
t12 = (t11 + 64U);
t13 = *((char **)t12);
t14 = (t0 + 1048U);
t15 = *((char **)t14);
t14 = ((char*)((ng1)));
memset(t16, 0, 8);
xsi_vlog_unsigned_divide(t16, 32, t15, 32, t14, 32);
xsi_vlog_generic_get_array_select_value(t7, 32, t6, t10, t13, 2, 1, t16, 32, 2);
t17 = (t0 + 1448);
xsi_vlogvar_assign_value(t17, t7, 0, 0, 32);
goto LAB2;
}
示例3: Always_63_3
static void Always_63_3(char *t0)
{
char t7[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
LAB0:
t1 = (t0 + 4392U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3:
goto *t2;
LAB2:
xsi_set_current_line(63, ng0);
t2 = (t0 + 4744);
*((int *)t2) = 1;
t3 = (t0 + 4424);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1:
return;
LAB4:
xsi_set_current_line(64, ng0);
t4 = (t0 + 2568);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t8 = (t0 + 2568);
t9 = (t8 + 72U);
t10 = *((char **)t9);
t11 = (t0 + 2568);
t12 = (t11 + 64U);
t13 = *((char **)t12);
t14 = (t0 + 1208U);
t15 = *((char **)t14);
xsi_vlog_generic_get_array_select_value(t7, 32, t6, t10, t13, 2, 1, t15, 5, 2);
t14 = (t0 + 2408);
xsi_vlogvar_assign_value(t14, t7, 0, 0, 32);
goto LAB2;
}
示例4: Always_55_2
static void Always_55_2(char *t0)
{
char t7[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
LAB0: t1 = (t0 + 3504U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(55, ng0);
t2 = (t0 + 3840);
*((int *)t2) = 1;
t3 = (t0 + 3536);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(56, ng0);
LAB5: xsi_set_current_line(57, ng0);
t4 = (t0 + 1928);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t8 = (t0 + 1928);
t9 = (t8 + 72U);
t10 = *((char **)t9);
t11 = (t0 + 1928);
t12 = (t11 + 64U);
t13 = *((char **)t12);
t14 = (t0 + 1208U);
t15 = *((char **)t14);
xsi_vlog_generic_get_array_select_value(t7, 16, t6, t10, t13, 2, 1, t15, 11, 2);
t14 = (t0 + 1768);
xsi_vlogvar_assign_value(t14, t7, 0, 0, 16);
goto LAB2;
}
开发者ID:augusto-altman,项目名称:UniversityProject-ComputersArchitecture,代码行数:53,代码来源:m_00000000002436924979_4137616534.c
示例5: Cont_30_2
static void Cont_30_2(char *t0)
{
char t5[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
LAB0: t1 = (t0 + 4408U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(30, ng0);
t2 = (t0 + 2840);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t6 = (t0 + 2840);
t7 = (t6 + 72U);
t8 = *((char **)t7);
t9 = (t0 + 2840);
t10 = (t9 + 64U);
t11 = *((char **)t10);
t12 = (t0 + 1960U);
t13 = *((char **)t12);
xsi_vlog_generic_get_array_select_value(t5, 32, t4, t8, t11, 2, 1, t13, 5, 2);
t12 = (t0 + 5152);
t14 = (t12 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
memcpy(t17, t5, 8);
xsi_driver_vfirst_trans(t12, 0, 31);
t18 = (t0 + 4992);
*((int *)t18) = 1;
LAB1: return;
}
示例6: Cont_156_0
static void Cont_156_0(char *t0)
{
char t5[256];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
LAB0: t1 = (t0 + 3576U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(156, ng0);
t2 = (t0 + 2656);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t6 = (t0 + 2656);
t7 = (t6 + 72U);
t8 = *((char **)t7);
t9 = (t0 + 2656);
t10 = (t9 + 64U);
t11 = *((char **)t10);
t12 = (t0 + 1776U);
t13 = *((char **)t12);
xsi_vlog_generic_get_array_select_value(t5, 1024, t4, t8, t11, 2, 1, t13, 5, 2);
t12 = (t0 + 4240);
t14 = (t12 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
xsi_vlog_bit_copy(t17, 0, t5, 0, 1024);
xsi_driver_vfirst_trans(t12, 0, 1023);
t18 = (t0 + 4144);
*((int *)t18) = 1;
LAB1: return;
}
示例7: Always_64_2
static void Always_64_2(char *t0)
{
char t7[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
LAB0: t1 = (t0 + 8552U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(64, ng4);
t2 = (t0 + 8888);
*((int *)t2) = 1;
t3 = (t0 + 8584);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(64, ng4);
LAB5: xsi_set_current_line(65, ng4);
t4 = (t0 + 6336);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t8 = (t0 + 6336);
t9 = (t8 + 72U);
t10 = *((char **)t9);
t11 = (t0 + 6336);
t12 = (t11 + 64U);
t13 = *((char **)t12);
t14 = (t0 + 5616U);
t15 = *((char **)t14);
xsi_vlog_generic_get_array_select_value(t7, 16, t6, t10, t13, 2, 1, t15, 13, 2);
t14 = (t0 + 6176);
xsi_vlogvar_wait_assign_value(t14, t7, 0, 0, 16, 0LL);
goto LAB2;
}
示例8: C95_1
static void C95_1(char *t0)
{
char t5[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
LAB0: t1 = (t0 + 2272U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 1668);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t6 = (t0 + 1668);
t7 = (t6 + 40U);
t8 = *((char **)t7);
t9 = (t0 + 1668);
t10 = (t9 + 36U);
t11 = *((char **)t10);
t12 = (t0 + 916U);
t13 = *((char **)t12);
xsi_vlog_generic_get_array_select_value(t5, 32, t4, t8, t11, 2, 1, t13, 5, 2);
t12 = (t0 + 2812);
t14 = (t12 + 32U);
t15 = *((char **)t14);
t16 = (t15 + 40U);
t17 = *((char **)t16);
memcpy(t17, t5, 8);
xsi_driver_vfirst_trans(t12, 0, 31);
t18 = (t0 + 2716);
*((int *)t18) = 1;
LAB1: return;
}
示例9: Cont_42_2
//.........这里部分代码省略.........
t15 = (t11 | t14);
t16 = *((unsigned int *)t7);
t17 = *((unsigned int *)t8);
t18 = (t16 | t17);
t19 = (~(t18));
t20 = (t15 & t19);
if (t20 != 0)
goto LAB7;
LAB4: if (t18 != 0)
goto LAB6;
LAB5: *((unsigned int *)t6) = 1;
LAB7: memset(t4, 0, 8);
t22 = (t6 + 4);
t23 = *((unsigned int *)t22);
t24 = (~(t23));
t25 = *((unsigned int *)t6);
t26 = (t25 & t24);
t27 = (t26 & 1U);
if (t27 != 0)
goto LAB8;
LAB9: if (*((unsigned int *)t22) != 0)
goto LAB10;
LAB11: t29 = (t4 + 4);
t30 = *((unsigned int *)t4);
t31 = *((unsigned int *)t29);
t32 = (t30 || t31);
if (t32 > 0)
goto LAB12;
LAB13: t46 = *((unsigned int *)t4);
t47 = (~(t46));
t48 = *((unsigned int *)t29);
t49 = (t47 || t48);
if (t49 > 0)
goto LAB14;
LAB15: if (*((unsigned int *)t29) > 0)
goto LAB16;
LAB17: if (*((unsigned int *)t4) > 0)
goto LAB18;
LAB19: memcpy(t3, t50, 8);
LAB20: t51 = (t0 + 3920);
t52 = (t51 + 56U);
t53 = *((char **)t52);
t54 = (t53 + 56U);
t55 = *((char **)t54);
memcpy(t55, t3, 8);
xsi_driver_vfirst_trans(t51, 0, 31);
t56 = (t0 + 3840);
*((int *)t56) = 1;
LAB1: return;
LAB6: t21 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t21) = 1;
goto LAB7;
LAB8: *((unsigned int *)t4) = 1;
goto LAB11;
LAB10: t28 = (t4 + 4);
*((unsigned int *)t4) = 1;
*((unsigned int *)t28) = 1;
goto LAB11;
LAB12: t33 = (t0 + 2088);
t34 = (t33 + 56U);
t35 = *((char **)t34);
t37 = (t0 + 2088);
t38 = (t37 + 72U);
t39 = *((char **)t38);
t40 = (t0 + 2088);
t41 = (t40 + 64U);
t42 = *((char **)t41);
t43 = (t0 + 1208U);
t44 = *((char **)t43);
t43 = ((char*)((ng4)));
memset(t45, 0, 8);
xsi_vlog_unsigned_rshift(t45, 32, t44, 32, t43, 32);
xsi_vlog_generic_get_array_select_value(t36, 32, t35, t39, t42, 2, 1, t45, 32, 2);
goto LAB13;
LAB14: t50 = ((char*)((ng5)));
goto LAB15;
LAB16: xsi_vlog_unsigned_bit_combine(t3, 32, t36, 32, t50, 32);
goto LAB20;
LAB18: memcpy(t3, t36, 8);
goto LAB20;
}
开发者ID:JianmingS,项目名称:MIPS-architecture-CPU-design-based-on-FPGA,代码行数:101,代码来源:m_00000000003577048177_1151974483.c
示例10: Cont_50_1
//.........这里部分代码省略.........
goto LAB33;
LAB34: if (*((unsigned int *)t106) != 0)
goto LAB35;
LAB36: t114 = *((unsigned int *)t75);
t115 = *((unsigned int *)t105);
t116 = (t114 & t115);
*((unsigned int *)t113) = t116;
t117 = (t75 + 4);
t118 = (t105 + 4);
t119 = (t113 + 4);
t120 = *((unsigned int *)t117);
t121 = *((unsigned int *)t118);
t122 = (t120 | t121);
*((unsigned int *)t119) = t122;
t123 = *((unsigned int *)t119);
t124 = (t123 != 0);
if (t124 == 1)
goto LAB37;
LAB38:
LAB39: goto LAB28;
LAB30: *((unsigned int *)t89) = 1;
goto LAB32;
LAB31: t104 = (t89 + 4);
*((unsigned int *)t89) = 1;
*((unsigned int *)t104) = 1;
goto LAB32;
LAB33: *((unsigned int *)t105) = 1;
goto LAB36;
LAB35: t112 = (t105 + 4);
*((unsigned int *)t105) = 1;
*((unsigned int *)t112) = 1;
goto LAB36;
LAB37: t125 = *((unsigned int *)t113);
t126 = *((unsigned int *)t119);
*((unsigned int *)t113) = (t125 | t126);
t127 = (t75 + 4);
t128 = (t105 + 4);
t129 = *((unsigned int *)t75);
t130 = (~(t129));
t131 = *((unsigned int *)t127);
t132 = (~(t131));
t133 = *((unsigned int *)t105);
t134 = (~(t133));
t135 = *((unsigned int *)t128);
t136 = (~(t135));
t137 = (t130 & t132);
t138 = (t134 & t136);
t139 = (~(t137));
t140 = (~(t138));
t141 = *((unsigned int *)t119);
*((unsigned int *)t119) = (t141 & t139);
t142 = *((unsigned int *)t119);
*((unsigned int *)t119) = (t142 & t140);
t143 = *((unsigned int *)t113);
*((unsigned int *)t113) = (t143 & t139);
t144 = *((unsigned int *)t113);
*((unsigned int *)t113) = (t144 & t140);
goto LAB39;
LAB40: *((unsigned int *)t4) = 1;
goto LAB43;
LAB42: t151 = (t4 + 4);
*((unsigned int *)t4) = 1;
*((unsigned int *)t151) = 1;
goto LAB43;
LAB44: t156 = (t0 + 2008U);
t157 = *((char **)t156);
goto LAB45;
LAB46: t156 = (t0 + 2728);
t162 = (t156 + 56U);
t163 = *((char **)t162);
t165 = (t0 + 2728);
t166 = (t165 + 72U);
t167 = *((char **)t166);
t168 = (t0 + 2728);
t169 = (t168 + 64U);
t170 = *((char **)t169);
t171 = (t0 + 1528U);
t172 = *((char **)t171);
xsi_vlog_generic_get_array_select_value(t164, 16, t163, t167, t170, 2, 1, t172, 4, 2);
goto LAB47;
LAB48: xsi_vlog_unsigned_bit_combine(t3, 16, t157, 16, t164, 16);
goto LAB52;
LAB50: memcpy(t3, t157, 8);
goto LAB52;
}
示例11: Cont_102_1
static void Cont_102_1(char *t0)
{
char t3[8];
char t6[8];
char t15[8];
char t19[8];
char t28[8];
char t32[8];
char t41[8];
char t45[8];
char t54[8];
char *t1;
char *t2;
char *t4;
char *t5;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t16;
char *t17;
char *t18;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t29;
char *t30;
char *t31;
char *t33;
char *t34;
char *t35;
char *t36;
char *t37;
char *t38;
char *t39;
char *t40;
char *t42;
char *t43;
char *t44;
char *t46;
char *t47;
char *t48;
char *t49;
char *t50;
char *t51;
char *t52;
char *t53;
char *t55;
char *t56;
char *t57;
char *t58;
char *t59;
char *t60;
LAB0: t1 = (t0 + 2936U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(102, ng0);
t2 = (t0 + 1768);
t4 = (t2 + 56U);
t5 = *((char **)t4);
t7 = (t0 + 1768);
t8 = (t7 + 72U);
t9 = *((char **)t8);
t10 = (t0 + 1768);
t11 = (t10 + 64U);
t12 = *((char **)t11);
t13 = (t0 + 1048U);
t14 = *((char **)t13);
t13 = ((char*)((ng4)));
memset(t15, 0, 8);
xsi_vlog_unsigned_minus(t15, 32, t14, 32, t13, 32);
xsi_vlog_generic_get_array_select_value(t6, 8, t5, t9, t12, 2, 1, t15, 32, 2);
t16 = (t0 + 1768);
t17 = (t16 + 56U);
t18 = *((char **)t17);
t20 = (t0 + 1768);
t21 = (t20 + 72U);
t22 = *((char **)t21);
t23 = (t0 + 1768);
t24 = (t23 + 64U);
t25 = *((char **)t24);
t26 = (t0 + 1048U);
t27 = *((char **)t26);
t26 = ((char*)((ng6)));
memset(t28, 0, 8);
xsi_vlog_unsigned_minus(t28, 32, t27, 32, t26, 32);
//.........这里部分代码省略.........
示例12: Monitor_89_2_Func
//.........这里部分代码省略.........
t11 = (t0 + 5948);
t12 = *((char **)t11);
t13 = ((((char*)(t12))) + 56U);
t14 = *((char **)t13);
t15 = (t0 + 5972);
t16 = *((char **)t15);
t17 = ((((char*)(t16))) + 56U);
t18 = *((char **)t17);
t19 = (t0 + 5996);
t20 = *((char **)t19);
t21 = ((((char*)(t20))) + 56U);
t22 = *((char **)t21);
t23 = (t0 + 6020);
t24 = *((char **)t23);
t25 = ((((char*)(t24))) + 40U);
t26 = *((char **)t25);
t25 = (t0 + 6044);
t27 = *((char **)t25);
t28 = ((((char*)(t27))) + 56U);
t29 = *((char **)t28);
t30 = (t0 + 6068);
t31 = *((char **)t30);
t32 = ((((char*)(t31))) + 56U);
t33 = *((char **)t32);
t35 = (t0 + 6092);
t36 = *((char **)t35);
t37 = ((((char*)(t36))) + 72U);
t38 = *((char **)t37);
t39 = (t0 + 6116);
t40 = *((char **)t39);
t41 = ((((char*)(t40))) + 64U);
t42 = *((char **)t41);
t43 = ((char*)((ng1)));
xsi_vlog_generic_get_array_select_value(t34, 16, t33, t38, t42, 2, 1, t43, 32, 1);
t44 = (t0 + 6140);
t45 = *((char **)t44);
t46 = ((((char*)(t45))) + 56U);
t47 = *((char **)t46);
t49 = (t0 + 6164);
t50 = *((char **)t49);
t51 = ((((char*)(t50))) + 72U);
t52 = *((char **)t51);
t53 = (t0 + 6188);
t54 = *((char **)t53);
t55 = ((((char*)(t54))) + 64U);
t56 = *((char **)t55);
t57 = ((char*)((ng2)));
xsi_vlog_generic_get_array_select_value(t48, 16, t47, t52, t56, 2, 1, t57, 32, 1);
t58 = (t0 + 6212);
t59 = *((char **)t58);
t60 = ((((char*)(t59))) + 56U);
t61 = *((char **)t60);
t63 = (t0 + 6236);
t64 = *((char **)t63);
t65 = ((((char*)(t64))) + 72U);
t66 = *((char **)t65);
t67 = (t0 + 6260);
t68 = *((char **)t67);
t69 = ((((char*)(t68))) + 64U);
t70 = *((char **)t69);
t71 = ((char*)((ng3)));
xsi_vlog_generic_get_array_select_value(t62, 16, t61, t66, t70, 2, 1, t71, 32, 1);
t72 = (t0 + 6284);
t73 = *((char **)t72);
t74 = ((((char*)(t73))) + 56U);
t75 = *((char **)t74);
示例13: Always_32_0
//.........这里部分代码省略.........
t10 = t9;
t4 = (t3 + 4);
t11 = *((unsigned int *)t3);
t9 = (t9 & t11);
t12 = *((unsigned int *)t4);
t10 = (t10 & t12);
t5 = (t2 + 4);
t13 = *((unsigned int *)t2);
*((unsigned int *)t2) = (t13 | t9);
t14 = *((unsigned int *)t5);
*((unsigned int *)t5) = (t14 | t10);
t7 = (t0 + 1712);
xsi_process_wait(t7, 80000LL);
*((char **)t1) = &&LAB15;
goto LAB1;
LAB8: t21 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t21) = 1;
goto LAB9;
LAB10: xsi_set_current_line(34, ng0);
t28 = (t0 + 1104);
t29 = (t28 + 36U);
t30 = *((char **)t29);
t32 = (t0 + 1104);
t33 = (t32 + 44U);
t34 = *((char **)t33);
t35 = (t0 + 1104);
t36 = (t35 + 40U);
t37 = *((char **)t36);
t38 = (t0 + 692U);
t39 = *((char **)t38);
xsi_vlog_generic_get_array_select_value(t31, 4, t30, t34, t37, 2, 1, t39, 4, 2);
t38 = (t0 + 3396);
memset(t38, 0, 8);
t40 = 15U;
t41 = t40;
t42 = (t31 + 4);
t43 = *((unsigned int *)t31);
t40 = (t40 & t43);
t44 = *((unsigned int *)t42);
t41 = (t41 & t44);
t45 = (t38 + 4);
t46 = *((unsigned int *)t38);
*((unsigned int *)t38) = (t46 | t40);
t47 = *((unsigned int *)t45);
*((unsigned int *)t45) = (t47 | t41);
t48 = (t0 + 1712);
xsi_process_wait(t48, 150000LL);
*((char **)t1) = &&LAB13;
goto LAB1;
LAB12: xsi_set_current_line(36, ng0);
t2 = (t0 + 1104);
t3 = (t2 + 36U);
t4 = *((char **)t3);
t5 = (t0 + 1104);
t7 = (t5 + 44U);
t8 = *((char **)t7);
t21 = (t0 + 1104);
t22 = (t21 + 40U);
t28 = *((char **)t22);
t29 = (t0 + 692U);
t30 = *((char **)t29);
xsi_vlog_generic_get_array_select_value(t6, 4, t4, t8, t28, 2, 1, t30, 4, 2);
示例14: Always_22_0
static void Always_22_0(char *t0)
{
char t13[8];
char t14[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
char *t15;
char *t16;
char *t17;
char *t18;
int t19;
char *t20;
int t21;
int t22;
int t23;
int t24;
char *t25;
unsigned int t26;
char *t27;
unsigned int t28;
unsigned int t29;
unsigned int t30;
LAB0: t1 = (t0 + 3168U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(22, ng0);
t2 = (t0 + 3736);
*((int *)t2) = 1;
t3 = (t0 + 3200);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(23, ng0);
LAB5: xsi_set_current_line(24, ng0);
t4 = (t0 + 1048U);
t5 = *((char **)t4);
t4 = (t5 + 4);
t6 = *((unsigned int *)t4);
t7 = (~(t6));
t8 = *((unsigned int *)t5);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB6;
LAB7: xsi_set_current_line(45, ng0);
LAB42: xsi_set_current_line(46, ng0);
t2 = (t0 + 1368U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t6 = *((unsigned int *)t2);
t7 = (~(t6));
t8 = *((unsigned int *)t3);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB43;
LAB44: xsi_set_current_line(47, ng0);
t2 = (t0 + 2088);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t0 + 2088);
t11 = (t5 + 72U);
t12 = *((char **)t11);
t15 = (t0 + 2088);
t16 = (t15 + 64U);
t17 = *((char **)t16);
t18 = (t0 + 1208U);
t20 = *((char **)t18);
xsi_vlog_generic_get_array_select_value(t13, 16, t4, t12, t17, 2, 1, t20, 16, 2);
t18 = (t0 + 2248);
xsi_vlogvar_wait_assign_value(t18, t13, 0, 0, 16, 0LL);
LAB45:
LAB8: goto LAB2;
LAB6: xsi_set_current_line(25, ng0);
LAB9: xsi_set_current_line(26, ng0);
t11 = ((char*)((ng1)));
t12 = (t0 + 2248);
//.........这里部分代码省略.........
示例15: Always_30_0
static void Always_30_0(char *t0)
{
char t13[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
LAB0: t1 = (t0 + 1904U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(30, ng0);
t2 = (t0 + 2244);
*((int *)t2) = 1;
t3 = (t0 + 1932);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(31, ng0);
LAB5: xsi_set_current_line(32, ng0);
t4 = (t0 + 692U);
t5 = *((char **)t4);
t4 = (t5 + 4);
t6 = *((unsigned int *)t4);
t7 = (~(t6));
t8 = *((unsigned int *)t5);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB6;
LAB7: xsi_set_current_line(34, ng0);
t2 = (t0 + 968U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t6 = *((unsigned int *)t2);
t7 = (~(t6));
t8 = *((unsigned int *)t3);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB9;
LAB10:
LAB11:
LAB8: goto LAB2;
LAB6: xsi_set_current_line(33, ng0);
t11 = ((char*)((ng1)));
t12 = (t0 + 1288);
xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 32, 0LL);
goto LAB8;
LAB9: xsi_set_current_line(35, ng0);
t4 = (t0 + 1380);
t5 = (t4 + 36U);
t11 = *((char **)t5);
t12 = (t0 + 1380);
t14 = (t12 + 44U);
t15 = *((char **)t14);
t16 = (t0 + 1380);
t17 = (t16 + 40U);
t18 = *((char **)t17);
t19 = (t0 + 784U);
t20 = *((char **)t19);
xsi_vlog_generic_get_array_select_value(t13, 32, t11, t15, t18, 2, 1, t20, 12, 2);
t19 = (t0 + 1288);
xsi_vlogvar_wait_assign_value(t19, t13, 0, 0, 32, 0LL);
goto LAB11;
}