static void work_a_0567304414_3212880686_p_2(char *t0) { char t20[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; unsigned char t11; unsigned char t12; unsigned char t13; unsigned char t14; unsigned char t15; unsigned char t16; char *t17; char *t18; char *t19; LAB0: xsi_set_current_line(56, ng0); t1 = (t0 + 684U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 568U); 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 + 4012); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(57, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t5 = t1; memset(t5, (unsigned char)2, 32U); t6 = (t0 + 4168); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(58, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t5 = (t0 + 4204); t6 = (t5 + 32U); t7 = *((char **)t6); t8 = (t7 + 40U); t9 = *((char **)t8); memcpy(t9, t1, 32U); xsi_driver_first_trans_fast(t5); xsi_set_current_line(59, ng0); t1 = (t0 + 4240); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 40U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(60, ng0); t1 = (t0 + 4276); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 40U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); goto LAB3; LAB5: xsi_set_current_line(62, ng0); t2 = (t0 + 776U); t6 = *((char **)t2); t13 = *((unsigned char *)t6); t14 = (t13 == (unsigned char)3); if (t14 != 0) goto LAB10; LAB12: xsi_set_current_line(75, ng0); t1 = (t0 + 1604U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB16; LAB18: xsi_set_current_line(82, ng0); t1 = (t0 + 1236U); t2 = *((char **)t1); t1 = (t0 + 7540U); t5 = ieee_p_3620187407_sub_436279890_3620187407(IEEE_P_3620187407, t20, t2, t1, 1); t6 = (t0 + 4204); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t5, 32U); xsi_driver_first_trans_fast(t6); LAB17: xsi_set_current_line(85, ng0); t1 = (t0 + 1144U); t2 = *((char **)t1); t1 = (t0 + 7524U); t5 = ieee_p_3620187407_sub_436279890_3620187407(IEEE_P_3620187407, t20, t2, t1, 1); t6 = (t0 + 4168); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t5, 32U); xsi_driver_first_trans_fast(t6); LAB11: goto LAB3; LAB7: t2 = (t0 + 592U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t12 = (t11 == (unsigned char)3); t3 = t12; goto LAB9; LAB10: xsi_set_current_line(63, ng0); t2 = (t0 + 1512U); t7 = *((char **)t2); t15 = *((unsigned char *)t7); t16 = (t15 == (unsigned char)3); if (t16 != 0) goto LAB13; LAB15: xsi_set_current_line(70, ng0); t1 = (t0 + 1144U); t2 = *((char **)t1); t1 = (t0 + 7524U); t5 = ieee_p_3620187407_sub_436279890_3620187407(IEEE_P_3620187407, t20, t2, t1, 1); t6 = (t0 + 4168); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t5, 32U); xsi_driver_first_trans_fast(t6); LAB14: xsi_set_current_line(73, ng0); t1 = (t0 + 1236U); t2 = *((char **)t1); t1 = (t0 + 7540U); t5 = ieee_p_3620187407_sub_436279890_3620187407(IEEE_P_3620187407, t20, t2, t1, 1); t6 = (t0 + 4204); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t5, 32U); xsi_driver_first_trans_fast(t6); goto LAB11; LAB13: xsi_set_current_line(64, ng0); t2 = xsi_get_transient_memory(32U); memset(t2, 0, 32U); t8 = t2; memset(t8, (unsigned char)2, 32U); t9 = (t0 + 4168); t10 = (t9 + 32U); t17 = *((char **)t10); t18 = (t17 + 40U); t19 = *((char **)t18); memcpy(t19, t2, 32U); xsi_driver_first_trans_fast(t9); xsi_set_current_line(65, ng0); t1 = (t0 + 4240); 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(67, ng0); t1 = (t0 + 4276); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 40U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); goto LAB14; LAB16: xsi_set_current_line(76, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t5 = t1; memset(t5, (unsigned char)2, 32U); t6 = (t0 + 4204); t7 = (t6 + 32U); t8 = *((char **)t7); t9 = (t8 + 40U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(77, ng0); t1 = (t0 + 4276); 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(79, ng0); t1 = (t0 + 4240); t2 = (t1 + 32U); t5 = *((char **)t2); t6 = (t5 + 40U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast(t1); goto LAB17; }
static void work_a_0770642089_3212880686_p_0(char *t0) { unsigned char t1; char *t2; unsigned char t3; char *t4; char *t5; unsigned char t6; unsigned char t7; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; unsigned char t13; char *t14; char *t15; char *t16; char *t17; static char *nl0[] = {&&LAB9, &&LAB10, &&LAB11}; LAB0: xsi_set_current_line(52, ng0); t2 = (t0 + 1152U); 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 + 3720); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(53, ng0); t4 = (t0 + 1512U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t4 = (char *)((nl0) + t9); goto **((char **)t4); LAB5: t4 = (t0 + 1192U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t1 = t7; goto LAB7; LAB8: goto LAB3; LAB9: xsi_set_current_line(55, ng0); t10 = (t0 + 1032U); t11 = *((char **)t10); t12 = *((unsigned char *)t11); t13 = (t12 == (unsigned char)2); if (t13 != 0) goto LAB13; LAB15: xsi_set_current_line(58, ng0); t2 = (t0 + 3816); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)0; xsi_driver_first_trans_fast(t2); LAB14: goto LAB8; LAB10: xsi_set_current_line(61, ng0); t2 = (t0 + 1032U); t4 = *((char **)t2); t3 = *((unsigned char *)t4); t6 = (t3 == (unsigned char)3); if (t6 == 1) goto LAB19; LAB20: t1 = (unsigned char)0; LAB21: if (t1 != 0) goto LAB16; LAB18: xsi_set_current_line(66, ng0); t2 = (t0 + 3816); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)1; xsi_driver_first_trans_fast(t2); xsi_set_current_line(67, ng0); t2 = (t0 + 3880); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(68, ng0); t2 = (t0 + 3944); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast(t2); LAB17: goto LAB8; LAB11: xsi_set_current_line(72, ng0); t2 = (t0 + 1672U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t3 = (t1 == (unsigned char)3); if (t3 != 0) goto LAB22; LAB24: xsi_set_current_line(77, ng0); t2 = (t0 + 3816); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(78, ng0); t2 = (t0 + 3880); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(79, ng0); t2 = (t0 + 3944); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)3; xsi_driver_first_trans_fast(t2); LAB23: goto LAB8; LAB12: xsi_set_current_line(83, ng0); t2 = (t0 + 3880); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(84, ng0); t2 = (t0 + 3944); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(85, ng0); t2 = (t0 + 3816); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)0; xsi_driver_first_trans_fast(t2); goto LAB8; LAB13: xsi_set_current_line(56, ng0); t10 = (t0 + 3816); t14 = (t10 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); *((unsigned char *)t17) = (unsigned char)1; xsi_driver_first_trans_fast(t10); goto LAB14; LAB16: xsi_set_current_line(62, ng0); t2 = (t0 + 3816); t8 = (t2 + 56U); t10 = *((char **)t8); t11 = (t10 + 56U); t14 = *((char **)t11); *((unsigned char *)t14) = (unsigned char)2; xsi_driver_first_trans_fast(t2); xsi_set_current_line(63, ng0); t2 = (t0 + 3880); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(64, ng0); t2 = (t0 + 3944); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)3; xsi_driver_first_trans_fast(t2); goto LAB17; LAB19: t2 = (t0 + 1672U); t5 = *((char **)t2); t7 = *((unsigned char *)t5); t9 = (t7 == (unsigned char)2); t1 = t9; goto LAB21; LAB22: xsi_set_current_line(73, ng0); t2 = (t0 + 3816); t5 = (t2 + 56U); t8 = *((char **)t5); t10 = (t8 + 56U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)0; xsi_driver_first_trans_fast(t2); xsi_set_current_line(74, ng0); t2 = (t0 + 3880); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)3; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(75, ng0); t2 = (t0 + 3944); t4 = (t2 + 56U); t5 = *((char **)t4); t8 = (t5 + 56U); t10 = *((char **)t8); *((unsigned char *)t10) = (unsigned char)2; xsi_driver_first_trans_fast(t2); goto LAB23; } static void work_a_0770642089_3212880686_p_1(char *t0) { char t14[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; unsigned char t5; unsigned char t6; char *t7; char *t8; unsigned char t9; unsigned char t10; char *t11; char *t12; char *t13; char *t15; char *t16; int t17; unsigned int t18; unsigned char t19; char *t20; char *t21; char *t22; char *t23; LAB0: xsi_set_current_line(97, ng0); t1 = (t0 + 1832U); 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 + 6361); t7 = (t0 + 4072); t8 = (t7 + 56U); t11 = *((char **)t8); t12 = (t11 + 56U); t13 = *((char **)t12); memcpy(t13, t1, 24U); xsi_driver_first_trans_fast(t7); LAB3: t1 = (t0 + 3736); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(98, ng0); t1 = (t0 + 1152U); t6 = xsi_signal_has_event(t1); if (t6 == 1) goto LAB8; LAB9: t5 = (unsigned char)0; LAB10: if (t5 != 0) goto LAB5; LAB7: LAB6: goto LAB3; LAB5: xsi_set_current_line(99, ng0); t7 = (t0 + 1992U); t11 = *((char **)t7); t7 = (t0 + 6284U); t12 = (t0 + 6337); t15 = (t14 + 0U); t16 = (t15 + 0U); *((int *)t16) = 0; t16 = (t15 + 4U); *((int *)t16) = 23; t16 = (t15 + 8U); *((int *)t16) = 1; t17 = (23 - 0); t18 = (t17 * 1); t18 = (t18 + 1); t16 = (t15 + 12U); *((unsigned int *)t16) = t18; t19 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t11, t7, t12, t14); if (t19 != 0) goto LAB11; LAB13: xsi_set_current_line(102, ng0); t1 = (t0 + 4008); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB12: xsi_set_current_line(104, ng0); t1 = (t0 + 1992U); t2 = *((char **)t1); t1 = (t0 + 6284U); t7 = ieee_p_3620187407_sub_436279890_3620187407(IEEE_P_3620187407, t14, t2, t1, 1); t8 = (t0 + 4072); t11 = (t8 + 56U); t12 = *((char **)t11); t13 = (t12 + 56U); t15 = *((char **)t13); memcpy(t15, t7, 24U); xsi_driver_first_trans_fast(t8); goto LAB6; LAB8: t7 = (t0 + 1192U); t8 = *((char **)t7); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); t5 = t10; goto LAB10; LAB11: xsi_set_current_line(100, ng0); t16 = (t0 + 4008); t20 = (t16 + 56U); t21 = *((char **)t20); t22 = (t21 + 56U); t23 = *((char **)t22); *((unsigned char *)t23) = (unsigned char)3; xsi_driver_first_trans_fast(t16); goto LAB12; }
static void work_a_2921561539_3212880686_p_0(char *t0) { char t11[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 *t15; char *t16; char *t17; char *t18; LAB0: xsi_set_current_line(17, 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 + 3520); *((int *)t2) = 1; LAB1: return; LAB2: xsi_set_current_line(18, ng0); t4 = (t0 + 1192U); t8 = *((char **)t4); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)3); if (t10 != 0) goto LAB8; LAB10: t2 = (t0 + 1352U); t4 = *((char **)t2); t1 = *((unsigned char *)t4); t3 = (t1 == (unsigned char)3); if (t3 != 0) goto LAB11; LAB12: LAB9: goto LAB3; LAB5: t4 = (t0 + 1032U); t5 = *((char **)t4); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)2); t1 = t7; goto LAB7; LAB8: xsi_set_current_line(19, ng0); t4 = (t0 + 1672U); t12 = *((char **)t4); t4 = (t0 + 5964U); t13 = ieee_p_3620187407_sub_436279890_3620187407(IEEE_P_3620187407, t11, t12, t4, 1); t14 = (t0 + 3616); t15 = (t14 + 56U); t16 = *((char **)t15); t17 = (t16 + 56U); t18 = *((char **)t17); memcpy(t18, t13, 6U); xsi_driver_first_trans_fast(t14); goto LAB9; LAB11: xsi_set_current_line(21, ng0); t2 = xsi_get_transient_memory(6U); memset(t2, 0, 6U); t5 = t2; memset(t5, (unsigned char)2, 6U); t8 = (t0 + 3616); t12 = (t8 + 56U); t13 = *((char **)t12); t14 = (t13 + 56U); t15 = *((char **)t14); memcpy(t15, t2, 6U); xsi_driver_first_trans_fast(t8); goto LAB9; }