static void work_a_3264794668_3212880686_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; char *t12; char *t13; LAB0: xsi_set_current_line(46, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB5; LAB6: t1 = (t0 + 1472U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB9; LAB10: t3 = (unsigned char)0; LAB11: if (t3 != 0) goto LAB7; LAB8: LAB3: t1 = (t0 + 3968); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(46, ng0); t1 = (t0 + 4080); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(47, ng0); t1 = (t0 + 4080); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)3; xsi_driver_first_trans_fast(t1); goto LAB3; LAB7: xsi_set_current_line(48, ng0); t2 = (t0 + 1352U); t6 = *((char **)t2); t11 = *((unsigned char *)t6); t2 = (t0 + 4080); t7 = (t2 + 56U); t8 = *((char **)t7); t12 = (t8 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = t11; xsi_driver_first_trans_fast(t2); goto LAB3; LAB9: t2 = (t0 + 1512U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB11; }
static void microblaze_v8_20_b_a_3370581401_3306564128_p_7(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; unsigned char t8; char *t9; unsigned char t10; unsigned char t11; char *t12; unsigned char t13; unsigned char t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; LAB0: xsi_set_current_line(294, ng0); t2 = (t0 + 9704U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 20952); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(295, ng0); t4 = (t0 + 9904U); t9 = *((char **)t4); t10 = *((unsigned char *)t9); t11 = (t10 == (unsigned char)3); if (t11 == 1) goto LAB11; LAB12: t4 = (t0 + 11824U); t12 = *((char **)t4); t13 = *((unsigned char *)t12); t14 = (!(t13)); t8 = t14; LAB13: if (t8 != 0) goto LAB8; LAB10: t2 = (t0 + 10224U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); if (t1 != 0) goto LAB14; LAB15: LAB9: goto LAB3; LAB5: t4 = (t0 + 9744U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(296, ng0); t4 = xsi_get_transient_memory(32U); memset(t4, 0, 32U); t15 = t4; memset(t15, (unsigned char)2, 32U); t16 = (t0 + 21480); t17 = (t16 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); memcpy(t20, t4, 32U); xsi_driver_first_trans_fast_port(t16); goto LAB9; LAB11: t8 = (unsigned char)1; goto LAB13; LAB14: xsi_set_current_line(298, ng0); t2 = (t0 + 10704U); t5 = *((char **)t2); t2 = (t0 + 21480); t9 = (t2 + 56U); t12 = *((char **)t9); t15 = (t12 + 56U); t16 = *((char **)t15); memcpy(t16, t5, 32U); xsi_driver_first_trans_fast_port(t2); goto LAB9; }
static void work_a_3735905323_1516540902_p_1(char *t0) { 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 int t14; char *t15; char *t16; char *t17; char *t18; LAB0: xsi_set_current_line(53, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); 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 + 7688); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(54, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t5 = t1; memset(t5, (unsigned char)2, 8U); t6 = (t0 + 7976); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 8U); xsi_driver_first_trans_fast(t6); goto LAB3; LAB5: xsi_set_current_line(56, ng0); t2 = (t0 + 3112U); t6 = *((char **)t2); t2 = (t0 + 3888U); t7 = *((char **)t2); t13 = 1; if (8U == 8U) goto LAB13; LAB14: t13 = 0; LAB15: if (t13 != 0) goto LAB10; LAB12: 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(57, ng0); t9 = (t0 + 1672U); t10 = *((char **)t9); t9 = (t0 + 7976); t15 = (t9 + 56U); t16 = *((char **)t15); t17 = (t16 + 56U); t18 = *((char **)t17); memcpy(t18, t10, 8U); xsi_driver_first_trans_fast(t9); goto LAB11; LAB13: t14 = 0; LAB16: if (t14 < 8U) goto LAB17; else goto LAB15; LAB17: t2 = (t6 + t14); t8 = (t7 + t14); if (*((unsigned char *)t2) != *((unsigned char *)t8)) goto LAB14; LAB18: t14 = (t14 + 1); goto LAB16; }
static void work_a_3735905323_1516540902_p_5(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 int t13; char *t14; char *t15; char *t16; char *t17; unsigned char t18; unsigned int t20; LAB0: xsi_set_current_line(83, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1832U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t11 = (t4 == (unsigned char)3); if (t11 == 1) goto LAB7; LAB8: t1 = (t0 + 1352U); t5 = *((char **)t1); t1 = (t0 + 3888U); t6 = *((char **)t1); t12 = 1; if (8U == 8U) goto LAB10; LAB11: t12 = 0; LAB12: t3 = (!(t12)); LAB9: if (t3 != 0) goto LAB5; LAB6: t1 = (t0 + 992U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB18; LAB19: t3 = (unsigned char)0; LAB20: if (t3 != 0) goto LAB16; LAB17: LAB3: t1 = (t0 + 7752); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(84, ng0); t1 = xsi_get_transient_memory(7U); memset(t1, 0, 7U); t5 = t1; memset(t5, (unsigned char)2, 7U); t6 = (t0 + 8232); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 7U); xsi_driver_first_trans_fast(t6); goto LAB3; LAB5: xsi_set_current_line(86, ng0); t8 = xsi_get_transient_memory(7U); memset(t8, 0, 7U); t9 = t8; memset(t9, (unsigned char)2, 7U); t10 = (t0 + 8232); t14 = (t10 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memcpy(t17, t8, 7U); xsi_driver_first_trans_fast(t10); goto LAB3; LAB7: t3 = (unsigned char)1; goto LAB9; LAB10: t13 = 0; LAB13: if (t13 < 8U) goto LAB14; else goto LAB12; LAB14: t1 = (t5 + t13); t7 = (t6 + t13); if (*((unsigned char *)t1) != *((unsigned char *)t7)) goto LAB11; LAB15: t13 = (t13 + 1); goto LAB13; LAB16: xsi_set_current_line(88, ng0); t2 = (t0 + 3272U); t6 = *((char **)t2); t2 = (t0 + 11976U); t18 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t6, t2, 68); if (t18 != 0) goto LAB21; LAB23: xsi_set_current_line(91, ng0); t1 = (t0 + 3272U); t2 = *((char **)t1); t1 = (t0 + 11976U); t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t19, t2, t1, 1); t6 = (t19 + 12U); t13 = *((unsigned int *)t6); t20 = (1U * t13); t3 = (7U != t20); if (t3 == 1) goto LAB24; LAB25: t7 = (t0 + 8232); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t14 = *((char **)t10); memcpy(t14, t5, 7U); xsi_driver_first_trans_fast(t7); LAB22: goto LAB3; LAB18: t2 = (t0 + 1032U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t12 = (t11 == (unsigned char)3); t3 = t12; goto LAB20; LAB21: xsi_set_current_line(89, ng0); t7 = xsi_get_transient_memory(7U); memset(t7, 0, 7U); t8 = t7; memset(t8, (unsigned char)2, 7U); t9 = (t0 + 8232); t10 = (t9 + 56U); t14 = *((char **)t10); t15 = (t14 + 56U); t16 = *((char **)t15); memcpy(t16, t7, 7U); xsi_driver_first_trans_fast(t9); goto LAB22; LAB24: xsi_size_not_matching(7U, t20, 0); goto LAB25; }
static void work_a_3735905323_1516540902_p_10(char *t0) { 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; char *t14; char *t15; LAB0: xsi_set_current_line(131, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); 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 + 7832); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(132, ng0); t1 = xsi_get_transient_memory(16U); memset(t1, 0, 16U); t5 = t1; memset(t5, (unsigned char)2, 16U); t6 = (t0 + 8552); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 16U); xsi_driver_first_trans_fast(t6); goto LAB3; LAB5: xsi_set_current_line(134, ng0); t2 = (t0 + 3272U); t6 = *((char **)t2); t2 = (t0 + 11976U); t13 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t6, t2, 2); if (t13 != 0) goto LAB10; LAB12: 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(135, ng0); t7 = (t0 + 2632U); t8 = *((char **)t7); t7 = (t0 + 8552); t9 = (t7 + 56U); t10 = *((char **)t9); t14 = (t10 + 56U); t15 = *((char **)t14); memcpy(t15, t8, 16U); xsi_driver_first_trans_fast(t7); goto LAB11; }
static void unisim_a_1552978168_3127021579_p_1(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; int64 t11; unsigned char t12; char *t13; char *t14; char *t15; 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); 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 + 3528); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 3672); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)3; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: t11 = (100 * 1LL); t2 = (t0 + 1352U); t6 = *((char **)t2); t12 = *((unsigned char *)t6); t2 = (t0 + 3672); t7 = (t2 + 56U); t8 = *((char **)t7); t13 = (t8 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = t12; xsi_driver_first_trans_delta(t2, 0U, 1, t11); t15 = (t0 + 3672); xsi_driver_intertial_reject(t15, t11, t11); goto LAB3; LAB7: t2 = (t0 + 1192U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB9; }
static void axi_vdma_v5_00_a_a_2554620086_3640575771_p_6(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; char *t13; char *t14; LAB0: xsi_set_current_line(329, ng0); t2 = (t0 + 1256U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 8896); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(331, ng0); t4 = (t0 + 1456U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)2); if (t10 != 0) goto LAB8; LAB10: xsi_set_current_line(334, ng0); t2 = (t0 + 4816U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t2 = (t0 + 9456); t5 = (t2 + 56U); t8 = *((char **)t5); t11 = (t8 + 56U); t12 = *((char **)t11); *((unsigned char *)t12) = t1; xsi_driver_first_trans_fast(t2); LAB9: goto LAB3; LAB5: t4 = (t0 + 1296U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(332, ng0); t4 = (t0 + 9456); t11 = (t4 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)2; xsi_driver_first_trans_fast(t4); goto LAB9; }
static void work_a_0840209509_2117282823_p_2(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; unsigned char t12; char *t13; char *t14; int t15; int t16; LAB0: xsi_set_current_line(44, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1152U); 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 + 4248); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(44, ng0); t1 = (t0 + 4472); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((int *)t8) = 1; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(46, ng0); t2 = (t0 + 1832U); t6 = *((char **)t2); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)3); if (t12 != 0) goto LAB10; LAB12: xsi_set_current_line(47, ng0); t1 = (t0 + 1672U); t2 = *((char **)t1); t15 = *((int *)t2); t16 = (t15 + 1); t1 = (t0 + 4472); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((int *)t8) = t16; xsi_driver_first_trans_fast(t1); LAB11: goto LAB3; LAB7: t2 = (t0 + 1192U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB9; LAB10: xsi_set_current_line(46, ng0); t2 = (t0 + 4472); t7 = (t2 + 56U); t8 = *((char **)t7); t13 = (t8 + 56U); t14 = *((char **)t13); *((int *)t14) = 1; xsi_driver_first_trans_fast(t2); goto LAB11; }
static void work_a_0840209509_2117282823_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; unsigned char t12; unsigned char t13; unsigned char t14; char *t15; char *t16; char *t17; LAB0: xsi_set_current_line(25, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1152U); 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 + 4216); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(25, ng0); t1 = (t0 + 4344); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(27, ng0); t2 = (t0 + 1832U); t6 = *((char **)t2); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)3); if (t12 != 0) goto LAB10; LAB12: LAB11: goto LAB3; LAB7: t2 = (t0 + 1192U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB9; LAB10: xsi_set_current_line(28, ng0); t2 = (t0 + 1992U); t7 = *((char **)t2); t13 = *((unsigned char *)t7); t14 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t13); t2 = (t0 + 4344); t8 = (t2 + 56U); t15 = *((char **)t8); t16 = (t15 + 56U); t17 = *((char **)t16); *((unsigned char *)t17) = t14; xsi_driver_first_trans_fast(t2); goto LAB11; }
static void work_a_0202207825_3212880686_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; unsigned char t12; unsigned char t13; char *t14; char *t15; char *t16; LAB0: xsi_set_current_line(37, ng0); t1 = (t0 + 1512U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1352U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t9 = (t4 == (unsigned char)3); if (t9 == 1) goto LAB7; LAB8: t3 = (unsigned char)0; LAB9: if (t3 != 0) goto LAB5; LAB6: LAB3: t1 = (t0 + 4448); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(38, ng0); t1 = (t0 + 4560); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(39, ng0); t1 = (t0 + 4624); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(41, ng0); t5 = (t0 + 1672U); t6 = *((char **)t5); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)3); if (t12 != 0) goto LAB10; LAB12: LAB11: xsi_set_current_line(44, ng0); t1 = (t0 + 1832U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB13; LAB15: LAB14: goto LAB3; LAB7: t1 = (t0 + 1312U); t10 = xsi_signal_has_event(t1); t3 = t10; goto LAB9; LAB10: xsi_set_current_line(42, ng0); t5 = (t0 + 1032U); t7 = *((char **)t5); t13 = *((unsigned char *)t7); t5 = (t0 + 4560); t8 = (t5 + 56U); t14 = *((char **)t8); t15 = (t14 + 56U); t16 = *((char **)t15); *((unsigned char *)t16) = t13; xsi_driver_first_trans_fast(t5); goto LAB11; LAB13: xsi_set_current_line(45, ng0); t1 = (t0 + 1192U); t5 = *((char **)t1); t9 = *((unsigned char *)t5); t1 = (t0 + 4624); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t14 = *((char **)t8); *((unsigned char *)t14) = t9; xsi_driver_first_trans_fast(t1); goto LAB14; }
static void work_a_4130681894_3212880686_p_1(char *t0) { char t14[16]; char t38[8]; char t39[8]; char t40[8]; char t41[8]; char t42[8]; char t43[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; int64 t9; unsigned char t10; unsigned char t11; unsigned char t12; unsigned char t13; int t15; unsigned int t16; int t17; int64 t18; int64 t19; int64 t20; int64 t21; int64 t22; int64 t23; int64 t24; char *t25; char *t26; char *t27; char *t28; char *t29; int t30; int t31; unsigned int t32; unsigned int t33; int t34; int t35; unsigned int t36; unsigned int t37; LAB0: t1 = (t0 + 5952U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(115, ng1); t2 = (t0 + 7104); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(116, ng1); t2 = (t0 + 7168); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)1; xsi_driver_first_trans_fast(t2); xsi_set_current_line(117, ng1); t2 = (t0 + 7232); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(118, ng1); t2 = xsi_get_transient_memory(8U); memset(t2, 0, 8U); t3 = t2; memset(t3, (unsigned char)0, 8U); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(119, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(120, ng1); t2 = (t0 + 3688U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB6: *((char **)t1) = &&LAB7; LAB1: return; LAB4: xsi_set_current_line(124, ng1); t2 = (t0 + 7168); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(125, ng1); t2 = (t0 + 7232); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(126, ng1); t2 = (t0 + 3568U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB10: *((char **)t1) = &&LAB11; goto LAB1; LAB5: goto LAB4; LAB7: goto LAB5; LAB8: xsi_set_current_line(128, ng1); t2 = (t0 + 7168); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(129, ng1); t2 = (t0 + 7232); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)1; xsi_driver_first_trans_fast(t2); xsi_set_current_line(130, ng1); t2 = (t0 + 3568U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB14: *((char **)t1) = &&LAB15; goto LAB1; LAB9: goto LAB8; LAB11: goto LAB9; LAB12: xsi_set_current_line(131, ng1); t2 = (t0 + 3568U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB18: *((char **)t1) = &&LAB19; goto LAB1; LAB13: goto LAB12; LAB15: goto LAB13; LAB16: xsi_set_current_line(138, ng1); t2 = (t0 + 7104); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(139, ng1); t2 = (t0 + 4048U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB22: *((char **)t1) = &&LAB23; goto LAB1; LAB17: goto LAB16; LAB19: goto LAB17; LAB20: xsi_set_current_line(142, ng1); t2 = xsi_get_transient_memory(8U); memset(t2, 0, 8U); t3 = t2; memset(t3, (unsigned char)2, 8U); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(143, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(144, ng1); t2 = (t0 + 4048U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB26: *((char **)t1) = &&LAB27; goto LAB1; LAB21: goto LAB20; LAB23: goto LAB21; LAB24: xsi_set_current_line(147, ng1); t2 = (t0 + 7104); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(148, ng1); t2 = (t0 + 4048U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB30: *((char **)t1) = &&LAB31; goto LAB1; LAB25: goto LAB24; LAB27: goto LAB25; LAB28: xsi_set_current_line(151, ng1); LAB34: t2 = (t0 + 6784); *((int *)t2) = 1; *((char **)t1) = &&LAB35; goto LAB1; LAB29: goto LAB28; LAB31: goto LAB29; LAB32: t4 = (t0 + 6784); *((int *)t4) = 0; xsi_set_current_line(152, ng1); t2 = (t0 + 12717); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(153, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(155, ng1); LAB41: t2 = (t0 + 6800); *((int *)t2) = 1; *((char **)t1) = &&LAB42; goto LAB1; LAB33: t3 = (t0 + 992U); t11 = xsi_signal_has_event(t3); if (t11 == 1) goto LAB36; LAB37: t10 = (unsigned char)0; LAB38: if (t10 == 1) goto LAB32; else goto LAB34; LAB35: goto LAB33; LAB36: t4 = (t0 + 1032U); t5 = *((char **)t4); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)2); t10 = t13; goto LAB38; LAB39: t4 = (t0 + 6800); *((int *)t4) = 0; xsi_set_current_line(157, ng1); LAB48: t2 = (t0 + 6816); *((int *)t2) = 1; *((char **)t1) = &&LAB49; goto LAB1; LAB40: t3 = (t0 + 992U); t11 = xsi_signal_has_event(t3); if (t11 == 1) goto LAB43; LAB44: t10 = (unsigned char)0; LAB45: if (t10 == 1) goto LAB39; else goto LAB41; LAB42: goto LAB40; LAB43: t4 = (t0 + 1032U); t5 = *((char **)t4); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)3); t10 = t13; goto LAB45; LAB46: t4 = (t0 + 6816); *((int *)t4) = 0; xsi_set_current_line(159, ng1); LAB55: t2 = (t0 + 6832); *((int *)t2) = 1; *((char **)t1) = &&LAB56; goto LAB1; LAB47: t3 = (t0 + 992U); t11 = xsi_signal_has_event(t3); if (t11 == 1) goto LAB50; LAB51: t10 = (unsigned char)0; LAB52: if (t10 == 1) goto LAB46; else goto LAB48; LAB49: goto LAB47; LAB50: t4 = (t0 + 1032U); t5 = *((char **)t4); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)3); t10 = t13; goto LAB52; LAB53: t4 = (t0 + 6832); *((int *)t4) = 0; xsi_set_current_line(160, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(161, ng1); t2 = (t0 + 12725); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(164, ng1); t2 = (t0 + 1512U); t3 = *((char **)t2); t10 = *((unsigned char *)t3); t11 = (t10 != (unsigned char)2); if (t11 != 0) goto LAB60; LAB62: LAB61: xsi_set_current_line(167, ng1); t2 = (t0 + 1672U); t3 = *((char **)t2); t10 = *((unsigned char *)t3); t11 = (t10 != (unsigned char)3); if (t11 != 0) goto LAB63; LAB65: LAB64: xsi_set_current_line(173, ng1); t2 = (t0 + 12821); *((int *)t2) = 1; t3 = (t0 + 12825); *((int *)t3) = 9; t15 = 1; t17 = 9; LAB66: if (t15 <= t17) goto LAB67; LAB69: xsi_set_current_line(190, ng1); LAB83: t2 = (t0 + 6864); *((int *)t2) = 1; *((char **)t1) = &&LAB84; goto LAB1; LAB54: t3 = (t0 + 992U); t11 = xsi_signal_has_event(t3); if (t11 == 1) goto LAB57; LAB58: t10 = (unsigned char)0; LAB59: if (t10 == 1) goto LAB53; else goto LAB55; LAB56: goto LAB54; LAB57: t4 = (t0 + 1032U); t5 = *((char **)t4); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)2); t10 = t13; goto LAB59; LAB60: xsi_set_current_line(165, ng1); t2 = (t0 + 5760); t4 = (t0 + 12733); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 33; t7 = (t6 + 8U); *((int *)t7) = 1; t15 = (33 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; work_a_4130681894_3212880686_sub_3316276298_3057020925(t0, t2, t4, t14); goto LAB61; LAB63: xsi_set_current_line(168, ng1); t2 = (t0 + 5760); t4 = (t0 + 12766); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 55; t7 = (t6 + 8U); *((int *)t7) = 1; t15 = (55 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; work_a_4130681894_3212880686_sub_3316276298_3057020925(t0, t2, t4, t14); goto LAB64; LAB67: xsi_set_current_line(174, ng1); t9 = xsi_get_sim_current_time(); t4 = (t0 + 4168U); t5 = *((char **)t4); t4 = (t5 + 0); *((int64 *)t4) = t9; xsi_set_current_line(175, ng1); LAB72: t2 = (t0 + 6848); *((int *)t2) = 1; *((char **)t1) = &&LAB73; goto LAB1; LAB68: t2 = (t0 + 12821); t15 = *((int *)t2); t3 = (t0 + 12825); t17 = *((int *)t3); if (t15 == t17) goto LAB69; LAB80: t30 = (t15 + 1); t15 = t30; t4 = (t0 + 12821); *((int *)t4) = t15; goto LAB66; LAB70: t4 = (t0 + 6848); *((int *)t4) = 0; xsi_set_current_line(176, ng1); t9 = xsi_get_sim_current_time(); t2 = (t0 + 4168U); t3 = *((char **)t2); t18 = *((int64 *)t3); t19 = (t9 - t18); t2 = (t0 + 4288U); t4 = *((char **)t2); t2 = (t4 + 0); *((int64 *)t2) = t19; xsi_set_current_line(177, ng1); t2 = (t0 + 4288U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 2848U); t4 = *((char **)t2); t18 = *((int64 *)t4); t2 = (t0 + 3088U); t5 = *((char **)t2); t19 = *((int64 *)t5); t20 = (t18 + t19); t11 = (t9 > t20); if (t11 == 1) goto LAB77; LAB78: t2 = (t0 + 4288U); t6 = *((char **)t2); t21 = *((int64 *)t6); t2 = (t0 + 2848U); t7 = *((char **)t2); t22 = *((int64 *)t7); t2 = (t0 + 3088U); t8 = *((char **)t2); t23 = *((int64 *)t8); t24 = (t22 - t23); t12 = (t21 < t24); t10 = t12; LAB79: if (t10 != 0) goto LAB74; LAB76: LAB75: goto LAB68; LAB71: t3 = (t0 + 1472U); t10 = xsi_signal_has_event(t3); if (t10 == 1) goto LAB70; else goto LAB72; LAB73: goto LAB71; LAB74: xsi_set_current_line(180, ng1); t2 = (t0 + 5760); t25 = (t0 + 5048U); t26 = (t0 + 12829); t28 = (t14 + 0U); t29 = (t28 + 0U); *((int *)t29) = 1; t29 = (t28 + 4U); *((int *)t29) = 32; t29 = (t28 + 8U); *((int *)t29) = 1; t30 = (32 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t29 = (t28 + 12U); *((unsigned int *)t29) = t16; std_textio_write7(STD_TEXTIO, t2, t25, t26, t14, (unsigned char)0, 0); xsi_set_current_line(181, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4288U); t5 = *((char **)t4); t9 = *((int64 *)t5); std_textio_write8(STD_TEXTIO, t2, t3, t9, (unsigned char)0, 0, 1000LL); xsi_set_current_line(182, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 12861); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 11; t7 = (t6 + 8U); *((int *)t7) = 1; t30 = (11 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(183, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 2848U); t5 = *((char **)t4); t9 = *((int64 *)t5); std_textio_write8(STD_TEXTIO, t2, t3, t9, (unsigned char)0, 0, 1000LL); xsi_set_current_line(184, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 12872); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 9; t7 = (t6 + 8U); *((int *)t7) = 1; t30 = (9 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(185, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t9 = xsi_get_sim_current_time(); std_textio_write8(STD_TEXTIO, t2, t3, t9, (unsigned char)0, 0, 1000LL); xsi_set_current_line(186, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); goto LAB75; LAB77: t10 = (unsigned char)1; goto LAB79; LAB81: t3 = (t0 + 6864); *((int *)t3) = 0; xsi_set_current_line(191, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t18 = (4 * t9); t2 = (t0 + 5760); xsi_process_wait(t2, t18); LAB87: *((char **)t1) = &&LAB88; goto LAB1; LAB82: t3 = (t0 + 1672U); t4 = *((char **)t3); t10 = *((unsigned char *)t4); t11 = (t10 == (unsigned char)2); if (t11 == 1) goto LAB81; else goto LAB83; LAB84: goto LAB82; LAB85: xsi_set_current_line(195, ng1); t2 = (t0 + 12881); *((int *)t2) = 3; t3 = (t0 + 12885); *((int *)t3) = 0; t15 = 3; t17 = 0; LAB89: if (t15 >= t17) goto LAB90; LAB92: xsi_set_current_line(244, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t18 = (20 * t9); t2 = (t0 + 5760); xsi_process_wait(t2, t18); LAB133: *((char **)t1) = &&LAB134; goto LAB1; LAB86: goto LAB85; LAB88: goto LAB86; LAB90: xsi_set_current_line(197, ng1); t4 = (t0 + 4408U); t5 = *((char **)t4); t4 = (t0 + 12881); t30 = *((int *)t4); t31 = (t30 - 3); t16 = (t31 * -1); t32 = (8U * t16); t33 = (0 + t32); t6 = (t5 + t33); t7 = (t0 + 7296); t8 = (t7 + 56U); t25 = *((char **)t8); t26 = (t25 + 56U); t27 = *((char **)t26); memcpy(t27, t6, 8U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(198, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(201, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB95: *((char **)t1) = &&LAB96; goto LAB1; LAB91: t2 = (t0 + 12881); t15 = *((int *)t2); t3 = (t0 + 12885); t17 = *((int *)t3); if (t15 == t17) goto LAB92; LAB130: t30 = (t15 + -1); t15 = t30; t4 = (t0 + 12881); *((int *)t4) = t15; goto LAB89; LAB93: xsi_set_current_line(202, ng1); t2 = (t0 + 2968U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB99: *((char **)t1) = &&LAB100; goto LAB1; LAB94: goto LAB93; LAB96: goto LAB94; LAB97: xsi_set_current_line(203, ng1); t2 = xsi_get_transient_memory(8U); memset(t2, 0, 8U); t3 = t2; memset(t3, (unsigned char)2, 8U); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(204, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(207, ng1); t2 = (t0 + 12889); *((int *)t2) = 0; t3 = (t0 + 12893); *((int *)t3) = 7; t30 = 0; t31 = 7; LAB101: if (t30 <= t31) goto LAB102; LAB104: xsi_set_current_line(212, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB112: *((char **)t1) = &&LAB113; goto LAB1; LAB98: goto LAB97; LAB100: goto LAB98; LAB102: xsi_set_current_line(208, ng1); t4 = (t0 + 1512U); t5 = *((char **)t4); t10 = *((unsigned char *)t5); t4 = (t0 + 4528U); t6 = *((char **)t4); t4 = (t0 + 12889); t34 = *((int *)t4); t35 = (t34 - 7); t16 = (t35 * -1); xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t4)); t32 = (1U * t16); t33 = (0 + t32); t7 = (t6 + t33); *((unsigned char *)t7) = t10; xsi_set_current_line(209, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB107: *((char **)t1) = &&LAB108; goto LAB1; LAB103: t2 = (t0 + 12889); t30 = *((int *)t2); t3 = (t0 + 12893); t31 = *((int *)t3); if (t30 == t31) goto LAB104; LAB109: t34 = (t30 + 1); t30 = t34; t4 = (t0 + 12889); *((int *)t4) = t30; goto LAB101; LAB105: goto LAB103; LAB106: goto LAB105; LAB108: goto LAB106; LAB110: xsi_set_current_line(214, ng1); t2 = (t0 + 1512U); t3 = *((char **)t2); t10 = *((unsigned char *)t3); t11 = (t10 != (unsigned char)3); if (t11 != 0) goto LAB114; LAB116: LAB115: xsi_set_current_line(221, ng1); t2 = (t0 + 4528U); t3 = *((char **)t2); t2 = (t0 + 4408U); t4 = *((char **)t2); t2 = (t0 + 12881); t30 = *((int *)t2); t31 = (t30 - 3); t16 = (t31 * -1); t32 = (8U * t16); t33 = (0 + t32); t5 = (t4 + t33); t10 = 1; if (8U == 8U) goto LAB120; LAB121: t10 = 0; LAB122: if (t10 != 0) goto LAB117; LAB119: xsi_set_current_line(225, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 12969); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 31; t7 = (t6 + 8U); *((int *)t7) = 1; t30 = (31 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(226, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4408U); t5 = *((char **)t4); t4 = (t0 + 12881); t30 = *((int *)t4); t31 = (t30 - 3); t16 = (t31 * -1); t32 = (8U * t16); t33 = (0 + t32); t6 = (t5 + t33); memcpy(t39, t6, 8U); t7 = (t14 + 0U); t8 = (t7 + 0U); *((int *)t8) = 7; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t34 = (0 - 7); t36 = (t34 * -1); t36 = (t36 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t36; ieee_p_3564397177_sub_1281154728_91900896(IEEE_P_3564397177, t2, t3, t39, t14, (unsigned char)0, 0); xsi_set_current_line(227, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 13000); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 14; t7 = (t6 + 8U); *((int *)t7) = 1; t30 = (14 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(228, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4528U); t5 = *((char **)t4); memcpy(t40, t5, 8U); t4 = (t0 + 12420U); ieee_p_3564397177_sub_1281154728_91900896(IEEE_P_3564397177, t2, t3, t40, t4, (unsigned char)0, 0); LAB118: xsi_set_current_line(230, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 13014); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 9; t7 = (t6 + 8U); *((int *)t7) = 1; t30 = (9 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(231, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t9 = xsi_get_sim_current_time(); std_textio_write8(STD_TEXTIO, t2, t3, t9, (unsigned char)0, 0, 1000LL); xsi_set_current_line(232, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); xsi_set_current_line(235, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t18 = (2 * t9); t2 = (t0 + 5760); xsi_process_wait(t2, t18); LAB128: *((char **)t1) = &&LAB129; goto LAB1; LAB111: goto LAB110; LAB113: goto LAB111; LAB114: xsi_set_current_line(215, ng1); t2 = (t0 + 5760); t4 = (t0 + 5048U); t5 = (t0 + 12897); t7 = (t14 + 0U); t8 = (t7 + 0U); *((int *)t8) = 1; t8 = (t7 + 4U); *((int *)t8) = 28; t8 = (t7 + 8U); *((int *)t8) = 1; t30 = (28 - 1); t16 = (t30 * 1); t16 = (t16 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t16; std_textio_write7(STD_TEXTIO, t2, t4, t5, t14, (unsigned char)0, 0); xsi_set_current_line(216, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t9 = xsi_get_sim_current_time(); std_textio_write8(STD_TEXTIO, t2, t3, t9, (unsigned char)0, 0, 1000LL); xsi_set_current_line(217, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); goto LAB115; LAB117: xsi_set_current_line(222, ng1); t8 = (t0 + 5760); t25 = (t0 + 5048U); t26 = (t0 + 12925); t28 = (t14 + 0U); t29 = (t28 + 0U); *((int *)t29) = 1; t29 = (t28 + 4U); *((int *)t29) = 44; t29 = (t28 + 8U); *((int *)t29) = 1; t34 = (44 - 1); t37 = (t34 * 1); t37 = (t37 + 1); t29 = (t28 + 12U); *((unsigned int *)t29) = t37; std_textio_write7(STD_TEXTIO, t8, t25, t26, t14, (unsigned char)0, 0); xsi_set_current_line(223, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4528U); t5 = *((char **)t4); memcpy(t38, t5, 8U); t4 = (t0 + 12420U); ieee_p_3564397177_sub_1281154728_91900896(IEEE_P_3564397177, t2, t3, t38, t4, (unsigned char)0, 0); goto LAB118; LAB120: t36 = 0; LAB123: if (t36 < 8U) goto LAB124; else goto LAB122; LAB124: t6 = (t3 + t36); t7 = (t5 + t36); if (*((unsigned char *)t6) != *((unsigned char *)t7)) goto LAB121; LAB125: t36 = (t36 + 1); goto LAB123; LAB126: goto LAB91; LAB127: goto LAB126; LAB129: goto LAB127; LAB131: xsi_set_current_line(245, ng1); t2 = (t0 + 13023); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(246, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(247, ng1); LAB137: t2 = (t0 + 6880); *((int *)t2) = 1; *((char **)t1) = &&LAB138; goto LAB1; LAB132: goto LAB131; LAB134: goto LAB132; LAB135: t3 = (t0 + 6880); *((int *)t3) = 0; xsi_set_current_line(253, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t18 = (10 * t9); t2 = (t0 + 5760); xsi_process_wait(t2, t18); LAB141: *((char **)t1) = &&LAB142; goto LAB1; LAB136: t3 = (t0 + 1672U); t4 = *((char **)t3); t10 = *((unsigned char *)t4); t11 = (t10 == (unsigned char)3); if (t11 == 1) goto LAB135; else goto LAB137; LAB138: goto LAB136; LAB139: xsi_set_current_line(257, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t18 = (10 * t9); t2 = (t0 + 5760); xsi_process_wait(t2, t18); LAB145: *((char **)t1) = &&LAB146; goto LAB1; LAB140: goto LAB139; LAB142: goto LAB140; LAB143: xsi_set_current_line(258, ng1); t2 = (t0 + 1472U); t9 = xsi_signal_get_last_event(t2); t3 = (t0 + 2848U); t4 = *((char **)t3); t18 = *((int64 *)t4); t19 = (10 * t18); t10 = (t9 < t19); if (t10 != 0) goto LAB147; LAB149: LAB148: xsi_set_current_line(266, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(269, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t18 = (2 * t9); t2 = (t0 + 5760); xsi_process_wait(t2, t18); LAB152: *((char **)t1) = &&LAB153; goto LAB1; LAB144: goto LAB143; LAB146: goto LAB144; LAB147: xsi_set_current_line(259, ng1); t3 = (t0 + 5760); t5 = (t0 + 5048U); t6 = (t0 + 13031); t8 = (t14 + 0U); t25 = (t8 + 0U); *((int *)t25) = 1; t25 = (t8 + 4U); *((int *)t25) = 37; t25 = (t8 + 8U); *((int *)t25) = 1; t15 = (37 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t25 = (t8 + 12U); *((unsigned int *)t25) = t16; std_textio_write7(STD_TEXTIO, t3, t5, t6, t14, (unsigned char)0, 0); xsi_set_current_line(260, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t9 = xsi_get_sim_current_time(); t4 = (t0 + 1472U); t18 = xsi_signal_get_last_event(t4); t19 = (t9 - t18); std_textio_write8(STD_TEXTIO, t2, t3, t19, (unsigned char)0, 0, 1000LL); xsi_set_current_line(261, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); xsi_set_current_line(262, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 13068); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 76; t7 = (t6 + 8U); *((int *)t7) = 1; t15 = (76 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(263, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); goto LAB148; LAB150: xsi_set_current_line(272, ng1); t2 = (t0 + 4648U); t3 = *((char **)t2); t2 = (t0 + 7296); t4 = (t2 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t3, 8U); xsi_driver_first_trans_fast(t2); xsi_set_current_line(273, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(276, ng1); LAB156: t2 = (t0 + 6912); *((int *)t2) = 1; *((char **)t1) = &&LAB157; goto LAB1; LAB151: goto LAB150; LAB153: goto LAB151; LAB154: t4 = (t0 + 6912); *((int *)t4) = 0; xsi_set_current_line(277, ng1); t2 = xsi_get_transient_memory(8U); memset(t2, 0, 8U); t3 = t2; memset(t3, (unsigned char)2, 8U); t4 = (t0 + 7296); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(278, ng1); LAB163: t2 = (t0 + 6928); *((int *)t2) = 1; *((char **)t1) = &&LAB164; goto LAB1; LAB155: t3 = (t0 + 1472U); t11 = xsi_signal_has_event(t3); if (t11 == 1) goto LAB158; LAB159: t10 = (unsigned char)0; LAB160: if (t10 == 1) goto LAB154; else goto LAB156; LAB157: goto LAB155; LAB158: t4 = (t0 + 1512U); t5 = *((char **)t4); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)2); t10 = t13; goto LAB160; LAB161: t4 = (t0 + 6928); *((int *)t4) = 0; xsi_set_current_line(279, ng1); t2 = (t0 + 7360); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(282, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB170: *((char **)t1) = &&LAB171; goto LAB1; LAB162: t3 = (t0 + 992U); t11 = xsi_signal_has_event(t3); if (t11 == 1) goto LAB165; LAB166: t10 = (unsigned char)0; LAB167: if (t10 == 1) goto LAB161; else goto LAB163; LAB164: goto LAB162; LAB165: t4 = (t0 + 1032U); t5 = *((char **)t4); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)2); t10 = t13; goto LAB167; LAB168: xsi_set_current_line(283, ng1); t2 = (t0 + 2968U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB174: *((char **)t1) = &&LAB175; goto LAB1; LAB169: goto LAB168; LAB171: goto LAB169; LAB172: xsi_set_current_line(285, ng1); t2 = (t0 + 13144); *((int *)t2) = 0; t3 = (t0 + 13148); *((int *)t3) = 7; t15 = 0; t17 = 7; LAB176: if (t15 <= t17) goto LAB177; LAB179: xsi_set_current_line(290, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB187: *((char **)t1) = &&LAB188; goto LAB1; LAB173: goto LAB172; LAB175: goto LAB173; LAB177: xsi_set_current_line(286, ng1); t4 = (t0 + 1512U); t5 = *((char **)t4); t10 = *((unsigned char *)t5); t4 = (t0 + 4528U); t6 = *((char **)t4); t4 = (t0 + 13144); t30 = *((int *)t4); t31 = (t30 - 7); t16 = (t31 * -1); xsi_vhdl_check_range_of_index(7, 0, -1, *((int *)t4)); t32 = (1U * t16); t33 = (0 + t32); t7 = (t6 + t33); *((unsigned char *)t7) = t10; xsi_set_current_line(287, ng1); t2 = (t0 + 2848U); t3 = *((char **)t2); t9 = *((int64 *)t3); t2 = (t0 + 5760); xsi_process_wait(t2, t9); LAB182: *((char **)t1) = &&LAB183; goto LAB1; LAB178: t2 = (t0 + 13144); t15 = *((int *)t2); t3 = (t0 + 13148); t17 = *((int *)t3); if (t15 == t17) goto LAB179; LAB184: t30 = (t15 + 1); t15 = t30; t4 = (t0 + 13144); *((int *)t4) = t15; goto LAB176; LAB180: goto LAB178; LAB181: goto LAB180; LAB183: goto LAB181; LAB185: xsi_set_current_line(291, ng1); t2 = (t0 + 1512U); t3 = *((char **)t2); t10 = *((unsigned char *)t3); t11 = (t10 == (unsigned char)3); if (t11 == 0) goto LAB189; LAB190: xsi_set_current_line(294, ng1); t2 = (t0 + 4528U); t3 = *((char **)t2); t2 = (t0 + 4648U); t4 = *((char **)t2); t10 = 1; if (8U == 8U) goto LAB194; LAB195: t10 = 0; LAB196: if (t10 != 0) goto LAB191; LAB193: xsi_set_current_line(299, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 13215); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 31; t7 = (t6 + 8U); *((int *)t7) = 1; t15 = (31 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(300, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4648U); t5 = *((char **)t4); memcpy(t42, t5, 8U); t4 = (t0 + 12436U); ieee_p_3564397177_sub_1281154728_91900896(IEEE_P_3564397177, t2, t3, t42, t4, (unsigned char)0, 0); xsi_set_current_line(301, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 13246); t6 = (t14 + 0U); t7 = (t6 + 0U); *((int *)t7) = 1; t7 = (t6 + 4U); *((int *)t7) = 14; t7 = (t6 + 8U); *((int *)t7) = 1; t15 = (14 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t7 = (t6 + 12U); *((unsigned int *)t7) = t16; std_textio_write7(STD_TEXTIO, t2, t3, t4, t14, (unsigned char)0, 0); xsi_set_current_line(302, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4528U); t5 = *((char **)t4); memcpy(t43, t5, 8U); t4 = (t0 + 12420U); ieee_p_3564397177_sub_1281154728_91900896(IEEE_P_3564397177, t2, t3, t43, t4, (unsigned char)0, 0); xsi_set_current_line(303, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); LAB192: xsi_set_current_line(306, ng1); t2 = (t0 + 5760); t3 = (t0 + 13260); t5 = (t14 + 0U); t6 = (t5 + 0U); *((int *)t6) = 1; t6 = (t5 + 4U); *((int *)t6) = 17; t6 = (t5 + 8U); *((int *)t6) = 1; t15 = (17 - 1); t16 = (t15 * 1); t16 = (t16 + 1); t6 = (t5 + 12U); *((unsigned int *)t6) = t16; work_a_4130681894_3212880686_sub_3316276298_3057020925(t0, t2, t3, t14); xsi_set_current_line(308, ng1); LAB202: *((char **)t1) = &&LAB203; goto LAB1; LAB186: goto LAB185; LAB188: goto LAB186; LAB189: t2 = (t0 + 13152); xsi_report(t2, 19U, 2); goto LAB190; LAB191: xsi_set_current_line(295, ng1); t6 = (t0 + 5760); t7 = (t0 + 5048U); t8 = (t0 + 13171); t26 = (t14 + 0U); t27 = (t26 + 0U); *((int *)t27) = 1; t27 = (t26 + 4U); *((int *)t27) = 44; t27 = (t26 + 8U); *((int *)t27) = 1; t15 = (44 - 1); t32 = (t15 * 1); t32 = (t32 + 1); t27 = (t26 + 12U); *((unsigned int *)t27) = t32; std_textio_write7(STD_TEXTIO, t6, t7, t8, t14, (unsigned char)0, 0); xsi_set_current_line(296, ng1); t2 = (t0 + 5760); t3 = (t0 + 5048U); t4 = (t0 + 4528U); t5 = *((char **)t4); memcpy(t41, t5, 8U); t4 = (t0 + 12420U); ieee_p_3564397177_sub_1281154728_91900896(IEEE_P_3564397177, t2, t3, t41, t4, (unsigned char)0, 0); xsi_set_current_line(297, ng1); t2 = (t0 + 5760); t3 = ((STD_TEXTIO) + 1480U); t4 = (t0 + 5048U); std_textio_writeline(STD_TEXTIO, t2, t3, t4); goto LAB192; LAB194: t16 = 0; LAB197: if (t16 < 8U) goto LAB198; else goto LAB196; LAB198: t2 = (t3 + t16); t5 = (t4 + t16); if (*((unsigned char *)t2) != *((unsigned char *)t5)) goto LAB195; LAB199: t16 = (t16 + 1); goto LAB197; LAB200: goto LAB2; LAB201: goto LAB200; LAB203: goto LAB201; }
static void axi_ac97_v1_00_a_a_0746072887_3306564128_p_5(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; char *t12; char *t13; LAB0: xsi_set_current_line(245, ng1); t1 = (t0 + 10280U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 9760U); 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 + 22672); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(246, ng1); t1 = (t0 + 23216); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(248, ng1); t2 = (t0 + 12840U); t6 = *((char **)t2); t11 = *((unsigned char *)t6); t2 = (t0 + 23216); t7 = (t2 + 56U); t8 = *((char **)t7); t12 = (t8 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = t11; xsi_driver_first_trans_fast(t2); goto LAB3; LAB7: t2 = (t0 + 9800U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB9; }
static void axi_ac97_v1_00_a_a_0746072887_3306564128_p_2(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; unsigned char t12; unsigned char t13; unsigned char t14; unsigned char t15; unsigned char t16; unsigned char t17; char *t18; char *t19; char *t20; char *t21; LAB0: xsi_set_current_line(229, ng1); t1 = (t0 + 10280U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 9760U); 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 + 22624); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(230, ng1); t1 = (t0 + 22896); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(231, ng1); t1 = (t0 + 22960); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(232, ng1); t1 = (t0 + 23024); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(234, ng1); t2 = (t0 + 12680U); t6 = *((char **)t2); t11 = *((unsigned char *)t6); t2 = (t0 + 12840U); t7 = *((char **)t2); t12 = *((unsigned char *)t7); t13 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t12); t14 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t11, t13); t2 = (t0 + 13000U); t8 = *((char **)t2); t15 = *((unsigned char *)t8); t16 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t15); t17 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t14, t16); t2 = (t0 + 22896); t18 = (t2 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t21 = *((char **)t20); *((unsigned char *)t21) = t17; xsi_driver_first_trans_fast(t2); xsi_set_current_line(235, ng1); t1 = (t0 + 12840U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 22960); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(236, ng1); t1 = (t0 + 10120U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 23024); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = t3; xsi_driver_first_trans_fast(t1); goto LAB3; LAB7: t2 = (t0 + 9800U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB9; }
static void work_a_3406600879_3212880686_p_0(char *t0) { char t48[16]; char t49[16]; char t50[16]; char t51[16]; char t52[16]; char t53[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; unsigned char t7; char *t8; int t9; unsigned char t10; char *t11; int t12; int t13; char *t14; unsigned char t15; unsigned int t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; int t30; char *t31; char *t32; char *t33; char *t34; int t35; char *t36; char *t37; char *t38; char *t39; int t40; int t41; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; char *t46; char *t47; double t54; LAB0: xsi_set_current_line(150, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)1; xsi_set_current_line(151, ng2); t1 = (t0 + 992U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB5; LAB6: t3 = (unsigned char)0; LAB7: if (t3 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 5712); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(152, ng2); t2 = (t0 + 3368U); t8 = *((char **)t2); t9 = *((int *)t8); t10 = (t9 > 0); if (t10 != 0) goto LAB8; LAB10: LAB9: xsi_set_current_line(155, ng2); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB11; LAB13: xsi_set_current_line(237, ng2); t1 = (t0 + 5856); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB12: goto LAB3; LAB5: t2 = (t0 + 1032U); t5 = *((char **)t2); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t3 = t7; goto LAB7; LAB8: xsi_set_current_line(153, ng2); t2 = (t0 + 3368U); t11 = *((char **)t2); t12 = *((int *)t11); t13 = (t12 - 1); t2 = (t0 + 3368U); t14 = *((char **)t2); t2 = (t14 + 0); *((int *)t2) = t13; goto LAB9; LAB11: xsi_set_current_line(156, ng2); t1 = (t0 + 3368U); t5 = *((char **)t1); t9 = *((int *)t5); t7 = (t9 == 0); if (t7 == 1) goto LAB17; LAB18: t6 = (unsigned char)0; LAB19: if (t6 != 0) goto LAB14; LAB16: LAB15: xsi_set_current_line(230, ng2); t1 = (t0 + 3368U); t2 = *((char **)t1); t9 = *((int *)t2); t3 = (t9 == 1); if (t3 != 0) goto LAB87; LAB89: xsi_set_current_line(234, ng2); t1 = (t0 + 5856); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB88: goto LAB12; LAB14: xsi_set_current_line(158, ng2); t8 = (t0 + 3488U); t11 = *((char **)t8); t8 = (t11 + 0); *((unsigned char *)t8) = (unsigned char)0; xsi_set_current_line(159, ng2); LAB20: t1 = (t0 + 3488U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t6 = (!(t4)); if (t6 == 1) goto LAB24; LAB25: t3 = (unsigned char)0; LAB26: if (t3 != 0) goto LAB21; LAB23: xsi_set_current_line(169, ng2); t1 = (t0 + 3488U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); if (t3 != 0) goto LAB40; LAB42: LAB41: goto LAB15; LAB17: t1 = (t0 + 4416U); t10 = std_textio_endfile(t1); t15 = (!(t10)); t6 = t15; goto LAB19; LAB21: xsi_set_current_line(160, ng2); t5 = (t0 + 5200); t8 = (t0 + 4416U); t11 = (t0 + 4592U); std_textio_readline(STD_TEXTIO, t5, t8, t11); xsi_set_current_line(161, ng2); t1 = (t0 + 3608U); t2 = *((char **)t1); t9 = *((int *)t2); t12 = (t9 + 1); t1 = (t0 + 3608U); t5 = *((char **)t1); t1 = (t5 + 0); *((int *)t1) = t12; xsi_set_current_line(162, ng2); t1 = (t0 + 4592U); t2 = xsi_access_variable_all(t1); t5 = (t2 + 64U); t5 = *((char **)t5); t8 = (t5 + 12U); t16 = *((unsigned int *)t8); t3 = (t16 > 0); if (t3 != 0) goto LAB27; LAB29: LAB28: goto LAB20; LAB22:; LAB24: t1 = (t0 + 4416U); t7 = std_textio_endfile(t1); t10 = (!(t7)); t3 = t10; goto LAB26; LAB27: xsi_set_current_line(163, ng2); t11 = (t0 + 4592U); t14 = xsi_access_variable_all(t11); t17 = (t14 + 56U); t18 = *((char **)t17); t17 = (t0 + 4592U); t19 = xsi_access_variable_all(t17); t20 = (t19 + 64U); t20 = *((char **)t20); t21 = (t20 + 0U); t12 = *((int *)t21); t22 = (t0 + 4592U); t23 = xsi_access_variable_all(t22); t24 = (t23 + 64U); t24 = *((char **)t24); t25 = (t24 + 4U); t13 = *((int *)t25); t26 = (t0 + 4592U); t27 = xsi_access_variable_all(t26); t28 = (t27 + 64U); t28 = *((char **)t28); t29 = (t28 + 8U); t30 = *((int *)t29); if (t12 > t13) goto LAB30; LAB31: if (t30 == -1) goto LAB35; LAB36: t9 = t12; LAB32: t31 = (t0 + 4592U); t32 = xsi_access_variable_all(t31); t33 = (t32 + 64U); t33 = *((char **)t33); t34 = (t33 + 0U); t35 = *((int *)t34); t36 = (t0 + 4592U); t37 = xsi_access_variable_all(t36); t38 = (t37 + 64U); t38 = *((char **)t38); t39 = (t38 + 8U); t40 = *((int *)t39); t41 = (t9 - t35); t42 = (t41 * t40); t43 = (1U * t42); t44 = (0 + t43); t45 = (t18 + t44); t4 = *((unsigned char *)t45); t46 = (t0 + 3728U); t47 = *((char **)t46); t46 = (t47 + 0); *((unsigned char *)t46) = t4; xsi_set_current_line(164, ng2); t1 = (t0 + 3728U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 != (unsigned char)35); if (t4 != 0) goto LAB37; LAB39: LAB38: goto LAB28; LAB30: if (t30 == 1) goto LAB33; LAB34: t9 = t13; goto LAB32; LAB33: t9 = t12; goto LAB32; LAB35: t9 = t13; goto LAB32; LAB37: xsi_set_current_line(165, ng2); t1 = (t0 + 3488U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = (unsigned char)1; goto LAB38; LAB40: xsi_set_current_line(170, ng2); t1 = (t0 + 5200); t5 = (t0 + 4592U); t8 = (t0 + 3248U); t11 = *((char **)t8); t8 = (t11 + 0); t14 = (t0 + 3128U); t17 = *((char **)t14); t14 = (t17 + 0); std_textio_read9(STD_TEXTIO, t1, t5, t8, t14); xsi_set_current_line(171, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB43; LAB45: LAB44: xsi_set_current_line(175, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 3368U); t8 = *((char **)t5); t5 = (t8 + 0); t11 = (t0 + 3128U); t14 = *((char **)t11); t11 = (t14 + 0); std_textio_read9(STD_TEXTIO, t1, t2, t5, t11); xsi_set_current_line(176, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB46; LAB48: LAB47: xsi_set_current_line(180, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 3728U); t8 = *((char **)t5); t5 = (t8 + 0); t11 = (t0 + 3128U); t14 = *((char **)t11); t11 = (t14 + 0); std_textio_read7(STD_TEXTIO, t1, t2, t5, t11); xsi_set_current_line(181, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB49; LAB51: LAB50: xsi_set_current_line(185, ng2); if ((unsigned char)0 != 0) goto LAB52; LAB54: LAB53: xsi_set_current_line(188, ng2); t3 = (0 > 0); if (t3 != 0) goto LAB55; LAB57: LAB56: xsi_set_current_line(195, ng2); if ((unsigned char)0 != 0) goto LAB61; LAB63: if ((unsigned char)0 != 0) goto LAB79; LAB80: xsi_set_current_line(223, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 2888U); t8 = *((char **)t5); t5 = (t0 + 3848U); t11 = *((char **)t5); t9 = *((int *)t11); t12 = (t9 - 1); t16 = (15 - t12); t42 = (t16 * 1U); t43 = (0 + t42); t5 = (t8 + t43); t14 = (t0 + 10472U); t17 = (t0 + 3128U); t18 = *((char **)t17); t17 = (t18 + 0); ieee_p_3564397177_sub_2802659619_91900896(IEEE_P_3564397177, t1, t2, t5, t14, t17); xsi_set_current_line(224, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB84; LAB86: LAB85: LAB62: goto LAB41; LAB43: xsi_set_current_line(172, ng2); t1 = (t0 + 10740); t8 = (t0 + 10770); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 30; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (30 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10788); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (30U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB44; LAB46: xsi_set_current_line(177, ng2); t1 = (t0 + 10796); t8 = (t0 + 10827); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 31; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (31 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10845); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (31U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB47; LAB49: xsi_set_current_line(182, ng2); t1 = (t0 + 10853); t8 = (t0 + 10878); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 25; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (25 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10896); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (25U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB50; LAB52: xsi_set_current_line(186, ng2); t1 = (t0 + 3368U); t2 = *((char **)t1); t1 = (t2 + 0); *((int *)t1) = 1; goto LAB53; LAB55: xsi_set_current_line(189, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 2888U); t8 = *((char **)t5); t9 = (16 - 1); t16 = (15 - t9); t42 = (t16 * 1U); t43 = (0 + t42); t5 = (t8 + t43); t11 = (t48 + 0U); t14 = (t11 + 0U); *((int *)t14) = 15; t14 = (t11 + 4U); *((int *)t14) = 16; t14 = (t11 + 8U); *((int *)t14) = -1; t12 = (16 - 15); t44 = (t12 * -1); t44 = (t44 + 1); t14 = (t11 + 12U); *((unsigned int *)t14) = t44; t14 = (t0 + 3128U); t17 = *((char **)t14); t14 = (t17 + 0); ieee_p_3564397177_sub_2802659619_91900896(IEEE_P_3564397177, t1, t2, t5, t48, t14); xsi_set_current_line(190, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB58; LAB60: LAB59: goto LAB56; LAB58: xsi_set_current_line(191, ng2); t1 = (t0 + 10904); t8 = (t0 + 10931); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 27; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (27 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10949); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (27U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB59; LAB61: xsi_set_current_line(197, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 3008U); t8 = *((char **)t5); t5 = (t8 + 0); t11 = (t0 + 3128U); t14 = *((char **)t11); t11 = (t14 + 0); std_textio_read11(STD_TEXTIO, t1, t2, t5, t11); xsi_set_current_line(198, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB64; LAB66: LAB65: xsi_set_current_line(202, ng2); if ((unsigned char)0 == 1) goto LAB70; LAB71: t3 = (unsigned char)0; LAB72: if (t3 != 0) goto LAB67; LAB69: LAB68: xsi_set_current_line(205, ng2); if ((unsigned char)0 != 0) goto LAB73; LAB75: xsi_set_current_line(210, ng2); if ((unsigned char)0 != 0) goto LAB76; LAB78: xsi_set_current_line(213, ng2); t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t1 = (t0 + 3968U); t5 = *((char **)t1); t9 = *((int *)t5); t1 = (t0 + 4088U); t8 = *((char **)t1); t12 = *((int *)t8); t1 = ((IEEE_PROPOSED_P_0892474878) + 1288U); t11 = *((char **)t1); t3 = *((unsigned char *)t11); t1 = ((IEEE_PROPOSED_P_0892474878) + 1168U); t14 = *((char **)t1); t4 = *((unsigned char *)t14); t1 = ieee_proposed_p_0892474878_sub_3089730135_450259796(IEEE_PROPOSED_P_0892474878, t48, t54, t9, t12, t3, t4, 32); t17 = (t0 + 2888U); t18 = *((char **)t17); t17 = (t0 + 3848U); t19 = *((char **)t17); t13 = *((int *)t19); t30 = (t13 - 1); t16 = (15 - t30); t42 = (t16 * 1U); t43 = (0 + t42); t17 = (t18 + t43); t20 = (t17 + 0); t21 = (t48 + 12U); t44 = *((unsigned int *)t21); t44 = (t44 * 1U); memcpy(t20, t1, t44); t22 = (t0 + 2832U); xsi_variable_act(t22); LAB77: LAB74: goto LAB62; LAB64: xsi_set_current_line(199, ng2); t1 = (t0 + 10957); t8 = (t0 + 10990); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 33; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (33 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11008); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (33U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB65; LAB67: xsi_set_current_line(203, ng2); t1 = (t0 + 11016); t8 = (t0 + 11081); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 65; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (65 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11099); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (65U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB68; LAB70: t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t4 = (t54 < 0.00000000000000000); t3 = t4; goto LAB72; LAB73: xsi_set_current_line(207, ng2); t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t1 = (t0 + 3968U); t5 = *((char **)t1); t9 = *((int *)t5); t1 = ((IEEE_PROPOSED_P_0618294350) + 1408U); t8 = *((char **)t1); t3 = *((unsigned char *)t8); t1 = ((IEEE_PROPOSED_P_0618294350) + 1528U); t11 = *((char **)t1); t4 = *((unsigned char *)t11); t1 = ieee_proposed_p_0618294350_sub_17521889_3517329569(IEEE_PROPOSED_P_0618294350, t48, t54, t9, 0, t3, t4); t14 = (t0 + 2888U); t17 = *((char **)t14); t14 = (t0 + 3848U); t18 = *((char **)t14); t12 = *((int *)t18); t13 = (t12 - 1); t16 = (15 - t13); t42 = (t16 * 1U); t43 = (0 + t42); t14 = (t17 + t43); t19 = (t14 + 0); t20 = (t48 + 12U); t44 = *((unsigned int *)t20); t44 = (t44 * 1U); memcpy(t19, t1, t44); t21 = (t0 + 2832U); xsi_variable_act(t21); goto LAB74; LAB76: xsi_set_current_line(211, ng2); t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t1 = (t0 + 3968U); t5 = *((char **)t1); t9 = *((int *)t5); t1 = (t0 + 4088U); t8 = *((char **)t1); t12 = *((int *)t8); t1 = ((IEEE_PROPOSED_P_0892474878) + 1288U); t11 = *((char **)t1); t3 = *((unsigned char *)t11); t1 = ((IEEE_PROPOSED_P_0892474878) + 1168U); t14 = *((char **)t1); t4 = *((unsigned char *)t14); t1 = ieee_proposed_p_0892474878_sub_1319208325_450259796(IEEE_PROPOSED_P_0892474878, t48, t54, t9, t12, t3, t4, 32); t17 = (t0 + 2888U); t18 = *((char **)t17); t17 = (t0 + 3848U); t19 = *((char **)t17); t13 = *((int *)t19); t30 = (t13 - 1); t16 = (15 - t30); t42 = (t16 * 1U); t43 = (0 + t42); t17 = (t18 + t43); t20 = (t17 + 0); t21 = (t48 + 12U); t44 = *((unsigned int *)t21); t44 = (t44 * 1U); memcpy(t20, t1, t44); t22 = (t0 + 2832U); xsi_variable_act(t22); goto LAB77; LAB79: xsi_set_current_line(217, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 2888U); t8 = *((char **)t5); t5 = (t0 + 3848U); t11 = *((char **)t5); t9 = *((int *)t11); t12 = (t9 - 1); t16 = (15 - t12); t42 = (t16 * 1U); t43 = (0 + t42); t5 = (t8 + t43); t14 = (t0 + 10472U); t17 = (t0 + 3128U); t18 = *((char **)t17); t17 = (t18 + 0); ieee_p_3564397177_sub_3902175275_91900896(IEEE_P_3564397177, t1, t2, t5, t14, t17); xsi_set_current_line(218, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB81; LAB83: LAB82: goto LAB62; LAB81: xsi_set_current_line(219, ng2); t1 = (t0 + 11107); t8 = (t0 + 11139); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 32; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (32 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11157); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (32U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB82; LAB84: xsi_set_current_line(225, ng2); t1 = (t0 + 11165); t8 = (t0 + 11200); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 35; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (35 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10424U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11218); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (35U + 18U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB85; LAB87: xsi_set_current_line(231, ng2); t1 = (t0 + 2888U); t5 = *((char **)t1); t1 = (t0 + 5792); t8 = (t1 + 56U); t11 = *((char **)t8); t14 = (t11 + 56U); t17 = *((char **)t14); memcpy(t17, t5, 16U); xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(232, ng2); t1 = (t0 + 5856); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); goto LAB88; }
static void work_a_0618850533_3212880686_p_5(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; char *t9; char *t10; char *t11; char *t12; LAB0: xsi_set_current_line(149, ng0); t2 = (t0 + 992U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 9096); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(152, ng0); t4 = (t0 + 2952U); t8 = *((char **)t4); t4 = (t0 + 9624); t9 = (t4 + 56U); t10 = *((char **)t9); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t8, 5U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(153, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t2 = (t0 + 9688); t5 = (t2 + 56U); t8 = *((char **)t5); t9 = (t8 + 56U); t10 = *((char **)t9); *((unsigned char *)t10) = t1; xsi_driver_first_trans_fast(t2); goto LAB3; LAB5: t4 = (t0 + 1032U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; }
static void work_a_2466334853_3196465293_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; unsigned char t15; unsigned char t16; unsigned char t17; unsigned char t18; LAB0: xsi_set_current_line(69, 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 + 3512); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(70, ng0); t1 = (t0 + 5876); t6 = (31 - 31); t7 = (t6 * 1U); t8 = (0 + t7); t9 = (t1 + t8); t10 = (t0 + 3592); t11 = (t10 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); memcpy(t14, t9, 32U); xsi_driver_first_trans_fast_port(t10); goto LAB3; LAB5: xsi_set_current_line(72, ng0); t2 = (t0 + 1352U); t9 = *((char **)t2); t17 = *((unsigned char *)t9); t18 = (t17 == (unsigned char)3); if (t18 != 0) goto LAB10; LAB12: LAB11: goto LAB3; LAB7: t2 = (t0 + 1032U); t5 = *((char **)t2); t15 = *((unsigned char *)t5); t16 = (t15 == (unsigned char)2); t3 = t16; goto LAB9; LAB10: xsi_set_current_line(73, ng0); t2 = (t0 + 1512U); t10 = *((char **)t2); t2 = (t0 + 3592); t11 = (t2 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); memcpy(t14, t10, 32U); xsi_driver_first_trans_fast_port(t2); goto LAB11; }
static void work_a_1430113433_3212880686_p_13(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; unsigned char t10; unsigned char t11; unsigned char t12; char *t13; unsigned int t14; unsigned int t15; unsigned int t16; LAB0: xsi_set_current_line(218, 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 + 14992); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(219, ng0); t1 = (t0 + 15920); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)0; xsi_driver_first_trans_fast(t1); xsi_set_current_line(220, ng0); t1 = (t0 + 22991); t5 = (t0 + 15984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 32U); xsi_driver_first_trans_fast(t5); goto LAB3; LAB5: xsi_set_current_line(222, ng0); t2 = (t0 + 1672U); t6 = *((char **)t2); t12 = *((unsigned char *)t6); t2 = (t0 + 15920); t7 = (t2 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t13 = *((char **)t9); *((unsigned char *)t13) = t12; xsi_driver_first_trans_fast(t2); xsi_set_current_line(223, ng0); t1 = (t0 + 7112U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB10; LAB12: LAB11: xsi_set_current_line(226, ng0); t1 = (t0 + 9032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB13; LAB15: LAB14: xsi_set_current_line(229, ng0); t1 = (t0 + 9192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB16; LAB18: LAB17: xsi_set_current_line(232, ng0); t1 = (t0 + 9352U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB19; LAB21: LAB20: xsi_set_current_line(235, ng0); t1 = (t0 + 9512U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB22; LAB24: LAB23: xsi_set_current_line(238, ng0); t1 = (t0 + 9672U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB25; LAB27: t1 = (t0 + 9672U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB28; LAB29: LAB26: goto LAB3; LAB7: t2 = (t0 + 1032U); t5 = *((char **)t2); t10 = *((unsigned char *)t5); t11 = (t10 == (unsigned char)3); t3 = t11; goto LAB9; LAB10: xsi_set_current_line(224, ng0); t1 = (t0 + 7272U); t5 = *((char **)t1); t1 = (t0 + 15984); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t5, 32U); xsi_driver_first_trans_fast(t1); goto LAB11; LAB13: xsi_set_current_line(227, ng0); t1 = (t0 + 8392U); t5 = *((char **)t1); t1 = (t0 + 16048); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t5, 32U); xsi_driver_first_trans_fast(t1); goto LAB14; LAB16: xsi_set_current_line(230, ng0); t1 = (t0 + 8552U); t5 = *((char **)t1); t1 = (t0 + 16112); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t5, 32U); xsi_driver_first_trans_fast(t1); goto LAB17; LAB19: xsi_set_current_line(233, ng0); t1 = (t0 + 8712U); t5 = *((char **)t1); t1 = (t0 + 16176); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t5, 32U); xsi_driver_first_trans_fast(t1); goto LAB20; LAB22: xsi_set_current_line(236, ng0); t1 = (t0 + 8872U); t5 = *((char **)t1); t1 = (t0 + 16240); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t5, 32U); xsi_driver_first_trans_fast(t1); goto LAB23; LAB25: xsi_set_current_line(239, ng0); t1 = (t0 + 2472U); t5 = *((char **)t1); t14 = (31 - 31); t15 = (t14 * 1U); t16 = (0 + t15); t1 = (t5 + t16); t6 = (t0 + 16304); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t13 = *((char **)t9); memcpy(t13, t1, 6U); xsi_driver_first_trans_fast(t6); goto LAB26; LAB28: xsi_set_current_line(241, ng0); t1 = (t0 + 8072U); t5 = *((char **)t1); t14 = (31 - 31); t15 = (t14 * 1U); t16 = (0 + t15); t1 = (t5 + t16); t6 = (t0 + 16304); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t13 = *((char **)t9); memcpy(t13, t1, 6U); xsi_driver_first_trans_fast(t6); goto LAB26; }
static void work_a_0846406752_3212880686_p_0(char *t0) { char t21[16]; char t23[16]; char t38[16]; char t41[16]; char t42[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; int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned char t17; unsigned char t18; unsigned char t19; unsigned char t20; char *t22; char *t24; char *t25; int t26; unsigned int t27; char *t28; unsigned int t29; unsigned char t30; char *t31; char *t32; char *t33; char *t34; char *t35; unsigned int t36; unsigned int t37; unsigned int t39; unsigned int t40; int t43; unsigned int t44; unsigned int t45; char *t46; LAB0: xsi_set_current_line(35, ng0); t1 = (t0 + 684U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 776U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB5; LAB6: xsi_set_current_line(48, ng0); t1 = (t0 + 568U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB10; LAB11: t3 = (unsigned char)0; LAB12: if (t3 != 0) goto LAB7; LAB9: LAB8: LAB3: t1 = (t0 + 2368); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(36, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t5 = t1; memset(t5, (unsigned char)2, 8U); t6 = (t0 + 2412); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t1, 8U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(37, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t2 = t1; memset(t2, (unsigned char)2, 8U); t5 = (t0 + 2448); t6 = (t5 + 32U); t7 = *((char **)t6); t8 = (t7 + 40U); t9 = *((char **)t8); memcpy(t9, t1, 8U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(38, ng0); t1 = (t0 + 2484); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 40U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(39, ng0); t1 = (t0 + 2520); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 40U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(44, ng0); t1 = (t0 + 868U); t5 = *((char **)t1); t1 = (t0 + 2412); t6 = (t1 + 32U); t7 = *((char **)t6); t8 = (t7 + 40U); t9 = *((char **)t8); memcpy(t9, t5, 8U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(45, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t1 = (t0 + 2448); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(46, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t1 = (t0 + 2556); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); memcpy(t8, t2, 8U); xsi_driver_first_trans_fast_port(t1); goto LAB3; LAB7: xsi_set_current_line(50, ng0); t2 = (t0 + 868U); t6 = *((char **)t2); t13 = (0 - 7); t14 = (t13 * -1); t15 = (1U * t14); t16 = (0 + t15); t2 = (t6 + t16); t17 = *((unsigned char *)t2); t18 = (t17 == (unsigned char)2); if (t18 != 0) goto LAB13; LAB15: t1 = (t0 + 868U); t2 = *((char **)t1); t13 = (0 - 7); t14 = (t13 * -1); t15 = (1U * t14); t16 = (0 + t15); t1 = (t2 + t16); t3 = *((unsigned char *)t1); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB23; LAB24: LAB14: xsi_set_current_line(61, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t13 = (2 - 7); t14 = (t13 * -1); t15 = (1U * t14); t16 = (0 + t15); t1 = (t2 + t16); t3 = *((unsigned char *)t1); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB25; LAB27: t1 = (t0 + 868U); t2 = *((char **)t1); t13 = (2 - 7); t14 = (t13 * -1); t15 = (1U * t14); t16 = (0 + t15); t1 = (t2 + t16); t3 = *((unsigned char *)t1); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB35; LAB36: LAB26: xsi_set_current_line(72, ng0); t1 = (t0 + 1052U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 2484); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); *((unsigned char *)t8) = t3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(73, ng0); t1 = (t0 + 1144U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 2520); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); *((unsigned char *)t8) = t3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(77, ng0); t1 = (t0 + 1052U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t11 = (t4 == (unsigned char)3); if (t11 == 1) goto LAB40; LAB41: t3 = (unsigned char)0; LAB42: if (t3 != 0) goto LAB37; LAB39: LAB38: xsi_set_current_line(87, ng0); t1 = (t0 + 1144U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t11 = (t4 == (unsigned char)3); if (t11 == 1) goto LAB53; LAB54: t3 = (unsigned char)0; LAB55: if (t3 != 0) goto LAB50; LAB52: LAB51: xsi_set_current_line(96, ng0); t1 = (t0 + 1236U); t2 = *((char **)t1); t14 = (7 - 7); t15 = (t14 * 1U); t16 = (0 + t15); t1 = (t2 + t16); t5 = (t0 + 1328U); t6 = *((char **)t5); t27 = (7 - 3); t29 = (t27 * 1U); t36 = (0 + t29); t5 = (t6 + t36); t8 = ((IEEE_P_2592010699) + 2332); t9 = (t23 + 0U); t10 = (t9 + 0U); *((int *)t10) = 7; t10 = (t9 + 4U); *((int *)t10) = 4; t10 = (t9 + 8U); *((int *)t10) = -1; t13 = (4 - 7); t37 = (t13 * -1); t37 = (t37 + 1); t10 = (t9 + 12U); *((unsigned int *)t10) = t37; t10 = (t38 + 0U); t22 = (t10 + 0U); *((int *)t22) = 3; t22 = (t10 + 4U); *((int *)t22) = 2; t22 = (t10 + 8U); *((int *)t22) = -1; t26 = (2 - 3); t37 = (t26 * -1); t37 = (t37 + 1); t22 = (t10 + 12U); *((unsigned int *)t22) = t37; t7 = xsi_base_array_concat(t7, t21, t8, (char)97, t1, t23, (char)97, t5, t38, (char)101); t22 = (t0 + 1236U); t24 = *((char **)t22); t37 = (7 - 1); t39 = (t37 * 1U); t40 = (0 + t39); t22 = (t24 + t40); t28 = ((IEEE_P_2592010699) + 2332); t31 = (t42 + 0U); t32 = (t31 + 0U); *((int *)t32) = 1; t32 = (t31 + 4U); *((int *)t32) = 0; t32 = (t31 + 8U); *((int *)t32) = -1; t43 = (0 - 1); t44 = (t43 * -1); t44 = (t44 + 1); t32 = (t31 + 12U); *((unsigned int *)t32) = t44; t25 = xsi_base_array_concat(t25, t41, t28, (char)97, t7, t21, (char)97, t22, t42, (char)101); t44 = (4U + 2U); t45 = (t44 + 2U); t3 = (8U != t45); if (t3 == 1) goto LAB63; LAB64: t32 = (t0 + 2556); t33 = (t32 + 32U); t34 = *((char **)t33); t35 = (t34 + 40U); t46 = *((char **)t35); memcpy(t46, t25, 8U); xsi_driver_first_trans_fast_port(t32); goto LAB8; LAB10: t2 = (t0 + 592U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t12 = (t11 == (unsigned char)3); t3 = t12; goto LAB12; LAB13: xsi_set_current_line(51, ng0); t7 = (t0 + 1052U); t8 = *((char **)t7); t19 = *((unsigned char *)t8); t20 = (t19 == (unsigned char)3); if (t20 != 0) goto LAB16; LAB18: xsi_set_current_line(54, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t1 = (t0 + 4496U); t5 = (t0 + 4607); t7 = (t23 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 7; t8 = (t7 + 8U); *((int *)t8) = 1; t13 = (7 - 0); t14 = (t13 * 1); t14 = (t14 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t14; t8 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t21, t2, t1, t5, t23); t9 = (t21 + 12U); t14 = *((unsigned int *)t9); t15 = (1U * t14); t3 = (8U != t15); if (t3 == 1) goto LAB21; LAB22: t10 = (t0 + 2412); t22 = (t10 + 32U); t24 = *((char **)t22); t25 = (t24 + 40U); t28 = *((char **)t25); memcpy(t28, t8, 8U); xsi_driver_first_trans_fast(t10); LAB17: goto LAB14; LAB16: xsi_set_current_line(52, ng0); t7 = (t0 + 868U); t9 = *((char **)t7); t7 = (t0 + 4496U); t10 = (t0 + 4599); t24 = (t23 + 0U); t25 = (t24 + 0U); *((int *)t25) = 0; t25 = (t24 + 4U); *((int *)t25) = 7; t25 = (t24 + 8U); *((int *)t25) = 1; t26 = (7 - 0); t27 = (t26 * 1); t27 = (t27 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t27; t25 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t21, t9, t7, t10, t23); t28 = (t21 + 12U); t27 = *((unsigned int *)t28); t29 = (1U * t27); t30 = (8U != t29); if (t30 == 1) goto LAB19; LAB20: t31 = (t0 + 2412); t32 = (t31 + 32U); t33 = *((char **)t32); t34 = (t33 + 40U); t35 = *((char **)t34); memcpy(t35, t25, 8U); xsi_driver_first_trans_fast(t31); goto LAB17; LAB19: xsi_size_not_matching(8U, t29, 0); goto LAB20; LAB21: xsi_size_not_matching(8U, t15, 0); goto LAB22; LAB23: xsi_set_current_line(57, ng0); t5 = (t0 + 868U); t6 = *((char **)t5); t26 = (0 - 7); t27 = (t26 * -1); t29 = (1U * t27); t36 = (0 + t29); t5 = (t6 + t36); t11 = *((unsigned char *)t5); t7 = (t0 + 2412); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 40U); t22 = *((char **)t10); *((unsigned char *)t22) = t11; xsi_driver_first_trans_delta(t7, 7U, 1, 0LL); goto LAB14; LAB25: xsi_set_current_line(62, ng0); t5 = (t0 + 1144U); t6 = *((char **)t5); t11 = *((unsigned char *)t6); t12 = (t11 == (unsigned char)3); if (t12 != 0) goto LAB28; LAB30: xsi_set_current_line(65, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t1 = (t0 + 4496U); t5 = (t0 + 4623); t7 = (t23 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 7; t8 = (t7 + 8U); *((int *)t8) = 1; t13 = (7 - 0); t14 = (t13 * 1); t14 = (t14 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t14; t8 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t21, t2, t1, t5, t23); t9 = (t21 + 12U); t14 = *((unsigned int *)t9); t15 = (1U * t14); t3 = (8U != t15); if (t3 == 1) goto LAB33; LAB34: t10 = (t0 + 2448); t22 = (t10 + 32U); t24 = *((char **)t22); t25 = (t24 + 40U); t28 = *((char **)t25); memcpy(t28, t8, 8U); xsi_driver_first_trans_fast(t10); LAB29: goto LAB26; LAB28: xsi_set_current_line(63, ng0); t5 = (t0 + 868U); t7 = *((char **)t5); t5 = (t0 + 4496U); t8 = (t0 + 4615); t10 = (t23 + 0U); t22 = (t10 + 0U); *((int *)t22) = 0; t22 = (t10 + 4U); *((int *)t22) = 7; t22 = (t10 + 8U); *((int *)t22) = 1; t26 = (7 - 0); t27 = (t26 * 1); t27 = (t27 + 1); t22 = (t10 + 12U); *((unsigned int *)t22) = t27; t22 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t21, t7, t5, t8, t23); t24 = (t21 + 12U); t27 = *((unsigned int *)t24); t29 = (1U * t27); t17 = (8U != t29); if (t17 == 1) goto LAB31; LAB32: t25 = (t0 + 2448); t28 = (t25 + 32U); t31 = *((char **)t28); t32 = (t31 + 40U); t33 = *((char **)t32); memcpy(t33, t22, 8U); xsi_driver_first_trans_fast(t25); goto LAB29; LAB31: xsi_size_not_matching(8U, t29, 0); goto LAB32; LAB33: xsi_size_not_matching(8U, t15, 0); goto LAB34; LAB35: xsi_set_current_line(68, ng0); t5 = (t0 + 868U); t6 = *((char **)t5); t26 = (2 - 7); t27 = (t26 * -1); t29 = (1U * t27); t36 = (0 + t29); t5 = (t6 + t36); t11 = *((unsigned char *)t5); t7 = (t0 + 2448); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 40U); t22 = *((char **)t10); *((unsigned char *)t22) = t11; xsi_driver_first_trans_delta(t7, 5U, 1, 0LL); goto LAB26; LAB37: xsi_set_current_line(78, ng0); t1 = (t0 + 868U); t6 = *((char **)t1); t13 = (0 - 7); t14 = (t13 * -1); t15 = (1U * t14); t16 = (0 + t15); t1 = (t6 + t16); t18 = *((unsigned char *)t1); t19 = (t18 == (unsigned char)3); if (t19 != 0) goto LAB43; LAB45: xsi_set_current_line(81, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t1 = (t0 + 4496U); t5 = (t0 + 4639); t7 = (t23 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 7; t8 = (t7 + 8U); *((int *)t8) = 1; t13 = (7 - 0); t14 = (t13 * 1); t14 = (t14 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t14; t8 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t21, t2, t1, t5, t23); t9 = (t21 + 12U); t14 = *((unsigned int *)t9); t15 = (1U * t14); t3 = (8U != t15); if (t3 == 1) goto LAB48; LAB49: t10 = (t0 + 2412); t22 = (t10 + 32U); t24 = *((char **)t22); t25 = (t24 + 40U); t28 = *((char **)t25); memcpy(t28, t8, 8U); xsi_driver_first_trans_fast(t10); LAB44: goto LAB38; LAB40: t1 = (t0 + 1420U); t5 = *((char **)t1); t12 = *((unsigned char *)t5); t17 = (t12 == (unsigned char)2); t3 = t17; goto LAB42; LAB43: xsi_set_current_line(79, ng0); t7 = (t0 + 868U); t8 = *((char **)t7); t7 = (t0 + 4496U); t9 = (t0 + 4631); t22 = (t23 + 0U); t24 = (t22 + 0U); *((int *)t24) = 0; t24 = (t22 + 4U); *((int *)t24) = 7; t24 = (t22 + 8U); *((int *)t24) = 1; t26 = (7 - 0); t27 = (t26 * 1); t27 = (t27 + 1); t24 = (t22 + 12U); *((unsigned int *)t24) = t27; t24 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t21, t8, t7, t9, t23); t25 = (t21 + 12U); t27 = *((unsigned int *)t25); t29 = (1U * t27); t20 = (8U != t29); if (t20 == 1) goto LAB46; LAB47: t28 = (t0 + 2412); t31 = (t28 + 32U); t32 = *((char **)t31); t33 = (t32 + 40U); t34 = *((char **)t33); memcpy(t34, t24, 8U); xsi_driver_first_trans_fast(t28); goto LAB44; LAB46: xsi_size_not_matching(8U, t29, 0); goto LAB47; LAB48: xsi_size_not_matching(8U, t15, 0); goto LAB49; LAB50: xsi_set_current_line(88, ng0); t1 = (t0 + 868U); t6 = *((char **)t1); t13 = (2 - 7); t14 = (t13 * -1); t15 = (1U * t14); t16 = (0 + t15); t1 = (t6 + t16); t18 = *((unsigned char *)t1); t19 = (t18 == (unsigned char)3); if (t19 != 0) goto LAB56; LAB58: xsi_set_current_line(91, ng0); t1 = (t0 + 868U); t2 = *((char **)t1); t1 = (t0 + 4496U); t5 = (t0 + 4655); t7 = (t23 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 7; t8 = (t7 + 8U); *((int *)t8) = 1; t13 = (7 - 0); t14 = (t13 * 1); t14 = (t14 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t14; t8 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t21, t2, t1, t5, t23); t9 = (t21 + 12U); t14 = *((unsigned int *)t9); t15 = (1U * t14); t3 = (8U != t15); if (t3 == 1) goto LAB61; LAB62: t10 = (t0 + 2448); t22 = (t10 + 32U); t24 = *((char **)t22); t25 = (t24 + 40U); t28 = *((char **)t25); memcpy(t28, t8, 8U); xsi_driver_first_trans_fast(t10); LAB57: goto LAB51; LAB53: t1 = (t0 + 1512U); t5 = *((char **)t1); t12 = *((unsigned char *)t5); t17 = (t12 == (unsigned char)2); t3 = t17; goto LAB55; LAB56: xsi_set_current_line(89, ng0); t7 = (t0 + 868U); t8 = *((char **)t7); t7 = (t0 + 4496U); t9 = (t0 + 4647); t22 = (t23 + 0U); t24 = (t22 + 0U); *((int *)t24) = 0; t24 = (t22 + 4U); *((int *)t24) = 7; t24 = (t22 + 8U); *((int *)t24) = 1; t26 = (7 - 0); t27 = (t26 * 1); t27 = (t27 + 1); t24 = (t22 + 12U); *((unsigned int *)t24) = t27; t24 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t21, t8, t7, t9, t23); t25 = (t21 + 12U); t27 = *((unsigned int *)t25); t29 = (1U * t27); t20 = (8U != t29); if (t20 == 1) goto LAB59; LAB60: t28 = (t0 + 2448); t31 = (t28 + 32U); t32 = *((char **)t31); t33 = (t32 + 40U); t34 = *((char **)t33); memcpy(t34, t24, 8U); xsi_driver_first_trans_fast(t28); goto LAB57; LAB59: xsi_size_not_matching(8U, t29, 0); goto LAB60; LAB61: xsi_size_not_matching(8U, t15, 0); goto LAB62; LAB63: xsi_size_not_matching(8U, t45, 0); goto LAB64; }
static void axi_vdma_v5_00_a_a_2554620086_3640575771_p_4(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; char *t13; char *t14; unsigned int t15; unsigned char t16; char *t17; char *t18; char *t19; LAB0: xsi_set_current_line(302, ng0); t2 = (t0 + 1256U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 8864); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(303, ng0); t4 = (t0 + 1456U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)2); if (t10 != 0) goto LAB8; LAB10: t2 = (t0 + 4976U); t4 = *((char **)t2); t3 = *((unsigned char *)t4); t6 = (t3 == (unsigned char)3); if (t6 == 1) goto LAB13; LAB14: t1 = (unsigned char)0; LAB15: if (t1 != 0) goto LAB11; LAB12: t2 = (t0 + 2096U); t4 = *((char **)t2); t6 = *((unsigned char *)t4); t7 = (t6 == (unsigned char)3); if (t7 == 1) goto LAB21; LAB22: t3 = (unsigned char)0; LAB23: if (t3 == 1) goto LAB18; LAB19: t1 = (unsigned char)0; LAB20: if (t1 != 0) goto LAB16; LAB17: LAB9: goto LAB3; LAB5: t4 = (t0 + 1296U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(305, ng0); t4 = (t0 + 9328); t11 = (t4 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)2; xsi_driver_first_trans_fast(t4); goto LAB9; LAB11: xsi_set_current_line(309, ng0); t2 = (t0 + 9328); t8 = (t2 + 56U); t11 = *((char **)t8); t12 = (t11 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = (unsigned char)2; xsi_driver_first_trans_fast(t2); goto LAB9; LAB13: t2 = (t0 + 1936U); t5 = *((char **)t2); t7 = *((unsigned char *)t5); t9 = (t7 == (unsigned char)3); t1 = t9; goto LAB15; LAB16: xsi_set_current_line(313, ng0); t12 = (t0 + 9328); t14 = (t12 + 56U); t17 = *((char **)t14); t18 = (t17 + 56U); t19 = *((char **)t18); *((unsigned char *)t19) = (unsigned char)3; xsi_driver_first_trans_fast(t12); goto LAB9; LAB18: t12 = (t0 + 1776U); t13 = *((char **)t12); t10 = *((unsigned char *)t13); t16 = (t10 == (unsigned char)3); t1 = t16; goto LAB20; LAB21: t2 = (t0 + 2256U); t5 = *((char **)t2); t2 = (t0 + 5512U); t8 = *((char **)t2); t9 = 1; if (8U == 8U) goto LAB24; LAB25: t9 = 0; LAB26: t3 = t9; goto LAB23; LAB24: t15 = 0; LAB27: if (t15 < 8U) goto LAB28; else goto LAB26; LAB28: t2 = (t5 + t15); t11 = (t8 + t15); if (*((unsigned char *)t2) != *((unsigned char *)t11)) goto LAB25; LAB29: t15 = (t15 + 1); goto LAB27; }
static void microblaze_v8_00_b_a_0963070018_3306564128_p_6(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; unsigned char t8; char *t9; unsigned char t10; unsigned char t11; char *t12; unsigned char t13; unsigned char t14; char *t15; char *t16; char *t17; char *t18; LAB0: xsi_set_current_line(275, ng0); t2 = (t0 + 1520U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 10024); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(276, ng0); t4 = (t0 + 1720U); t9 = *((char **)t4); t10 = *((unsigned char *)t9); t11 = (t10 == (unsigned char)3); if (t11 == 1) goto LAB11; LAB12: t4 = (t0 + 2040U); t12 = *((char **)t4); t13 = *((unsigned char *)t12); t14 = (!(t13)); t8 = t14; LAB13: if (t8 != 0) goto LAB8; LAB10: t2 = (t0 + 2680U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); if (t1 != 0) goto LAB14; LAB15: LAB9: goto LAB3; LAB5: t4 = (t0 + 1560U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(277, ng0); t4 = (t0 + 10584); t15 = (t4 + 56U); t16 = *((char **)t15); t17 = (t16 + 56U); t18 = *((char **)t17); *((unsigned char *)t18) = (unsigned char)2; xsi_driver_first_trans_fast(t4); goto LAB9; LAB11: t8 = (unsigned char)1; goto LAB13; LAB14: xsi_set_current_line(279, ng0); t2 = (t0 + 3160U); t5 = *((char **)t2); t3 = *((unsigned char *)t5); t2 = (t0 + 10584); t9 = (t2 + 56U); t12 = *((char **)t9); t15 = (t12 + 56U); t16 = *((char **)t15); *((unsigned char *)t16) = t3; xsi_driver_first_trans_fast(t2); goto LAB9; }
static void axi_vdma_v5_00_a_a_2554620086_3640575771_p_8(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; char *t13; char *t14; LAB0: xsi_set_current_line(357, ng0); t2 = (t0 + 1256U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 8928); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(358, ng0); t4 = (t0 + 1456U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)2); if (t10 != 0) goto LAB8; LAB10: xsi_set_current_line(361, ng0); t2 = (t0 + 2896U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t2 = (t0 + 4976U); t5 = *((char **)t2); t3 = *((unsigned char *)t5); t6 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t3); t7 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t1, t6); t2 = (t0 + 9584); t8 = (t2 + 56U); t11 = *((char **)t8); t12 = (t11 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = t7; xsi_driver_first_trans_fast_port(t2); LAB9: goto LAB3; LAB5: t4 = (t0 + 1296U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(359, ng0); t4 = (t0 + 9584); t11 = (t4 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)2; xsi_driver_first_trans_fast_port(t4); goto LAB9; }
static void microblaze_v8_00_b_a_0963070018_3306564128_p_10(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; unsigned char t8; char *t9; unsigned char t10; unsigned char t11; char *t12; unsigned char t13; unsigned char t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; int t21; unsigned int t22; unsigned int t23; unsigned int t24; LAB0: xsi_set_current_line(436, ng0); t2 = (t0 + 1520U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 10088); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(437, ng0); t4 = (t0 + 1720U); t9 = *((char **)t4); t10 = *((unsigned char *)t9); t11 = (t10 == (unsigned char)3); if (t11 == 1) goto LAB11; LAB12: t4 = (t0 + 2040U); t12 = *((char **)t4); t13 = *((unsigned char *)t12); t14 = (!(t13)); t8 = t14; LAB13: if (t8 != 0) goto LAB8; LAB10: t2 = (t0 + 2680U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); if (t1 != 0) goto LAB14; LAB15: LAB9: goto LAB3; LAB5: t4 = (t0 + 1560U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(438, ng0); t4 = xsi_get_transient_memory(2U); memset(t4, 0, 2U); t15 = t4; memset(t15, (unsigned char)2, 2U); t16 = (t0 + 10840); t17 = (t16 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); memcpy(t20, t4, 2U); xsi_driver_first_trans_fast(t16); goto LAB9; LAB11: t8 = (unsigned char)1; goto LAB13; LAB14: xsi_set_current_line(440, ng0); t2 = (t0 + 2520U); t5 = *((char **)t2); t21 = (31 - 4); t22 = (t21 - 27); t23 = (t22 * 1U); t24 = (0 + t23); t2 = (t5 + t24); t9 = (t0 + 10840); t12 = (t9 + 56U); t15 = *((char **)t12); t16 = (t15 + 56U); t17 = *((char **)t16); memcpy(t17, t2, 2U); xsi_driver_first_trans_fast(t9); goto LAB9; }
static void work_a_3735905323_1516540902_p_7(char *t0) { char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; unsigned char t7; unsigned int t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; static char *nl0[] = {&&LAB3, &&LAB4, &&LAB5}; LAB0: xsi_set_current_line(102, ng0); t1 = (t0 + 3432U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (char *)((nl0) + t3); goto **((char **)t1); LAB2: t1 = (t0 + 7784); *((int *)t1) = 1; LAB1: return; LAB3: xsi_set_current_line(104, ng0); t4 = (t0 + 2632U); t5 = *((char **)t4); t4 = (t0 + 2792U); t6 = *((char **)t4); t7 = 1; if (16U == 16U) goto LAB9; LAB10: t7 = 0; LAB11: if (t7 != 0) goto LAB6; LAB8: xsi_set_current_line(107, ng0); t1 = (t0 + 8360); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)1; xsi_driver_first_trans_fast(t1); LAB7: goto LAB2; LAB4: xsi_set_current_line(109, ng0); t1 = (t0 + 8360); 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(110, ng0); t1 = (t0 + 8360); t2 = (t1 + 56U); t4 = *((char **)t2); t5 = (t4 + 56U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)0; xsi_driver_first_trans_fast(t1); goto LAB2; LAB6: xsi_set_current_line(105, ng0); t10 = (t0 + 8360); t11 = (t10 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)0; xsi_driver_first_trans_fast(t10); goto LAB7; LAB9: t8 = 0; LAB12: if (t8 < 16U) goto LAB13; else goto LAB11; LAB13: t4 = (t5 + t8); t9 = (t6 + t8); if (*((unsigned char *)t4) != *((unsigned char *)t9)) goto LAB10; LAB14: t8 = (t8 + 1); goto LAB12; } static void work_a_3735905323_1516540902_p_8(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; unsigned char t10; unsigned char t11; char *t12; char *t13; LAB0: xsi_set_current_line(117, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); 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 + 7800); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(118, ng0); t1 = (t0 + 8424); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)0; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(120, ng0); t2 = (t0 + 3592U); t6 = *((char **)t2); t11 = *((unsigned char *)t6); t2 = (t0 + 8424); t7 = (t2 + 56U); t8 = *((char **)t7); t12 = (t8 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = t11; xsi_driver_first_trans_fast(t2); goto LAB3; LAB7: t2 = (t0 + 1032U); t5 = *((char **)t2); t9 = *((unsigned char *)t5); t10 = (t9 == (unsigned char)3); t3 = t10; goto LAB9; }
static void microblaze_v8_00_b_a_0963070018_3306564128_p_11(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; unsigned char t8; char *t9; unsigned char t10; unsigned char t11; char *t12; unsigned char t13; unsigned char t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; int t21; unsigned int t22; unsigned int t23; unsigned int t24; LAB0: xsi_set_current_line(451, ng0); t2 = (t0 + 1520U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 10104); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(452, ng0); t4 = (t0 + 1720U); t9 = *((char **)t4); t10 = *((unsigned char *)t9); t11 = (t10 == (unsigned char)3); if (t11 == 1) goto LAB11; LAB12: t4 = (t0 + 2040U); t12 = *((char **)t4); t13 = *((unsigned char *)t12); t14 = (!(t13)); t8 = t14; LAB13: if (t8 != 0) goto LAB8; LAB10: t2 = (t0 + 2680U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); if (t1 != 0) goto LAB14; LAB15: LAB9: goto LAB3; LAB5: t4 = (t0 + 1560U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(453, ng0); t4 = xsi_get_transient_memory(32U); memset(t4, 0, 32U); t15 = t4; memset(t15, (unsigned char)2, 32U); t16 = (t0 + 10904); t17 = (t16 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); memcpy(t20, t4, 32U); xsi_driver_first_trans_fast(t16); goto LAB9; LAB11: t8 = (unsigned char)1; goto LAB13; LAB14: xsi_set_current_line(455, ng0); t2 = (t0 + 4600U); t5 = *((char **)t2); t3 = *((unsigned char *)t5); t6 = (t3 == (unsigned char)2); if (t6 != 0) goto LAB16; LAB18: xsi_set_current_line(460, ng0); t2 = xsi_get_transient_memory(32U); memset(t2, 0, 32U); t4 = t2; t5 = (t0 + 3160U); t9 = *((char **)t5); t1 = *((unsigned char *)t9); memset(t4, t1, 32U); t5 = (t0 + 10904); t12 = (t5 + 56U); t15 = *((char **)t12); t16 = (t15 + 56U); t17 = *((char **)t16); memcpy(t17, t2, 32U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(461, ng0); t2 = (t0 + 3640U); t4 = *((char **)t2); t21 = (0 + 4); t22 = (t21 - 0); t23 = (t22 * 1U); t24 = (0 + t23); t2 = (t4 + t24); t5 = (t0 + 10904); t9 = (t5 + 56U); t12 = *((char **)t9); t15 = (t12 + 56U); t16 = *((char **)t15); memcpy(t16, t2, 28U); xsi_driver_first_trans_delta(t5, 0U, 28U, 0LL); LAB17: goto LAB9; LAB16: xsi_set_current_line(457, ng0); t2 = (t0 + 3640U); t9 = *((char **)t2); t2 = (t0 + 10904); t12 = (t2 + 56U); t15 = *((char **)t12); t16 = (t15 + 56U); t17 = *((char **)t16); memcpy(t17, t9, 32U); xsi_driver_first_trans_fast(t2); goto LAB17; }
static void microblaze_v8_20_b_a_3370581401_3306564128_p_6(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; char *t13; char *t14; int t15; LAB0: xsi_set_current_line(279, ng0); t2 = (t0 + 9704U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 20936); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(280, ng0); t4 = (t0 + 9904U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: t2 = (t0 + 10224U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); if (t1 != 0) goto LAB11; LAB12: LAB9: goto LAB3; LAB5: t4 = (t0 + 9744U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(281, ng0); t4 = (t0 + 21416); t11 = (t4 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); *((int *)t14) = 0; xsi_driver_first_trans_fast_port(t4); goto LAB9; LAB11: xsi_set_current_line(283, ng0); t2 = (t0 + 12944U); t5 = *((char **)t2); t15 = *((int *)t5); t2 = (t0 + 21416); t8 = (t2 + 56U); t11 = *((char **)t8); t12 = (t11 + 56U); t13 = *((char **)t12); *((int *)t13) = t15; xsi_driver_first_trans_fast_port(t2); goto LAB9; }
static void work_a_1111616105_0831356973_p_0(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; int t13; int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; char *t20; char *t21; char *t22; LAB0: xsi_set_current_line(78, ng0); t2 = (t0 + 992U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 4040); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(79, ng0); t4 = (t0 + 1192U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: LAB9: goto LAB3; LAB5: t4 = (t0 + 1032U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(79, ng0); t4 = (t0 + 1832U); t11 = *((char **)t4); t4 = (t0 + 1672U); t12 = *((char **)t4); t4 = (t0 + 7236U); t13 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t12, t4); t14 = (t13 - 31); t15 = (t14 * -1); t16 = (32U * t15); t17 = (0U + t16); t18 = (t0 + 4136); t19 = (t18 + 56U); t20 = *((char **)t19); t21 = (t20 + 56U); t22 = *((char **)t21); memcpy(t22, t11, 32U); xsi_driver_first_trans_delta(t18, t17, 32U, 0LL); goto LAB9; }
static void work_a_0241228469_3212880686_p_1(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; char *t13; char *t14; char *t15; LAB0: xsi_set_current_line(59, ng0); t2 = (t0 + 992U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 3536); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(60, ng0); t4 = (t0 + 1352U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: LAB9: goto LAB3; LAB5: t4 = (t0 + 1032U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(62, ng0); t4 = (t0 + 1192U); t11 = *((char **)t4); t4 = (t0 + 3680); t12 = (t4 + 56U); t13 = *((char **)t12); t14 = (t13 + 56U); t15 = *((char **)t14); memcpy(t15, t11, 43U); xsi_driver_first_trans_fast(t4); goto LAB9; }
static void work_a_0618850533_3212880686_p_0(char *t0) { char t11[16]; char t15[16]; unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; unsigned char t10; char *t12; char *t13; char *t14; char *t16; char *t17; int t18; unsigned int t19; char *t20; unsigned int t21; unsigned char t22; char *t23; char *t24; char *t25; char *t26; char *t27; LAB0: xsi_set_current_line(115, ng0); t2 = (t0 + 992U); t3 = xsi_signal_has_event(t2); if (t3 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB2; LAB4: LAB3: t2 = (t0 + 9016); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(116, ng0); t4 = (t0 + 3752U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: xsi_set_current_line(119, ng0); t2 = xsi_get_transient_memory(5U); memset(t2, 0, 5U); t4 = t2; memset(t4, (unsigned char)2, 5U); t5 = (t0 + 9304); t8 = (t5 + 56U); t12 = *((char **)t8); t13 = (t12 + 56U); t14 = *((char **)t13); memcpy(t14, t2, 5U); xsi_driver_first_trans_fast(t5); LAB9: goto LAB3; LAB5: t4 = (t0 + 1032U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(117, ng0); t4 = (t0 + 2952U); t12 = *((char **)t4); t4 = (t0 + 15748U); t13 = (t0 + 15862); t16 = (t15 + 0U); t17 = (t16 + 0U); *((int *)t17) = 0; t17 = (t16 + 4U); *((int *)t17) = 0; t17 = (t16 + 8U); *((int *)t17) = 1; t18 = (0 - 0); t19 = (t18 * 1); t19 = (t19 + 1); t17 = (t16 + 12U); *((unsigned int *)t17) = t19; t17 = ieee_p_3620187407_sub_767668596_3965413181(IEEE_P_3620187407, t11, t12, t4, t13, t15); t20 = (t11 + 12U); t19 = *((unsigned int *)t20); t21 = (1U * t19); t22 = (5U != t21); if (t22 == 1) goto LAB11; LAB12: t23 = (t0 + 9304); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t27 = *((char **)t26); memcpy(t27, t17, 5U); xsi_driver_first_trans_fast(t23); goto LAB9; LAB11: xsi_size_not_matching(5U, t21, 0); goto LAB12; }
static void work_a_3735905323_1516540902_p_0(char *t0) { 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; char *t15; LAB0: xsi_set_current_line(40, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); 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 + 7672); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(41, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t5 = t1; memset(t5, (unsigned char)2, 8U); t6 = (t0 + 7912); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 8U); xsi_driver_first_trans_fast(t6); goto LAB3; LAB5: xsi_set_current_line(43, ng0); t2 = (t0 + 1512U); t6 = *((char **)t2); t13 = *((unsigned char *)t6); t14 = (t13 == (unsigned char)3); if (t14 != 0) goto LAB10; LAB12: 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(44, ng0); t2 = (t0 + 1352U); t7 = *((char **)t2); t2 = (t0 + 7912); t8 = (t2 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t15 = *((char **)t10); memcpy(t15, t7, 8U); xsi_driver_first_trans_fast(t2); goto LAB11; }
static void work_a_1125604288_1446275585_p_0(char *t0) { char t14[16]; char t17[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; char *t15; unsigned char t16; char *t18; char *t19; char *t20; char *t21; unsigned int t22; unsigned int t23; unsigned char t24; char *t25; char *t26; char *t27; char *t28; char *t29; static char *nl0[] = {&&LAB14, &&LAB11, &&LAB12, &&LAB13}; LAB0: xsi_set_current_line(61, 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 + 4632); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(62, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t5 = t1; memset(t5, (unsigned char)2, 8U); t6 = (t0 + 4728); 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(63, ng0); t1 = (t0 + 4792); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)0; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(65, ng0); t2 = (t0 + 2472U); t6 = *((char **)t2); t13 = *((unsigned char *)t6); t2 = (char *)((nl0) + t13); goto **((char **)t2); LAB7: t2 = (t0 + 1032U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t12 = (t11 == (unsigned char)3); t3 = t12; goto LAB9; LAB10: goto LAB3; LAB11: xsi_set_current_line(67, ng0); t7 = (t0 + 2792U); t8 = *((char **)t7); t7 = (t0 + 7816U); t9 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t14, t8, t7, 2); t10 = (t0 + 1352U); t15 = *((char **)t10); t10 = (t0 + 7720U); t16 = ieee_p_3620187407_sub_1366267000076357978_3965413181(IEEE_P_3620187407, t9, t14, t15, t10); if (t16 != 0) goto LAB15; LAB17: xsi_set_current_line(70, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t2 = t1; memset(t2, (unsigned char)2, 8U); t5 = (t0 + 4728); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 8U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(71, ng0); t1 = (t0 + 4792); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB16: goto LAB10; LAB12: xsi_set_current_line(75, ng0); t1 = (t0 + 2792U); t2 = *((char **)t1); t1 = (t0 + 7816U); t5 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t14, t2, t1, 1); t6 = (t0 + 1512U); t7 = *((char **)t6); t6 = (t0 + 7736U); t3 = ieee_p_3620187407_sub_1366267000076357978_3965413181(IEEE_P_3620187407, t5, t14, t7, t6); if (t3 != 0) goto LAB20; LAB22: xsi_set_current_line(78, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t2 = t1; memset(t2, (unsigned char)2, 8U); t5 = (t0 + 4728); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 8U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(79, ng0); t1 = (t0 + 4792); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); LAB21: goto LAB10; LAB13: xsi_set_current_line(83, ng0); t1 = (t0 + 2792U); t2 = *((char **)t1); t1 = (t0 + 7816U); t5 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t14, t2, t1, 1); t6 = (t0 + 1672U); t7 = *((char **)t6); t6 = (t0 + 7752U); t3 = ieee_p_3620187407_sub_1366267000076357978_3965413181(IEEE_P_3620187407, t5, t14, t7, t6); if (t3 != 0) goto LAB25; LAB27: xsi_set_current_line(86, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t2 = t1; memset(t2, (unsigned char)2, 8U); t5 = (t0 + 4728); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 8U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(87, ng0); t1 = (t0 + 4792); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)0; xsi_driver_first_trans_fast(t1); LAB26: goto LAB10; LAB14: xsi_set_current_line(91, ng0); t1 = xsi_get_transient_memory(8U); memset(t1, 0, 8U); t2 = t1; memset(t2, (unsigned char)2, 8U); t5 = (t0 + 4728); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 8U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(92, ng0); t1 = (t0 + 2312U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB30; LAB32: LAB31: goto LAB10; LAB15: xsi_set_current_line(68, ng0); t18 = (t0 + 2792U); t19 = *((char **)t18); t18 = (t0 + 7816U); t20 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t17, t19, t18, 1); t21 = (t17 + 12U); t22 = *((unsigned int *)t21); t23 = (1U * t22); t24 = (8U != t23); if (t24 == 1) goto LAB18; LAB19: t25 = (t0 + 4728); t26 = (t25 + 56U); t27 = *((char **)t26); t28 = (t27 + 56U); t29 = *((char **)t28); memcpy(t29, t20, 8U); xsi_driver_first_trans_fast(t25); goto LAB16; LAB18: xsi_size_not_matching(8U, t23, 0); goto LAB19; LAB20: xsi_set_current_line(76, ng0); t8 = (t0 + 2792U); t9 = *((char **)t8); t8 = (t0 + 7816U); t10 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t17, t9, t8, 1); t15 = (t17 + 12U); t22 = *((unsigned int *)t15); t23 = (1U * t22); t4 = (8U != t23); if (t4 == 1) goto LAB23; LAB24: t18 = (t0 + 4728); t19 = (t18 + 56U); t20 = *((char **)t19); t21 = (t20 + 56U); t25 = *((char **)t21); memcpy(t25, t10, 8U); xsi_driver_first_trans_fast(t18); goto LAB21; LAB23: xsi_size_not_matching(8U, t23, 0); goto LAB24; LAB25: xsi_set_current_line(84, ng0); t8 = (t0 + 2792U); t9 = *((char **)t8); t8 = (t0 + 7816U); t10 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t17, t9, t8, 1); t15 = (t17 + 12U); t22 = *((unsigned int *)t15); t23 = (1U * t22); t4 = (8U != t23); if (t4 == 1) goto LAB28; LAB29: t18 = (t0 + 4728); t19 = (t18 + 56U); t20 = *((char **)t19); t21 = (t20 + 56U); t25 = *((char **)t21); memcpy(t25, t10, 8U); xsi_driver_first_trans_fast(t18); goto LAB26; LAB28: xsi_size_not_matching(8U, t23, 0); goto LAB29; LAB30: xsi_set_current_line(93, ng0); t1 = (t0 + 4792); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)1; xsi_driver_first_trans_fast(t1); goto LAB31; } static void work_a_1125604288_1446275585_p_1(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; static char *nl0[] = {&&LAB6, &&LAB7, &&LAB8, &&LAB9}; LAB0: xsi_set_current_line(101, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: xsi_set_current_line(107, ng0); t1 = (t0 + 2632U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (char *)((nl0) + t3); goto **((char **)t1); LAB2: xsi_set_current_line(102, ng0); t1 = (t0 + 4856); t5 = (t1 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)0; xsi_driver_first_trans_fast(t1); xsi_set_current_line(103, ng0); t1 = (t0 + 7881); t5 = (t0 + 4920); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(104, ng0); t1 = (t0 + 7884); t5 = (t0 + 4984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(105, ng0); t1 = (t0 + 7887); t5 = (t0 + 5048); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); LAB3: t1 = (t0 + 4648); *((int *)t1) = 1; LAB1: return; LAB5: goto LAB3; LAB6: xsi_set_current_line(109, ng0); t5 = (t0 + 4856); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); *((unsigned char *)t9) = (unsigned char)0; xsi_driver_first_trans_fast(t5); xsi_set_current_line(110, ng0); t1 = (t0 + 7890); t5 = (t0 + 4920); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(111, ng0); t1 = (t0 + 7893); t5 = (t0 + 4984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(112, ng0); t1 = (t0 + 7896); t5 = (t0 + 5048); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); goto LAB5; LAB7: xsi_set_current_line(114, ng0); t1 = (t0 + 4856); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast(t1); xsi_set_current_line(115, ng0); t1 = (t0 + 7899); t5 = (t0 + 4920); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(116, ng0); t1 = (t0 + 7902); t5 = (t0 + 4984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(117, ng0); t1 = (t0 + 7905); t5 = (t0 + 5048); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); goto LAB5; LAB8: xsi_set_current_line(120, ng0); t1 = (t0 + 4856); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(121, ng0); t1 = (t0 + 7908); t5 = (t0 + 4920); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(122, ng0); t1 = (t0 + 7911); t5 = (t0 + 4984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(123, ng0); t1 = (t0 + 7914); t5 = (t0 + 5048); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); goto LAB5; LAB9: xsi_set_current_line(126, ng0); t1 = (t0 + 4856); t2 = (t1 + 56U); t5 = *((char **)t2); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(127, ng0); t1 = (t0 + 7917); t5 = (t0 + 4920); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(128, ng0); t1 = (t0 + 7920); t5 = (t0 + 4984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(129, ng0); t1 = (t0 + 7923); t5 = (t0 + 5048); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 3U); xsi_driver_first_trans_fast_port(t5); goto LAB5; } extern void work_a_1125604288_1446275585_init() { static char *pe[] = {(void *)work_a_1125604288_1446275585_p_0,(void *)work_a_1125604288_1446275585_p_1}; xsi_register_didat("work_a_1125604288_1446275585", "isim/tb_Project_isim_beh.exe.sim/work/a_1125604288_1446275585.didat"); xsi_register_executes(pe); }