static void work_a_3921785037_3212880686_p_5(char *t0) { char *t1; char *t2; char *t3; char *t4; unsigned char t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; LAB0: xsi_set_current_line(86, ng0); t1 = (t0 + 2952U); t2 = *((char **)t1); t1 = (t0 + 14136U); t3 = (t0 + 1672U); t4 = *((char **)t3); t3 = (t0 + 14024U); t5 = ieee_p_1242562249_sub_1434214030532753770_1035706684(IEEE_P_1242562249, t2, t1, t4, t3); if (t5 != 0) goto LAB2; LAB4: xsi_set_current_line(89, ng0); t1 = (t0 + 1672U); t2 = *((char **)t1); t1 = (t0 + 8328); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); memcpy(t7, t2, 5U); xsi_driver_first_trans_fast(t1); LAB3: t1 = (t0 + 7784); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(87, ng0); t6 = (t0 + 2952U); t7 = *((char **)t6); t6 = (t0 + 8328); t8 = (t6 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t11 = *((char **)t10); memcpy(t11, t7, 5U); xsi_driver_first_trans_fast(t6); goto LAB3; }
static void work_a_1696189349_3212880686_p_1(char *t0) { char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; char *t7; unsigned char t8; unsigned char t9; char *t10; char *t11; static char *nl0[] = {&&LAB3, &&LAB4}; LAB0: xsi_set_current_line(56, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 5032); t4 = (t1 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = t3; xsi_driver_first_trans_fast(t1); xsi_set_current_line(57, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (char *)((nl0) + t3); goto **((char **)t1); LAB2: t1 = (t0 + 4792); *((int *)t1) = 1; LAB1: return; LAB3: xsi_set_current_line(59, ng0); t4 = (t0 + 1192U); t5 = *((char **)t4); t8 = *((unsigned char *)t5); t9 = (t8 == (unsigned char)2); if (t9 != 0) goto LAB5; LAB7: LAB6: goto LAB2; LAB4: xsi_set_current_line(63, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t8 = (t3 == (unsigned char)3); if (t8 != 0) goto LAB8; LAB10: LAB9: goto LAB2; LAB5: xsi_set_current_line(60, ng0); t4 = (t0 + 5032); t6 = (t4 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); *((unsigned char *)t11) = (unsigned char)1; xsi_driver_first_trans_fast(t4); goto LAB6; LAB8: xsi_set_current_line(64, ng0); t1 = (t0 + 5032); t4 = (t1 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)0; xsi_driver_first_trans_fast(t1); goto LAB9; } static void work_a_1696189349_3212880686_p_2(char *t0) { char t11[16]; unsigned char t1; char *t2; char *t3; char *t4; char *t5; unsigned char t6; char *t7; char *t8; unsigned char t9; unsigned char t10; char *t12; char *t13; char *t14; unsigned int t15; unsigned int t16; unsigned 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; char *t30; LAB0: xsi_set_current_line(68, ng0); t2 = (t0 + 1672U); t3 = *((char **)t2); t2 = (t0 + 7848U); t4 = (t0 + 1992U); t5 = *((char **)t4); t4 = (t0 + 7864U); t6 = ieee_p_1242562249_sub_1434214030532753770_1035706684(IEEE_P_1242562249, t3, t2, t5, t4); if (t6 == 1) goto LAB5; LAB6: t1 = (unsigned char)0; LAB7: if (t1 != 0) goto LAB3; LAB4: LAB10: t23 = xsi_get_transient_memory(12U); memset(t23, 0, 12U); t24 = t23; memset(t24, (unsigned char)2, 12U); t25 = (t0 + 5096); t26 = (t25 + 56U); t27 = *((char **)t26); t28 = (t27 + 56U); t29 = *((char **)t28); memcpy(t29, t23, 12U); xsi_driver_first_trans_fast(t25); LAB2: t30 = (t0 + 4808); *((int *)t30) = 1; LAB1: return; LAB3: t7 = (t0 + 1672U); t12 = *((char **)t7); t7 = (t0 + 7848U); t13 = ieee_p_1242562249_sub_1006216973935652998_1035706684(IEEE_P_1242562249, t11, t12, t7, 1); t14 = (t11 + 12U); t15 = *((unsigned int *)t14); t16 = (1U * t15); t17 = (12U != t16); if (t17 == 1) goto LAB8; LAB9: t18 = (t0 + 5096); t19 = (t18 + 56U); t20 = *((char **)t19); t21 = (t20 + 56U); t22 = *((char **)t21); memcpy(t22, t13, 12U); xsi_driver_first_trans_fast(t18); goto LAB2; LAB5: t7 = (t0 + 2152U); t8 = *((char **)t7); t9 = *((unsigned char *)t8); t10 = (t9 == (unsigned char)1); t1 = t10; goto LAB7; LAB8: xsi_size_not_matching(12U, t16, 0); goto LAB9; LAB11: goto LAB2; }