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

LAB0:    xsi_set_current_line(73, ng0);
    t1 = (t0 + 3828);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(74, ng0);
    t1 = (t0 + 3864);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(75, ng0);
    t1 = (t0 + 1420U);
    t2 = *((char **)t1);
    t1 = (t0 + 3900);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 12U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(77, ng0);
    t1 = (t0 + 1236U);
    t2 = *((char **)t1);
    t7 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t7);
    goto **((char **)t1);

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

LAB1:    return;
LAB3:    xsi_set_current_line(79, ng0);
    t3 = xsi_get_transient_memory(12U);
    memset(t3, 0, 12U);
    t4 = t3;
    memset(t4, (unsigned char)2, 12U);
    t5 = (t0 + 3900);
    t6 = (t5 + 32U);
    t8 = *((char **)t6);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t3, 12U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(80, ng0);
    t1 = (t0 + 1144U);
    t2 = *((char **)t1);
    t7 = *((unsigned char *)t2);
    t11 = (t7 == (unsigned char)3);
    if (t11 != 0)
        goto LAB6;

LAB8:    xsi_set_current_line(83, ng0);
    t1 = (t0 + 3936);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);

LAB7:    goto LAB2;

LAB4:    xsi_set_current_line(87, ng0);
    t1 = (t0 + 1420U);
    t2 = *((char **)t1);
    t1 = (t0 + 6004U);
    t3 = (t0 + 6061);
    t5 = (t12 + 0U);
    t6 = (t5 + 0U);
    *((int *)t6) = 0;
    t6 = (t5 + 4U);
    *((int *)t6) = 11;
    t6 = (t5 + 8U);
    *((int *)t6) = 1;
    t13 = (11 - 0);
    t14 = (t13 * 1);
    t14 = (t14 + 1);
    t6 = (t5 + 12U);
    *((unsigned int *)t6) = t14;
    t7 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t2, t1, t3, t12);
    if (t7 != 0)
        goto LAB9;

LAB11:    xsi_set_current_line(92, ng0);
    t1 = (t0 + 1420U);
    t2 = *((char **)t1);
    t1 = (t0 + 6004U);
    t3 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t12, t2, t1, 1);
    t4 = (t12 + 12U);
    t14 = *((unsigned int *)t4);
    t16 = (1U * t14);
    t7 = (12U != t16);
    if (t7 == 1)
        goto LAB12;

LAB13:    t5 = (t0 + 3900);
    t6 = (t5 + 32U);
    t8 = *((char **)t6);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t3, 12U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(93, ng0);
    t1 = (t0 + 3828);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(94, ng0);
    t1 = (t0 + 3936);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);

LAB10:    goto LAB2;

LAB5:    xsi_set_current_line(98, ng0);
    t1 = (t0 + 3936);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB2;

LAB6:    xsi_set_current_line(81, ng0);
    t1 = (t0 + 3936);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);
    goto LAB7;

LAB9:    xsi_set_current_line(89, ng0);
    t6 = (t0 + 3864);
    t8 = (t6 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t15 = *((char **)t10);
    *((unsigned char *)t15) = (unsigned char)3;
    xsi_driver_first_trans_fast(t6);
    xsi_set_current_line(90, ng0);
    t1 = (t0 + 3936);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB10;

LAB12:    xsi_size_not_matching(12U, t16, 0);
    goto LAB13;

}


extern void work_a_2089732261_3212880686_init()
{
	static char *pe[] = {(void *)work_a_2089732261_3212880686_p_0,(void *)work_a_2089732261_3212880686_p_1,(void *)work_a_2089732261_3212880686_p_2,(void *)work_a_2089732261_3212880686_p_3,(void *)work_a_2089732261_3212880686_p_4,(void *)work_a_2089732261_3212880686_p_5};
	xsi_register_didat("work_a_2089732261_3212880686", "isim/proyecto_tb_isim_beh.exe.sim/work/a_2089732261_3212880686.didat");
	xsi_register_executes(pe);
}
static void work_a_2466477690_3212880686_p_5(char *t0)
{
    char t12[16];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    unsigned char t11;
    int t13;
    unsigned int t14;
    char *t15;
    unsigned int t16;
    static char *nl0[] = {&&LAB3, &&LAB5, &&LAB4};

LAB0:    xsi_set_current_line(68, ng0);
    t1 = (t0 + 4048);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(69, ng0);
    t1 = (t0 + 4084);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(70, ng0);
    t1 = (t0 + 1420U);
    t2 = *((char **)t1);
    t1 = (t0 + 4120);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 12U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(71, ng0);
    t1 = (t0 + 2064U);
    t2 = *((char **)t1);
    t1 = (t0 + 4156);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 7U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(72, ng0);
    t1 = (t0 + 1236U);
    t2 = *((char **)t1);
    t7 = *((unsigned char *)t2);
    t1 = (t0 + 4192);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = t7;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(74, ng0);
    t1 = (t0 + 1236U);
    t2 = *((char **)t1);
    t7 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t7);
    goto **((char **)t1);

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

LAB1:    return;
LAB3:    xsi_set_current_line(76, ng0);
    t3 = xsi_get_transient_memory(12U);
    memset(t3, 0, 12U);
    t4 = t3;
    memset(t4, (unsigned char)2, 12U);
    t5 = (t0 + 4120);
    t6 = (t5 + 32U);
    t8 = *((char **)t6);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t3, 12U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(77, ng0);
    t1 = xsi_get_transient_memory(7U);
    memset(t1, 0, 7U);
    t2 = t1;
    memset(t2, (unsigned char)2, 7U);
    t3 = (t0 + 4156);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 40U);
    t8 = *((char **)t6);
    memcpy(t8, t1, 7U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(78, ng0);
    t1 = (t0 + 1144U);
    t2 = *((char **)t1);
    t7 = *((unsigned char *)t2);
    t11 = (t7 == (unsigned char)3);
    if (t11 != 0)
        goto LAB6;

LAB8:
LAB7:    goto LAB2;

LAB4:    xsi_set_current_line(83, ng0);
    t1 = (t0 + 2064U);
    t2 = *((char **)t1);
    t1 = (t0 + 6536U);
    t3 = (t0 + 6607);
    t5 = (t12 + 0U);
    t6 = (t5 + 0U);
    *((int *)t6) = 0;
    t6 = (t5 + 4U);
    *((int *)t6) = 6;
    t6 = (t5 + 8U);
    *((int *)t6) = 1;
    t13 = (6 - 0);
    t14 = (t13 * 1);
    t14 = (t14 + 1);
    t6 = (t5 + 12U);
    *((unsigned int *)t6) = t14;
    t7 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t2, t1, t3, t12);
    if (t7 != 0)
        goto LAB9;

LAB11:    xsi_set_current_line(88, ng0);
    t1 = (t0 + 2064U);
    t2 = *((char **)t1);
    t1 = (t0 + 6536U);
    t3 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t12, t2, t1, 1);
    t4 = (t12 + 12U);
    t14 = *((unsigned int *)t4);
    t16 = (1U * t14);
    t7 = (7U != t16);
    if (t7 == 1)
        goto LAB12;

LAB13:    t5 = (t0 + 4156);
    t6 = (t5 + 32U);
    t8 = *((char **)t6);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t3, 7U);
    xsi_driver_first_trans_fast(t5);

LAB10:    goto LAB2;

LAB5:    xsi_set_current_line(92, ng0);
    t1 = (t0 + 1420U);
    t2 = *((char **)t1);
    t1 = (t0 + 6520U);
    t3 = (t0 + 6614);
    t5 = (t12 + 0U);
    t6 = (t5 + 0U);
    *((int *)t6) = 0;
    t6 = (t5 + 4U);
    *((int *)t6) = 11;
    t6 = (t5 + 8U);
    *((int *)t6) = 1;
    t13 = (11 - 0);
    t14 = (t13 * 1);
    t14 = (t14 + 1);
    t6 = (t5 + 12U);
    *((unsigned int *)t6) = t14;
    t7 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t2, t1, t3, t12);
    if (t7 != 0)
        goto LAB14;

LAB16:    xsi_set_current_line(97, ng0);
    t1 = (t0 + 1420U);
    t2 = *((char **)t1);
    t1 = (t0 + 6520U);
    t3 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t12, t2, t1, 1);
    t4 = (t12 + 12U);
    t14 = *((unsigned int *)t4);
    t16 = (1U * t14);
    t7 = (12U != t16);
    if (t7 == 1)
        goto LAB17;

LAB18:    t5 = (t0 + 4120);
    t6 = (t5 + 32U);
    t8 = *((char **)t6);
    t9 = (t8 + 40U);
    t10 = *((char **)t9);
    memcpy(t10, t3, 12U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(98, ng0);
    t1 = (t0 + 4192);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);

LAB15:    goto LAB2;

LAB6:    xsi_set_current_line(79, ng0);
    t1 = (t0 + 4192);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    goto LAB7;

LAB9:    xsi_set_current_line(84, ng0);
    t6 = (t0 + 4192);
    t8 = (t6 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t15 = *((char **)t10);
    *((unsigned char *)t15) = (unsigned char)1;
    xsi_driver_first_trans_fast(t6);
    xsi_set_current_line(85, ng0);
    t1 = (t0 + 4048);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(86, ng0);
    t1 = xsi_get_transient_memory(7U);
    memset(t1, 0, 7U);
    t2 = t1;
    memset(t2, (unsigned char)2, 7U);
    t3 = (t0 + 4156);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 40U);
    t8 = *((char **)t6);
    memcpy(t8, t1, 7U);
    xsi_driver_first_trans_fast(t3);
    goto LAB10;

LAB12:    xsi_size_not_matching(7U, t16, 0);
    goto LAB13;

LAB14:    xsi_set_current_line(94, ng0);
    t6 = (t0 + 4084);
    t8 = (t6 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 40U);
    t15 = *((char **)t10);
    *((unsigned char *)t15) = (unsigned char)3;
    xsi_driver_first_trans_fast(t6);
    xsi_set_current_line(95, ng0);
    t1 = (t0 + 4192);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 40U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB15;

LAB17:    xsi_size_not_matching(12U, t16, 0);
    goto LAB18;

}


extern void work_a_2466477690_3212880686_init()
{
	static char *pe[] = {(void *)work_a_2466477690_3212880686_p_0,(void *)work_a_2466477690_3212880686_p_1,(void *)work_a_2466477690_3212880686_p_2,(void *)work_a_2466477690_3212880686_p_3,(void *)work_a_2466477690_3212880686_p_4,(void *)work_a_2466477690_3212880686_p_5};
	xsi_register_didat("work_a_2466477690_3212880686", "isim/fsm_tb_isim_beh.exe.sim/work/a_2466477690_3212880686.didat");
	xsi_register_executes(pe);
}
Exemplo n.º 3
0
static void work_a_2287590165_2372691052_p_1(char *t0)
{
    char t17[16];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    int64 t9;
    int t10;
    int t11;
    int t12;
    char *t13;
    char *t14;
    char *t15;
    int64 t16;
    unsigned int t18;
    unsigned int t19;
    unsigned char t20;
    unsigned char t21;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(50, ng0);
    t2 = (t0 + 4064);
    t4 = (t0 + 2168);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 4U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(51, ng0);
    t2 = (t0 + 4068);
    t4 = (t0 + 2204);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 4U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(52, ng0);
    t2 = (t0 + 4072);
    t4 = (t0 + 2240);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 2U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(53, ng0);
    t9 = (100 * 1000LL);
    t2 = (t0 + 1800);
    xsi_process_wait(t2, t9);

LAB6:    *((char **)t1) = &&LAB7;

LAB1:    return;
LAB4:    xsi_set_current_line(54, ng0);
    t2 = (t0 + 1200U);
    t3 = *((char **)t2);
    t10 = *((int *)t3);
    t2 = (t0 + 4074);
    *((int *)t2) = 0;
    t4 = (t0 + 4078);
    *((int *)t4) = t10;
    t11 = 0;
    t12 = t10;

LAB8:    if (t11 <= t12)
        goto LAB9;

LAB11:    xsi_set_current_line(68, ng0);

LAB38:    *((char **)t1) = &&LAB39;
    goto LAB1;

LAB5:    goto LAB4;

LAB7:    goto LAB5;

LAB9:    xsi_set_current_line(55, ng0);
    t5 = (t0 + 4082);
    t7 = (t0 + 2240);
    t8 = (t7 + 32U);
    t13 = *((char **)t8);
    t14 = (t13 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t5, 2U);
    xsi_driver_first_trans_fast(t7);
    xsi_set_current_line(56, ng0);
    t2 = (t0 + 1132U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t16 = (t9 * 2);
    t2 = (t0 + 1800);
    xsi_process_wait(t2, t16);

LAB14:    *((char **)t1) = &&LAB15;
    goto LAB1;

LAB10:    t2 = (t0 + 4074);
    t11 = *((int *)t2);
    t3 = (t0 + 4078);
    t12 = *((int *)t3);
    if (t11 == t12)
        goto LAB11;

LAB35:    t10 = (t11 + 1);
    t11 = t10;
    t4 = (t0 + 4074);
    *((int *)t4) = t11;
    goto LAB8;

LAB12:    xsi_set_current_line(57, ng0);
    t2 = (t0 + 4084);
    t4 = (t0 + 2240);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 2U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(58, ng0);
    t2 = (t0 + 1132U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t16 = (t9 * 2);
    t2 = (t0 + 1800);
    xsi_process_wait(t2, t16);

LAB18:    *((char **)t1) = &&LAB19;
    goto LAB1;

LAB13:    goto LAB12;

LAB15:    goto LAB13;

LAB16:    xsi_set_current_line(59, ng0);
    t2 = (t0 + 4086);
    t4 = (t0 + 2240);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 2U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(60, ng0);
    t2 = (t0 + 1132U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t16 = (t9 * 2);
    t2 = (t0 + 1800);
    xsi_process_wait(t2, t16);

LAB22:    *((char **)t1) = &&LAB23;
    goto LAB1;

LAB17:    goto LAB16;

LAB19:    goto LAB17;

LAB20:    xsi_set_current_line(61, ng0);
    t2 = (t0 + 4088);
    t4 = (t0 + 2240);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 2U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(62, ng0);
    t2 = (t0 + 1132U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t16 = (t9 * 2);
    t2 = (t0 + 1800);
    xsi_process_wait(t2, t16);

LAB26:    *((char **)t1) = &&LAB27;
    goto LAB1;

LAB21:    goto LAB20;

LAB23:    goto LAB21;

LAB24:    xsi_set_current_line(63, ng0);
    t2 = (t0 + 776U);
    t3 = *((char **)t2);
    t2 = (t0 + 3980U);
    t4 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t17, t3, t2, 1);
    t5 = (t17 + 12U);
    t18 = *((unsigned int *)t5);
    t19 = (1U * t18);
    t20 = (4U != t19);
    if (t20 == 1)
        goto LAB28;

LAB29:    t6 = (t0 + 2168);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t13 = (t8 + 40U);
    t14 = *((char **)t13);
    memcpy(t14, t4, 4U);
    xsi_driver_first_trans_fast(t6);
    xsi_set_current_line(64, ng0);
    t2 = (t0 + 4074);
    t10 = xsi_vhdl_mod(*((int *)t2), 4);
    t20 = (t10 == 0);
    if (t20 != 0)
        goto LAB30;

LAB32:
LAB31:    goto LAB10;

LAB25:    goto LAB24;

LAB27:    goto LAB25;

LAB28:    xsi_size_not_matching(4U, t19, 0);
    goto LAB29;

LAB30:    xsi_set_current_line(65, ng0);
    t3 = (t0 + 868U);
    t4 = *((char **)t3);
    t3 = (t0 + 3996U);
    t5 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t17, t4, t3, 1);
    t6 = (t17 + 12U);
    t18 = *((unsigned int *)t6);
    t19 = (1U * t18);
    t21 = (4U != t19);
    if (t21 == 1)
        goto LAB33;

LAB34:    t7 = (t0 + 2204);
    t8 = (t7 + 32U);
    t13 = *((char **)t8);
    t14 = (t13 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t5, 4U);
    xsi_driver_first_trans_fast(t7);
    goto LAB31;

LAB33:    xsi_size_not_matching(4U, t19, 0);
    goto LAB34;

LAB36:    goto LAB2;

LAB37:    goto LAB36;

LAB39:    goto LAB37;

}