static void Initial_58_0(char *t0) { char *t1; char *t2; char *t3; LAB0: t1 = (t0 + 4128U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(58, ng0); LAB4: xsi_set_current_line(60, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2728); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(61, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2888); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(62, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3048); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(63, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 3208); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(65, ng0); t2 = (t0 + 3936); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(69, ng0); t2 = (t0 + 3936); xsi_process_wait(t2, 500000LL); *((char **)t1) = &&LAB6; goto LAB1; LAB6: xsi_set_current_line(69, ng0); xsi_vlog_stop(1); goto LAB1; }
static void Initial_16_1(char *t0) { char *t1; char *t2; char *t3; unsigned int t4; unsigned int t5; unsigned int t6; int t7; char *t8; char *t9; char *t10; char *t11; LAB0: t1 = (t0 + 2768U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(16, ng0); LAB4: xsi_set_current_line(17, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 1448); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(19, ng0); t2 = ((char*)((ng3))); t3 = (t2 + 4); t4 = *((unsigned int *)t3); t5 = (~(t4)); t6 = *((unsigned int *)t2); t7 = (t6 & t5); t8 = (t0 + 5240); *((int *)t8) = t7; LAB5: t9 = (t0 + 5240); if (*((int *)t9) > 0) goto LAB6; LAB7: xsi_set_current_line(22, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1448); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(24, ng0); t2 = ((char*)((ng4))); t3 = (t2 + 4); t4 = *((unsigned int *)t3); t5 = (~(t4)); t6 = *((unsigned int *)t2); t7 = (t6 & t5); t8 = (t0 + 5244); *((int *)t8) = t7; LAB9: t9 = (t0 + 5244); if (*((int *)t9) > 0) goto LAB10; LAB11: xsi_set_current_line(29, ng0); xsi_vlog_stop(1); LAB1: return; LAB6: xsi_set_current_line(20, ng0); t10 = (t0 + 3584); *((int *)t10) = 1; t11 = (t0 + 2800); *((char **)t11) = t10; *((char **)t1) = &&LAB8; goto LAB1; LAB8: t2 = (t0 + 5240); t7 = *((int *)t2); *((int *)t2) = (t7 - 1); goto LAB5; LAB10: xsi_set_current_line(25, ng0); t10 = (t0 + 3600); *((int *)t10) = 1; t11 = (t0 + 2800); *((char **)t11) = t10; *((char **)t1) = &&LAB12; goto LAB1; LAB12: t2 = (t0 + 5244); t7 = *((int *)t2); *((int *)t2) = (t7 - 1); goto LAB9; }
static void Initial_62_0(char *t0) { char t5[8]; char *t1; char *t2; char *t3; char *t4; char *t6; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; char *t24; LAB0: t1 = (t0 + 2732U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(62, ng0); LAB4: xsi_set_current_line(63, ng0); t2 = (t0 + 2632); xsi_process_wait(t2, 5000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(64, ng0); t3 = ((char*)((ng1))); t4 = (t0 + 2024); xsi_vlogvar_assign_value(t4, t3, 0, 0, 1); xsi_set_current_line(65, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2116); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(66, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1840); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(67, ng0); t2 = (t0 + 2632); xsi_process_wait(t2, 10000LL); *((char **)t1) = &&LAB6; goto LAB1; LAB6: xsi_set_current_line(68, ng0); t3 = ((char*)((ng2))); t4 = (t0 + 2024); xsi_vlogvar_assign_value(t4, t3, 0, 0, 1); xsi_set_current_line(69, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2116); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(70, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 1840); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(72, ng0); LAB7: xsi_set_current_line(72, ng0); t2 = (t0 + 2632); xsi_process_wait(t2, 10000LL); *((char **)t1) = &&LAB8; goto LAB1; LAB8: xsi_set_current_line(72, ng0); t3 = (t0 + 1840); t4 = (t3 + 36U); t6 = *((char **)t4); memset(t5, 0, 8); t7 = (t6 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t6); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB12; LAB10: if (*((unsigned int *)t7) == 0) goto LAB9; LAB11: t13 = (t5 + 4); *((unsigned int *)t5) = 1; *((unsigned int *)t13) = 1; LAB12: t14 = (t5 + 4); t15 = (t6 + 4); t16 = *((unsigned int *)t6); t17 = (~(t16)); *((unsigned int *)t5) = t17; *((unsigned int *)t14) = 0; if (*((unsigned int *)t15) != 0) goto LAB14; LAB13: t22 = *((unsigned int *)t5); *((unsigned int *)t5) = (t22 & 1U); t23 = *((unsigned int *)t14); *((unsigned int *)t14) = (t23 & 1U); t24 = (t0 + 1840); xsi_vlogvar_assign_value(t24, t5, 0, 0, 1); goto LAB7; LAB9: *((unsigned int *)t5) = 1; goto LAB12; LAB14: t18 = *((unsigned int *)t5); t19 = *((unsigned int *)t15); *((unsigned int *)t5) = (t18 | t19); t20 = *((unsigned int *)t14); t21 = *((unsigned int *)t15); *((unsigned int *)t14) = (t20 | t21); goto LAB13; LAB15: xsi_set_current_line(73, ng0); t2 = (t0 + 2632); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB16; goto LAB1; LAB16: xsi_set_current_line(73, ng0); xsi_vlog_stop(1); goto LAB1; }