static void Gate_31_11(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 + 6776U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3:
goto *t2;
LAB2:
t2 = ((char*)((ng1)));
t3 = (t0 + 1616U);
t4 = *((char **)t3);
t3 = (t0 + 8584);
t5 = (t3 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
xsi_vlog_pmosSwitch(t8, t2, t4);
t9 = (t0 + 8584);
t10 = (t9 + 56U);
xsi_vlog_switch_set_trans_strength(*((char **)t10), 0, 0, 0, 0);
t11 = (t0 + 8584);
xsi_driver_vfirst_trans_bufif_delayed(t11, 0, 0, 1LL, 0);
t12 = (t0 + 7768);
*((int *)t12) = 1;
LAB1:
return;
}
static void Gate_301_22(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 + 11112U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 4496U);
t3 = *((char **)t2);
t2 = (t0 + 2416U);
t4 = *((char **)t2);
t2 = (t0 + 13800);
t5 = (t2 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
xsi_vlog_pmosSwitch(t8, t3, t4);
t9 = (t0 + 13800);
t10 = (t9 + 56U);
t11 = (t0 + 4456U);
xsi_vlog_switch_set_trans_strength(*((char **)t10), t11, 0, 0, 0);
t12 = (t0 + 13800);
xsi_driver_vfirst_trans_bufif_delayed(t12, 0, 0, 0LL, 0);
t13 = (t0 + 12280);
*((int *)t13) = 1;
LAB1: return;
}