static void Always_24_3(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; char *t8; int t9; char *t10; char *t11; LAB0: t1 = (t0 + 4552U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(24, ng0); t2 = (t0 + 4920); *((int *)t2) = 1; t3 = (t0 + 4584); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(25, ng0); t5 = (t0 + 2328U); t6 = *((char **)t5); t5 = (t0 + 2168U); t7 = *((char **)t5); t5 = (t0 + 2488U); t8 = *((char **)t5); xsi_vlogtype_concat(t4, 3, 3, 3U, t8, 1, t7, 1, t6, 1); LAB5: t5 = ((char*)((ng2))); t9 = xsi_vlog_unsigned_case_xcompare(t4, 3, t5, 3); if (t9 == 1) goto LAB6; LAB7: t2 = ((char*)((ng3))); t9 = xsi_vlog_unsigned_case_xcompare(t4, 3, t2, 3); if (t9 == 1) goto LAB8; LAB9: LAB11: LAB10: xsi_set_current_line(28, ng0); t2 = (t0 + 1208U); t3 = *((char **)t2); t2 = (t0 + 2888); xsi_vlogvar_assign_value(t2, t3, 0, 0, 32); LAB12: goto LAB2; LAB6: xsi_set_current_line(26, ng0); t10 = (t0 + 1368U); t11 = *((char **)t10); t10 = (t0 + 2888); xsi_vlogvar_assign_value(t10, t11, 0, 0, 32); goto LAB12; LAB8: xsi_set_current_line(27, ng0); t3 = (t0 + 2008U); t5 = *((char **)t3); t3 = (t0 + 2888); xsi_vlogvar_assign_value(t3, t5, 0, 0, 32); goto LAB12; }
static void Always_93_1(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; char *t8; char *t9; int t10; char *t11; char *t12; LAB0: t1 = (t0 + 2416U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(93, ng0); t2 = (t0 + 2620); *((int *)t2) = 1; t3 = (t0 + 2444); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(94, ng0); LAB5: xsi_set_current_line(95, ng0); t5 = (t0 + 692U); t6 = *((char **)t5); t5 = (t0 + 1748); t7 = (t5 + 36U); t8 = *((char **)t7); xsi_vlogtype_concat(t4, 8, 8, 2U, t8, 2, t6, 6); LAB6: t9 = ((char*)((ng10))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t9, 8); if (t10 == 1) goto LAB7; LAB8: t2 = ((char*)((ng11))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t10 == 1) goto LAB9; LAB10: t2 = ((char*)((ng13))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t10 == 1) goto LAB11; LAB12: t2 = ((char*)((ng14))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t10 == 1) goto LAB13; LAB14: t2 = ((char*)((ng15))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t10 == 1) goto LAB15; LAB16: t2 = ((char*)((ng16))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t10 == 1) goto LAB17; LAB18: t2 = ((char*)((ng17))); t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t10 == 1) goto LAB19; LAB20: LAB22: LAB21: xsi_set_current_line(103, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1656); xsi_vlogvar_assign_value(t3, t2, 0, 0, 4); LAB23: goto LAB2; LAB7: xsi_set_current_line(96, ng0); t11 = ((char*)((ng4))); t12 = (t0 + 1656); xsi_vlogvar_assign_value(t12, t11, 0, 0, 4); goto LAB23; LAB9: xsi_set_current_line(97, ng0); t3 = ((char*)((ng12))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB23; LAB11: xsi_set_current_line(98, ng0); t3 = ((char*)((ng4))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB23; LAB13: xsi_set_current_line(99, ng0); t3 = ((char*)((ng12))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB23; LAB15: xsi_set_current_line(100, ng0); t3 = ((char*)((ng1))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB23; LAB17: xsi_set_current_line(101, ng0); t3 = ((char*)((ng9))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB23; LAB19: xsi_set_current_line(102, ng0); t3 = ((char*)((ng18))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB23; }
static void Always_27_0(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; int t8; char *t9; char *t10; LAB0: t1 = (t0 + 2528U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(27, ng0); t2 = (t0 + 2848); *((int *)t2) = 1; t3 = (t0 + 2560); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(28, ng0); t5 = (t0 + 1208U); t6 = *((char **)t5); t5 = (t0 + 1048U); t7 = *((char **)t5); xsi_vlogtype_concat(t4, 8, 8, 2U, t7, 2, t6, 6); LAB5: t5 = ((char*)((ng1))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t5, 8); if (t8 == 1) goto LAB6; LAB7: t2 = ((char*)((ng3))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t8 == 1) goto LAB8; LAB9: t2 = ((char*)((ng5))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t8 == 1) goto LAB10; LAB11: t2 = ((char*)((ng6))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t8 == 1) goto LAB12; LAB13: t2 = ((char*)((ng7))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t8 == 1) goto LAB14; LAB15: t2 = ((char*)((ng9))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t8 == 1) goto LAB16; LAB17: t2 = ((char*)((ng11))); t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8); if (t8 == 1) goto LAB18; LAB19: LAB20: goto LAB2; LAB6: xsi_set_current_line(29, ng0); t9 = ((char*)((ng2))); t10 = (t0 + 1608); xsi_vlogvar_assign_value(t10, t9, 0, 0, 4); goto LAB20; LAB8: xsi_set_current_line(30, ng0); t3 = ((char*)((ng4))); t5 = (t0 + 1608); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB20; LAB10: xsi_set_current_line(31, ng0); t3 = ((char*)((ng2))); t5 = (t0 + 1608); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB20; LAB12: xsi_set_current_line(32, ng0); t3 = ((char*)((ng4))); t5 = (t0 + 1608); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB20; LAB14: xsi_set_current_line(33, ng0); t3 = ((char*)((ng8))); t5 = (t0 + 1608); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB20; LAB16: xsi_set_current_line(34, ng0); t3 = ((char*)((ng10))); t5 = (t0 + 1608); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB20; LAB18: xsi_set_current_line(35, ng0); t3 = ((char*)((ng12))); t5 = (t0 + 1608); xsi_vlogvar_assign_value(t5, t3, 0, 0, 4); goto LAB20; }
static void Always_59_4(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; int t6; char *t7; char *t8; char *t9; LAB0: t1 = (t0 + 3584U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(59, ng0); t2 = (t0 + 4676); *((int *)t2) = 1; t3 = (t0 + 3612); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(60, ng0); LAB5: xsi_set_current_line(61, ng0); t4 = (t0 + 784U); t5 = *((char **)t4); LAB6: t4 = ((char*)((ng1))); t6 = xsi_vlog_unsigned_case_xcompare(t5, 32, t4, 32); if (t6 == 1) goto LAB7; LAB8: t2 = ((char*)((ng3))); t6 = xsi_vlog_unsigned_case_xcompare(t5, 32, t2, 32); if (t6 == 1) goto LAB9; LAB10: LAB12: LAB11: xsi_set_current_line(64, ng0); t2 = ((char*)((ng5))); t3 = (t0 + 2300); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); t4 = (t0 + 2208); xsi_vlogvar_assign_value(t4, t2, 1, 0, 1); LAB13: goto LAB2; LAB7: xsi_set_current_line(62, ng0); t7 = ((char*)((ng2))); t8 = (t0 + 2300); xsi_vlogvar_assign_value(t8, t7, 0, 0, 1); t9 = (t0 + 2208); xsi_vlogvar_assign_value(t9, t7, 1, 0, 1); goto LAB13; LAB9: xsi_set_current_line(63, ng0); t3 = ((char*)((ng4))); t4 = (t0 + 2300); xsi_vlogvar_assign_value(t4, t3, 0, 0, 1); t7 = (t0 + 2208); xsi_vlogvar_assign_value(t7, t3, 1, 0, 1); goto LAB13; }