static void Gate_29_0(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; LAB0: t1 = (t0 + 2528U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1208U); t3 = *((char **)t2); t2 = (t0 + 1368U); t4 = *((char **)t2); t2 = (t0 + 2928); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_XorGate(t8, 2, t3, t4); t9 = (t0 + 2928); xsi_driver_vfirst_trans(t9, 0, 0); t10 = (t0 + 2848); *((int *)t10) = 1; LAB1: return; }
static void Gate_29_0(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; LAB0: t1 = (t0 + 2688U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1208U); t3 = *((char **)t2); t2 = (t0 + 1368U); t4 = *((char **)t2); t2 = (t0 + 1528U); t5 = *((char **)t2); t2 = (t0 + 3088); t6 = (t2 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); xsi_vlog_XorGate(t9, 3, t3, t4, t5); t10 = (t0 + 3088); xsi_driver_vfirst_trans(t10, 0, 0); t11 = (t0 + 3008); *((int *)t11) = 1; LAB1: return; }
static void Gate_9_0(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; LAB0: t1 = (t0 + 1904U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 784U); t3 = *((char **)t2); t2 = (t0 + 876U); t4 = *((char **)t2); t2 = (t0 + 968U); t5 = *((char **)t2); t2 = (t0 + 2752); t6 = (t2 + 32U); t7 = *((char **)t6); t8 = (t7 + 40U); t9 = *((char **)t8); xsi_vlog_XorGate(t9, 3, t3, t4, t5); t10 = (t0 + 2752); xsi_driver_vfirst_trans(t10, 0, 0); t11 = (t0 + 2676); *((int *)t11) = 1; LAB1: return; }
static void Gate_31_0(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; LAB0: t1 = (t0 + 1444U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 692U); t3 = *((char **)t2); t2 = (t0 + 784U); t4 = *((char **)t2); t2 = (t0 + 1684); t5 = (t2 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); xsi_vlog_XorGate(t8, 2, t3, t4); t9 = (t0 + 1684); xsi_driver_vfirst_trans(t9, 0, 0); t10 = (t0 + 1640); *((int *)t10) = 1; LAB1: return; }