static void work_a_3037777339_3212880686_p_10(char *t0) { char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; LAB0: xsi_set_current_line(147, ng0); t1 = (t0 + 2708U); t2 = *((char **)t1); t1 = (t0 + 9256U); t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 65535); if (t3 != 0) goto LAB3; LAB4: LAB5: t9 = (t0 + 6260); t10 = (t9 + 32U); t11 = *((char **)t10); t12 = (t11 + 40U); t13 = *((char **)t12); *((unsigned char *)t13) = (unsigned char)2; xsi_driver_first_trans_fast(t9); LAB2: t14 = (t0 + 5752); *((int *)t14) = 1; LAB1: return; LAB3: t4 = (t0 + 6260); t5 = (t4 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)3; xsi_driver_first_trans_fast(t4); goto LAB2; LAB6: goto LAB2; }
static void work_a_0832606739_3212880686_p_2(char *t0) { char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; LAB0: xsi_set_current_line(174, ng0); t1 = (t0 + 1832U); t2 = *((char **)t1); t1 = (t0 + 6384U); t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0); if (t3 != 0) goto LAB3; LAB4: LAB5: t9 = (t0 + 4048); t10 = (t9 + 56U); t11 = *((char **)t10); t12 = (t11 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = (unsigned char)2; xsi_driver_first_trans_fast_port(t9); LAB2: t14 = (t0 + 3840); *((int *)t14) = 1; LAB1: return; LAB3: t4 = (t0 + 4048); t5 = (t4 + 56U); t6 = *((char **)t5); t7 = (t6 + 56U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)3; xsi_driver_first_trans_fast_port(t4); goto LAB2; LAB6: goto LAB2; }
static void work_a_4280372217_3212880686_p_0(char *t0) { char t24[16]; char t28[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; unsigned char t11; char *t12; unsigned char t13; char *t14; char *t15; unsigned char t16; unsigned char t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; unsigned int t25; unsigned int t26; unsigned int t27; int t29; unsigned int t30; unsigned int t31; LAB0: xsi_set_current_line(90, 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 + 11616); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(91, ng0); t4 = (t0 + 4552U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: LAB9: xsi_set_current_line(98, ng0); t2 = (t0 + 1192U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t3 = (t1 == (unsigned char)3); if (t3 != 0) goto LAB19; LAB21: LAB20: xsi_set_current_line(101, ng0); t2 = (t0 + 2952U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t3 = (t1 == (unsigned char)9); if (t3 != 0) goto LAB22; LAB24: LAB23: 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(92, ng0); t4 = (t0 + 4712U); t12 = *((char **)t4); t4 = (t0 + 18684U); t13 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t12, t4, 65536); if (t13 == 1) goto LAB14; LAB15: t14 = (t0 + 1192U); t15 = *((char **)t14); t16 = *((unsigned char *)t15); t17 = (t16 == (unsigned char)3); t11 = t17; LAB16: if (t11 != 0) goto LAB11; LAB13: xsi_set_current_line(95, ng0); t2 = (t0 + 4712U); t4 = *((char **)t2); t2 = (t0 + 18684U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t24, t4, t2, 1); t8 = (t24 + 12U); t25 = *((unsigned int *)t8); t26 = (1U * t25); t1 = (17U != t26); if (t1 == 1) goto LAB17; LAB18: t12 = (t0 + 11984); t14 = (t12 + 56U); t15 = *((char **)t14); t18 = (t15 + 56U); t19 = *((char **)t18); memcpy(t19, t5, 17U); xsi_driver_first_trans_fast(t12); LAB12: goto LAB9; LAB11: xsi_set_current_line(93, ng0); t14 = xsi_get_transient_memory(17U); memset(t14, 0, 17U); t18 = t14; memset(t18, (unsigned char)2, 17U); t19 = (t0 + 11984); t20 = (t19 + 56U); t21 = *((char **)t20); t22 = (t21 + 56U); t23 = *((char **)t22); memcpy(t23, t14, 17U); xsi_driver_first_trans_fast(t19); goto LAB12; LAB14: t11 = (unsigned char)1; goto LAB16; LAB17: xsi_size_not_matching(17U, t26, 0); goto LAB18; LAB19: xsi_set_current_line(99, ng0); t2 = (t0 + 18912); t8 = (t0 + 12048); t12 = (t8 + 56U); t14 = *((char **)t12); t15 = (t14 + 56U); t18 = *((char **)t15); memcpy(t18, t2, 16U); xsi_driver_first_trans_fast(t8); goto LAB20; LAB22: xsi_set_current_line(102, ng0); t2 = (t0 + 4712U); t5 = *((char **)t2); t25 = (16 - 15); t26 = (t25 * 1U); t27 = (0 + t26); t2 = (t5 + t27); t8 = (t28 + 0U); t12 = (t8 + 0U); *((int *)t12) = 15; t12 = (t8 + 4U); *((int *)t12) = 0; t12 = (t8 + 8U); *((int *)t12) = -1; t29 = (0 - 15); t30 = (t29 * -1); t30 = (t30 + 1); t12 = (t8 + 12U); *((unsigned int *)t12) = t30; t12 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t24, t2, t28, 1); t14 = (t24 + 12U); t30 = *((unsigned int *)t14); t31 = (1U * t30); t6 = (16U != t31); if (t6 == 1) goto LAB25; LAB26: t15 = (t0 + 12048); t18 = (t15 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t21 = *((char **)t20); memcpy(t21, t12, 16U); xsi_driver_first_trans_fast(t15); goto LAB23; LAB25: xsi_size_not_matching(16U, t31, 0); goto LAB26; }
static void work_a_4280372217_3212880686_p_15(char *t0) { char t17[16]; unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; unsigned int t18; unsigned int t19; LAB0: xsi_set_current_line(253, ng0); t2 = (t0 + 1952U); 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 + 11856); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(254, ng0); t4 = (t0 + 4232U); t8 = *((char **)t4); t4 = (t0 + 18652U); t9 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t8, t4, 799); if (t9 != 0) goto LAB8; LAB10: xsi_set_current_line(257, ng0); t2 = (t0 + 4232U); t4 = *((char **)t2); t2 = (t0 + 18652U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t17, t4, t2, 1); t8 = (t17 + 12U); t18 = *((unsigned int *)t8); t19 = (1U * t18); t1 = (10U != t19); if (t1 == 1) goto LAB11; LAB12: t10 = (t0 + 13072); t11 = (t10 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t14 = *((char **)t13); memcpy(t14, t5, 10U); xsi_driver_first_trans_fast(t10); LAB9: goto LAB3; LAB5: t4 = (t0 + 1992U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(255, ng0); t10 = xsi_get_transient_memory(10U); memset(t10, 0, 10U); t11 = t10; memset(t11, (unsigned char)2, 10U); t12 = (t0 + 13072); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memcpy(t16, t10, 10U); xsi_driver_first_trans_fast(t12); goto LAB9; LAB11: xsi_size_not_matching(10U, t19, 0); goto LAB12; }
static void work_a_4280372217_3212880686_p_13(char *t0) { char t20[16]; unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; unsigned int t21; unsigned int t22; LAB0: xsi_set_current_line(227, ng0); t2 = (t0 + 1952U); 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 + 11824); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(228, ng0); t4 = (t0 + 4232U); t8 = *((char **)t4); t4 = (t0 + 18652U); t9 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t8, t4, 799); if (t9 != 0) goto LAB8; LAB10: LAB9: goto LAB3; LAB5: t4 = (t0 + 1992U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(229, ng0); t10 = (t0 + 4392U); t11 = *((char **)t10); t10 = (t0 + 18668U); t12 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t11, t10, 524); if (t12 != 0) goto LAB11; LAB13: xsi_set_current_line(232, ng0); t2 = (t0 + 4392U); t4 = *((char **)t2); t2 = (t0 + 18668U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t20, t4, t2, 1); t8 = (t20 + 12U); t21 = *((unsigned int *)t8); t22 = (1U * t21); t1 = (10U != t22); if (t1 == 1) goto LAB14; LAB15: t10 = (t0 + 12944); t11 = (t10 + 56U); t13 = *((char **)t11); t14 = (t13 + 56U); t15 = *((char **)t14); memcpy(t15, t5, 10U); xsi_driver_first_trans_fast(t10); LAB12: goto LAB9; LAB11: xsi_set_current_line(230, ng0); t13 = xsi_get_transient_memory(10U); memset(t13, 0, 10U); t14 = t13; memset(t14, (unsigned char)2, 10U); t15 = (t0 + 12944); t16 = (t15 + 56U); t17 = *((char **)t16); t18 = (t17 + 56U); t19 = *((char **)t18); memcpy(t19, t13, 10U); xsi_driver_first_trans_fast(t15); goto LAB12; LAB14: xsi_size_not_matching(10U, t22, 0); goto LAB15; }
static void work_a_0526130289_1516540902_p_8(char *t0) { char t11[16]; unsigned char t1; char *t2; char *t3; unsigned char t4; unsigned char t5; char *t6; int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t12; char *t13; int t14; unsigned int t15; char *t16; int t17; unsigned char t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; LAB0: xsi_set_current_line(50, ng0); t2 = (t0 + 2172U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)3); if (t5 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB3; LAB4: LAB15: t23 = (t0 + 5724); t24 = (t23 + 32U); t25 = *((char **)t24); t26 = (t25 + 40U); t27 = *((char **)t26); *((unsigned char *)t27) = (unsigned char)2; xsi_driver_first_trans_delta(t23, 7U, 1, 0LL); LAB2: t28 = (t0 + 5384); *((int *)t28) = 1; LAB1: return; LAB3: t13 = (t0 + 5724); t19 = (t13 + 32U); t20 = *((char **)t19); t21 = (t20 + 40U); t22 = *((char **)t21); *((unsigned char *)t22) = (unsigned char)3; xsi_driver_first_trans_delta(t13, 7U, 1, 0LL); goto LAB2; LAB5: t2 = (t0 + 1896U); t6 = *((char **)t2); if (12 > 0) goto LAB8; LAB9: if (-1 == -1) goto LAB13; LAB14: t7 = 0; LAB10: t8 = (12 - t7); t9 = (t8 * 1U); t10 = (0 + t9); t2 = (t6 + t10); t12 = (t11 + 0U); t13 = (t12 + 0U); *((int *)t13) = 12; t13 = (t12 + 4U); *((int *)t13) = 10; t13 = (t12 + 8U); *((int *)t13) = -1; t14 = (10 - 12); t15 = (t14 * -1); t15 = (t15 + 1); t13 = (t12 + 12U); *((unsigned int *)t13) = t15; t13 = (t0 + 3280U); t16 = *((char **)t13); t17 = *((int *)t16); t18 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t11, t17); t1 = t18; goto LAB7; LAB8: if (-1 == 1) goto LAB11; LAB12: t7 = 12; goto LAB10; LAB11: t7 = 0; goto LAB10; LAB13: t7 = 12; goto LAB10; LAB16: goto LAB2; }
static void work_a_3037777339_3212880686_p_11(char *t0) { char t1[16]; char t5[16]; char *t2; char *t3; char *t4; char *t6; char *t7; char *t8; char *t9; unsigned char t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; LAB0: xsi_set_current_line(148, ng0); t2 = (t0 + 2064U); t3 = *((char **)t2); t2 = (t0 + 1880U); t4 = *((char **)t2); t6 = ((IEEE_P_2592010699) + 2332); t7 = (t0 + 9224U); t8 = (t0 + 9208U); t2 = xsi_base_array_concat(t2, t5, t6, (char)97, t3, t7, (char)97, t4, t8, (char)101); t9 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t1, t2, t5); t10 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t9, t1, 0); if (t10 != 0) goto LAB3; LAB4: LAB5: t16 = (t0 + 6296); t17 = (t16 + 32U); t18 = *((char **)t17); t19 = (t18 + 40U); t20 = *((char **)t19); *((unsigned char *)t20) = (unsigned char)2; xsi_driver_first_trans_fast(t16); LAB2: t21 = (t0 + 5760); *((int *)t21) = 1; LAB1: return; LAB3: t11 = (t0 + 6296); t12 = (t11 + 32U); t13 = *((char **)t12); t14 = (t13 + 40U); t15 = *((char **)t14); *((unsigned char *)t15) = (unsigned char)3; xsi_driver_first_trans_fast(t11); goto LAB2; LAB6: goto LAB2; }
static void work_a_0308195381_2372691052_p_0(char *t0) { char t15[16]; char t16[16]; 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; char *t11; unsigned int t12; unsigned int t13; unsigned int t14; int t17; unsigned int t18; int t20; char *t21; char *t22; char *t23; char *t24; static char *nl0[] = {&&LAB8, &&LAB9, &&LAB10, &&LAB11, &&LAB12, &&LAB13, &&LAB14}; LAB0: xsi_set_current_line(230, ng0); t1 = (t0 + 2892U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 2776U); t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB5; LAB6: LAB3: t1 = (t0 + 5092); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(231, ng0); t1 = (t0 + 5136); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 32U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)0; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(233, ng0); t2 = (t0 + 5172); t5 = (t2 + 32U); t6 = *((char **)t5); t7 = (t6 + 32U); t8 = *((char **)t7); *((unsigned char *)t8) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(234, ng0); t1 = (t0 + 5208); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(235, ng0); t1 = (t0 + 5244); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(236, ng0); t1 = (t0 + 3444U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (char *)((nl0) + t3); goto **((char **)t1); LAB7: goto LAB3; LAB8: xsi_set_current_line(238, ng0); t5 = (t0 + 2616U); t6 = *((char **)t5); t5 = (t0 + 11032U); t4 = ieee_p_3620187407_sub_2599083972_3965413181(IEEE_P_3620187407, 1, t6, t5); if (t4 != 0) goto LAB15; LAB17: LAB16: goto LAB7; LAB9: xsi_set_current_line(244, ng0); t1 = (t0 + 2524U); t2 = *((char **)t1); t12 = (31 - 31); t13 = (t12 * 1U); t14 = (0 + t13); t1 = (t2 + t14); t5 = (t0 + 3960U); t6 = *((char **)t5); t5 = (t6 + 0); memcpy(t5, t1, 8U); xsi_set_current_line(245, ng0); t1 = (t0 + 2524U); t2 = *((char **)t1); t12 = (31 - 23); t13 = (t12 * 1U); t14 = (0 + t13); t1 = (t2 + t14); t5 = (t0 + 4096U); t6 = *((char **)t5); t5 = (t6 + 0); memcpy(t5, t1, 22U); xsi_set_current_line(246, ng0); t1 = (t0 + 5172); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(247, ng0); t1 = (t0 + 5136); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB7; LAB10: xsi_set_current_line(250, ng0); t1 = (t0 + 11709); t5 = (t0 + 2524U); t6 = *((char **)t5); t12 = (31 - 31); t13 = (t12 * 1U); t14 = (0 + t13); t5 = (t6 + t14); t8 = ((IEEE_P_2592010699) + 2312); t9 = (t16 + 0U); t10 = (t9 + 0U); *((int *)t10) = 0; t10 = (t9 + 4U); *((int *)t10) = 1; t10 = (t9 + 8U); *((int *)t10) = 1; t17 = (1 - 0); t18 = (t17 * 1); t18 = (t18 + 1); t10 = (t9 + 12U); *((unsigned int *)t10) = t18; t10 = (t19 + 0U); t11 = (t10 + 0U); *((int *)t11) = 31; t11 = (t10 + 4U); *((int *)t11) = 2; t11 = (t10 + 8U); *((int *)t11) = -1; t20 = (2 - 31); t18 = (t20 * -1); t18 = (t18 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t18; t7 = xsi_base_array_concat(t7, t15, t8, (char)97, t1, t16, (char)97, t5, t19, (char)101); t18 = (2U + 30U); t3 = (32U != t18); if (t3 == 1) goto LAB18; LAB19: t11 = (t0 + 5280); t21 = (t11 + 32U); t22 = *((char **)t21); t23 = (t22 + 32U); t24 = *((char **)t23); memcpy(t24, t7, 32U); xsi_driver_first_trans_fast(t11); xsi_set_current_line(251, ng0); t1 = (t0 + 11711); t5 = (t0 + 2524U); t6 = *((char **)t5); t12 = (31 - 31); t13 = (t12 * 1U); t14 = (0 + t13); t5 = (t6 + t14); t8 = ((IEEE_P_2592010699) + 2312); t9 = (t16 + 0U); t10 = (t9 + 0U); *((int *)t10) = 0; t10 = (t9 + 4U); *((int *)t10) = 1; t10 = (t9 + 8U); *((int *)t10) = 1; t17 = (1 - 0); t18 = (t17 * 1); t18 = (t18 + 1); t10 = (t9 + 12U); *((unsigned int *)t10) = t18; t10 = (t19 + 0U); t11 = (t10 + 0U); *((int *)t11) = 31; t11 = (t10 + 4U); *((int *)t11) = 2; t11 = (t10 + 8U); *((int *)t11) = -1; t20 = (2 - 31); t18 = (t20 * -1); t18 = (t18 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t18; t7 = xsi_base_array_concat(t7, t15, t8, (char)97, t1, t16, (char)97, t5, t19, (char)101); t18 = (2U + 30U); t3 = (32U != t18); if (t3 == 1) goto LAB20; LAB21: t11 = (t0 + 5316); t21 = (t11 + 32U); t22 = *((char **)t21); t23 = (t22 + 32U); t24 = *((char **)t23); memcpy(t24, t7, 32U); xsi_driver_first_trans_fast(t11); xsi_set_current_line(252, ng0); t1 = (t0 + 3960U); t2 = *((char **)t1); t1 = (t0 + 11112U); t5 = (t0 + 11713); t7 = (t15 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 7; t8 = (t7 + 8U); *((int *)t8) = 1; t17 = (7 - 0); t12 = (t17 * 1); t12 = (t12 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t12; t3 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t5, t15); if (t3 != 0) goto LAB22; LAB24: xsi_set_current_line(255, ng0); t1 = (t0 + 5136); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)5; xsi_driver_first_trans_fast(t1); LAB23: goto LAB7; LAB11: xsi_set_current_line(259, ng0); t1 = (t0 + 2616U); t2 = *((char **)t1); t1 = (t0 + 11032U); t5 = (t0 + 4096U); t6 = *((char **)t5); t5 = (t0 + 11144U); t3 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t2, t1, t6, t5); if (t3 != 0) goto LAB25; LAB27: LAB26: goto LAB7; LAB12: xsi_set_current_line(265, ng0); t1 = (t0 + 4096U); t2 = *((char **)t1); t1 = (t0 + 11144U); t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0); if (t3 != 0) goto LAB28; LAB30: xsi_set_current_line(268, ng0); t1 = (t0 + 4096U); t2 = *((char **)t1); t1 = (t0 + 11144U); t3 = ieee_p_3620187407_sub_2546454082_3965413181(IEEE_P_3620187407, t2, t1, 1); if (t3 != 0) goto LAB31; LAB33: LAB32: xsi_set_current_line(271, ng0); t1 = (t0 + 3076U); t2 = *((char **)t1); t1 = (t0 + 11064U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t2, t1, 1); t6 = (t15 + 12U); t12 = *((unsigned int *)t6); t13 = (1U * t12); t3 = (32U != t13); if (t3 == 1) goto LAB34; LAB35: t7 = (t0 + 5316); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 32U); t11 = *((char **)t10); memcpy(t11, t5, 32U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(272, ng0); t1 = (t0 + 3076U); t2 = *((char **)t1); t1 = (t0 + 5280); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 32U); t8 = *((char **)t7); memcpy(t8, t2, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(273, ng0); t1 = (t0 + 2524U); t2 = *((char **)t1); t1 = (t0 + 5352); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 32U); t8 = *((char **)t7); memcpy(t8, t2, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(274, ng0); t1 = (t0 + 5244); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(275, ng0); t1 = (t0 + 4096U); t2 = *((char **)t1); t1 = (t0 + 11144U); t5 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t15, t2, t1, 1); t6 = (t0 + 4096U); t7 = *((char **)t6); t6 = (t7 + 0); t8 = (t15 + 12U); t12 = *((unsigned int *)t8); t13 = (1U * t12); memcpy(t6, t5, t13); LAB29: goto LAB7; LAB13: xsi_set_current_line(279, ng0); t1 = (t0 + 2340U); t2 = *((char **)t1); t1 = (t0 + 11000U); t5 = (t0 + 4096U); t6 = *((char **)t5); t5 = (t0 + 11144U); t3 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t2, t1, t6, t5); if (t3 != 0) goto LAB36; LAB38: LAB37: goto LAB7; LAB14: xsi_set_current_line(284, ng0); t1 = (t0 + 4096U); t2 = *((char **)t1); t1 = (t0 + 11144U); t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0); if (t3 != 0) goto LAB39; LAB41: xsi_set_current_line(287, ng0); t1 = (t0 + 5208); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(288, ng0); t1 = (t0 + 3260U); t2 = *((char **)t1); t1 = (t0 + 5388); t5 = (t1 + 32U); t6 = *((char **)t5); t7 = (t6 + 32U); t8 = *((char **)t7); memcpy(t8, t2, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(289, ng0); t1 = (t0 + 2984U); t2 = *((char **)t1); t1 = (t0 + 11048U); t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t2, t1, 1); t6 = (t15 + 12U); t12 = *((unsigned int *)t6); t13 = (1U * t12); t3 = (32U != t13); if (t3 == 1) goto LAB42; LAB43: t7 = (t0 + 5280); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 32U); t11 = *((char **)t10); memcpy(t11, t5, 32U); xsi_driver_first_trans_fast(t7); xsi_set_current_line(290, ng0); t1 = (t0 + 4096U); t2 = *((char **)t1); t1 = (t0 + 11144U); t5 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t15, t2, t1, 1); t6 = (t0 + 4096U); t7 = *((char **)t6); t6 = (t7 + 0); t8 = (t15 + 12U); t12 = *((unsigned int *)t8); t13 = (1U * t12); memcpy(t6, t5, t13); LAB40: goto LAB7; LAB15: xsi_set_current_line(239, ng0); t7 = (t0 + 5172); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 32U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)3; xsi_driver_first_trans_fast(t7); xsi_set_current_line(240, ng0); t1 = (t0 + 5136); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast(t1); goto LAB16; LAB18: xsi_size_not_matching(32U, t18, 0); goto LAB19; LAB20: xsi_size_not_matching(32U, t18, 0); goto LAB21; LAB22: xsi_set_current_line(253, ng0); t8 = (t0 + 5136); t9 = (t8 + 32U); t10 = *((char **)t9); t11 = (t10 + 32U); t21 = *((char **)t11); *((unsigned char *)t21) = (unsigned char)3; xsi_driver_first_trans_fast(t8); goto LAB23; LAB25: xsi_set_current_line(260, ng0); t7 = (t0 + 5172); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 32U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)3; xsi_driver_first_trans_fast(t7); xsi_set_current_line(261, ng0); t1 = (t0 + 5136); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 32U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)4; xsi_driver_first_trans_fast(t1); goto LAB26; LAB28: xsi_set_current_line(266, ng0); t5 = (t0 + 5136); t6 = (t5 + 32U); t7 = *((char **)t6); t8 = (t7 + 32U); t9 = *((char **)t8); *((unsigned char *)t9) = (unsigned char)0; xsi_driver_first_trans_fast(t5); goto LAB29; LAB31: xsi_set_current_line(269, ng0); t5 = (t0 + 5172); t6 = (t5 + 32U); t7 = *((char **)t6); t8 = (t7 + 32U); t9 = *((char **)t8); *((unsigned char *)t9) = (unsigned char)3; xsi_driver_first_trans_fast(t5); goto LAB32; LAB34: xsi_size_not_matching(32U, t13, 0); goto LAB35; LAB36: xsi_set_current_line(280, ng0); t7 = (t0 + 5136); t8 = (t7 + 32U); t9 = *((char **)t8); t10 = (t9 + 32U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)6; xsi_driver_first_trans_fast(t7); goto LAB37; LAB39: xsi_set_current_line(285, ng0); t5 = (t0 + 5136); t6 = (t5 + 32U); t7 = *((char **)t6); t8 = (t7 + 32U); t9 = *((char **)t8); *((unsigned char *)t9) = (unsigned char)0; xsi_driver_first_trans_fast(t5); goto LAB40; LAB42: xsi_size_not_matching(32U, t13, 0); goto LAB43; } static void work_a_0308195381_2372691052_p_1(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; int64 t7; int64 t8; LAB0: t1 = (t0 + 4776U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(298, ng0); t2 = (t0 + 5424); t3 = (t2 + 32U); t4 = *((char **)t3); t5 = (t4 + 32U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(299, ng0); t2 = (t0 + 3892U); t3 = *((char **)t2); t7 = *((int64 *)t3); t8 = (t7 / 2); t2 = (t0 + 4676); xsi_process_wait(t2, t8); LAB6: *((char **)t1) = &&LAB7; LAB1: return; LAB4: xsi_set_current_line(300, ng0); t2 = (t0 + 5424); t3 = (t2 + 32U); t4 = *((char **)t3); t5 = (t4 + 32U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(301, ng0); t2 = (t0 + 3892U); t3 = *((char **)t2); t7 = *((int64 *)t3); t8 = (t7 / 2); t2 = (t0 + 4676); xsi_process_wait(t2, t8); LAB10: *((char **)t1) = &&LAB11; goto LAB1; LAB5: goto LAB4; LAB7: goto LAB5; LAB8: goto LAB2; LAB9: goto LAB8; LAB11: goto LAB9; }
static void work_a_4291056695_2372691052_p_3(char *t0) { char t22[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; unsigned char t7; unsigned char t8; unsigned char t9; unsigned char t10; int64 t11; int t12; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; int t18; int t19; int t20; char *t21; LAB0: t1 = (t0 + 3584U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(176, ng0); t2 = (t0 + 4184); t3 = (t2 + 32U); t4 = *((char **)t3); t5 = (t4 + 40U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(177, ng0); t2 = (t0 + 4220); t3 = (t2 + 32U); t4 = *((char **)t3); t5 = (t4 + 40U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(179, ng0); t2 = xsi_get_transient_memory(16U); memset(t2, 0, 16U); t3 = t2; memset(t3, (unsigned char)2, 16U); t4 = (t0 + 2556U); t5 = *((char **)t4); t4 = (t5 + 0); memcpy(t4, t2, 16U); xsi_set_current_line(181, ng0); LAB4: LAB5: xsi_set_current_line(183, ng0); LAB10: t2 = (t0 + 3844); *((int *)t2) = 1; *((char **)t1) = &&LAB11; LAB1: return; LAB6:; LAB7: goto LAB2; LAB8: t5 = (t0 + 3844); *((int *)t5) = 0; xsi_set_current_line(184, ng0); t11 = (13 * 1000LL); t2 = (t0 + 3484); xsi_process_wait(t2, t11); LAB17: *((char **)t1) = &&LAB18; goto LAB1; LAB9: t3 = (t0 + 1512U); t4 = *((char **)t3); t8 = *((unsigned char *)t4); t9 = (t8 == (unsigned char)3); if (t9 == 1) goto LAB12; LAB13: t7 = (unsigned char)0; LAB14: if (t7 == 1) goto LAB8; else goto LAB10; LAB11: goto LAB9; LAB12: t3 = (t0 + 1488U); t10 = xsi_signal_has_event(t3); t7 = t10; goto LAB14; LAB15: xsi_set_current_line(186, ng0); t2 = (t0 + 4184); t3 = (t2 + 32U); t4 = *((char **)t3); t5 = (t4 + 40U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)3; xsi_driver_first_trans_fast(t2); xsi_set_current_line(188, ng0); t11 = (322 * 1000LL); t2 = (t0 + 3484); xsi_process_wait(t2, t11); LAB21: *((char **)t1) = &&LAB22; goto LAB1; LAB16: goto LAB15; LAB18: goto LAB16; LAB19: xsi_set_current_line(189, ng0); t2 = (t0 + 4184); t3 = (t2 + 32U); t4 = *((char **)t3); t5 = (t4 + 40U); t6 = *((char **)t5); *((unsigned char *)t6) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(191, ng0); t11 = (5 * 1000LL); t2 = (t0 + 3484); xsi_process_wait(t2, t11); LAB25: *((char **)t1) = &&LAB26; goto LAB1; LAB20: goto LAB19; LAB22: goto LAB20; LAB23: xsi_set_current_line(192, ng0); t2 = (t0 + 2556U); t3 = *((char **)t2); t12 = (15 - 15); t13 = (t12 * -1); t14 = (1U * t13); t15 = (0 + t14); t2 = (t3 + t15); t7 = *((unsigned char *)t2); t4 = (t0 + 4220); t5 = (t4 + 32U); t6 = *((char **)t5); t16 = (t6 + 40U); t17 = *((char **)t16); *((unsigned char *)t17) = t7; xsi_driver_first_trans_fast(t4); xsi_set_current_line(196, ng0); t2 = (t0 + 6796); *((int *)t2) = 14; t3 = (t0 + 6800); *((int *)t3) = 0; t12 = 14; t18 = 0; LAB27: if (t12 >= t18) goto LAB28; LAB30: xsi_set_current_line(206, ng0); t2 = (t0 + 2556U); t3 = *((char **)t2); t2 = (t0 + 6616U); t4 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t22, t3, t2, 1); t5 = (t0 + 2556U); t6 = *((char **)t5); t5 = (t6 + 0); t16 = (t22 + 12U); t13 = *((unsigned int *)t16); t14 = (1U * t13); memcpy(t5, t4, t14); xsi_set_current_line(208, ng0); t2 = (t0 + 2556U); t3 = *((char **)t2); t2 = (t0 + 6616U); t4 = ((WORK_P_0760723509) + 672U); t5 = *((char **)t4); t12 = *((int *)t5); t18 = (t12 + 1); t7 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t3, t2, t18); if (t7 != 0) goto LAB51; LAB53: LAB52: goto LAB4; LAB24: goto LAB23; LAB26: goto LAB24; LAB28: xsi_set_current_line(198, ng0); LAB33: t4 = (t0 + 3852); *((int *)t4) = 1; *((char **)t1) = &&LAB34; goto LAB1; LAB29: t2 = (t0 + 6796); t12 = *((int *)t2); t3 = (t0 + 6800); t18 = *((int *)t3); if (t12 == t18) goto LAB30; LAB50: t19 = (t12 + -1); t12 = t19; t4 = (t0 + 6796); *((int *)t4) = t12; goto LAB27; LAB31: t16 = (t0 + 3852); *((int *)t16) = 0; xsi_set_current_line(199, ng0); t11 = (1 * 1000LL); t2 = (t0 + 3484); xsi_process_wait(t2, t11); LAB40: *((char **)t1) = &&LAB41; goto LAB1; LAB32: t5 = (t0 + 1420U); t6 = *((char **)t5); t8 = *((unsigned char *)t6); t9 = (t8 == (unsigned char)3); if (t9 == 1) goto LAB35; LAB36: t7 = (unsigned char)0; LAB37: if (t7 == 1) goto LAB31; else goto LAB33; LAB34: goto LAB32; LAB35: t5 = (t0 + 1396U); t10 = xsi_signal_has_event(t5); t7 = t10; goto LAB37; LAB38: xsi_set_current_line(200, ng0); t11 = (9.5000000000000000 * 1000LL); t2 = (t0 + 3484); xsi_process_wait(t2, t11); LAB44: *((char **)t1) = &&LAB45; goto LAB1; LAB39: goto LAB38; LAB41: goto LAB39; LAB42: xsi_set_current_line(201, ng0); t2 = (t0 + 2556U); t3 = *((char **)t2); t2 = (t0 + 6796); t19 = *((int *)t2); t20 = (t19 - 15); t13 = (t20 * -1); xsi_vhdl_check_range_of_index(15, 0, -1, *((int *)t2)); t14 = (1U * t13); t15 = (0 + t14); t4 = (t3 + t15); t7 = *((unsigned char *)t4); t5 = (t0 + 4220); t6 = (t5 + 32U); t16 = *((char **)t6); t17 = (t16 + 40U); t21 = *((char **)t17); *((unsigned char *)t21) = t7; xsi_driver_first_trans_fast(t5); xsi_set_current_line(203, ng0); t11 = (39.500000000000000 * 1000LL); t2 = (t0 + 3484); xsi_process_wait(t2, t11); LAB48: *((char **)t1) = &&LAB49; goto LAB1; LAB43: goto LAB42; LAB45: goto LAB43; LAB46: goto LAB29; LAB47: goto LAB46; LAB49: goto LAB47; LAB51: xsi_set_current_line(209, ng0); t4 = xsi_get_transient_memory(16U); memset(t4, 0, 16U); t6 = t4; memset(t6, (unsigned char)2, 16U); t16 = (t0 + 2556U); t17 = *((char **)t16); t16 = (t17 + 0); memcpy(t16, t4, 16U); goto LAB52; }
static void work_a_3881718975_1949178628_p_3(char *t0) { char *t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned int t6; int t7; unsigned int t8; unsigned int t9; char *t10; int t11; unsigned int t12; unsigned int t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; LAB0: xsi_set_current_line(140, ng0); t1 = (t0 + 3752U); t2 = *((char **)t1); t1 = (t0 + 11508U); t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 3); if (t3 != 0) goto LAB3; LAB4: LAB8: t19 = (t0 + 1832U); t20 = *((char **)t19); t19 = (t0 + 6584); t21 = (t19 + 56U); t22 = *((char **)t21); t23 = (t22 + 56U); t24 = *((char **)t23); memcpy(t24, t20, 32U); xsi_driver_first_trans_fast(t19); LAB2: t25 = (t0 + 5992); *((int *)t25) = 1; LAB1: return; LAB3: t4 = xsi_get_transient_memory(32U); memset(t4, 0, 32U); t5 = t4; if (-1 == -1) goto LAB5; LAB6: t6 = 0; LAB7: t7 = (t6 - 31); t8 = (t7 * -1); t9 = (1U * t8); t10 = (t5 + t9); t11 = (0 - 31); t12 = (t11 * -1); t12 = (t12 + 1); t13 = (1U * t12); memset(t10, (unsigned char)4, t13); t14 = (t0 + 6584); t15 = (t14 + 56U); t16 = *((char **)t15); t17 = (t16 + 56U); t18 = *((char **)t17); memcpy(t18, t4, 32U); xsi_driver_first_trans_fast(t14); goto LAB2; LAB5: t6 = 31; goto LAB7; LAB9: goto LAB2; }
static void work_a_3881718975_1949178628_p_2(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned int t6; int t7; unsigned int t8; unsigned int t9; char *t10; int t11; unsigned int t12; unsigned int t13; char *t14; char *t15; char *t16; char *t17; char *t18; unsigned char t19; unsigned char t20; unsigned char t21; char *t22; char *t23; char *t24; LAB0: xsi_set_current_line(131, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1312U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB10; LAB11: t3 = (unsigned char)0; LAB12: if (t3 != 0) goto LAB8; LAB9: LAB3: t1 = (t0 + 5976); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(132, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t5 = t1; if (-1 == -1) goto LAB5; LAB6: t6 = 0; LAB7: t7 = (t6 - 31); t8 = (t7 * -1); t9 = (1U * t8); t10 = (t5 + t9); t11 = (0 - 31); t12 = (t11 * -1); t12 = (t12 + 1); t13 = (1U * t12); memset(t10, (unsigned char)2, t13); t14 = (t0 + 6520); t15 = (t14 + 56U); t16 = *((char **)t15); t17 = (t16 + 56U); t18 = *((char **)t17); memcpy(t18, t1, 32U); xsi_driver_first_trans_fast(t14); goto LAB3; LAB5: t6 = 31; goto LAB7; LAB8: xsi_set_current_line(134, ng0); t2 = (t0 + 3752U); t10 = *((char **)t2); t2 = (t0 + 11508U); t21 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t10, t2, 4); if (t21 != 0) goto LAB13; LAB15: LAB14: goto LAB3; LAB10: t2 = (t0 + 1352U); t5 = *((char **)t2); t19 = *((unsigned char *)t5); t20 = (t19 == (unsigned char)3); t3 = t20; goto LAB12; LAB13: xsi_set_current_line(135, ng0); t14 = xsi_get_transient_memory(32U); memset(t14, 0, 32U); t15 = t14; if (-1 == -1) goto LAB16; LAB17: t6 = 0; LAB18: t7 = (t6 - 31); t8 = (t7 * -1); t9 = (1U * t8); t16 = (t15 + t9); t11 = (0 - 31); t12 = (t11 * -1); t12 = (t12 + 1); t13 = (1U * t12); memset(t16, (unsigned char)3, t13); t17 = (t0 + 6520); t18 = (t17 + 56U); t22 = *((char **)t18); t23 = (t22 + 56U); t24 = *((char **)t23); memcpy(t24, t14, 32U); xsi_driver_first_trans_fast(t17); goto LAB14; LAB16: t6 = 31; goto LAB18; }