static void Gate_21_1(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; LAB0: t1 = (t0 + 4296U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng0))); t3 = (t0 + 1936U); t4 = *((char **)t3); t3 = (t0 + 7944); t5 = (t3 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_nmosSwitch(t8, t2, t4); t9 = (t0 + 7944); t10 = (t9 + 56U); xsi_vlog_switch_set_trans_strength(*((char **)t10), 0, 0, 0, 0); t11 = (t0 + 7944); xsi_driver_vfirst_trans_bufif_delayed(t11, 0, 0, 1LL, 0); t12 = (t0 + 7608); *((int *)t12) = 1; LAB1: return; }
static void Gate_292_13(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; LAB0: t1 = (t0 + 8880U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 3856U); t3 = *((char **)t2); t2 = (t0 + 2256U); t4 = *((char **)t2); t2 = (t0 + 13224); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_nmosSwitch(t8, t3, t4); t9 = (t0 + 13224); t10 = (t9 + 56U); t11 = (t0 + 3816U); xsi_vlog_switch_set_trans_strength(*((char **)t10), t11, 0, 0, 0); t12 = (t0 + 13224); xsi_driver_vfirst_trans_bufif_delayed(t12, 0, 0, 0LL, 0); t13 = (t0 + 12136); *((int *)t13) = 1; LAB1: return; }