static void work_a_1807860035_3212880686_p_20(char *t0) { char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; char *t6; char *t7; char *t8; char *t9; LAB0: xsi_set_current_line(156, ng0); t1 = (t0 + 992U); t2 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 12728); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(157, ng0); t3 = (t0 + 4232U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t3 = (t0 + 14104); t6 = (t3 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); *((unsigned char *)t9) = t5; xsi_driver_first_trans_fast_port(t3); goto LAB3; }
static void unisim_a_1297477671_0429821216_p_7(char *t0) { char *t1; char *t2; char *t3; unsigned char t4; unsigned char t5; char *t6; char *t7; char *t8; char *t9; unsigned char t10; int t11; unsigned char t12; unsigned char t13; int64 t14; int64 t15; unsigned char t16; char *t17; char *t18; char *t19; int t20; unsigned char t21; unsigned char t22; char *t23; LAB0: t1 = (t0 + 7368U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1512U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)3); if (t5 != 0) goto LAB4; LAB6: t2 = (t0 + 1352U); t3 = *((char **)t2); t5 = *((unsigned char *)t3); t10 = (t5 == (unsigned char)1); if (t10 == 1) goto LAB10; LAB11: t4 = (unsigned char)0; LAB12: if (t4 != 0) goto LAB7; LAB9: LAB8: LAB5: LAB37: t2 = (t0 + 8048); *((int *)t2) = 1; *((char **)t1) = &&LAB38; LAB1: return; LAB4: t2 = (t0 + 8912); t6 = (t2 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); *((unsigned char *)t9) = (unsigned char)2; xsi_driver_first_trans_fast(t2); goto LAB5; LAB7: t2 = (t0 + 1152U); t13 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t2, 0U, 0U); if (t13 != 0) goto LAB13; LAB15: LAB14: goto LAB8; LAB10: t2 = (t0 + 3752U); t6 = *((char **)t2); t11 = *((int *)t6); t12 = (t11 == 1); t4 = t12; goto LAB12; LAB13: t7 = (t0 + 1672U); t8 = *((char **)t7); t14 = *((int64 *)t8); t15 = (0 * 1LL); t16 = (t14 != t15); if (t16 != 0) goto LAB16; LAB18: LAB17: t2 = (t0 + 2312U); t3 = *((char **)t2); t14 = *((int64 *)t3); t2 = (t0 + 7176); xsi_process_wait(t2, t14); LAB21: *((char **)t1) = &&LAB22; goto LAB1; LAB16: t7 = (t0 + 8912); t9 = (t7 + 56U); t17 = *((char **)t9); t18 = (t17 + 56U); t19 = *((char **)t18); *((unsigned char *)t19) = (unsigned char)2; xsi_driver_first_trans_fast(t7); goto LAB17; LAB19: t2 = (t0 + 3432U); t3 = *((char **)t2); t11 = *((int *)t3); t12 = (t11 != 1); if (t12 == 1) goto LAB32; LAB33: t10 = (unsigned char)0; LAB34: if (t10 == 1) goto LAB29; LAB30: t5 = (unsigned char)0; LAB31: if (t5 == 1) goto LAB26; LAB27: t4 = (unsigned char)0; LAB28: if (t4 != 0) goto LAB23; LAB25: LAB24: goto LAB14; LAB20: goto LAB19; LAB22: goto LAB20; LAB23: t2 = (t0 + 8912); t17 = (t2 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t23 = *((char **)t19); *((unsigned char *)t23) = (unsigned char)3; xsi_driver_first_trans_fast(t2); goto LAB24; LAB26: t2 = (t0 + 1672U); t8 = *((char **)t2); t14 = *((int64 *)t8); t2 = (t0 + 1832U); t9 = *((char **)t2); t15 = *((int64 *)t9); t22 = (t14 <= t15); t4 = t22; goto LAB28; LAB29: t2 = (t0 + 1512U); t7 = *((char **)t2); t16 = *((unsigned char *)t7); t21 = (t16 == (unsigned char)2); t5 = t21; goto LAB31; LAB32: t2 = (t0 + 2952U); t6 = *((char **)t2); t20 = *((int *)t6); t13 = (t20 != 1); t10 = t13; goto LAB34; LAB35: t3 = (t0 + 8048); *((int *)t3) = 0; goto LAB2; LAB36: goto LAB35; LAB38: goto LAB36; }
static void unisim_a_1297477671_0429821216_p_5(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; LAB0: t1 = (t0 + 1512U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1152U); t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB5; LAB7: LAB6: t1 = (t0 + 1152U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB8; LAB10: LAB9: LAB3: t1 = (t0 + 8016); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 8720); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((int *)t8) = 0; xsi_driver_first_trans_fast(t1); t1 = (t0 + 8784); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((int *)t7) = 0; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: t2 = (t0 + 8720); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((int *)t8) = 1; xsi_driver_first_trans_fast(t2); goto LAB6; LAB8: t2 = (t0 + 8784); t5 = (t2 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((int *)t8) = 1; xsi_driver_first_trans_fast(t2); goto LAB9; }
static void unisim_a_1297477671_0429821216_p_2(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; int64 t5; char *t6; char *t7; char *t8; char *t9; int64 t10; int64 t11; int64 t12; unsigned char t13; int64 t14; char *t15; char *t16; char *t17; unsigned char t18; int t19; unsigned char t20; LAB0: t1 = (t0 + 1512U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1152U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB5; LAB6: LAB3: t1 = (t0 + 7968); *((int *)t1) = 1; LAB1: return; LAB2: t5 = (0 * 1LL); t1 = (t0 + 8336); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); *((int64 *)t9) = t5; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: t2 = (t0 + 4528U); t6 = *((char **)t2); t5 = *((int64 *)t6); t2 = (t0 + 4408U); t7 = *((char **)t2); t2 = (t7 + 0); *((int64 *)t2) = t5; t5 = xsi_get_sim_current_time(); t1 = (t0 + 4528U); t2 = *((char **)t1); t1 = (t2 + 0); *((int64 *)t1) = t5; t1 = (t0 + 4528U); t2 = *((char **)t1); t5 = *((int64 *)t2); t1 = (t0 + 4408U); t6 = *((char **)t1); t10 = *((int64 *)t6); t11 = (t5 - t10); t1 = (t0 + 4648U); t7 = *((char **)t1); t1 = (t7 + 0); *((int64 *)t1) = t11; t1 = (t0 + 1832U); t2 = *((char **)t1); t5 = *((int64 *)t2); t10 = (0 * 1LL); t4 = (t5 != t10); if (t4 == 1) goto LAB10; LAB11: t3 = (unsigned char)0; LAB12: if (t3 != 0) goto LAB7; LAB9: t1 = (t0 + 1832U); t2 = *((char **)t1); t5 = *((int64 *)t2); t10 = (0 * 1LL); t4 = (t5 != t10); if (t4 == 1) goto LAB15; LAB16: t3 = (unsigned char)0; LAB17: if (t3 != 0) goto LAB13; LAB14: t1 = (t0 + 1832U); t2 = *((char **)t1); t5 = *((int64 *)t2); t10 = (0 * 1LL); t13 = (t5 == t10); if (t13 == 1) goto LAB23; LAB24: t4 = (unsigned char)0; LAB25: if (t4 == 1) goto LAB20; LAB21: t3 = (unsigned char)0; LAB22: if (t3 != 0) goto LAB18; LAB19: LAB8: goto LAB3; LAB7: t1 = (t0 + 4648U); t8 = *((char **)t1); t14 = *((int64 *)t8); t1 = (t0 + 8336); t9 = (t1 + 56U); t15 = *((char **)t9); t16 = (t15 + 56U); t17 = *((char **)t16); *((int64 *)t17) = t14; xsi_driver_first_trans_fast(t1); goto LAB8; LAB10: t1 = (t0 + 4648U); t6 = *((char **)t1); t11 = *((int64 *)t6); t1 = (t0 + 2152U); t7 = *((char **)t1); t12 = *((int64 *)t7); t13 = (t11 <= t12); t3 = t13; goto LAB12; LAB13: t14 = (0 * 1LL); t1 = (t0 + 8336); t8 = (t1 + 56U); t9 = *((char **)t8); t15 = (t9 + 56U); t16 = *((char **)t15); *((int64 *)t16) = t14; xsi_driver_first_trans_fast(t1); goto LAB8; LAB15: t1 = (t0 + 4648U); t6 = *((char **)t1); t11 = *((int64 *)t6); t1 = (t0 + 2152U); t7 = *((char **)t1); t12 = *((int64 *)t7); t13 = (t11 > t12); t3 = t13; goto LAB17; LAB18: t1 = (t0 + 4648U); t8 = *((char **)t1); t14 = *((int64 *)t8); t1 = (t0 + 8336); t9 = (t1 + 56U); t15 = *((char **)t9); t16 = (t15 + 56U); t17 = *((char **)t16); *((int64 *)t17) = t14; xsi_driver_first_trans_fast(t1); goto LAB8; LAB20: t1 = (t0 + 3752U); t7 = *((char **)t1); t19 = *((int *)t7); t20 = (t19 == 1); t3 = t20; goto LAB22; LAB23: t1 = (t0 + 4408U); t6 = *((char **)t1); t11 = *((int64 *)t6); t12 = (0 * 1LL); t18 = (t11 != t12); t4 = t18; goto LAB25; }
static void simprim_a_3156740924_4150518722_p_2(char *t0) { char t31[16]; char t47[16]; char t51[48]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; unsigned char t7; char *t8; int t9; unsigned int t10; unsigned int t11; unsigned int t12; int64 t13; int64 t14; char *t15; int t16; unsigned int t17; unsigned int t18; unsigned int t19; int64 t20; char *t21; char *t22; int64 t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; char *t30; char *t32; char *t33; int t34; unsigned int t35; char *t36; char *t37; unsigned char t38; char *t39; int64 t40; char *t41; char *t42; char *t43; char *t44; char *t45; char *t46; char *t48; int t49; char *t50; char *t52; char *t53; LAB0: t1 = (t0 + 1776U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 3392U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = t4; t1 = (t0 + 1576U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 1616U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB5; LAB7: LAB6: t1 = (t0 + 3272U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB17; LAB19: LAB18: t1 = (t0 + 1776U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 1616U); t5 = *((char **)t1); t4 = *((unsigned char *)t5); t1 = ((IEEE_P_2717149903) + 1888U); t8 = *((char **)t1); t6 = ieee_p_1367372525_sub_3976821582_4070434989(IEEE_P_1367372525, t3, t4, t8); t1 = (t0 + 2792U); t15 = *((char **)t1); t1 = (t15 + 0); *((unsigned char *)t1) = t6; t1 = (t0 + 5496); t2 = (t0 + 1256U); t5 = (t0 + 6264); t8 = (t0 + 2912U); t15 = *((char **)t8); t8 = (t0 + 9829); t22 = (t31 + 0U); t24 = (t22 + 0U); *((int *)t24) = 1; t24 = (t22 + 4U); *((int *)t24) = 1; t24 = (t22 + 8U); *((int *)t24) = 1; t9 = (1 - 1); t10 = (t9 * 1); t10 = (t10 + 1); t24 = (t22 + 12U); *((unsigned int *)t24) = t10; t24 = (t0 + 2792U); t25 = *((char **)t24); t3 = *((unsigned char *)t25); t24 = xsi_get_transient_memory(128U); memset(t24, 0, 128U); t26 = t24; t16 = (0 - 0); t10 = (t16 * 1); t11 = (64U * t10); t27 = (t26 + t11); t28 = t27; t29 = (t0 + 1576U); t13 = xsi_signal_get_last_event(t29); *((int64 *)t28) = t13; t30 = (t27 + 8U); t32 = (t0 + 3632U); t33 = *((char **)t32); memcpy(t30, t33, 48U); t32 = (t27 + 56U); *((unsigned char *)t32) = (unsigned char)1; t34 = (1 - 0); t12 = (t34 * 1); t17 = (64U * t12); t36 = (t26 + t17); t37 = t36; t39 = (t0 + 1736U); t14 = xsi_signal_get_last_event(t39); *((int64 *)t37) = t14; t41 = (t36 + 8U); t42 = (t0 + 2552U); t43 = *((char **)t42); t42 = ieee_p_2717149903_sub_4115899059_2101202839(IEEE_P_2717149903, t43); memcpy(t41, t42, 48U); t44 = (t36 + 56U); t45 = (t0 + 1616U); t46 = *((char **)t45); t4 = *((unsigned char *)t46); t6 = (t4 == (unsigned char)2); *((unsigned char *)t44) = t6; t45 = (t47 + 0U); t48 = (t45 + 0U); *((int *)t48) = 0; t48 = (t45 + 4U); *((int *)t48) = 1; t48 = (t45 + 8U); *((int *)t48) = 1; t49 = (1 - 0); t18 = (t49 * 1); t18 = (t18 + 1); t48 = (t45 + 12U); *((unsigned int *)t48) = t18; t48 = ((IEEE_P_2717149903) + 1408U); t50 = *((char **)t48); memcpy(t51, t50, 48U); t48 = (t0 + 2072U); t52 = *((char **)t48); t7 = *((unsigned char *)t52); t48 = (t0 + 2192U); t53 = *((char **)t48); t38 = *((unsigned char *)t53); t48 = (t0 + 9830); ieee_p_2717149903_sub_3490601596_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t5, t15, t8, t31, t3, t24, t47, t51, (unsigned char)3, t7, t38, (unsigned char)1, t48, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 3272U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)1); if (t4 != 0) goto LAB20; LAB22: LAB21: t1 = (t0 + 6040); *((int *)t1) = 1; LAB1: return; LAB2: t2 = (t0 + 3512U); t5 = *((char **)t2); t2 = (t5 + 0); *((unsigned char *)t2) = (unsigned char)1; goto LAB3; LAB5: t1 = (t0 + 3512U); t5 = *((char **)t1); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)1); if (t7 != 0) goto LAB8; LAB10: t1 = (t0 + 2552U); t2 = *((char **)t1); t9 = ((unsigned char)0 - 0); t10 = (t9 * 1); t11 = (8U * t10); t12 = (0 + t11); t1 = (t2 + t12); t13 = *((int64 *)t1); t5 = (t0 + 2672U); t8 = *((char **)t5); t14 = *((int64 *)t8); t4 = (t13 < t14); if (t4 == 1) goto LAB14; LAB15: t5 = (t0 + 2552U); t15 = *((char **)t5); t16 = ((unsigned char)1 - 0); t17 = (t16 * 1); t18 = (8U * t17); t19 = (0 + t18); t5 = (t15 + t19); t20 = *((int64 *)t5); t21 = (t0 + 2672U); t22 = *((char **)t21); t23 = *((int64 *)t22); t6 = (t20 < t23); t3 = t6; LAB16: if (t3 != 0) goto LAB11; LAB13: t21 = (t0 + 5496); t24 = (t0 + 3272U); t25 = *((char **)t24); t24 = (t25 + 0); t26 = (t0 + 1256U); t27 = (t0 + 6264); t28 = (t0 + 3032U); t29 = *((char **)t28); t28 = (t0 + 9828); t32 = (t31 + 0U); t33 = (t32 + 0U); *((int *)t33) = 1; t33 = (t32 + 4U); *((int *)t33) = 1; t33 = (t32 + 8U); *((int *)t33) = 1; t34 = (1 - 1); t35 = (t34 * 1); t35 = (t35 + 1); t33 = (t32 + 12U); *((unsigned int *)t33) = t35; t33 = (t0 + 3392U); t36 = *((char **)t33); t7 = *((unsigned char *)t36); t33 = (t0 + 3152U); t37 = *((char **)t33); t38 = *((unsigned char *)t37); t33 = (t0 + 2672U); t39 = *((char **)t33); t40 = *((int64 *)t39); simprim_p_4208868169_sub_293484706_3008368149(SIMPRIM_P_4208868169, t21, t24, t26, 0U, 0U, t27, t29, t28, t31, t7, t38, t40, (unsigned char)0, (unsigned char)1); LAB12: LAB9: goto LAB6; LAB8: t1 = (t0 + 3512U); t8 = *((char **)t1); t1 = (t8 + 0); *((unsigned char *)t1) = (unsigned char)0; goto LAB9; LAB11: goto LAB12; LAB14: t3 = (unsigned char)1; goto LAB16; LAB17: t1 = (t0 + 2792U); t5 = *((char **)t1); t6 = *((unsigned char *)t5); t7 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t6); t1 = (t0 + 3152U); t8 = *((char **)t1); t1 = (t8 + 0); *((unsigned char *)t1) = t7; goto LAB18; LAB20: t1 = (t0 + 3272U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = (unsigned char)0; goto LAB21; }
static void unisim_a_3935320881_1820106778_p_10(char *t0) { char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; char *t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; unsigned char t12; char *t13; char *t14; char *t15; char *t16; LAB0: t1 = (t0 + 2752U); t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: t1 = (t0 + 2752U); t2 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB5; LAB6: LAB3: t1 = (t0 + 13152); *((int *)t1) = 1; LAB1: return; LAB2: t3 = (t0 + 5352U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t3 = (t0 + 5832U); t6 = *((char **)t3); t7 = *((unsigned char *)t6); t3 = (t0 + 5512U); t8 = *((char **)t3); t9 = *((unsigned char *)t8); t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9); t11 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t7, t10); t12 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t5, t11); t3 = (t0 + 14304); t13 = (t3 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); *((unsigned char *)t16) = t12; xsi_driver_first_trans_fast(t3); goto LAB3; LAB5: t3 = (t0 + 5032U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t7 = (t5 == (unsigned char)2); if (t7 != 0) goto LAB7; LAB9: t1 = (t0 + 14368); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t8 = *((char **)t6); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB8: goto LAB3; LAB7: t3 = (t0 + 5832U); t6 = *((char **)t3); t9 = *((unsigned char *)t6); t3 = (t0 + 14368); t8 = (t3 + 56U); t13 = *((char **)t8); t14 = (t13 + 56U); t15 = *((char **)t14); *((unsigned char *)t15) = t9; xsi_driver_first_trans_fast(t3); goto LAB8; }
static void unisim_a_3045693319_2669841225_p_1(char *t0) { char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; unsigned char t6; int64 t7; char *t8; char *t9; char *t10; char *t11; char *t12; LAB0: t1 = (t0 + 1152U); t2 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 3696); *((int *)t1) = 1; LAB1: return; LAB2: t3 = (t0 + 1672U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t6 = (t5 == (unsigned char)3); if (t6 != 0) goto LAB5; LAB7: t1 = (t0 + 1352U); t3 = *((char **)t1); t2 = *((unsigned char *)t3); t5 = (t2 == (unsigned char)3); if (t5 != 0) goto LAB8; LAB9: LAB6: goto LAB3; LAB5: t7 = (100 * 10LL); t3 = (t0 + 3840); t8 = (t3 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_delta(t3, 0U, 1, t7); t12 = (t0 + 3840); xsi_driver_intertial_reject(t12, t7, t7); goto LAB6; LAB8: t7 = (100 * 10LL); t1 = (t0 + 1512U); t4 = *((char **)t1); t6 = *((unsigned char *)t4); t1 = (t0 + 3840); t8 = (t1 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t11 = *((char **)t10); *((unsigned char *)t11) = t6; xsi_driver_first_trans_delta(t1, 0U, 1, t7); t12 = (t0 + 3840); xsi_driver_intertial_reject(t12, t7, t7); goto LAB6; }
static void work_a_2615964831_3212880686_p_0(char *t0) { char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; unsigned char t6; char *t7; char *t8; int t9; int t10; unsigned int t11; unsigned int t12; unsigned int t13; char *t14; char *t15; char *t16; char *t17; char *t18; LAB0: xsi_set_current_line(74, ng0); t1 = (t0 + 992U); t2 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 5704); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(75, ng0); t3 = (t0 + 1352U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t6 = (t5 == (unsigned char)3); if (t6 != 0) goto LAB5; LAB7: LAB6: goto LAB3; LAB5: xsi_set_current_line(76, ng0); t3 = (t0 + 1992U); t7 = *((char **)t3); t3 = (t0 + 1832U); t8 = *((char **)t3); t3 = (t0 + 9808U); t9 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t8, t3); t10 = (t9 - 31); t11 = (t10 * -1); t12 = (32U * t11); t13 = (0U + t12); t14 = (t0 + 5848); t15 = (t14 + 56U); t16 = *((char **)t15); t17 = (t16 + 56U); t18 = *((char **)t17); memcpy(t18, t7, 32U); xsi_driver_first_trans_delta(t14, t13, 32U, 0LL); goto LAB6; }
static void work_a_4107293976_3212880686_p_0(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; char *t9; int t10; char *t11; int t13; char *t14; int t16; char *t17; int t19; char *t20; int t22; char *t23; int t25; char *t26; int t28; char *t29; int t31; char *t32; int t34; char *t35; int t37; char *t38; int t40; char *t41; int t43; char *t44; int t46; char *t47; int t49; char *t50; int t52; char *t53; char *t54; int t55; char *t56; char *t57; char *t58; char *t59; char *t60; char *t61; LAB0: xsi_set_current_line(45, ng0); t2 = (t0 + 1632U); t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t2, 0U, 0U); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: xsi_set_current_line(87, ng0); t2 = (t0 + 1632U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t2, 0U, 0U); if (t3 == 1) goto LAB81; LAB82: t1 = (unsigned char)0; LAB83: if (t1 != 0) goto LAB78; LAB80: LAB79: t2 = (t0 + 6352); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(46, ng0); t4 = (t0 + 1032U); t8 = *((char **)t4); t4 = (t0 + 11615); t10 = xsi_mem_cmp(t4, t8, 4U); if (t10 == 1) goto LAB9; LAB26: t11 = (t0 + 11619); t13 = xsi_mem_cmp(t11, t8, 4U); if (t13 == 1) goto LAB10; LAB27: t14 = (t0 + 11623); t16 = xsi_mem_cmp(t14, t8, 4U); if (t16 == 1) goto LAB11; LAB28: t17 = (t0 + 11627); t19 = xsi_mem_cmp(t17, t8, 4U); if (t19 == 1) goto LAB12; LAB29: t20 = (t0 + 11631); t22 = xsi_mem_cmp(t20, t8, 4U); if (t22 == 1) goto LAB13; LAB30: t23 = (t0 + 11635); t25 = xsi_mem_cmp(t23, t8, 4U); if (t25 == 1) goto LAB14; LAB31: t26 = (t0 + 11639); t28 = xsi_mem_cmp(t26, t8, 4U); if (t28 == 1) goto LAB15; LAB32: t29 = (t0 + 11643); t31 = xsi_mem_cmp(t29, t8, 4U); if (t31 == 1) goto LAB16; LAB33: t32 = (t0 + 11647); t34 = xsi_mem_cmp(t32, t8, 4U); if (t34 == 1) goto LAB17; LAB34: t35 = (t0 + 11651); t37 = xsi_mem_cmp(t35, t8, 4U); if (t37 == 1) goto LAB18; LAB35: t38 = (t0 + 11655); t40 = xsi_mem_cmp(t38, t8, 4U); if (t40 == 1) goto LAB19; LAB36: t41 = (t0 + 11659); t43 = xsi_mem_cmp(t41, t8, 4U); if (t43 == 1) goto LAB20; LAB37: t44 = (t0 + 11663); t46 = xsi_mem_cmp(t44, t8, 4U); if (t46 == 1) goto LAB21; LAB38: t47 = (t0 + 11667); t49 = xsi_mem_cmp(t47, t8, 4U); if (t49 == 1) goto LAB22; LAB39: t50 = (t0 + 11671); t52 = xsi_mem_cmp(t50, t8, 4U); if (t52 == 1) goto LAB23; LAB40: t53 = (t0 + 11675); t55 = xsi_mem_cmp(t53, t8, 4U); if (t55 == 1) goto LAB24; LAB41: LAB25: LAB8: xsi_set_current_line(66, ng0); t2 = (t0 + 1192U); t4 = *((char **)t2); t2 = (t0 + 11679); t10 = xsi_mem_cmp(t2, t4, 4U); if (t10 == 1) goto LAB44; LAB61: t8 = (t0 + 11683); t13 = xsi_mem_cmp(t8, t4, 4U); if (t13 == 1) goto LAB45; LAB62: t11 = (t0 + 11687); t16 = xsi_mem_cmp(t11, t4, 4U); if (t16 == 1) goto LAB46; LAB63: t14 = (t0 + 11691); t19 = xsi_mem_cmp(t14, t4, 4U); if (t19 == 1) goto LAB47; LAB64: t17 = (t0 + 11695); t22 = xsi_mem_cmp(t17, t4, 4U); if (t22 == 1) goto LAB48; LAB65: t20 = (t0 + 11699); t25 = xsi_mem_cmp(t20, t4, 4U); if (t25 == 1) goto LAB49; LAB66: t23 = (t0 + 11703); t28 = xsi_mem_cmp(t23, t4, 4U); if (t28 == 1) goto LAB50; LAB67: t26 = (t0 + 11707); t31 = xsi_mem_cmp(t26, t4, 4U); if (t31 == 1) goto LAB51; LAB68: t29 = (t0 + 11711); t34 = xsi_mem_cmp(t29, t4, 4U); if (t34 == 1) goto LAB52; LAB69: t32 = (t0 + 11715); t37 = xsi_mem_cmp(t32, t4, 4U); if (t37 == 1) goto LAB53; LAB70: t35 = (t0 + 11719); t40 = xsi_mem_cmp(t35, t4, 4U); if (t40 == 1) goto LAB54; LAB71: t38 = (t0 + 11723); t43 = xsi_mem_cmp(t38, t4, 4U); if (t43 == 1) goto LAB55; LAB72: t41 = (t0 + 11727); t46 = xsi_mem_cmp(t41, t4, 4U); if (t46 == 1) goto LAB56; LAB73: t44 = (t0 + 11731); t49 = xsi_mem_cmp(t44, t4, 4U); if (t49 == 1) goto LAB57; LAB74: t47 = (t0 + 11735); t52 = xsi_mem_cmp(t47, t4, 4U); if (t52 == 1) goto LAB58; LAB75: t50 = (t0 + 11739); t55 = xsi_mem_cmp(t50, t4, 4U); if (t55 == 1) goto LAB59; LAB76: LAB60: LAB43: goto LAB3; LAB5: t4 = (t0 + 1832U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB9: xsi_set_current_line(47, ng0); t56 = (t0 + 2472U); t57 = *((char **)t56); t56 = (t0 + 6432); t58 = (t56 + 56U); t59 = *((char **)t58); t60 = (t59 + 56U); t61 = *((char **)t60); memcpy(t61, t57, 16U); xsi_driver_first_trans_fast_port(t56); goto LAB8; LAB10: xsi_set_current_line(48, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB11: xsi_set_current_line(49, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB12: xsi_set_current_line(50, ng0); t2 = (t0 + 2952U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB13: xsi_set_current_line(51, ng0); t2 = (t0 + 3112U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB14: xsi_set_current_line(52, ng0); t2 = (t0 + 3272U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB15: xsi_set_current_line(53, ng0); t2 = (t0 + 3432U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB16: xsi_set_current_line(54, ng0); t2 = (t0 + 3592U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB17: xsi_set_current_line(55, ng0); t2 = (t0 + 3752U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB18: xsi_set_current_line(56, ng0); t2 = (t0 + 3912U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB19: xsi_set_current_line(57, ng0); t2 = (t0 + 4072U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB20: xsi_set_current_line(58, ng0); t2 = (t0 + 4232U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB21: xsi_set_current_line(59, ng0); t2 = (t0 + 4392U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB22: xsi_set_current_line(60, ng0); t2 = (t0 + 4552U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB23: xsi_set_current_line(61, ng0); t2 = (t0 + 4712U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB24: xsi_set_current_line(62, ng0); t2 = (t0 + 4872U); t4 = *((char **)t2); t2 = (t0 + 6432); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB8; LAB42:; LAB44: xsi_set_current_line(67, ng0); t53 = (t0 + 2472U); t54 = *((char **)t53); t53 = (t0 + 6496); t56 = (t53 + 56U); t57 = *((char **)t56); t58 = (t57 + 56U); t59 = *((char **)t58); memcpy(t59, t54, 16U); xsi_driver_first_trans_fast_port(t53); goto LAB43; LAB45: xsi_set_current_line(68, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB46: xsi_set_current_line(69, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB47: xsi_set_current_line(70, ng0); t2 = (t0 + 2952U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB48: xsi_set_current_line(71, ng0); t2 = (t0 + 3112U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB49: xsi_set_current_line(72, ng0); t2 = (t0 + 3272U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB50: xsi_set_current_line(73, ng0); t2 = (t0 + 3432U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB51: xsi_set_current_line(74, ng0); t2 = (t0 + 3592U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB52: xsi_set_current_line(75, ng0); t2 = (t0 + 3752U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB53: xsi_set_current_line(76, ng0); t2 = (t0 + 3912U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB54: xsi_set_current_line(77, ng0); t2 = (t0 + 4072U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB55: xsi_set_current_line(78, ng0); t2 = (t0 + 4232U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB56: xsi_set_current_line(79, ng0); t2 = (t0 + 4392U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB57: xsi_set_current_line(80, ng0); t2 = (t0 + 4552U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB58: xsi_set_current_line(81, ng0); t2 = (t0 + 4712U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB59: xsi_set_current_line(82, ng0); t2 = (t0 + 4872U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast_port(t2); goto LAB43; LAB77:; LAB78: xsi_set_current_line(88, ng0); t4 = (t0 + 1352U); t8 = *((char **)t4); t4 = (t0 + 11743); t10 = xsi_mem_cmp(t4, t8, 4U); if (t10 == 1) goto LAB85; LAB102: t11 = (t0 + 11747); t13 = xsi_mem_cmp(t11, t8, 4U); if (t13 == 1) goto LAB86; LAB103: t14 = (t0 + 11751); t16 = xsi_mem_cmp(t14, t8, 4U); if (t16 == 1) goto LAB87; LAB104: t17 = (t0 + 11755); t19 = xsi_mem_cmp(t17, t8, 4U); if (t19 == 1) goto LAB88; LAB105: t20 = (t0 + 11759); t22 = xsi_mem_cmp(t20, t8, 4U); if (t22 == 1) goto LAB89; LAB106: t23 = (t0 + 11763); t25 = xsi_mem_cmp(t23, t8, 4U); if (t25 == 1) goto LAB90; LAB107: t26 = (t0 + 11767); t28 = xsi_mem_cmp(t26, t8, 4U); if (t28 == 1) goto LAB91; LAB108: t29 = (t0 + 11771); t31 = xsi_mem_cmp(t29, t8, 4U); if (t31 == 1) goto LAB92; LAB109: t32 = (t0 + 11775); t34 = xsi_mem_cmp(t32, t8, 4U); if (t34 == 1) goto LAB93; LAB110: t35 = (t0 + 11779); t37 = xsi_mem_cmp(t35, t8, 4U); if (t37 == 1) goto LAB94; LAB111: t38 = (t0 + 11783); t40 = xsi_mem_cmp(t38, t8, 4U); if (t40 == 1) goto LAB95; LAB112: t41 = (t0 + 11787); t43 = xsi_mem_cmp(t41, t8, 4U); if (t43 == 1) goto LAB96; LAB113: t44 = (t0 + 11791); t46 = xsi_mem_cmp(t44, t8, 4U); if (t46 == 1) goto LAB97; LAB114: t47 = (t0 + 11795); t49 = xsi_mem_cmp(t47, t8, 4U); if (t49 == 1) goto LAB98; LAB115: t50 = (t0 + 11799); t52 = xsi_mem_cmp(t50, t8, 4U); if (t52 == 1) goto LAB99; LAB116: t53 = (t0 + 11803); t55 = xsi_mem_cmp(t53, t8, 4U); if (t55 == 1) goto LAB100; LAB117: LAB101: LAB84: goto LAB79; LAB81: t4 = (t0 + 1992U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB83; LAB85: xsi_set_current_line(89, ng0); t56 = (t0 + 1512U); t57 = *((char **)t56); t56 = (t0 + 6560); t58 = (t56 + 56U); t59 = *((char **)t58); t60 = (t59 + 56U); t61 = *((char **)t60); memcpy(t61, t57, 16U); xsi_driver_first_trans_fast(t56); goto LAB84; LAB86: xsi_set_current_line(90, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 6624); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB87: xsi_set_current_line(91, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 6688); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB88: xsi_set_current_line(92, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 6752); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB89: xsi_set_current_line(93, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 6816); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB90: xsi_set_current_line(94, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 6880); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB91: xsi_set_current_line(95, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 6944); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB92: xsi_set_current_line(96, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7008); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB93: xsi_set_current_line(97, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7072); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB94: xsi_set_current_line(98, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7136); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB95: xsi_set_current_line(99, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7200); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB96: xsi_set_current_line(100, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7264); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB97: xsi_set_current_line(101, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7328); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB98: xsi_set_current_line(102, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7392); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB99: xsi_set_current_line(103, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7456); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB100: xsi_set_current_line(104, ng0); t2 = (t0 + 1512U); t4 = *((char **)t2); t2 = (t0 + 7520); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t2); goto LAB84; LAB118:; }
static void unisim_a_0850834979_2152628908_p_3(char *t0) { char *t1; char *t2; char *t3; unsigned char t4; unsigned char t5; char *t6; unsigned char t7; char *t8; char *t9; char *t10; char *t11; int t12; unsigned int t13; unsigned int t14; unsigned int t15; LAB0: t1 = (t0 + 3896U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1512U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)2); if (t5 != 0) goto LAB4; LAB6: t2 = (t0 + 1512U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)3); if (t5 != 0) goto LAB7; LAB8: LAB5: LAB22: t2 = (t0 + 4296); *((int *)t2) = 1; *((char **)t1) = &&LAB23; LAB1: return; LAB4: t2 = (t0 + 1992U); t6 = *((char **)t2); t7 = *((unsigned char *)t6); t2 = (t0 + 4568); t8 = (t2 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t11 = *((char **)t10); *((unsigned char *)t11) = t7; xsi_driver_first_trans_fast_port(t2); goto LAB5; LAB7: t2 = (t0 + 4568); t6 = (t2 + 56U); t8 = *((char **)t6); t9 = (t8 + 56U); t10 = *((char **)t9); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast_port(t2); LAB11: t2 = (t0 + 4264); *((int *)t2) = 1; *((char **)t1) = &&LAB12; goto LAB1; LAB9: t6 = (t0 + 4264); *((int *)t6) = 0; t2 = (t0 + 1992U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)3); if (t5 != 0) goto LAB13; LAB15: LAB14: goto LAB5; LAB10: t3 = (t0 + 1792U); t12 = (2 - 2); t13 = (t12 * -1); t14 = (1U * t13); t15 = (0 + t14); t4 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t3, 0U, t15); if (t4 == 1) goto LAB9; else goto LAB11; LAB12: goto LAB10; LAB13: LAB18: t2 = (t0 + 4280); *((int *)t2) = 1; *((char **)t1) = &&LAB19; goto LAB1; LAB16: t8 = (t0 + 4280); *((int *)t8) = 0; goto LAB14; LAB17: t6 = (t0 + 1952U); t7 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t6, 0U, 0U); if (t7 == 1) goto LAB16; else goto LAB18; LAB19: goto LAB17; LAB20: t3 = (t0 + 4296); *((int *)t3) = 0; goto LAB2; LAB21: goto LAB20; LAB23: goto LAB21; }
static void work_a_2868348070_3212880686_p_0(char *t0) { char t13[16]; char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; unsigned char t6; char *t7; char *t8; int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t14; char *t15; int t16; unsigned int t17; int t18; int t19; unsigned int t20; unsigned int t21; char *t22; char *t23; char *t24; char *t25; LAB0: xsi_set_current_line(58, ng0); t1 = (t0 + 992U); t2 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: xsi_set_current_line(72, ng0); t1 = (t0 + 2472U); t3 = *((char **)t1); t1 = (t0 + 2632U); t4 = *((char **)t1); t9 = (8 - 1); t10 = (31 - t9); t11 = (t10 * 1U); t12 = (0 + t11); t1 = (t4 + t12); t7 = (t13 + 0U); t8 = (t7 + 0U); *((int *)t8) = 7; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t16 = (0 - 7); t17 = (t16 * -1); t17 = (t17 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t17; t18 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t1, t13); t19 = (t18 - 255); t17 = (t19 * -1); xsi_vhdl_check_range_of_index(255, 0, -1, t18); t20 = (32U * t17); t21 = (0 + t20); t8 = (t3 + t21); t14 = (t0 + 4904); t15 = (t14 + 56U); t22 = *((char **)t15); t23 = (t22 + 56U); t24 = *((char **)t23); memcpy(t24, t8, 32U); xsi_driver_first_trans_fast_port(t14); xsi_set_current_line(73, ng0); t1 = (t0 + 2472U); t3 = *((char **)t1); t1 = (t0 + 2792U); t4 = *((char **)t1); t9 = (8 - 1); t10 = (31 - t9); t11 = (t10 * 1U); t12 = (0 + t11); t1 = (t4 + t12); t7 = (t13 + 0U); t8 = (t7 + 0U); *((int *)t8) = 7; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t16 = (0 - 7); t17 = (t16 * -1); t17 = (t17 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t17; t18 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t1, t13); t19 = (t18 - 255); t17 = (t19 * -1); xsi_vhdl_check_range_of_index(255, 0, -1, t18); t20 = (32U * t17); t21 = (0 + t20); t8 = (t3 + t21); t14 = (t0 + 4968); t15 = (t14 + 56U); t22 = *((char **)t15); t23 = (t22 + 56U); t24 = *((char **)t23); memcpy(t24, t8, 32U); xsi_driver_first_trans_fast_port(t14); t1 = (t0 + 4632); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(65, ng0); t3 = (t0 + 1672U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t6 = (t5 == (unsigned char)3); if (t6 != 0) goto LAB5; LAB7: LAB6: xsi_set_current_line(68, ng0); t1 = (t0 + 1832U); t3 = *((char **)t1); t1 = (t0 + 4776); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t14 = *((char **)t8); memcpy(t14, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(69, ng0); t1 = (t0 + 1992U); t3 = *((char **)t1); t1 = (t0 + 4840); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t14 = *((char **)t8); memcpy(t14, t3, 32U); xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(66, ng0); t3 = (t0 + 1512U); t7 = *((char **)t3); t3 = (t0 + 1352U); t8 = *((char **)t3); t9 = (8 - 1); t10 = (31 - t9); t11 = (t10 * 1U); t12 = (0 + t11); t3 = (t8 + t12); t14 = (t13 + 0U); t15 = (t14 + 0U); *((int *)t15) = 7; t15 = (t14 + 4U); *((int *)t15) = 0; t15 = (t14 + 8U); *((int *)t15) = -1; t16 = (0 - 7); t17 = (t16 * -1); t17 = (t17 + 1); t15 = (t14 + 12U); *((unsigned int *)t15) = t17; t18 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t3, t13); t19 = (t18 - 255); t17 = (t19 * -1); t20 = (32U * t17); t21 = (0U + t20); t15 = (t0 + 4712); t22 = (t15 + 56U); t23 = *((char **)t22); t24 = (t23 + 56U); t25 = *((char **)t24); memcpy(t25, t7, 32U); xsi_driver_first_trans_delta(t15, t21, 32U, 0LL); goto LAB6; }
static void work_a_4210671331_3212880686_p_0(char *t0) { char t9[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; unsigned char t7; unsigned char t8; char *t10; char *t11; char *t12; char *t13; unsigned int t14; unsigned int t15; unsigned char t16; char *t17; char *t18; char *t19; char *t20; char *t21; LAB0: xsi_set_current_line(38, ng0); t1 = (t0 + 1352U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB2; LAB4: xsi_set_current_line(46, ng0); t1 = xsi_get_transient_memory(64U); memset(t1, 0, 64U); t2 = t1; memset(t2, (unsigned char)2, 64U); t5 = (t0 + 3656); t10 = (t5 + 56U); t11 = *((char **)t10); t12 = (t11 + 56U); t13 = *((char **)t12); memcpy(t13, t1, 64U); xsi_driver_first_trans_fast(t5); LAB3: t1 = (t0 + 3560); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(39, ng0); t1 = (t0 + 1032U); t5 = *((char **)t1); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); if (t7 != 0) goto LAB5; LAB7: LAB6: goto LAB3; LAB5: xsi_set_current_line(40, ng0); t1 = (t0 + 1152U); t8 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t8 != 0) goto LAB8; LAB10: LAB9: goto LAB6; LAB8: xsi_set_current_line(41, ng0); t10 = (t0 + 1832U); t11 = *((char **)t10); t10 = (t0 + 5852U); t12 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t9, t11, t10, 1); t13 = (t9 + 12U); t14 = *((unsigned int *)t13); t15 = (1U * t14); t16 = (64U != t15); if (t16 == 1) goto LAB11; LAB12: t17 = (t0 + 3656); t18 = (t17 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t21 = *((char **)t20); memcpy(t21, t12, 64U); xsi_driver_first_trans_fast(t17); xsi_set_current_line(42, ng0); t1 = (t0 + 3720); t2 = (t1 + 56U); t5 = *((char **)t2); t10 = (t5 + 56U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); goto LAB9; LAB11: xsi_size_not_matching(64U, t15, 0); goto LAB12; }
static void work_a_4210671331_3212880686_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; char *t12; char *t13; char *t14; char *t15; char *t16; LAB0: xsi_set_current_line(39, ng0); t1 = (t0 + 1352U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB2; LAB4: xsi_set_current_line(51, ng0); t1 = (t0 + 6020); t5 = (t0 + 3880); t8 = (t5 + 56U); t12 = *((char **)t8); t13 = (t12 + 56U); t14 = *((char **)t13); memcpy(t14, t1, 64U); xsi_driver_first_trans_fast(t5); LAB3: t1 = (t0 + 3720); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(40, ng0); t1 = (t0 + 1032U); t5 = *((char **)t1); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); if (t7 != 0) goto LAB5; LAB7: LAB6: goto LAB3; LAB5: xsi_set_current_line(41, ng0); t1 = (t0 + 1512U); t8 = *((char **)t1); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: xsi_set_current_line(47, ng0); t1 = (t0 + 3816); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t12 = *((char **)t8); *((unsigned char *)t12) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB9: goto LAB6; LAB8: xsi_set_current_line(42, ng0); t1 = (t0 + 1152U); t11 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t11 != 0) goto LAB11; LAB13: LAB12: goto LAB9; LAB11: xsi_set_current_line(44, ng0); t12 = (t0 + 3816); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); *((unsigned char *)t16) = (unsigned char)3; xsi_driver_first_trans_fast_port(t12); goto LAB12; }
static void work_a_0773735105_3212880686_p_3(char *t0) { unsigned char t1; char *t2; char *t3; unsigned char t4; unsigned char t5; unsigned char t6; unsigned char t7; char *t8; char *t9; unsigned char t10; unsigned char t11; char *t12; unsigned char t13; unsigned char t14; char *t15; LAB0: xsi_set_current_line(137, ng0); t2 = (t0 + 1328U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)2); if (t5 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: xsi_set_current_line(148, ng0); t2 = (t0 + 1144U); t3 = *((char **)t2); t1 = *((unsigned char *)t3); t4 = (t1 == (unsigned char)3); if (t4 != 0) goto LAB20; LAB22: LAB21: xsi_set_current_line(155, ng0); t2 = (t0 + 1932U); t3 = *((char **)t2); t1 = *((unsigned char *)t3); t2 = (t0 + 3396); t8 = (t2 + 32U); t9 = *((char **)t8); t12 = (t9 + 40U); t15 = *((char **)t12); *((unsigned char *)t15) = t1; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(156, ng0); t2 = (t0 + 2000U); t3 = *((char **)t2); t1 = *((unsigned char *)t3); t2 = (t0 + 3432); t8 = (t2 + 32U); t9 = *((char **)t8); t12 = (t9 + 40U); t15 = *((char **)t12); *((unsigned char *)t15) = t1; xsi_driver_first_trans_fast_port(t2); t2 = (t0 + 3208); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(138, ng0); t8 = (t0 + 1932U); t9 = *((char **)t8); t10 = *((unsigned char *)t9); t11 = (t10 == (unsigned char)3); if (t11 == 1) goto LAB11; LAB12: t8 = (t0 + 1052U); t12 = *((char **)t8); t13 = *((unsigned char *)t12); t14 = (t13 == (unsigned char)3); t7 = t14; LAB13: if (t7 != 0) goto LAB8; LAB10: LAB9: xsi_set_current_line(142, ng0); t2 = (t0 + 2000U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)2); if (t5 == 1) goto LAB17; LAB18: t1 = (unsigned char)0; LAB19: if (t1 != 0) goto LAB14; LAB16: LAB15: goto LAB3; LAB5: t2 = (t0 + 1304U); t6 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t2, 0U, 0U); t1 = t6; goto LAB7; LAB8: xsi_set_current_line(139, ng0); t8 = (t0 + 2000U); t15 = *((char **)t8); t8 = (t15 + 0); *((unsigned char *)t8) = (unsigned char)3; goto LAB9; LAB11: t7 = (unsigned char)1; goto LAB13; LAB14: xsi_set_current_line(143, ng0); t2 = (t0 + 1932U); t9 = *((char **)t2); t2 = (t9 + 0); *((unsigned char *)t2) = (unsigned char)3; goto LAB15; LAB17: t2 = (t0 + 1932U); t8 = *((char **)t2); t6 = *((unsigned char *)t8); t7 = (t6 == (unsigned char)2); t1 = t7; goto LAB19; LAB20: xsi_set_current_line(149, ng0); t2 = (t0 + 1932U); t8 = *((char **)t2); t2 = (t8 + 0); *((unsigned char *)t2) = (unsigned char)2; xsi_set_current_line(150, ng0); t2 = (t0 + 2000U); t3 = *((char **)t2); t2 = (t3 + 0); *((unsigned char *)t2) = (unsigned char)2; goto LAB21; }
static void unisim_a_0945812278_4066649594_p_7(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; unsigned char t5; char *t6; int t7; char *t8; unsigned char t9; char *t10; unsigned char t11; unsigned char t12; unsigned char t13; unsigned char t14; unsigned char t15; unsigned char t16; unsigned char t17; char *t18; unsigned char t19; unsigned char t20; unsigned char t21; char *t22; char *t23; unsigned char t24; char *t25; LAB0: t1 = (t0 + 3752U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 3752U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB5; LAB6: LAB3: t1 = (t0 + 6328U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 11232); t6 = (t1 + 56U); t8 = *((char **)t6); t10 = (t8 + 56U); t18 = *((char **)t10); *((unsigned char *)t18) = t3; xsi_driver_first_trans_fast(t1); t1 = (t0 + 6448U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 11296); t6 = (t1 + 56U); t8 = *((char **)t6); t10 = (t8 + 56U); t18 = *((char **)t10); *((unsigned char *)t18) = t3; xsi_driver_first_trans_fast(t1); t1 = (t0 + 6568U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 11360); t6 = (t1 + 56U); t8 = *((char **)t6); t10 = (t8 + 56U); t18 = *((char **)t10); *((unsigned char *)t18) = t3; xsi_driver_first_trans_fast(t1); t1 = (t0 + 6688U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 11424); t6 = (t1 + 56U); t8 = *((char **)t6); t10 = (t8 + 56U); t18 = *((char **)t10); *((unsigned char *)t18) = t3; xsi_driver_first_trans_fast(t1); t1 = (t0 + 10608); *((int *)t1) = 1; LAB1: return; LAB2: t5 = ieee_p_2592010699_sub_1361094856_503743352(IEEE_P_2592010699, (unsigned char)0); t1 = (t0 + 6328U); t6 = *((char **)t1); t1 = (t6 + 0); *((unsigned char *)t1) = t5; t3 = ieee_p_2592010699_sub_1361094856_503743352(IEEE_P_2592010699, (unsigned char)0); t1 = (t0 + 6568U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = t3; t3 = ieee_p_2592010699_sub_1361094856_503743352(IEEE_P_2592010699, (unsigned char)0); t1 = (t0 + 6448U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = t3; t3 = ieee_p_2592010699_sub_1361094856_503743352(IEEE_P_2592010699, (unsigned char)0); t1 = (t0 + 6688U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = t3; goto LAB3; LAB5: t1 = (t0 + 5672U); t6 = *((char **)t1); t7 = *((int *)t6); if (t7 == 1) goto LAB8; LAB11: if (t7 == 2) goto LAB9; LAB12: LAB10: LAB7: goto LAB3; LAB8: t1 = (t0 + 3912U); t8 = *((char **)t1); t5 = *((unsigned char *)t8); t9 = (t5 == (unsigned char)3); if (t9 != 0) goto LAB14; LAB16: t1 = (t0 + 3912U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t9 = (t5 == (unsigned char)2); if (t9 == 1) goto LAB22; LAB23: t1 = (t0 + 3912U); t6 = *((char **)t1); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)6); t4 = t12; LAB24: if (t4 == 1) goto LAB19; LAB20: t3 = (unsigned char)0; LAB21: if (t3 != 0) goto LAB17; LAB18: t1 = (t0 + 3912U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t9 = (t5 == (unsigned char)2); if (t9 == 1) goto LAB30; LAB31: t1 = (t0 + 3912U); t6 = *((char **)t1); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)6); t4 = t12; LAB32: if (t4 == 1) goto LAB27; LAB28: t3 = (unsigned char)0; LAB29: if (t3 != 0) goto LAB25; LAB26: LAB15: goto LAB7; LAB9: t1 = (t0 + 3232U); t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB45; LAB47: LAB46: t1 = (t0 + 3232U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB73; LAB75: LAB74: goto LAB7; LAB13:; LAB14: t1 = (t0 + 6328U); t10 = *((char **)t1); t1 = (t10 + 0); *((unsigned char *)t1) = (unsigned char)2; t1 = (t0 + 6448U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; t1 = (t0 + 6568U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; t1 = (t0 + 6688U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; goto LAB15; LAB17: t1 = (t0 + 6328U); t10 = *((char **)t1); t1 = (t10 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 6448U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 6568U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 6688U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; goto LAB15; LAB19: t1 = (t0 + 4072U); t8 = *((char **)t1); t13 = *((unsigned char *)t8); t14 = (t13 == (unsigned char)3); t3 = t14; goto LAB21; LAB22: t4 = (unsigned char)1; goto LAB24; LAB25: t1 = (t0 + 3432U); t18 = *((char **)t1); t19 = *((unsigned char *)t18); t20 = (t19 == (unsigned char)3); if (t20 != 0) goto LAB36; LAB38: LAB37: goto LAB15; LAB27: t1 = (t0 + 4072U); t8 = *((char **)t1); t14 = *((unsigned char *)t8); t15 = (t14 == (unsigned char)2); if (t15 == 1) goto LAB33; LAB34: t1 = (t0 + 4072U); t10 = *((char **)t1); t16 = *((unsigned char *)t10); t17 = (t16 == (unsigned char)6); t13 = t17; LAB35: t3 = t13; goto LAB29; LAB30: t4 = (unsigned char)1; goto LAB32; LAB33: t13 = (unsigned char)1; goto LAB35; LAB36: t1 = (t0 + 3232U); t21 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t21 != 0) goto LAB39; LAB41: LAB40: t1 = (t0 + 3232U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB42; LAB44: LAB43: goto LAB37; LAB39: t22 = (t0 + 6328U); t23 = *((char **)t22); t24 = *((unsigned char *)t23); t22 = (t0 + 6568U); t25 = *((char **)t22); t22 = (t25 + 0); *((unsigned char *)t22) = t24; t1 = (t0 + 3592U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 6328U); t6 = *((char **)t1); t1 = (t6 + 0); *((unsigned char *)t1) = t3; t1 = (t0 + 6448U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 6688U); t6 = *((char **)t1); t1 = (t6 + 0); *((unsigned char *)t1) = t3; goto LAB40; LAB42: t2 = (t0 + 3592U); t6 = *((char **)t2); t4 = *((unsigned char *)t6); t2 = (t0 + 6448U); t8 = *((char **)t2); t2 = (t8 + 0); *((unsigned char *)t2) = t4; goto LAB43; LAB45: t2 = (t0 + 3912U); t6 = *((char **)t2); t4 = *((unsigned char *)t6); t5 = (t4 == (unsigned char)3); if (t5 != 0) goto LAB48; LAB50: t1 = (t0 + 3912U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t9 = (t5 == (unsigned char)2); if (t9 == 1) goto LAB56; LAB57: t1 = (t0 + 3912U); t6 = *((char **)t1); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)6); t4 = t12; LAB58: if (t4 == 1) goto LAB53; LAB54: t3 = (unsigned char)0; LAB55: if (t3 != 0) goto LAB51; LAB52: t1 = (t0 + 3912U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t9 = (t5 == (unsigned char)2); if (t9 == 1) goto LAB64; LAB65: t1 = (t0 + 3912U); t6 = *((char **)t1); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)6); t4 = t12; LAB66: if (t4 == 1) goto LAB61; LAB62: t3 = (unsigned char)0; LAB63: if (t3 != 0) goto LAB59; LAB60: LAB49: goto LAB46; LAB48: t2 = (t0 + 6328U); t8 = *((char **)t2); t2 = (t8 + 0); *((unsigned char *)t2) = (unsigned char)2; t1 = (t0 + 6568U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; t1 = (t0 + 6688U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; goto LAB49; LAB51: t1 = (t0 + 6328U); t10 = *((char **)t1); t1 = (t10 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 6568U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 6688U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; goto LAB49; LAB53: t1 = (t0 + 4072U); t8 = *((char **)t1); t13 = *((unsigned char *)t8); t14 = (t13 == (unsigned char)3); t3 = t14; goto LAB55; LAB56: t4 = (unsigned char)1; goto LAB58; LAB59: t1 = (t0 + 3432U); t18 = *((char **)t1); t19 = *((unsigned char *)t18); t20 = (t19 == (unsigned char)3); if (t20 != 0) goto LAB70; LAB72: LAB71: goto LAB49; LAB61: t1 = (t0 + 4072U); t8 = *((char **)t1); t14 = *((unsigned char *)t8); t15 = (t14 == (unsigned char)2); if (t15 == 1) goto LAB67; LAB68: t1 = (t0 + 4072U); t10 = *((char **)t1); t16 = *((unsigned char *)t10); t17 = (t16 == (unsigned char)6); t13 = t17; LAB69: t3 = t13; goto LAB63; LAB64: t4 = (unsigned char)1; goto LAB66; LAB67: t13 = (unsigned char)1; goto LAB69; LAB70: t1 = (t0 + 6328U); t22 = *((char **)t1); t21 = *((unsigned char *)t22); t1 = (t0 + 6568U); t23 = *((char **)t1); t1 = (t23 + 0); *((unsigned char *)t1) = t21; t1 = (t0 + 3592U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 6328U); t6 = *((char **)t1); t1 = (t6 + 0); *((unsigned char *)t1) = t3; t1 = (t0 + 6448U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 6688U); t6 = *((char **)t1); t1 = (t6 + 0); *((unsigned char *)t1) = t3; goto LAB71; LAB73: t2 = (t0 + 3912U); t6 = *((char **)t2); t4 = *((unsigned char *)t6); t5 = (t4 == (unsigned char)3); if (t5 != 0) goto LAB76; LAB78: t1 = (t0 + 3912U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t9 = (t5 == (unsigned char)2); if (t9 == 1) goto LAB84; LAB85: t1 = (t0 + 3912U); t6 = *((char **)t1); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)6); t4 = t12; LAB86: if (t4 == 1) goto LAB81; LAB82: t3 = (unsigned char)0; LAB83: if (t3 != 0) goto LAB79; LAB80: t1 = (t0 + 3912U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t9 = (t5 == (unsigned char)2); if (t9 == 1) goto LAB92; LAB93: t1 = (t0 + 3912U); t6 = *((char **)t1); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)6); t4 = t12; LAB94: if (t4 == 1) goto LAB89; LAB90: t3 = (unsigned char)0; LAB91: if (t3 != 0) goto LAB87; LAB88: LAB77: goto LAB74; LAB76: t2 = (t0 + 6448U); t8 = *((char **)t2); t2 = (t8 + 0); *((unsigned char *)t2) = (unsigned char)2; goto LAB77; LAB79: t1 = (t0 + 6448U); t10 = *((char **)t1); t1 = (t10 + 0); *((unsigned char *)t1) = (unsigned char)3; goto LAB77; LAB81: t1 = (t0 + 4072U); t8 = *((char **)t1); t13 = *((unsigned char *)t8); t14 = (t13 == (unsigned char)3); t3 = t14; goto LAB83; LAB84: t4 = (unsigned char)1; goto LAB86; LAB87: t1 = (t0 + 3432U); t18 = *((char **)t1); t19 = *((unsigned char *)t18); t20 = (t19 == (unsigned char)3); if (t20 != 0) goto LAB98; LAB100: LAB99: goto LAB77; LAB89: t1 = (t0 + 4072U); t8 = *((char **)t1); t14 = *((unsigned char *)t8); t15 = (t14 == (unsigned char)2); if (t15 == 1) goto LAB95; LAB96: t1 = (t0 + 4072U); t10 = *((char **)t1); t16 = *((unsigned char *)t10); t17 = (t16 == (unsigned char)6); t13 = t17; LAB97: t3 = t13; goto LAB91; LAB92: t4 = (unsigned char)1; goto LAB94; LAB95: t13 = (unsigned char)1; goto LAB97; LAB98: t1 = (t0 + 3592U); t22 = *((char **)t1); t21 = *((unsigned char *)t22); t1 = (t0 + 6448U); t23 = *((char **)t1); t1 = (t23 + 0); *((unsigned char *)t1) = t21; goto LAB99; }
static void work_a_1184174073_3212880686_p_0(char *t0) { char t20[16]; char t21[16]; unsigned char t1; char *t2; char *t3; unsigned char t4; unsigned char t5; char *t6; unsigned char t7; unsigned char t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; unsigned char t15; unsigned char t16; unsigned int t17; unsigned int t18; unsigned int t19; char *t22; int t23; unsigned int t24; unsigned char t25; char *t26; char *t27; char *t28; char *t29; LAB0: xsi_set_current_line(48, ng0); t2 = (t0 + 1512U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)2); if (t5 == 1) goto LAB5; LAB6: t2 = (t0 + 2152U); t6 = *((char **)t2); t7 = *((unsigned char *)t6); t8 = (t7 == (unsigned char)2); t1 = t8; LAB7: if (t1 != 0) goto LAB2; LAB4: t2 = (t0 + 1792U); t4 = xsi_signal_has_event(t2); if (t4 == 1) goto LAB10; LAB11: t1 = (unsigned char)0; LAB12: if (t1 != 0) goto LAB8; LAB9: t2 = (t0 + 1992U); t3 = *((char **)t2); t1 = *((unsigned char *)t3); t4 = (t1 == (unsigned char)3); if (t4 != 0) goto LAB18; LAB19: LAB3: t2 = (t0 + 5408); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(49, ng0); t2 = xsi_get_transient_memory(8U); memset(t2, 0, 8U); t9 = t2; memset(t9, (unsigned char)2, 8U); t10 = (t0 + 5520); t11 = (t10 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); memcpy(t14, t2, 8U); xsi_driver_first_trans_fast(t10); xsi_set_current_line(50, ng0); t2 = xsi_get_transient_memory(8U); memset(t2, 0, 8U); t3 = t2; memset(t3, (unsigned char)3, 8U); t6 = (t0 + 5584); t9 = (t6 + 56U); t10 = *((char **)t9); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 8U); xsi_driver_first_trans_fast(t6); goto LAB3; LAB5: t1 = (unsigned char)1; goto LAB7; LAB8: xsi_set_current_line(52, ng0); t3 = (t0 + 1672U); t9 = *((char **)t3); t8 = *((unsigned char *)t9); t15 = (t8 == (unsigned char)3); if (t15 != 0) goto LAB13; LAB15: LAB14: goto LAB3; LAB10: t3 = (t0 + 1832U); t6 = *((char **)t3); t5 = *((unsigned char *)t6); t7 = (t5 == (unsigned char)3); t1 = t7; goto LAB12; LAB13: xsi_set_current_line(53, ng0); t3 = (t0 + 1032U); t10 = *((char **)t3); t16 = *((unsigned char *)t10); t3 = (t0 + 2952U); t11 = *((char **)t3); t17 = (7 - 7); t18 = (t17 * 1U); t19 = (0 + t18); t3 = (t11 + t19); t13 = ((IEEE_P_2592010699) + 4024); t14 = (t21 + 0U); t22 = (t14 + 0U); *((int *)t22) = 7; t22 = (t14 + 4U); *((int *)t22) = 1; t22 = (t14 + 8U); *((int *)t22) = -1; t23 = (1 - 7); t24 = (t23 * -1); t24 = (t24 + 1); t22 = (t14 + 12U); *((unsigned int *)t22) = t24; t12 = xsi_base_array_concat(t12, t20, t13, (char)99, t16, (char)97, t3, t21, (char)101); t24 = (1U + 7U); t25 = (8U != t24); if (t25 == 1) goto LAB16; LAB17: t22 = (t0 + 5520); t26 = (t22 + 56U); t27 = *((char **)t26); t28 = (t27 + 56U); t29 = *((char **)t28); memcpy(t29, t12, 8U); xsi_driver_first_trans_fast(t22); xsi_set_current_line(54, ng0); t2 = (t0 + 2952U); t3 = *((char **)t2); t23 = (0 - 7); t17 = (t23 * -1); t18 = (1U * t17); t19 = (0 + t18); t2 = (t3 + t19); t1 = *((unsigned char *)t2); t6 = (t0 + 5648); t9 = (t6 + 56U); t10 = *((char **)t9); t11 = (t10 + 56U); t12 = *((char **)t11); *((unsigned char *)t12) = t1; xsi_driver_first_trans_fast_port(t6); goto LAB14; LAB16: xsi_size_not_matching(8U, t24, 0); goto LAB17; LAB18: xsi_set_current_line(57, ng0); t2 = (t0 + 1312U); t5 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t2, 0U, 0U); if (t5 != 0) goto LAB20; LAB22: LAB21: goto LAB3; LAB20: xsi_set_current_line(58, ng0); t6 = (t0 + 2952U); t9 = *((char **)t6); t6 = (t0 + 5584); t10 = (t6 + 56U); t11 = *((char **)t10); t12 = (t11 + 56U); t13 = *((char **)t12); memcpy(t13, t9, 8U); xsi_driver_first_trans_fast(t6); goto LAB21; }
static void work_a_1215300100_3212880686_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; char *t7; char *t8; char *t9; char *t10; char *t11; int t12; int t13; unsigned int t14; unsigned int t15; unsigned int t16; char *t17; LAB0: xsi_set_current_line(29, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: xsi_set_current_line(50, ng0); t1 = (t0 + 1952U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB35; LAB37: LAB36: LAB3: t1 = (t0 + 5464); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(33, ng0); t1 = (t0 + 11680); t6 = (32U != 32U); if (t6 == 1) goto LAB5; LAB6: t7 = (t0 + 5608); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t11 = *((char **)t10); memcpy(t11, t1, 32U); xsi_driver_first_trans_delta(t7, 0U, 32U, 0LL); xsi_set_current_line(34, ng0); t1 = (t0 + 11712); t3 = (32U != 32U); if (t3 == 1) goto LAB7; LAB8: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 32U, 32U, 0LL); xsi_set_current_line(35, ng0); t1 = (t0 + 11744); t3 = (32U != 32U); if (t3 == 1) goto LAB9; LAB10: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 64U, 32U, 0LL); xsi_set_current_line(36, ng0); t1 = (t0 + 11776); t3 = (32U != 32U); if (t3 == 1) goto LAB11; LAB12: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 96U, 32U, 0LL); xsi_set_current_line(37, ng0); t1 = (t0 + 11808); t3 = (32U != 32U); if (t3 == 1) goto LAB13; LAB14: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 128U, 32U, 0LL); xsi_set_current_line(38, ng0); t1 = (t0 + 11840); t3 = (32U != 32U); if (t3 == 1) goto LAB15; LAB16: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 160U, 32U, 0LL); xsi_set_current_line(39, ng0); t1 = (t0 + 11872); t3 = (32U != 32U); if (t3 == 1) goto LAB17; LAB18: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 192U, 32U, 0LL); xsi_set_current_line(40, ng0); t1 = (t0 + 11904); t3 = (32U != 32U); if (t3 == 1) goto LAB19; LAB20: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 224U, 32U, 0LL); xsi_set_current_line(41, ng0); t1 = (t0 + 11936); t3 = (32U != 32U); if (t3 == 1) goto LAB21; LAB22: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 256U, 32U, 0LL); xsi_set_current_line(42, ng0); t1 = (t0 + 11968); t3 = (32U != 32U); if (t3 == 1) goto LAB23; LAB24: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 288U, 32U, 0LL); xsi_set_current_line(43, ng0); t1 = (t0 + 12000); t3 = (32U != 32U); if (t3 == 1) goto LAB25; LAB26: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 320U, 32U, 0LL); xsi_set_current_line(44, ng0); t1 = (t0 + 12032); t3 = (32U != 32U); if (t3 == 1) goto LAB27; LAB28: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 352U, 32U, 0LL); xsi_set_current_line(45, ng0); t1 = (t0 + 12064); t3 = (32U != 32U); if (t3 == 1) goto LAB29; LAB30: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 384U, 32U, 0LL); xsi_set_current_line(46, ng0); t1 = (t0 + 12096); t3 = (32U != 32U); if (t3 == 1) goto LAB31; LAB32: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 416U, 32U, 0LL); xsi_set_current_line(47, ng0); t1 = (t0 + 12128); t3 = (32U != 32U); if (t3 == 1) goto LAB33; LAB34: t5 = (t0 + 5608); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_delta(t5, 448U, 32U, 0LL); goto LAB3; LAB5: xsi_size_not_matching(32U, 32U, 0); goto LAB6; LAB7: xsi_size_not_matching(32U, 32U, 0); goto LAB8; LAB9: xsi_size_not_matching(32U, 32U, 0); goto LAB10; LAB11: xsi_size_not_matching(32U, 32U, 0); goto LAB12; LAB13: xsi_size_not_matching(32U, 32U, 0); goto LAB14; LAB15: xsi_size_not_matching(32U, 32U, 0); goto LAB16; LAB17: xsi_size_not_matching(32U, 32U, 0); goto LAB18; LAB19: xsi_size_not_matching(32U, 32U, 0); goto LAB20; LAB21: xsi_size_not_matching(32U, 32U, 0); goto LAB22; LAB23: xsi_size_not_matching(32U, 32U, 0); goto LAB24; LAB25: xsi_size_not_matching(32U, 32U, 0); goto LAB26; LAB27: xsi_size_not_matching(32U, 32U, 0); goto LAB28; LAB29: xsi_size_not_matching(32U, 32U, 0); goto LAB30; LAB31: xsi_size_not_matching(32U, 32U, 0); goto LAB32; LAB33: xsi_size_not_matching(32U, 32U, 0); goto LAB34; LAB35: xsi_set_current_line(51, ng0); t2 = (t0 + 1672U); t5 = *((char **)t2); t4 = *((unsigned char *)t5); t6 = (t4 == (unsigned char)3); if (t6 != 0) goto LAB38; LAB40: LAB39: goto LAB36; LAB38: xsi_set_current_line(52, ng0); t2 = (t0 + 1192U); t7 = *((char **)t2); t2 = (t0 + 2632U); t8 = *((char **)t2); t12 = *((int *)t8); t13 = (t12 - 0); t14 = (t13 * 1); t15 = (32U * t14); t16 = (0U + t15); t2 = (t0 + 5608); t9 = (t2 + 56U); t10 = *((char **)t9); t11 = (t10 + 56U); t17 = *((char **)t11); memcpy(t17, t7, 32U); xsi_driver_first_trans_delta(t2, t16, 32U, 0LL); goto LAB39; }