static void work_a_3377914984_3212880686_p_0(char *t0) { char t1[16]; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; LAB0: xsi_set_current_line(68, ng0); t2 = (t0 + 1032U); t3 = *((char **)t2); t2 = (t0 + 7220U); t4 = (t0 + 1192U); t5 = *((char **)t4); t4 = (t0 + 7236U); t6 = ieee_p_0774719531_sub_767632659_2162500114(IEEE_P_0774719531, t1, t3, t2, t5, t4); t7 = (t0 + 4520); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t11 = *((char **)t10); memcpy(t11, t6, 64U); xsi_driver_first_trans_fast(t7); t2 = (t0 + 4408); *((int *)t2) = 1; LAB1: return; }
static void work_a_3025319636_3212880686_p_4(char *t0) { char t5[16]; char t12[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t6; char *t7; char *t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t13; char *t14; int t15; unsigned int t16; char *t17; unsigned int t18; unsigned char t19; char *t20; char *t21; char *t22; char *t23; char *t24; LAB0: xsi_set_current_line(55, ng0); t1 = (t0 + 776U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: xsi_set_current_line(59, ng0); t1 = (t0 + 1144U); t2 = *((char **)t1); t1 = (t0 + 3040); t6 = (t1 + 32U); t7 = *((char **)t6); t8 = (t7 + 40U); t13 = *((char **)t8); memcpy(t13, t2, 96U); xsi_driver_first_trans_fast(t1); LAB3: t1 = (t0 + 2844); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(56, ng0); t1 = (t0 + 592U); t6 = *((char **)t1); t1 = (t0 + 4600U); t7 = (t0 + 684U); t8 = *((char **)t7); t9 = (31 - 31); t10 = (t9 * 1U); t11 = (0 + t10); t7 = (t8 + t11); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 31; t14 = (t13 + 4U); *((int *)t14) = 16; t14 = (t13 + 8U); *((int *)t14) = -1; t15 = (16 - 31); t16 = (t15 * -1); t16 = (t16 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t16; t14 = ieee_p_0774719531_sub_767632659_2162500114(IEEE_P_0774719531, t5, t6, t1, t7, t12); t17 = (t5 + 12U); t16 = *((unsigned int *)t17); t18 = (1U * t16); t19 = (48U != t18); if (t19 == 1) goto LAB5; LAB6: t20 = (t0 + 3040); t21 = (t20 + 32U); t22 = *((char **)t21); t23 = (t22 + 40U); t24 = *((char **)t23); memcpy(t24, t14, 48U); xsi_driver_first_trans_delta(t20, 0U, 48U, 0LL); xsi_set_current_line(57, ng0); t1 = (t0 + 592U); t2 = *((char **)t1); t1 = (t0 + 4600U); t6 = (t0 + 684U); t7 = *((char **)t6); t9 = (31 - 15); t10 = (t9 * 1U); t11 = (0 + t10); t6 = (t7 + t11); t8 = (t12 + 0U); t13 = (t8 + 0U); *((int *)t13) = 15; t13 = (t8 + 4U); *((int *)t13) = 0; t13 = (t8 + 8U); *((int *)t13) = -1; t15 = (0 - 15); t16 = (t15 * -1); t16 = (t16 + 1); t13 = (t8 + 12U); *((unsigned int *)t13) = t16; t13 = ieee_p_0774719531_sub_767632659_2162500114(IEEE_P_0774719531, t5, t2, t1, t6, t12); t14 = (t5 + 12U); t16 = *((unsigned int *)t14); t18 = (1U * t16); t3 = (48U != t18); if (t3 == 1) goto LAB7; LAB8: t17 = (t0 + 3040); t20 = (t17 + 32U); t21 = *((char **)t20); t22 = (t21 + 40U); t23 = *((char **)t22); memcpy(t23, t13, 48U); xsi_driver_first_trans_delta(t17, 48U, 48U, 0LL); goto LAB3; LAB5: xsi_size_not_matching(48U, t18, 0); goto LAB6; LAB7: xsi_size_not_matching(48U, t18, 0); goto LAB8; }