static void work_a_2615964831_3708405076_p_0(char *t0) { 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 int t11; char *t12; int t13; int t14; unsigned int t15; unsigned int t16; int t18; char *t19; char *t20; char *t21; char *t22; LAB0: xsi_set_current_line(52, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: xsi_set_current_line(57, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 1192U); t5 = *((char **)t1); t1 = (t0 + 6596U); t13 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t5, t1); t14 = (t13 - 0); t11 = (t14 * 1); xsi_vhdl_check_range_of_index(0, 39, 1, t13); t15 = (32U * t11); t16 = (0 + t15); t6 = (t2 + t16); t7 = (t0 + 3712); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t12 = *((char **)t10); memcpy(t12, t6, 32U); xsi_driver_first_trans_fast_port(t7); xsi_set_current_line(58, ng0); t1 = (t0 + 2152U); t2 = *((char **)t1); t1 = (t0 + 1352U); t5 = *((char **)t1); t1 = (t0 + 6612U); t13 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t5, t1); t14 = (t13 - 0); t11 = (t14 * 1); xsi_vhdl_check_range_of_index(0, 39, 1, t13); t15 = (32U * t11); t16 = (0 + t15); t6 = (t2 + t16); t7 = (t0 + 3776); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t12 = *((char **)t10); memcpy(t12, t6, 32U); xsi_driver_first_trans_fast_port(t7); xsi_set_current_line(59, ng0); t1 = (t0 + 1512U); t2 = *((char **)t1); t1 = (t0 + 6628U); t5 = (t0 + 8092); t7 = (t17 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 4; t8 = (t7 + 8U); *((int *)t8) = 1; t13 = (4 - 0); t11 = (t13 * 1); t11 = (t11 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t11; t3 = ieee_p_3620187407_sub_4042748798_3965413181(IEEE_P_3620187407, t2, t1, t5, t17); if (t3 != 0) goto LAB7; LAB9: LAB8: LAB3: t1 = (t0 + 3632); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(53, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t5 = t1; memset(t5, (unsigned char)2, 32U); t6 = (t0 + 3712); t7 = (t6 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); memcpy(t10, t1, 32U); xsi_driver_first_trans_fast_port(t6); xsi_set_current_line(54, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t5 = (t0 + 3776); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t1, 32U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(55, ng0); t1 = xsi_get_transient_memory(1280U); memset(t1, 0, 1280U); t2 = t1; t5 = (t0 + 8060); t3 = (32U != 0); if (t3 == 1) goto LAB5; LAB6: t7 = (t0 + 3840); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t12 = *((char **)t10); memcpy(t12, t1, 1280U); xsi_driver_first_trans_fast(t7); goto LAB3; LAB5: t11 = (1280U / 32U); xsi_mem_set_data(t2, t5, 32U, t11); goto LAB6; LAB7: xsi_set_current_line(60, ng0); t8 = (t0 + 1672U); t9 = *((char **)t8); t8 = (t0 + 1512U); t10 = *((char **)t8); t8 = (t0 + 6628U); t14 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t10, t8); t18 = (t14 - 0); t11 = (t18 * 1); t15 = (32U * t11); t16 = (0U + t15); t12 = (t0 + 3840); t19 = (t12 + 56U); t20 = *((char **)t19); t21 = (t20 + 56U); t22 = *((char **)t21); memcpy(t22, t9, 32U); xsi_driver_first_trans_delta(t12, t16, 32U, 0LL); goto LAB8; }
static void work_a_3412061098_1142133938_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; unsigned int t8; int t9; unsigned int t10; unsigned int t11; char *t12; unsigned int t13; unsigned char t14; unsigned int t15; char *t16; char *t17; char *t18; char *t19; char *t20; unsigned char t21; unsigned char t22; unsigned char t23; int t24; LAB0: xsi_set_current_line(36, 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(39, ng0); t1 = (t0 + 992U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB13; LAB14: t3 = (unsigned char)0; LAB15: if (t3 != 0) goto LAB10; LAB12: LAB11: LAB3: t1 = (t0 + 4448); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(37, ng0); t1 = xsi_get_transient_memory(256U); memset(t1, 0, 256U); t5 = t1; t6 = (t0 + 8243); if (1 == 1) goto LAB5; LAB6: t8 = 15; LAB7: t9 = (t8 - 0); t10 = (t9 * 1); t11 = (16U * t10); t12 = (t5 + t11); t13 = (16U * 16U); t14 = (16U != 0); if (t14 == 1) goto LAB8; LAB9: t16 = (t0 + 4560); t17 = (t16 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); memcpy(t20, t1, 256U); xsi_driver_first_trans_fast(t16); goto LAB3; LAB5: t8 = 0; goto LAB7; LAB8: t15 = (t13 / 16U); xsi_mem_set_data(t12, t6, 16U, t15); goto LAB9; LAB10: xsi_set_current_line(40, ng0); t2 = (t0 + 1352U); t6 = *((char **)t2); t22 = *((unsigned char *)t6); t23 = (t22 == (unsigned char)3); if (t23 != 0) goto LAB16; LAB18: LAB17: goto LAB11; LAB13: t2 = (t0 + 1032U); t5 = *((char **)t2); t14 = *((unsigned char *)t5); t21 = (t14 == (unsigned char)2); t3 = t21; goto LAB15; LAB16: xsi_set_current_line(41, ng0); t2 = (t0 + 1992U); t7 = *((char **)t2); t2 = (t0 + 1512U); t12 = *((char **)t2); t2 = (t0 + 7820U); t9 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t12, t2); t24 = (t9 - 0); t8 = (t24 * 1); t10 = (16U * t8); t11 = (0U + t10); t16 = (t0 + 4560); t17 = (t16 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); memcpy(t20, t7, 16U); xsi_driver_first_trans_delta(t16, t11, 16U, 0LL); goto LAB17; }
static void work_a_2615964831_3212880686_p_0(char *t0) { char t17[16]; char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; char *t7; char *t8; unsigned char t9; char *t10; unsigned int t11; char *t12; int t13; int t14; unsigned int t15; unsigned int t16; unsigned char t18; int t19; char *t20; char *t21; char *t22; char *t23; char *t24; LAB0: xsi_set_current_line(27, ng0); t1 = (t0 + 6032); t3 = (32U != 32U); if (t3 == 1) goto LAB2; LAB3: t4 = (t0 + 2320); t5 = (t4 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); memcpy(t8, t1, 32U); xsi_driver_first_trans_delta(t4, 0U, 32U, 0LL); xsi_set_current_line(29, ng0); t1 = (t0 + 1052U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t9 = (t3 == (unsigned char)3); if (t9 != 0) goto LAB4; LAB6: xsi_set_current_line(35, ng0); t1 = (t0 + 1420U); t2 = *((char **)t1); t1 = (t0 + 592U); t4 = *((char **)t1); t1 = (t0 + 4548U); t13 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t4, t1); t14 = (t13 - 0); t11 = (t14 * 1); xsi_vhdl_check_range_of_index(0, 39, 1, t13); t15 = (32U * t11); t16 = (0 + t15); t5 = (t2 + t16); t6 = (t0 + 2356); t7 = (t6 + 32U); t8 = *((char **)t7); t10 = (t8 + 40U); t12 = *((char **)t10); memcpy(t12, t5, 32U); xsi_driver_first_trans_fast_port(t6); xsi_set_current_line(36, ng0); t1 = (t0 + 1420U); t2 = *((char **)t1); t1 = (t0 + 684U); t4 = *((char **)t1); t1 = (t0 + 4564U); t13 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t4, t1); t14 = (t13 - 0); t11 = (t14 * 1); xsi_vhdl_check_range_of_index(0, 39, 1, t13); t15 = (32U * t11); t16 = (0 + t15); t5 = (t2 + t16); t6 = (t0 + 2392); t7 = (t6 + 32U); t8 = *((char **)t7); t10 = (t8 + 40U); t12 = *((char **)t10); memcpy(t12, t5, 32U); xsi_driver_first_trans_fast_port(t6); xsi_set_current_line(37, ng0); t1 = (t0 + 1420U); t2 = *((char **)t1); t1 = (t0 + 776U); t4 = *((char **)t1); t1 = (t0 + 4580U); t13 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t4, t1); t14 = (t13 - 0); t11 = (t14 * 1); xsi_vhdl_check_range_of_index(0, 39, 1, t13); t15 = (32U * t11); t16 = (0 + t15); t5 = (t2 + t16); t6 = (t0 + 2428); t7 = (t6 + 32U); t8 = *((char **)t7); t10 = (t8 + 40U); t12 = *((char **)t10); memcpy(t12, t5, 32U); xsi_driver_first_trans_fast_port(t6); xsi_set_current_line(38, ng0); t1 = (t0 + 960U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t9 = (t3 == (unsigned char)3); if (t9 != 0) goto LAB9; LAB11: LAB10: LAB5: t1 = (t0 + 2276); *((int *)t1) = 1; LAB1: return; LAB2: xsi_size_not_matching(32U, 32U, 0); goto LAB3; LAB4: xsi_set_current_line(30, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t4 = t1; memset(t4, (unsigned char)2, 32U); t5 = (t0 + 2356); t6 = (t5 + 32U); t7 = *((char **)t6); t8 = (t7 + 40U); t10 = *((char **)t8); memcpy(t10, t1, 32U); xsi_driver_first_trans_fast_port(t5); xsi_set_current_line(31, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t4 = (t0 + 2392); t5 = (t4 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); memcpy(t8, t1, 32U); xsi_driver_first_trans_fast_port(t4); xsi_set_current_line(32, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t4 = (t0 + 2428); t5 = (t4 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); memcpy(t8, t1, 32U); xsi_driver_first_trans_fast_port(t4); xsi_set_current_line(33, ng0); t1 = xsi_get_transient_memory(1280U); memset(t1, 0, 1280U); t2 = t1; t4 = (t0 + 6064); t3 = (32U != 0); if (t3 == 1) goto LAB7; LAB8: t6 = (t0 + 2320); t7 = (t6 + 32U); t8 = *((char **)t7); t10 = (t8 + 40U); t12 = *((char **)t10); memcpy(t12, t1, 1280U); xsi_driver_first_trans_fast(t6); goto LAB5; LAB7: t11 = (1280U / 32U); xsi_mem_set_data(t2, t4, 32U, t11); goto LAB8; LAB9: xsi_set_current_line(40, ng0); t1 = (t0 + 776U); t4 = *((char **)t1); t1 = (t0 + 4580U); t5 = (t0 + 6096); t7 = (t17 + 0U); t8 = (t7 + 0U); *((int *)t8) = 0; t8 = (t7 + 4U); *((int *)t8) = 5; t8 = (t7 + 8U); *((int *)t8) = 1; t13 = (5 - 0); t11 = (t13 * 1); t11 = (t11 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t11; t18 = ieee_p_3620187407_sub_4042748798_3965413181(IEEE_P_3620187407, t4, t1, t5, t17); if (t18 != 0) goto LAB12; LAB14: xsi_set_current_line(43, ng0); t1 = (t0 + 6102); t3 = (32U != 32U); if (t3 == 1) goto LAB15; LAB16: t4 = (t0 + 2320); t5 = (t4 + 32U); t6 = *((char **)t5); t7 = (t6 + 40U); t8 = *((char **)t7); memcpy(t8, t1, 32U); xsi_driver_first_trans_delta(t4, 0U, 32U, 0LL); LAB13: goto LAB10; LAB12: xsi_set_current_line(41, ng0); t8 = (t0 + 868U); t10 = *((char **)t8); t8 = (t0 + 776U); t12 = *((char **)t8); t8 = (t0 + 4580U); t14 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t12, t8); t19 = (t14 - 0); t11 = (t19 * 1); t15 = (32U * t11); t16 = (0U + t15); t20 = (t0 + 2320); t21 = (t20 + 32U); t22 = *((char **)t21); t23 = (t22 + 40U); t24 = *((char **)t23); memcpy(t24, t10, 32U); xsi_driver_first_trans_delta(t20, t16, 32U, 0LL); goto LAB13; LAB15: xsi_size_not_matching(32U, 32U, 0); goto LAB16; }
static void work_a_4143924007_3212880686_p_0(char *t0) { char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; unsigned char t6; char *t7; char *t8; char *t9; char *t10; unsigned int t11; unsigned int t12; char *t13; int t14; LAB0: xsi_set_current_line(298, ng0); t1 = (t0 + 992U); t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 7888); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(299, ng0); t3 = (t0 + 1192U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t6 = (t5 == (unsigned char)2); if (t6 != 0) goto LAB5; LAB7: xsi_set_current_line(309, ng0); t1 = (t0 + 5192U); t3 = *((char **)t1); t2 = *((unsigned char *)t3); t1 = (t0 + 8000); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); *((unsigned char *)t9) = t2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(310, ng0); t1 = (t0 + 4712U); t3 = *((char **)t1); t14 = *((int *)t3); t1 = (t0 + 8064); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); *((int *)t9) = t14; xsi_driver_first_trans_fast(t1); xsi_set_current_line(311, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t1 = (t0 + 8128); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(312, ng0); t1 = (t0 + 3592U); t3 = *((char **)t1); t1 = (t0 + 8192); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(313, ng0); t1 = (t0 + 3912U); t3 = *((char **)t1); t1 = (t0 + 8256); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(314, ng0); t1 = (t0 + 4232U); t3 = *((char **)t1); t1 = (t0 + 8320); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(315, ng0); t1 = (t0 + 2952U); t3 = *((char **)t1); t1 = (t0 + 8384); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 512U); xsi_driver_first_trans_fast(t1); LAB6: goto LAB3; LAB5: xsi_set_current_line(300, ng0); t3 = (t0 + 8000); t7 = (t3 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t10 = *((char **)t9); *((unsigned char *)t10) = (unsigned char)4; xsi_driver_first_trans_fast(t3); xsi_set_current_line(302, ng0); t1 = (t0 + 8064); t3 = (t1 + 56U); t4 = *((char **)t3); t7 = (t4 + 56U); t8 = *((char **)t7); *((int *)t8) = 0; xsi_driver_first_trans_fast(t1); xsi_set_current_line(303, ng0); t1 = (t0 + 5488U); t3 = *((char **)t1); t1 = (t0 + 8128); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(304, ng0); t1 = (t0 + 5608U); t3 = *((char **)t1); t1 = (t0 + 8192); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(305, ng0); t1 = (t0 + 5728U); t3 = *((char **)t1); t1 = (t0 + 8256); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(306, ng0); t1 = (t0 + 5848U); t3 = *((char **)t1); t1 = (t0 + 8320); t4 = (t1 + 56U); t7 = *((char **)t4); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t3, 32U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(307, ng0); t1 = xsi_get_transient_memory(512U); memset(t1, 0, 512U); t3 = t1; t11 = (32U * 1U); t4 = t3; memset(t4, (unsigned char)2, t11); t2 = (t11 != 0); if (t2 == 1) goto LAB8; LAB9: t7 = (t0 + 8384); t8 = (t7 + 56U); t9 = *((char **)t8); t10 = (t9 + 56U); t13 = *((char **)t10); memcpy(t13, t1, 512U); xsi_driver_first_trans_fast(t7); goto LAB6; LAB8: t12 = (512U / t11); xsi_mem_set_data(t3, t3, t11, t12); goto LAB9; }
static void work_a_2419485947_3301165909_p_0(char *t0) { char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; char *t6; char *t7; char *t8; char *t9; unsigned int t10; char *t11; unsigned char t12; unsigned char t13; unsigned char t14; unsigned char t15; int t16; int t17; int t18; int t19; char *t20; int t21; int t22; int t23; unsigned int t24; unsigned int t25; char *t26; char *t27; char *t28; char *t29; LAB0: xsi_set_current_line(74, ng0); t1 = (t0 + 1832U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB2; LAB4: t1 = (t0 + 1632U); 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 + 4480); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(76, ng0); t1 = (t0 + 2928U); t5 = *((char **)t1); t1 = (t0 + 4576); t6 = (t1 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memcpy(t9, t5, 1024U); xsi_driver_first_trans_delta(t1, 0U, 1024U, 0LL); xsi_set_current_line(77, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; t5 = (t0 + 2808U); t6 = *((char **)t5); t3 = (32U != 0); if (t3 == 1) goto LAB5; LAB6: t5 = (t0 + 4576); t7 = (t5 + 56U); t8 = *((char **)t7); t9 = (t8 + 56U); t11 = *((char **)t9); memcpy(t11, t1, 32U); xsi_driver_first_trans_delta(t5, 1024U, 32U, 0LL); goto LAB3; LAB5: t10 = (32U / 32U); xsi_mem_set_data(t2, t6, 32U, t10); goto LAB6; LAB7: xsi_set_current_line(80, ng0); t2 = (t0 + 1352U); t6 = *((char **)t2); t14 = *((unsigned char *)t6); t15 = (t14 == (unsigned char)3); if (t15 != 0) goto LAB12; LAB14: LAB13: goto LAB3; LAB9: t2 = (t0 + 1672U); t5 = *((char **)t2); t12 = *((unsigned char *)t5); t13 = (t12 == (unsigned char)3); t3 = t13; goto LAB11; LAB12: xsi_set_current_line(81, ng0); t2 = (t0 + 1512U); t7 = *((char **)t2); t2 = (t0 + 1032U); t8 = *((char **)t2); t2 = (t0 + 7684U); t16 = ieee_std_logic_arith_conv_integer_unsigned(IEEE_P_3499444699, t8, t2); t9 = (t0 + 2568U); t11 = *((char **)t9); t17 = *((int *)t11); t18 = (t16 - t17); t19 = (t18 / 4); t9 = (t0 + 2568U); t20 = *((char **)t9); t21 = *((int *)t20); t22 = (t19 + t21); t23 = (t22 - 0); t10 = (t23 * 1); t24 = (32U * t10); t25 = (0U + t24); t9 = (t0 + 4576); t26 = (t9 + 56U); t27 = *((char **)t26); t28 = (t27 + 56U); t29 = *((char **)t28); memcpy(t29, t7, 32U); xsi_driver_first_trans_delta(t9, t25, 32U, 0LL); goto LAB13; }