static void Gate_128_0(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; LAB0: t1 = (t0 + 4208U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1616U); t3 = *((char **)t2); t2 = (t0 + 4608); t4 = (t2 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); xsi_vlog_notGate(t7, t3); t8 = (t0 + 4608); xsi_driver_vfirst_trans_delayed(t8, 0, 0, 1LL, 0); t9 = (t0 + 4528); *((int *)t9) = 1; LAB1: return; }
static void Gate_281_2(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; LAB0: t1 = (t0 + 6152U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 2256U); t3 = *((char **)t2); t2 = (t0 + 12520); t4 = (t2 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); xsi_vlog_notGate(t7, t3); t8 = (t0 + 12520); xsi_driver_vfirst_trans_delayed(t8, 0, 0, 0LL, 0); t9 = (t0 + 11960); *((int *)t9) = 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; LAB0: t1 = (t0 + 2368U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1208U); t3 = *((char **)t2); t2 = (t0 + 2768); t4 = (t2 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); xsi_vlog_notGate(t7, t3); t8 = (t0 + 2768); xsi_driver_vfirst_trans(t8, 0, 0); t9 = (t0 + 2688); *((int *)t9) = 1; LAB1: return; }
static void Gate_33_1(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; LAB0: t1 = (t0 + 2048U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 692U); t3 = *((char **)t2); t2 = (t0 + 2940); t4 = (t2 + 32U); t5 = *((char **)t4); t6 = (t5 + 40U); t7 = *((char **)t6); xsi_vlog_notGate(t7, t3); t8 = (t0 + 2940); xsi_driver_vfirst_trans(t8, 0, 0); t9 = (t0 + 2828); *((int *)t9) = 1; LAB1: return; }
static void Gate_35_2(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; LAB0: t1 = (t0 + 4072U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng1))); t3 = (t0 + 4880); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); xsi_vlog_notGate(t7, t2); t8 = (t0 + 4880); xsi_driver_vfirst_trans_delayed(t8, 0, 0, 1LL, 0); LAB1: return; }
static void G34_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; char *t12; char *t13; unsigned int t14; unsigned int t15; char *t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; char *t23; char *t24; LAB0: t1 = (t0 + 1524U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 652U); t3 = *((char **)t2); t2 = (t0 + 1884); t4 = (t2 + 32U); t5 = *((char **)t4); t6 = (t5 + 40U); t7 = *((char **)t6); xsi_vlog_notGate(t7, t3); t8 = (t0 + 1884); t9 = (t8 + 32U); t10 = *((char **)t9); t11 = (t10 + 40U); t12 = *((char **)t11); t13 = (t12 + 4U); t14 = 1U; t15 = t14; t16 = (t7 + 4U); t17 = *((unsigned int *)t7); t14 = (t14 & t17); t18 = *((unsigned int *)t16); t15 = (t15 & t18); t19 = *((unsigned int *)t12); *((unsigned int *)t12) = (t19 & 4294967294U); t20 = *((unsigned int *)t12); *((unsigned int *)t12) = (t20 | t14); t21 = *((unsigned int *)t13); *((unsigned int *)t13) = (t21 & 4294967294U); t22 = *((unsigned int *)t13); *((unsigned int *)t13) = (t22 | t15); t23 = (t0 + 1884); xsi_driver_vfirst_trans(t23, 0, 0); t24 = (t0 + 1832); *((int *)t24) = 1; LAB1: return; }