static void spi_a_2090800054_3212880686_p_5(char *t0)
{
char t1[16];
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
LAB0: xsi_set_current_line(70, ng0);
LAB3: t2 = (t0 + 2952U);
t3 = *((char **)t2);
t2 = (t0 + 13136U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t1, t3, t2, 1);
t5 = (t0 + 8920);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t4, 2U);
xsi_driver_first_trans_fast(t5);
LAB2: t10 = (t0 + 8264);
*((int *)t10) = 1;
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_2685656521_4021698314_p_4(char *t0)
{
char t3[16];
char *t1;
unsigned char t2;
char *t4;
char *t5;
char *t6;
char *t7;
unsigned int t8;
unsigned int t9;
unsigned char t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
LAB0: xsi_set_current_line(27, ng0);
t1 = (t0 + 1152U);
t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t2 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 4008);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(28, ng0);
t4 = (t0 + 1352U);
t5 = *((char **)t4);
t4 = (t0 + 6820U);
t6 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t3, t5, t4, 1);
t7 = (t3 + 12U);
t8 = *((unsigned int *)t7);
t9 = (1U * t8);
t10 = (7U != t9);
if (t10 == 1)
goto LAB5;
LAB6: t11 = (t0 + 4344);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
memcpy(t15, t6, 7U);
xsi_driver_first_trans_fast(t11);
goto LAB3;
LAB5: xsi_size_not_matching(7U, t9, 0);
goto LAB6;
}
static void work_a_3938988546_3212880686_p_0(char *t0)
{
char t15[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;
char *t16;
unsigned int t17;
unsigned int t18;
unsigned char t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
LAB0: xsi_set_current_line(48, ng0);
t1 = (t0 + 1192U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 3560);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(49, ng0);
t1 = xsi_get_transient_memory(5U);
memset(t1, 0, 5U);
t5 = t1;
memset(t5, (unsigned char)2, 5U);
t6 = (t0 + 3656);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 5U);
xsi_driver_first_trans_fast(t6);
goto LAB3;
LAB5: xsi_set_current_line(51, ng0);
t2 = (t0 + 1512U);
t5 = *((char **)t2);
t4 = *((unsigned char *)t5);
t11 = (t4 == (unsigned char)3);
if (t11 != 0)
goto LAB7;
LAB9: xsi_set_current_line(60, ng0);
t1 = xsi_get_transient_memory(5U);
memset(t1, 0, 5U);
t2 = t1;
memset(t2, (unsigned char)2, 5U);
t5 = (t0 + 3656);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 5U);
xsi_driver_first_trans_fast(t5);
LAB8: goto LAB3;
LAB7: xsi_set_current_line(52, ng0);
t2 = (t0 + 1352U);
t6 = *((char **)t2);
t12 = *((unsigned char *)t6);
t13 = (t12 == (unsigned char)3);
if (t13 != 0)
goto LAB10;
LAB12:
LAB11: goto LAB8;
LAB10: xsi_set_current_line(53, ng0);
t2 = (t0 + 1832U);
t7 = *((char **)t2);
t2 = (t0 + 5804U);
t14 = ieee_p_1242562249_sub_1781471956_1035706684(IEEE_P_1242562249, t7, t2, 16);
if (t14 != 0)
goto LAB13;
LAB15: xsi_set_current_line(56, ng0);
t1 = xsi_get_transient_memory(5U);
memset(t1, 0, 5U);
t2 = t1;
memset(t2, (unsigned char)2, 5U);
t5 = (t0 + 3656);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 5U);
xsi_driver_first_trans_fast(t5);
LAB14: goto LAB11;
LAB13: xsi_set_current_line(54, ng0);
t8 = (t0 + 1832U);
t9 = *((char **)t8);
t8 = (t0 + 5804U);
t10 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t15, t9, t8, 1);
t16 = (t15 + 12U);
t17 = *((unsigned int *)t16);
t18 = (1U * t17);
t19 = (5U != t18);
if (t19 == 1)
goto LAB16;
LAB17: t20 = (t0 + 3656);
t21 = (t20 + 56U);
t22 = *((char **)t21);
t23 = (t22 + 56U);
t24 = *((char **)t23);
memcpy(t24, t10, 5U);
xsi_driver_first_trans_fast(t20);
goto LAB14;
LAB16: xsi_size_not_matching(5U, t18, 0);
goto LAB17;
}
static void spi_a_0852731450_3212880686_p_5(char *t0)
{
char t19[16];
char t20[16];
char *t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
unsigned char t9;
unsigned char t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
int t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
unsigned char t18;
char *t21;
char *t22;
int t23;
unsigned int t24;
unsigned char t25;
char *t26;
char *t27;
char *t28;
char *t29;
int t30;
int t31;
unsigned char t32;
char *t33;
static char *nl0[] = {&&LAB3, &&LAB4};
LAB0: xsi_set_current_line(77, ng0);
t1 = (t0 + 2472U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 8416);
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(78, ng0);
t1 = (t0 + 2792U);
t2 = *((char **)t1);
t1 = (t0 + 8480);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 8U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(79, ng0);
t1 = (t0 + 1352U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 8544);
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(80, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 8608);
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(81, ng0);
t1 = (t0 + 4232U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 8672);
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(82, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 8736);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 4U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(84, ng0);
t1 = (t0 + 2472U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (char *)((nl0) + t3);
goto **((char **)t1);
LAB2: t1 = (t0 + 7696);
*((int *)t1) = 1;
LAB1: return;
LAB3: xsi_set_current_line(86, ng0);
t4 = (t0 + 8672);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)2;
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(87, ng0);
t1 = xsi_get_transient_memory(4U);
memset(t1, 0, 4U);
t2 = t1;
memset(t2, (unsigned char)2, 4U);
t4 = (t0 + 8736);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t1, 4U);
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(88, ng0);
t1 = (t0 + 8608);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(89, ng0);
t1 = (t0 + 1832U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB5;
LAB7:
LAB6: goto LAB2;
LAB4: xsi_set_current_line(94, ng0);
t1 = (t0 + 8608);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(95, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB8;
LAB10:
LAB9: xsi_set_current_line(99, ng0);
t3 = ((unsigned char)2 == (unsigned char)2);
if (t3 != 0)
goto LAB11;
LAB13: xsi_set_current_line(112, ng0);
t1 = (t0 + 4552U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB33;
LAB35:
LAB34:
LAB12: goto LAB2;
LAB5: xsi_set_current_line(90, ng0);
t1 = (t0 + 1992U);
t4 = *((char **)t1);
t1 = (t0 + 8480);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t4, 8U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(91, ng0);
t1 = (t0 + 8416);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)1;
xsi_driver_first_trans_fast(t1);
goto LAB6;
LAB8: xsi_set_current_line(96, ng0);
t1 = (t0 + 8416);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(97, ng0);
t1 = (t0 + 8608);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
goto LAB9;
LAB11: xsi_set_current_line(100, ng0);
t1 = (t0 + 4552U);
t2 = *((char **)t1);
t9 = *((unsigned char *)t2);
t10 = (t9 == (unsigned char)3);
if (t10 != 0)
goto LAB14;
LAB16:
LAB15: goto LAB12;
LAB14: xsi_set_current_line(101, ng0);
t1 = (t0 + 2792U);
t4 = *((char **)t1);
t11 = (7 - 6);
t12 = (t11 * 1U);
t13 = (0 + t12);
t1 = (t4 + t13);
t5 = (t0 + 2792U);
t6 = *((char **)t5);
t14 = (7 - 7);
t15 = (t14 * -1);
t16 = (1U * t15);
t17 = (0 + t16);
t5 = (t6 + t17);
t18 = *((unsigned char *)t5);
t8 = ((IEEE_P_2592010699) + 4024);
t21 = (t20 + 0U);
t22 = (t21 + 0U);
*((int *)t22) = 6;
t22 = (t21 + 4U);
*((int *)t22) = 0;
t22 = (t21 + 8U);
*((int *)t22) = -1;
t23 = (0 - 6);
t24 = (t23 * -1);
t24 = (t24 + 1);
t22 = (t21 + 12U);
*((unsigned int *)t22) = t24;
t7 = xsi_base_array_concat(t7, t19, t8, (char)97, t1, t20, (char)99, t18, (char)101);
t24 = (7U + 1U);
t25 = (8U != t24);
if (t25 == 1)
goto LAB17;
LAB18: t22 = (t0 + 8480);
t26 = (t22 + 56U);
t27 = *((char **)t26);
t28 = (t27 + 56U);
t29 = *((char **)t28);
memcpy(t29, t7, 8U);
xsi_driver_first_trans_fast(t22);
xsi_set_current_line(102, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 12584U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t19, t2, t1, 1);
t5 = (t19 + 12U);
t11 = *((unsigned int *)t5);
t12 = (1U * t11);
t3 = (4U != t12);
if (t3 == 1)
goto LAB19;
LAB20: t6 = (t0 + 8736);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t21 = (t8 + 56U);
t22 = *((char **)t21);
memcpy(t22, t4, 4U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(103, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 12584U);
t14 = (8 - 1);
t9 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t2, t1, t14);
if (t9 == 1)
goto LAB24;
LAB25: t3 = (unsigned char)0;
LAB26: if (t3 != 0)
goto LAB21;
LAB23:
LAB22: xsi_set_current_line(107, ng0);
t1 = (t0 + 2312U);
t2 = *((char **)t1);
t9 = *((unsigned char *)t2);
t10 = (t9 == (unsigned char)3);
if (t10 == 1)
goto LAB30;
LAB31: t3 = (unsigned char)0;
LAB32: if (t3 != 0)
goto LAB27;
LAB29:
LAB28: goto LAB15;
LAB17: xsi_size_not_matching(8U, t24, 0);
goto LAB18;
LAB19: xsi_size_not_matching(4U, t12, 0);
goto LAB20;
LAB21: xsi_set_current_line(104, ng0);
t4 = (t0 + 1992U);
t6 = *((char **)t4);
t4 = (t0 + 8480);
t7 = (t4 + 56U);
t8 = *((char **)t7);
t21 = (t8 + 56U);
t22 = *((char **)t21);
memcpy(t22, t6, 8U);
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(105, ng0);
t1 = xsi_get_transient_memory(4U);
memset(t1, 0, 4U);
t2 = t1;
memset(t2, (unsigned char)2, 4U);
t4 = (t0 + 8736);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t1, 4U);
xsi_driver_first_trans_fast(t4);
goto LAB22;
LAB24: t4 = (t0 + 2312U);
t5 = *((char **)t4);
t10 = *((unsigned char *)t5);
t18 = (t10 == (unsigned char)3);
t3 = t18;
goto LAB26;
LAB27: xsi_set_current_line(108, ng0);
t5 = (t0 + 8608);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t21 = *((char **)t8);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_fast(t5);
goto LAB28;
LAB30: t1 = (t0 + 3272U);
t4 = *((char **)t1);
t1 = (t0 + 12584U);
t14 = (8 - 2);
t18 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t4, t1, t14);
t3 = t18;
goto LAB32;
LAB33: xsi_set_current_line(113, ng0);
t1 = (t0 + 4232U);
t4 = *((char **)t1);
t10 = *((unsigned char *)t4);
t18 = (t10 == (unsigned char)3);
if (t18 != 0)
goto LAB36;
LAB38: xsi_set_current_line(117, ng0);
t1 = (t0 + 8672);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
LAB37: xsi_set_current_line(119, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 12584U);
t14 = (8 - 1);
t9 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t2, t1, t14);
if (t9 == 1)
goto LAB46;
LAB47: t3 = (unsigned char)0;
LAB48: if (t3 != 0)
goto LAB43;
LAB45:
LAB44: xsi_set_current_line(123, ng0);
t1 = (t0 + 2312U);
t2 = *((char **)t1);
t9 = *((unsigned char *)t2);
t10 = (t9 == (unsigned char)3);
if (t10 == 1)
goto LAB52;
LAB53: t3 = (unsigned char)0;
LAB54: if (t3 != 0)
goto LAB49;
LAB51:
LAB50: goto LAB34;
LAB36: xsi_set_current_line(114, ng0);
t1 = (t0 + 2792U);
t5 = *((char **)t1);
t14 = (8 - 2);
t11 = (7 - t14);
t12 = (t11 * 1U);
t13 = (0 + t12);
t1 = (t5 + t13);
t6 = (t0 + 2792U);
t7 = *((char **)t6);
t23 = (8 - 1);
t30 = (t23 - 7);
t15 = (t30 * -1);
t16 = (1U * t15);
t17 = (0 + t16);
t6 = (t7 + t17);
t25 = *((unsigned char *)t6);
t21 = ((IEEE_P_2592010699) + 4024);
t22 = (t20 + 0U);
t26 = (t22 + 0U);
*((int *)t26) = 6;
t26 = (t22 + 4U);
*((int *)t26) = 0;
t26 = (t22 + 8U);
*((int *)t26) = -1;
t31 = (0 - 6);
t24 = (t31 * -1);
t24 = (t24 + 1);
t26 = (t22 + 12U);
*((unsigned int *)t26) = t24;
t8 = xsi_base_array_concat(t8, t19, t21, (char)97, t1, t20, (char)99, t25, (char)101);
t24 = (7U + 1U);
t32 = (8U != t24);
if (t32 == 1)
goto LAB39;
LAB40: t26 = (t0 + 8480);
t27 = (t26 + 56U);
t28 = *((char **)t27);
t29 = (t28 + 56U);
t33 = *((char **)t29);
memcpy(t33, t8, 8U);
xsi_driver_first_trans_fast(t26);
xsi_set_current_line(115, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 12584U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t19, t2, t1, 1);
t5 = (t19 + 12U);
t11 = *((unsigned int *)t5);
t12 = (1U * t11);
t3 = (4U != t12);
if (t3 == 1)
goto LAB41;
LAB42: t6 = (t0 + 8736);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t21 = (t8 + 56U);
t22 = *((char **)t21);
memcpy(t22, t4, 4U);
xsi_driver_first_trans_fast(t6);
goto LAB37;
LAB39: xsi_size_not_matching(8U, t24, 0);
goto LAB40;
LAB41: xsi_size_not_matching(4U, t12, 0);
goto LAB42;
LAB43: xsi_set_current_line(120, ng0);
t4 = (t0 + 1992U);
t6 = *((char **)t4);
t4 = (t0 + 8480);
t7 = (t4 + 56U);
t8 = *((char **)t7);
t21 = (t8 + 56U);
t22 = *((char **)t21);
memcpy(t22, t6, 8U);
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(121, ng0);
t1 = xsi_get_transient_memory(4U);
memset(t1, 0, 4U);
t2 = t1;
memset(t2, (unsigned char)2, 4U);
t4 = (t0 + 8736);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t1, 4U);
xsi_driver_first_trans_fast(t4);
goto LAB44;
LAB46: t4 = (t0 + 2312U);
t5 = *((char **)t4);
t10 = *((unsigned char *)t5);
t18 = (t10 == (unsigned char)3);
t3 = t18;
goto LAB48;
LAB49: xsi_set_current_line(124, ng0);
t5 = (t0 + 8608);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t21 = *((char **)t8);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_fast(t5);
goto LAB50;
LAB52: t1 = (t0 + 3272U);
t4 = *((char **)t1);
t1 = (t0 + 12584U);
t14 = (8 - 2);
t18 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t4, t1, t14);
t3 = t18;
goto LAB54;
}
extern void spi_a_0852731450_3212880686_init()
{
static char *pe[] = {(void *)spi_a_0852731450_3212880686_p_0,(void *)spi_a_0852731450_3212880686_p_1,(void *)spi_a_0852731450_3212880686_p_2,(void *)spi_a_0852731450_3212880686_p_3,(void *)spi_a_0852731450_3212880686_p_4,(void *)spi_a_0852731450_3212880686_p_5};
xsi_register_didat("spi_a_0852731450_3212880686", "isim/tbench_EEPROM_test_isim_beh.exe.sim/spi/a_0852731450_3212880686.didat");
xsi_register_executes(pe);
}
static void work_a_0284541052_3212880686_p_9(char *t0)
{
char t14[16];
char *t1;
char *t2;
char *t3;
char *t4;
int t5;
int t6;
unsigned char t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t15;
char *t16;
char *t17;
char *t18;
unsigned int t19;
unsigned int t20;
unsigned char t21;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
LAB0: xsi_set_current_line(104, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 14768U);
t3 = (t0 + 4328U);
t4 = *((char **)t3);
t5 = *((int *)t4);
t6 = (t5 - 1);
t7 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t2, t1, t6);
if (t7 != 0)
goto LAB3;
LAB4:
LAB5: t15 = (t0 + 3272U);
t16 = *((char **)t15);
t15 = (t0 + 14768U);
t17 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t14, t16, t15, 1);
t18 = (t14 + 12U);
t19 = *((unsigned int *)t18);
t20 = (1U * t19);
t21 = (10U != t20);
if (t21 == 1)
goto LAB7;
LAB8: t22 = (t0 + 10200);
t23 = (t22 + 56U);
t24 = *((char **)t23);
t25 = (t24 + 56U);
t26 = *((char **)t25);
memcpy(t26, t17, 10U);
xsi_driver_first_trans_fast(t22);
LAB2: t27 = (t0 + 9480);
*((int *)t27) = 1;
LAB1: return;
LAB3: t3 = xsi_get_transient_memory(10U);
memset(t3, 0, 10U);
t8 = t3;
memset(t8, (unsigned char)2, 10U);
t9 = (t0 + 10200);
t10 = (t9 + 56U);
t11 = *((char **)t10);
t12 = (t11 + 56U);
t13 = *((char **)t12);
memcpy(t13, t3, 10U);
xsi_driver_first_trans_fast(t9);
goto LAB2;
LAB6: goto LAB2;
LAB7: xsi_size_not_matching(10U, t20, 0);
goto LAB8;
}
static void work_a_3822804665_3212880686_p_1(char *t0)
{
char t12[16];
char *t1;
char *t2;
int t3;
unsigned char t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t13;
char *t14;
char *t15;
char *t16;
unsigned int t17;
unsigned int t18;
unsigned char t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
LAB0: xsi_set_current_line(35, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t1 = (t0 + 6820U);
t3 = (35 - 1);
t4 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t2, t1, t3);
if (t4 != 0)
goto LAB3;
LAB4:
LAB5: t13 = (t0 + 1672U);
t14 = *((char **)t13);
t13 = (t0 + 6820U);
t15 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t12, t14, t13, 1);
t16 = (t12 + 12U);
t17 = *((unsigned int *)t16);
t18 = (1U * t17);
t19 = (8U != t18);
if (t19 == 1)
goto LAB7;
LAB8: t20 = (t0 + 4488);
t21 = (t20 + 56U);
t22 = *((char **)t21);
t23 = (t22 + 56U);
t24 = *((char **)t23);
memcpy(t24, t15, 8U);
xsi_driver_first_trans_fast(t20);
LAB2: t25 = (t0 + 4312);
*((int *)t25) = 1;
LAB1: return;
LAB3: t5 = xsi_get_transient_memory(8U);
memset(t5, 0, 8U);
t6 = t5;
memset(t6, (unsigned char)2, 8U);
t7 = (t0 + 4488);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t11 = *((char **)t10);
memcpy(t11, t5, 8U);
xsi_driver_first_trans_fast(t7);
goto LAB2;
LAB6: goto LAB2;
LAB7: xsi_size_not_matching(8U, t18, 0);
goto LAB8;
}
static void work_a_1473390551_3212880686_p_0(char *t0)
{
char t9[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
unsigned char t5;
unsigned char t6;
char *t7;
unsigned char t8;
char *t10;
char *t11;
char *t12;
char *t13;
unsigned int t14;
unsigned int t15;
unsigned char t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: xsi_set_current_line(24, 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 + 2992);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(25, ng0);
t3 = (t0 + 1192U);
t4 = *((char **)t3);
t5 = *((unsigned char *)t4);
t6 = (t5 == (unsigned char)3);
if (t6 != 0)
goto LAB5;
LAB7: xsi_set_current_line(32, ng0);
t1 = (t0 + 3136);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t7 = (t4 + 56U);
t10 = *((char **)t7);
*((unsigned char *)t10) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(33, ng0);
t1 = xsi_get_transient_memory(23U);
memset(t1, 0, 23U);
t3 = t1;
memset(t3, (unsigned char)2, 23U);
t4 = (t0 + 3072);
t7 = (t4 + 56U);
t10 = *((char **)t7);
t11 = (t10 + 56U);
t12 = *((char **)t11);
memcpy(t12, t1, 23U);
xsi_driver_first_trans_fast(t4);
LAB6: goto LAB3;
LAB5: xsi_set_current_line(26, ng0);
t3 = (t0 + 1512U);
t7 = *((char **)t3);
t3 = (t0 + 4736U);
t8 = ieee_p_1242562249_sub_1781471956_1035706684(IEEE_P_1242562249, t7, t3, 5000000);
if (t8 != 0)
goto LAB8;
LAB10: xsi_set_current_line(29, ng0);
t1 = (t0 + 3136);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t7 = (t4 + 56U);
t10 = *((char **)t7);
*((unsigned char *)t10) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
LAB9: goto LAB6;
LAB8: xsi_set_current_line(27, ng0);
t10 = (t0 + 1512U);
t11 = *((char **)t10);
t10 = (t0 + 4736U);
t12 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t9, t11, t10, 1);
t13 = (t9 + 12U);
t14 = *((unsigned int *)t13);
t15 = (1U * t14);
t16 = (23U != t15);
if (t16 == 1)
goto LAB11;
LAB12: t17 = (t0 + 3072);
t18 = (t17 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
memcpy(t21, t12, 23U);
xsi_driver_first_trans_fast(t17);
goto LAB9;
LAB11: xsi_size_not_matching(23U, t15, 0);
goto LAB12;
}
static void work_a_2601573828_3212880686_p_4(char *t0)
{
char t12[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 *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
LAB0: xsi_set_current_line(52, ng0);
t1 = (t0 + 1192U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 6320);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(53, ng0);
t1 = (t0 + 10309);
t6 = (t0 + 6672);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 8U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(54, ng0);
t1 = (t0 + 10317);
t5 = (t0 + 6736);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 8U);
xsi_driver_first_trans_fast(t5);
goto LAB3;
LAB5: xsi_set_current_line(56, ng0);
t2 = (t0 + 1352U);
t5 = *((char **)t2);
t2 = (t0 + 10325);
t4 = 1;
if (4U == 4U)
goto LAB10;
LAB11: t4 = 0;
LAB12: if (t4 != 0)
goto LAB7;
LAB9: t1 = (t0 + 1352U);
t2 = *((char **)t1);
t1 = (t0 + 10329);
t3 = 1;
if (4U == 4U)
goto LAB18;
LAB19: t3 = 0;
LAB20: if (t3 != 0)
goto LAB16;
LAB17: t1 = (t0 + 1352U);
t2 = *((char **)t1);
t1 = (t0 + 10333);
t3 = 1;
if (4U == 4U)
goto LAB26;
LAB27: t3 = 0;
LAB28: if (t3 != 0)
goto LAB24;
LAB25: t1 = (t0 + 1352U);
t2 = *((char **)t1);
t1 = (t0 + 10337);
t3 = 1;
if (4U == 4U)
goto LAB34;
LAB35: t3 = 0;
LAB36: if (t3 != 0)
goto LAB32;
LAB33:
LAB8: goto LAB3;
LAB7: xsi_set_current_line(57, ng0);
t9 = (t0 + 2472U);
t10 = *((char **)t9);
t9 = (t0 + 10132U);
t13 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t12, t10, t9, 1);
t14 = (t0 + 6736);
t15 = (t14 + 56U);
t16 = *((char **)t15);
t17 = (t16 + 56U);
t18 = *((char **)t17);
memcpy(t18, t13, 8U);
xsi_driver_first_trans_fast(t14);
goto LAB8;
LAB10: t11 = 0;
LAB13: if (t11 < 4U)
goto LAB14;
else
goto LAB12;
LAB14: t7 = (t5 + t11);
t8 = (t2 + t11);
if (*((unsigned char *)t7) != *((unsigned char *)t8))
goto LAB11;
LAB15: t11 = (t11 + 1);
goto LAB13;
LAB16: xsi_set_current_line(59, ng0);
t8 = (t0 + 2472U);
t9 = *((char **)t8);
t8 = (t0 + 10132U);
t10 = ieee_p_1242562249_sub_1919437128_1035706684(IEEE_P_1242562249, t12, t9, t8, 1);
t13 = (t0 + 6736);
t14 = (t13 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
memcpy(t17, t10, 8U);
xsi_driver_first_trans_fast(t13);
goto LAB8;
LAB18: t11 = 0;
LAB21: if (t11 < 4U)
goto LAB22;
else
goto LAB20;
LAB22: t6 = (t2 + t11);
t7 = (t1 + t11);
if (*((unsigned char *)t6) != *((unsigned char *)t7))
goto LAB19;
LAB23: t11 = (t11 + 1);
goto LAB21;
LAB24: xsi_set_current_line(61, ng0);
t8 = (t0 + 2312U);
t9 = *((char **)t8);
t8 = (t0 + 10116U);
t10 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t12, t9, t8, 1);
t13 = (t0 + 6672);
t14 = (t13 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
memcpy(t17, t10, 8U);
xsi_driver_first_trans_fast(t13);
goto LAB8;
LAB26: t11 = 0;
LAB29: if (t11 < 4U)
goto LAB30;
else
goto LAB28;
LAB30: t6 = (t2 + t11);
t7 = (t1 + t11);
if (*((unsigned char *)t6) != *((unsigned char *)t7))
goto LAB27;
LAB31: t11 = (t11 + 1);
goto LAB29;
LAB32: xsi_set_current_line(63, ng0);
t8 = (t0 + 2312U);
t9 = *((char **)t8);
t8 = (t0 + 10116U);
t10 = ieee_p_1242562249_sub_1919437128_1035706684(IEEE_P_1242562249, t12, t9, t8, 1);
t13 = (t0 + 6672);
t14 = (t13 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
memcpy(t17, t10, 8U);
xsi_driver_first_trans_fast(t13);
goto LAB8;
LAB34: t11 = 0;
LAB37: if (t11 < 4U)
goto LAB38;
else
goto LAB36;
LAB38: t6 = (t2 + t11);
t7 = (t1 + t11);
if (*((unsigned char *)t6) != *((unsigned char *)t7))
goto LAB35;
LAB39: t11 = (t11 + 1);
goto LAB37;
}
static void work_a_4203961215_0694202188_p_0(char *t0)
{
char t13[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;
unsigned char t11;
unsigned char t12;
int t14;
unsigned int t15;
char *t16;
char *t17;
char *t18;
unsigned int t20;
LAB0: xsi_set_current_line(21, ng0);
t1 = (t0 + 1236U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 776U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB5;
LAB6: t1 = (t0 + 568U);
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 + 2472);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(21, ng0);
t1 = (t0 + 4674);
t6 = (t0 + 2532);
t7 = (t6 + 32U);
t8 = *((char **)t7);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t1, 4U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(21, ng0);
t1 = (t0 + 2568);
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(22, ng0);
t1 = (t0 + 2604);
t5 = (t1 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 40U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
goto LAB3;
LAB7: xsi_set_current_line(24, ng0);
t2 = (t0 + 2604);
t6 = (t2 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 40U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(25, ng0);
t1 = (t0 + 1052U);
t2 = *((char **)t1);
t1 = (t0 + 4640U);
t5 = (t0 + 4678);
t7 = (t13 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 0;
t8 = (t7 + 4U);
*((int *)t8) = 3;
t8 = (t7 + 8U);
*((int *)t8) = 1;
t14 = (3 - 0);
t15 = (t14 * 1);
t15 = (t15 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t15;
t4 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t2, t1, t5, t13);
if (t4 == 1)
goto LAB15;
LAB16: t3 = (unsigned char)0;
LAB17: if (t3 != 0)
goto LAB12;
LAB14: xsi_set_current_line(26, ng0);
t1 = (t0 + 1052U);
t2 = *((char **)t1);
t1 = (t0 + 4640U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t19, t2, t1, 1);
t6 = ieee_p_1242562249_sub_2778267465_1035706684(IEEE_P_1242562249, t13, t5, t19, 10);
t7 = (t13 + 12U);
t15 = *((unsigned int *)t7);
t20 = (1U * t15);
t3 = (4U != t20);
if (t3 == 1)
goto LAB18;
LAB19: t8 = (t0 + 2532);
t9 = (t8 + 32U);
t10 = *((char **)t9);
t16 = (t10 + 40U);
t17 = *((char **)t16);
memcpy(t17, t6, 4U);
xsi_driver_first_trans_fast(t8);
LAB13: xsi_set_current_line(28, ng0);
t1 = (t0 + 1052U);
t2 = *((char **)t1);
t1 = (t0 + 4640U);
t5 = (t0 + 4682);
t7 = (t13 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 0;
t8 = (t7 + 4U);
*((int *)t8) = 3;
t8 = (t7 + 8U);
*((int *)t8) = 1;
t14 = (3 - 0);
t15 = (t14 * 1);
t15 = (t15 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t15;
t3 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t2, t1, t5, t13);
if (t3 != 0)
goto LAB20;
LAB22: xsi_set_current_line(30, ng0);
t1 = (t0 + 2640);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 40U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB21: goto LAB3;
LAB9: t2 = (t0 + 592U);
t5 = *((char **)t2);
t11 = *((unsigned char *)t5);
t12 = (t11 == (unsigned char)3);
t3 = t12;
goto LAB11;
LAB12: xsi_set_current_line(25, ng0);
t8 = (t0 + 2568);
t10 = (t8 + 32U);
t16 = *((char **)t10);
t17 = (t16 + 40U);
t18 = *((char **)t17);
*((unsigned char *)t18) = (unsigned char)2;
xsi_driver_first_trans_fast(t8);
goto LAB13;
LAB15: t8 = (t0 + 1236U);
t9 = *((char **)t8);
t11 = *((unsigned char *)t9);
t12 = (t11 == (unsigned char)3);
t3 = t12;
goto LAB17;
LAB18: xsi_size_not_matching(4U, t20, 0);
goto LAB19;
LAB20: xsi_set_current_line(29, ng0);
t8 = (t0 + 2640);
t9 = (t8 + 32U);
t10 = *((char **)t9);
t16 = (t10 + 40U);
t17 = *((char **)t16);
*((unsigned char *)t17) = (unsigned char)3;
xsi_driver_first_trans_fast(t8);
goto LAB21;
}
static void work_a_1100827512_3212880686_p_5(char *t0)
{
char t9[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
unsigned char t8;
unsigned char t10;
char *t11;
char *t12;
char *t13;
unsigned int t14;
unsigned int t15;
LAB0: xsi_set_current_line(159, 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 + 8560);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(160, ng0);
t3 = (t0 + 9296);
t4 = (t3 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t3);
xsi_set_current_line(161, ng0);
t1 = (t0 + 4392U);
t3 = *((char **)t1);
t2 = *((unsigned char *)t3);
t8 = (t2 == (unsigned char)3);
if (t8 != 0)
goto LAB5;
LAB7:
LAB6: goto LAB3;
LAB5: xsi_set_current_line(162, ng0);
t1 = (t0 + 4712U);
t4 = *((char **)t1);
t1 = (t0 + 14856U);
t5 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t9, 9, 4);
t10 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t4, t1, t5, t9);
if (t10 != 0)
goto LAB8;
LAB10: xsi_set_current_line(166, ng0);
t1 = (t0 + 4712U);
t3 = *((char **)t1);
t1 = (t0 + 14856U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t9, t3, t1, 1);
t5 = (t9 + 12U);
t14 = *((unsigned int *)t5);
t15 = (1U * t14);
t2 = (4U != t15);
if (t2 == 1)
goto LAB11;
LAB12: t6 = (t0 + 9360);
t7 = (t6 + 56U);
t11 = *((char **)t7);
t12 = (t11 + 56U);
t13 = *((char **)t12);
memcpy(t13, t4, 4U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(167, ng0);
t1 = (t0 + 9296);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB9: goto LAB6;
LAB8: xsi_set_current_line(163, ng0);
t6 = (t0 + 9296);
t7 = (t6 + 56U);
t11 = *((char **)t7);
t12 = (t11 + 56U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)3;
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(164, ng0);
t1 = xsi_get_transient_memory(4U);
memset(t1, 0, 4U);
t3 = t1;
memset(t3, (unsigned char)2, 4U);
t4 = (t0 + 9360);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t11 = *((char **)t7);
memcpy(t11, t1, 4U);
xsi_driver_first_trans_fast(t4);
goto LAB9;
LAB11: xsi_size_not_matching(4U, t15, 0);
goto LAB12;
}
static void design_a_2370737399_2372691052_p_0(char *t0)
{
char t15[16];
char *t1;
char *t2;
unsigned char t3;
unsigned char t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
unsigned char t10;
unsigned char t11;
unsigned char t12;
unsigned char t13;
char *t14;
char *t16;
char *t17;
char *t18;
LAB0: xsi_set_current_line(54, ng0);
t1 = (t0 + 1512U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
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 + 3312);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(55, ng0);
t1 = (t0 + 3392);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(56, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t2 = t1;
memset(t2, (unsigned char)2, 10U);
t5 = (t0 + 3456);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 10U);
xsi_driver_first_trans_fast(t5);
goto LAB3;
LAB5: xsi_set_current_line(59, ng0);
t2 = (t0 + 1672U);
t6 = *((char **)t2);
t12 = *((unsigned char *)t6);
t13 = (t12 == (unsigned char)2);
if (t13 != 0)
goto LAB10;
LAB12: t1 = (t0 + 1672U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t10 = (t4 == (unsigned char)3);
if (t10 == 1)
goto LAB15;
LAB16: t3 = (unsigned char)0;
LAB17: if (t3 != 0)
goto LAB13;
LAB14:
LAB11: goto LAB3;
LAB7: t2 = (t0 + 1032U);
t5 = *((char **)t2);
t10 = *((unsigned char *)t5);
t11 = (t10 == (unsigned char)3);
t3 = t11;
goto LAB9;
LAB10: xsi_set_current_line(60, ng0);
t2 = (t0 + 3392);
t7 = (t2 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t14 = *((char **)t9);
*((unsigned char *)t14) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t2);
xsi_set_current_line(61, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t2 = t1;
memset(t2, (unsigned char)2, 10U);
t5 = (t0 + 3456);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 10U);
xsi_driver_first_trans_fast(t5);
goto LAB11;
LAB13: xsi_set_current_line(65, ng0);
t1 = (t0 + 1832U);
t6 = *((char **)t1);
t1 = (t0 + 5808U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t15, t6, t1, 1);
t8 = (t0 + 3456);
t9 = (t8 + 56U);
t14 = *((char **)t9);
t16 = (t14 + 56U);
t17 = *((char **)t16);
memcpy(t17, t7, 10U);
xsi_driver_first_trans_fast(t8);
xsi_set_current_line(66, ng0);
t1 = (t0 + 1832U);
t2 = *((char **)t1);
t1 = (t0 + 5846);
t6 = ((IEEE_P_2592010699) + 4024);
t3 = xsi_vhdl_greaterEqual(t6, t2, 10U, t1, 12U);
if (t3 != 0)
goto LAB18;
LAB20:
LAB19: goto LAB11;
LAB15: t1 = (t0 + 1192U);
t5 = *((char **)t1);
t11 = *((unsigned char *)t5);
t12 = (t11 == (unsigned char)3);
t3 = t12;
goto LAB17;
LAB18: xsi_set_current_line(67, ng0);
t7 = xsi_get_transient_memory(10U);
memset(t7, 0, 10U);
t8 = t7;
memset(t8, (unsigned char)2, 10U);
t9 = (t0 + 3456);
t14 = (t9 + 56U);
t16 = *((char **)t14);
t17 = (t16 + 56U);
t18 = *((char **)t17);
memcpy(t18, t7, 10U);
xsi_driver_first_trans_fast(t9);
xsi_set_current_line(68, ng0);
t1 = (t0 + 3392);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
goto LAB19;
}
static void design_ip_dcf_77_a_1373089465_2372691052_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 char t11;
unsigned char t12;
unsigned char t13;
unsigned char t14;
char *t15;
char *t16;
LAB0: xsi_set_current_line(53, ng0);
t1 = (t0 + 1352U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 1152U);
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 + 3720);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(54, ng0);
t1 = xsi_get_transient_memory(6U);
memset(t1, 0, 6U);
t5 = t1;
memset(t5, (unsigned char)2, 6U);
t6 = (t0 + 3816);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 6U);
xsi_driver_first_trans_fast(t6);
goto LAB3;
LAB5: xsi_set_current_line(57, ng0);
t2 = (t0 + 1672U);
t6 = *((char **)t2);
t13 = *((unsigned char *)t6);
t14 = (t13 == (unsigned char)3);
if (t14 != 0)
goto LAB10;
LAB12: t1 = (t0 + 1512U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t11 = (t4 == (unsigned char)3);
if (t11 == 1)
goto LAB15;
LAB16: t1 = (t0 + 1832U);
t5 = *((char **)t1);
t12 = *((unsigned char *)t5);
t13 = (t12 == (unsigned char)3);
t3 = t13;
LAB17: if (t3 != 0)
goto LAB13;
LAB14:
LAB11: goto LAB3;
LAB7: t2 = (t0 + 1192U);
t5 = *((char **)t2);
t11 = *((unsigned char *)t5);
t12 = (t11 == (unsigned char)3);
t3 = t12;
goto LAB9;
LAB10: xsi_set_current_line(58, ng0);
t2 = (t0 + 6447);
t8 = (t0 + 3816);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t15 = (t10 + 56U);
t16 = *((char **)t15);
memcpy(t16, t2, 6U);
xsi_driver_first_trans_fast(t8);
goto LAB11;
LAB13: xsi_set_current_line(60, ng0);
t1 = (t0 + 1992U);
t6 = *((char **)t1);
t1 = (t0 + 6412U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t17, t6, t1, 1);
t8 = (t0 + 3816);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t15 = (t10 + 56U);
t16 = *((char **)t15);
memcpy(t16, t7, 6U);
xsi_driver_first_trans_fast(t8);
goto LAB11;
LAB15: t3 = (unsigned char)1;
goto LAB17;
}
static void work_a_1100827512_3212880686_p_4(char *t0)
{
char t11[16];
char *t1;
char *t2;
unsigned char t3;
unsigned char t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
int t12;
unsigned char t13;
unsigned char t14;
char *t15;
char *t16;
unsigned int t17;
unsigned int t18;
char *t19;
LAB0: xsi_set_current_line(139, ng0);
t1 = (t0 + 3752U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: xsi_set_current_line(143, ng0);
t1 = (t0 + 5032U);
t2 = *((char **)t1);
t1 = (t0 + 14888U);
t5 = (t0 + 5688U);
t6 = *((char **)t5);
t12 = *((int *)t6);
t5 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, t12, 8);
t4 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t2, t1, t5, t11);
if (t4 == 1)
goto LAB8;
LAB9: t3 = (unsigned char)0;
LAB10: if (t3 != 0)
goto LAB5;
LAB7: xsi_set_current_line(147, ng0);
t1 = (t0 + 3592U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB11;
LAB13:
LAB12:
LAB6:
LAB3: t1 = (t0 + 8544);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(140, ng0);
t1 = xsi_get_transient_memory(8U);
memset(t1, 0, 8U);
t5 = t1;
memset(t5, (unsigned char)2, 8U);
t6 = (t0 + 9168);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 8U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(141, ng0);
t1 = (t0 + 9232);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB3;
LAB5: xsi_set_current_line(144, ng0);
t7 = (t0 + 9232);
t9 = (t7 + 56U);
t10 = *((char **)t9);
t15 = (t10 + 56U);
t16 = *((char **)t15);
*((unsigned char *)t16) = (unsigned char)3;
xsi_driver_first_trans_fast(t7);
xsi_set_current_line(145, ng0);
t1 = xsi_get_transient_memory(8U);
memset(t1, 0, 8U);
t2 = t1;
memset(t2, (unsigned char)2, 8U);
t5 = (t0 + 9168);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 8U);
xsi_driver_first_trans_fast(t5);
goto LAB6;
LAB8: t7 = (t0 + 1832U);
t8 = *((char **)t7);
t13 = *((unsigned char *)t8);
t14 = (t13 == (unsigned char)1);
t3 = t14;
goto LAB10;
LAB11: xsi_set_current_line(148, ng0);
t1 = (t0 + 992U);
t13 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t13 != 0)
goto LAB14;
LAB16:
LAB15: goto LAB12;
LAB14: xsi_set_current_line(149, ng0);
t5 = (t0 + 5032U);
t6 = *((char **)t5);
t5 = (t0 + 14888U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t11, t6, t5, 1);
t8 = (t11 + 12U);
t17 = *((unsigned int *)t8);
t18 = (1U * t17);
t14 = (8U != t18);
if (t14 == 1)
goto LAB17;
LAB18: t9 = (t0 + 9168);
t10 = (t9 + 56U);
t15 = *((char **)t10);
t16 = (t15 + 56U);
t19 = *((char **)t16);
memcpy(t19, t7, 8U);
xsi_driver_first_trans_fast(t9);
xsi_set_current_line(150, ng0);
t1 = (t0 + 9232);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB15;
LAB17: xsi_size_not_matching(8U, t18, 0);
goto LAB18;
}
static void work_a_0276264947_3212880686_p_5(char *t0)
{
char t3[16];
char t12[16];
char t13[16];
char t20[16];
char t29[16];
char t30[16];
unsigned char t1;
unsigned char t2;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
unsigned char t9;
char *t10;
char *t11;
char *t14;
char *t15;
char *t16;
char *t17;
unsigned char t18;
unsigned char t19;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
unsigned char t26;
char *t27;
char *t28;
char *t31;
char *t32;
char *t33;
char *t34;
unsigned char t35;
char *t36;
char *t37;
char *t38;
char *t39;
char *t40;
char *t41;
char *t42;
char *t43;
char *t44;
char *t45;
char *t46;
LAB0: xsi_set_current_line(81, ng0);
t4 = (t0 + 1512U);
t5 = *((char **)t4);
t4 = (t0 + 11352U);
t6 = ieee_p_1242562249_sub_1919329317_1035706684(IEEE_P_1242562249, t3, t5, t4, 32);
t7 = (t0 + 2632U);
t8 = *((char **)t7);
t7 = (t0 + 11432U);
t9 = ieee_p_1242562249_sub_3469716711_1035706684(IEEE_P_1242562249, t6, t3, t8, t7);
if (t9 == 1)
goto LAB8;
LAB9: t2 = (unsigned char)0;
LAB10: if (t2 == 1)
goto LAB5;
LAB6: t1 = (unsigned char)0;
LAB7: if (t1 != 0)
goto LAB3;
LAB4:
LAB14: t41 = (t0 + 8400);
t42 = (t41 + 56U);
t43 = *((char **)t42);
t44 = (t43 + 56U);
t45 = *((char **)t44);
*((unsigned char *)t45) = (unsigned char)2;
xsi_driver_first_trans_fast(t41);
LAB2: t46 = (t0 + 7792);
*((int *)t46) = 1;
LAB1: return;
LAB3: t36 = (t0 + 8400);
t37 = (t36 + 56U);
t38 = *((char **)t37);
t39 = (t38 + 56U);
t40 = *((char **)t39);
*((unsigned char *)t40) = (unsigned char)3;
xsi_driver_first_trans_fast(t36);
goto LAB2;
LAB5: t21 = (t0 + 1672U);
t22 = *((char **)t21);
t21 = (t0 + 11368U);
t23 = ieee_p_1242562249_sub_1919329317_1035706684(IEEE_P_1242562249, t20, t22, t21, 32);
t24 = (t0 + 2792U);
t25 = *((char **)t24);
t24 = (t0 + 11448U);
t26 = ieee_p_1242562249_sub_3469716711_1035706684(IEEE_P_1242562249, t23, t20, t25, t24);
if (t26 == 1)
goto LAB11;
LAB12: t19 = (unsigned char)0;
LAB13: t1 = t19;
goto LAB7;
LAB8: t10 = (t0 + 2632U);
t11 = *((char **)t10);
t10 = (t0 + 11432U);
t14 = (t0 + 1512U);
t15 = *((char **)t14);
t14 = (t0 + 11352U);
t16 = ieee_p_1242562249_sub_1919329317_1035706684(IEEE_P_1242562249, t13, t15, t14, 32);
t17 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t12, t16, t13, 32);
t18 = ieee_p_1242562249_sub_2110339434_1035706684(IEEE_P_1242562249, t11, t10, t17, t12);
t2 = t18;
goto LAB10;
LAB11: t27 = (t0 + 2792U);
t28 = *((char **)t27);
t27 = (t0 + 11448U);
t31 = (t0 + 1672U);
t32 = *((char **)t31);
t31 = (t0 + 11368U);
t33 = ieee_p_1242562249_sub_1919329317_1035706684(IEEE_P_1242562249, t30, t32, t31, 32);
t34 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t29, t33, t30, 32);
t35 = ieee_p_1242562249_sub_2110339434_1035706684(IEEE_P_1242562249, t28, t27, t34, t29);
t19 = t35;
goto LAB13;
LAB15: goto LAB2;
}
static void work_a_0276264947_3212880686_p_0(char *t0)
{
char t13[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 int t14;
unsigned int t15;
unsigned char t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: xsi_set_current_line(45, ng0);
t1 = (t0 + 1352U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 7712);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(46, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t5 = t1;
memset(t5, (unsigned char)2, 10U);
t6 = (t0 + 7952);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 10U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(47, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t2 = t1;
memset(t2, (unsigned char)2, 10U);
t5 = (t0 + 8016);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 10U);
xsi_driver_first_trans_fast(t5);
goto LAB3;
LAB5: xsi_set_current_line(49, ng0);
t2 = (t0 + 1192U);
t5 = *((char **)t2);
t4 = *((unsigned char *)t5);
t11 = (t4 == (unsigned char)3);
if (t11 != 0)
goto LAB7;
LAB9:
LAB8: goto LAB3;
LAB7: xsi_set_current_line(50, ng0);
t2 = (t0 + 2632U);
t6 = *((char **)t2);
t2 = (t0 + 11432U);
t12 = ieee_p_1242562249_sub_1781471956_1035706684(IEEE_P_1242562249, t6, t2, 800);
if (t12 != 0)
goto LAB10;
LAB12: xsi_set_current_line(53, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t2 = t1;
memset(t2, (unsigned char)2, 10U);
t5 = (t0 + 7952);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 10U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(54, ng0);
t1 = (t0 + 8080);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
LAB11: xsi_set_current_line(56, ng0);
t1 = (t0 + 3432U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB15;
LAB17:
LAB16: goto LAB8;
LAB10: xsi_set_current_line(51, ng0);
t7 = (t0 + 2632U);
t8 = *((char **)t7);
t7 = (t0 + 11432U);
t9 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t13, t8, t7, 1);
t10 = (t13 + 12U);
t14 = *((unsigned int *)t10);
t15 = (1U * t14);
t16 = (10U != t15);
if (t16 == 1)
goto LAB13;
LAB14: t17 = (t0 + 7952);
t18 = (t17 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
memcpy(t21, t9, 10U);
xsi_driver_first_trans_fast(t17);
goto LAB11;
LAB13: xsi_size_not_matching(10U, t15, 0);
goto LAB14;
LAB15: xsi_set_current_line(57, ng0);
t1 = (t0 + 2792U);
t5 = *((char **)t1);
t1 = (t0 + 11448U);
t11 = ieee_p_1242562249_sub_1781471956_1035706684(IEEE_P_1242562249, t5, t1, 521);
if (t11 != 0)
goto LAB18;
LAB20: xsi_set_current_line(61, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t2 = t1;
memset(t2, (unsigned char)2, 10U);
t5 = (t0 + 8016);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 10U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(62, ng0);
t1 = (t0 + 8080);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB19: goto LAB16;
LAB18: xsi_set_current_line(58, ng0);
t6 = (t0 + 2792U);
t7 = *((char **)t6);
t6 = (t0 + 11448U);
t8 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t13, t7, t6, 1);
t9 = (t13 + 12U);
t14 = *((unsigned int *)t9);
t15 = (1U * t14);
t12 = (10U != t15);
if (t12 == 1)
goto LAB21;
LAB22: t10 = (t0 + 8016);
t17 = (t10 + 56U);
t18 = *((char **)t17);
t19 = (t18 + 56U);
t20 = *((char **)t19);
memcpy(t20, t8, 10U);
xsi_driver_first_trans_fast(t10);
xsi_set_current_line(59, ng0);
t1 = (t0 + 8080);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB19;
LAB21: xsi_size_not_matching(10U, t15, 0);
goto LAB22;
}
static void work_a_2601573828_3212880686_p_5(char *t0)
{
char t13[16];
char t14[16];
char t19[16];
char t28[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;
char *t15;
char *t16;
int t17;
unsigned int t18;
char *t20;
int t21;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t29;
unsigned char t30;
unsigned char t31;
char *t32;
LAB0: xsi_set_current_line(70, ng0);
t1 = (t0 + 1192U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 6336);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(71, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t5 = t1;
memset(t5, (unsigned char)2, 10U);
t6 = (t0 + 6800);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 10U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(72, ng0);
t1 = xsi_get_transient_memory(10U);
memset(t1, 0, 10U);
t2 = t1;
memset(t2, (unsigned char)2, 10U);
t5 = (t0 + 6864);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 10U);
xsi_driver_first_trans_fast(t5);
goto LAB3;
LAB5: xsi_set_current_line(74, ng0);
t2 = (t0 + 2632U);
t5 = *((char **)t2);
t4 = *((unsigned char *)t5);
t11 = (t4 == (unsigned char)3);
if (t11 != 0)
goto LAB7;
LAB9:
LAB8: goto LAB3;
LAB7: xsi_set_current_line(75, ng0);
t2 = (t0 + 3272U);
t6 = *((char **)t2);
t12 = *((unsigned char *)t6);
t2 = (t0 + 6928);
t7 = (t2 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
*((unsigned char *)t10) = t12;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(76, ng0);
t1 = (t0 + 2792U);
t2 = *((char **)t1);
t1 = (t0 + 10148U);
t5 = (t0 + 10341);
t7 = (t0 + 10343);
t10 = ((IEEE_P_1242562249) + 3000);
t15 = (t14 + 0U);
t16 = (t15 + 0U);
*((int *)t16) = 0;
t16 = (t15 + 4U);
*((int *)t16) = 1;
t16 = (t15 + 8U);
*((int *)t16) = 1;
t17 = (1 - 0);
t18 = (t17 * 1);
t18 = (t18 + 1);
t16 = (t15 + 12U);
*((unsigned int *)t16) = t18;
t16 = (t19 + 0U);
t20 = (t16 + 0U);
*((int *)t20) = 0;
t20 = (t16 + 4U);
*((int *)t20) = 7;
t20 = (t16 + 8U);
*((int *)t20) = 1;
t21 = (7 - 0);
t18 = (t21 * 1);
t18 = (t18 + 1);
t20 = (t16 + 12U);
*((unsigned int *)t20) = t18;
t9 = xsi_base_array_concat(t9, t13, t10, (char)97, t5, t14, (char)97, t7, t19, (char)101);
t3 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t2, t1, t9, t13);
if (t3 != 0)
goto LAB10;
LAB12: t1 = (t0 + 2792U);
t2 = *((char **)t1);
t1 = (t0 + 10148U);
t5 = (t0 + 10351);
t7 = (t0 + 10353);
t10 = ((IEEE_P_1242562249) + 3000);
t15 = (t14 + 0U);
t16 = (t15 + 0U);
*((int *)t16) = 0;
t16 = (t15 + 4U);
*((int *)t16) = 1;
t16 = (t15 + 8U);
*((int *)t16) = 1;
t17 = (1 - 0);
t18 = (t17 * 1);
t18 = (t18 + 1);
t16 = (t15 + 12U);
*((unsigned int *)t16) = t18;
t16 = (t19 + 0U);
t20 = (t16 + 0U);
*((int *)t20) = 0;
t20 = (t16 + 4U);
*((int *)t20) = 7;
t20 = (t16 + 8U);
*((int *)t20) = 1;
t21 = (7 - 0);
t18 = (t21 * 1);
t18 = (t18 + 1);
t20 = (t16 + 12U);
*((unsigned int *)t20) = t18;
t9 = xsi_base_array_concat(t9, t13, t10, (char)97, t5, t14, (char)97, t7, t19, (char)101);
t3 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t2, t1, t9, t13);
if (t3 != 0)
goto LAB13;
LAB14: xsi_set_current_line(83, ng0);
t1 = (t0 + 2792U);
t2 = *((char **)t1);
t1 = (t0 + 10148U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t13, t2, t1, 1);
t6 = (t0 + 6800);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t5, 10U);
xsi_driver_first_trans_fast(t6);
LAB11: xsi_set_current_line(85, ng0);
t1 = (t0 + 3112U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t11 = (t4 == (unsigned char)2);
if (t11 == 1)
goto LAB18;
LAB19: t3 = (unsigned char)0;
LAB20: if (t3 != 0)
goto LAB15;
LAB17:
LAB16: goto LAB8;
LAB10: xsi_set_current_line(77, ng0);
t20 = xsi_get_transient_memory(10U);
memset(t20, 0, 10U);
t22 = t20;
memset(t22, (unsigned char)2, 10U);
t23 = (t0 + 6800);
t24 = (t23 + 56U);
t25 = *((char **)t24);
t26 = (t25 + 56U);
t27 = *((char **)t26);
memcpy(t27, t20, 10U);
xsi_driver_first_trans_fast(t23);
xsi_set_current_line(78, ng0);
t1 = (t0 + 6992);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB11;
LAB13: xsi_set_current_line(80, ng0);
t20 = (t0 + 2792U);
t22 = *((char **)t20);
t20 = (t0 + 10148U);
t23 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t28, t22, t20, 1);
t24 = (t0 + 6800);
t25 = (t24 + 56U);
t26 = *((char **)t25);
t27 = (t26 + 56U);
t29 = *((char **)t27);
memcpy(t29, t23, 10U);
xsi_driver_first_trans_fast(t24);
xsi_set_current_line(81, ng0);
t1 = (t0 + 6992);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
goto LAB11;
LAB15: xsi_set_current_line(86, ng0);
t1 = (t0 + 2952U);
t6 = *((char **)t1);
t1 = (t0 + 10164U);
t7 = (t0 + 10361);
t9 = (t0 + 10363);
t16 = ((IEEE_P_1242562249) + 3000);
t20 = (t14 + 0U);
t22 = (t20 + 0U);
*((int *)t22) = 0;
t22 = (t20 + 4U);
*((int *)t22) = 1;
t22 = (t20 + 8U);
*((int *)t22) = 1;
t17 = (1 - 0);
t18 = (t17 * 1);
t18 = (t18 + 1);
t22 = (t20 + 12U);
*((unsigned int *)t22) = t18;
t22 = (t19 + 0U);
t23 = (t22 + 0U);
*((int *)t23) = 0;
t23 = (t22 + 4U);
*((int *)t23) = 7;
t23 = (t22 + 8U);
*((int *)t23) = 1;
t21 = (7 - 0);
t18 = (t21 * 1);
t18 = (t18 + 1);
t23 = (t22 + 12U);
*((unsigned int *)t23) = t18;
t15 = xsi_base_array_concat(t15, t13, t16, (char)97, t7, t14, (char)97, t9, t19, (char)101);
t31 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t6, t1, t15, t13);
if (t31 != 0)
goto LAB21;
LAB23: t1 = (t0 + 2952U);
t2 = *((char **)t1);
t1 = (t0 + 10164U);
t5 = (t0 + 10371);
t7 = (t0 + 10373);
t10 = ((IEEE_P_1242562249) + 3000);
t15 = (t14 + 0U);
t16 = (t15 + 0U);
*((int *)t16) = 0;
t16 = (t15 + 4U);
*((int *)t16) = 1;
t16 = (t15 + 8U);
*((int *)t16) = 1;
t17 = (1 - 0);
t18 = (t17 * 1);
t18 = (t18 + 1);
t16 = (t15 + 12U);
*((unsigned int *)t16) = t18;
t16 = (t19 + 0U);
t20 = (t16 + 0U);
*((int *)t20) = 0;
t20 = (t16 + 4U);
*((int *)t20) = 7;
t20 = (t16 + 8U);
*((int *)t20) = 1;
t21 = (7 - 0);
t18 = (t21 * 1);
t18 = (t18 + 1);
t20 = (t16 + 12U);
*((unsigned int *)t20) = t18;
t9 = xsi_base_array_concat(t9, t13, t10, (char)97, t5, t14, (char)97, t7, t19, (char)101);
t3 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t2, t1, t9, t13);
if (t3 != 0)
goto LAB24;
LAB25: xsi_set_current_line(93, ng0);
t1 = (t0 + 2952U);
t2 = *((char **)t1);
t1 = (t0 + 10164U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t13, t2, t1, 1);
t6 = (t0 + 6864);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t5, 10U);
xsi_driver_first_trans_fast(t6);
LAB22: goto LAB16;
LAB18: t1 = (t0 + 3112U);
t5 = *((char **)t1);
t12 = *((unsigned char *)t5);
t30 = (t12 == (unsigned char)3);
t3 = t30;
goto LAB20;
LAB21: xsi_set_current_line(87, ng0);
t23 = xsi_get_transient_memory(10U);
memset(t23, 0, 10U);
t24 = t23;
memset(t24, (unsigned char)2, 10U);
t25 = (t0 + 6864);
t26 = (t25 + 56U);
t27 = *((char **)t26);
t29 = (t27 + 56U);
t32 = *((char **)t29);
memcpy(t32, t23, 10U);
xsi_driver_first_trans_fast(t25);
xsi_set_current_line(88, ng0);
t1 = (t0 + 7056);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
goto LAB22;
LAB24: xsi_set_current_line(90, ng0);
t20 = (t0 + 2952U);
t22 = *((char **)t20);
t20 = (t0 + 10164U);
t23 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t28, t22, t20, 1);
t24 = (t0 + 6864);
t25 = (t24 + 56U);
t26 = *((char **)t25);
t27 = (t26 + 56U);
t29 = *((char **)t27);
memcpy(t29, t23, 10U);
xsi_driver_first_trans_fast(t24);
xsi_set_current_line(91, ng0);
t1 = (t0 + 7056);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
goto LAB22;
}
static void work_a_3735905323_1516540902_p_5(char *t0)
{
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;
unsigned char t11;
unsigned char t12;
unsigned int t13;
char *t14;
char *t15;
char *t16;
char *t17;
unsigned char t18;
unsigned int t20;
LAB0: xsi_set_current_line(83, ng0);
t1 = (t0 + 1192U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 1832U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t11 = (t4 == (unsigned char)3);
if (t11 == 1)
goto LAB7;
LAB8: t1 = (t0 + 1352U);
t5 = *((char **)t1);
t1 = (t0 + 3888U);
t6 = *((char **)t1);
t12 = 1;
if (8U == 8U)
goto LAB10;
LAB11: t12 = 0;
LAB12: t3 = (!(t12));
LAB9: if (t3 != 0)
goto LAB5;
LAB6: t1 = (t0 + 992U);
t4 = xsi_signal_has_event(t1);
if (t4 == 1)
goto LAB18;
LAB19: t3 = (unsigned char)0;
LAB20: if (t3 != 0)
goto LAB16;
LAB17:
LAB3: t1 = (t0 + 7752);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(84, ng0);
t1 = xsi_get_transient_memory(9U);
memset(t1, 0, 9U);
t5 = t1;
memset(t5, (unsigned char)2, 9U);
t6 = (t0 + 8232);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 9U);
xsi_driver_first_trans_fast(t6);
goto LAB3;
LAB5: xsi_set_current_line(86, ng0);
t8 = xsi_get_transient_memory(9U);
memset(t8, 0, 9U);
t9 = t8;
memset(t9, (unsigned char)2, 9U);
t10 = (t0 + 8232);
t14 = (t10 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
memcpy(t17, t8, 9U);
xsi_driver_first_trans_fast(t10);
goto LAB3;
LAB7: t3 = (unsigned char)1;
goto LAB9;
LAB10: t13 = 0;
LAB13: if (t13 < 8U)
goto LAB14;
else
goto LAB12;
LAB14: t1 = (t5 + t13);
t7 = (t6 + t13);
if (*((unsigned char *)t1) != *((unsigned char *)t7))
goto LAB11;
LAB15: t13 = (t13 + 1);
goto LAB13;
LAB16: xsi_set_current_line(88, ng0);
t2 = (t0 + 3272U);
t6 = *((char **)t2);
t2 = (t0 + 11976U);
t18 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t6, t2, 68);
if (t18 != 0)
goto LAB21;
LAB23: xsi_set_current_line(91, ng0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t1 = (t0 + 11976U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t19, t2, t1, 1);
t6 = (t19 + 12U);
t13 = *((unsigned int *)t6);
t20 = (1U * t13);
t3 = (9U != t20);
if (t3 == 1)
goto LAB24;
LAB25: t7 = (t0 + 8232);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t14 = *((char **)t10);
memcpy(t14, t5, 9U);
xsi_driver_first_trans_fast(t7);
LAB22: goto LAB3;
LAB18: t2 = (t0 + 1032U);
t5 = *((char **)t2);
t11 = *((unsigned char *)t5);
t12 = (t11 == (unsigned char)3);
t3 = t12;
goto LAB20;
LAB21: xsi_set_current_line(89, ng0);
t7 = xsi_get_transient_memory(9U);
memset(t7, 0, 9U);
t8 = t7;
memset(t8, (unsigned char)2, 9U);
t9 = (t0 + 8232);
t10 = (t9 + 56U);
t14 = *((char **)t10);
t15 = (t14 + 56U);
t16 = *((char **)t15);
memcpy(t16, t7, 9U);
xsi_driver_first_trans_fast(t9);
goto LAB22;
LAB24: xsi_size_not_matching(9U, t20, 0);
goto LAB25;
}
static void work_a_2687124937_2372691052_p_3(char *t0)
{
char t14[16];
char t15[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
unsigned char t5;
char *t6;
char *t7;
unsigned char t8;
unsigned char t9;
char *t10;
char *t11;
char *t12;
char *t13;
int t16;
unsigned int t17;
char *t18;
char *t19;
char *t20;
unsigned int t21;
unsigned int t22;
unsigned int t23;
static char *nl0[] = {&&LAB6, &&LAB7};
LAB0: xsi_set_current_line(85, ng0);
t1 = (t0 + 2432U);
t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t2 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 6248);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(87, ng0);
t3 = (t0 + 2152U);
t4 = *((char **)t3);
t5 = *((unsigned char *)t4);
t3 = (char *)((nl0) + t5);
goto **((char **)t3);
LAB5: goto LAB3;
LAB6: xsi_set_current_line(91, ng0);
t6 = (t0 + 1352U);
t7 = *((char **)t6);
t8 = *((unsigned char *)t7);
t9 = (t8 == (unsigned char)2);
if (t9 != 0)
goto LAB9;
LAB11: xsi_set_current_line(96, ng0);
t1 = (t0 + 6520);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t6 = (t4 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
LAB10: goto LAB5;
LAB7: xsi_set_current_line(100, ng0);
t1 = (t0 + 1992U);
t3 = *((char **)t1);
t1 = (t0 + 10416U);
t4 = (t0 + 10580);
t7 = (t14 + 0U);
t10 = (t7 + 0U);
*((int *)t10) = 0;
t10 = (t7 + 4U);
*((int *)t10) = 3;
t10 = (t7 + 8U);
*((int *)t10) = 1;
t16 = (3 - 0);
t17 = (t16 * 1);
t17 = (t17 + 1);
t10 = (t7 + 12U);
*((unsigned int *)t10) = t17;
t2 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t3, t1, t4, t14);
if (t2 != 0)
goto LAB14;
LAB16: xsi_set_current_line(103, ng0);
t1 = (t0 + 6520);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t6 = (t4 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)1;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(104, ng0);
t1 = (t0 + 1832U);
t3 = *((char **)t1);
t17 = (15 - 14);
t21 = (t17 * 1U);
t22 = (0 + t21);
t1 = (t3 + t22);
t6 = ((IEEE_P_2592010699) + 4024);
t7 = (t15 + 0U);
t10 = (t7 + 0U);
*((int *)t10) = 14;
t10 = (t7 + 4U);
*((int *)t10) = 0;
t10 = (t7 + 8U);
*((int *)t10) = -1;
t16 = (0 - 14);
t23 = (t16 * -1);
t23 = (t23 + 1);
t10 = (t7 + 12U);
*((unsigned int *)t10) = t23;
t4 = xsi_base_array_concat(t4, t14, t6, (char)97, t1, t15, (char)99, (unsigned char)2, (char)101);
t23 = (15U + 1U);
t2 = (16U != t23);
if (t2 == 1)
goto LAB17;
LAB18: t10 = (t0 + 6648);
t11 = (t10 + 56U);
t12 = *((char **)t11);
t13 = (t12 + 56U);
t18 = *((char **)t13);
memcpy(t18, t4, 16U);
xsi_driver_first_trans_fast(t10);
xsi_set_current_line(105, ng0);
t1 = (t0 + 1992U);
t3 = *((char **)t1);
t1 = (t0 + 10416U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t14, t3, t1, 1);
t6 = (t14 + 12U);
t17 = *((unsigned int *)t6);
t21 = (1U * t17);
t2 = (4U != t21);
if (t2 == 1)
goto LAB19;
LAB20: t7 = (t0 + 6584);
t10 = (t7 + 56U);
t11 = *((char **)t10);
t12 = (t11 + 56U);
t13 = *((char **)t12);
memcpy(t13, t4, 4U);
xsi_driver_first_trans_fast(t7);
LAB15: goto LAB5;
LAB8: xsi_set_current_line(109, ng0);
t1 = (t0 + 6520);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t6 = (t4 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB5;
LAB9: xsi_set_current_line(92, ng0);
t6 = (t0 + 6520);
t10 = (t6 + 56U);
t11 = *((char **)t10);
t12 = (t11 + 56U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)1;
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(93, ng0);
t1 = xsi_get_transient_memory(4U);
memset(t1, 0, 4U);
t3 = t1;
memset(t3, (unsigned char)2, 4U);
t4 = (t0 + 6584);
t6 = (t4 + 56U);
t7 = *((char **)t6);
t10 = (t7 + 56U);
t11 = *((char **)t10);
memcpy(t11, t1, 4U);
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(94, ng0);
t1 = (t0 + 10576);
t4 = (t0 + 2312U);
t6 = *((char **)t4);
t7 = ((IEEE_P_2592010699) + 4024);
t10 = (t15 + 0U);
t11 = (t10 + 0U);
*((int *)t11) = 0;
t11 = (t10 + 4U);
*((int *)t11) = 3;
t11 = (t10 + 8U);
*((int *)t11) = 1;
t16 = (3 - 0);
t17 = (t16 * 1);
t17 = (t17 + 1);
t11 = (t10 + 12U);
*((unsigned int *)t11) = t17;
t11 = (t0 + 10432U);
t4 = xsi_base_array_concat(t4, t14, t7, (char)97, t1, t15, (char)97, t6, t11, (char)101);
t17 = (4U + 12U);
t2 = (16U != t17);
if (t2 == 1)
goto LAB12;
LAB13: t12 = (t0 + 6648);
t13 = (t12 + 56U);
t18 = *((char **)t13);
t19 = (t18 + 56U);
t20 = *((char **)t19);
memcpy(t20, t4, 16U);
xsi_driver_first_trans_fast(t12);
goto LAB10;
LAB12: xsi_size_not_matching(16U, t17, 0);
goto LAB13;
LAB14: xsi_set_current_line(101, ng0);
t10 = (t0 + 6520);
t11 = (t10 + 56U);
t12 = *((char **)t11);
t13 = (t12 + 56U);
t18 = *((char **)t13);
*((unsigned char *)t18) = (unsigned char)0;
xsi_driver_first_trans_fast(t10);
goto LAB15;
LAB17: xsi_size_not_matching(16U, t23, 0);
goto LAB18;
LAB19: xsi_size_not_matching(4U, t21, 0);
goto LAB20;
}
static void work_a_2687124937_2372691052_p_4(char *t0)
{
char t3[16];
char *t1;
char *t2;
char *t4;
double t5;
char *t6;
double t7;
char *t8;
double t9;
double t10;
char *t11;
double t12;
double t13;
double t14;
double t15;
char *t16;
double t17;
double t18;
int t19;
unsigned char t20;
unsigned char t21;
double t22;
double t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t28;
int64 t29;
int64 t30;
LAB0: t1 = (t0 + 5664U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(120, ng0);
LAB4:
LAB5: xsi_set_current_line(121, ng0);
t2 = (t0 + 3448U);
t4 = *((char **)t2);
t5 = *((double *)t4);
t2 = ((IEEE_P_3972351953) + 1528U);
t6 = *((char **)t2);
t7 = *((double *)t6);
t2 = (t0 + 3328U);
t8 = *((char **)t2);
t9 = *((double *)t8);
t10 = (t7 * t9);
t2 = (t0 + 3688U);
t11 = *((char **)t2);
t12 = *((double *)t11);
t13 = (t10 * t12);
t14 = ieee_p_3972351953_sub_1485185913_2984157535(IEEE_P_3972351953, t13);
t15 = (t5 * t14);
t2 = (t0 + 2632U);
t16 = *((char **)t2);
t17 = *((double *)t16);
t18 = (t15 + t17);
t20 = (t18 >= 0);
if (t20 == 1)
goto LAB8;
LAB9: t23 = (t18 - 0.50000000000000000);
t19 = ((int)(t23));
LAB10: t2 = ieee_p_1242562249_sub_2563015576_1035706684(IEEE_P_1242562249, t3, t19, 12);
t24 = (t0 + 6712);
t25 = (t24 + 56U);
t26 = *((char **)t25);
t27 = (t26 + 56U);
t28 = *((char **)t27);
memcpy(t28, t2, 12U);
xsi_driver_first_trans_fast(t24);
xsi_set_current_line(124, ng0);
t2 = (t0 + 3568U);
t4 = *((char **)t2);
t5 = *((double *)t4);
t7 = xsi_vhdl_pow_double(10.000000000000000, 9);
t9 = (t5 * t7);
t20 = (t9 >= 0);
if (t20 == 1)
goto LAB16;
LAB17: t12 = (t9 - 0.50000000000000000);
t19 = ((int)(t12));
LAB18: t29 = (1 * 1000LL);
t30 = (t19 * t29);
t2 = (t0 + 5472);
xsi_process_wait(t2, t30);
LAB15: *((char **)t1) = &&LAB21;
LAB1: return;
LAB6:;
LAB7: goto LAB2;
LAB8: t21 = (t18 >= 2147483647);
if (t21 == 1)
goto LAB11;
LAB12: t22 = (t18 + 0.50000000000000000);
t19 = ((int)(t22));
goto LAB10;
LAB11: t19 = 2147483647;
goto LAB10;
LAB13: xsi_set_current_line(125, ng0);
t2 = (t0 + 3688U);
t4 = *((char **)t2);
t5 = *((double *)t4);
t2 = (t0 + 3568U);
t6 = *((char **)t2);
t7 = *((double *)t6);
t9 = (t5 + t7);
t2 = (t0 + 3688U);
t8 = *((char **)t2);
t2 = (t8 + 0);
*((double *)t2) = t9;
goto LAB4;
LAB14: goto LAB13;
LAB16: t21 = (t9 >= 2147483647);
if (t21 == 1)
goto LAB19;
LAB20: t10 = (t9 + 0.50000000000000000);
t19 = ((int)(t10));
goto LAB18;
LAB19: t19 = 2147483647;
goto LAB18;
LAB21: goto LAB14;
}
static void work_a_3075867222_3212880686_p_0(char *t0)
{
char t12[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 int t13;
unsigned int t14;
unsigned char t15;
char *t16;
char *t17;
char *t18;
LAB0: xsi_set_current_line(26, ng0);
t1 = (t0 + 1352U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 3400);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(27, ng0);
t1 = xsi_get_transient_memory(2U);
memset(t1, 0, 2U);
t5 = t1;
memset(t5, (unsigned char)2, 2U);
t6 = (t0 + 3496);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 2U);
xsi_driver_first_trans_fast(t6);
goto LAB3;
LAB5: xsi_set_current_line(29, ng0);
t2 = (t0 + 1192U);
t5 = *((char **)t2);
t4 = *((unsigned char *)t5);
t11 = (t4 == (unsigned char)3);
if (t11 != 0)
goto LAB7;
LAB9:
LAB8: goto LAB3;
LAB7: xsi_set_current_line(30, ng0);
t2 = (t0 + 1672U);
t6 = *((char **)t2);
t2 = (t0 + 5292U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t12, t6, t2, 1);
t8 = (t12 + 12U);
t13 = *((unsigned int *)t8);
t14 = (1U * t13);
t15 = (2U != t14);
if (t15 == 1)
goto LAB10;
LAB11: t9 = (t0 + 3496);
t10 = (t9 + 56U);
t16 = *((char **)t10);
t17 = (t16 + 56U);
t18 = *((char **)t17);
memcpy(t18, t7, 2U);
xsi_driver_first_trans_fast(t9);
goto LAB8;
LAB10: xsi_size_not_matching(2U, t14, 0);
goto LAB11;
}
static void work_a_0194875085_3212880686_p_0(char *t0)
{
char t5[16];
char t10[16];
char t15[16];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
char *t7;
char *t8;
char *t9;
char *t11;
char *t12;
char *t13;
char *t14;
char *t16;
char *t17;
char *t18;
char *t19;
unsigned int t20;
unsigned int t21;
unsigned int t22;
int t23;
int t24;
unsigned char t25;
unsigned char t26;
unsigned char t27;
unsigned int t28;
int t29;
int t30;
int t31;
int t32;
unsigned char t33;
unsigned int t34;
unsigned int t35;
unsigned int t36;
LAB0: xsi_set_current_line(76, ng0);
t1 = xsi_get_transient_memory(8U);
memset(t1, 0, 8U);
t2 = t1;
memset(t2, (unsigned char)3, 8U);
t3 = (t0 + 3052U);
t4 = *((char **)t3);
t3 = (t4 + 0);
memcpy(t3, t1, 8U);
xsi_set_current_line(77, ng0);
t1 = xsi_get_transient_memory(32U);
memset(t1, 0, 32U);
t2 = t1;
memset(t2, (unsigned char)2, 32U);
t3 = (t0 + 3120U);
t4 = *((char **)t3);
t3 = (t4 + 0);
memcpy(t3, t1, 32U);
xsi_set_current_line(79, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = (t0 + 684U);
t3 = *((char **)t1);
t4 = ((IEEE_P_2592010699) + 2332);
t6 = (t0 + 7532U);
t7 = (t0 + 7548U);
t1 = xsi_base_array_concat(t1, t5, t4, (char)97, t2, t6, (char)97, t3, t7, (char)101);
t8 = (t0 + 776U);
t9 = *((char **)t8);
t11 = ((IEEE_P_2592010699) + 2332);
t12 = (t0 + 7564U);
t8 = xsi_base_array_concat(t8, t10, t11, (char)97, t1, t5, (char)97, t9, t12, (char)101);
t13 = (t0 + 868U);
t14 = *((char **)t13);
t16 = ((IEEE_P_2592010699) + 2332);
t17 = (t0 + 7580U);
t13 = xsi_base_array_concat(t13, t15, t16, (char)97, t8, t10, (char)97, t14, t17, (char)101);
t18 = (t0 + 2236U);
t19 = *((char **)t18);
t18 = (t19 + 0);
t20 = (8U + 8U);
t21 = (t20 + 8U);
t22 = (t21 + 8U);
memcpy(t18, t13, t22);
xsi_set_current_line(80, ng0);
t1 = (t0 + 960U);
t2 = *((char **)t1);
t1 = (t0 + 1052U);
t3 = *((char **)t1);
t4 = ((IEEE_P_2592010699) + 2332);
t6 = (t0 + 7596U);
t7 = (t0 + 7612U);
t1 = xsi_base_array_concat(t1, t5, t4, (char)97, t2, t6, (char)97, t3, t7, (char)101);
t8 = (t0 + 1144U);
t9 = *((char **)t8);
t11 = ((IEEE_P_2592010699) + 2332);
t12 = (t0 + 7628U);
t8 = xsi_base_array_concat(t8, t10, t11, (char)97, t1, t5, (char)97, t9, t12, (char)101);
t13 = (t0 + 1236U);
t14 = *((char **)t13);
t16 = ((IEEE_P_2592010699) + 2332);
t17 = (t0 + 7644U);
t13 = xsi_base_array_concat(t13, t15, t16, (char)97, t8, t10, (char)97, t14, t17, (char)101);
t18 = (t0 + 2304U);
t19 = *((char **)t18);
t18 = (t19 + 0);
t20 = (8U + 8U);
t21 = (t20 + 8U);
t22 = (t21 + 8U);
memcpy(t18, t13, t22);
xsi_set_current_line(83, ng0);
t1 = (t0 + 2236U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 808U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 31);
t20 = (t24 * -1);
t21 = (1U * t20);
t22 = (0 + t21);
t1 = (t2 + t22);
t25 = *((unsigned char *)t1);
t4 = (t0 + 2372U);
t6 = *((char **)t4);
t4 = (t6 + 0);
*((unsigned char *)t4) = t25;
xsi_set_current_line(84, ng0);
t1 = (t0 + 2304U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 808U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 31);
t20 = (t24 * -1);
t21 = (1U * t20);
t22 = (0 + t21);
t1 = (t2 + t22);
t25 = *((unsigned char *)t1);
t4 = (t0 + 2440U);
t6 = *((char **)t4);
t4 = (t6 + 0);
*((unsigned char *)t4) = t25;
xsi_set_current_line(87, ng0);
t1 = (t0 + 2236U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 808U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 1);
t20 = (31 - t24);
t21 = (t20 * 1U);
t22 = (0 + t21);
t1 = (t2 + t22);
t4 = (t0 + 2508U);
t6 = *((char **)t4);
t4 = (t6 + 0);
memcpy(t4, t1, 8U);
xsi_set_current_line(88, ng0);
t1 = (t0 + 2304U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 808U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 1);
t20 = (31 - t24);
t21 = (t20 * 1U);
t22 = (0 + t21);
t1 = (t2 + t22);
t4 = (t0 + 2576U);
t6 = *((char **)t4);
t4 = (t6 + 0);
memcpy(t4, t1, 8U);
xsi_set_current_line(92, ng0);
t1 = xsi_get_transient_memory(45U);
memset(t1, 0, 45U);
t2 = t1;
memset(t2, (unsigned char)2, 45U);
t3 = (t0 + 2644U);
t4 = *((char **)t3);
t3 = (t4 + 0);
memcpy(t3, t1, 45U);
xsi_set_current_line(93, ng0);
t1 = xsi_get_transient_memory(45U);
memset(t1, 0, 45U);
t2 = t1;
memset(t2, (unsigned char)2, 45U);
t3 = (t0 + 2712U);
t4 = *((char **)t3);
t3 = (t4 + 0);
memcpy(t3, t1, 45U);
xsi_set_current_line(102, ng0);
t1 = (t0 + 2236U);
t2 = *((char **)t1);
t1 = (t0 + 3120U);
t3 = *((char **)t1);
t1 = ((IEEE_P_2592010699) + 2332);
t26 = xsi_vhdl_greater(t1, t2, 32U, t3, 32U);
if (t26 == 1)
goto LAB5;
LAB6: t25 = (unsigned char)0;
LAB7: if (t25 != 0)
goto LAB2;
LAB4:
LAB3: xsi_set_current_line(105, ng0);
t1 = (t0 + 2304U);
t2 = *((char **)t1);
t1 = (t0 + 3120U);
t3 = *((char **)t1);
t1 = ((IEEE_P_2592010699) + 2332);
t26 = xsi_vhdl_greater(t1, t2, 32U, t3, 32U);
if (t26 == 1)
goto LAB11;
LAB12: t25 = (unsigned char)0;
LAB13: if (t25 != 0)
goto LAB8;
LAB10:
LAB9: xsi_set_current_line(118, ng0);
t1 = (t0 + 2508U);
t2 = *((char **)t1);
t1 = (t0 + 2576U);
t3 = *((char **)t1);
t1 = ((IEEE_P_2592010699) + 2332);
t25 = xsi_vhdl_greater(t1, t2, 8U, t3, 8U);
if (t25 != 0)
goto LAB14;
LAB16: xsi_set_current_line(128, ng0);
t1 = (t0 + 3188U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
xsi_set_current_line(129, ng0);
t1 = (t0 + 3256U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
xsi_set_current_line(131, ng0);
t1 = (t0 + 2576U);
t2 = *((char **)t1);
t1 = (t0 + 7772U);
t3 = (t0 + 2508U);
t4 = *((char **)t3);
t3 = (t0 + 7756U);
t6 = ieee_p_1242562249_sub_1547270861_1035706684(IEEE_P_1242562249, t5, t2, t1, t4, t3);
t23 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t6, t5);
t7 = (t0 + 3324U);
t8 = *((char **)t7);
t7 = (t8 + 0);
*((int *)t7) = t23;
xsi_set_current_line(133, ng0);
t1 = (t0 + 3324U);
t2 = *((char **)t1);
t23 = *((int *)t2);
t24 = (t23 - 1);
t1 = (t0 + 8288);
*((int *)t1) = 0;
t3 = (t0 + 8292);
*((int *)t3) = t24;
t29 = 0;
t30 = t24;
LAB22: if (t29 <= t30)
goto LAB23;
LAB25:
LAB15: xsi_set_current_line(142, ng0);
t1 = (t0 + 2508U);
t2 = *((char **)t1);
t1 = (t0 + 2576U);
t3 = *((char **)t1);
t25 = 1;
if (8U == 8U)
goto LAB30;
LAB31: t25 = 0;
LAB32: if (t25 != 0)
goto LAB27;
LAB29:
LAB28: xsi_set_current_line(151, ng0);
t1 = (t0 + 3188U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t26 = (t25 == (unsigned char)3);
if (t26 != 0)
goto LAB39;
LAB41: xsi_set_current_line(154, ng0);
t1 = (t0 + 2576U);
t2 = *((char **)t1);
t1 = (t0 + 2984U);
t3 = *((char **)t1);
t1 = (t3 + 0);
memcpy(t1, t2, 8U);
LAB40: xsi_set_current_line(166, ng0);
t1 = (t0 + 1972U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t26 = (t25 == (unsigned char)3);
if (t26 != 0)
goto LAB42;
LAB44:
LAB43: xsi_set_current_line(170, ng0);
t1 = (t0 + 2372U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t1 = (t0 + 2440U);
t3 = *((char **)t1);
t26 = *((unsigned char *)t3);
t27 = (t25 == t26);
if (t27 != 0)
goto LAB45;
LAB47: xsi_set_current_line(173, ng0);
t1 = (t0 + 3256U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t26 = (t25 == (unsigned char)3);
if (t26 != 0)
goto LAB48;
LAB50: xsi_set_current_line(176, ng0);
t1 = (t0 + 2440U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t1 = (t0 + 2916U);
t3 = *((char **)t1);
t1 = (t3 + 0);
*((unsigned char *)t1) = t25;
LAB49:
LAB46: xsi_set_current_line(185, ng0);
t1 = (t0 + 2644U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t20 = (44 - t23);
t21 = (t20 * 1U);
t22 = (0 + t21);
t1 = (t2 + t22);
t6 = ((IEEE_P_2592010699) + 2332);
t7 = (t10 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 44;
t8 = (t7 + 4U);
*((int *)t8) = 1;
t8 = (t7 + 8U);
*((int *)t8) = -1;
t24 = (1 - 44);
t28 = (t24 * -1);
t28 = (t28 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t28;
t4 = xsi_base_array_concat(t4, t5, t6, (char)99, (unsigned char)2, (char)97, t1, t10, (char)101);
t8 = (t0 + 2644U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t28 = (1U + 44U);
memcpy(t8, t4, t28);
xsi_set_current_line(186, ng0);
t1 = (t0 + 2712U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t20 = (44 - t23);
t21 = (t20 * 1U);
t22 = (0 + t21);
t1 = (t2 + t22);
t6 = ((IEEE_P_2592010699) + 2332);
t7 = (t10 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 44;
t8 = (t7 + 4U);
*((int *)t8) = 1;
t8 = (t7 + 8U);
*((int *)t8) = -1;
t24 = (1 - 44);
t28 = (t24 * -1);
t28 = (t28 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t28;
t4 = xsi_base_array_concat(t4, t5, t6, (char)99, (unsigned char)2, (char)97, t1, t10, (char)101);
t8 = (t0 + 2712U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t28 = (1U + 44U);
memcpy(t8, t4, t28);
xsi_set_current_line(189, ng0);
t1 = (t0 + 2644U);
t2 = *((char **)t1);
t1 = (t0 + 4120);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t6 = (t4 + 40U);
t7 = *((char **)t6);
memcpy(t7, t2, 45U);
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(190, ng0);
t1 = (t0 + 2712U);
t2 = *((char **)t1);
t1 = (t0 + 4156);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t6 = (t4 + 40U);
t7 = *((char **)t6);
memcpy(t7, t2, 45U);
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(195, ng0);
t1 = (t0 + 2372U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t1 = (t0 + 2440U);
t3 = *((char **)t1);
t26 = *((unsigned char *)t3);
t27 = (t25 == t26);
if (t27 != 0)
goto LAB51;
LAB53: xsi_set_current_line(205, ng0);
t1 = (t0 + 3256U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t26 = (t25 == (unsigned char)3);
if (t26 != 0)
goto LAB60;
LAB62: xsi_set_current_line(208, ng0);
t1 = (t0 + 2712U);
t2 = *((char **)t1);
t1 = (t0 + 7804U);
t3 = (t0 + 2644U);
t4 = *((char **)t3);
t3 = (t0 + 7788U);
t6 = ieee_p_1242562249_sub_1547270861_1035706684(IEEE_P_1242562249, t5, t2, t1, t4, t3);
t7 = (t0 + 2780U);
t8 = *((char **)t7);
t7 = (t8 + 0);
t9 = (t5 + 12U);
t20 = *((unsigned int *)t9);
t21 = (1U * t20);
memcpy(t7, t6, t21);
LAB61: xsi_set_current_line(210, ng0);
LAB63: t1 = (t0 + 2780U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 1);
t29 = (t24 - 44);
t20 = (t29 * -1);
t21 = (1U * t20);
t22 = (0 + t21);
t1 = (t2 + t22);
t26 = *((unsigned char *)t1);
t27 = (t26 == (unsigned char)2);
if (t27 == 1)
goto LAB67;
LAB68: t25 = (unsigned char)0;
LAB69: if (t25 != 0)
goto LAB64;
LAB66:
LAB52: xsi_set_current_line(219, ng0);
t1 = (t0 + 2984U);
t2 = *((char **)t1);
t1 = (t0 + 3052U);
t3 = *((char **)t1);
t25 = 1;
if (8U == 8U)
goto LAB73;
LAB74: t25 = 0;
LAB75: if (t25 != 0)
goto LAB70;
LAB72:
LAB71: xsi_set_current_line(224, ng0);
t1 = (t0 + 2916U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t1 = (t0 + 2984U);
t3 = *((char **)t1);
t4 = ((IEEE_P_2592010699) + 2332);
t6 = (t0 + 7852U);
t1 = xsi_base_array_concat(t1, t5, t4, (char)99, t25, (char)97, t3, t6, (char)101);
t7 = (t0 + 2780U);
t8 = *((char **)t7);
t7 = ((WORK_P_0453171477) + 944U);
t9 = *((char **)t7);
t23 = *((int *)t9);
t24 = (t23 - 2);
t20 = (44 - t24);
t21 = (t20 * 1U);
t22 = (0 + t21);
t7 = (t8 + t22);
t12 = ((IEEE_P_2592010699) + 2332);
t13 = (t15 + 0U);
t14 = (t13 + 0U);
*((int *)t14) = 42;
t14 = (t13 + 4U);
*((int *)t14) = 0;
t14 = (t13 + 8U);
*((int *)t14) = -1;
t29 = (0 - 42);
t28 = (t29 * -1);
t28 = (t28 + 1);
t14 = (t13 + 12U);
*((unsigned int *)t14) = t28;
t11 = xsi_base_array_concat(t11, t10, t12, (char)97, t1, t5, (char)97, t7, t15, (char)101);
t14 = (t0 + 2848U);
t16 = *((char **)t14);
t14 = (t16 + 0);
t28 = (1U + 8U);
t34 = (t28 + 43U);
memcpy(t14, t11, t34);
xsi_set_current_line(232, ng0);
t1 = (t0 + 2848U);
t2 = *((char **)t1);
t1 = (t0 + 4192);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t6 = (t4 + 40U);
t7 = *((char **)t6);
memcpy(t7, t2, 32U);
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(233, ng0);
t1 = (t0 + 2780U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 44);
t20 = (t24 * -1);
t21 = (1U * t20);
t22 = (0 + t21);
t1 = (t2 + t22);
t25 = *((unsigned char *)t1);
t4 = (t0 + 4228);
t6 = (t4 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 40U);
t9 = *((char **)t8);
*((unsigned char *)t9) = t25;
xsi_driver_first_trans_fast_port(t4);
xsi_set_current_line(234, ng0);
t1 = (t0 + 2984U);
t2 = *((char **)t1);
t1 = (t0 + 4264);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t6 = (t4 + 40U);
t7 = *((char **)t6);
memcpy(t7, t2, 8U);
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(235, ng0);
t1 = (t0 + 2916U);
t2 = *((char **)t1);
t25 = *((unsigned char *)t2);
t1 = (t0 + 4300);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t6 = (t4 + 40U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t25;
xsi_driver_first_trans_fast_port(t1);
t1 = (t0 + 4076);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(103, ng0);
t8 = (t0 + 2236U);
t9 = *((char **)t8);
t8 = ((WORK_P_0453171477) + 740U);
t11 = *((char **)t8);
t23 = *((int *)t11);
t20 = (31 - t23);
t21 = (t20 * 1U);
t22 = (0 + t21);
t8 = (t9 + t22);
t13 = ((IEEE_P_2592010699) + 2332);
t14 = (t10 + 0U);
t16 = (t14 + 0U);
*((int *)t16) = 22;
t16 = (t14 + 4U);
*((int *)t16) = 0;
t16 = (t14 + 8U);
*((int *)t16) = -1;
t24 = (0 - 22);
t28 = (t24 * -1);
t28 = (t28 + 1);
t16 = (t14 + 12U);
*((unsigned int *)t16) = t28;
t12 = xsi_base_array_concat(t12, t5, t13, (char)99, (unsigned char)3, (char)97, t8, t10, (char)101);
t16 = (t0 + 2644U);
t17 = *((char **)t16);
t16 = (t17 + 0);
t28 = (1U + 23U);
memcpy(t16, t12, t28);
goto LAB3;
LAB5: t4 = (t0 + 2508U);
t6 = *((char **)t4);
t4 = (t0 + 3120U);
t7 = *((char **)t4);
t4 = ((IEEE_P_2592010699) + 2332);
t27 = xsi_vhdl_greater(t4, t6, 8U, t7, 32U);
t25 = t27;
goto LAB7;
LAB8: xsi_set_current_line(106, ng0);
t8 = (t0 + 2304U);
t9 = *((char **)t8);
t8 = ((WORK_P_0453171477) + 740U);
t11 = *((char **)t8);
t23 = *((int *)t11);
t20 = (31 - t23);
t21 = (t20 * 1U);
t22 = (0 + t21);
t8 = (t9 + t22);
t13 = ((IEEE_P_2592010699) + 2332);
t14 = (t10 + 0U);
t16 = (t14 + 0U);
*((int *)t16) = 22;
t16 = (t14 + 4U);
*((int *)t16) = 0;
t16 = (t14 + 8U);
*((int *)t16) = -1;
t24 = (0 - 22);
t28 = (t24 * -1);
t28 = (t28 + 1);
t16 = (t14 + 12U);
*((unsigned int *)t16) = t28;
t12 = xsi_base_array_concat(t12, t5, t13, (char)99, (unsigned char)3, (char)97, t8, t10, (char)101);
t16 = (t0 + 2712U);
t17 = *((char **)t16);
t16 = (t17 + 0);
t28 = (1U + 23U);
memcpy(t16, t12, t28);
goto LAB9;
LAB11: t4 = (t0 + 2576U);
t6 = *((char **)t4);
t4 = (t0 + 3120U);
t7 = *((char **)t4);
t4 = ((IEEE_P_2592010699) + 2332);
t27 = xsi_vhdl_greater(t4, t6, 8U, t7, 32U);
t25 = t27;
goto LAB13;
LAB14: xsi_set_current_line(119, ng0);
t4 = (t0 + 3188U);
t6 = *((char **)t4);
t4 = (t6 + 0);
*((unsigned char *)t4) = (unsigned char)3;
xsi_set_current_line(120, ng0);
t1 = (t0 + 3256U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)3;
xsi_set_current_line(122, ng0);
t1 = (t0 + 2508U);
t2 = *((char **)t1);
t1 = (t0 + 7756U);
t3 = (t0 + 2576U);
t4 = *((char **)t3);
t3 = (t0 + 7772U);
t6 = ieee_p_1242562249_sub_1547270861_1035706684(IEEE_P_1242562249, t5, t2, t1, t4, t3);
t23 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t6, t5);
t7 = (t0 + 3324U);
t8 = *((char **)t7);
t7 = (t8 + 0);
*((int *)t7) = t23;
xsi_set_current_line(124, ng0);
t1 = (t0 + 3324U);
t2 = *((char **)t1);
t23 = *((int *)t2);
t24 = (t23 - 1);
t1 = (t0 + 8280);
*((int *)t1) = 0;
t3 = (t0 + 8284);
*((int *)t3) = t24;
t29 = 0;
t30 = t24;
LAB17: if (t29 <= t30)
goto LAB18;
LAB20: goto LAB15;
LAB18: xsi_set_current_line(125, ng0);
t4 = (t0 + 2712U);
t6 = *((char **)t4);
t4 = ((WORK_P_0453171477) + 944U);
t7 = *((char **)t4);
t31 = *((int *)t7);
t20 = (44 - t31);
t21 = (t20 * 1U);
t22 = (0 + t21);
t4 = (t6 + t22);
t9 = ((IEEE_P_2592010699) + 2332);
t11 = (t10 + 0U);
t12 = (t11 + 0U);
*((int *)t12) = 44;
t12 = (t11 + 4U);
*((int *)t12) = 1;
t12 = (t11 + 8U);
*((int *)t12) = -1;
t32 = (1 - 44);
t28 = (t32 * -1);
t28 = (t28 + 1);
t12 = (t11 + 12U);
*((unsigned int *)t12) = t28;
t8 = xsi_base_array_concat(t8, t5, t9, (char)99, (unsigned char)2, (char)97, t4, t10, (char)101);
t12 = (t0 + 2712U);
t13 = *((char **)t12);
t12 = (t13 + 0);
t28 = (1U + 44U);
memcpy(t12, t8, t28);
LAB19: t1 = (t0 + 8280);
t29 = *((int *)t1);
t2 = (t0 + 8284);
t30 = *((int *)t2);
if (t29 == t30)
goto LAB20;
LAB21: t23 = (t29 + 1);
t29 = t23;
t3 = (t0 + 8280);
*((int *)t3) = t29;
goto LAB17;
LAB23: xsi_set_current_line(134, ng0);
t4 = (t0 + 2644U);
t6 = *((char **)t4);
t4 = ((WORK_P_0453171477) + 944U);
t7 = *((char **)t4);
t31 = *((int *)t7);
t20 = (44 - t31);
t21 = (t20 * 1U);
t22 = (0 + t21);
t4 = (t6 + t22);
t9 = ((IEEE_P_2592010699) + 2332);
t11 = (t10 + 0U);
t12 = (t11 + 0U);
*((int *)t12) = 44;
t12 = (t11 + 4U);
*((int *)t12) = 1;
t12 = (t11 + 8U);
*((int *)t12) = -1;
t32 = (1 - 44);
t28 = (t32 * -1);
t28 = (t28 + 1);
t12 = (t11 + 12U);
*((unsigned int *)t12) = t28;
t8 = xsi_base_array_concat(t8, t5, t9, (char)99, (unsigned char)2, (char)97, t4, t10, (char)101);
t12 = (t0 + 2644U);
t13 = *((char **)t12);
t12 = (t13 + 0);
t28 = (1U + 44U);
memcpy(t12, t8, t28);
LAB24: t1 = (t0 + 8288);
t29 = *((int *)t1);
t2 = (t0 + 8292);
t30 = *((int *)t2);
if (t29 == t30)
goto LAB25;
LAB26: t23 = (t29 + 1);
t29 = t23;
t3 = (t0 + 8288);
*((int *)t3) = t29;
goto LAB22;
LAB27: xsi_set_current_line(143, ng0);
t6 = (t0 + 2644U);
t7 = *((char **)t6);
t6 = (t0 + 2712U);
t8 = *((char **)t6);
t6 = ((IEEE_P_2592010699) + 2332);
t26 = xsi_vhdl_greater(t6, t7, 45U, t8, 45U);
if (t26 != 0)
goto LAB36;
LAB38: xsi_set_current_line(146, ng0);
t1 = (t0 + 3256U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
LAB37: goto LAB28;
LAB30: t20 = 0;
LAB33: if (t20 < 8U)
goto LAB34;
else
goto LAB32;
LAB34: t1 = (t2 + t20);
t4 = (t3 + t20);
if (*((unsigned char *)t1) != *((unsigned char *)t4))
goto LAB31;
LAB35: t20 = (t20 + 1);
goto LAB33;
LAB36: xsi_set_current_line(144, ng0);
t9 = (t0 + 3256U);
t11 = *((char **)t9);
t9 = (t11 + 0);
*((unsigned char *)t9) = (unsigned char)3;
goto LAB37;
LAB39: xsi_set_current_line(152, ng0);
t1 = (t0 + 2508U);
t3 = *((char **)t1);
t1 = (t0 + 2984U);
t4 = *((char **)t1);
t1 = (t4 + 0);
memcpy(t1, t3, 8U);
goto LAB40;
LAB42: xsi_set_current_line(167, ng0);
t1 = (t0 + 2440U);
t3 = *((char **)t1);
t27 = *((unsigned char *)t3);
t33 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t27);
t1 = (t0 + 2440U);
t4 = *((char **)t1);
t1 = (t4 + 0);
*((unsigned char *)t1) = t33;
goto LAB43;
LAB45: xsi_set_current_line(171, ng0);
t1 = (t0 + 2372U);
t4 = *((char **)t1);
t33 = *((unsigned char *)t4);
t1 = (t0 + 2916U);
t6 = *((char **)t1);
t1 = (t6 + 0);
*((unsigned char *)t1) = t33;
goto LAB46;
LAB48: xsi_set_current_line(174, ng0);
t1 = (t0 + 2372U);
t3 = *((char **)t1);
t27 = *((unsigned char *)t3);
t1 = (t0 + 2916U);
t4 = *((char **)t1);
t1 = (t4 + 0);
*((unsigned char *)t1) = t27;
goto LAB49;
LAB51: xsi_set_current_line(196, ng0);
t1 = (t0 + 2644U);
t4 = *((char **)t1);
t1 = (t0 + 7788U);
t6 = (t0 + 2712U);
t7 = *((char **)t6);
t6 = (t0 + 7804U);
t8 = ieee_p_1242562249_sub_1547198987_1035706684(IEEE_P_1242562249, t5, t4, t1, t7, t6);
t9 = (t0 + 2780U);
t11 = *((char **)t9);
t9 = (t11 + 0);
t12 = (t5 + 12U);
t20 = *((unsigned int *)t12);
t21 = (1U * t20);
memcpy(t9, t8, t21);
xsi_set_current_line(198, ng0);
t1 = (t0 + 2780U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 44);
t20 = (t24 * -1);
t21 = (1U * t20);
t22 = (0 + t21);
t1 = (t2 + t22);
t25 = *((unsigned char *)t1);
t26 = (t25 == (unsigned char)3);
if (t26 != 0)
goto LAB54;
LAB56:
LAB55: goto LAB52;
LAB54: xsi_set_current_line(199, ng0);
t4 = (t0 + 2984U);
t6 = *((char **)t4);
t4 = (t0 + 3052U);
t7 = *((char **)t4);
t4 = ((IEEE_P_2592010699) + 2332);
t27 = xsi_vhdl_lessthan(t4, t6, 8U, t7, 8U);
if (t27 != 0)
goto LAB57;
LAB59:
LAB58: goto LAB55;
LAB57: xsi_set_current_line(200, ng0);
t8 = (t0 + 2984U);
t9 = *((char **)t8);
t8 = (t0 + 7852U);
t11 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t5, t9, t8, 1);
t12 = (t0 + 2984U);
t13 = *((char **)t12);
t12 = (t13 + 0);
t14 = (t5 + 12U);
t28 = *((unsigned int *)t14);
t34 = (1U * t28);
memcpy(t12, t11, t34);
xsi_set_current_line(201, ng0);
t1 = (t0 + 2780U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t20 = (44 - t23);
t21 = (t20 * 1U);
t22 = (0 + t21);
t1 = (t2 + t22);
t6 = ((IEEE_P_2592010699) + 2332);
t7 = (t10 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 44;
t8 = (t7 + 4U);
*((int *)t8) = 1;
t8 = (t7 + 8U);
*((int *)t8) = -1;
t24 = (1 - 44);
t28 = (t24 * -1);
t28 = (t28 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t28;
t4 = xsi_base_array_concat(t4, t5, t6, (char)99, (unsigned char)3, (char)97, t1, t10, (char)101);
t8 = (t0 + 2780U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t28 = (1U + 44U);
memcpy(t8, t4, t28);
goto LAB58;
LAB60: xsi_set_current_line(206, ng0);
t1 = (t0 + 2644U);
t3 = *((char **)t1);
t1 = (t0 + 7788U);
t4 = (t0 + 2712U);
t6 = *((char **)t4);
t4 = (t0 + 7804U);
t7 = ieee_p_1242562249_sub_1547270861_1035706684(IEEE_P_1242562249, t5, t3, t1, t6, t4);
t8 = (t0 + 2780U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t11 = (t5 + 12U);
t20 = *((unsigned int *)t11);
t21 = (1U * t20);
memcpy(t8, t7, t21);
goto LAB61;
LAB64: xsi_set_current_line(211, ng0);
t12 = (t0 + 2984U);
t13 = *((char **)t12);
t12 = (t0 + 7852U);
t14 = ieee_p_1242562249_sub_1919437128_1035706684(IEEE_P_1242562249, t10, t13, t12, 1);
t16 = (t0 + 2984U);
t17 = *((char **)t16);
t16 = (t17 + 0);
t18 = (t10 + 12U);
t35 = *((unsigned int *)t18);
t36 = (1U * t35);
memcpy(t16, t14, t36);
xsi_set_current_line(212, ng0);
t1 = (t0 + 2780U);
t2 = *((char **)t1);
t1 = ((WORK_P_0453171477) + 944U);
t3 = *((char **)t1);
t23 = *((int *)t3);
t24 = (t23 - 1);
t20 = (44 - t24);
t21 = (t20 * 1U);
t22 = (0 + t21);
t1 = (t2 + t22);
t6 = ((IEEE_P_2592010699) + 2332);
t7 = (t10 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 43;
t8 = (t7 + 4U);
*((int *)t8) = 0;
t8 = (t7 + 8U);
*((int *)t8) = -1;
t29 = (0 - 43);
t28 = (t29 * -1);
t28 = (t28 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t28;
t4 = xsi_base_array_concat(t4, t5, t6, (char)97, t1, t10, (char)99, (unsigned char)2, (char)101);
t8 = (t0 + 2780U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t28 = (44U + 1U);
memcpy(t8, t4, t28);
goto LAB63;
LAB65:;
LAB67: t4 = (t0 + 2984U);
t6 = *((char **)t4);
t4 = (t0 + 3052U);
t7 = *((char **)t4);
t4 = (t0 + 7868U);
t8 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t5, t7, t4);
t9 = (t5 + 12U);
t28 = *((unsigned int *)t9);
t34 = (1U * t28);
t11 = ((IEEE_P_2592010699) + 2332);
t33 = xsi_vhdl_greater(t11, t6, 8U, t8, t34);
t25 = t33;
goto LAB69;
LAB70: xsi_set_current_line(220, ng0);
t6 = xsi_get_transient_memory(45U);
memset(t6, 0, 45U);
t7 = t6;
memset(t7, (unsigned char)2, 45U);
t8 = (t0 + 2780U);
t9 = *((char **)t8);
t8 = (t9 + 0);
memcpy(t8, t6, 45U);
goto LAB71;
LAB73: t20 = 0;
LAB76: if (t20 < 8U)
goto LAB77;
else
goto LAB75;
LAB77: t1 = (t2 + t20);
t4 = (t3 + t20);
if (*((unsigned char *)t1) != *((unsigned char *)t4))
goto LAB74;
LAB78: t20 = (t20 + 1);
goto LAB76;
}
static void work_a_0438080501_3212880686_p_0(char *t0)
{
char t11[16];
char t20[16];
char t21[16];
char t24[16];
char t25[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 t12;
unsigned char t13;
unsigned char t14;
unsigned char t15;
char *t16;
char *t17;
char *t18;
unsigned int t19;
char *t22;
char *t23;
static char *nl0[] = {&&LAB11, &&LAB12, &&LAB13, &&LAB14, &&LAB15};
LAB0: xsi_set_current_line(45, ng0);
t1 = (t0 + 776U);
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 + 2980);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(46, ng0);
t1 = xsi_get_transient_memory(16U);
memset(t1, 0, 16U);
t5 = t1;
memset(t5, (unsigned char)2, 16U);
t6 = (t0 + 3024);
t7 = (t6 + 32U);
t8 = *((char **)t7);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t1, 16U);
xsi_driver_first_trans_fast_port(t6);
xsi_set_current_line(47, ng0);
t1 = (t0 + 1888U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
xsi_set_current_line(48, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 8);
t2 = (t0 + 1956U);
t5 = *((char **)t2);
t2 = (t5 + 0);
memcpy(t2, t1, 8U);
xsi_set_current_line(49, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);
t2 = (t0 + 2024U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
xsi_set_current_line(50, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 32);
t2 = (t0 + 2092U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
xsi_set_current_line(51, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 32);
t2 = (t0 + 2228U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
xsi_set_current_line(52, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)0;
goto LAB3;
LAB5: xsi_set_current_line(54, ng0);
t2 = (t0 + 1820U);
t6 = *((char **)t2);
t15 = *((unsigned char *)t6);
t2 = (char *)((nl0) + t15);
goto **((char **)t2);
LAB7: t2 = (t0 + 592U);
t5 = *((char **)t2);
t13 = *((unsigned char *)t5);
t14 = (t13 == (unsigned char)3);
t3 = t14;
goto LAB9;
LAB10: goto LAB3;
LAB11: xsi_set_current_line(56, ng0);
t7 = (t0 + 6457);
t9 = (t0 + 3060);
t10 = (t9 + 32U);
t16 = *((char **)t10);
t17 = (t16 + 40U);
t18 = *((char **)t17);
memcpy(t18, t7, 2U);
xsi_driver_first_trans_fast_port(t9);
xsi_set_current_line(57, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);
t3 = (16U != 16U);
if (t3 == 1)
goto LAB17;
LAB18: t2 = (t0 + 3024);
t5 = (t2 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 40U);
t8 = *((char **)t7);
memcpy(t8, t1, 16U);
xsi_driver_first_trans_fast_port(t2);
xsi_set_current_line(58, ng0);
t1 = (t0 + 1236U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB19;
LAB21: xsi_set_current_line(62, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)0;
LAB20: goto LAB10;
LAB12: xsi_set_current_line(65, ng0);
t1 = (t0 + 2024U);
t2 = *((char **)t1);
t1 = (t0 + 6264U);
t3 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t2, t1, 3);
if (t3 != 0)
goto LAB22;
LAB24: xsi_set_current_line(71, ng0);
t1 = (t0 + 2024U);
t2 = *((char **)t1);
t1 = (t0 + 6264U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t11, t2, t1, 1);
t6 = (t0 + 2024U);
t7 = *((char **)t6);
t6 = (t7 + 0);
t8 = (t11 + 12U);
t12 = *((unsigned int *)t8);
t19 = (1U * t12);
memcpy(t6, t5, t19);
xsi_set_current_line(72, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)1;
LAB23: goto LAB10;
LAB13: xsi_set_current_line(75, ng0);
t1 = (t0 + 6459);
t5 = (t0 + 3060);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 40U);
t9 = *((char **)t8);
memcpy(t9, t1, 2U);
xsi_driver_first_trans_fast_port(t5);
xsi_set_current_line(76, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);
t2 = (t11 + 12U);
t12 = *((unsigned int *)t2);
t12 = (t12 * 1U);
t3 = (16U != t12);
if (t3 == 1)
goto LAB25;
LAB26: t5 = (t0 + 3024);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 40U);
t9 = *((char **)t8);
memcpy(t9, t1, 16U);
xsi_driver_first_trans_fast_port(t5);
xsi_set_current_line(77, ng0);
t1 = (t0 + 960U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB27;
LAB29: t1 = (t0 + 1052U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB30;
LAB31: xsi_set_current_line(82, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
LAB28: goto LAB10;
LAB14: xsi_set_current_line(86, ng0);
t1 = (t0 + 1052U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t13 = (t4 == (unsigned char)3);
if (t13 == 1)
goto LAB35;
LAB36: t3 = (unsigned char)0;
LAB37: if (t3 != 0)
goto LAB32;
LAB34: t1 = (t0 + 960U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t13 = (t4 == (unsigned char)2);
if (t13 == 1)
goto LAB40;
LAB41: t3 = (unsigned char)0;
LAB42: if (t3 != 0)
goto LAB38;
LAB39: xsi_set_current_line(94, ng0);
t1 = (t0 + 684U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t13 = (t4 == (unsigned char)3);
if (t13 == 1)
goto LAB46;
LAB47: t3 = (unsigned char)0;
LAB48: if (t3 != 0)
goto LAB43;
LAB45: t1 = (t0 + 684U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB49;
LAB50:
LAB44: xsi_set_current_line(101, ng0);
t1 = (t0 + 2024U);
t2 = *((char **)t1);
t1 = (t0 + 6264U);
t3 = ieee_p_1242562249_sub_3143221075_1035706684(IEEE_P_1242562249, t2, t1, 4000);
if (t3 != 0)
goto LAB51;
LAB53: xsi_set_current_line(107, ng0);
t1 = (t0 + 2024U);
t2 = *((char **)t1);
t1 = (t0 + 6264U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t11, t2, t1, 1);
t6 = (t0 + 2024U);
t7 = *((char **)t6);
t6 = (t7 + 0);
t8 = (t11 + 12U);
t12 = *((unsigned int *)t8);
t19 = (1U * t12);
memcpy(t6, t5, t19);
LAB52: xsi_set_current_line(109, ng0);
t1 = (t0 + 6465);
t5 = (t0 + 3060);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 40U);
t9 = *((char **)t8);
memcpy(t9, t1, 2U);
xsi_driver_first_trans_fast_port(t5);
xsi_set_current_line(110, ng0);
t1 = (t0 + 2228U);
t2 = *((char **)t1);
t1 = (t0 + 6312U);
t5 = ieee_p_1242562249_sub_2045698577_1035706684(IEEE_P_1242562249, t11, t2, t1, 16);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
t3 = (16U != t12);
if (t3 == 1)
goto LAB54;
LAB55: t7 = (t0 + 3024);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t16 = *((char **)t10);
memcpy(t16, t5, 16U);
xsi_driver_first_trans_fast_port(t7);
xsi_set_current_line(111, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)3;
LAB33: goto LAB10;
LAB15: xsi_set_current_line(114, ng0);
t1 = (t0 + 960U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t13 = (t4 == (unsigned char)3);
if (t13 == 1)
goto LAB59;
LAB60: t3 = (unsigned char)0;
LAB61: if (t3 != 0)
goto LAB56;
LAB58: t1 = (t0 + 960U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t13 = (t4 == (unsigned char)2);
if (t13 == 1)
goto LAB64;
LAB65: t3 = (unsigned char)0;
LAB66: if (t3 != 0)
goto LAB62;
LAB63: xsi_set_current_line(121, ng0);
t1 = (t0 + 684U);
t2 = *((char **)t1);
t4 = *((unsigned char *)t2);
t13 = (t4 == (unsigned char)3);
if (t13 == 1)
goto LAB70;
LAB71: t3 = (unsigned char)0;
LAB72: if (t3 != 0)
goto LAB67;
LAB69: t1 = (t0 + 684U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB73;
LAB74:
LAB68: xsi_set_current_line(128, ng0);
t1 = (t0 + 2024U);
t2 = *((char **)t1);
t1 = (t0 + 6264U);
t3 = ieee_p_1242562249_sub_3143221075_1035706684(IEEE_P_1242562249, t2, t1, 4000);
if (t3 != 0)
goto LAB75;
LAB77: xsi_set_current_line(134, ng0);
t1 = (t0 + 2024U);
t2 = *((char **)t1);
t1 = (t0 + 6264U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t11, t2, t1, 1);
t6 = (t0 + 2024U);
t7 = *((char **)t6);
t6 = (t7 + 0);
t8 = (t11 + 12U);
t12 = *((unsigned int *)t8);
t19 = (1U * t12);
memcpy(t6, t5, t19);
LAB76: xsi_set_current_line(136, ng0);
t1 = (t0 + 6469);
t5 = (t0 + 3060);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 40U);
t9 = *((char **)t8);
memcpy(t9, t1, 2U);
xsi_driver_first_trans_fast_port(t5);
xsi_set_current_line(137, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)4;
LAB57: goto LAB10;
LAB16: xsi_set_current_line(140, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)0;
goto LAB10;
LAB17: xsi_size_not_matching(16U, 16U, 0);
goto LAB18;
LAB19: xsi_set_current_line(59, ng0);
t1 = (t0 + 3096);
t5 = (t1 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 40U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(60, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)1;
goto LAB20;
LAB22: xsi_set_current_line(66, ng0);
t5 = (t0 + 1144U);
t6 = *((char **)t5);
t5 = (t0 + 2160U);
t7 = *((char **)t5);
t5 = (t7 + 0);
memcpy(t5, t6, 8U);
xsi_set_current_line(67, ng0);
t1 = (t0 + 3096);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 40U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(68, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
xsi_set_current_line(69, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);
t2 = (t0 + 2024U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
goto LAB23;
LAB25: xsi_size_not_matching(16U, t12, 0);
goto LAB26;
LAB27: xsi_set_current_line(78, ng0);
t1 = (t0 + 1820U);
t5 = *((char **)t1);
t1 = (t5 + 0);
*((unsigned char *)t1) = (unsigned char)3;
goto LAB28;
LAB30: xsi_set_current_line(80, ng0);
t1 = (t0 + 1820U);
t5 = *((char **)t1);
t1 = (t5 + 0);
*((unsigned char *)t1) = (unsigned char)4;
goto LAB28;
LAB32: xsi_set_current_line(87, ng0);
t1 = (t0 + 6461);
t7 = (t0 + 3060);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t16 = *((char **)t10);
memcpy(t16, t1, 2U);
xsi_driver_first_trans_fast_port(t7);
xsi_set_current_line(88, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)4;
goto LAB33;
LAB35: t1 = (t0 + 960U);
t5 = *((char **)t1);
t14 = *((unsigned char *)t5);
t15 = (t14 == (unsigned char)2);
t3 = t15;
goto LAB37;
LAB38: xsi_set_current_line(90, ng0);
t1 = (t0 + 6463);
t7 = (t0 + 3060);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t16 = *((char **)t10);
memcpy(t16, t1, 2U);
xsi_driver_first_trans_fast_port(t7);
xsi_set_current_line(91, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)2;
goto LAB33;
LAB40: t1 = (t0 + 1052U);
t5 = *((char **)t1);
t14 = *((unsigned char *)t5);
t15 = (t14 == (unsigned char)2);
t3 = t15;
goto LAB42;
LAB43: xsi_set_current_line(95, ng0);
t1 = (t0 + 1956U);
t6 = *((char **)t1);
t1 = (t0 + 6248U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t11, t6, t1, 1);
t8 = (t0 + 1956U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t10 = (t11 + 12U);
t12 = *((unsigned int *)t10);
t19 = (1U * t12);
memcpy(t8, t7, t19);
xsi_set_current_line(96, ng0);
t1 = (t0 + 1888U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)3;
goto LAB44;
LAB46: t1 = (t0 + 1888U);
t5 = *((char **)t1);
t14 = *((unsigned char *)t5);
t15 = (t14 == (unsigned char)2);
t3 = t15;
goto LAB48;
LAB49: xsi_set_current_line(98, ng0);
t1 = (t0 + 1888U);
t5 = *((char **)t1);
t1 = (t5 + 0);
*((unsigned char *)t1) = (unsigned char)2;
goto LAB44;
LAB51: xsi_set_current_line(102, ng0);
t5 = (t0 + 1956U);
t6 = *((char **)t5);
t5 = (t0 + 6248U);
t7 = (t0 + 2160U);
t8 = *((char **)t7);
t7 = (t0 + 6296U);
t9 = ieee_p_1242562249_sub_2053728113_1035706684(IEEE_P_1242562249, t21, t6, t5, t8, t7);
t10 = ieee_p_1242562249_sub_1919329317_1035706684(IEEE_P_1242562249, t20, t9, t21, 9);
t16 = ieee_p_1242562249_sub_1808404841_1035706684(IEEE_P_1242562249, t11, t10, t20, 1024);
t17 = (t0 + 2228U);
t18 = *((char **)t17);
t17 = (t18 + 0);
t22 = (t11 + 12U);
t12 = *((unsigned int *)t22);
t19 = (1U * t12);
memcpy(t17, t16, t19);
xsi_set_current_line(103, ng0);
t1 = (t0 + 2092U);
t2 = *((char **)t1);
t1 = (t0 + 6280U);
t5 = (t0 + 1956U);
t6 = *((char **)t5);
t5 = (t0 + 6248U);
t7 = (t0 + 2160U);
t8 = *((char **)t7);
t7 = (t0 + 6296U);
t9 = ieee_p_1242562249_sub_2053728113_1035706684(IEEE_P_1242562249, t20, t6, t5, t8, t7);
t10 = ieee_p_1242562249_sub_1547198987_1035706684(IEEE_P_1242562249, t11, t2, t1, t9, t20);
t16 = (t0 + 2092U);
t17 = *((char **)t16);
t16 = (t17 + 0);
t18 = (t11 + 12U);
t12 = *((unsigned int *)t18);
t19 = (1U * t12);
memcpy(t16, t10, t19);
xsi_set_current_line(104, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);
t2 = (t0 + 2024U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
xsi_set_current_line(105, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 8);
t2 = (t0 + 1956U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
goto LAB52;
LAB54: xsi_size_not_matching(16U, t12, 0);
goto LAB55;
LAB56: xsi_set_current_line(115, ng0);
t1 = (t0 + 6467);
t7 = (t0 + 3060);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t16 = *((char **)t10);
memcpy(t16, t1, 2U);
xsi_driver_first_trans_fast_port(t7);
xsi_set_current_line(116, ng0);
t1 = (t0 + 1820U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)3;
goto LAB57;
LAB59: t1 = (t0 + 1052U);
t5 = *((char **)t1);
t14 = *((unsigned char *)t5);
t15 = (t14 == (unsigned char)2);
t3 = t15;
goto LAB61;
LAB62: xsi_set_current_line(118, ng0);
t1 = (t0 + 1820U);
t6 = *((char **)t1);
t1 = (t6 + 0);
*((unsigned char *)t1) = (unsigned char)2;
goto LAB57;
LAB64: t1 = (t0 + 1052U);
t5 = *((char **)t1);
t14 = *((unsigned char *)t5);
t15 = (t14 == (unsigned char)2);
t3 = t15;
goto LAB66;
LAB67: xsi_set_current_line(122, ng0);
t1 = (t0 + 1956U);
t6 = *((char **)t1);
t1 = (t0 + 6248U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t11, t6, t1, 1);
t8 = (t0 + 1956U);
t9 = *((char **)t8);
t8 = (t9 + 0);
t10 = (t11 + 12U);
t12 = *((unsigned int *)t10);
t19 = (1U * t12);
memcpy(t8, t7, t19);
xsi_set_current_line(123, ng0);
t1 = (t0 + 1888U);
t2 = *((char **)t1);
t1 = (t2 + 0);
*((unsigned char *)t1) = (unsigned char)3;
goto LAB68;
LAB70: t1 = (t0 + 1888U);
t5 = *((char **)t1);
t14 = *((unsigned char *)t5);
t15 = (t14 == (unsigned char)2);
t3 = t15;
goto LAB72;
LAB73: xsi_set_current_line(125, ng0);
t1 = (t0 + 1888U);
t5 = *((char **)t1);
t1 = (t5 + 0);
*((unsigned char *)t1) = (unsigned char)2;
goto LAB68;
LAB75: xsi_set_current_line(129, ng0);
t5 = (t0 + 2092U);
t6 = *((char **)t5);
t5 = (t0 + 6280U);
t7 = (t0 + 1956U);
t8 = *((char **)t7);
t7 = (t0 + 6248U);
t9 = (t0 + 2160U);
t10 = *((char **)t9);
t9 = (t0 + 6296U);
t16 = ieee_p_1242562249_sub_2053728113_1035706684(IEEE_P_1242562249, t20, t8, t7, t10, t9);
t17 = ieee_p_1242562249_sub_1547198987_1035706684(IEEE_P_1242562249, t11, t6, t5, t16, t20);
t18 = (t0 + 2092U);
t22 = *((char **)t18);
t18 = (t22 + 0);
t23 = (t11 + 12U);
t12 = *((unsigned int *)t23);
t19 = (1U * t12);
memcpy(t18, t17, t19);
xsi_set_current_line(130, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);
t2 = (t0 + 2024U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
xsi_set_current_line(131, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 8);
t2 = (t0 + 1956U);
t5 = *((char **)t2);
t2 = (t5 + 0);
t6 = (t11 + 12U);
t12 = *((unsigned int *)t6);
t12 = (t12 * 1U);
memcpy(t2, t1, t12);
xsi_set_current_line(132, ng0);
t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t25, 1640, 16);
t2 = (t0 + 2092U);
t5 = *((char **)t2);
t2 = (t0 + 6280U);
t6 = ieee_p_1242562249_sub_2053728113_1035706684(IEEE_P_1242562249, t24, t1, t25, t5, t2);
t7 = ieee_p_1242562249_sub_1808404841_1035706684(IEEE_P_1242562249, t21, t6, t24, 4096);
t8 = ieee_p_1242562249_sub_1808404841_1035706684(IEEE_P_1242562249, t20, t7, t21, 4096);
t9 = ieee_p_1242562249_sub_2045698577_1035706684(IEEE_P_1242562249, t11, t8, t20, 16);
t10 = (t11 + 12U);
t12 = *((unsigned int *)t10);
t12 = (t12 * 1U);
t3 = (16U != t12);
if (t3 == 1)
goto LAB78;
LAB79: t16 = (t0 + 3024);
t17 = (t16 + 32U);
t18 = *((char **)t17);
t22 = (t18 + 40U);
t23 = *((char **)t22);
memcpy(t23, t9, 16U);
xsi_driver_first_trans_fast_port(t16);
goto LAB76;
LAB78: xsi_size_not_matching(16U, t12, 0);
goto LAB79;
}
extern void work_a_0438080501_3212880686_init()
{
static char *pe[] = {(void *)work_a_0438080501_3212880686_p_0};
xsi_register_didat("work_a_0438080501_3212880686", "isim/testFSMD_isim_beh.exe.sim/work/a_0438080501_3212880686.didat");
xsi_register_executes(pe);
}
static void work_a_4172492205_3212880686_p_3(char *t0)
{
char t15[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
unsigned char t5;
unsigned char t6;
char *t7;
unsigned char t8;
unsigned char t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
LAB0: xsi_set_current_line(188, ng0);
t1 = (t0 + 2752U);
t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t2 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 6176);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(189, ng0);
t3 = (t0 + 1672U);
t4 = *((char **)t3);
t5 = *((unsigned char *)t4);
t6 = (t5 == (unsigned char)3);
if (t6 != 0)
goto LAB5;
LAB7:
LAB6: goto LAB3;
LAB5: xsi_set_current_line(190, ng0);
t3 = (t0 + 1832U);
t7 = *((char **)t3);
t8 = *((unsigned char *)t7);
t9 = (t8 == (unsigned char)3);
if (t9 != 0)
goto LAB8;
LAB10: xsi_set_current_line(193, ng0);
t1 = (t0 + 2472U);
t3 = *((char **)t1);
t1 = (t0 + 11576U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t15, t3, t1, 1);
t7 = (t0 + 6640);
t10 = (t7 + 56U);
t11 = *((char **)t10);
t12 = (t11 + 56U);
t13 = *((char **)t12);
memcpy(t13, t4, 16U);
xsi_driver_first_trans_fast(t7);
LAB9: goto LAB6;
LAB8: xsi_set_current_line(191, ng0);
t3 = (t0 + 1992U);
t10 = *((char **)t3);
t3 = (t0 + 6640);
t11 = (t3 + 56U);
t12 = *((char **)t11);
t13 = (t12 + 56U);
t14 = *((char **)t13);
memcpy(t14, t10, 16U);
xsi_driver_first_trans_fast(t3);
goto LAB9;
}
static void work_a_4057903292_3212880686_p_4(char *t0)
{
char t10[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
unsigned char t5;
unsigned char t6;
char *t7;
unsigned char t8;
unsigned char t9;
char *t11;
char *t12;
char *t13;
unsigned int t14;
unsigned int t15;
unsigned char t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
int t22;
unsigned int t23;
int t24;
int t25;
unsigned int t26;
unsigned int t27;
unsigned int t28;
LAB0: xsi_set_current_line(158, 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 + 5888);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(159, ng0);
t3 = (t0 + 1512U);
t4 = *((char **)t3);
t5 = *((unsigned char *)t4);
t6 = (t5 == (unsigned char)3);
if (t6 != 0)
goto LAB5;
LAB7:
LAB6: xsi_set_current_line(171, ng0);
t1 = (t0 + 1672U);
t3 = *((char **)t1);
t2 = *((unsigned char *)t3);
t5 = (t2 == (unsigned char)3);
if (t5 != 0)
goto LAB16;
LAB18:
LAB17: goto LAB3;
LAB5: xsi_set_current_line(160, ng0);
t3 = (t0 + 2632U);
t7 = *((char **)t3);
t8 = *((unsigned char *)t7);
t9 = (t8 == (unsigned char)2);
if (t9 != 0)
goto LAB8;
LAB10:
LAB9: xsi_set_current_line(164, ng0);
t1 = (t0 + 2312U);
t3 = *((char **)t1);
t1 = (t0 + 10268U);
t4 = (t0 + 2472U);
t7 = *((char **)t4);
t4 = (t0 + 10284U);
t11 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t10, t7, t4, 1);
t2 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t3, t1, t11, t10);
if (t2 != 0)
goto LAB13;
LAB15: xsi_set_current_line(167, ng0);
t1 = (t0 + 6352);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t7 = (t4 + 56U);
t11 = *((char **)t7);
*((unsigned char *)t11) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB14: xsi_set_current_line(169, ng0);
t1 = (t0 + 6416);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t7 = (t4 + 56U);
t11 = *((char **)t7);
*((unsigned char *)t11) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB6;
LAB8: xsi_set_current_line(161, ng0);
t3 = (t0 + 2472U);
t11 = *((char **)t3);
t3 = (t0 + 10284U);
t12 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t10, t11, t3, 1);
t13 = (t10 + 12U);
t14 = *((unsigned int *)t13);
t15 = (1U * t14);
t16 = (10U != t15);
if (t16 == 1)
goto LAB11;
LAB12: t17 = (t0 + 6224);
t18 = (t17 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
memcpy(t21, t12, 10U);
xsi_driver_first_trans_fast(t17);
xsi_set_current_line(162, ng0);
t1 = (t0 + 1192U);
t3 = *((char **)t1);
t22 = (45 - 1);
t14 = (44 - t22);
t15 = (t14 * 1U);
t23 = (0 + t15);
t1 = (t3 + t23);
t4 = (t0 + 2472U);
t7 = *((char **)t4);
t4 = (t0 + 10284U);
t24 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t7, t4);
t25 = (t24 - 1023);
t26 = (t25 * -1);
t27 = (45U * t26);
t28 = (0U + t27);
t11 = (t0 + 6288);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t17 = (t13 + 56U);
t18 = *((char **)t17);
memcpy(t18, t1, 45U);
xsi_driver_first_trans_delta(t11, t28, 45U, 0LL);
goto LAB9;
LAB11: xsi_size_not_matching(10U, t15, 0);
goto LAB12;
LAB13: xsi_set_current_line(165, ng0);
t12 = (t0 + 6352);
t13 = (t12 + 56U);
t17 = *((char **)t13);
t18 = (t17 + 56U);
t19 = *((char **)t18);
*((unsigned char *)t19) = (unsigned char)3;
xsi_driver_first_trans_fast(t12);
goto LAB14;
LAB16: xsi_set_current_line(172, ng0);
t1 = (t0 + 2792U);
t4 = *((char **)t1);
t6 = *((unsigned char *)t4);
t8 = (t6 == (unsigned char)2);
if (t8 != 0)
goto LAB19;
LAB21:
LAB20: xsi_set_current_line(175, ng0);
t1 = (t0 + 2152U);
t3 = *((char **)t1);
t1 = (t0 + 2312U);
t4 = *((char **)t1);
t1 = (t0 + 10268U);
t22 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t4, t1);
t24 = (t22 - 1023);
t14 = (t24 * -1);
xsi_vhdl_check_range_of_index(1023, 0, -1, t22);
t15 = (45U * t14);
t23 = (0 + t15);
t7 = (t3 + t23);
t11 = (t0 + 6544);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t17 = (t13 + 56U);
t18 = *((char **)t17);
memcpy(t18, t7, 45U);
xsi_driver_first_trans_fast_port(t11);
xsi_set_current_line(176, ng0);
t1 = (t0 + 1512U);
t3 = *((char **)t1);
t2 = *((unsigned char *)t3);
t5 = (t2 == (unsigned char)2);
if (t5 != 0)
goto LAB24;
LAB26:
LAB25: goto LAB17;
LAB19: xsi_set_current_line(173, ng0);
t1 = (t0 + 2312U);
t7 = *((char **)t1);
t1 = (t0 + 10268U);
t11 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t10, t7, t1, 1);
t12 = (t10 + 12U);
t14 = *((unsigned int *)t12);
t15 = (1U * t14);
t9 = (10U != t15);
if (t9 == 1)
goto LAB22;
LAB23: t13 = (t0 + 6480);
t17 = (t13 + 56U);
t18 = *((char **)t17);
t19 = (t18 + 56U);
t20 = *((char **)t19);
memcpy(t20, t11, 10U);
xsi_driver_first_trans_fast(t13);
goto LAB20;
LAB22: xsi_size_not_matching(10U, t15, 0);
goto LAB23;
LAB24: xsi_set_current_line(177, ng0);
t1 = (t0 + 2792U);
t4 = *((char **)t1);
t8 = *((unsigned char *)t4);
t9 = (t8 == (unsigned char)3);
if (t9 == 1)
goto LAB30;
LAB31: t1 = (t0 + 2312U);
t7 = *((char **)t1);
t1 = (t0 + 10268U);
t11 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t10, t7, t1, 1);
t12 = (t0 + 2472U);
t13 = *((char **)t12);
t12 = (t0 + 10284U);
t16 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t11, t10, t13, t12);
t6 = t16;
LAB32: if (t6 != 0)
goto LAB27;
LAB29: xsi_set_current_line(180, ng0);
t1 = (t0 + 6416);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t7 = (t4 + 56U);
t11 = *((char **)t7);
*((unsigned char *)t11) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB28: xsi_set_current_line(182, ng0);
t1 = (t0 + 6352);
t3 = (t1 + 56U);
t4 = *((char **)t3);
t7 = (t4 + 56U);
t11 = *((char **)t7);
*((unsigned char *)t11) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB25;
LAB27: xsi_set_current_line(178, ng0);
t17 = (t0 + 6416);
t18 = (t17 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_fast(t17);
goto LAB28;
LAB30: t6 = (unsigned char)1;
goto LAB32;
}
static void kjb5568_rjl5336_library_a_0120057300_3212880686_p_0(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;
unsigned char t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
LAB0: xsi_set_current_line(41, 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 + 3520);
*((int *)t2) = 1;
LAB1: return;
LAB2: xsi_set_current_line(42, ng0);
t4 = (t0 + 1352U);
t8 = *((char **)t4);
t9 = *((unsigned char *)t8);
t10 = (t9 == (unsigned char)3);
if (t10 != 0)
goto LAB8;
LAB10: t2 = (t0 + 1032U);
t4 = *((char **)t2);
t1 = *((unsigned char *)t4);
t3 = (t1 == (unsigned char)3);
if (t3 != 0)
goto LAB11;
LAB12:
LAB9: goto LAB3;
LAB5: t4 = (t0 + 1192U);
t5 = *((char **)t4);
t6 = *((unsigned char *)t5);
t7 = (t6 == (unsigned char)3);
t1 = t7;
goto LAB7;
LAB8: xsi_set_current_line(43, ng0);
t4 = xsi_get_transient_memory(4U);
memset(t4, 0, 4U);
t11 = t4;
memset(t11, (unsigned char)2, 4U);
t12 = (t0 + 3616);
t13 = (t12 + 56U);
t14 = *((char **)t13);
t15 = (t14 + 56U);
t16 = *((char **)t15);
memcpy(t16, t4, 4U);
xsi_driver_first_trans_fast(t12);
goto LAB9;
LAB11: xsi_set_current_line(45, ng0);
t2 = (t0 + 1672U);
t5 = *((char **)t2);
t2 = (t0 + 5756U);
t8 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t17, t5, t2, 1);
t11 = (t0 + 3616);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
memcpy(t15, t8, 4U);
xsi_driver_first_trans_fast(t11);
goto LAB9;
}
static void work_a_2621846769_0694202188_p_0(char *t0)
{
char t13[16];
char t14[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 int t15;
unsigned int t16;
unsigned char t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0:
xsi_set_current_line(16, ng0);
t1 = (t0 + 684U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
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 + 2104);
*((int *)t1) = 1;
LAB1:
return;
LAB2:
xsi_set_current_line(16, ng0);
t1 = (t0 + 3833);
t6 = (t0 + 2164);
t7 = (t6 + 32U);
t8 = *((char **)t7);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t1, 15U);
xsi_driver_first_trans_fast(t6);
goto LAB3;
LAB5:
xsi_set_current_line(18, ng0);
t2 = (t0 + 960U);
t6 = *((char **)t2);
t2 = (t0 + 3792U);
t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t14, t6, t2, 1);
t8 = ieee_p_1242562249_sub_2778267465_1035706684(IEEE_P_1242562249, t13, t7, t14, 32768);
t9 = (t13 + 12U);
t15 = *((unsigned int *)t9);
t16 = (1U * t15);
t17 = (15U != t16);
if (t17 == 1)
goto LAB10;
LAB11:
t10 = (t0 + 2164);
t18 = (t10 + 32U);
t19 = *((char **)t18);
t20 = (t19 + 40U);
t21 = *((char **)t20);
memcpy(t21, t8, 15U);
xsi_driver_first_trans_fast(t10);
goto LAB3;
LAB7:
t2 = (t0 + 592U);
t5 = *((char **)t2);
t11 = *((unsigned char *)t5);
t12 = (t11 == (unsigned char)3);
t3 = t12;
goto LAB9;
LAB10:
xsi_size_not_matching(15U, t16, 0);
goto LAB11;
}
static void work_a_3752224209_3212880686_p_0(char *t0)
{
char t8[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
char *t13;
unsigned char t14;
int t15;
char *t16;
LAB0: xsi_set_current_line(58, ng0);
t1 = (t0 + 992U);
t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t2 != 0)
goto LAB2;
LAB4:
LAB3: xsi_set_current_line(69, ng0);
t1 = (t0 + 2312U);
t3 = *((char **)t1);
t1 = (t0 + 7328U);
t4 = (t0 + 7607);
t6 = (t8 + 0U);
t7 = (t6 + 0U);
*((int *)t7) = 0;
t7 = (t6 + 4U);
*((int *)t7) = 31;
t7 = (t6 + 8U);
*((int *)t7) = 1;
t15 = (31 - 0);
t9 = (t15 * 1);
t9 = (t9 + 1);
t7 = (t6 + 12U);
*((unsigned int *)t7) = t9;
t2 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t3, t1, t4, t8);
if (t2 != 0)
goto LAB12;
LAB14:
LAB13: t1 = (t0 + 4728);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(59, ng0);
t3 = (t0 + 4840);
t4 = (t3 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t3);
xsi_set_current_line(60, ng0);
t1 = (t0 + 1672U);
t3 = *((char **)t1);
t1 = (t0 + 7280U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t8, t3, t1, 1);
t5 = (t8 + 12U);
t9 = *((unsigned int *)t5);
t10 = (1U * t9);
t2 = (48U != t10);
if (t2 == 1)
goto LAB5;
LAB6: t6 = (t0 + 4904);
t7 = (t6 + 56U);
t11 = *((char **)t7);
t12 = (t11 + 56U);
t13 = *((char **)t12);
memcpy(t13, t4, 48U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(62, ng0);
t1 = (t0 + 2632U);
t3 = *((char **)t1);
t2 = *((unsigned char *)t3);
t14 = (t2 <= (unsigned char)3);
if (t14 != 0)
goto LAB7;
LAB9: xsi_set_current_line(65, ng0);
t1 = (t0 + 2312U);
t3 = *((char **)t1);
t1 = (t0 + 7328U);
t4 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t8, t3, t1, 1);
t5 = (t8 + 12U);
t9 = *((unsigned int *)t5);
t10 = (1U * t9);
t2 = (32U != t10);
if (t2 == 1)
goto LAB10;
LAB11: t6 = (t0 + 4968);
t7 = (t6 + 56U);
t11 = *((char **)t7);
t12 = (t11 + 56U);
t13 = *((char **)t12);
memcpy(t13, t4, 32U);
xsi_driver_first_trans_fast(t6);
LAB8: goto LAB3;
LAB5: xsi_size_not_matching(48U, t10, 0);
goto LAB6;
LAB7: xsi_set_current_line(63, ng0);
t1 = xsi_get_transient_memory(32U);
memset(t1, 0, 32U);
t4 = t1;
memset(t4, (unsigned char)2, 32U);
t5 = (t0 + 4968);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t11 = (t7 + 56U);
t12 = *((char **)t11);
memcpy(t12, t1, 32U);
xsi_driver_first_trans_fast(t5);
goto LAB8;
LAB10: xsi_size_not_matching(32U, t10, 0);
goto LAB11;
LAB12: xsi_set_current_line(70, ng0);
t7 = (t0 + 4840);
t11 = (t7 + 56U);
t12 = *((char **)t11);
t13 = (t12 + 56U);
t16 = *((char **)t13);
*((unsigned char *)t16) = (unsigned char)3;
xsi_driver_first_trans_fast(t7);
goto LAB13;
}
static void work_a_2308555383_1884490497_p_1(char *t0)
{
char t7[16];
char *t1;
char *t2;
char *t3;
char *t4;
int t5;
unsigned char t6;
char *t8;
char *t9;
char *t10;
unsigned int t11;
unsigned int t12;
unsigned char 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;
char *t26;
LAB0: xsi_set_current_line(94, ng1);
t1 = (t0 + 1992U);
t2 = *((char **)t1);
t1 = (t0 + 12916U);
t3 = (t0 + 4288U);
t4 = *((char **)t3);
t5 = *((int *)t4);
t6 = ieee_p_1242562249_sub_1781471956_1035706684(IEEE_P_1242562249, t2, t1, t5);
if (t6 != 0)
goto LAB3;
LAB4:
LAB7: t19 = xsi_get_transient_memory(12U);
memset(t19, 0, 12U);
t20 = t19;
memset(t20, (unsigned char)2, 12U);
t21 = (t0 + 8360);
t22 = (t21 + 56U);
t23 = *((char **)t22);
t24 = (t23 + 56U);
t25 = *((char **)t24);
memcpy(t25, t19, 12U);
xsi_driver_first_trans_fast(t21);
LAB2: t26 = (t0 + 7960);
*((int *)t26) = 1;
LAB1: return;
LAB3: t3 = (t0 + 1992U);
t8 = *((char **)t3);
t3 = (t0 + 12916U);
t9 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t7, t8, t3, 1);
t10 = (t7 + 12U);
t11 = *((unsigned int *)t10);
t12 = (1U * t11);
t13 = (12U != t12);
if (t13 == 1)
goto LAB5;
LAB6: t14 = (t0 + 8360);
t15 = (t14 + 56U);
t16 = *((char **)t15);
t17 = (t16 + 56U);
t18 = *((char **)t17);
memcpy(t18, t9, 12U);
xsi_driver_first_trans_fast(t14);
goto LAB2;
LAB5: xsi_size_not_matching(12U, t12, 0);
goto LAB6;
LAB8: goto LAB2;
}
static void work_a_0757125120_3212880686_p_0(char *t0)
{
char t16[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;
char *t14;
char *t15;
unsigned int t17;
unsigned int t18;
LAB0: xsi_set_current_line(29, ng0);
t1 = (t0 + 1192U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 992U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 3968);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(30, ng0);
t1 = xsi_get_transient_memory(16U);
memset(t1, 0, 16U);
t5 = t1;
memset(t5, (unsigned char)2, 16U);
t6 = (t0 + 4080);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 16U);
xsi_driver_first_trans_fast(t6);
goto LAB3;
LAB5: xsi_set_current_line(32, ng0);
t2 = (t0 + 1352U);
t5 = *((char **)t2);
t4 = *((unsigned char *)t5);
t11 = (t4 == (unsigned char)3);
if (t11 != 0)
goto LAB7;
LAB9:
LAB8: goto LAB3;
LAB7: xsi_set_current_line(33, ng0);
t2 = (t0 + 1992U);
t6 = *((char **)t2);
t12 = *((unsigned char *)t6);
t13 = (t12 == (unsigned char)3);
if (t13 != 0)
goto LAB10;
LAB12: xsi_set_current_line(36, ng0);
t1 = (t0 + 1832U);
t2 = *((char **)t1);
t1 = (t0 + 6088U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t16, t2, t1, 1);
t6 = (t16 + 12U);
t17 = *((unsigned int *)t6);
t18 = (1U * t17);
t3 = (16U != t18);
if (t3 == 1)
goto LAB13;
LAB14: t7 = (t0 + 4080);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t14 = *((char **)t10);
memcpy(t14, t5, 16U);
xsi_driver_first_trans_fast(t7);
LAB11: goto LAB8;
LAB10: xsi_set_current_line(34, ng0);
t2 = xsi_get_transient_memory(16U);
memset(t2, 0, 16U);
t7 = t2;
memset(t7, (unsigned char)2, 16U);
t8 = (t0 + 4080);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t14 = (t10 + 56U);
t15 = *((char **)t14);
memcpy(t15, t2, 16U);
xsi_driver_first_trans_fast(t8);
goto LAB11;
LAB13: xsi_size_not_matching(16U, t18, 0);
goto LAB14;
}
static void work_a_1665762791_3212880686_p_6(char *t0)
{
char t14[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;
LAB0: xsi_set_current_line(171, ng0);
t1 = (t0 + 1032U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 1152U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 8192);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(172, ng0);
t1 = xsi_get_transient_memory(11U);
memset(t1, 0, 11U);
t5 = t1;
memset(t5, (unsigned char)2, 11U);
t6 = (t0 + 8752);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 11U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(173, ng0);
t1 = (t0 + 8816);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(174, ng0);
t1 = (t0 + 8880);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB3;
LAB5: xsi_set_current_line(176, ng0);
t2 = (t0 + 3432U);
t5 = *((char **)t2);
t4 = *((unsigned char *)t5);
t11 = (t4 == (unsigned char)3);
if (t11 != 0)
goto LAB7;
LAB9: xsi_set_current_line(187, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB13;
LAB15: xsi_set_current_line(190, ng0);
t1 = (t0 + 8816);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(191, ng0);
t1 = (t0 + 8880);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB14:
LAB8: goto LAB3;
LAB7: xsi_set_current_line(177, ng0);
t2 = (t0 + 3912U);
t6 = *((char **)t2);
t12 = *((unsigned char *)t6);
t13 = (t12 == (unsigned char)3);
if (t13 != 0)
goto LAB10;
LAB12: xsi_set_current_line(183, ng0);
t1 = (t0 + 3592U);
t2 = *((char **)t1);
t1 = (t0 + 15508U);
t5 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t14, t2, t1, 1);
t6 = (t0 + 8752);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t5, 11U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(184, ng0);
t1 = (t0 + 8880);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
LAB11: goto LAB8;
LAB10: xsi_set_current_line(178, ng0);
t2 = (t0 + 8816);
t7 = (t2 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
*((unsigned char *)t10) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(179, ng0);
t1 = xsi_get_transient_memory(11U);
memset(t1, 0, 11U);
t2 = t1;
memset(t2, (unsigned char)2, 11U);
t5 = (t0 + 8752);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t1, 11U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(180, ng0);
t1 = (t0 + 8880);
t2 = (t1 + 56U);
t5 = *((char **)t2);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
goto LAB11;
LAB13: goto LAB14;
}
static void work_a_2205409629_3212880686_p_1(char *t0)
{
char t19[16];
char t20[16];
char t23[16];
char t29[16];
char t31[16];
char *t1;
unsigned char t2;
char *t3;
char *t4;
unsigned char t5;
unsigned char t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
unsigned int t18;
int t21;
unsigned int t22;
int t24;
char *t25;
unsigned int t26;
unsigned int t27;
char *t28;
char *t30;
char *t32;
char *t33;
int t34;
unsigned int t35;
unsigned int t36;
char *t37;
char *t38;
char *t39;
char *t40;
unsigned char t41;
unsigned char t42;
unsigned char t43;
LAB0: xsi_set_current_line(31, 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 + 4376);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(40, ng0);
t3 = (t0 + 1192U);
t4 = *((char **)t3);
t5 = *((unsigned char *)t4);
t6 = (t5 == (unsigned char)3);
if (t6 != 0)
goto LAB5;
LAB7: xsi_set_current_line(47, ng0);
t1 = (t0 + 2152U);
t3 = *((char **)t1);
t13 = (15 - 15);
t14 = (t13 * 1U);
t15 = (0 + t14);
t1 = (t3 + t15);
t4 = (t0 + 2152U);
t7 = *((char **)t4);
t16 = (15 - 10);
t17 = (t16 * 1U);
t18 = (0 + t17);
t4 = (t7 + t18);
t9 = ((IEEE_P_2592010699) + 4024);
t10 = (t20 + 0U);
t11 = (t10 + 0U);
*((int *)t11) = 15;
t11 = (t10 + 4U);
*((int *)t11) = 12;
t11 = (t10 + 8U);
*((int *)t11) = -1;
t21 = (12 - 15);
t22 = (t21 * -1);
t22 = (t22 + 1);
t11 = (t10 + 12U);
*((unsigned int *)t11) = t22;
t11 = (t23 + 0U);
t12 = (t11 + 0U);
*((int *)t12) = 10;
t12 = (t11 + 4U);
*((int *)t12) = 7;
t12 = (t11 + 8U);
*((int *)t12) = -1;
t24 = (7 - 10);
t22 = (t24 * -1);
t22 = (t22 + 1);
t12 = (t11 + 12U);
*((unsigned int *)t12) = t22;
t8 = xsi_base_array_concat(t8, t19, t9, (char)97, t1, t20, (char)97, t4, t23, (char)101);
t12 = (t0 + 2152U);
t25 = *((char **)t12);
t22 = (15 - 4);
t26 = (t22 * 1U);
t27 = (0 + t26);
t12 = (t25 + t27);
t30 = ((IEEE_P_2592010699) + 4024);
t32 = (t31 + 0U);
t33 = (t32 + 0U);
*((int *)t33) = 4;
t33 = (t32 + 4U);
*((int *)t33) = 1;
t33 = (t32 + 8U);
*((int *)t33) = -1;
t34 = (1 - 4);
t35 = (t34 * -1);
t35 = (t35 + 1);
t33 = (t32 + 12U);
*((unsigned int *)t33) = t35;
t28 = xsi_base_array_concat(t28, t29, t30, (char)97, t8, t19, (char)97, t12, t31, (char)101);
t35 = (4U + 4U);
t36 = (t35 + 4U);
t2 = (12U != t36);
if (t2 == 1)
goto LAB8;
LAB9: t33 = (t0 + 4712);
t37 = (t33 + 56U);
t38 = *((char **)t37);
t39 = (t38 + 56U);
t40 = *((char **)t39);
memcpy(t40, t28, 12U);
xsi_driver_first_trans_fast_port(t33);
xsi_set_current_line(48, ng0);
t1 = (t0 + 2472U);
t3 = *((char **)t1);
t1 = (t0 + 4520);
t4 = (t1 + 56U);
t7 = *((char **)t4);
t8 = (t7 + 56U);
t9 = *((char **)t8);
memcpy(t9, t3, 19U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(49, ng0);
t1 = (t0 + 2632U);
t3 = *((char **)t1);
t21 = (1 - 1);
t13 = (t21 * -1);
t14 = (1U * t13);
t15 = (0 + t14);
t1 = (t3 + t15);
t2 = *((unsigned char *)t1);
t4 = (t0 + 4776);
t7 = (t4 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
*((unsigned char *)t10) = t2;
xsi_driver_first_trans_fast_port(t4);
xsi_set_current_line(50, ng0);
t1 = (t0 + 2632U);
t3 = *((char **)t1);
t21 = (0 - 1);
t13 = (t21 * -1);
t14 = (1U * t13);
t15 = (0 + t14);
t1 = (t3 + t15);
t2 = *((unsigned char *)t1);
t4 = (t0 + 1352U);
t7 = *((char **)t4);
t5 = *((unsigned char *)t7);
t4 = (t0 + 2632U);
t8 = *((char **)t4);
t24 = (0 - 1);
t16 = (t24 * -1);
t17 = (1U * t16);
t18 = (0 + t17);
t4 = (t8 + t18);
t6 = *((unsigned char *)t4);
t41 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t6);
t42 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t5, t41);
t10 = ((IEEE_P_2592010699) + 4024);
t9 = xsi_base_array_concat(t9, t19, t10, (char)99, t2, (char)99, t42, (char)101);
t22 = (1U + 1U);
t43 = (2U != t22);
if (t43 == 1)
goto LAB10;
LAB11: t11 = (t0 + 4648);
t12 = (t11 + 56U);
t25 = *((char **)t12);
t28 = (t25 + 56U);
t30 = *((char **)t28);
memcpy(t30, t9, 2U);
xsi_driver_first_trans_fast(t11);
xsi_set_current_line(51, ng0);
t1 = (t0 + 2152U);
t3 = *((char **)t1);
t13 = (15 - 7);
t14 = (t13 * 1U);
t15 = (0 + t14);
t1 = (t3 + t15);
t4 = (t0 + 1512U);
t7 = *((char **)t4);
t8 = ((IEEE_P_2592010699) + 4024);
t9 = (t20 + 0U);
t10 = (t9 + 0U);
*((int *)t10) = 7;
t10 = (t9 + 4U);
*((int *)t10) = 0;
t10 = (t9 + 8U);
*((int *)t10) = -1;
t21 = (0 - 7);
t16 = (t21 * -1);
t16 = (t16 + 1);
t10 = (t9 + 12U);
*((unsigned int *)t10) = t16;
t10 = (t0 + 7396U);
t4 = xsi_base_array_concat(t4, t19, t8, (char)97, t1, t20, (char)97, t7, t10, (char)101);
t16 = (8U + 8U);
t2 = (16U != t16);
if (t2 == 1)
goto LAB12;
LAB13: t11 = (t0 + 4840);
t12 = (t11 + 56U);
t25 = *((char **)t12);
t28 = (t25 + 56U);
t30 = *((char **)t28);
memcpy(t30, t4, 16U);
xsi_driver_first_trans_fast(t11);
xsi_set_current_line(53, ng0);
t1 = (t0 + 2632U);
t3 = *((char **)t1);
t21 = (1 - 1);
t13 = (t21 * -1);
t14 = (1U * t13);
t15 = (0 + t14);
t1 = (t3 + t15);
t2 = *((unsigned char *)t1);
t5 = (t2 == (unsigned char)3);
if (t5 != 0)
goto LAB14;
LAB16:
LAB15:
LAB6: goto LAB3;
LAB5: xsi_set_current_line(41, ng0);
t3 = xsi_get_transient_memory(19U);
memset(t3, 0, 19U);
t7 = t3;
memset(t7, (unsigned char)2, 19U);
t8 = (t0 + 4520);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t11 = (t10 + 56U);
t12 = *((char **)t11);
memcpy(t12, t3, 19U);
xsi_driver_first_trans_fast(t8);
xsi_set_current_line(42, ng0);
t1 = xsi_get_transient_memory(19U);
memset(t1, 0, 19U);
t3 = t1;
memset(t3, (unsigned char)2, 19U);
t4 = (t0 + 4584);
t7 = (t4 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 19U);
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(43, ng0);
t1 = xsi_get_transient_memory(2U);
memset(t1, 0, 2U);
t3 = t1;
memset(t3, (unsigned char)2, 2U);
t4 = (t0 + 4648);
t7 = (t4 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
memcpy(t10, t1, 2U);
xsi_driver_first_trans_fast(t4);
goto LAB6;
LAB8: xsi_size_not_matching(12U, t36, 0);
goto LAB9;
LAB10: xsi_size_not_matching(2U, t22, 0);
goto LAB11;
LAB12: xsi_size_not_matching(16U, t16, 0);
goto LAB13;
LAB14: xsi_set_current_line(54, ng0);
t4 = (t0 + 2472U);
t7 = *((char **)t4);
t4 = (t0 + 7476U);
t8 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t19, t7, t4, 1);
t9 = (t0 + 4584);
t10 = (t9 + 56U);
t11 = *((char **)t10);
t12 = (t11 + 56U);
t25 = *((char **)t12);
memcpy(t25, t8, 19U);
xsi_driver_first_trans_fast(t9);
goto LAB15;
}
