static void unisim_a_1490675510_1976025627_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; LAB0: LAB3: t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 2744); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t4; xsi_driver_first_trans_fast_port(t1); LAB2: t9 = (t0 + 2664); *((int *)t9) = 1; LAB1: return; LAB4: goto LAB2; }
static void unisim_a_3055263662_1392679692_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; unsigned char t5; char *t6; char *t7; char *t8; char *t9; char *t10; LAB0: LAB3: t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t3); t5 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t4); t1 = (t0 + 2744); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); *((unsigned char *)t9) = t5; xsi_driver_first_trans_fast_port(t1); LAB2: t10 = (t0 + 2664); *((int *)t10) = 1; LAB1: return; LAB4: goto LAB2; }
static void unisim_a_0780662263_2014779070_p_1(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; LAB0: LAB3: t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 3640); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t4; xsi_driver_first_trans_fast_port(t1); LAB2: t9 = (t0 + 3560); *((int *)t9) = 1; LAB1: return; LAB4: goto LAB2; }
static void unisim_a_1478392591_3979135294_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; LAB0: t1 = (t0 + 1352U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 1648U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = t4; t1 = (t0 + 1648U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 1768U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = t4; t1 = (t0 + 1648U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 3552); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t3; xsi_driver_first_trans_fast_port(t1); t1 = (t0 + 1768U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 3616); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t3; xsi_driver_first_trans_fast_port(t1); t1 = (t0 + 3472); *((int *)t1) = 1; LAB1: return; }
static void simprim_a_1859873907_2082082460_p_1(char *t0) { char t41[16]; char t50[16]; char t51[16]; char *t1; char *t2; char *t3; unsigned char t4; unsigned char t5; char *t6; unsigned char t7; unsigned char t8; unsigned char t9; char *t10; unsigned char t11; unsigned char t12; char *t13; unsigned char t14; unsigned char t15; char *t16; unsigned char t17; unsigned char t18; char *t19; unsigned char t20; unsigned char t21; int t22; unsigned int t23; unsigned int t24; unsigned int t25; int64 t26; int64 t27; int t28; unsigned int t29; unsigned int t30; unsigned int t31; int64 t32; int64 t33; char *t34; char *t35; char *t36; char *t37; char *t38; char *t39; char *t40; char *t42; char *t43; int t44; unsigned int t45; char *t46; char *t47; char *t48; int64 t49; char *t52; char *t53; LAB0: t1 = (t0 + 4592U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1616U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t4); t2 = (t0 + 3112U); t6 = *((char **)t2); t2 = (t6 + 0); *((unsigned char *)t2) = t5; t2 = (t0 + 3232U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)1); if (t5 != 0) goto LAB4; LAB6: t2 = (t0 + 2272U); t3 = *((char **)t2); t22 = ((unsigned char)0 - 0); t23 = (t22 * 1); t24 = (8U * t23); t25 = (0 + t24); t2 = (t3 + t25); t26 = *((int64 *)t2); t6 = (t0 + 2392U); t10 = *((char **)t6); t27 = *((int64 *)t10); t5 = (t26 < t27); if (t5 == 1) goto LAB23; LAB24: t6 = (t0 + 2272U); t13 = *((char **)t6); t28 = ((unsigned char)1 - 0); t29 = (t28 * 1); t30 = (8U * t29); t31 = (0 + t30); t6 = (t13 + t31); t32 = *((int64 *)t6); t16 = (t0 + 2392U); t19 = *((char **)t16); t33 = *((int64 *)t19); t7 = (t32 < t33); t4 = t7; LAB25: if (t4 != 0) goto LAB20; LAB22: t16 = (t0 + 4400); t34 = (t0 + 2992U); t35 = *((char **)t34); t34 = (t35 + 0); t36 = (t0 + 1256U); t37 = (t0 + 5104); t38 = (t0 + 2752U); t39 = *((char **)t38); t38 = (t0 + 8220); t42 = (t41 + 0U); t43 = (t42 + 0U); *((int *)t43) = 1; t43 = (t42 + 4U); *((int *)t43) = 1; t43 = (t42 + 8U); *((int *)t43) = 1; t44 = (1 - 1); t45 = (t44 * 1); t45 = (t45 + 1); t43 = (t42 + 12U); *((unsigned int *)t43) = t45; t43 = (t0 + 3112U); t46 = *((char **)t43); t8 = *((unsigned char *)t46); t43 = (t0 + 2872U); t47 = *((char **)t43); t9 = *((unsigned char *)t47); t43 = (t0 + 2392U); t48 = *((char **)t43); t49 = *((int64 *)t48); simprim_p_4208868169_sub_11825782690353658018_3008368149(SIMPRIM_P_4208868169, t16, t34, t36, 0U, 0U, t37, t39, t38, t41, t8, t9, t49, (unsigned char)0, (unsigned char)1); LAB21: LAB5: t2 = (t0 + 2992U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)0); if (t5 != 0) goto LAB26; LAB28: LAB27: t2 = (t0 + 2992U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)1); if (t5 != 0) goto LAB29; LAB31: LAB30: t2 = (t0 + 1616U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t4); t2 = (t0 + 2512U); t6 = *((char **)t2); t2 = (t6 + 0); *((unsigned char *)t2) = t5; t2 = (t0 + 4400); t3 = (t0 + 1256U); t6 = (t0 + 5104); t10 = (t0 + 2632U); t13 = *((char **)t10); t10 = (t0 + 8221); t19 = (t41 + 0U); t34 = (t19 + 0U); *((int *)t34) = 1; t34 = (t19 + 4U); *((int *)t34) = 1; t34 = (t19 + 8U); *((int *)t34) = 1; t22 = (1 - 1); t23 = (t22 * 1); t23 = (t23 + 1); t34 = (t19 + 12U); *((unsigned int *)t34) = t23; t34 = (t0 + 2512U); t35 = *((char **)t34); t4 = *((unsigned char *)t35); t34 = xsi_get_transient_memory(32U); memset(t34, 0, 32U); t36 = t34; t28 = (0 - 0); t23 = (t28 * 1); t24 = (32U * t23); t37 = (t36 + t24); t38 = t37; t39 = (t0 + 1576U); t26 = xsi_signal_get_last_event(t39); *((int64 *)t38) = t26; t40 = (t37 + 8U); t42 = (t0 + 2272U); t43 = *((char **)t42); memcpy(t40, t43, 16U); t42 = (t37 + 24U); *((unsigned char *)t42) = (unsigned char)1; t46 = (t50 + 0U); t47 = (t46 + 0U); *((int *)t47) = 0; t47 = (t46 + 4U); *((int *)t47) = 0; t47 = (t46 + 8U); *((int *)t47) = 1; t44 = (0 - 0); t25 = (t44 * 1); t25 = (t25 + 1); t47 = (t46 + 12U); *((unsigned int *)t47) = t25; t47 = ((IEEE_P_2717149903) + 1288U); t48 = *((char **)t47); memcpy(t51, t48, 16U); t47 = (t0 + 1912U); t52 = *((char **)t47); t5 = *((unsigned char *)t52); t47 = (t0 + 2032U); t53 = *((char **)t47); t7 = *((unsigned char *)t53); ieee_p_2717149903_sub_15516143898403869343_2101202839(IEEE_P_2717149903, t2, t3, 0U, 0U, t6, t13, t10, t41, t4, t34, t50, t51, (unsigned char)3, t5, t7, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); LAB34: t2 = (t0 + 4960); *((int *)t2) = 1; *((char **)t1) = &&LAB35; LAB1: return; LAB4: LAB9: t2 = (t0 + 4928); *((int *)t2) = 1; *((char **)t1) = &&LAB10; goto LAB1; LAB7: t6 = (t0 + 4928); *((int *)t6) = 0; t2 = (t0 + 3232U); t3 = *((char **)t2); t2 = (t3 + 0); *((unsigned char *)t2) = (unsigned char)0; goto LAB5; LAB8: t6 = (t0 + 1616U); t10 = *((char **)t6); t11 = *((unsigned char *)t10); t12 = (t11 == (unsigned char)2); if (t12 == 1) goto LAB17; LAB18: t6 = (t0 + 1616U); t13 = *((char **)t6); t14 = *((unsigned char *)t13); t15 = (t14 == (unsigned char)3); t9 = t15; LAB19: if (t9 == 1) goto LAB14; LAB15: t6 = (t0 + 1616U); t16 = *((char **)t6); t17 = *((unsigned char *)t16); t18 = (t17 == (unsigned char)6); t8 = t18; LAB16: if (t8 == 1) goto LAB11; LAB12: t6 = (t0 + 1616U); t19 = *((char **)t6); t20 = *((unsigned char *)t19); t21 = (t20 == (unsigned char)7); t7 = t21; LAB13: if (t7 == 1) goto LAB7; else goto LAB9; LAB10: goto LAB8; LAB11: t7 = (unsigned char)1; goto LAB13; LAB14: t8 = (unsigned char)1; goto LAB16; LAB17: t9 = (unsigned char)1; goto LAB19; LAB20: goto LAB21; LAB23: t4 = (unsigned char)1; goto LAB25; LAB26: t2 = (t0 + 2512U); t6 = *((char **)t2); t7 = *((unsigned char *)t6); t8 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t7); t2 = (t0 + 2872U); t10 = *((char **)t2); t2 = (t10 + 0); *((unsigned char *)t2) = t8; goto LAB27; LAB29: t2 = (t0 + 2992U); t6 = *((char **)t2); t2 = (t6 + 0); *((unsigned char *)t2) = (unsigned char)0; goto LAB30; LAB32: t3 = (t0 + 4960); *((int *)t3) = 0; goto LAB2; LAB33: goto LAB32; LAB35: goto LAB33; }
static void unisim_a_0193039582_1428675764_p_1(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; char *t12; unsigned char t13; unsigned char t14; unsigned char t15; unsigned char t16; unsigned char t17; char *t18; char *t19; LAB0: t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_381452733968206518_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 4352); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t4; xsi_driver_first_trans_fast_port(t1); t1 = (t0 + 1512U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t9 = (t4 == (unsigned char)3); if (t9 == 1) goto LAB5; LAB6: t1 = (t0 + 1512U); t5 = *((char **)t1); t10 = *((unsigned char *)t5); t11 = (t10 == (unsigned char)7); t3 = t11; LAB7: if (t3 != 0) goto LAB2; LAB4: t1 = (t0 + 1512U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t9 = (t4 == (unsigned char)2); if (t9 == 1) goto LAB10; LAB11: t1 = (t0 + 1512U); t5 = *((char **)t1); t10 = *((unsigned char *)t5); t11 = (t10 == (unsigned char)6); t3 = t11; LAB12: if (t3 != 0) goto LAB8; LAB9: t1 = (t0 + 1512U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB26; LAB27: t1 = (t0 + 4416); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast_port(t1); LAB3: t1 = (t0 + 4272); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 4416); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t12 = *((char **)t8); *((unsigned char *)t12) = (unsigned char)4; xsi_driver_first_trans_fast_port(t1); goto LAB3; LAB5: t3 = (unsigned char)1; goto LAB7; LAB8: t1 = (t0 + 1352U); t6 = *((char **)t1); t14 = *((unsigned char *)t6); t15 = (t14 == (unsigned char)3); if (t15 == 1) goto LAB16; LAB17: t1 = (t0 + 1352U); t7 = *((char **)t1); t16 = *((unsigned char *)t7); t17 = (t16 == (unsigned char)7); t13 = t17; LAB18: if (t13 != 0) goto LAB13; LAB15: t1 = (t0 + 1352U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t9 = (t4 == (unsigned char)2); if (t9 == 1) goto LAB21; LAB22: t1 = (t0 + 1352U); t5 = *((char **)t1); t10 = *((unsigned char *)t5); t11 = (t10 == (unsigned char)6); t3 = t11; LAB23: if (t3 != 0) goto LAB19; LAB20: t1 = (t0 + 1352U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB24; LAB25: t1 = (t0 + 4416); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast_port(t1); LAB14: goto LAB3; LAB10: t3 = (unsigned char)1; goto LAB12; LAB13: t1 = (t0 + 4416); t8 = (t1 + 56U); t12 = *((char **)t8); t18 = (t12 + 56U); t19 = *((char **)t18); *((unsigned char *)t19) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); goto LAB14; LAB16: t13 = (unsigned char)1; goto LAB18; LAB19: t1 = (t0 + 4416); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t12 = *((char **)t8); *((unsigned char *)t12) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); goto LAB14; LAB21: t3 = (unsigned char)1; goto LAB23; LAB24: t1 = (t0 + 4416); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)0; xsi_driver_first_trans_fast_port(t1); goto LAB14; LAB26: t1 = (t0 + 4416); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)0; xsi_driver_first_trans_fast_port(t1); goto LAB3; }