static void Always_43_3(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; LAB0: t1 = (t0 + 3880U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 4728); *((int *)t2) = 1; t3 = (t0 + 3912); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: t4 = (t0 + 1824U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB5; LAB6: t2 = (t0 + 2224); xsi_vlogvar_deassign(t2, 0, 0); LAB7: goto LAB2; LAB5: t11 = (t0 + 2224); xsi_set_assignedflag(t11); t12 = (t0 + 6384); *((int *)t12) = 1; NetReassign_45_6(t0); goto LAB7; }
static void Always_44_3(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; LAB0: t1 = (t0 + 4048U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 5144); *((int *)t2) = 1; t3 = (t0 + 4080); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: t4 = (t0 + 1984U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB5; LAB6: t2 = (t0 + 1664U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB8; LAB9: t2 = (t0 + 2384); xsi_vlogvar_deassign(t2, 0, 0); LAB10: LAB7: goto LAB2; LAB5: t11 = (t0 + 2384); xsi_set_assignedflag(t11); t12 = (t0 + 6880); *((int *)t12) = 1; NetReassign_46_6(t0); goto LAB7; LAB8: t4 = (t0 + 2384); xsi_set_assignedflag(t4); t5 = (t0 + 6884); *((int *)t5) = 1; NetReassign_48_7(t0); goto LAB10; }
static void Always_43_3(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; LAB0: t1 = (t0 + 4200U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 5544); *((int *)t2) = 1; t3 = (t0 + 4232); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: t4 = (t0 + 2144U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB5; LAB6: t2 = (t0 + 1664U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB8; LAB9: t2 = (t0 + 1984U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB11; LAB12: t2 = (t0 + 2544); xsi_vlogvar_deassign(t2, 0, 0); LAB13: LAB10: LAB7: goto LAB2; LAB5: t11 = (t0 + 2544); xsi_set_assignedflag(t11); t12 = (t0 + 7296); *((int *)t12) = 1; NetReassign_45_7(t0); goto LAB7; LAB8: t4 = (t0 + 2544); xsi_set_assignedflag(t4); t5 = (t0 + 7300); *((int *)t5) = 1; NetReassign_47_8(t0); goto LAB10; LAB11: t4 = (t0 + 2544); xsi_set_assignedflag(t4); t5 = (t0 + 7304); *((int *)t5) = 1; NetReassign_49_9(t0); goto LAB13; }