static void Initial_35_0(char *t0) { char t6[8]; char t7[8]; char *t1; char *t2; char *t3; char *t4; char *t5; LAB0: xsi_set_current_line(36, ng0); LAB2: xsi_set_current_line(41, ng0); t1 = (t0 + 1880); t2 = ((char*)((ng2))); t3 = ((char*)((ng3))); t4 = (t0 + 608); t5 = *((char **)t4); memset(t6, 0, 8); xsi_vlog_signed_power(t6, 32, t3, 32, t5, 32, 1); t4 = ((char*)((ng4))); memset(t7, 0, 8); xsi_vlog_signed_minus(t7, 32, t6, 32, t4, 32); xsi_vlogfile_readmemb(ng1, 0, t1, 1, *((unsigned int *)t2), 1, *((unsigned int *)t7)); LAB1: return; }
static void Initial_13_0(char *t0) { char *t1; LAB0: xsi_set_current_line(13, ng0); t1 = (t0 + 2840); xsi_vlogfile_readmemb(ng1, 0, t1, 0, 0, 0, 0); LAB1: return; }
static void Initial_36_0(char *t0) { char *t1; LAB0: xsi_set_current_line(36, ng0); LAB2: xsi_set_current_line(38, ng0); t1 = (t0 + 2496); xsi_vlogfile_readmemb(ng1, 0, t1, 0, 0, 0, 0); LAB1: return; }
static void Initial_27_0(char *t0) { char *t1; char *t2; LAB0: xsi_set_current_line(27, ng0); LAB2: xsi_set_current_line(29, ng0); t1 = ((char*)((ng1))); t2 = (t0 + 1448); xsi_vlogvar_assign_value(t2, t1, 0, 0, 32); xsi_set_current_line(31, ng0); t1 = (t0 + 1608); xsi_vlogfile_readmemb(ng2, 0, t1, 0, 0, 0, 0); LAB1: return; }
static void Initial_36_1(char *t0) { char t5[8]; char t14[8]; char t15[8]; char *t1; char *t2; char *t3; char *t4; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; unsigned int t26; int t27; char *t28; unsigned int t29; int t30; int t31; unsigned int t32; unsigned int t33; int t34; int t35; LAB0: xsi_set_current_line(36, ng0); LAB2: xsi_set_current_line(37, ng0); xsi_set_current_line(37, ng0); t1 = ((char*)((ng2))); t2 = (t0 + 1608); xsi_vlogvar_assign_value(t2, t1, 0, 0, 32); LAB3: t1 = (t0 + 1608); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = ((char*)((ng3))); memset(t5, 0, 8); xsi_vlog_signed_less(t5, 32, t3, 32, t4, 32); t6 = (t5 + 4); t7 = *((unsigned int *)t6); t8 = (~(t7)); t9 = *((unsigned int *)t5); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB4; LAB5: xsi_set_current_line(40, ng0); t1 = (t0 + 1768); xsi_vlogfile_readmemb(ng6, 0, t1, 0, 0, 0, 0); LAB1: return; LAB4: xsi_set_current_line(38, ng0); t12 = ((char*)((ng4))); t13 = (t0 + 1768); t16 = (t0 + 1768); t17 = (t16 + 72U); t18 = *((char **)t17); t19 = (t0 + 1768); t20 = (t19 + 64U); t21 = *((char **)t20); t22 = (t0 + 1608); t23 = (t22 + 56U); t24 = *((char **)t23); xsi_vlog_generic_convert_array_indices(t14, t15, t18, t21, 2, 1, t24, 32, 1); t25 = (t14 + 4); t26 = *((unsigned int *)t25); t27 = (!(t26)); t28 = (t15 + 4); t29 = *((unsigned int *)t28); t30 = (!(t29)); t31 = (t27 && t30); if (t31 == 1) goto LAB6; LAB7: xsi_set_current_line(37, ng0); t1 = (t0 + 1608); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = ((char*)((ng5))); memset(t5, 0, 8); xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32); t6 = (t0 + 1608); xsi_vlogvar_assign_value(t6, t5, 0, 0, 32); goto LAB3; LAB6: t32 = *((unsigned int *)t14); t33 = *((unsigned int *)t15); t34 = (t32 - t33); t35 = (t34 + 1); xsi_vlogvar_assign_value(t13, t12, 0, *((unsigned int *)t15), t35); goto LAB7; }