static void work_a_0464918941_1181938964_p_4(char *t0)
{
    unsigned char t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    int t10;
    char *t11;
    char *t12;
    int t13;
    char *t14;
    int t16;
    char *t17;
    int t19;
    char *t20;
    int t22;
    char *t23;
    int t25;
    char *t26;
    int t28;
    char *t29;
    int t31;
    char *t32;
    char *t33;
    unsigned int t34;
    unsigned int t35;
    unsigned int t36;
    char *t37;
    char *t38;
    char *t39;
    char *t40;
    char *t41;

LAB0:    xsi_set_current_line(189, ng0);
    t2 = (t0 + 708U);
    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 + 8628);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(190, ng0);
    t4 = (t0 + 1008U);
    t8 = *((char **)t4);
    t4 = (t0 + 17887);
    t10 = xsi_mem_cmp(t4, t8, 3U);
    if (t10 == 1)
        goto LAB9;

LAB18:    t11 = (t0 + 17890);
    t13 = xsi_mem_cmp(t11, t8, 3U);
    if (t13 == 1)
        goto LAB10;

LAB19:    t14 = (t0 + 17893);
    t16 = xsi_mem_cmp(t14, t8, 3U);
    if (t16 == 1)
        goto LAB11;

LAB20:    t17 = (t0 + 17896);
    t19 = xsi_mem_cmp(t17, t8, 3U);
    if (t19 == 1)
        goto LAB12;

LAB21:    t20 = (t0 + 17899);
    t22 = xsi_mem_cmp(t20, t8, 3U);
    if (t22 == 1)
        goto LAB13;

LAB22:    t23 = (t0 + 17902);
    t25 = xsi_mem_cmp(t23, t8, 3U);
    if (t25 == 1)
        goto LAB14;

LAB23:    t26 = (t0 + 17905);
    t28 = xsi_mem_cmp(t26, t8, 3U);
    if (t28 == 1)
        goto LAB15;

LAB24:    t29 = (t0 + 17908);
    t31 = xsi_mem_cmp(t29, t8, 3U);
    if (t31 == 1)
        goto LAB16;

LAB25:
LAB17:    xsi_set_current_line(203, ng0);
    t2 = xsi_get_transient_memory(8U);
    memset(t2, 0, 8U);
    t4 = t2;
    memset(t4, (unsigned char)1, 8U);
    t5 = (t0 + 8952);
    t8 = (t5 + 32U);
    t9 = *((char **)t8);
    t11 = (t9 + 40U);
    t12 = *((char **)t11);
    memcpy(t12, t2, 8U);
    xsi_driver_first_trans_fast_port(t5);

LAB8:    goto LAB3;

LAB5:    t4 = (t0 + 732U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t1 = t7;
    goto LAB7;

LAB9:    xsi_set_current_line(191, ng0);
    t32 = (t0 + 2296U);
    t33 = *((char **)t32);
    t34 = (15 - 7);
    t35 = (t34 * 1U);
    t36 = (0 + t35);
    t32 = (t33 + t36);
    t37 = (t0 + 8952);
    t38 = (t37 + 32U);
    t39 = *((char **)t38);
    t40 = (t39 + 40U);
    t41 = *((char **)t40);
    memcpy(t41, t32, 8U);
    xsi_driver_first_trans_fast_port(t37);
    goto LAB8;

LAB10:    xsi_set_current_line(192, ng0);
    t2 = (t0 + 2296U);
    t4 = *((char **)t2);
    t34 = (15 - 15);
    t35 = (t34 * 1U);
    t36 = (0 + t35);
    t2 = (t4 + t36);
    t5 = (t0 + 8952);
    t8 = (t5 + 32U);
    t9 = *((char **)t8);
    t11 = (t9 + 40U);
    t12 = *((char **)t11);
    memcpy(t12, t2, 8U);
    xsi_driver_first_trans_fast_port(t5);
    goto LAB8;

LAB11:    xsi_set_current_line(193, ng0);
    t2 = (t0 + 2388U);
    t4 = *((char **)t2);
    t2 = (t0 + 8952);
    t5 = (t2 + 32U);
    t8 = *((char **)t5);
    t9 = (t8 + 40U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 8U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB12:    xsi_set_current_line(194, ng0);
    t2 = (t0 + 2572U);
    t4 = *((char **)t2);
    t2 = (t0 + 8952);
    t5 = (t2 + 32U);
    t8 = *((char **)t5);
    t9 = (t8 + 40U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 8U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB13:    xsi_set_current_line(195, ng0);
    t2 = (t0 + 2756U);
    t4 = *((char **)t2);
    t2 = (t0 + 8952);
    t5 = (t2 + 32U);
    t8 = *((char **)t5);
    t9 = (t8 + 40U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 8U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB14:    xsi_set_current_line(200, ng0);
    t2 = (t0 + 2480U);
    t4 = *((char **)t2);
    t2 = (t0 + 8952);
    t5 = (t2 + 32U);
    t8 = *((char **)t5);
    t9 = (t8 + 40U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 8U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB15:    xsi_set_current_line(201, ng0);
    t2 = (t0 + 2664U);
    t4 = *((char **)t2);
    t2 = (t0 + 8952);
    t5 = (t2 + 32U);
    t8 = *((char **)t5);
    t9 = (t8 + 40U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 8U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB16:    xsi_set_current_line(202, ng0);
    t2 = xsi_get_transient_memory(8U);
    memset(t2, 0, 8U);
    t4 = t2;
    memset(t4, (unsigned char)2, 8U);
    t5 = (t0 + 8952);
    t8 = (t5 + 32U);
    t9 = *((char **)t8);
    t11 = (t9 + 40U);
    t12 = *((char **)t11);
    memcpy(t12, t2, 8U);
    xsi_driver_first_trans_fast_port(t5);
    goto LAB8;

LAB26:;
}
static void work_a_3217046058_1516540902_p_6(char *t0)
{
    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;

LAB0:    xsi_set_current_line(100, ng0);
    t1 = (t0 + 2972U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 3064U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t11 = (t4 == (unsigned char)3);
    if (t11 == 1)
        goto LAB7;

LAB8:    t3 = (unsigned char)0;

LAB9:    if (t3 != 0)
        goto LAB5;

LAB6:
LAB3:    t1 = (t0 + 8900);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(101, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t5 = t1;
    memset(t5, (unsigned char)2, 8U);
    t6 = (t0 + 9240);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 8U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(103, ng0);
    t5 = (t0 + 4168U);
    t6 = *((char **)t5);
    t5 = (t0 + 9240);
    t7 = (t5 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t6, 8U);
    xsi_driver_first_trans_fast(t5);
    goto LAB3;

LAB7:    t1 = (t0 + 3040U);
    t12 = xsi_signal_has_event(t1);
    t3 = t12;
    goto LAB9;

}
static void work_a_0832606739_3212880686_p_0(char *t0)
{
    char t20[16];
    char *t1;
    char *t2;
    char *t3;
    int t4;
    char *t5;
    char *t6;
    int t7;
    char *t8;
    char *t9;
    int t10;
    char *t11;
    char *t12;
    int t13;
    char *t14;
    char *t15;
    int t16;
    char *t17;
    int t19;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    unsigned int t27;
    unsigned int t28;
    unsigned char t29;
    char *t30;
    char *t31;
    char *t32;
    char *t33;
    char *t34;

LAB0:    xsi_set_current_line(152, ng0);
    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t1 = (t0 + 6252);
    t4 = xsi_mem_cmp(t1, t2, 4U);
    if (t4 == 1)
        goto LAB3;

LAB10:    t5 = (t0 + 6256);
    t7 = xsi_mem_cmp(t5, t2, 4U);
    if (t7 == 1)
        goto LAB4;

LAB11:    t8 = (t0 + 6260);
    t10 = xsi_mem_cmp(t8, t2, 4U);
    if (t10 == 1)
        goto LAB5;

LAB12:    t11 = (t0 + 6264);
    t13 = xsi_mem_cmp(t11, t2, 4U);
    if (t13 == 1)
        goto LAB6;

LAB13:    t14 = (t0 + 6268);
    t16 = xsi_mem_cmp(t14, t2, 4U);
    if (t16 == 1)
        goto LAB7;

LAB14:    t17 = (t0 + 6272);
    t19 = xsi_mem_cmp(t17, t2, 4U);
    if (t19 == 1)
        goto LAB8;

LAB15:
LAB9:    xsi_set_current_line(169, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t2 = t1;
    memset(t2, (unsigned char)2, 32U);
    t3 = (t0 + 3912);
    t5 = (t3 + 56U);
    t6 = *((char **)t5);
    t8 = (t6 + 56U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 32U);
    xsi_driver_first_trans_fast(t3);

LAB2:    t1 = (t0 + 3800);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    xsi_set_current_line(154, ng0);
    t21 = (t0 + 1192U);
    t22 = *((char **)t21);
    t21 = (t0 + 6080U);
    t23 = (t0 + 1352U);
    t24 = *((char **)t23);
    t23 = (t0 + 6096U);
    t25 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t20, t22, t21, t24, t23);
    t26 = (t20 + 12U);
    t27 = *((unsigned int *)t26);
    t28 = (1U * t27);
    t29 = (32U != t28);
    if (t29 == 1)
        goto LAB17;

LAB18:    t30 = (t0 + 3912);
    t31 = (t30 + 56U);
    t32 = *((char **)t31);
    t33 = (t32 + 56U);
    t34 = *((char **)t33);
    memcpy(t34, t25, 32U);
    xsi_driver_first_trans_fast(t30);
    goto LAB2;

LAB4:    xsi_set_current_line(156, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t1 = (t0 + 6080U);
    t3 = (t0 + 1352U);
    t5 = *((char **)t3);
    t3 = (t0 + 6096U);
    t6 = ieee_p_2592010699_sub_16439767405979520975_503743352(IEEE_P_2592010699, t20, t2, t1, t5, t3);
    t8 = (t20 + 12U);
    t27 = *((unsigned int *)t8);
    t28 = (1U * t27);
    t29 = (32U != t28);
    if (t29 == 1)
        goto LAB19;

LAB20:    t9 = (t0 + 3912);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t14 = (t12 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t6, 32U);
    xsi_driver_first_trans_fast(t9);
    goto LAB2;

LAB5:    xsi_set_current_line(158, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t1 = (t0 + 6080U);
    t3 = (t0 + 1352U);
    t5 = *((char **)t3);
    t3 = (t0 + 6096U);
    t6 = ieee_p_3620187407_sub_1496620905533649268_3965413181(IEEE_P_3620187407, t20, t2, t1, t5, t3);
    t8 = (t20 + 12U);
    t27 = *((unsigned int *)t8);
    t28 = (1U * t27);
    t29 = (32U != t28);
    if (t29 == 1)
        goto LAB21;

LAB22:    t9 = (t0 + 3912);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t14 = (t12 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t6, 32U);
    xsi_driver_first_trans_fast(t9);
    goto LAB2;

LAB6:    xsi_set_current_line(160, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t1 = (t0 + 6080U);
    t3 = (t0 + 1352U);
    t5 = *((char **)t3);
    t3 = (t0 + 6096U);
    t6 = ieee_p_3620187407_sub_1496620905533721142_3965413181(IEEE_P_3620187407, t20, t2, t1, t5, t3);
    t8 = (t20 + 12U);
    t27 = *((unsigned int *)t8);
    t28 = (1U * t27);
    t29 = (32U != t28);
    if (t29 == 1)
        goto LAB23;

LAB24:    t9 = (t0 + 3912);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t14 = (t12 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t6, 32U);
    xsi_driver_first_trans_fast(t9);
    goto LAB2;

LAB7:    xsi_set_current_line(162, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t1 = (t0 + 6080U);
    t3 = (t0 + 1352U);
    t5 = *((char **)t3);
    t3 = (t0 + 6096U);
    t29 = ieee_p_3620187407_sub_1366267000076357978_3965413181(IEEE_P_3620187407, t2, t1, t5, t3);
    if (t29 != 0)
        goto LAB25;

LAB27:    xsi_set_current_line(165, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t2 = t1;
    memset(t2, (unsigned char)2, 32U);
    t3 = (t0 + 3912);
    t5 = (t3 + 56U);
    t6 = *((char **)t5);
    t8 = (t6 + 56U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 32U);
    xsi_driver_first_trans_fast(t3);

LAB26:    goto LAB2;

LAB8:    xsi_set_current_line(168, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t1 = (t0 + 6080U);
    t3 = (t0 + 1352U);
    t5 = *((char **)t3);
    t3 = (t0 + 6096U);
    t6 = ieee_p_2592010699_sub_16439989833316239837_503743352(IEEE_P_2592010699, t20, t2, t1, t5, t3);
    t8 = (t20 + 12U);
    t27 = *((unsigned int *)t8);
    t28 = (1U * t27);
    t29 = (32U != t28);
    if (t29 == 1)
        goto LAB28;

LAB29:    t9 = (t0 + 3912);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t14 = (t12 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t6, 32U);
    xsi_driver_first_trans_fast(t9);
    goto LAB2;

LAB16:;
LAB17:    xsi_size_not_matching(32U, t28, 0);
    goto LAB18;

LAB19:    xsi_size_not_matching(32U, t28, 0);
    goto LAB20;

LAB21:    xsi_size_not_matching(32U, t28, 0);
    goto LAB22;

LAB23:    xsi_size_not_matching(32U, t28, 0);
    goto LAB24;

LAB25:    xsi_set_current_line(163, ng0);
    t6 = xsi_get_transient_memory(32U);
    memset(t6, 0, 32U);
    t8 = t6;
    memset(t8, (unsigned char)3, 32U);
    t9 = (t0 + 3912);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t14 = (t12 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t6, 32U);
    xsi_driver_first_trans_fast(t9);
    goto LAB26;

LAB28:    xsi_size_not_matching(32U, t28, 0);
    goto LAB29;

}
static void work_a_0284541052_3212880686_p_3(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    unsigned char t11;
    unsigned char t12;
    unsigned char t13;
    unsigned char t14;
    unsigned char t15;
    char *t16;

LAB0:    xsi_set_current_line(75, ng0);
    t1 = (t0 + 684U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 568U);
    t11 = xsi_signal_has_event(t1);
    if (t11 == 1)
        goto LAB10;

LAB11:    t4 = (unsigned char)0;

LAB12:    if (t4 == 1)
        goto LAB7;

LAB8:    t3 = (unsigned char)0;

LAB9:    if (t3 != 0)
        goto LAB5;

LAB6:
LAB3:    t1 = (t0 + 5404);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(76, ng0);
    t1 = xsi_get_transient_memory(10U);
    memset(t1, 0, 10U);
    t5 = t1;
    memset(t5, (unsigned char)2, 10U);
    t6 = (t0 + 5636);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 10U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(78, ng0);
    t2 = (t0 + 1788U);
    t7 = *((char **)t2);
    t2 = (t0 + 5636);
    t8 = (t2 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t16 = *((char **)t10);
    memcpy(t16, t7, 10U);
    xsi_driver_first_trans_fast(t2);
    goto LAB3;

LAB7:    t2 = (t0 + 1420U);
    t6 = *((char **)t2);
    t14 = *((unsigned char *)t6);
    t15 = (t14 == (unsigned char)3);
    t3 = t15;
    goto LAB9;

LAB10:    t2 = (t0 + 592U);
    t5 = *((char **)t2);
    t12 = *((unsigned char *)t5);
    t13 = (t12 == (unsigned char)3);
    t4 = t13;
    goto LAB12;

}
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 + 1880U);
    t2 = *((char **)t1);
    t1 = (t0 + 9844U);
    t3 = (t0 + 2484U);
    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 + 1880U);
    t16 = *((char **)t15);
    t15 = (t0 + 9844U);
    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 + 5852);
    t23 = (t22 + 32U);
    t24 = *((char **)t23);
    t25 = (t24 + 40U);
    t26 = *((char **)t25);
    memcpy(t26, t17, 10U);
    xsi_driver_first_trans_fast(t22);

LAB2:    t27 = (t0 + 5452);
    *((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 + 5852);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 40U);
    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_2984041237_3212880686_p_0(char *t0)
{
    char t17[16];
    char t22[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;
    unsigned int t18;
    char *t19;
    unsigned int t20;
    unsigned int t21;
    int t23;
    unsigned int t24;

LAB0:    xsi_set_current_line(39, ng0);
    t2 = (t0 + 1472U);
    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 + 4288);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(40, ng0);
    t4 = (t0 + 1032U);
    t8 = *((char **)t4);
    t9 = *((unsigned char *)t8);
    t10 = (t9 == (unsigned char)3);
    if (t10 != 0)
        goto LAB8;

LAB10:    t2 = (t0 + 1352U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t3 = (t1 == (unsigned char)3);
    if (t3 != 0)
        goto LAB11;

LAB12:    t2 = (t0 + 1192U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t3 = (t1 == (unsigned char)3);
    if (t3 != 0)
        goto LAB15;

LAB16:
LAB9:    goto LAB3;

LAB5:    t4 = (t0 + 1512U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t1 = t7;
    goto LAB7;

LAB8:    xsi_set_current_line(40, ng0);
    t4 = xsi_get_transient_memory(25U);
    memset(t4, 0, 25U);
    t11 = t4;
    memset(t11, (unsigned char)2, 25U);
    t12 = (t0 + 4400);
    t13 = (t12 + 56U);
    t14 = *((char **)t13);
    t15 = (t14 + 56U);
    t16 = *((char **)t15);
    memcpy(t16, t4, 25U);
    xsi_driver_first_trans_fast(t12);
    goto LAB9;

LAB11:    xsi_set_current_line(41, ng0);
    t2 = (t0 + 1992U);
    t5 = *((char **)t2);
    t6 = *((unsigned char *)t5);
    t2 = (t0 + 1672U);
    t8 = *((char **)t2);
    t11 = ((IEEE_P_2592010699) + 4024);
    t12 = (t0 + 6480U);
    t2 = xsi_base_array_concat(t2, t17, t11, (char)99, t6, (char)97, t8, t12, (char)101);
    t18 = (1U + 24U);
    t7 = (25U != t18);
    if (t7 == 1)
        goto LAB13;

LAB14:    t13 = (t0 + 4400);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    t16 = (t15 + 56U);
    t19 = *((char **)t16);
    memcpy(t19, t2, 25U);
    xsi_driver_first_trans_fast(t13);
    goto LAB9;

LAB13:    xsi_size_not_matching(25U, t18, 0);
    goto LAB14;

LAB15:    xsi_set_current_line(42, ng0);
    t2 = (t0 + 2312U);
    t5 = *((char **)t2);
    t18 = (24 - 24);
    t20 = (t18 * 1U);
    t21 = (0 + t20);
    t2 = (t5 + t21);
    t11 = ((IEEE_P_2592010699) + 4024);
    t12 = (t22 + 0U);
    t13 = (t12 + 0U);
    *((int *)t13) = 24;
    t13 = (t12 + 4U);
    *((int *)t13) = 1;
    t13 = (t12 + 8U);
    *((int *)t13) = -1;
    t23 = (1 - 24);
    t24 = (t23 * -1);
    t24 = (t24 + 1);
    t13 = (t12 + 12U);
    *((unsigned int *)t13) = t24;
    t8 = xsi_base_array_concat(t8, t17, t11, (char)99, (unsigned char)2, (char)97, t2, t22, (char)101);
    t24 = (1U + 24U);
    t6 = (25U != t24);
    if (t6 == 1)
        goto LAB17;

LAB18:    t13 = (t0 + 4400);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    t16 = (t15 + 56U);
    t19 = *((char **)t16);
    memcpy(t19, t8, 25U);
    xsi_driver_first_trans_fast(t13);
    goto LAB9;

LAB17:    xsi_size_not_matching(25U, t24, 0);
    goto LAB18;

}
static void unisim_a_2955268715_1990404599_p_0(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    unsigned char t5;
    char *t6;
    unsigned char t7;
    char *t8;
    unsigned char t9;
    char *t10;
    unsigned char t11;
    char *t12;
    int t13;
    int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;

LAB0:    t1 = xsi_get_transient_memory(4U);
    memset(t1, 0, 4U);
    t2 = t1;
    t3 = (t0 + 1672U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    *((unsigned char *)t2) = t5;
    t2 = (t2 + 1U);
    t3 = (t0 + 1512U);
    t6 = *((char **)t3);
    t7 = *((unsigned char *)t6);
    *((unsigned char *)t2) = t7;
    t2 = (t2 + 1U);
    t3 = (t0 + 1352U);
    t8 = *((char **)t3);
    t9 = *((unsigned char *)t8);
    *((unsigned char *)t2) = t9;
    t2 = (t2 + 1U);
    t3 = (t0 + 1192U);
    t10 = *((char **)t3);
    t11 = *((unsigned char *)t10);
    *((unsigned char *)t2) = t11;
    t3 = (t0 + 2968U);
    t12 = *((char **)t3);
    t3 = (t12 + 0);
    memcpy(t3, t1, 4U);
    t1 = (t0 + 2968U);
    t2 = *((char **)t1);
    t1 = (t0 + 7244U);
    t5 = unisim_p_3222816464_sub_2053111517_279109243(UNISIM_P_3222816464, t2, t1);
    t3 = (t0 + 2728U);
    t4 = *((char **)t3);
    t3 = (t4 + 0);
    *((unsigned char *)t3) = t5;
    t1 = (t0 + 2728U);
    t2 = *((char **)t1);
    t5 = *((unsigned char *)t2);
    if (t5 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 2848U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 16;

LAB3:    t1 = (t0 + 2312U);
    t2 = *((char **)t1);
    t1 = (t0 + 2848U);
    t3 = *((char **)t1);
    t13 = *((int *)t3);
    t14 = (t13 - 16);
    t15 = (t14 * -1);
    xsi_vhdl_check_range_of_index(16, 0, -1, t13);
    t16 = (1U * t15);
    t17 = (0 + t16);
    t1 = (t2 + t17);
    t5 = *((unsigned char *)t1);
    t4 = (t0 + 4752);
    t6 = (t4 + 56U);
    t8 = *((char **)t6);
    t10 = (t8 + 56U);
    t12 = *((char **)t10);
    *((unsigned char *)t12) = t5;
    xsi_driver_first_trans_fast_port(t4);
    t1 = (t0 + 4640);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    t1 = (t0 + 2968U);
    t3 = *((char **)t1);
    t1 = (t0 + 7244U);
    t13 = unisim_p_3222816464_sub_3182959421_279109243(UNISIM_P_3222816464, t3, t1);
    t4 = (t0 + 2848U);
    t6 = *((char **)t4);
    t4 = (t6 + 0);
    *((int *)t4) = t13;
    goto LAB3;

}
Beispiel #8
0
static void work_a_3729375705_1516540902_p_3(char *t0)
{
    char t12[16];
    char t20[16];
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    unsigned char t11;
    unsigned int t13;
    unsigned char t14;
    char *t15;
    char *t16;
    char *t17;
    unsigned int t18;
    unsigned int t19;
    int t21;
    unsigned int t22;

LAB0:    xsi_set_current_line(120, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    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 + 10264);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(121, ng0);
    t1 = xsi_get_transient_memory(9U);
    memset(t1, 0, 9U);
    t5 = t1;
    memset(t5, (unsigned char)2, 9U);
    t6 = (t0 + 11336);
    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(123, ng0);
    t2 = (t0 + 4392U);
    t5 = *((char **)t2);
    t4 = *((unsigned char *)t5);
    t11 = (t4 == (unsigned char)3);
    if (t11 != 0)
        goto LAB7;

LAB9:    t1 = (t0 + 4552U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB12;

LAB13:
LAB8:    goto LAB3;

LAB7:    xsi_set_current_line(124, ng0);
    t2 = (t0 + 2312U);
    t6 = *((char **)t2);
    t7 = ((IEEE_P_2592010699) + 4024);
    t8 = (t0 + 16784U);
    t2 = xsi_base_array_concat(t2, t12, t7, (char)99, (unsigned char)2, (char)97, t6, t8, (char)101);
    t13 = (1U + 8U);
    t14 = (9U != t13);
    if (t14 == 1)
        goto LAB10;

LAB11:    t9 = (t0 + 11336);
    t10 = (t9 + 56U);
    t15 = *((char **)t10);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    memcpy(t17, t2, 9U);
    xsi_driver_first_trans_fast(t9);
    goto LAB8;

LAB10:    xsi_size_not_matching(9U, t13, 0);
    goto LAB11;

LAB12:    xsi_set_current_line(126, ng0);
    t1 = (t0 + 2472U);
    t5 = *((char **)t1);
    t13 = (8 - 8);
    t18 = (t13 * 1U);
    t19 = (0 + t18);
    t1 = (t5 + t19);
    t7 = ((IEEE_P_2592010699) + 4024);
    t8 = (t20 + 0U);
    t9 = (t8 + 0U);
    *((int *)t9) = 8;
    t9 = (t8 + 4U);
    *((int *)t9) = 1;
    t9 = (t8 + 8U);
    *((int *)t9) = -1;
    t21 = (1 - 8);
    t22 = (t21 * -1);
    t22 = (t22 + 1);
    t9 = (t8 + 12U);
    *((unsigned int *)t9) = t22;
    t6 = xsi_base_array_concat(t6, t12, t7, (char)99, (unsigned char)2, (char)97, t1, t20, (char)101);
    t22 = (1U + 8U);
    t11 = (9U != t22);
    if (t11 == 1)
        goto LAB14;

LAB15:    t9 = (t0 + 11336);
    t10 = (t9 + 56U);
    t15 = *((char **)t10);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    memcpy(t17, t6, 9U);
    xsi_driver_first_trans_fast(t9);
    goto LAB8;

LAB14:    xsi_size_not_matching(9U, t22, 0);
    goto LAB15;

}
static void work_a_2299515349_3212880686_p_0(char *t0)
{
    char t13[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;
    int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    char *t18;
    char *t19;
    char *t20;

LAB0:    xsi_set_current_line(38, 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 + 3912);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(39, ng0);
    t3 = (t0 + 1192U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = (t5 == (unsigned char)2);
    if (t6 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(45, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 3992);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(46, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 4056);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(47, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 4120);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(48, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 4184);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(50, ng0);
    t1 = (t0 + 1672U);
    t3 = *((char **)t1);
    t1 = (t0 + 6464U);
    t4 = (t0 + 6815);
    t8 = (t13 + 0U);
    t9 = (t8 + 0U);
    *((int *)t9) = 0;
    t9 = (t8 + 4U);
    *((int *)t9) = 1;
    t9 = (t8 + 8U);
    *((int *)t9) = 1;
    t14 = (1 - 0);
    t15 = (t14 * 1);
    t15 = (t15 + 1);
    t9 = (t8 + 12U);
    *((unsigned int *)t9) = t15;
    t2 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t3, t1, t4, t13);
    if (t2 != 0)
        goto LAB8;

LAB10:    t1 = (t0 + 1672U);
    t3 = *((char **)t1);
    t1 = (t0 + 6464U);
    t4 = (t0 + 6817);
    t8 = (t13 + 0U);
    t9 = (t8 + 0U);
    *((int *)t9) = 0;
    t9 = (t8 + 4U);
    *((int *)t9) = 1;
    t9 = (t8 + 8U);
    *((int *)t9) = 1;
    t14 = (1 - 0);
    t15 = (t14 * 1);
    t15 = (t15 + 1);
    t9 = (t8 + 12U);
    *((unsigned int *)t9) = t15;
    t2 = ieee_p_1242562249_sub_2110375371_1035706684(IEEE_P_1242562249, t3, t1, t4, t13);
    if (t2 != 0)
        goto LAB11;

LAB12:
LAB9:
LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(40, ng0);
    t3 = xsi_get_transient_memory(32U);
    memset(t3, 0, 32U);
    t7 = t3;
    memset(t7, (unsigned char)2, 32U);
    t8 = (t0 + 3992);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    t11 = (t10 + 56U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 32U);
    xsi_driver_first_trans_fast_port(t8);
    xsi_set_current_line(41, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 4056);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(42, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 4120);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(43, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t3 = t1;
    memset(t3, (unsigned char)2, 32U);
    t4 = (t0 + 4184);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB6;

LAB8:    xsi_set_current_line(51, ng0);
    t9 = (t0 + 1352U);
    t10 = *((char **)t9);
    t15 = (127 - 127);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t9 = (t10 + t17);
    t11 = (t0 + 3992);
    t12 = (t11 + 56U);
    t18 = *((char **)t12);
    t19 = (t18 + 56U);
    t20 = *((char **)t19);
    memcpy(t20, t9, 32U);
    xsi_driver_first_trans_fast_port(t11);
    xsi_set_current_line(52, ng0);
    t1 = (t0 + 1352U);
    t3 = *((char **)t1);
    t15 = (127 - 95);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t3 + t17);
    t4 = (t0 + 4056);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(53, ng0);
    t1 = (t0 + 1352U);
    t3 = *((char **)t1);
    t15 = (127 - 63);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t3 + t17);
    t4 = (t0 + 4120);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(54, ng0);
    t1 = (t0 + 1352U);
    t3 = *((char **)t1);
    t15 = (127 - 31);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t3 + t17);
    t4 = (t0 + 4184);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB9;

LAB11:    xsi_set_current_line(56, ng0);
    t9 = (t0 + 1512U);
    t10 = *((char **)t9);
    t15 = (127 - 127);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t9 = (t10 + t17);
    t11 = (t0 + 3992);
    t12 = (t11 + 56U);
    t18 = *((char **)t12);
    t19 = (t18 + 56U);
    t20 = *((char **)t19);
    memcpy(t20, t9, 32U);
    xsi_driver_first_trans_fast_port(t11);
    xsi_set_current_line(57, ng0);
    t1 = (t0 + 1512U);
    t3 = *((char **)t1);
    t15 = (127 - 95);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t3 + t17);
    t4 = (t0 + 4056);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(58, ng0);
    t1 = (t0 + 1512U);
    t3 = *((char **)t1);
    t15 = (127 - 63);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t3 + t17);
    t4 = (t0 + 4120);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(59, ng0);
    t1 = (t0 + 1512U);
    t3 = *((char **)t1);
    t15 = (127 - 31);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t3 + t17);
    t4 = (t0 + 4184);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 32U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB9;

}
Beispiel #10
0
static void work_a_3729375705_1516540902_p_7(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;
    char *t15;
    char *t16;

LAB0:    xsi_set_current_line(173, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    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 + 10328);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(174, ng0);
    t1 = xsi_get_transient_memory(3U);
    memset(t1, 0, 3U);
    t5 = t1;
    memset(t5, (unsigned char)2, 3U);
    t6 = (t0 + 11592);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 3U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(177, ng0);
    t2 = (t0 + 4072U);
    t5 = *((char **)t2);
    t4 = *((unsigned char *)t5);
    t11 = (t4 == (unsigned char)3);
    if (t11 != 0)
        goto LAB7;

LAB9:    t1 = (t0 + 4232U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB10;

LAB11:
LAB8:    goto LAB3;

LAB7:    xsi_set_current_line(178, ng0);
    t2 = (t0 + 2952U);
    t6 = *((char **)t2);
    t2 = (t0 + 11592);
    t7 = (t2 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t6, 3U);
    xsi_driver_first_trans_fast(t2);
    goto LAB8;

LAB10:    xsi_set_current_line(180, ng0);
    t1 = (t0 + 3112U);
    t5 = *((char **)t1);
    t1 = (t0 + 16848U);
    t6 = ieee_p_1242562249_sub_1919437128_1035706684(IEEE_P_1242562249, t12, t5, t1, 1);
    t7 = (t12 + 12U);
    t13 = *((unsigned int *)t7);
    t14 = (1U * t13);
    t11 = (3U != t14);
    if (t11 == 1)
        goto LAB12;

LAB13:    t8 = (t0 + 11592);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    t15 = (t10 + 56U);
    t16 = *((char **)t15);
    memcpy(t16, t6, 3U);
    xsi_driver_first_trans_fast(t8);
    goto LAB8;

LAB12:    xsi_size_not_matching(3U, t14, 0);
    goto LAB13;

}
Beispiel #11
0
static void work_a_3729375705_1516540902_p_8(char *t0)
{
    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;

LAB0:    xsi_set_current_line(190, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    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 + 10344);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(191, ng0);
    t1 = xsi_get_transient_memory(3U);
    memset(t1, 0, 3U);
    t5 = t1;
    memset(t5, (unsigned char)3, 3U);
    t6 = (t0 + 11656);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 3U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(193, ng0);
    t2 = (t0 + 3912U);
    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(194, ng0);
    t2 = (t0 + 3112U);
    t6 = *((char **)t2);
    t2 = (t0 + 11656);
    t7 = (t2 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t6, 3U);
    xsi_driver_first_trans_fast(t2);
    goto LAB8;

}
Beispiel #12
0
static void work_a_3729375705_1516540902_p_6(char *t0)
{
    char t18[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;
    char *t12;
    unsigned char t13;
    unsigned char t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    int t20;
    unsigned int t21;
    unsigned char t22;
    char *t23;
    char *t24;
    char *t25;

LAB0:    xsi_set_current_line(152, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    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 + 10312);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(153, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t5 = t1;
    memset(t5, (unsigned char)2, 8U);
    t6 = (t0 + 11528);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 8U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(156, ng0);
    t2 = (t0 + 4872U);
    t5 = *((char **)t2);
    t4 = *((unsigned char *)t5);
    t11 = (t4 == (unsigned char)3);
    if (t11 != 0)
        goto LAB7;

LAB9:    t1 = (t0 + 5032U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t11 = (t4 == (unsigned char)3);
    if (t11 == 1)
        goto LAB12;

LAB13:    t3 = (unsigned char)0;

LAB14:    if (t3 != 0)
        goto LAB10;

LAB11:    t1 = (t0 + 5032U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t11 = (t4 == (unsigned char)3);
    if (t11 == 1)
        goto LAB19;

LAB20:    t3 = (unsigned char)0;

LAB21:    if (t3 != 0)
        goto LAB17;

LAB18:
LAB8:    goto LAB3;

LAB7:    xsi_set_current_line(157, ng0);
    t2 = xsi_get_transient_memory(8U);
    memset(t2, 0, 8U);
    t6 = t2;
    memset(t6, (unsigned char)2, 8U);
    t7 = (t0 + 11528);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t12 = *((char **)t10);
    memcpy(t12, t2, 8U);
    xsi_driver_first_trans_fast(t7);
    goto LAB8;

LAB10:    xsi_set_current_line(159, ng0);
    t1 = (t0 + 2792U);
    t6 = *((char **)t1);
    t15 = (7 - 6);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t6 + t17);
    t8 = ((IEEE_P_2592010699) + 4024);
    t9 = (t19 + 0U);
    t10 = (t9 + 0U);
    *((int *)t10) = 6;
    t10 = (t9 + 4U);
    *((int *)t10) = 0;
    t10 = (t9 + 8U);
    *((int *)t10) = -1;
    t20 = (0 - 6);
    t21 = (t20 * -1);
    t21 = (t21 + 1);
    t10 = (t9 + 12U);
    *((unsigned int *)t10) = t21;
    t7 = xsi_base_array_concat(t7, t18, t8, (char)97, t1, t19, (char)99, (unsigned char)2, (char)101);
    t21 = (7U + 1U);
    t22 = (8U != t21);
    if (t22 == 1)
        goto LAB15;

LAB16:    t10 = (t0 + 11528);
    t12 = (t10 + 56U);
    t23 = *((char **)t12);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memcpy(t25, t7, 8U);
    xsi_driver_first_trans_fast(t10);
    goto LAB8;

LAB12:    t1 = (t0 + 5512U);
    t5 = *((char **)t1);
    t13 = *((unsigned char *)t5);
    t14 = (t13 == (unsigned char)3);
    t3 = t14;
    goto LAB14;

LAB15:    xsi_size_not_matching(8U, t21, 0);
    goto LAB16;

LAB17:    xsi_set_current_line(161, ng0);
    t1 = (t0 + 2792U);
    t6 = *((char **)t1);
    t15 = (7 - 6);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t1 = (t6 + t17);
    t8 = ((IEEE_P_2592010699) + 4024);
    t9 = (t19 + 0U);
    t10 = (t9 + 0U);
    *((int *)t10) = 6;
    t10 = (t9 + 4U);
    *((int *)t10) = 0;
    t10 = (t9 + 8U);
    *((int *)t10) = -1;
    t20 = (0 - 6);
    t21 = (t20 * -1);
    t21 = (t21 + 1);
    t10 = (t9 + 12U);
    *((unsigned int *)t10) = t21;
    t7 = xsi_base_array_concat(t7, t18, t8, (char)97, t1, t19, (char)99, (unsigned char)3, (char)101);
    t21 = (7U + 1U);
    t22 = (8U != t21);
    if (t22 == 1)
        goto LAB22;

LAB23:    t10 = (t0 + 11528);
    t12 = (t10 + 56U);
    t23 = *((char **)t12);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memcpy(t25, t7, 8U);
    xsi_driver_first_trans_fast(t10);
    goto LAB8;

LAB19:    t1 = (t0 + 5512U);
    t5 = *((char **)t1);
    t13 = *((unsigned char *)t5);
    t14 = (t13 == (unsigned char)2);
    t3 = t14;
    goto LAB21;

LAB22:    xsi_size_not_matching(8U, t21, 0);
    goto LAB23;

}
static void work_a_0464918941_1181938964_p_6(char *t0)
{
    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;
    unsigned int t17;
    char *t18;
    char *t19;
    char *t20;

LAB0:    xsi_set_current_line(244, ng0);
    t1 = (t0 + 2848U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 708U);
    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 + 8644);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(245, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t5 = t1;
    memset(t5, (unsigned char)2, 8U);
    t6 = (t0 + 9096);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 8U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(247, ng0);
    t2 = (t0 + 824U);
    t6 = *((char **)t2);
    t13 = *((unsigned char *)t6);
    t14 = (t13 == (unsigned char)3);
    if (t14 != 0)
        goto LAB10;

LAB12:    t1 = (t0 + 2940U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB13;

LAB14:    xsi_set_current_line(256, ng0);
    t1 = (t0 + 3124U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t11 = (t4 == (unsigned char)3);
    if (t11 == 1)
        goto LAB30;

LAB31:    t1 = (t0 + 4412U);
    t5 = *((char **)t1);
    t12 = *((unsigned char *)t5);
    t13 = (t12 == (unsigned char)3);
    t3 = t13;

LAB32:    if (t3 != 0)
        goto LAB27;

LAB29:
LAB28:    xsi_set_current_line(260, ng0);
    t1 = xsi_get_transient_memory(2U);
    memset(t1, 0, 2U);
    t2 = t1;
    memset(t2, (unsigned char)2, 2U);
    t5 = (t0 + 9096);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 2U);
    xsi_driver_first_trans_delta(t5, 5U, 2U, 0LL);
    xsi_set_current_line(261, ng0);
    t1 = (t0 + 9096);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 40U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_delta(t1, 7U, 1, 0LL);

LAB11:    goto LAB3;

LAB7:    t2 = (t0 + 732U);
    t5 = *((char **)t2);
    t11 = *((unsigned char *)t5);
    t12 = (t11 == (unsigned char)3);
    t3 = t12;
    goto LAB9;

LAB10:    xsi_set_current_line(248, ng0);
    t2 = xsi_get_transient_memory(8U);
    memset(t2, 0, 8U);
    t7 = t2;
    memset(t7, (unsigned char)2, 8U);
    t8 = (t0 + 9096);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    t15 = (t10 + 40U);
    t16 = *((char **)t15);
    memcpy(t16, t2, 8U);
    xsi_driver_first_trans_fast(t8);
    goto LAB11;

LAB13:    xsi_set_current_line(250, ng0);
    t1 = (t0 + 3768U);
    t5 = *((char **)t1);
    t12 = *((unsigned char *)t5);
    t13 = (t12 == (unsigned char)3);
    if (t13 == 1)
        goto LAB18;

LAB19:    t11 = (unsigned char)0;

LAB20:    if (t11 != 0)
        goto LAB15;

LAB17:
LAB16:    goto LAB11;

LAB15:    xsi_set_current_line(253, ng0);
    t10 = (t0 + 1100U);
    t15 = *((char **)t10);
    t10 = (t0 + 9096);
    t16 = (t10 + 32U);
    t18 = *((char **)t16);
    t19 = (t18 + 40U);
    t20 = *((char **)t19);
    memcpy(t20, t15, 8U);
    xsi_driver_first_trans_fast(t10);
    goto LAB16;

LAB18:    t1 = (t0 + 1008U);
    t6 = *((char **)t1);
    t1 = (t0 + 17982);
    t14 = 1;
    if (3U == 3U)
        goto LAB21;

LAB22:    t14 = 0;

LAB23:    t11 = t14;
    goto LAB20;

LAB21:    t17 = 0;

LAB24:    if (t17 < 3U)
        goto LAB25;
    else
        goto LAB23;

LAB25:    t8 = (t6 + t17);
    t9 = (t1 + t17);
    if (*((unsigned char *)t8) != *((unsigned char *)t9))
        goto LAB22;

LAB26:    t17 = (t17 + 1);
    goto LAB24;

LAB27:    xsi_set_current_line(257, ng0);
    t1 = xsi_get_transient_memory(4U);
    memset(t1, 0, 4U);
    t6 = t1;
    memset(t6, (unsigned char)2, 4U);
    t7 = (t0 + 9096);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t15 = *((char **)t10);
    memcpy(t15, t1, 4U);
    xsi_driver_first_trans_delta(t7, 0U, 4U, 0LL);
    goto LAB28;

LAB30:    t3 = (unsigned char)1;
    goto LAB32;

}
static void work_a_0464918941_1181938964_p_5(char *t0)
{
    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;
    int t17;
    int t18;
    int t19;
    int t20;
    char *t21;
    int t23;
    char *t24;
    char *t25;
    char *t26;
    char *t27;
    char *t28;
    char *t29;

LAB0:    xsi_set_current_line(212, ng0);
    t1 = (t0 + 2848U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 708U);
    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 + 8636);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(213, ng0);
    t1 = xsi_get_transient_memory(16U);
    memset(t1, 0, 16U);
    t5 = t1;
    memset(t5, (unsigned char)3, 16U);
    t6 = (t0 + 8988);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 16U);
    xsi_driver_first_trans_fast(t6);
    xsi_set_current_line(214, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t2 = t1;
    memset(t2, (unsigned char)2, 8U);
    t5 = (t0 + 9024);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 8U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(215, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t2 = t1;
    memset(t2, (unsigned char)2, 8U);
    t5 = (t0 + 9060);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 8U);
    xsi_driver_first_trans_fast(t5);
    goto LAB3;

LAB5:    xsi_set_current_line(217, ng0);
    t2 = (t0 + 824U);
    t6 = *((char **)t2);
    t13 = *((unsigned char *)t6);
    t14 = (t13 == (unsigned char)3);
    if (t14 != 0)
        goto LAB10;

LAB12:    t1 = (t0 + 2940U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB13;

LAB14:
LAB11:    goto LAB3;

LAB7:    t2 = (t0 + 732U);
    t5 = *((char **)t2);
    t11 = *((unsigned char *)t5);
    t12 = (t11 == (unsigned char)3);
    t3 = t12;
    goto LAB9;

LAB10:    xsi_set_current_line(218, ng0);
    t2 = xsi_get_transient_memory(16U);
    memset(t2, 0, 16U);
    t7 = t2;
    memset(t7, (unsigned char)3, 16U);
    t8 = (t0 + 8988);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    t15 = (t10 + 40U);
    t16 = *((char **)t15);
    memcpy(t16, t2, 16U);
    xsi_driver_first_trans_fast(t8);
    xsi_set_current_line(219, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t2 = t1;
    memset(t2, (unsigned char)2, 8U);
    t5 = (t0 + 9024);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 8U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(220, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t2 = t1;
    memset(t2, (unsigned char)2, 8U);
    t5 = (t0 + 9060);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 8U);
    xsi_driver_first_trans_fast(t5);
    goto LAB11;

LAB13:    xsi_set_current_line(222, ng0);
    t1 = (t0 + 1008U);
    t5 = *((char **)t1);
    t1 = (t0 + 17911);
    t17 = xsi_mem_cmp(t1, t5, 3U);
    if (t17 == 1)
        goto LAB16;

LAB22:    t7 = (t0 + 17914);
    t18 = xsi_mem_cmp(t7, t5, 3U);
    if (t18 == 1)
        goto LAB17;

LAB23:    t9 = (t0 + 17917);
    t19 = xsi_mem_cmp(t9, t5, 3U);
    if (t19 == 1)
        goto LAB18;

LAB24:    t15 = (t0 + 17920);
    t20 = xsi_mem_cmp(t15, t5, 3U);
    if (t20 == 1)
        goto LAB19;

LAB25:    t21 = (t0 + 17923);
    t23 = xsi_mem_cmp(t21, t5, 3U);
    if (t23 == 1)
        goto LAB20;

LAB26:
LAB21:    xsi_set_current_line(231, ng0);
    t1 = (t0 + 17926);
    xsi_report(t1, 56U, 0);
    xsi_set_current_line(232, ng0);
    t1 = xsi_get_transient_memory(16U);
    memset(t1, 0, 16U);
    t2 = t1;
    memset(t2, (unsigned char)1, 16U);
    t5 = (t0 + 8988);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 16U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(233, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t2 = t1;
    memset(t2, (unsigned char)1, 8U);
    t5 = (t0 + 9024);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 8U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(234, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t2 = t1;
    memset(t2, (unsigned char)1, 8U);
    t5 = (t0 + 9060);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 8U);
    xsi_driver_first_trans_fast(t5);

LAB15:    goto LAB11;

LAB16:    xsi_set_current_line(223, ng0);
    t24 = (t0 + 1100U);
    t25 = *((char **)t24);
    t24 = (t0 + 8988);
    t26 = (t24 + 32U);
    t27 = *((char **)t26);
    t28 = (t27 + 40U);
    t29 = *((char **)t28);
    memcpy(t29, t25, 8U);
    xsi_driver_first_trans_delta(t24, 8U, 8U, 0LL);
    goto LAB15;

LAB17:    xsi_set_current_line(224, ng0);
    t1 = (t0 + 1100U);
    t2 = *((char **)t1);
    t1 = (t0 + 8988);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 8U);
    xsi_driver_first_trans_delta(t1, 0U, 8U, 0LL);
    goto LAB15;

LAB18:    xsi_set_current_line(225, ng0);
    t1 = (t0 + 1100U);
    t2 = *((char **)t1);
    t1 = (t0 + 9024);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 8U);
    xsi_driver_first_trans_fast(t1);
    goto LAB15;

LAB19:    xsi_set_current_line(226, ng0);
    t1 = (t0 + 1100U);
    t2 = *((char **)t1);
    t1 = (t0 + 9060);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 8U);
    xsi_driver_first_trans_fast(t1);
    goto LAB15;

LAB20:    xsi_set_current_line(227, ng0);
    goto LAB15;

LAB27:;
}
static void axi_hdmi_v1_00_a_a_0888816447_3212880686_p_8(char *t0)
{
    char t14[16];
    char *t1;
    unsigned 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;
    unsigned char t12;
    unsigned char t13;
    char *t15;
    char *t16;
    char *t17;
    unsigned int t18;
    unsigned int t19;
    unsigned char t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;

LAB0:    xsi_set_current_line(205, 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 + 10160);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(206, ng0);
    t4 = (t0 + 2632U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)6);
    if (t7 == 1)
        goto LAB8;

LAB9:    t4 = (t0 + 2632U);
    t8 = *((char **)t4);
    t9 = *((unsigned char *)t8);
    t10 = (t9 == (unsigned char)3);
    t3 = t10;

LAB10:    if (t3 != 0)
        goto LAB5;

LAB7:    t1 = (t0 + 2632U);
    t4 = *((char **)t1);
    t2 = *((unsigned char *)t4);
    t3 = (t2 == (unsigned char)7);
    if (t3 != 0)
        goto LAB16;

LAB17:    xsi_set_current_line(213, ng0);
    t1 = xsi_get_transient_memory(4U);
    memset(t1, 0, 4U);
    t4 = t1;
    memset(t4, (unsigned char)2, 4U);
    t5 = (t0 + 10928);
    t8 = (t5 + 56U);
    t11 = *((char **)t8);
    t15 = (t11 + 56U);
    t16 = *((char **)t15);
    memcpy(t16, t1, 4U);
    xsi_driver_first_trans_fast(t5);

LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(207, ng0);
    t4 = (t0 + 3592U);
    t11 = *((char **)t4);
    t12 = *((unsigned char *)t11);
    t13 = (t12 == (unsigned char)3);
    if (t13 != 0)
        goto LAB11;

LAB13:
LAB12:    goto LAB6;

LAB8:    t3 = (unsigned char)1;
    goto LAB10;

LAB11:    xsi_set_current_line(208, ng0);
    t4 = (t0 + 4392U);
    t15 = *((char **)t4);
    t4 = (t0 + 18480U);
    t16 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t15, t4, (unsigned char)3);
    t17 = (t14 + 12U);
    t18 = *((unsigned int *)t17);
    t19 = (1U * t18);
    t20 = (4U != t19);
    if (t20 == 1)
        goto LAB14;

LAB15:    t21 = (t0 + 10928);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memcpy(t25, t16, 4U);
    xsi_driver_first_trans_fast(t21);
    goto LAB12;

LAB14:    xsi_size_not_matching(4U, t19, 0);
    goto LAB15;

LAB16:    xsi_set_current_line(211, ng0);
    t1 = (t0 + 18625);
    t8 = (t0 + 10928);
    t11 = (t8 + 56U);
    t15 = *((char **)t11);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    memcpy(t17, t1, 4U);
    xsi_driver_first_trans_fast(t8);
    goto LAB6;

}
char *xilinxcorelib_a_3160786307_3212880686_sub_3999167911_3057020925(char *t1, char *t2, unsigned char t3, char *t4, char *t5, char *t6, char *t7)
{
    char t9[40];
    char *t0;
    char *t10;
    char *t11;
    unsigned char t12;
    char *t13;
    char *t14;
    unsigned char t15;
    char *t16;
    unsigned char t17;
    char *t18;
    unsigned int t19;
    char *t20;
    int t21;
    char *t22;
    int t23;
    char *t24;
    int t25;
    char *t26;
    char *t27;
    int t28;
    unsigned int t29;

LAB0:    t10 = (t9 + 4U);
    *((unsigned char *)t10) = t3;
    t11 = (t9 + 5U);
    t12 = (t4 != 0);
    if (t12 == 1)
        goto LAB3;

LAB2:    t13 = (t9 + 13U);
    *((char **)t13) = t5;
    t14 = (t9 + 21U);
    t15 = (t6 != 0);
    if (t15 == 1)
        goto LAB5;

LAB4:    t16 = (t9 + 29U);
    *((char **)t16) = t7;
    t17 = (!(t3));
    if (t17 != 0)
        goto LAB6;

LAB8:    t18 = (t5 + 12U);
    t19 = *((unsigned int *)t18);
    t19 = (t19 * 1U);
    t0 = xsi_get_transient_memory(t19);
    memcpy(t0, t4, t19);
    t20 = (t5 + 0U);
    t21 = *((int *)t20);
    t22 = (t5 + 4U);
    t23 = *((int *)t22);
    t24 = (t5 + 8U);
    t25 = *((int *)t24);
    t26 = (t2 + 0U);
    t27 = (t26 + 0U);
    *((int *)t27) = t21;
    t27 = (t26 + 4U);
    *((int *)t27) = t23;
    t27 = (t26 + 8U);
    *((int *)t27) = t25;
    t28 = (t23 - t21);
    t29 = (t28 * t25);
    t29 = (t29 + 1);
    t27 = (t26 + 12U);
    *((unsigned int *)t27) = t29;

LAB1:    return t0;
LAB3:    *((char **)t11) = t4;
    goto LAB2;

LAB5:    *((char **)t14) = t6;
    goto LAB4;

LAB6:    t18 = (t7 + 12U);
    t19 = *((unsigned int *)t18);
    t19 = (t19 * 1U);
    t0 = xsi_get_transient_memory(t19);
    memcpy(t0, t6, t19);
    t20 = (t7 + 0U);
    t21 = *((int *)t20);
    t22 = (t7 + 4U);
    t23 = *((int *)t22);
    t24 = (t7 + 8U);
    t25 = *((int *)t24);
    t26 = (t2 + 0U);
    t27 = (t26 + 0U);
    *((int *)t27) = t21;
    t27 = (t26 + 4U);
    *((int *)t27) = t23;
    t27 = (t26 + 8U);
    *((int *)t27) = t25;
    t28 = (t23 - t21);
    t29 = (t28 * t25);
    t29 = (t29 + 1);
    t27 = (t26 + 12U);
    *((unsigned int *)t27) = t29;
    goto LAB1;

LAB7:    xsi_error(ng1);
    t0 = 0;
    goto LAB1;

LAB9:    goto LAB7;

LAB10:    goto LAB7;

}
static void axi_hdmi_v1_00_a_a_0888816447_3212880686_p_6(char *t0)
{
    char t16[16];
    char t26[16];
    char *t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    unsigned char t8;
    unsigned char t9;
    unsigned char t10;
    unsigned char t11;
    unsigned char t12;
    char *t13;
    char *t14;
    char *t15;
    int t17;
    unsigned int t18;
    char *t19;
    char *t20;
    unsigned int t21;
    unsigned int t22;
    unsigned int t23;
    unsigned int t24;
    unsigned int t25;
    int t27;
    unsigned int t28;
    char *t29;
    char *t30;
    char *t31;
    static char *nl0[] = {&&LAB3, &&LAB4, &&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB9, &&LAB10};

LAB0:    xsi_set_current_line(126, ng0);
    t1 = (t0 + 2632U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 10800);
    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(127, ng0);
    t1 = (t0 + 2632U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t3);
    goto **((char **)t1);

LAB2:    xsi_set_current_line(174, ng0);
    t1 = (t0 + 3272U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t8 = (t3 == (unsigned char)3);
    if (t8 != 0)
        goto LAB62;

LAB64:
LAB63:    xsi_set_current_line(179, ng0);
    t1 = (t0 + 3432U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t8 = (t3 == (unsigned char)3);
    if (t8 != 0)
        goto LAB65;

LAB67:
LAB66:    t1 = (t0 + 10128);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    xsi_set_current_line(129, ng0);
    t4 = (t0 + 1352U);
    t5 = *((char **)t4);
    t9 = *((unsigned char *)t5);
    t10 = (t9 == (unsigned char)3);
    if (t10 == 1)
        goto LAB15;

LAB16:    t8 = (unsigned char)0;

LAB17:    if (t8 != 0)
        goto LAB12;

LAB14:
LAB13:    goto LAB2;

LAB4:    xsi_set_current_line(133, ng0);
    t1 = (t0 + 3752U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t9 = (t8 == (unsigned char)3);
    if (t9 == 1)
        goto LAB21;

LAB22:    t3 = (unsigned char)0;

LAB23:    if (t3 != 0)
        goto LAB18;

LAB20:
LAB19:    goto LAB2;

LAB5:    xsi_set_current_line(137, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t8 = (t3 == (unsigned char)3);
    if (t8 != 0)
        goto LAB24;

LAB26:
LAB25:    goto LAB2;

LAB6:    xsi_set_current_line(141, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t8 = (t3 == (unsigned char)3);
    if (t8 != 0)
        goto LAB27;

LAB29:
LAB28:    goto LAB2;

LAB7:    xsi_set_current_line(153, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t8 = (t3 == (unsigned char)3);
    if (t8 != 0)
        goto LAB36;

LAB38:
LAB37:    goto LAB2;

LAB8:    xsi_set_current_line(157, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t9 = (t8 == (unsigned char)3);
    if (t9 == 1)
        goto LAB42;

LAB43:    t3 = (unsigned char)0;

LAB44:    if (t3 != 0)
        goto LAB39;

LAB41:
LAB40:    goto LAB2;

LAB9:    xsi_set_current_line(161, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t9 = (t8 == (unsigned char)3);
    if (t9 == 1)
        goto LAB48;

LAB49:    t3 = (unsigned char)0;

LAB50:    if (t3 != 0)
        goto LAB45;

LAB47:
LAB46:    goto LAB2;

LAB10:    xsi_set_current_line(165, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t9 = (t8 == (unsigned char)3);
    if (t9 == 1)
        goto LAB54;

LAB55:    t3 = (unsigned char)0;

LAB56:    if (t3 != 0)
        goto LAB51;

LAB53:    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t9 = (t8 == (unsigned char)3);
    if (t9 == 1)
        goto LAB59;

LAB60:    t3 = (unsigned char)0;

LAB61:    if (t3 != 0)
        goto LAB57;

LAB58:
LAB52:    goto LAB2;

LAB11:    xsi_set_current_line(170, ng0);
    t1 = (t0 + 10800);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB2;

LAB12:    xsi_set_current_line(130, ng0);
    t4 = (t0 + 10800);
    t7 = (t4 + 56U);
    t13 = *((char **)t7);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    *((unsigned char *)t15) = (unsigned char)1;
    xsi_driver_first_trans_fast(t4);
    goto LAB13;

LAB15:    t4 = (t0 + 3272U);
    t6 = *((char **)t4);
    t11 = *((unsigned char *)t6);
    t12 = (t11 == (unsigned char)3);
    t8 = t12;
    goto LAB17;

LAB18:    xsi_set_current_line(134, ng0);
    t13 = (t0 + 10800);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    t19 = (t15 + 56U);
    t20 = *((char **)t19);
    *((unsigned char *)t20) = (unsigned char)2;
    xsi_driver_first_trans_fast(t13);
    goto LAB19;

LAB21:    t1 = (t0 + 4232U);
    t4 = *((char **)t1);
    t1 = (t0 + 18480U);
    t5 = (t0 + 18605);
    t7 = (t16 + 0U);
    t13 = (t7 + 0U);
    *((int *)t13) = 0;
    t13 = (t7 + 4U);
    *((int *)t13) = 3;
    t13 = (t7 + 8U);
    *((int *)t13) = 1;
    t17 = (3 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t13 = (t7 + 12U);
    *((unsigned int *)t13) = t18;
    t10 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t4, t1, t5, t16);
    t3 = t10;
    goto LAB23;

LAB24:    xsi_set_current_line(138, ng0);
    t1 = (t0 + 10800);
    t4 = (t1 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    goto LAB25;

LAB27:    xsi_set_current_line(142, ng0);
    t1 = (t0 + 4552U);
    t4 = *((char **)t1);
    t18 = (7 - 7);
    t21 = (t18 * 1U);
    t22 = (0 + t21);
    t1 = (t4 + t22);
    t5 = (t16 + 0U);
    t6 = (t5 + 0U);
    *((int *)t6) = 7;
    t6 = (t5 + 4U);
    *((int *)t6) = 1;
    t6 = (t5 + 8U);
    *((int *)t6) = -1;
    t17 = (1 - 7);
    t23 = (t17 * -1);
    t23 = (t23 + 1);
    t6 = (t5 + 12U);
    *((unsigned int *)t6) = t23;
    t6 = (t0 + 18609);
    t23 = (7 - 7);
    t24 = (t23 * 1U);
    t25 = (0 + t24);
    t13 = (t6 + t25);
    t14 = (t26 + 0U);
    t15 = (t14 + 0U);
    *((int *)t15) = 7;
    t15 = (t14 + 4U);
    *((int *)t15) = 1;
    t15 = (t14 + 8U);
    *((int *)t15) = -1;
    t27 = (1 - 7);
    t28 = (t27 * -1);
    t28 = (t28 + 1);
    t15 = (t14 + 12U);
    *((unsigned int *)t15) = t28;
    t9 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t1, t16, t13, t26);
    if (t9 != 0)
        goto LAB30;

LAB32:    xsi_set_current_line(149, ng0);
    t1 = (t0 + 10800);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);

LAB31:    goto LAB28;

LAB30:    xsi_set_current_line(143, ng0);
    t15 = (t0 + 3912U);
    t19 = *((char **)t15);
    t10 = *((unsigned char *)t19);
    t11 = (t10 == (unsigned char)3);
    if (t11 != 0)
        goto LAB33;

LAB35:    xsi_set_current_line(146, ng0);
    t1 = (t0 + 10800);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)5;
    xsi_driver_first_trans_fast(t1);

LAB34:    goto LAB31;

LAB33:    xsi_set_current_line(144, ng0);
    t15 = (t0 + 10800);
    t20 = (t15 + 56U);
    t29 = *((char **)t20);
    t30 = (t29 + 56U);
    t31 = *((char **)t30);
    *((unsigned char *)t31) = (unsigned char)6;
    xsi_driver_first_trans_fast(t15);
    goto LAB34;

LAB36:    xsi_set_current_line(154, ng0);
    t1 = (t0 + 10800);
    t4 = (t1 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)5;
    xsi_driver_first_trans_fast(t1);
    goto LAB37;

LAB39:    xsi_set_current_line(158, ng0);
    t13 = (t0 + 10800);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    t19 = (t15 + 56U);
    t20 = *((char **)t19);
    *((unsigned char *)t20) = (unsigned char)4;
    xsi_driver_first_trans_fast(t13);
    goto LAB40;

LAB42:    t1 = (t0 + 4232U);
    t4 = *((char **)t1);
    t1 = (t0 + 18480U);
    t5 = (t0 + 18617);
    t7 = (t16 + 0U);
    t13 = (t7 + 0U);
    *((int *)t13) = 0;
    t13 = (t7 + 4U);
    *((int *)t13) = 3;
    t13 = (t7 + 8U);
    *((int *)t13) = 1;
    t17 = (3 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t13 = (t7 + 12U);
    *((unsigned int *)t13) = t18;
    t10 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t4, t1, t5, t16);
    t3 = t10;
    goto LAB44;

LAB45:    xsi_set_current_line(162, ng0);
    t13 = (t0 + 10800);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    t19 = (t15 + 56U);
    t20 = *((char **)t19);
    *((unsigned char *)t20) = (unsigned char)7;
    xsi_driver_first_trans_fast(t13);
    goto LAB46;

LAB48:    t1 = (t0 + 4392U);
    t4 = *((char **)t1);
    t1 = (t0 + 18480U);
    t5 = (t0 + 18621);
    t7 = (t16 + 0U);
    t13 = (t7 + 0U);
    *((int *)t13) = 0;
    t13 = (t7 + 4U);
    *((int *)t13) = 3;
    t13 = (t7 + 8U);
    *((int *)t13) = 1;
    t17 = (3 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t13 = (t7 + 12U);
    *((unsigned int *)t13) = t18;
    t10 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t4, t1, t5, t16);
    t3 = t10;
    goto LAB50;

LAB51:    xsi_set_current_line(166, ng0);
    t1 = (t0 + 10800);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t13 = *((char **)t7);
    *((unsigned char *)t13) = (unsigned char)6;
    xsi_driver_first_trans_fast(t1);
    goto LAB52;

LAB54:    t1 = (t0 + 4072U);
    t4 = *((char **)t1);
    t10 = *((unsigned char *)t4);
    t11 = (t10 == (unsigned char)3);
    t3 = t11;
    goto LAB56;

LAB57:    xsi_set_current_line(168, ng0);
    t1 = (t0 + 10800);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t13 = *((char **)t7);
    *((unsigned char *)t13) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB52;

LAB59:    t1 = (t0 + 4072U);
    t4 = *((char **)t1);
    t10 = *((unsigned char *)t4);
    t11 = (t10 == (unsigned char)2);
    t3 = t11;
    goto LAB61;

LAB62:    xsi_set_current_line(175, ng0);
    t1 = (t0 + 10800);
    t4 = (t1 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);
    goto LAB63;

LAB65:    xsi_set_current_line(180, ng0);
    t1 = (t0 + 10800);
    t4 = (t1 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB66;

}

static void axi_hdmi_v1_00_a_a_0888816447_3212880686_p_7(char *t0)
{
    char t14[16];
    char *t1;
    unsigned 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;
    unsigned char t12;
    unsigned char t13;
    char *t15;
    char *t16;
    char *t17;
    unsigned int t18;
    unsigned int t19;
    unsigned char t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;

LAB0:    xsi_set_current_line(189, 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 + 10144);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(190, ng0);
    t4 = (t0 + 2632U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)1);
    if (t7 == 1)
        goto LAB8;

LAB9:    t4 = (t0 + 2632U);
    t8 = *((char **)t4);
    t9 = *((unsigned char *)t8);
    t10 = (t9 == (unsigned char)5);
    t3 = t10;

LAB10:    if (t3 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(195, ng0);
    t1 = xsi_get_transient_memory(4U);
    memset(t1, 0, 4U);
    t4 = t1;
    memset(t4, (unsigned char)2, 4U);
    t5 = (t0 + 10864);
    t8 = (t5 + 56U);
    t11 = *((char **)t8);
    t15 = (t11 + 56U);
    t16 = *((char **)t15);
    memcpy(t16, t1, 4U);
    xsi_driver_first_trans_fast(t5);

LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(191, ng0);
    t4 = (t0 + 3752U);
    t11 = *((char **)t4);
    t12 = *((unsigned char *)t11);
    t13 = (t12 == (unsigned char)3);
    if (t13 != 0)
        goto LAB11;

LAB13:
LAB12:    goto LAB6;

LAB8:    t3 = (unsigned char)1;
    goto LAB10;

LAB11:    xsi_set_current_line(192, ng0);
    t4 = (t0 + 4232U);
    t15 = *((char **)t4);
    t4 = (t0 + 18480U);
    t16 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t15, t4, (unsigned char)3);
    t17 = (t14 + 12U);
    t18 = *((unsigned int *)t17);
    t19 = (1U * t18);
    t20 = (4U != t19);
    if (t20 == 1)
        goto LAB14;

LAB15:    t21 = (t0 + 10864);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memcpy(t25, t16, 4U);
    xsi_driver_first_trans_fast(t21);
    goto LAB12;

LAB14:    xsi_size_not_matching(4U, t19, 0);
    goto LAB15;

}
Beispiel #18
0
static void work_a_3520326411_3212880686_p_3(char *t0)
{
    char t12[16];
    unsigned char t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    char *t6;
    char *t7;
    char *t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    char *t13;
    char *t14;
    int t15;
    unsigned int t16;
    unsigned char t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    char *t27;
    char *t28;
    char *t29;
    char *t30;

LAB0:    xsi_set_current_line(84, ng0);
    t2 = (t0 + 2632U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)3);
    if (t5 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

LAB7:    if (t1 != 0)
        goto LAB3;

LAB4:
LAB8:    t23 = xsi_get_transient_memory(32U);
    memset(t23, 0, 32U);
    t24 = t23;
    memset(t24, (unsigned char)4, 32U);
    t25 = (t0 + 5552);
    t26 = (t25 + 56U);
    t27 = *((char **)t26);
    t28 = (t27 + 56U);
    t29 = *((char **)t28);
    memcpy(t29, t23, 32U);
    xsi_driver_first_trans_fast_port(t25);

LAB2:    t30 = (t0 + 5264);
    *((int *)t30) = 1;

LAB1:    return;
LAB3:    t14 = (t0 + 1992U);
    t18 = *((char **)t14);
    t14 = (t0 + 5552);
    t19 = (t14 + 56U);
    t20 = *((char **)t19);
    t21 = (t20 + 56U);
    t22 = *((char **)t21);
    memcpy(t22, t18, 32U);
    xsi_driver_first_trans_fast_port(t14);
    goto LAB2;

LAB5:    t2 = ((WORK_P_4079225897) + 3568U);
    t6 = *((char **)t2);
    t2 = ((WORK_P_4079225897) + 26720U);
    t7 = (t0 + 1672U);
    t8 = *((char **)t7);
    t9 = (10 - 0);
    t10 = (t9 * 1U);
    t11 = (0 + t10);
    t7 = (t8 + t11);
    t13 = (t12 + 0U);
    t14 = (t13 + 0U);
    *((int *)t14) = 0;
    t14 = (t13 + 4U);
    *((int *)t14) = 0;
    t14 = (t13 + 8U);
    *((int *)t14) = -1;
    t15 = (0 - 0);
    t16 = (t15 * -1);
    t16 = (t16 + 1);
    t14 = (t13 + 12U);
    *((unsigned int *)t14) = t16;
    t17 = ieee_p_0774719531_sub_1306448836232530671_2162500114(IEEE_P_0774719531, t6, t2, t7, t12);
    t1 = t17;
    goto LAB7;

LAB9:    goto LAB2;

}
static void unisim_a_2955268715_1990404599_p_1(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    unsigned char t10;
    unsigned char t11;
    char *t12;
    unsigned char t13;
    unsigned char t14;
    unsigned char t15;
    char *t16;
    unsigned char t17;
    unsigned char t18;
    char *t19;
    char *t20;
    unsigned char t21;
    unsigned char t22;
    unsigned char t23;
    char *t24;
    char *t25;
    unsigned char t26;
    unsigned char t27;
    char *t28;
    unsigned char t29;
    unsigned char t30;
    int t31;
    int t32;
    int64 t33;
    int t34;
    int t35;
    int t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    int t40;
    int t41;
    unsigned int t42;
    unsigned int t43;
    unsigned int t44;
    char *t45;
    char *t46;
    char *t47;
    char *t48;
    char *t49;
    char *t50;
    int t51;
    int t52;
    unsigned int t53;
    unsigned int t54;
    unsigned int t55;
    char *t56;

LAB0:    t1 = (t0 + 4320U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 3088U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    if (t4 != 0)
        goto LAB4;

LAB6:
LAB5:    t2 = (t0 + 1952U);
    t5 = xsi_signal_has_event(t2);
    if (t5 == 1)
        goto LAB29;

LAB30:    t4 = (unsigned char)0;

LAB31:    if (t4 != 0)
        goto LAB26;

LAB28:    t2 = (t0 + 1952U);
    t5 = xsi_signal_has_event(t2);
    if (t5 == 1)
        goto LAB52;

LAB53:    t4 = (unsigned char)0;

LAB54:    if (t4 != 0)
        goto LAB50;

LAB51:
LAB27:
LAB63:    t2 = (t0 + 4672);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB64;

LAB1:    return;
LAB4:
LAB9:    t2 = (t0 + 4656);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB10;
    goto LAB1;

LAB7:    t24 = (t0 + 4656);
    *((int *)t24) = 0;
    t2 = (t0 + 3088U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((unsigned char *)t2) = (unsigned char)0;
    goto LAB5;

LAB8:    t8 = (t0 + 1832U);
    t9 = *((char **)t8);
    t10 = *((unsigned char *)t9);
    t11 = (t10 == (unsigned char)3);
    if (t11 == 1)
        goto LAB17;

LAB18:    t8 = (t0 + 1832U);
    t12 = *((char **)t8);
    t13 = *((unsigned char *)t12);
    t14 = (t13 == (unsigned char)2);
    t7 = t14;

LAB19:    if (t7 == 1)
        goto LAB14;

LAB15:    t6 = (unsigned char)0;

LAB16:    if (t6 == 1)
        goto LAB11;

LAB12:    t5 = (unsigned char)0;

LAB13:    if (t5 == 1)
        goto LAB7;
    else
        goto LAB9;

LAB10:    goto LAB8;

LAB11:    t24 = (t0 + 1992U);
    t25 = *((char **)t24);
    t26 = *((unsigned char *)t25);
    t27 = (t26 == (unsigned char)2);
    if (t27 == 1)
        goto LAB23;

LAB24:    t24 = (t0 + 1992U);
    t28 = *((char **)t24);
    t29 = *((unsigned char *)t28);
    t30 = (t29 == (unsigned char)3);
    t23 = t30;

LAB25:    t5 = t23;
    goto LAB13;

LAB14:    t8 = (t0 + 1952U);
    t16 = xsi_signal_last_value(t8);
    t17 = *((unsigned char *)t16);
    t18 = (t17 == (unsigned char)2);
    if (t18 == 1)
        goto LAB20;

LAB21:    t19 = (t0 + 1952U);
    t20 = xsi_signal_last_value(t19);
    t21 = *((unsigned char *)t20);
    t22 = (t21 == (unsigned char)3);
    t15 = t22;

LAB22:    t6 = t15;
    goto LAB16;

LAB17:    t7 = (unsigned char)1;
    goto LAB19;

LAB20:    t15 = (unsigned char)1;
    goto LAB22;

LAB23:    t23 = (unsigned char)1;
    goto LAB25;

LAB26:    t9 = (t0 + 1992U);
    t12 = *((char **)t9);
    t10 = *((unsigned char *)t12);
    t11 = (t10 == (unsigned char)3);
    if (t11 != 0)
        goto LAB32;

LAB34:    t2 = (t0 + 1992U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)1);
    if (t5 != 0)
        goto LAB45;

LAB46:
LAB33:    goto LAB27;

LAB29:    t3 = (t0 + 1952U);
    t8 = xsi_signal_last_value(t3);
    t6 = *((unsigned char *)t8);
    t7 = (t6 == (unsigned char)2);
    t4 = t7;
    goto LAB31;

LAB32:    t9 = (t0 + 1832U);
    t16 = *((char **)t9);
    t13 = *((unsigned char *)t16);
    t14 = (t13 == (unsigned char)3);
    if (t14 != 0)
        goto LAB35;

LAB37:    t2 = (t0 + 1832U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)1);
    if (t5 != 0)
        goto LAB43;

LAB44:
LAB36:    goto LAB33;

LAB35:    t9 = (t0 + 7305);
    *((int *)t9) = 15;
    t19 = (t0 + 7309);
    *((int *)t19) = 1;
    t31 = 15;
    t32 = 1;

LAB38:    if (t31 >= t32)
        goto LAB39;

LAB41:    t33 = (100 * 10LL);
    t2 = (t0 + 2152U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 4816);
    t8 = (t2 + 56U);
    t9 = *((char **)t8);
    t12 = (t9 + 56U);
    t16 = *((char **)t12);
    *((unsigned char *)t16) = t4;
    xsi_driver_first_trans_delta(t2, 16U, 1, t33);
    t19 = (t0 + 4816);
    xsi_driver_intertial_reject(t19, t33, t33);
    goto LAB36;

LAB39:    t33 = (100 * 10LL);
    t20 = (t0 + 2312U);
    t24 = *((char **)t20);
    t20 = (t0 + 7305);
    t34 = *((int *)t20);
    t35 = (t34 - 1);
    t36 = (t35 - 16);
    t37 = (t36 * -1);
    xsi_vhdl_check_range_of_index(16, 0, -1, t35);
    t38 = (1U * t37);
    t39 = (0 + t38);
    t25 = (t24 + t39);
    t15 = *((unsigned char *)t25);
    t28 = (t0 + 7305);
    t40 = *((int *)t28);
    t41 = (t40 - 16);
    t42 = (t41 * -1);
    t43 = (1 * t42);
    t44 = (0U + t43);
    t45 = (t0 + 4816);
    t46 = (t45 + 56U);
    t47 = *((char **)t46);
    t48 = (t47 + 56U);
    t49 = *((char **)t48);
    *((unsigned char *)t49) = t15;
    xsi_driver_first_trans_delta(t45, t44, 1, t33);
    t50 = (t0 + 7305);
    t51 = *((int *)t50);
    t52 = (t51 - 16);
    t53 = (t52 * -1);
    t54 = (1 * t53);
    t55 = (0U + t54);
    t56 = (t0 + 4816);
    xsi_driver_intertial_reject(t56, t33, t33);

LAB40:    t2 = (t0 + 7305);
    t31 = *((int *)t2);
    t3 = (t0 + 7309);
    t32 = *((int *)t3);
    if (t31 == t32)
        goto LAB41;

LAB42:    t34 = (t31 + -1);
    t31 = t34;
    t8 = (t0 + 7305);
    *((int *)t8) = t31;
    goto LAB38;

LAB43:    t33 = (100 * 10LL);
    t2 = xsi_get_transient_memory(17U);
    memset(t2, 0, 17U);
    t8 = t2;
    memset(t8, (unsigned char)1, 17U);
    t9 = (t0 + 4816);
    t12 = (t9 + 56U);
    t16 = *((char **)t12);
    t19 = (t16 + 56U);
    t20 = *((char **)t19);
    memcpy(t20, t2, 17U);
    xsi_driver_first_trans_delta(t9, 0U, 17U, t33);
    t24 = (t0 + 4816);
    xsi_driver_intertial_reject(t24, t33, t33);
    goto LAB36;

LAB45:    t2 = (t0 + 1832U);
    t8 = *((char **)t2);
    t6 = *((unsigned char *)t8);
    t7 = (t6 != (unsigned char)2);
    if (t7 != 0)
        goto LAB47;

LAB49:
LAB48:    goto LAB33;

LAB47:    t33 = (100 * 10LL);
    t2 = xsi_get_transient_memory(17U);
    memset(t2, 0, 17U);
    t9 = t2;
    memset(t9, (unsigned char)1, 17U);
    t12 = (t0 + 4816);
    t16 = (t12 + 56U);
    t19 = *((char **)t16);
    t20 = (t19 + 56U);
    t24 = *((char **)t20);
    memcpy(t24, t2, 17U);
    xsi_driver_first_trans_delta(t12, 0U, 17U, t33);
    t25 = (t0 + 4816);
    xsi_driver_intertial_reject(t25, t33, t33);
    goto LAB48;

LAB50:    t9 = (t0 + 1992U);
    t12 = *((char **)t9);
    t10 = *((unsigned char *)t12);
    t11 = (t10 == (unsigned char)3);
    if (t11 != 0)
        goto LAB55;

LAB57:
LAB56:    goto LAB27;

LAB52:    t3 = (t0 + 1952U);
    t8 = xsi_signal_last_value(t3);
    t6 = *((unsigned char *)t8);
    t7 = (t6 == (unsigned char)1);
    t4 = t7;
    goto LAB54;

LAB55:    t9 = (t0 + 1832U);
    t16 = *((char **)t9);
    t13 = *((unsigned char *)t16);
    t14 = (t13 != (unsigned char)2);
    if (t14 != 0)
        goto LAB58;

LAB60:
LAB59:    goto LAB56;

LAB58:    t33 = (100 * 10LL);
    t9 = xsi_get_transient_memory(17U);
    memset(t9, 0, 17U);
    t19 = t9;
    memset(t19, (unsigned char)1, 17U);
    t20 = (t0 + 4816);
    t24 = (t20 + 56U);
    t25 = *((char **)t24);
    t28 = (t25 + 56U);
    t45 = *((char **)t28);
    memcpy(t45, t9, 17U);
    xsi_driver_first_trans_delta(t20, 0U, 17U, t33);
    t46 = (t0 + 4816);
    xsi_driver_intertial_reject(t46, t33, t33);
    goto LAB59;

LAB61:    t3 = (t0 + 4672);
    *((int *)t3) = 0;
    goto LAB2;

LAB62:    goto LAB61;

LAB64:    goto LAB62;

}
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_1879590719_3212880686_p_0(char *t0)
{
    char t16[16];
    char t23[16];
    char t25[16];
    char *t1;
    char *t2;
    char *t3;
    int t4;
    int t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    int t10;
    int t11;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    char *t15;
    unsigned char t17;
    unsigned char t18;
    unsigned char t19;
    unsigned char t20;
    unsigned char t21;
    unsigned char t22;
    char *t24;
    char *t26;
    char *t27;
    int t28;
    int t29;
    int t30;
    unsigned int t31;
    unsigned int t32;
    unsigned int t33;
    unsigned int t34;

LAB0:    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(36, ng0);
    t2 = (t0 + 10512);
    *((int *)t2) = 0;
    t3 = (t0 + 10516);
    *((int *)t3) = 511;
    t4 = 0;
    t5 = 511;

LAB4:    if (t4 <= t5)
        goto LAB5;

LAB7:    xsi_set_current_line(40, ng0);
    t2 = (t0 + 1728U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((int *)t2) = 0;
    xsi_set_current_line(41, ng0);
    t2 = (t0 + 2296U);
    t3 = (t0 + 10520);
    t7 = (t16 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 1;
    t8 = (t7 + 4U);
    *((int *)t8) = 11;
    t8 = (t7 + 8U);
    *((int *)t8) = 1;
    t4 = (11 - 1);
    t12 = (t4 * 1);
    t12 = (t12 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t12;
    std_textio_file_open1(t2, t3, t16, (unsigned char)0);
    xsi_set_current_line(42, ng0);

LAB9:    t2 = (t0 + 2296U);
    t17 = std_textio_endfile(t2);
    t18 = (!(t17));
    if (t18 != 0)
        goto LAB10;

LAB12:    xsi_set_current_line(76, ng0);

LAB46:
LAB47:    xsi_set_current_line(77, ng0);
    t2 = (t0 + 1968U);
    t3 = *((char **)t2);
    t2 = (t0 + 1032U);
    t6 = *((char **)t2);
    t12 = (31 - 8);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t2 = (t6 + t14);
    t7 = (t16 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 8;
    t8 = (t7 + 4U);
    *((int *)t8) = 0;
    t8 = (t7 + 8U);
    *((int *)t8) = -1;
    t4 = (0 - 8);
    t31 = (t4 * -1);
    t31 = (t31 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t31;
    t5 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t2, t16);
    t10 = (t5 - 511);
    t31 = (t10 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t5);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t8 = (t3 + t33);
    t9 = (t0 + 3528);
    t15 = (t9 + 56U);
    t24 = *((char **)t15);
    t26 = (t24 + 56U);
    t27 = *((char **)t26);
    memcpy(t27, t8, 8U);
    xsi_driver_first_trans_delta(t9, 24U, 8U, 0LL);
    xsi_set_current_line(78, ng0);
    t2 = (t0 + 1968U);
    t3 = *((char **)t2);
    t2 = (t0 + 1032U);
    t6 = *((char **)t2);
    t12 = (31 - 8);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t2 = (t6 + t14);
    t7 = (t16 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 8;
    t8 = (t7 + 4U);
    *((int *)t8) = 0;
    t8 = (t7 + 8U);
    *((int *)t8) = -1;
    t4 = (0 - 8);
    t31 = (t4 * -1);
    t31 = (t31 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t31;
    t5 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t2, t16);
    t10 = (t5 + 1);
    t11 = (t10 - 511);
    t31 = (t11 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t10);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t8 = (t3 + t33);
    t9 = (t0 + 3528);
    t15 = (t9 + 56U);
    t24 = *((char **)t15);
    t26 = (t24 + 56U);
    t27 = *((char **)t26);
    memcpy(t27, t8, 8U);
    xsi_driver_first_trans_delta(t9, 16U, 8U, 0LL);
    xsi_set_current_line(79, ng0);
    t2 = (t0 + 1968U);
    t3 = *((char **)t2);
    t2 = (t0 + 1032U);
    t6 = *((char **)t2);
    t12 = (31 - 8);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t2 = (t6 + t14);
    t7 = (t16 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 8;
    t8 = (t7 + 4U);
    *((int *)t8) = 0;
    t8 = (t7 + 8U);
    *((int *)t8) = -1;
    t4 = (0 - 8);
    t31 = (t4 * -1);
    t31 = (t31 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t31;
    t5 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t2, t16);
    t10 = (t5 + 2);
    t11 = (t10 - 511);
    t31 = (t11 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t10);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t8 = (t3 + t33);
    t9 = (t0 + 3528);
    t15 = (t9 + 56U);
    t24 = *((char **)t15);
    t26 = (t24 + 56U);
    t27 = *((char **)t26);
    memcpy(t27, t8, 8U);
    xsi_driver_first_trans_delta(t9, 8U, 8U, 0LL);
    xsi_set_current_line(80, ng0);
    t2 = (t0 + 1968U);
    t3 = *((char **)t2);
    t2 = (t0 + 1032U);
    t6 = *((char **)t2);
    t12 = (31 - 8);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t2 = (t6 + t14);
    t7 = (t16 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 8;
    t8 = (t7 + 4U);
    *((int *)t8) = 0;
    t8 = (t7 + 8U);
    *((int *)t8) = -1;
    t4 = (0 - 8);
    t31 = (t4 * -1);
    t31 = (t31 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t31;
    t5 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t2, t16);
    t10 = (t5 + 3);
    t11 = (t10 - 511);
    t31 = (t11 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t10);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t8 = (t3 + t33);
    t9 = (t0 + 3528);
    t15 = (t9 + 56U);
    t24 = *((char **)t15);
    t26 = (t24 + 56U);
    t27 = *((char **)t26);
    memcpy(t27, t8, 8U);
    xsi_driver_first_trans_delta(t9, 0U, 8U, 0LL);
    xsi_set_current_line(81, ng0);

LAB52:    t2 = (t0 + 3448);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB53;

LAB1:    return;
LAB5:    xsi_set_current_line(37, ng0);
    t6 = xsi_get_transient_memory(8U);
    memset(t6, 0, 8U);
    t7 = t6;
    memset(t7, (unsigned char)2, 8U);
    t8 = (t0 + 1968U);
    t9 = *((char **)t8);
    t8 = (t0 + 10512);
    t10 = *((int *)t8);
    t11 = (t10 - 511);
    t12 = (t11 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, *((int *)t8));
    t13 = (8U * t12);
    t14 = (0 + t13);
    t15 = (t9 + t14);
    memcpy(t15, t6, 8U);

LAB6:    t2 = (t0 + 10512);
    t4 = *((int *)t2);
    t3 = (t0 + 10516);
    t5 = *((int *)t3);
    if (t4 == t5)
        goto LAB7;

LAB8:    t10 = (t4 + 1);
    t4 = t10;
    t6 = (t0 + 10512);
    *((int *)t6) = t4;
    goto LAB4;

LAB10:    xsi_set_current_line(43, ng0);
    t3 = (t0 + 2936);
    t6 = (t0 + 2296U);
    t7 = (t0 + 2472U);
    std_textio_readline(STD_TEXTIO, t3, t6, t7);
    xsi_set_current_line(44, ng0);
    t2 = (t0 + 1848U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((int *)t2) = 0;
    xsi_set_current_line(46, ng0);
    t2 = (t0 + 10531);
    *((int *)t2) = 1;
    t3 = (t0 + 10535);
    *((int *)t3) = 8;
    t4 = 1;
    t5 = 8;

LAB13:    if (t4 <= t5)
        goto LAB14;

LAB16:    xsi_set_current_line(73, ng0);
    t2 = (t0 + 1728U);
    t3 = *((char **)t2);
    t4 = *((int *)t3);
    t5 = (t4 + 4);
    t2 = (t0 + 1728U);
    t6 = *((char **)t2);
    t2 = (t6 + 0);
    *((int *)t2) = t5;
    goto LAB9;

LAB11:;
LAB14:    xsi_set_current_line(47, ng0);
    t6 = (t0 + 2936);
    t7 = (t0 + 2472U);
    t8 = (t0 + 1488U);
    t9 = *((char **)t8);
    t8 = (t9 + 0);
    std_textio_read8(STD_TEXTIO, t6, t7, t8);
    xsi_set_current_line(48, ng0);
    t2 = (t0 + 1488U);
    t3 = *((char **)t2);
    t18 = *((unsigned char *)t3);
    t19 = ((unsigned char)48 <= t18);
    if (t19 == 1)
        goto LAB20;

LAB21:    t17 = (unsigned char)0;

LAB22:    if (t17 != 0)
        goto LAB17;

LAB19:    t2 = (t0 + 1488U);
    t3 = *((char **)t2);
    t18 = *((unsigned char *)t3);
    t19 = ((unsigned char)97 <= t18);
    if (t19 == 1)
        goto LAB25;

LAB26:    t17 = (unsigned char)0;

LAB27:    if (t17 != 0)
        goto LAB23;

LAB24:    xsi_set_current_line(52, ng0);
    t2 = (t0 + 10539);
    t6 = ((STD_STANDARD) + 384);
    t7 = (t0 + 1728U);
    t8 = *((char **)t7);
    t10 = *((int *)t8);
    t7 = xsi_int_to_mem(t10);
    t9 = xsi_string_variable_get_image(t16, t6, t7);
    t24 = ((STD_STANDARD) + 1008);
    t26 = (t25 + 0U);
    t27 = (t26 + 0U);
    *((int *)t27) = 1;
    t27 = (t26 + 4U);
    *((int *)t27) = 20;
    t27 = (t26 + 8U);
    *((int *)t27) = 1;
    t11 = (20 - 1);
    t12 = (t11 * 1);
    t12 = (t12 + 1);
    t27 = (t26 + 12U);
    *((unsigned int *)t27) = t12;
    t15 = xsi_base_array_concat(t15, t23, t24, (char)97, t2, t25, (char)97, t9, t16, (char)101);
    t27 = (t16 + 12U);
    t12 = *((unsigned int *)t27);
    t13 = (20U + t12);
    xsi_report(t15, t13, (unsigned char)2);

LAB18:    xsi_set_current_line(55, ng0);
    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 1);
    if (t17 != 0)
        goto LAB28;

LAB30:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 2);
    if (t17 != 0)
        goto LAB31;

LAB32:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 3);
    if (t17 != 0)
        goto LAB33;

LAB34:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 4);
    if (t17 != 0)
        goto LAB35;

LAB36:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 5);
    if (t17 != 0)
        goto LAB37;

LAB38:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 6);
    if (t17 != 0)
        goto LAB39;

LAB40:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 7);
    if (t17 != 0)
        goto LAB41;

LAB42:    t2 = (t0 + 10531);
    t10 = *((int *)t2);
    t17 = (t10 == 8);
    if (t17 != 0)
        goto LAB43;

LAB44:
LAB29:
LAB15:    t2 = (t0 + 10531);
    t4 = *((int *)t2);
    t3 = (t0 + 10535);
    t5 = *((int *)t3);
    if (t4 == t5)
        goto LAB16;

LAB45:    t10 = (t4 + 1);
    t4 = t10;
    t6 = (t0 + 10531);
    *((int *)t6) = t4;
    goto LAB13;

LAB17:    xsi_set_current_line(49, ng0);
    t2 = (t0 + 1488U);
    t7 = *((char **)t2);
    t22 = *((unsigned char *)t7);
    t10 = ((((int)(t22))) - (((int)((unsigned char)48))));
    t2 = (t0 + 1848U);
    t8 = *((char **)t2);
    t2 = (t8 + 0);
    *((int *)t2) = t10;
    goto LAB18;

LAB20:    t2 = (t0 + 1488U);
    t6 = *((char **)t2);
    t20 = *((unsigned char *)t6);
    t21 = (t20 <= (unsigned char)57);
    t17 = t21;
    goto LAB22;

LAB23:    xsi_set_current_line(51, ng0);
    t2 = (t0 + 1488U);
    t7 = *((char **)t2);
    t22 = *((unsigned char *)t7);
    t10 = ((((int)(t22))) - (((int)((unsigned char)97))));
    t11 = (t10 + 10);
    t2 = (t0 + 1848U);
    t8 = *((char **)t2);
    t2 = (t8 + 0);
    *((int *)t2) = t11;
    goto LAB18;

LAB25:    t2 = (t0 + 1488U);
    t6 = *((char **)t2);
    t20 = *((unsigned char *)t6);
    t21 = (t20 <= (unsigned char)102);
    t17 = t21;
    goto LAB27;

LAB28:    xsi_set_current_line(56, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 7);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 + 3);
    t30 = (t29 - 511);
    t14 = (t30 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t29);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB31:    xsi_set_current_line(58, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 3);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 + 3);
    t30 = (t29 - 511);
    t14 = (t30 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t29);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB33:    xsi_set_current_line(60, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 7);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 + 2);
    t30 = (t29 - 511);
    t14 = (t30 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t29);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB35:    xsi_set_current_line(62, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 3);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 + 2);
    t30 = (t29 - 511);
    t14 = (t30 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t29);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB37:    xsi_set_current_line(64, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 7);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 + 1);
    t30 = (t29 - 511);
    t14 = (t30 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t29);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB39:    xsi_set_current_line(66, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 3);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 + 1);
    t30 = (t29 - 511);
    t14 = (t30 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t29);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB41:    xsi_set_current_line(68, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 7);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 - 511);
    t14 = (t29 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t28);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB43:    xsi_set_current_line(70, ng0);
    t3 = (t0 + 1848U);
    t6 = *((char **)t3);
    t11 = *((int *)t6);
    t3 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, t11, 4);
    t7 = (t0 + 1968U);
    t8 = *((char **)t7);
    t12 = (7 - 3);
    t13 = (t12 * 1U);
    t7 = (t0 + 1728U);
    t9 = *((char **)t7);
    t28 = *((int *)t9);
    t29 = (t28 - 511);
    t14 = (t29 * -1);
    xsi_vhdl_check_range_of_index(511, 0, -1, t28);
    t31 = (8U * t14);
    t32 = (0 + t31);
    t33 = (t32 + t13);
    t7 = (t8 + t33);
    t15 = (t16 + 12U);
    t34 = *((unsigned int *)t15);
    t34 = (t34 * 1U);
    memcpy(t7, t3, t34);
    goto LAB29;

LAB48:;
LAB49:    goto LAB2;

LAB50:    t3 = (t0 + 3448);
    *((int *)t3) = 0;
    goto LAB46;

LAB51:    goto LAB50;

LAB53:    goto LAB51;

}
static void work_a_0424942574_3212880686_p_1(char *t0)
{
    char t14[16];
    char t28[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;
    unsigned char t12;
    unsigned char t13;
    char *t15;
    char *t16;
    char *t17;
    unsigned int t18;
    unsigned int t19;
    unsigned char t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    int t26;
    unsigned int t27;
    int t29;
    unsigned int t30;
    unsigned int t31;

LAB0:    xsi_set_current_line(125, ng0);
    t2 = (t0 + 992U);
    t3 = xsi_signal_has_event(t2);
    if (t3 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

LAB7:    if (t1 != 0)
        goto LAB2;

LAB4:
LAB3:    t2 = (t0 + 8536);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(126, ng0);
    t4 = (t0 + 3752U);
    t8 = *((char **)t4);
    t9 = *((unsigned char *)t8);
    t10 = (t9 == (unsigned char)3);
    if (t10 != 0)
        goto LAB8;

LAB10:    xsi_set_current_line(132, ng0);
    t2 = xsi_get_transient_memory(4U);
    memset(t2, 0, 4U);
    t4 = t2;
    memset(t4, (unsigned char)2, 4U);
    t5 = (t0 + 8824);
    t8 = (t5 + 56U);
    t11 = *((char **)t8);
    t15 = (t11 + 56U);
    t16 = *((char **)t15);
    memcpy(t16, t2, 4U);
    xsi_driver_first_trans_fast(t5);

LAB9:    goto LAB3;

LAB5:    t4 = (t0 + 1032U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t1 = t7;
    goto LAB7;

LAB8:    xsi_set_current_line(127, ng0);
    t4 = (t0 + 3112U);
    t11 = *((char **)t4);
    t12 = *((unsigned char *)t11);
    t13 = (t12 == (unsigned char)3);
    if (t13 != 0)
        goto LAB11;

LAB13:
LAB12:    goto LAB9;

LAB11:    xsi_set_current_line(128, ng0);
    t4 = (t0 + 4072U);
    t15 = *((char **)t4);
    t4 = (t0 + 14904U);
    t16 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t15, t4, (unsigned char)3);
    t17 = (t14 + 12U);
    t18 = *((unsigned int *)t17);
    t19 = (1U * t18);
    t20 = (4U != t19);
    if (t20 == 1)
        goto LAB14;

LAB15:    t21 = (t0 + 8824);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memcpy(t25, t16, 4U);
    xsi_driver_first_trans_fast(t21);
    xsi_set_current_line(129, ng0);
    t2 = (t0 + 4072U);
    t4 = *((char **)t2);
    t26 = (3 - 1);
    t18 = (3 - t26);
    t19 = (t18 * 1U);
    t27 = (0 + t19);
    t2 = (t4 + t27);
    t5 = (t28 + 0U);
    t8 = (t5 + 0U);
    *((int *)t8) = 2;
    t8 = (t5 + 4U);
    *((int *)t8) = 0;
    t8 = (t5 + 8U);
    *((int *)t8) = -1;
    t29 = (0 - 2);
    t30 = (t29 * -1);
    t30 = (t30 + 1);
    t8 = (t5 + 12U);
    *((unsigned int *)t8) = t30;
    t8 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t2, t28, (unsigned char)3);
    t11 = (t14 + 12U);
    t30 = *((unsigned int *)t11);
    t31 = (1U * t30);
    t1 = (3U != t31);
    if (t1 == 1)
        goto LAB16;

LAB17:    t15 = (t0 + 8888);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    t21 = (t17 + 56U);
    t22 = *((char **)t21);
    memcpy(t22, t8, 3U);
    xsi_driver_first_trans_fast(t15);
    goto LAB12;

LAB14:    xsi_size_not_matching(4U, t19, 0);
    goto LAB15;

LAB16:    xsi_size_not_matching(3U, t31, 0);
    goto LAB17;

}
static void work_a_0284541052_3212880686_p_8(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    unsigned char t11;
    unsigned char t12;
    unsigned char t13;
    unsigned char t14;
    unsigned char t15;
    unsigned char t16;
    int t17;
    int t18;
    unsigned char t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;

LAB0:    xsi_set_current_line(97, ng0);
    t1 = (t0 + 684U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 568U);
    t12 = xsi_signal_has_event(t1);
    if (t12 == 1)
        goto LAB13;

LAB14:    t11 = (unsigned char)0;

LAB15:    if (t11 == 1)
        goto LAB10;

LAB11:    t4 = (unsigned char)0;

LAB12:    if (t4 == 1)
        goto LAB7;

LAB8:    t3 = (unsigned char)0;

LAB9:    if (t3 != 0)
        goto LAB5;

LAB6:
LAB3:    t1 = (t0 + 5444);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(98, ng0);
    t1 = xsi_get_transient_memory(10U);
    memset(t1, 0, 10U);
    t5 = t1;
    memset(t5, (unsigned char)2, 10U);
    t6 = (t0 + 5816);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 10U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(100, ng0);
    t8 = (t0 + 1972U);
    t10 = *((char **)t8);
    t8 = (t0 + 5816);
    t20 = (t8 + 32U);
    t21 = *((char **)t20);
    t22 = (t21 + 40U);
    t23 = *((char **)t22);
    memcpy(t23, t10, 10U);
    xsi_driver_first_trans_fast(t8);
    goto LAB3;

LAB7:    t2 = (t0 + 1696U);
    t7 = *((char **)t2);
    t2 = (t0 + 9844U);
    t8 = (t0 + 2144U);
    t9 = *((char **)t8);
    t17 = *((int *)t9);
    t18 = (t17 - 1);
    t19 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t7, t2, t18);
    t3 = t19;
    goto LAB9;

LAB10:    t2 = (t0 + 1420U);
    t6 = *((char **)t2);
    t15 = *((unsigned char *)t6);
    t16 = (t15 == (unsigned char)3);
    t4 = t16;
    goto LAB12;

LAB13:    t2 = (t0 + 592U);
    t5 = *((char **)t2);
    t13 = *((unsigned char *)t5);
    t14 = (t13 == (unsigned char)3);
    t11 = t14;
    goto LAB15;

}
static void work_a_4172492205_3212880686_p_0(char *t0)
{
    char t9[16];
    char *t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    int t10;
    int t11;
    int t12;
    int t13;
    unsigned int t14;
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    static char *nl0[] = {&&LAB3, &&LAB4};

LAB0:    xsi_set_current_line(108, ng0);
    t1 = (t0 + 2312U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t3);
    goto **((char **)t1);

LAB2:    t1 = (t0 + 6128);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    xsi_set_current_line(110, ng0);
    t4 = (t0 + 6320);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)1;
    xsi_driver_first_trans_fast(t4);
    goto LAB2;

LAB4:    xsi_set_current_line(113, ng0);
    t1 = (t0 + 2472U);
    t2 = *((char **)t1);
    t1 = (t0 + 3088U);
    t4 = *((char **)t1);
    t10 = *((int *)t4);
    t11 = xsi_vhdl_pow(2, t10);
    t12 = (t11 - 2);
    t1 = (t0 + 3088U);
    t5 = *((char **)t1);
    t13 = *((int *)t5);
    t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t9, t12, t13);
    t3 = 1;
    if (16U == 16U)
        goto LAB9;

LAB10:    t3 = 0;

LAB11:    if (t3 != 0)
        goto LAB6;

LAB8:    xsi_set_current_line(116, ng0);
    t1 = (t0 + 6320);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);

LAB7:    goto LAB2;

LAB5:    xsi_set_current_line(120, ng0);
    t1 = (t0 + 6320);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB2;

LAB6:    xsi_set_current_line(114, ng0);
    t8 = (t0 + 6320);
    t15 = (t8 + 56U);
    t16 = *((char **)t15);
    t17 = (t16 + 56U);
    t18 = *((char **)t17);
    *((unsigned char *)t18) = (unsigned char)0;
    xsi_driver_first_trans_fast(t8);
    goto LAB7;

LAB9:    t14 = 0;

LAB12:    if (t14 < 16U)
        goto LAB13;
    else
        goto LAB11;

LAB13:    t6 = (t2 + t14);
    t7 = (t1 + t14);
    if (*((unsigned char *)t6) != *((unsigned char *)t7))
        goto LAB10;

LAB14:    t14 = (t14 + 1);
    goto LAB12;

}

static void work_a_4172492205_3212880686_p_1(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    static char *nl0[] = {&&LAB3, &&LAB4};

LAB0:    xsi_set_current_line(136, ng0);
    t1 = (t0 + 2312U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t3);
    goto **((char **)t1);

LAB2:    t1 = (t0 + 6144);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    xsi_set_current_line(138, ng0);
    t4 = (t0 + 6384);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)3;
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(139, ng0);
    t1 = (t0 + 6448);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(140, ng0);
    t1 = xsi_get_transient_memory(16U);
    memset(t1, 0, 16U);
    t2 = t1;
    memset(t2, (unsigned char)2, 16U);
    t4 = (t0 + 6512);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    memcpy(t8, t1, 16U);
    xsi_driver_first_trans_fast(t4);
    goto LAB2;

LAB4:    xsi_set_current_line(143, ng0);
    t1 = (t0 + 6384);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(144, ng0);
    t1 = (t0 + 6448);
    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(145, ng0);
    t1 = xsi_get_transient_memory(16U);
    memset(t1, 0, 16U);
    t2 = t1;
    memset(t2, (unsigned char)2, 16U);
    t4 = (t0 + 6512);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    memcpy(t8, t1, 16U);
    xsi_driver_first_trans_fast(t4);
    goto LAB2;

LAB5:    xsi_set_current_line(148, ng0);
    t1 = (t0 + 6384);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(149, ng0);
    t1 = (t0 + 6448);
    t2 = (t1 + 56U);
    t4 = *((char **)t2);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(150, ng0);
    t1 = xsi_get_transient_memory(16U);
    memset(t1, 0, 16U);
    t2 = t1;
    memset(t2, (unsigned char)2, 16U);
    t4 = (t0 + 6512);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    memcpy(t8, t1, 16U);
    xsi_driver_first_trans_fast(t4);
    goto LAB2;

}

static void work_a_4172492205_3212880686_p_2(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;

LAB0:    xsi_set_current_line(166, 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 + 6160);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(167, ng0);
    t3 = (t0 + 2632U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = (t5 == (unsigned char)3);
    if (t6 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(170, ng0);
    t1 = (t0 + 2152U);
    t3 = *((char **)t1);
    t2 = *((unsigned char *)t3);
    t1 = (t0 + 6576);
    t4 = (t1 + 56U);
    t7 = *((char **)t4);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t2;
    xsi_driver_first_trans_fast(t1);

LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(168, ng0);
    t3 = (t0 + 6576);
    t7 = (t3 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = (unsigned char)0;
    xsi_driver_first_trans_fast(t3);
    goto LAB6;

}
static void work_a_3217046058_1516540902_p_5(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    unsigned char t11;
    unsigned char t12;
    unsigned char t13;
    unsigned char t14;
    unsigned char t15;
    unsigned char t16;
    unsigned char t17;
    char *t18;
    char *t19;

LAB0:    xsi_set_current_line(67, ng0);
    t1 = (t0 + 2972U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 3064U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t11 = (t4 == (unsigned char)3);
    if (t11 == 1)
        goto LAB7;

LAB8:    t3 = (unsigned char)0;

LAB9:    if (t3 != 0)
        goto LAB5;

LAB6:
LAB3:    t1 = (t0 + 8892);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(68, ng0);
    t1 = xsi_get_transient_memory(8U);
    memset(t1, 0, 8U);
    t5 = t1;
    memset(t5, (unsigned char)2, 8U);
    t6 = (t0 + 9204);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 8U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(70, ng0);
    t5 = (t0 + 4444U);
    t6 = *((char **)t5);
    t14 = *((unsigned char *)t6);
    t15 = (t14 == (unsigned char)3);
    if (t15 == 1)
        goto LAB13;

LAB14:    t13 = (unsigned char)0;

LAB15:    if (t13 != 0)
        goto LAB10;

LAB12:
LAB11:    goto LAB3;

LAB7:    t1 = (t0 + 3040U);
    t12 = xsi_signal_has_event(t1);
    t3 = t12;
    goto LAB9;

LAB10:    xsi_set_current_line(71, ng0);
    t5 = (t0 + 3248U);
    t8 = *((char **)t5);
    t5 = (t0 + 9204);
    t9 = (t5 + 32U);
    t10 = *((char **)t9);
    t18 = (t10 + 40U);
    t19 = *((char **)t18);
    memcpy(t19, t8, 8U);
    xsi_driver_first_trans_fast(t5);
    goto LAB11;

LAB13:    t5 = (t0 + 3524U);
    t7 = *((char **)t5);
    t16 = *((unsigned char *)t7);
    t17 = (t16 == (unsigned char)3);
    t13 = t17;
    goto LAB15;

}
static void work_a_0992986323_2533543878_p_0(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int t7;
    unsigned int t8;
    unsigned int t9;
    unsigned int t10;
    unsigned char t11;
    unsigned char t12;
    char *t13;
    char *t14;
    char *t15;

LAB0:    xsi_set_current_line(36, ng0);
    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t1 = (t0 + 2752);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 13U);
    xsi_driver_first_trans_delta(t1, 19U, 13U, 0LL);
    xsi_set_current_line(37, ng0);
    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t7 = (12 - 12);
    t8 = (t7 * -1);
    t9 = (1U * t8);
    t10 = (0 + t9);
    t1 = (t2 + t10);
    t11 = *((unsigned char *)t1);
    t12 = (t11 == (unsigned char)3);
    if (t12 != 0)
        goto LAB2;

LAB4:    xsi_set_current_line(40, ng0);
    t1 = xsi_get_transient_memory(19U);
    memset(t1, 0, 19U);
    t2 = t1;
    memset(t2, (unsigned char)2, 19U);
    t3 = (t0 + 2752);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t13 = *((char **)t6);
    memcpy(t13, t1, 19U);
    xsi_driver_first_trans_delta(t3, 0U, 19U, 0LL);

LAB3:    t1 = (t0 + 2672);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(38, ng0);
    t3 = xsi_get_transient_memory(19U);
    memset(t3, 0, 19U);
    t4 = t3;
    memset(t4, (unsigned char)3, 19U);
    t5 = (t0 + 2752);
    t6 = (t5 + 56U);
    t13 = *((char **)t6);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t3, 19U);
    xsi_driver_first_trans_delta(t5, 0U, 19U, 0LL);
    goto LAB3;

}
static void simprim_a_3166564214_2082082460_p_1(char *t0)
{
    char t41[16];
    char t50[16];
    char t51[16];
    char *t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    char *t6;
    unsigned char t7;
    unsigned char t8;
    unsigned char t9;
    char *t10;
    unsigned char t11;
    unsigned char t12;
    char *t13;
    unsigned char t14;
    unsigned char t15;
    char *t16;
    unsigned char t17;
    unsigned char t18;
    char *t19;
    unsigned char t20;
    unsigned char t21;
    int t22;
    unsigned int t23;
    unsigned int t24;
    unsigned int t25;
    int64 t26;
    int64 t27;
    int t28;
    unsigned int t29;
    unsigned int t30;
    unsigned int t31;
    int64 t32;
    int64 t33;
    char *t34;
    char *t35;
    char *t36;
    char *t37;
    char *t38;
    char *t39;
    char *t40;
    char *t42;
    char *t43;
    int t44;
    unsigned int t45;
    char *t46;
    char *t47;
    char *t48;
    int64 t49;
    char *t52;
    char *t53;

LAB0:    t1 = (t0 + 4608U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 1616U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t4);
    t2 = (t0 + 3112U);
    t6 = *((char **)t2);
    t2 = (t6 + 0);
    *((unsigned char *)t2) = t5;
    t2 = (t0 + 3232U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)1);
    if (t5 != 0)
        goto LAB4;

LAB6:    t2 = (t0 + 2272U);
    t3 = *((char **)t2);
    t22 = ((unsigned char)0 - 0);
    t23 = (t22 * 1);
    t24 = (8U * t23);
    t25 = (0 + t24);
    t2 = (t3 + t25);
    t26 = *((int64 *)t2);
    t6 = (t0 + 2392U);
    t10 = *((char **)t6);
    t27 = *((int64 *)t10);
    t5 = (t26 < t27);
    if (t5 == 1)
        goto LAB23;

LAB24:    t6 = (t0 + 2272U);
    t13 = *((char **)t6);
    t28 = ((unsigned char)1 - 0);
    t29 = (t28 * 1);
    t30 = (8U * t29);
    t31 = (0 + t30);
    t6 = (t13 + t31);
    t32 = *((int64 *)t6);
    t16 = (t0 + 2392U);
    t19 = *((char **)t16);
    t33 = *((int64 *)t19);
    t7 = (t32 < t33);
    t4 = t7;

LAB25:    if (t4 != 0)
        goto LAB20;

LAB22:    t16 = (t0 + 4416);
    t34 = (t0 + 2992U);
    t35 = *((char **)t34);
    t34 = (t35 + 0);
    t36 = (t0 + 1256U);
    t37 = (t0 + 5120);
    t38 = (t0 + 2752U);
    t39 = *((char **)t38);
    t38 = (t0 + 7928);
    t42 = (t41 + 0U);
    t43 = (t42 + 0U);
    *((int *)t43) = 1;
    t43 = (t42 + 4U);
    *((int *)t43) = 1;
    t43 = (t42 + 8U);
    *((int *)t43) = 1;
    t44 = (1 - 1);
    t45 = (t44 * 1);
    t45 = (t45 + 1);
    t43 = (t42 + 12U);
    *((unsigned int *)t43) = t45;
    t43 = (t0 + 3112U);
    t46 = *((char **)t43);
    t8 = *((unsigned char *)t46);
    t43 = (t0 + 2872U);
    t47 = *((char **)t43);
    t9 = *((unsigned char *)t47);
    t43 = (t0 + 2392U);
    t48 = *((char **)t43);
    t49 = *((int64 *)t48);
    simprim_p_4208868169_sub_293484706_3008368149(SIMPRIM_P_4208868169, t16, t34, t36, 0U, 0U, t37, t39, t38, t41, t8, t9, t49, (unsigned char)0, (unsigned char)1);

LAB21:
LAB5:    t2 = (t0 + 2992U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)0);
    if (t5 != 0)
        goto LAB26;

LAB28:
LAB27:    t2 = (t0 + 2992U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)1);
    if (t5 != 0)
        goto LAB29;

LAB31:
LAB30:    t2 = (t0 + 1616U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t4);
    t2 = (t0 + 2512U);
    t6 = *((char **)t2);
    t2 = (t6 + 0);
    *((unsigned char *)t2) = t5;
    t2 = (t0 + 4416);
    t3 = (t0 + 1256U);
    t6 = (t0 + 5120);
    t10 = (t0 + 2632U);
    t13 = *((char **)t10);
    t10 = (t0 + 7929);
    t19 = (t41 + 0U);
    t34 = (t19 + 0U);
    *((int *)t34) = 1;
    t34 = (t19 + 4U);
    *((int *)t34) = 1;
    t34 = (t19 + 8U);
    *((int *)t34) = 1;
    t22 = (1 - 1);
    t23 = (t22 * 1);
    t23 = (t23 + 1);
    t34 = (t19 + 12U);
    *((unsigned int *)t34) = t23;
    t34 = (t0 + 2512U);
    t35 = *((char **)t34);
    t4 = *((unsigned char *)t35);
    t34 = xsi_get_transient_memory(32U);
    memset(t34, 0, 32U);
    t36 = t34;
    t28 = (0 - 0);
    t23 = (t28 * 1);
    t24 = (32U * t23);
    t37 = (t36 + t24);
    t38 = t37;
    t39 = (t0 + 1576U);
    t26 = xsi_signal_get_last_event(t39);
    *((int64 *)t38) = t26;
    t40 = (t37 + 8U);
    t42 = (t0 + 2272U);
    t43 = *((char **)t42);
    memcpy(t40, t43, 16U);
    t42 = (t37 + 24U);
    *((unsigned char *)t42) = (unsigned char)1;
    t46 = (t50 + 0U);
    t47 = (t46 + 0U);
    *((int *)t47) = 0;
    t47 = (t46 + 4U);
    *((int *)t47) = 0;
    t47 = (t46 + 8U);
    *((int *)t47) = 1;
    t44 = (0 - 0);
    t25 = (t44 * 1);
    t25 = (t25 + 1);
    t47 = (t46 + 12U);
    *((unsigned int *)t47) = t25;
    t47 = ((IEEE_P_2717149903) + 1288U);
    t48 = *((char **)t47);
    memcpy(t51, t48, 16U);
    t47 = (t0 + 1912U);
    t52 = *((char **)t47);
    t5 = *((unsigned char *)t52);
    t47 = (t0 + 2032U);
    t53 = *((char **)t47);
    t7 = *((unsigned char *)t53);
    ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t2, t3, 0U, 0U, t6, t13, t10, t41, t4, t34, t50, t51, (unsigned char)3, t5, t7, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0);

LAB34:    t2 = (t0 + 4976);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB35;

LAB1:    return;
LAB4:
LAB9:    t2 = (t0 + 4944);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB10;
    goto LAB1;

LAB7:    t6 = (t0 + 4944);
    *((int *)t6) = 0;
    t2 = (t0 + 3232U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((unsigned char *)t2) = (unsigned char)0;
    goto LAB5;

LAB8:    t6 = (t0 + 1616U);
    t10 = *((char **)t6);
    t11 = *((unsigned char *)t10);
    t12 = (t11 == (unsigned char)2);
    if (t12 == 1)
        goto LAB17;

LAB18:    t6 = (t0 + 1616U);
    t13 = *((char **)t6);
    t14 = *((unsigned char *)t13);
    t15 = (t14 == (unsigned char)3);
    t9 = t15;

LAB19:    if (t9 == 1)
        goto LAB14;

LAB15:    t6 = (t0 + 1616U);
    t16 = *((char **)t6);
    t17 = *((unsigned char *)t16);
    t18 = (t17 == (unsigned char)6);
    t8 = t18;

LAB16:    if (t8 == 1)
        goto LAB11;

LAB12:    t6 = (t0 + 1616U);
    t19 = *((char **)t6);
    t20 = *((unsigned char *)t19);
    t21 = (t20 == (unsigned char)7);
    t7 = t21;

LAB13:    if (t7 == 1)
        goto LAB7;
    else
        goto LAB9;

LAB10:    goto LAB8;

LAB11:    t7 = (unsigned char)1;
    goto LAB13;

LAB14:    t8 = (unsigned char)1;
    goto LAB16;

LAB17:    t9 = (unsigned char)1;
    goto LAB19;

LAB20:    goto LAB21;

LAB23:    t4 = (unsigned char)1;
    goto LAB25;

LAB26:    t2 = (t0 + 2512U);
    t6 = *((char **)t2);
    t7 = *((unsigned char *)t6);
    t8 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t7);
    t2 = (t0 + 2872U);
    t10 = *((char **)t2);
    t2 = (t10 + 0);
    *((unsigned char *)t2) = t8;
    goto LAB27;

LAB29:    t2 = (t0 + 2992U);
    t6 = *((char **)t2);
    t2 = (t6 + 0);
    *((unsigned char *)t2) = (unsigned char)0;
    goto LAB30;

LAB32:    t3 = (t0 + 4976);
    *((int *)t3) = 0;
    goto LAB2;

LAB33:    goto LAB32;

LAB35:    goto LAB33;

}
static void work_a_0856185093_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;
    unsigned char t14;
    char *t15;
    int t17;
    unsigned int t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    unsigned int t24;

LAB0:    xsi_set_current_line(60, ng0);
    t1 = (t0 + 592U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 660U);
    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 + 2304);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(61, ng0);
    t1 = xsi_get_transient_memory(3U);
    memset(t1, 0, 3U);
    t5 = t1;
    memset(t5, (unsigned char)2, 3U);
    t6 = (t0 + 2356);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 3U);
    xsi_driver_first_trans_fast(t6);
    xsi_set_current_line(62, ng0);
    t1 = (t0 + 2392);
    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);
    goto LAB3;

LAB5:    xsi_set_current_line(66, ng0);
    t2 = (t0 + 776U);
    t6 = *((char **)t2);
    t13 = *((unsigned char *)t6);
    t14 = (t13 == (unsigned char)3);
    if (t14 != 0)
        goto LAB10;

LAB12:    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t11 = (t4 == (unsigned char)2);
    if (t11 == 1)
        goto LAB15;

LAB16:    t3 = (unsigned char)0;

LAB17:    if (t3 != 0)
        goto LAB13;

LAB14:
LAB11:    goto LAB3;

LAB7:    t2 = (t0 + 684U);
    t5 = *((char **)t2);
    t11 = *((unsigned char *)t5);
    t12 = (t11 == (unsigned char)3);
    t3 = t12;
    goto LAB9;

LAB10:    xsi_set_current_line(68, ng0);
    t2 = (t0 + 1052U);
    t7 = *((char **)t2);
    t2 = (t0 + 2356);
    t8 = (t2 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t15 = *((char **)t10);
    memcpy(t15, t7, 3U);
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(69, ng0);
    t1 = (t0 + 2392);
    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);
    goto LAB11;

LAB13:    xsi_set_current_line(72, ng0);
    t1 = (t0 + 1236U);
    t6 = *((char **)t1);
    t1 = (t0 + 4424U);
    t7 = (t0 + 4462);
    t9 = (t16 + 0U);
    t10 = (t9 + 0U);
    *((int *)t10) = 0;
    t10 = (t9 + 4U);
    *((int *)t10) = 2;
    t10 = (t9 + 8U);
    *((int *)t10) = 1;
    t17 = (2 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t10 = (t9 + 12U);
    *((unsigned int *)t10) = t18;
    t14 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t6, t1, t7, t16);
    if (t14 != 0)
        goto LAB18;

LAB20:    xsi_set_current_line(77, ng0);
    t1 = (t0 + 1236U);
    t2 = *((char **)t1);
    t1 = (t0 + 4424U);
    t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t16, t2, t1, 1);
    t6 = (t16 + 12U);
    t18 = *((unsigned int *)t6);
    t24 = (1U * t18);
    t3 = (3U != t24);
    if (t3 == 1)
        goto LAB21;

LAB22:    t7 = (t0 + 2356);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t15 = *((char **)t10);
    memcpy(t15, t5, 3U);
    xsi_driver_first_trans_fast(t7);

LAB19:    xsi_set_current_line(81, ng0);
    t1 = (t0 + 1236U);
    t2 = *((char **)t1);
    t1 = (t0 + 4424U);
    t5 = (t0 + 4465);
    t7 = (t16 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 0;
    t8 = (t7 + 4U);
    *((int *)t8) = 2;
    t8 = (t7 + 8U);
    *((int *)t8) = 1;
    t17 = (2 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t18;
    t3 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t5, t16);
    if (t3 != 0)
        goto LAB23;

LAB25:    xsi_set_current_line(84, ng0);
    t1 = (t0 + 2392);
    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);

LAB24:    goto LAB11;

LAB15:    t1 = (t0 + 868U);
    t5 = *((char **)t1);
    t12 = *((unsigned char *)t5);
    t13 = (t12 == (unsigned char)3);
    t3 = t13;
    goto LAB17;

LAB18:    xsi_set_current_line(73, ng0);
    t10 = xsi_get_transient_memory(3U);
    memset(t10, 0, 3U);
    t15 = t10;
    memset(t15, (unsigned char)2, 3U);
    t19 = (t0 + 2356);
    t20 = (t19 + 32U);
    t21 = *((char **)t20);
    t22 = (t21 + 40U);
    t23 = *((char **)t22);
    memcpy(t23, t10, 3U);
    xsi_driver_first_trans_fast(t19);
    goto LAB19;

LAB21:    xsi_size_not_matching(3U, t24, 0);
    goto LAB22;

LAB23:    xsi_set_current_line(82, ng0);
    t8 = (t0 + 2392);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    t15 = (t10 + 40U);
    t19 = *((char **)t15);
    *((unsigned char *)t19) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t8);
    goto LAB24;

}
Beispiel #29
0
static void work_a_1995955789_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;
    char *t17;
    char *t18;

LAB0:    xsi_set_current_line(101, ng0);
    t1 = (t0 + 1832U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 1472U);
    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 + 4328);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(102, ng0);
    t1 = xsi_get_transient_memory(16U);
    memset(t1, 0, 16U);
    t5 = t1;
    memset(t5, (unsigned char)2, 16U);
    t6 = (t0 + 4456);
    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(104, ng0);
    t2 = (t0 + 1672U);
    t6 = *((char **)t2);
    t13 = *((unsigned char *)t6);
    t14 = (t13 == (unsigned char)3);
    if (t14 != 0)
        goto LAB10;

LAB12:
LAB11:    goto LAB3;

LAB7:    t2 = (t0 + 1512U);
    t5 = *((char **)t2);
    t11 = *((unsigned char *)t5);
    t12 = (t11 == (unsigned char)3);
    t3 = t12;
    goto LAB9;

LAB10:    xsi_set_current_line(105, ng0);
    t2 = (t0 + 1992U);
    t7 = *((char **)t2);
    t2 = (t0 + 6768U);
    t8 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t15, t7, t2, 1);
    t9 = (t0 + 4456);
    t10 = (t9 + 56U);
    t16 = *((char **)t10);
    t17 = (t16 + 56U);
    t18 = *((char **)t17);
    memcpy(t18, t8, 16U);
    xsi_driver_first_trans_fast(t9);
    goto LAB11;

}
static void work_a_1315419030_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;
    char *t17;
    char *t18;

LAB0:    xsi_set_current_line(53, ng0);
    t1 = (t0 + 1328U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 1120U);
    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 + 3132);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(54, ng0);
    t1 = xsi_get_transient_memory(4U);
    memset(t1, 0, 4U);
    t5 = t1;
    memset(t5, (unsigned char)2, 4U);
    t6 = (t0 + 3224);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 4U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(56, ng0);
    t2 = (t0 + 1236U);
    t6 = *((char **)t2);
    t13 = *((unsigned char *)t6);
    t14 = (t13 == (unsigned char)3);
    if (t14 != 0)
        goto LAB10;

LAB12:
LAB11:    goto LAB3;

LAB7:    t2 = (t0 + 1144U);
    t5 = *((char **)t2);
    t11 = *((unsigned char *)t5);
    t12 = (t11 == (unsigned char)3);
    t3 = t12;
    goto LAB9;

LAB10:    xsi_set_current_line(57, ng0);
    t2 = (t0 + 1420U);
    t7 = *((char **)t2);
    t2 = (t0 + 5404U);
    t8 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t7, t2, 1);
    t9 = (t0 + 3224);
    t10 = (t9 + 32U);
    t16 = *((char **)t10);
    t17 = (t16 + 32U);
    t18 = *((char **)t17);
    memcpy(t18, t8, 4U);
    xsi_driver_first_trans_fast(t9);
    goto LAB11;

}