Esempio n. 1
0
static void work_a_3896026813_3212880686_p_0(char *t0)
{
    char t14[16];
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    unsigned char t9;
    int t10;
    int t11;
    unsigned char t12;
    char *t13;
    unsigned int t15;
    int t16;
    int t17;
    unsigned int t18;
    unsigned int t19;
    unsigned int t20;
    char *t21;
    char *t22;
    char *t23;

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

LAB4:    xsi_set_current_line(243, ng0);
    t1 = (t0 + 992U);
    t4 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t4 == 1)
        goto LAB26;

LAB27:    t3 = (unsigned char)0;

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

LAB25:
LAB24:    xsi_set_current_line(247, ng0);
    t1 = (t0 + 2312U);
    t2 = *((char **)t1);
    t1 = (t0 + 1352U);
    t5 = *((char **)t1);
    t1 = (t0 + 7788U);
    t10 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t5, t1);
    t11 = (t10 - 255);
    t15 = (t11 * -1);
    xsi_vhdl_check_range_of_index(255, 0, -1, t10);
    t18 = (32U * t15);
    t19 = (0 + t18);
    t6 = (t2 + t19);
    t7 = (t0 + 4496);
    t8 = (t7 + 56U);
    t13 = *((char **)t8);
    t21 = (t13 + 56U);
    t22 = *((char **)t21);
    memcpy(t22, t6, 32U);
    xsi_driver_first_trans_fast_port(t7);
    xsi_set_current_line(248, ng0);
    t1 = (t0 + 2312U);
    t2 = *((char **)t1);
    t1 = (t0 + 1832U);
    t5 = *((char **)t1);
    t1 = (t0 + 7820U);
    t10 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t5, t1);
    t11 = (t10 - 255);
    t15 = (t11 * -1);
    xsi_vhdl_check_range_of_index(255, 0, -1, t10);
    t18 = (32U * t15);
    t19 = (0 + t18);
    t6 = (t2 + t19);
    t7 = (t0 + 4560);
    t8 = (t7 + 56U);
    t13 = *((char **)t8);
    t21 = (t13 + 56U);
    t22 = *((char **)t21);
    memcpy(t22, t6, 32U);
    xsi_driver_first_trans_fast_port(t7);

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

LAB1:    return;
LAB2:    xsi_set_current_line(219, ng0);
    t1 = (t0 + 2728U);
    t5 = *((char **)t1);
    t1 = (t0 + 3056U);
    t6 = (t0 + 16285);
    t8 = (t0 + 7772U);
    t9 = std_textio_file_open2(t1, t6, t8, (unsigned char)0);
    *((unsigned char *)t5) = t9;
    xsi_set_current_line(221, ng0);
    t1 = (t0 + 2728U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(233, ng0);
    t1 = (t0 + 16302);
    xsi_report(t1, 23U, (unsigned char)1);
    xsi_set_current_line(234, ng0);
    t1 = (t0 + 16325);
    *((int *)t1) = 0;
    t2 = (t0 + 16329);
    *((int *)t2) = 255;
    t10 = 0;
    t11 = 255;

LAB18:    if (t10 <= t11)
        goto LAB19;

LAB21:
LAB6:    xsi_set_current_line(240, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t2 = t1;
    memset(t2, (unsigned char)2, 32U);
    t5 = (t0 + 4496);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t13 = *((char **)t8);
    memcpy(t13, t1, 32U);
    xsi_driver_first_trans_fast_port(t5);
    xsi_set_current_line(241, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t2 = t1;
    memset(t2, (unsigned char)2, 32U);
    t5 = (t0 + 4560);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t13 = *((char **)t8);
    memcpy(t13, t1, 32U);
    xsi_driver_first_trans_fast_port(t5);
    goto LAB3;

LAB5:    xsi_set_current_line(222, ng0);
    t1 = (t0 + 16294);
    *((int *)t1) = 0;
    t5 = (t0 + 16298);
    *((int *)t5) = 255;
    t10 = 0;
    t11 = 255;

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

LAB11:    xsi_set_current_line(231, ng0);
    t1 = (t0 + 3056U);
    std_textio_file_close(t1);
    goto LAB6;

LAB9:    xsi_set_current_line(223, ng0);
    t6 = (t0 + 3056U);
    t9 = std_textio_endfile(t6);
    t12 = (!(t9));
    if (t12 != 0)
        goto LAB12;

LAB14:    xsi_set_current_line(228, ng0);
    t1 = xsi_get_transient_memory(32U);
    memset(t1, 0, 32U);
    t2 = t1;
    memset(t2, (unsigned char)2, 32U);
    t5 = (t0 + 16294);
    t16 = *((int *)t5);
    t17 = (t16 - 255);
    t15 = (t17 * -1);
    t18 = (32U * t15);
    t19 = (0U + t18);
    t6 = (t0 + 4432);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    t13 = (t8 + 56U);
    t21 = *((char **)t13);
    memcpy(t21, t1, 32U);
    xsi_driver_first_trans_delta(t6, t19, 32U, 0LL);

LAB13:
LAB10:    t1 = (t0 + 16294);
    t10 = *((int *)t1);
    t2 = (t0 + 16298);
    t11 = *((int *)t2);
    if (t10 == t11)
        goto LAB11;

LAB17:    t16 = (t10 + 1);
    t10 = t16;
    t5 = (t0 + 16294);
    *((int *)t5) = t10;
    goto LAB8;

LAB12:    xsi_set_current_line(224, ng0);
    t7 = (t0 + 3840);
    t8 = (t0 + 3056U);
    t13 = (t0 + 3232U);
    std_textio_readline(STD_TEXTIO, t7, t8, t13);
    xsi_set_current_line(225, ng0);
    t1 = (t0 + 3840);
    t2 = (t0 + 3232U);
    t5 = (t0 + 2608U);
    t6 = *((char **)t5);
    t5 = (t0 + 7900U);
    std_textio_read4(STD_TEXTIO, t1, t2, t6, t5);
    xsi_set_current_line(226, ng0);
    t1 = (t0 + 2608U);
    t2 = *((char **)t1);
    t1 = (t0 + 7900U);
    t5 = ieee_p_2592010699_sub_393209765_503743352(IEEE_P_2592010699, t14, t2, t1);
    t6 = (t14 + 12U);
    t15 = *((unsigned int *)t6);
    t15 = (t15 * 1U);
    t3 = (32U != t15);
    if (t3 == 1)
        goto LAB15;

LAB16:    t7 = (t0 + 16294);
    t16 = *((int *)t7);
    t17 = (t16 - 255);
    t18 = (t17 * -1);
    t19 = (32U * t18);
    t20 = (0U + t19);
    t8 = (t0 + 4432);
    t13 = (t8 + 56U);
    t21 = *((char **)t13);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    memcpy(t23, t5, 32U);
    xsi_driver_first_trans_delta(t8, t20, 32U, 0LL);
    goto LAB13;

LAB15:    xsi_size_not_matching(32U, t15, 0);
    goto LAB16;

LAB19:    xsi_set_current_line(235, ng0);
    t5 = xsi_get_transient_memory(32U);
    memset(t5, 0, 32U);
    t6 = t5;
    memset(t6, (unsigned char)2, 32U);
    t7 = (t0 + 16325);
    t16 = *((int *)t7);
    t17 = (t16 - 255);
    t15 = (t17 * -1);
    t18 = (32U * t15);
    t19 = (0U + t18);
    t8 = (t0 + 4432);
    t13 = (t8 + 56U);
    t21 = *((char **)t13);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    memcpy(t23, t5, 32U);
    xsi_driver_first_trans_delta(t8, t19, 32U, 0LL);

LAB20:    t1 = (t0 + 16325);
    t10 = *((int *)t1);
    t2 = (t0 + 16329);
    t11 = *((int *)t2);
    if (t10 == t11)
        goto LAB21;

LAB22:    t16 = (t10 + 1);
    t10 = t16;
    t5 = (t0 + 16325);
    *((int *)t5) = t10;
    goto LAB18;

LAB23:    xsi_set_current_line(244, ng0);
    t2 = (t0 + 1992U);
    t6 = *((char **)t2);
    t2 = (t0 + 1832U);
    t7 = *((char **)t2);
    t2 = (t0 + 7820U);
    t10 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t7, t2);
    t11 = (t10 - 255);
    t15 = (t11 * -1);
    t18 = (32U * t15);
    t19 = (0U + t18);
    t8 = (t0 + 4432);
    t13 = (t8 + 56U);
    t21 = *((char **)t13);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    memcpy(t23, t6, 32U);
    xsi_driver_first_trans_delta(t8, t19, 32U, 0LL);
    goto LAB24;

LAB26:    t2 = (t0 + 1672U);
    t5 = *((char **)t2);
    t9 = *((unsigned char *)t5);
    t12 = (t9 == (unsigned char)3);
    t3 = t12;
    goto LAB28;

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

LAB0:    t6 = ((STD_TEXTIO) + 1996);
    t7 = (t3 + 12U);
    t8 = *((unsigned int *)t7);
    t8 = (t8 * 1U);
    t9 = (t4 + 4U);
    t10 = xsi_create_file_variable_in_buffer(0, ng1, t6, t2, t8, 1);
    *((char **)t9) = t10;
    t11 = (t4 + 8U);
    t12 = ((STD_TEXTIO) + 1908);
    t13 = (t11 + 32U);
    *((char **)t13) = t12;
    t14 = (t11 + 24U);
    *((char **)t14) = 0;
    t15 = (t11 + 36U);
    *((int *)t15) = 1;
    t16 = (t11 + 28U);
    *((char **)t16) = 0;
    t18 = (t17 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 31;
    t19 = (t18 + 4U);
    *((int *)t19) = 0;
    t19 = (t18 + 8U);
    *((int *)t19) = -1;
    t20 = (0 - 31);
    t21 = (t20 * -1);
    t21 = (t21 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t21;
    t19 = (t4 + 48U);
    t22 = ((STD_STANDARD) + 712);
    t23 = (t19 + 52U);
    *((char **)t23) = t22;
    t25 = (t19 + 36U);
    *((char **)t25) = t24;
    xsi_type_set_default_value(t22, t24, t17);
    t26 = (t19 + 40U);
    *((char **)t26) = t17;
    t27 = (t19 + 48U);
    *((unsigned int *)t27) = 32U;
    t29 = (t28 + 0U);
    t30 = (t29 + 0U);
    *((int *)t30) = 0;
    t30 = (t29 + 4U);
    *((int *)t30) = 31;
    t30 = (t29 + 8U);
    *((int *)t30) = 1;
    t31 = (31 - 0);
    t21 = (t31 * 1);
    t21 = (t21 + 1);
    t30 = (t29 + 12U);
    *((unsigned int *)t30) = t21;
    t30 = (t28 + 16U);
    t32 = (t30 + 0U);
    *((int *)t32) = 31;
    t32 = (t30 + 4U);
    *((int *)t32) = 0;
    t32 = (t30 + 8U);
    *((int *)t32) = -1;
    t33 = (0 - 31);
    t21 = (t33 * -1);
    t21 = (t21 + 1);
    t32 = (t30 + 12U);
    *((unsigned int *)t32) = t21;
    t32 = (t4 + 116U);
    t34 = (t1 + 2016);
    t35 = (t32 + 52U);
    *((char **)t35) = t34;
    t37 = (t32 + 36U);
    *((char **)t37) = t36;
    xsi_type_set_default_value(t34, t36, 0);
    t38 = (t32 + 40U);
    t39 = (t34 + 44U);
    t40 = *((char **)t39);
    *((char **)t38) = t40;
    t41 = (t32 + 48U);
    *((unsigned int *)t41) = 1024U;
    t42 = (t5 + 4U);
    t43 = (t2 != 0);
    if (t43 == 1)
        goto LAB3;

LAB2:    t44 = (t5 + 8U);
    *((char **)t44) = t3;
    t45 = 0;
    t46 = 31;

LAB4:    if (t45 <= t46)
        goto LAB5;

LAB7:    t6 = (t32 + 36U);
    t7 = *((char **)t6);
    t43 = (1024U != 1024U);
    if (t43 == 1)
        goto LAB9;

LAB10:    t0 = xsi_get_transient_memory(1024U);
    memcpy(t0, t7, 1024U);

LAB1:    xsi_access_variable_delete(t11);
    t6 = (t4 + 4U);
    t7 = *((char **)t6);
    xsi_delete_file_variable(t7);
    return t0;
LAB3:    *((char **)t42) = t2;
    goto LAB2;

LAB5:    t47 = (t4 + 4U);
    t48 = *((char **)t47);
    std_textio_readline(STD_TEXTIO, (char *)0, t48, t11);
    t6 = (t19 + 36U);
    t7 = *((char **)t6);
    std_textio_read4(STD_TEXTIO, (char *)0, t11, t7, t17);
    t6 = (t19 + 36U);
    t7 = *((char **)t6);
    t6 = ieee_p_2592010699_sub_393209765_503743352(IEEE_P_2592010699, t49, t7, t17);
    t9 = (t32 + 36U);
    t10 = *((char **)t9);
    t20 = (t45 - 0);
    t8 = (t20 * 1);
    xsi_vhdl_check_range_of_index(0, 31, 1, t45);
    t21 = (32U * t8);
    t50 = (0 + t21);
    t9 = (t10 + t50);
    t12 = (t49 + 12U);
    t51 = *((unsigned int *)t12);
    t51 = (t51 * 1U);
    memcpy(t9, t6, t51);

LAB6:    if (t45 == t46)
        goto LAB7;

LAB8:    t20 = (t45 + 1);
    t45 = t20;
    goto LAB4;

LAB9:    xsi_size_not_matching(1024U, 1024U, 0);
    goto LAB10;

LAB11:;
}