Exemplo n.º 1
0
static void work_a_4035671647_3212880686_p_0(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;

LAB0:    xsi_set_current_line(42, 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);
    t3 = ieee_p_2592010699_sub_1744673427_2592010699(IEEE_P_2592010699, t1, 0U, 0U);
    if (t3 != 0)
        goto LAB5;

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

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

LAB5:    xsi_set_current_line(45, ng0);
    t2 = (t0 + 776U);
    t5 = *((char **)t2);
    t2 = (t0 + 4120);
    t6 = (t2 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t5, 32U);
    xsi_driver_first_trans_fast(t2);
    goto LAB3;

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

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

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 528U);
    t3 = ieee_p_2592010699_sub_1744673427_2592010699(IEEE_P_2592010699, t2, 0U, 0U);
    if (t3 != 0)
        goto LAB4;

LAB6:
LAB5:
LAB20:    t2 = (t0 + 1796);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB21;

LAB1:    return;
LAB4:    t4 = (t0 + 928U);
    t5 = *((char **)t4);
    t6 = *((int64 *)t5);
    t4 = (t0 + 864U);
    t7 = *((char **)t4);
    t4 = (t7 + 0);
    *((int64 *)t4) = t6;
    t6 = xsi_get_sim_current_time();
    t2 = (t0 + 928U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((int64 *)t2) = t6;
    t2 = (t0 + 864U);
    t4 = *((char **)t2);
    t6 = *((int64 *)t4);
    t8 = (0 * 1000LL);
    t3 = (t6 > t8);
    if (t3 != 0)
        goto LAB7;

LAB9:
LAB8:    t2 = (t0 + 992U);
    t4 = *((char **)t2);
    t6 = *((int64 *)t4);
    t13 = (t6 > 100000000000LL);
    if (t13 == 1)
        goto LAB13;

LAB14:    t3 = (unsigned char)0;

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

LAB12:
LAB11:    goto LAB5;

LAB7:    t2 = (t0 + 928U);
    t5 = *((char **)t2);
    t9 = *((int64 *)t5);
    t2 = (t0 + 864U);
    t7 = *((char **)t2);
    t10 = *((int64 *)t7);
    t11 = (t9 - t10);
    t2 = (t0 + 992U);
    t12 = *((char **)t2);
    t2 = (t12 + 0);
    *((int64 *)t2) = t11;
    goto LAB8;

LAB10:    t2 = (t0 + 1532);
    t7 = (t0 + 1208U);
    t12 = (t0 + 3028);
    t18 = (t17 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 33;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t20 = (33 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t21;
    std_textio_write7(STD_TEXTIO, t2, t7, t12, t17, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 992U);
    t7 = *((char **)t5);
    t6 = *((int64 *)t7);
    std_textio_write8(STD_TEXTIO, t2, t4, t6, (unsigned char)0, 0, 1000000LL);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 3061);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 8;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (8 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 3069);
    memcpy(t22, t5, 5U);
    t12 = (t0 + 2964U);
    std_textio_write7(STD_TEXTIO, t2, t4, t22, t12, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 3074);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 6;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (6 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 3080);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 17;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (17 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 3097);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 26;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (26 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    std_textio_write8(STD_TEXTIO, t2, t4, 100000000000LL, (unsigned char)0, 0, 1000000LL);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 3123);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 20;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (20 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t5 = (t0 + 928U);
    t7 = *((char **)t5);
    t6 = *((int64 *)t7);
    std_textio_write8(STD_TEXTIO, t2, t4, t6, (unsigned char)0, 0, 1000000LL);
    t2 = (t0 + 1532);
    t4 = (t0 + 1208U);
    t7 = ((STD_STANDARD) + 708);
    t5 = xsi_base_array_concat(t5, t17, t7, (char)99, (unsigned char)46, (char)99, (unsigned char)10, (char)101);
    t21 = (1U + 1U);
    t12 = (char *)alloca(t21);
    memcpy(t12, t5, t21);
    std_textio_write7(STD_TEXTIO, t2, t4, t12, t17, (unsigned char)0, 0);
    if ((unsigned char)0 == 0)
        goto LAB16;

LAB17:    t2 = (t0 + 1208U);
    xsi_access_variable_deallocate(t2);
    goto LAB11;

LAB13:    t2 = (t0 + 636U);
    t5 = *((char **)t2);
    t14 = *((unsigned char *)t5);
    t15 = (t14 == (unsigned char)2);
    t3 = t15;
    goto LAB15;

LAB16:    t2 = (t0 + 1208U);
    t4 = xsi_access_variable_all(t2);
    t5 = (t4 + 32U);
    t7 = *((char **)t5);
    t5 = (t0 + 1208U);
    t16 = xsi_access_variable_all(t5);
    t18 = (t16 + 36U);
    t18 = *((char **)t18);
    t19 = (t18 + 12U);
    t21 = *((unsigned int *)t19);
    t23 = (1U * t21);
    xsi_report(t7, t23, (unsigned char)1);
    goto LAB17;

LAB18:    t4 = (t0 + 1796);
    *((int *)t4) = 0;
    goto LAB2;

LAB19:    goto LAB18;

LAB21:    goto LAB19;

}