Ejemplo n.º 1
0
static void work_a_0091457252_3212880686_p_0(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    int64 t5;
    char *t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;

LAB0:    xsi_set_current_line(62, 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(65, ng0);
    t5 = (7 * 1000LL);
    t1 = (t0 + 2912);
    t2 = (t1 + 56U);
    t6 = *((char **)t2);
    t8 = (t6 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = (unsigned char)4;
    xsi_driver_first_trans_delta(t1, 0U, 1, t5);
    t10 = (t0 + 2912);
    xsi_driver_intertial_reject(t10, t5, t5);

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

LAB1:    return;
LAB2:    xsi_set_current_line(63, ng0);
    t5 = (7 * 1000LL);
    t1 = (t0 + 1032U);
    t6 = *((char **)t1);
    t7 = *((unsigned char *)t6);
    t1 = (t0 + 2912);
    t8 = (t1 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t7;
    xsi_driver_first_trans_delta(t1, 0U, 1, t5);
    t12 = (t0 + 2912);
    xsi_driver_intertial_reject(t12, t5, t5);
    goto LAB3;

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

LAB0:    t1 = (t0 + 6208U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 4232U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t1 = (t0 + 11616);
    t6 = (t1 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t1, 0U, 1, t3);
    t10 = (t0 + 11616);
    xsi_driver_intertial_reject(t10, t3, t3);
    t1 = (t0 + 6208U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 4392U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t1 = (t0 + 11680);
    t6 = (t1 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t1, 0U, 1, t3);
    t10 = (t0 + 11680);
    xsi_driver_intertial_reject(t10, t3, t3);
    t1 = (t0 + 10640);
    *((int *)t1) = 1;

LAB1:    return;
}
static void work_a_3114533131_1992432545_p_1(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;

LAB0:    xsi_set_current_line(102, ng0);

LAB3:    t1 = (100 * 1000LL);
    t2 = (t0 + 6536U);
    t3 = *((char **)t2);
    t2 = (t0 + 12136);
    t4 = (t2 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t3, 32U);
    xsi_driver_first_trans_delta(t2, 0U, 32U, t1);
    t8 = (t0 + 12136);
    xsi_driver_intertial_reject(t8, t1, t1);

LAB2:    t9 = (t0 + 11944);
    *((int *)t9) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:
LAB3:    t1 = (0 * 1LL);
    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 10784);
    t5 = (t2 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = t4;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t9 = (t0 + 10784);
    xsi_driver_intertial_reject(t9, t1, t1);

LAB2:    t10 = (t0 + 10528);
    *((int *)t10) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:
LAB3:    t1 = (100 * 10LL);
    t2 = (t0 + 3272U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 14816);
    t5 = (t2 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = t4;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t9 = (t0 + 14816);
    xsi_driver_intertial_reject(t9, t1, t1);

LAB2:    t10 = (t0 + 13264);
    *((int *)t10) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 6
0
static void work_a_0153626076_0578964516_p_3(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;

LAB0:    xsi_set_current_line(90, ng0);

LAB3:    t1 = (14 * 1000LL);
    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t2 = (t0 + 4216);
    t4 = (t2 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t3, 8U);
    xsi_driver_first_trans_delta(t2, 0U, 8U, t1);
    t8 = (t0 + 4216);
    xsi_driver_intertial_reject(t8, t1, t1);

LAB2:    t9 = (t0 + 3944);
    *((int *)t9) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 7
0
static void work_a_4179008108_3212880686_p_1(char *t0)
{
    char t2[16];
    int64 t1;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    unsigned int t9;
    unsigned int t10;
    unsigned char t11;
    char *t12;
    char *t13;
    char *t14;
    char *t15;
    char *t16;
    char *t17;
    char *t18;

LAB0:    xsi_set_current_line(68, ng0);

LAB3:    t1 = (7 * 1000LL);
    t3 = (t0 + 1032U);
    t4 = *((char **)t3);
    t3 = (t0 + 7176U);
    t5 = (t0 + 1192U);
    t6 = *((char **)t5);
    t5 = (t0 + 7192U);
    t7 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t2, t4, t3, t6, t5);
    t8 = (t2 + 12U);
    t9 = *((unsigned int *)t8);
    t10 = (1U * t9);
    t11 = (4U != t10);
    if (t11 == 1)
        goto LAB5;

LAB6:    t12 = (t0 + 4776);
    t13 = (t12 + 56U);
    t14 = *((char **)t13);
    t15 = (t14 + 56U);
    t16 = *((char **)t15);
    memcpy(t16, t7, 4U);
    xsi_driver_first_trans_delta(t12, 0U, 4U, t1);
    t17 = (t0 + 4776);
    xsi_driver_intertial_reject(t17, t1, t1);

LAB2:    t18 = (t0 + 4568);
    *((int *)t18) = 1;

LAB1:    return;
LAB4:    goto LAB2;

LAB5:    xsi_size_not_matching(4U, t10, 0);
    goto LAB6;

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

LAB0:
    xsi_set_current_line(21, ng0);

LAB3:
    t1 = (2 * 1000LL);
    t2 = (t0 + 1032U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 1192U);
    t5 = *((char **)t2);
    t6 = *((unsigned char *)t5);
    t7 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t4, t6);
    t2 = (t0 + 1352U);
    t8 = *((char **)t2);
    t9 = *((unsigned char *)t8);
    t10 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t7, t9);
    t2 = (t0 + 3616);
    t11 = (t2 + 56U);
    t12 = *((char **)t11);
    t13 = (t12 + 56U);
    t14 = *((char **)t13);
    *((unsigned char *)t14) = t10;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t15 = (t0 + 3616);
    xsi_driver_intertial_reject(t15, t1, t1);

LAB2:
    t16 = (t0 + 3520);
    *((int *)t16) = 1;

LAB1:
    return;
LAB4:
    goto LAB2;

}
Ejemplo n.º 9
0
static void unisim_a_3519694068_2693788048_p_1(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    int64 t7;
    char *t8;
    unsigned char t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;

LAB0:    t1 = (t0 + 1152U);
    t2 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

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

LAB7:
LAB6:    goto LAB3;

LAB5:    t7 = (100 * 1LL);
    t3 = (t0 + 1512U);
    t8 = *((char **)t3);
    t9 = *((unsigned char *)t8);
    t3 = (t0 + 3672);
    t10 = (t3 + 56U);
    t11 = *((char **)t10);
    t12 = (t11 + 56U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = t9;
    xsi_driver_first_trans_delta(t3, 0U, 1, t7);
    t14 = (t0 + 3672);
    xsi_driver_intertial_reject(t14, t7, t7);
    goto LAB6;

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

LAB0:    t1 = (t0 + 660U);
    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

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

LAB7:
LAB6:    goto LAB3;

LAB5:    t7 = (100 * 1LL);
    t3 = (t0 + 868U);
    t8 = *((char **)t3);
    t9 = *((unsigned char *)t8);
    t3 = (t0 + 2116);
    t10 = (t3 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 40U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = t9;
    xsi_driver_first_trans_delta(t3, 0U, 1, t7);
    t14 = (t0 + 2116);
    xsi_driver_intertial_reject(t14, t7, t7);
    goto LAB6;

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

LAB0:
    xsi_set_current_line(44, ng0);

LAB3:
    t1 = (5 * 1000LL);
    t2 = (t0 + 1672U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 1192U);
    t5 = *((char **)t2);
    t6 = *((unsigned char *)t5);
    t7 = ieee_p_2592010699_sub_313326228_503743352(IEEE_P_2592010699, t4, t6);
    t2 = (t0 + 3888);
    t8 = (t2 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t7;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t12 = (t0 + 3888);
    xsi_driver_intertial_reject(t12, t1, t1);

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

LAB1:
    return;
LAB4:
    goto LAB2;

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

LAB0:    xsi_set_current_line(23, ng0);

LAB3:    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 1192U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t1 = (t0 + 1352U);
    t6 = *((char **)t1);
    t7 = *((unsigned char *)t6);
    t8 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t5, t7);
    t9 = ieee_p_2592010699_sub_3488768497506413324_503743352(IEEE_P_2592010699, t3, t8);
    t1 = (t0 + 4032);
    t10 = (t1 + 56U);
    t11 = *((char **)t10);
    t12 = (t11 + 56U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = t9;
    xsi_driver_first_trans_delta(t1, 0U, 1, 1000LL);
    t14 = (t0 + 4032);
    xsi_driver_intertial_reject(t14, 1000LL, 1000LL);

LAB2:    t15 = (t0 + 3920);
    *((int *)t15) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 13
0
static void work_a_0985591208_2372691052_p_1(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    int t4;
    unsigned int t5;
    unsigned int t6;
    unsigned int t7;
    unsigned char t8;
    unsigned char t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;
    char *t15;
    char *t16;

LAB0:    xsi_set_current_line(69, ng0);

LAB3:    t1 = (20 * 1000LL);
    t2 = (t0 + 592U);
    t3 = *((char **)t2);
    t4 = (1 - 3);
    t5 = (t4 * -1);
    t6 = (1U * t5);
    t7 = (0 + t6);
    t2 = (t3 + t7);
    t8 = *((unsigned char *)t2);
    t9 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t8);
    t10 = (t0 + 2076);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    t13 = (t12 + 40U);
    t14 = *((char **)t13);
    *((unsigned char *)t14) = t9;
    xsi_driver_first_trans_delta(t10, 2U, 1, t1);
    t15 = (t0 + 2076);
    xsi_driver_intertial_reject(t15, t1, t1);

LAB2:    t16 = (t0 + 1980);
    *((int *)t16) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 14
0
static void work_a_0008633239_1516540902_p_0(char *t0)
{
    char *t1;
    char *t2;
    int64 t3;
    char *t4;
    unsigned char t5;
    char *t6;
    unsigned char t7;
    unsigned char t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;

LAB0:    xsi_set_current_line(26, ng0);

LAB3:    t1 = ((WORK_P_2247078152) + 1168U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 1032U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t1 = (t0 + 1192U);
    t6 = *((char **)t1);
    t7 = *((unsigned char *)t6);
    t8 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t5, t7);
    t1 = (t0 + 2912);
    t9 = (t1 + 56U);
    t10 = *((char **)t9);
    t11 = (t10 + 56U);
    t12 = *((char **)t11);
    *((unsigned char *)t12) = t8;
    xsi_driver_first_trans_delta(t1, 0U, 1, t3);
    t13 = (t0 + 2912);
    xsi_driver_intertial_reject(t13, t3, t3);

LAB2:    t14 = (t0 + 2832);
    *((int *)t14) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 15
0
static void work_a_3755959177_1446275585_p_0(char *t0)
{
    char *t1;
    char *t2;
    int64 t3;
    int64 t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;

LAB0:    xsi_set_current_line(74, ng0);

LAB3:    t1 = (t0 + 2608U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t4 = (t3 / 2);
    t1 = (t0 + 1192U);
    t5 = *((char **)t1);
    t6 = *((unsigned char *)t5);
    t7 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t6);
    t1 = (t0 + 5816);
    t8 = (t1 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t7;
    xsi_driver_first_trans_delta(t1, 0U, 1, t4);
    t12 = (t0 + 5816);
    xsi_driver_intertial_reject(t12, t4, t4);

LAB2:    t13 = (t0 + 5592);
    *((int *)t13) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:
    xsi_set_current_line(42, ng0);

LAB3:
    t1 = (5 * 1000LL);
    t2 = (t0 + 1032U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t4);
    t2 = (t0 + 3760);
    t6 = (t2 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t10 = (t0 + 3760);
    xsi_driver_intertial_reject(t10, t1, t1);

LAB2:
    t11 = (t0 + 3648);
    *((int *)t11) = 1;

LAB1:
    return;
LAB4:
    goto LAB2;

}
Ejemplo n.º 17
0
static void work_a_3006959317_4118255912_p_0(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    unsigned char t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;

LAB0:    xsi_set_current_line(32, ng0);

LAB3:    t1 = (7 * 1000LL);
    t2 = (t0 + 1032U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 1192U);
    t5 = *((char **)t2);
    t6 = *((unsigned char *)t5);
    t7 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t4, t6);
    t2 = (t0 + 2912);
    t8 = (t2 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t7;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t12 = (t0 + 2912);
    xsi_driver_intertial_reject(t12, t1, t1);

LAB2:    t13 = (t0 + 2832);
    *((int *)t13) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 18
0
static void work_a_0187029750_3671711236_p_0(char *t0)
{
    char *t1;
    char *t2;
    int64 t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;

LAB0:    xsi_set_current_line(43, ng0);

LAB3:    t1 = (t0 + 4448U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 2312U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t6 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t5);
    t1 = (t0 + 6552);
    t7 = (t1 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = t6;
    xsi_driver_first_trans_delta(t1, 0U, 1, t3);
    t11 = (t0 + 6552);
    xsi_driver_intertial_reject(t11, t3, t3);

LAB2:    t12 = (t0 + 6440);
    *((int *)t12) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:    xsi_set_current_line(25, ng0);

LAB3:    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 1192U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t6 = ieee_p_2592010699_sub_3488546069778340532_503743352(IEEE_P_2592010699, t3, t5);
    t1 = (t0 + 4096);
    t7 = (t1 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = t6;
    xsi_driver_first_trans_delta(t1, 0U, 1, 1000LL);
    t11 = (t0 + 4096);
    xsi_driver_intertial_reject(t11, 1000LL, 1000LL);

LAB2:    t12 = (t0 + 3936);
    *((int *)t12) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 20
0
static void work_a_0780303089_3553469787_p_0(char *t0)
{
    int64 t1;
    int64 t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;

LAB0:    xsi_set_current_line(19, ng0);

LAB3:    t1 = (1 * 1000LL);
    t2 = (5 * t1);
    t3 = (t0 + 1192U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t5);
    t3 = (t0 + 3136);
    t7 = (t3 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = t6;
    xsi_driver_first_trans_delta(t3, 0U, 1, t2);
    t11 = (t0 + 3136);
    xsi_driver_intertial_reject(t11, t2, t2);

LAB2:    t12 = (t0 + 3040);
    *((int *)t12) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:    t1 = (t0 + 2752U);
    t2 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

LAB1:    return;
LAB2:    t3 = (100 * 1LL);
    t4 = (t0 + 3592U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t4 = (t0 + 9824);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = t6;
    xsi_driver_first_trans_delta(t4, 0U, 1, t3);
    t11 = (t0 + 9824);
    xsi_driver_intertial_reject(t11, t3, t3);
    goto LAB3;

}
Ejemplo n.º 22
0
static void unisim_a_0350208134_1521797606_p_1(char *t0)
{
    char *t1;
    unsigned char t2;
    int64 t3;
    char *t4;
    char *t5;
    unsigned char t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;

LAB0:    t1 = (t0 + 660U);
    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

LAB1:    return;
LAB2:    t3 = (100 * 1LL);
    t4 = (t0 + 776U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t4 = (t0 + 1988);
    t7 = (t4 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = t6;
    xsi_driver_first_trans_delta(t4, 0U, 1, t3);
    t11 = (t0 + 1988);
    xsi_driver_intertial_reject(t11, t3, t3);
    goto LAB3;

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

LAB0:    xsi_set_current_line(42, ng0);

LAB3:    t1 = (t0 + 1648U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 1032U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t1 = (t0 + 3296);
    t6 = (t1 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t1, 0U, 1, t3);
    t10 = (t0 + 3296);
    xsi_driver_intertial_reject(t10, t3, t3);

LAB2:    t11 = (t0 + 3200);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
static void unisim_a_3702704980_1602505438_p_0(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    unsigned char t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;

LAB0:
    t1 = (0 * 10LL);
    t2 = (t0 + 1192U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 1352U);
    t5 = *((char **)t2);
    t6 = *((unsigned char *)t5);
    t7 = ieee_p_2592010699_sub_3488768496604610246_503743352(IEEE_P_2592010699, t4, t6);
    t2 = (t0 + 2904);
    t8 = (t2 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t7;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t12 = (t0 + 2904);
    xsi_driver_intertial_reject(t12, t1, t1);
    t2 = (t0 + 2824);
    *((int *)t2) = 1;

LAB1:
    return;
}
Ejemplo n.º 25
0
static void work_a_4159668295_3166501619_p_0(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;

LAB0:    xsi_set_current_line(144, ng0);

LAB3:    t1 = (100 * 1000LL);
    t2 = (t0 + 1788U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t4);
    t2 = (t0 + 2688);
    t6 = (t2 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t10 = (t0 + 2688);
    xsi_driver_intertial_reject(t10, t1, t1);

LAB2:    t11 = (t0 + 2644);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:    xsi_set_current_line(142, ng0);

LAB3:    t1 = (5 * 1000LL);
    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = ieee_p_2592010699_sub_374109322130769762_503743352(IEEE_P_2592010699, t4);
    t2 = (t0 + 7592);
    t6 = (t2 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t10 = (t0 + 7592);
    xsi_driver_intertial_reject(t10, t1, t1);

LAB2:    t11 = (t0 + 7512);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB0:
LAB3:    t1 = (t0 + 24016U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 4640U);
    t4 = *((char **)t1);
    t5 = *((unsigned char *)t4);
    t1 = (t0 + 37232);
    t6 = (t1 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t1, 0U, 1, t3);
    t10 = (t0 + 37232);
    xsi_driver_intertial_reject(t10, t3, t3);

LAB2:    t11 = (t0 + 36368);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
Ejemplo n.º 28
0
static void unisim_a_1525108159_2393828108_p_1(char *t0)
{
    int64 t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;

LAB0:
LAB3:    t1 = (0 * 1LL);
    t2 = (t0 + 684U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t4);
    t2 = (t0 + 2200);
    t6 = (t2 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t5;
    xsi_driver_first_trans_delta(t2, 0U, 1, t1);
    t10 = (t0 + 2200);
    xsi_driver_intertial_reject(t10, t1, t1);

LAB2:    t11 = (t0 + 2156);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
static void xilinxcorelib_a_0832240265_3212880686_p_4(char *t0)
{
    char *t1;
    char *t2;
    int64 t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;

LAB0:
LAB3:    t1 = (t0 + 24016U);
    t2 = *((char **)t1);
    t3 = *((int64 *)t2);
    t1 = (t0 + 4320U);
    t4 = *((char **)t1);
    t1 = (t0 + 37104);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    memcpy(t8, t4, 3U);
    xsi_driver_first_trans_delta(t1, 0U, 3U, t3);
    t9 = (t0 + 37104);
    xsi_driver_intertial_reject(t9, t3, t3);

LAB2:    t10 = (t0 + 36336);
    *((int *)t10) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
static void unisim_a_2650278463_3403034321_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 + 2564U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

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

LAB6:
LAB5:    t2 = (t0 + 1212U);
    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 + 1212U);
    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 + 2776);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB64;

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

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

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

LAB18:    t8 = (t0 + 1144U);
    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 + 1236U);
    t25 = *((char **)t24);
    t26 = *((unsigned char *)t25);
    t27 = (t26 == (unsigned char)2);
    if (t27 == 1)
        goto LAB23;

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

LAB25:    t5 = t23;
    goto LAB13;

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

LAB21:    t19 = (t0 + 1212U);
    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 + 1236U);
    t12 = *((char **)t9);
    t10 = *((unsigned char *)t12);
    t11 = (t10 == (unsigned char)3);
    if (t11 != 0)
        goto LAB32;

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

LAB46:
LAB33:    goto LAB27;

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

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

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

LAB44:
LAB36:    goto LAB33;

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

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

LAB41:    t33 = (100 * 1LL);
    t2 = (t0 + 1328U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 2892);
    t8 = (t2 + 32U);
    t9 = *((char **)t8);
    t12 = (t9 + 40U);
    t16 = *((char **)t12);
    *((unsigned char *)t16) = t4;
    xsi_driver_first_trans_delta(t2, 16U, 1, t33);
    t19 = (t0 + 2892);
    xsi_driver_intertial_reject(t19, t33, t33);
    goto LAB36;

LAB39:    t33 = (100 * 1LL);
    t20 = (t0 + 1420U);
    t24 = *((char **)t20);
    t20 = (t0 + 5069);
    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 + 5069);
    t40 = *((int *)t28);
    t41 = (t40 - 16);
    t42 = (t41 * -1);
    t43 = (1 * t42);
    t44 = (0U + t43);
    t45 = (t0 + 2892);
    t46 = (t45 + 32U);
    t47 = *((char **)t46);
    t48 = (t47 + 40U);
    t49 = *((char **)t48);
    *((unsigned char *)t49) = t15;
    xsi_driver_first_trans_delta(t45, t44, 1, t33);
    t50 = (t0 + 5069);
    t51 = *((int *)t50);
    t52 = (t51 - 16);
    t53 = (t52 * -1);
    t54 = (1 * t53);
    t55 = (0U + t54);
    t56 = (t0 + 2892);
    xsi_driver_intertial_reject(t56, t33, t33);

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

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

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

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

LAB49:
LAB48:    goto LAB33;

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

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

LAB57:
LAB56:    goto LAB27;

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

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

LAB60:
LAB59:    goto LAB56;

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

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

LAB62:    goto LAB61;

LAB64:    goto LAB62;

}