static void Always_77_2(char *t0) { char t4[8]; char t7[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t8; LAB0: t1 = (t0 + 2744U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(77, ng0); t2 = (t0 + 3532); *((int *)t2) = 1; t3 = (t0 + 2772); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(77, ng0); LAB5: xsi_set_current_line(78, ng0); *((int *)t4) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647); t5 = (t4 + 4); *((int *)t5) = 0; t6 = ((char*)((ng3))); memset(t7, 0, 8); xsi_vlog_signed_mod(t7, 32, t4, 32, t6, 32); t8 = (t0 + 1564); xsi_vlogvar_assign_value(t8, t7, 0, 0, 16); xsi_set_current_line(79, ng0); *((int *)t4) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647); t2 = (t4 + 4); *((int *)t2) = 0; t3 = ((char*)((ng3))); memset(t7, 0, 8); xsi_vlog_signed_mod(t7, 32, t4, 32, t3, 32); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t7, 0, 0, 16); goto LAB2; }
static void Always_55_1(char *t0) { char t3[8]; char t6[8]; char *t1; char *t2; char *t4; char *t5; char *t7; LAB0: t1 = (t0 + 2232U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(55, ng0); t2 = (t0 + 2132); xsi_process_wait(t2, 10000LL); *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(55, ng0); *((int *)t3) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647); t4 = (t3 + 4); *((int *)t4) = 0; t5 = ((char*)((ng1))); memset(t6, 0, 8); xsi_vlog_signed_mod(t6, 32, t3, 32, t5, 32); t7 = (t0 + 1196); xsi_vlogvar_assign_value(t7, t6, 0, 0, 1); goto LAB2; }
static void Always_39_0(char *t0) { char t5[8]; char *t1; char *t2; char *t3; char *t4; LAB0: t1 = (t0 + 3328U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(39, ng0); t2 = (t0 + 4144); *((int *)t2) = 1; t3 = (t0 + 3360); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(40, ng0); LAB5: xsi_set_current_line(41, ng0); t4 = (t0 + 3136); xsi_process_wait(t4, 3000LL); *((char **)t1) = &&LAB6; goto LAB1; LAB6: xsi_set_current_line(42, ng0); *((int *)t5) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647); t2 = (t5 + 4); *((int *)t2) = 0; t3 = (t0 + 2408); xsi_vlogvar_assign_value(t3, t5, 0, 0, 1); goto LAB2; }