static void work_a_1124922532_3212880686_p_1(char *t0) { char t10[16]; char t14[16]; char t16[16]; char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned int t11; char *t12; char *t13; int t15; unsigned int t17; char *t18; char *t19; char *t20; unsigned int t21; int t22; unsigned int t23; static char *nl0[] = {&&LAB3, &&LAB4, &&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB9, &&LAB10}; LAB0: xsi_set_current_line(79, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (char *)((nl0) + t3); goto **((char **)t1); LAB2: t1 = (t0 + 5824); *((int *)t1) = 1; LAB1: return; LAB3: xsi_set_current_line(82, ng0); t4 = (t0 + 6240); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)3; xsi_driver_first_trans_fast_port(t4); xsi_set_current_line(83, ng0); t1 = (t0 + 1672U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t9 = (t3 == (unsigned char)2); if (t9 != 0) goto LAB11; LAB13: t1 = (t0 + 1672U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t9 = (t3 == (unsigned char)3); if (t9 != 0) goto LAB14; LAB15: xsi_set_current_line(88, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 6304); t4 = (t1 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = t3; xsi_driver_first_trans_fast(t1); LAB12: goto LAB2; LAB4: xsi_set_current_line(92, ng0); t1 = (t0 + 1512U); t2 = *((char **)t1); t4 = ((IEEE_P_2592010699) + 4024); t5 = (t0 + 9704U); t1 = xsi_base_array_concat(t1, t10, t4, (char)99, (unsigned char)2, (char)97, t2, t5, (char)101); t11 = (1U + 10U); t3 = (11U != t11); if (t3 == 1) goto LAB16; LAB17: t6 = (t0 + 6368); t7 = (t6 + 56U); t8 = *((char **)t7); t12 = (t8 + 56U); t13 = *((char **)t12); memcpy(t13, t1, 11U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(93, ng0); t1 = (t0 + 1352U); t2 = *((char **)t1); t4 = ((IEEE_P_2592010699) + 4024); t5 = (t0 + 9688U); t1 = xsi_base_array_concat(t1, t10, t4, (char)99, (unsigned char)2, (char)97, t2, t5, (char)101); t15 = (10 - 5); t6 = ieee_p_3499444699_sub_2213602152_3536714472(IEEE_P_3499444699, t14, 0, t15); t8 = ((IEEE_P_2592010699) + 4024); t7 = xsi_base_array_concat(t7, t16, t8, (char)97, t1, t10, (char)97, t6, t14, (char)101); t11 = (1U + 5U); t17 = (t11 + 5U); t3 = (11U != t17); if (t3 == 1) goto LAB18; LAB19: t12 = (t0 + 6432); t13 = (t12 + 56U); t18 = *((char **)t13); t19 = (t18 + 56U); t20 = *((char **)t19); memcpy(t20, t7, 11U); xsi_driver_first_trans_fast(t12); xsi_set_current_line(94, ng0); t1 = xsi_get_transient_memory(10U); memset(t1, 0, 10U); t2 = t1; memset(t2, (unsigned char)2, 10U); t4 = (t0 + 6496); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t1, 10U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(95, ng0); t1 = xsi_get_transient_memory(5U); memset(t1, 0, 5U); t2 = t1; memset(t2, (unsigned char)2, 5U); t4 = (t0 + 6560); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t1, 5U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(96, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(97, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB2; LAB5: xsi_set_current_line(100, ng0); t1 = (t0 + 2472U); t2 = *((char **)t1); t1 = (t0 + 9736U); t4 = (t0 + 2792U); t5 = *((char **)t4); t4 = (t0 + 9736U); t6 = ieee_p_3620187407_sub_767740470_3965413181(IEEE_P_3620187407, t10, t2, t1, t5, t4); t7 = (t10 + 12U); t11 = *((unsigned int *)t7); t17 = (1U * t11); t3 = (11U != t17); if (t3 == 1) goto LAB20; LAB21: t8 = (t0 + 6368); t12 = (t8 + 56U); t13 = *((char **)t12); t18 = (t13 + 56U); t19 = *((char **)t18); memcpy(t19, t6, 11U); xsi_driver_first_trans_fast(t8); xsi_set_current_line(101, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(102, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t1); goto LAB2; LAB6: xsi_set_current_line(105, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(106, ng0); t1 = (t0 + 2472U); t2 = *((char **)t1); t15 = (10 - 10); t11 = (t15 * -1); t17 = (1U * t11); t21 = (0 + t17); t1 = (t2 + t21); t3 = *((unsigned char *)t1); t9 = (t3 == (unsigned char)3); if (t9 != 0) goto LAB22; LAB24: t1 = (t0 + 2472U); t2 = *((char **)t1); t15 = (10 - 10); t11 = (t15 * -1); t17 = (1U * t11); t21 = (0 + t17); t1 = (t2 + t21); t3 = *((unsigned char *)t1); t9 = (t3 == (unsigned char)2); if (t9 != 0) goto LAB25; LAB26: xsi_set_current_line(111, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t1); LAB23: goto LAB2; LAB7: xsi_set_current_line(115, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(116, ng0); t1 = (t0 + 3112U); t2 = *((char **)t1); t15 = (10 - 2); t11 = (9 - t15); t17 = (t11 * 1U); t21 = (0 + t17); t1 = (t2 + t21); t5 = ((IEEE_P_2592010699) + 4024); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 8; t7 = (t6 + 4U); *((int *)t7) = 0; t7 = (t6 + 8U); *((int *)t7) = -1; t22 = (0 - 8); t23 = (t22 * -1); t23 = (t23 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t23; t4 = xsi_base_array_concat(t4, t10, t5, (char)97, t1, t14, (char)99, (unsigned char)2, (char)101); t23 = (9U + 1U); t3 = (10U != t23); if (t3 == 1) goto LAB27; LAB28: t7 = (t0 + 6496); t8 = (t7 + 56U); t12 = *((char **)t8); t13 = (t12 + 56U); t18 = *((char **)t13); memcpy(t18, t4, 10U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(117, ng0); t1 = (t0 + 2472U); t2 = *((char **)t1); t1 = (t0 + 9736U); t4 = (t0 + 2792U); t5 = *((char **)t4); t4 = (t0 + 9736U); t6 = ieee_p_3620187407_sub_767668596_3965413181(IEEE_P_3620187407, t10, t2, t1, t5, t4); t7 = (t10 + 12U); t11 = *((unsigned int *)t7); t17 = (1U * t11); t3 = (11U != t17); if (t3 == 1) goto LAB29; LAB30: t8 = (t0 + 6368); t12 = (t8 + 56U); t13 = *((char **)t12); t18 = (t13 + 56U); t19 = *((char **)t18); memcpy(t19, t6, 11U); xsi_driver_first_trans_fast(t8); xsi_set_current_line(118, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)6; xsi_driver_first_trans_fast(t1); goto LAB2; LAB8: xsi_set_current_line(121, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(122, ng0); t1 = (t0 + 3112U); t2 = *((char **)t1); t15 = (10 - 2); t11 = (9 - t15); t17 = (t11 * 1U); t21 = (0 + t17); t1 = (t2 + t21); t5 = ((IEEE_P_2592010699) + 4024); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 8; t7 = (t6 + 4U); *((int *)t7) = 0; t7 = (t6 + 8U); *((int *)t7) = -1; t22 = (0 - 8); t23 = (t22 * -1); t23 = (t23 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t23; t4 = xsi_base_array_concat(t4, t10, t5, (char)97, t1, t14, (char)99, (unsigned char)3, (char)101); t23 = (9U + 1U); t3 = (10U != t23); if (t3 == 1) goto LAB31; LAB32: t7 = (t0 + 6496); t8 = (t7 + 56U); t12 = *((char **)t8); t13 = (t12 + 56U); t18 = *((char **)t13); memcpy(t18, t4, 10U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(123, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)6; xsi_driver_first_trans_fast(t1); goto LAB2; LAB9: xsi_set_current_line(126, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(127, ng0); t1 = (t0 + 2792U); t2 = *((char **)t1); t11 = (10 - 10); t17 = (t11 * 1U); t21 = (0 + t17); t1 = (t2 + t21); t5 = ((IEEE_P_2592010699) + 4024); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 10; t7 = (t6 + 4U); *((int *)t7) = 1; t7 = (t6 + 8U); *((int *)t7) = -1; t15 = (1 - 10); t23 = (t15 * -1); t23 = (t23 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t23; t4 = xsi_base_array_concat(t4, t10, t5, (char)99, (unsigned char)2, (char)97, t1, t14, (char)101); t23 = (1U + 10U); t3 = (11U != t23); if (t3 == 1) goto LAB33; LAB34: t7 = (t0 + 6432); t8 = (t7 + 56U); t12 = *((char **)t8); t13 = (t12 + 56U); t18 = *((char **)t13); memcpy(t18, t4, 11U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(128, ng0); t1 = (t0 + 3432U); t2 = *((char **)t1); t1 = (t0 + 9768U); t4 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1); t5 = (t10 + 12U); t11 = *((unsigned int *)t5); t17 = (1U * t11); t3 = (5U != t17); if (t3 == 1) goto LAB35; LAB36: t6 = (t0 + 6560); t7 = (t6 + 56U); t8 = *((char **)t7); t12 = (t8 + 56U); t13 = *((char **)t12); memcpy(t13, t4, 5U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(129, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)7; xsi_driver_first_trans_fast(t1); goto LAB2; LAB10: xsi_set_current_line(132, ng0); t1 = (t0 + 6240); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(133, ng0); t1 = (t0 + 3432U); t2 = *((char **)t1); t1 = (t0 + 9768U); t15 = (10 - 5); t22 = (t15 + 1); t3 = ieee_p_3620187407_sub_2546382208_3965413181(IEEE_P_3620187407, t2, t1, t22); if (t3 != 0) goto LAB37; LAB39: xsi_set_current_line(136, ng0); t1 = (t0 + 6304); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t1); LAB38: goto LAB2; LAB11: xsi_set_current_line(84, ng0); t1 = (t0 + 6304); t4 = (t1 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)0; xsi_driver_first_trans_fast(t1); goto LAB12; LAB14: xsi_set_current_line(86, ng0); t1 = (t0 + 6304); t4 = (t1 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast(t1); goto LAB12; LAB16: xsi_size_not_matching(11U, t11, 0); goto LAB17; LAB18: xsi_size_not_matching(11U, t17, 0); goto LAB19; LAB20: xsi_size_not_matching(11U, t17, 0); goto LAB21; LAB22: xsi_set_current_line(107, ng0); t4 = (t0 + 6304); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)4; xsi_driver_first_trans_fast(t4); goto LAB23; LAB25: xsi_set_current_line(109, ng0); t4 = (t0 + 6304); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)5; xsi_driver_first_trans_fast(t4); goto LAB23; LAB27: xsi_size_not_matching(10U, t23, 0); goto LAB28; LAB29: xsi_size_not_matching(11U, t17, 0); goto LAB30; LAB31: xsi_size_not_matching(10U, t23, 0); goto LAB32; LAB33: xsi_size_not_matching(11U, t23, 0); goto LAB34; LAB35: xsi_size_not_matching(5U, t17, 0); goto LAB36; LAB37: xsi_set_current_line(134, ng0); t4 = (t0 + 6304); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t4); goto LAB38; } static void work_a_1124922532_3212880686_p_2(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; LAB0: xsi_set_current_line(143, ng0); LAB3: t1 = (t0 + 3112U); t2 = *((char **)t1); t1 = (t0 + 6624); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 10U); xsi_driver_first_trans_fast_port(t1); LAB2: t7 = (t0 + 5840); *((int *)t7) = 1; LAB1: return; LAB4: goto LAB2; }
static void work_a_1415465652_1200043877_p_1(char *t0) { char t19[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; unsigned char t11; unsigned char t12; unsigned char t13; unsigned char t14; unsigned char t15; unsigned char t16; char *t17; char *t18; unsigned int t20; unsigned int t21; LAB0: xsi_set_current_line(31, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 992U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB7; LAB8: t3 = (unsigned char)0; LAB9: if (t3 != 0) goto LAB5; LAB6: LAB3: t1 = (t0 + 4624); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(32, ng0); t1 = (t0 + 7828); t6 = (t0 + 4784); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 8U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(33, ng0); t1 = (t0 + 4848); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(34, ng0); t1 = xsi_get_transient_memory(16U); memset(t1, 0, 16U); t2 = t1; memset(t2, (unsigned char)2, 16U); t5 = (t0 + 4912); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 16U); xsi_driver_first_trans_fast(t5); goto LAB3; LAB5: xsi_set_current_line(36, ng0); t2 = (t0 + 1512U); t6 = *((char **)t2); t14 = *((unsigned char *)t6); t15 = (t14 == (unsigned char)3); if (t15 == 1) goto LAB13; LAB14: t13 = (unsigned char)0; LAB15: if (t13 != 0) goto LAB10; LAB12: xsi_set_current_line(41, ng0); t1 = (t0 + 4848); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB11: goto LAB3; LAB7: t2 = (t0 + 1032U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t12 = (t11 == (unsigned char)3); t3 = t12; goto LAB9; LAB10: xsi_set_current_line(37, ng0); t8 = (t0 + 4848); t9 = (t8 + 56U); t10 = *((char **)t9); t17 = (t10 + 56U); t18 = *((char **)t17); *((unsigned char *)t18) = (unsigned char)3; xsi_driver_first_trans_fast_port(t8); xsi_set_current_line(38, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 7696U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t19, t2, t1, 1); t6 = (t19 + 12U); t20 = *((unsigned int *)t6); t21 = (1U * t20); t3 = (8U != t21); if (t3 == 1) goto LAB16; LAB17: t7 = (t0 + 4784); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t17 = *((char **)t10); memcpy(t17, t5, 8U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(39, ng0); t1 = (t0 + 2472U); t2 = *((char **)t1); t1 = (t0 + 7728U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t19, t2, t1, 1); t6 = (t19 + 12U); t20 = *((unsigned int *)t6); t21 = (1U * t20); t3 = (16U != t21); if (t3 == 1) goto LAB18; LAB19: t7 = (t0 + 4912); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t17 = *((char **)t10); memcpy(t17, t5, 16U); xsi_driver_first_trans_fast(t7); goto LAB11; LAB13: t2 = (t0 + 2472U); t7 = *((char **)t2); t2 = (t0 + 7728U); t16 = ieee_p_3620187407_sub_2546382208_3965413181(IEEE_P_3620187407, t7, t2, 20); t13 = t16; goto LAB15; LAB16: xsi_size_not_matching(8U, t21, 0); goto LAB17; LAB18: xsi_size_not_matching(16U, t21, 0); goto LAB19; }
static void work_a_4022976725_3212880686_p_1(char *t0) { char t10[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; unsigned char t8; unsigned char t9; unsigned int t11; unsigned int t12; char *t13; char *t14; int t15; static char *nl0[] = {&&LAB3, &&LAB4, &&LAB5, &&LAB6, &&LAB7, &&LAB8}; LAB0: xsi_set_current_line(87, ng0); t1 = (t0 + 3272U); t2 = *((char **)t1); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 4U); xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(88, ng0); t1 = (t0 + 1992U); t2 = *((char **)t1); t1 = (t0 + 6336); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(89, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 6400); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(90, ng0); t1 = (t0 + 6464); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(91, ng0); t1 = (t0 + 6528); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(92, ng0); t1 = (t0 + 3272U); t2 = *((char **)t1); t1 = (t0 + 6592); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 4U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(93, ng0); t1 = (t0 + 10149); t3 = (t0 + 6656); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 4U); xsi_driver_first_trans_fast(t3); xsi_set_current_line(95, ng0); t1 = (t0 + 3912U); t2 = *((char **)t1); t8 = *((unsigned char *)t2); t1 = (char *)((nl0) + t8); goto **((char **)t1); LAB2: t1 = (t0 + 5936); *((int *)t1) = 1; LAB1: return; LAB3: xsi_set_current_line(98, ng0); t3 = (t0 + 6528); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast_port(t3); xsi_set_current_line(99, ng0); t1 = (t0 + 1672U); t2 = *((char **)t1); t1 = (t0 + 6720); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(100, ng0); t1 = (t0 + 10153); t3 = (t0 + 6784); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); xsi_set_current_line(101, ng0); t1 = (t0 + 10158); t3 = (t0 + 6336); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); xsi_set_current_line(102, ng0); t1 = (t0 + 1352U); t2 = *((char **)t1); t8 = *((unsigned char *)t2); t9 = (t8 == (unsigned char)3); if (t9 != 0) goto LAB9; LAB11: xsi_set_current_line(105, ng0); t1 = (t0 + 6848); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)0; xsi_driver_first_trans_fast(t1); LAB10: goto LAB2; LAB4: xsi_set_current_line(109, ng0); t1 = (t0 + 10163); t3 = (t0 + 6400); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); xsi_set_current_line(110, ng0); t1 = (t0 + 1992U); t2 = *((char **)t1); t1 = (t0 + 10028U); t3 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1); t4 = (t10 + 12U); t11 = *((unsigned int *)t4); t12 = (1U * t11); t8 = (5U != t12); if (t8 == 1) goto LAB12; LAB13: t5 = (t0 + 6336); t6 = (t5 + 56U); t7 = *((char **)t6); t13 = (t7 + 56U); t14 = *((char **)t13); memcpy(t14, t3, 5U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(111, ng0); t1 = (t0 + 1672U); t2 = *((char **)t1); t1 = (t0 + 6720); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(112, ng0); t1 = (t0 + 10168); t3 = (t0 + 6784); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); xsi_set_current_line(113, ng0); t1 = (t0 + 1992U); t2 = *((char **)t1); t1 = (t0 + 10028U); t15 = (32 - 1); t8 = ieee_p_3620187407_sub_2546382208_3965413181(IEEE_P_3620187407, t2, t1, t15); if (t8 != 0) goto LAB14; LAB16: xsi_set_current_line(116, ng0); t1 = (t0 + 6848); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)0; xsi_driver_first_trans_fast(t1); LAB15: goto LAB2; LAB5: xsi_set_current_line(120, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 10028U); t3 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1); t4 = (t10 + 12U); t11 = *((unsigned int *)t4); t12 = (1U * t11); t8 = (5U != t12); if (t8 == 1) goto LAB17; LAB18: t5 = (t0 + 6400); t6 = (t5 + 56U); t7 = *((char **)t6); t13 = (t7 + 56U); t14 = *((char **)t13); memcpy(t14, t3, 5U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(121, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 6720); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(122, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 10028U); t3 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1); t4 = (t10 + 12U); t11 = *((unsigned int *)t4); t12 = (1U * t11); t8 = (5U != t12); if (t8 == 1) goto LAB19; LAB20: t5 = (t0 + 6784); t6 = (t5 + 56U); t7 = *((char **)t6); t13 = (t7 + 56U); t14 = *((char **)t13); memcpy(t14, t3, 5U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(123, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 10028U); t15 = (32 - 1); t8 = ieee_p_3620187407_sub_2546382208_3965413181(IEEE_P_3620187407, t2, t1, t15); if (t8 != 0) goto LAB21; LAB23: xsi_set_current_line(126, ng0); t1 = (t0 + 6848); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)1; xsi_driver_first_trans_fast(t1); LAB22: goto LAB2; LAB6: xsi_set_current_line(131, ng0); t1 = (t0 + 3272U); t2 = *((char **)t1); t1 = (t0 + 10060U); t3 = (t0 + 3432U); t4 = *((char **)t3); t3 = (t0 + 10060U); t8 = ieee_p_3620187407_sub_1742983514_3965413181(IEEE_P_3620187407, t2, t1, t4, t3); if (t8 != 0) goto LAB24; LAB26: xsi_set_current_line(134, ng0); t1 = (t0 + 6848); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB25: xsi_set_current_line(137, ng0); t1 = (t0 + 10173); t3 = (t0 + 6720); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); xsi_set_current_line(138, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 6784); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); goto LAB2; LAB7: xsi_set_current_line(143, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 10028U); t3 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t10, t2, t1, 1); t4 = (t10 + 12U); t11 = *((unsigned int *)t4); t12 = (1U * t11); t8 = (5U != t12); if (t8 == 1) goto LAB27; LAB28: t5 = (t0 + 6720); t6 = (t5 + 56U); t7 = *((char **)t6); t13 = (t7 + 56U); t14 = *((char **)t13); memcpy(t14, t3, 5U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(144, ng0); t1 = (t0 + 3432U); t2 = *((char **)t1); t1 = (t0 + 6656); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 4U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(145, ng0); t1 = (t0 + 6464); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(146, ng0); t1 = (t0 + 6848); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)5; xsi_driver_first_trans_fast(t1); xsi_set_current_line(147, ng0); t1 = (t0 + 10178); t3 = (t0 + 6784); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); goto LAB2; LAB8: xsi_set_current_line(152, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 6720); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 5U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(153, ng0); t1 = (t0 + 3592U); t2 = *((char **)t1); t1 = (t0 + 6656); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); memcpy(t6, t2, 4U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(154, ng0); t1 = (t0 + 6464); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(155, ng0); t1 = (t0 + 6848); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = (t3 + 56U); t5 = *((char **)t4); *((unsigned char *)t5) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(156, ng0); t1 = (t0 + 10183); t3 = (t0 + 6784); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t1, 5U); xsi_driver_first_trans_fast(t3); goto LAB2; LAB9: xsi_set_current_line(103, ng0); t1 = (t0 + 6848); t3 = (t1 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)1; xsi_driver_first_trans_fast(t1); goto LAB10; LAB12: xsi_size_not_matching(5U, t12, 0); goto LAB13; LAB14: xsi_set_current_line(114, ng0); t3 = (t0 + 6848); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t3); goto LAB15; LAB17: xsi_size_not_matching(5U, t12, 0); goto LAB18; LAB19: xsi_size_not_matching(5U, t12, 0); goto LAB20; LAB21: xsi_set_current_line(124, ng0); t3 = (t0 + 6848); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t3); goto LAB22; LAB24: xsi_set_current_line(132, ng0); t5 = (t0 + 6848); t6 = (t5 + 56U); t7 = *((char **)t6); t13 = (t7 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)4; xsi_driver_first_trans_fast(t5); goto LAB25; LAB27: xsi_size_not_matching(5U, t12, 0); goto LAB28; } extern void work_a_4022976725_3212880686_init() { static char *pe[] = {(void *)work_a_4022976725_3212880686_p_0,(void *)work_a_4022976725_3212880686_p_1}; xsi_register_didat("work_a_4022976725_3212880686", "isim/tb_practica5_isim_beh.exe.sim/work/a_4022976725_3212880686.didat"); xsi_register_executes(pe); }