static void Gate_36_1(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 + 3336U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1776U); t3 = *((char **)t2); t2 = (t0 + 1936U); t4 = *((char **)t2); t2 = (t0 + 4328); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_bufIf0Gate(t8, t3, t4); t9 = (t0 + 4328); xsi_driver_vfirst_trans_bufif(t9, 0, 0); t10 = (t0 + 4168); *((int *)t10) = 1; LAB1: return; }
static void Gate_39_3(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 + 4024U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1640U); t3 = *((char **)t2); t2 = (t0 + 1960U); t4 = *((char **)t2); t2 = (t0 + 4912); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_notIf0Gate(t8, t3, t4); t9 = (t0 + 4912); xsi_driver_vfirst_trans_bufif(t9, 0, 0); t10 = (t0 + 4640); *((int *)t10) = 1; LAB1: return; }
static void Gate_51_2(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 + 4480U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 2184U); t3 = *((char **)t2); t2 = (t0 + 2504U); t4 = *((char **)t2); t2 = (t0 + 5816); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_bufIf0Gate(t8, t3, t4); t9 = (t0 + 5816); xsi_driver_vfirst_trans_bufif(t9, 0, 0); t10 = (t0 + 5576); *((int *)t10) = 1; LAB1: return; }
static void Gate_37_1(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 + 1908U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1012U); t3 = *((char **)t2); t2 = (t0 + 1104U); t4 = *((char **)t2); t2 = (t0 + 2336); t5 = (t2 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); xsi_vlog_bufIf0Gate(t8, t3, t4); t9 = (t0 + 2336); xsi_driver_vfirst_trans_bufif(t9, 0, 0); t10 = (t0 + 2256); *((int *)t10) = 1; LAB1: return; }