Ejemplos de xsi_vlog_rtl_dist_uniform en C++ (Cpp)

Ejemplo n.º 1

Archivo: m_00000000001961267332_0810432612.c Proyecto: calikevuche/usrp2

static void Always_77_2(char *t0)
{
    char t4[8];
    char t7[8];
    char *t1;
    char *t2;
    char *t3;
    char *t5;
    char *t6;
    char *t8;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(77, ng0);
    t2 = (t0 + 3532);
    *((int *)t2) = 1;
    t3 = (t0 + 2772);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(77, ng0);

LAB5:    xsi_set_current_line(78, ng0);
    *((int *)t4) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647);
    t5 = (t4 + 4);
    *((int *)t5) = 0;
    t6 = ((char*)((ng3)));
    memset(t7, 0, 8);
    xsi_vlog_signed_mod(t7, 32, t4, 32, t6, 32);
    t8 = (t0 + 1564);
    xsi_vlogvar_assign_value(t8, t7, 0, 0, 16);
    xsi_set_current_line(79, ng0);
    *((int *)t4) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647);
    t2 = (t4 + 4);
    *((int *)t2) = 0;
    t3 = ((char*)((ng3)));
    memset(t7, 0, 8);
    xsi_vlog_signed_mod(t7, 32, t4, 32, t3, 32);
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t7, 0, 0, 16);
    goto LAB2;

}

Ejemplo n.º 2

Archivo: m_00000000004057842892_1985558087.c Proyecto: fedesor/tesis

static void Always_55_1(char *t0)
{
    char t3[8];
    char t6[8];
    char *t1;
    char *t2;
    char *t4;
    char *t5;
    char *t7;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(55, ng0);
    t2 = (t0 + 2132);
    xsi_process_wait(t2, 10000LL);
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(55, ng0);
    *((int *)t3) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647);
    t4 = (t3 + 4);
    *((int *)t4) = 0;
    t5 = ((char*)((ng1)));
    memset(t6, 0, 8);
    xsi_vlog_signed_mod(t6, 32, t3, 32, t5, 32);
    t7 = (t0 + 1196);
    xsi_vlogvar_assign_value(t7, t6, 0, 0, 1);
    goto LAB2;

}

Ejemplo n.º 3

Archivo: m_00000000000793966181_0388895053.c Proyecto: GSejas/Proyecto-1-Digitales

static void Always_39_0(char *t0)
{
    char t5[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(39, ng0);
    t2 = (t0 + 4144);
    *((int *)t2) = 1;
    t3 = (t0 + 3360);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(40, ng0);

LAB5:    xsi_set_current_line(41, ng0);
    t4 = (t0 + 3136);
    xsi_process_wait(t4, 3000LL);
    *((char **)t1) = &&LAB6;
    goto LAB1;

LAB6:    xsi_set_current_line(42, ng0);
    *((int *)t5) = xsi_vlog_rtl_dist_uniform(0, 0, -2147483648, 2147483647);
    t2 = (t5 + 4);
    *((int *)t2) = 0;
    t3 = (t0 + 2408);
    xsi_vlogvar_assign_value(t3, t5, 0, 0, 1);
    goto LAB2;

}