static void Initial_58_1(char *t0) { char *t1; char *t2; char *t3; LAB0: t1 = (t0 + 3896U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(58, ng0); LAB4: xsi_set_current_line(59, ng0); t2 = (t0 + 2248); xsi_vlogfile_readmemh(ng3, 0, t2, 0, 0, 0, 0); xsi_set_current_line(60, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2408); xsi_vlogvar_assign_value(t3, t2, 0, 0, 21); xsi_set_current_line(63, ng0); t2 = (t0 + 3704); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: goto LAB1; }
static void Initial_76_0(char *t0) { char *t1; LAB0: xsi_set_current_line(77, ng0); LAB2: xsi_set_current_line(78, ng0); t1 = (t0 + 11476); xsi_vlogfile_readmemh(ng1, 0, t1, 0, 0, 0, 0); xsi_set_current_line(79, ng0); t1 = (t0 + 11568); xsi_vlogfile_readmemh(ng2, 0, t1, 0, 0, 0, 0); xsi_set_current_line(80, ng0); t1 = (t0 + 11660); xsi_vlogfile_readmemh(ng3, 0, t1, 0, 0, 0, 0); xsi_set_current_line(81, ng0); t1 = (t0 + 11752); xsi_vlogfile_readmemh(ng4, 0, t1, 0, 0, 0, 0); xsi_set_current_line(82, ng0); t1 = (t0 + 11844); xsi_vlogfile_readmemh(ng5, 0, t1, 0, 0, 0, 0); xsi_set_current_line(83, ng0); t1 = (t0 + 11936); xsi_vlogfile_readmemh(ng6, 0, t1, 0, 0, 0, 0); xsi_set_current_line(84, ng0); t1 = (t0 + 12028); xsi_vlogfile_readmemh(ng7, 0, t1, 0, 0, 0, 0); LAB1: return; }
static void Initial_25_0(char *t0) { char *t1; LAB0: xsi_set_current_line(26, ng0); LAB2: xsi_set_current_line(27, ng0); t1 = (t0 + 1608); xsi_vlogfile_readmemh(ng1, 0, t1, 0, 0, 0, 0); LAB1: return; }
static void Initial_30_0(char *t0) { char *t1; char *t2; LAB0: xsi_set_current_line(31, ng0); LAB2: xsi_set_current_line(32, ng0); t1 = (t0 + 2088); t2 = ((char*)((ng2))); xsi_vlogfile_readmemh(ng1, 0, t1, 1, *((unsigned int *)t2), 0, 0); LAB1: return; }
static void Initial_34_0(char *t0) { char *t1; char *t2; LAB0: xsi_set_current_line(35, ng0); LAB2: xsi_set_current_line(36, ng0); t1 = (t0 + 1928); xsi_vlogfile_readmemh(ng1, 0, t1, 0, 0, 0, 0); xsi_set_current_line(37, ng0); t1 = ((char*)((ng2))); t2 = (t0 + 1768); xsi_vlogvar_assign_value(t2, t1, 0, 0, 1); xsi_set_current_line(38, ng0); t1 = ((char*)((ng2))); t2 = (t0 + 1608); xsi_vlogvar_assign_value(t2, t1, 0, 0, 8); LAB1: return; }
static void Initial_9_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(9, ng0); LAB2: xsi_set_current_line(10, ng0); xsi_set_current_line(10, ng0); t1 = ((char*)((ng1))); t2 = (t0 + 1012); xsi_vlogvar_assign_value(t2, t1, 0, 0, 32); LAB3: t1 = (t0 + 1012); t2 = (t1 + 36U); t3 = *((char **)t2); t4 = ((char*)((ng2))); 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(13, ng0); t1 = (t0 + 920); xsi_vlogfile_readmemh(ng4, 0, t1, 0, 0, 0, 0); LAB1: return; LAB4: xsi_set_current_line(10, ng0); LAB6: xsi_set_current_line(11, ng0); t12 = ((char*)((ng1))); t13 = (t0 + 920); t16 = (t0 + 920); t17 = (t16 + 44U); t18 = *((char **)t17); t19 = (t0 + 920); t20 = (t19 + 40U); t21 = *((char **)t20); t22 = (t0 + 1012); t23 = (t22 + 36U); 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 LAB7; LAB8: xsi_set_current_line(10, ng0); t1 = (t0 + 1012); t2 = (t1 + 36U); t3 = *((char **)t2); t4 = ((char*)((ng3))); memset(t5, 0, 8); xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32); t6 = (t0 + 1012); xsi_vlogvar_assign_value(t6, t5, 0, 0, 32); goto LAB3; LAB7: 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 LAB8; }