C++ (Cpp) xsi_vlog_signed_case_compare Exemples

Exemple #1

Fichier : m_05419716383049849214_0268583759.c Projet : shehzadi/NetFPGA-RLdram

static void Initial_61_1(char *t0)
{
    char *t1;
    char *t2;
    int t3;
    char *t4;
    int t5;
    char *t6;
    int t7;
    char *t8;
    int t9;
    char *t10;
    char *t11;

LAB0:
LAB2:    t1 = (t0 + 744);
    t2 = *((char **)t1);

LAB3:    t1 = ((char*)((ng0)));
    t3 = xsi_vlog_signed_case_compare(t2, 32, t1, 32);
    if (t3 == 1)
        goto LAB4;

LAB5:    t4 = ((char*)((ng1)));
    t5 = xsi_vlog_signed_case_compare(t2, 32, t4, 32);
    if (t5 == 1)
        goto LAB6;

LAB7:    t6 = ((char*)((ng2)));
    t7 = xsi_vlog_signed_case_compare(t2, 32, t6, 32);
    if (t7 == 1)
        goto LAB8;

LAB9:    t8 = ((char*)((ng3)));
    t9 = xsi_vlog_signed_case_compare(t2, 32, t8, 32);
    if (t9 == 1)
        goto LAB10;

LAB11:
LAB13:
LAB12:
LAB15:    t10 = (t0 + 744);
    t11 = *((char **)t10);
    xsi_vlogfile_write(1, 0, 0, ng4, 2, t0, (char)119, t11, 32);
    xsi_vlog_finish(1);

LAB14:
LAB1:    return;
LAB4:    goto LAB14;

LAB6:    goto LAB4;

LAB8:    goto LAB4;

LAB10:    goto LAB4;

}

Exemple #2

Fichier : m_00000000001473159405_3692513004.c Projet : tahaeghtesad/FPGA

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

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

LAB3:    goto *t2;

LAB2:
LAB4:    t2 = (t0 + 608);
    t3 = *((char **)t2);
    t2 = ((char*)((ng0)));
    memset(t4, 0, 8);
    xsi_vlog_signed_minus(t4, 32, t3, 32, t2, 32);
    t5 = (t0 + 3568);
    xsi_vlogvar_assign_value(t5, t4, 0, 0, 3);
    t2 = ((char*)((ng1)));
    t3 = (t0 + 4368);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
    t2 = ((char*)((ng1)));
    t3 = (t0 + 4848);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
    t2 = ((char*)((ng1)));
    t3 = (t0 + 5008);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
    t2 = (t0 + 608);
    t3 = *((char **)t2);

LAB5:    t2 = ((char*)((ng0)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB6;

LAB7:    t2 = ((char*)((ng3)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB8;

LAB9:    t2 = ((char*)((ng5)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB10;

LAB11:    t2 = ((char*)((ng8)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB12;

LAB13:    t2 = ((char*)((ng10)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB14;

LAB15:    t2 = ((char*)((ng12)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB16;

LAB17:    t2 = ((char*)((ng14)));
    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);
    if (t6 == 1)
        goto LAB18;

LAB19:
LAB21:
LAB20:
LAB30:    t2 = (t0 + 608);
    t5 = *((char **)t2);
    xsi_vlogfile_write(1, 0, 0, ng16, 2, t0, (char)119, t5, 32);
    t2 = ((char*)((ng0)));
    t5 = (t0 + 6288);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);

LAB22:    t2 = (t0 + 472);
    t5 = *((char **)t2);

LAB31:    t2 = ((char*)((ng17)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 32, t2, 40);
    if (t6 == 1)
        goto LAB32;

LAB33:    t2 = ((char*)((ng18)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 32, t2, 40);
    if (t6 == 1)
        goto LAB34;

LAB35:
LAB37:
LAB36:
LAB39:    t2 = (t0 + 472);
    t7 = *((char **)t2);
    xsi_vlogfile_write(1, 0, 0, ng19, 2, t0, (char)118, t7, 32);
    t2 = ((char*)((ng0)));
    t7 = (t0 + 6288);
    xsi_vlogvar_assign_value(t7, t2, 0, 0, 1);

LAB38:    t2 = (t0 + 744);
    t7 = *((char **)t2);

LAB40:    t2 = ((char*)((ng17)));
    t6 = xsi_vlog_unsigned_case_compare(t7, 40, t2, 40);
    if (t6 == 1)
        goto LAB41;

LAB42:    t2 = ((char*)((ng18)));
    t6 = xsi_vlog_unsigned_case_compare(t7, 40, t2, 40);
    if (t6 == 1)
        goto LAB43;

LAB44:
LAB46:
LAB45:
LAB48:    t2 = (t0 + 744);
    t8 = *((char **)t2);
    xsi_vlogfile_write(1, 0, 0, ng20, 2, t0, (char)118, t8, 40);
    t2 = ((char*)((ng0)));
    t8 = (t0 + 6288);
    xsi_vlogvar_assign_value(t8, t2, 0, 0, 1);

LAB47:    t2 = (t0 + 880);
    t8 = *((char **)t2);

LAB49:    t2 = ((char*)((ng17)));
    t6 = xsi_vlog_unsigned_case_compare(t8, 40, t2, 40);
    if (t6 == 1)
        goto LAB50;

LAB51:    t2 = ((char*)((ng18)));
    t6 = xsi_vlog_unsigned_case_compare(t8, 40, t2, 40);
    if (t6 == 1)
        goto LAB52;

LAB53:
LAB55:
LAB54:
LAB57:    t2 = (t0 + 880);
    t9 = *((char **)t2);
    xsi_vlogfile_write(1, 0, 0, ng21, 2, t0, (char)118, t9, 40);
    t2 = ((char*)((ng0)));
    t9 = (t0 + 6288);
    xsi_vlogvar_assign_value(t9, t2, 0, 0, 1);

LAB56:    t2 = (t0 + 880);
    t9 = *((char **)t2);

LAB58:    t2 = ((char*)((ng17)));
    t6 = xsi_vlog_unsigned_case_compare(t9, 40, t2, 40);
    if (t6 == 1)
        goto LAB59;

LAB60:
LAB61:    t2 = (t0 + 472);
    t10 = *((char **)t2);

LAB66:    t2 = ((char*)((ng23)));
    t6 = xsi_vlog_unsigned_case_compare(t10, 32, t2, 32);
    if (t6 == 1)
        goto LAB67;

LAB68:
LAB69:    t2 = (t0 + 880);
    t11 = *((char **)t2);

LAB74:    t2 = ((char*)((ng17)));
    t6 = xsi_vlog_unsigned_case_compare(t11, 40, t2, 40);
    if (t6 == 1)
        goto LAB75;

LAB76:
LAB77:    t2 = (t0 + 6288);
    t12 = (t2 + 56U);
    t18 = *((char **)t12);
    t19 = (t18 + 4);
    t13 = *((unsigned int *)t19);
    t14 = (~(t13));
    t15 = *((unsigned int *)t18);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB82;

LAB83:
LAB84:
LAB1:    return;
LAB6:
LAB23:    t5 = ((char*)((ng2)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng2)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng0)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB8:
LAB24:    t5 = ((char*)((ng4)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng2)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng1)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB10:
LAB25:    t5 = ((char*)((ng6)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng7)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng0)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB12:
LAB26:    t5 = ((char*)((ng9)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng7)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng1)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB14:
LAB27:    t5 = ((char*)((ng11)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng4)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng0)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB16:
LAB28:    t5 = ((char*)((ng13)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng4)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng1)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB18:
LAB29:    t5 = ((char*)((ng15)));
    t7 = (t0 + 3888);
    xsi_vlogvar_assign_value(t7, t5, 0, 0, 3);
    t2 = ((char*)((ng6)));
    t5 = (t0 + 4048);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 3);
    t2 = ((char*)((ng0)));
    t5 = (t0 + 4208);
    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);
    goto LAB22;

LAB32:    t7 = ((char*)((ng7)));
    t8 = (t0 + 5168);
    xsi_vlogvar_wait_assign_value(t8, t7, 0, 0, 1, 0LL);
    goto LAB38;

LAB34:    t7 = ((char*)((ng2)));
    t8 = (t0 + 5168);
    xsi_vlogvar_wait_assign_value(t8, t7, 0, 0, 1, 0LL);
    goto LAB38;

LAB41:    t8 = ((char*)((ng7)));
    t9 = (t0 + 5328);
    xsi_vlogvar_wait_assign_value(t9, t8, 0, 0, 1, 0LL);
    goto LAB47;

LAB43:    t8 = ((char*)((ng2)));
    t9 = (t0 + 5328);
    xsi_vlogvar_wait_assign_value(t9, t8, 0, 0, 1, 0LL);
    goto LAB47;

LAB50:    t9 = ((char*)((ng7)));
    t10 = (t0 + 5488);
    xsi_vlogvar_wait_assign_value(t10, t9, 0, 0, 1, 0LL);
    goto LAB56;

LAB52:    t9 = ((char*)((ng2)));
    t10 = (t0 + 5488);
    xsi_vlogvar_wait_assign_value(t10, t9, 0, 0, 1, 0LL);
    goto LAB56;

LAB59:    t10 = (t0 + 608);
    t11 = *((char **)t10);
    t10 = ((char*)((ng0)));
    memset(t4, 0, 8);
    xsi_vlog_signed_equal(t4, 32, t11, 32, t10, 32);
    t12 = (t4 + 4);
    t13 = *((unsigned int *)t12);
    t14 = (~(t13));
    t15 = *((unsigned int *)t4);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB62;

LAB63:
LAB64:    goto LAB61;

LAB62:
LAB65:    t18 = (t0 + 880);
    t19 = *((char **)t18);
    xsi_vlogfile_write(1, 0, 0, ng22, 2, t0, (char)118, t19, 40);
    t2 = ((char*)((ng0)));
    t10 = (t0 + 6288);
    xsi_vlogvar_assign_value(t10, t2, 0, 0, 1);
    goto LAB64;

LAB67:    t11 = (t0 + 608);
    t12 = *((char **)t11);
    t11 = ((char*)((ng0)));
    memset(t4, 0, 8);
    xsi_vlog_signed_not_equal(t4, 32, t12, 32, t11, 32);
    t18 = (t4 + 4);
    t13 = *((unsigned int *)t18);
    t14 = (~(t13));
    t15 = *((unsigned int *)t4);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB70;

LAB71:
LAB72:    goto LAB69;

LAB70:
LAB73:    t19 = (t0 + 608);
    t20 = *((char **)t19);
    xsi_vlogfile_write(1, 0, 0, ng24, 2, t0, (char)119, t20, 32);
    t2 = ((char*)((ng0)));
    t11 = (t0 + 6288);
    xsi_vlogvar_assign_value(t11, t2, 0, 0, 1);
    goto LAB72;

LAB75:    t12 = (t0 + 744);
    t18 = *((char **)t12);
    t12 = ((char*)((ng17)));
    xsi_vlog_unsigned_equal(t21, 40, t18, 40, t12, 40);
    t19 = (t21 + 4);
    t13 = *((unsigned int *)t19);
    t14 = (~(t13));
    t15 = *((unsigned int *)t21);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB78;

LAB79:
LAB80:    goto LAB77;

LAB78:
LAB81:    t20 = (t0 + 744);
    t22 = *((char **)t20);
    xsi_vlogfile_write(1, 0, 0, ng25, 2, t0, (char)118, t22, 40);
    t2 = ((char*)((ng0)));
    t12 = (t0 + 6288);
    xsi_vlogvar_assign_value(t12, t2, 0, 0, 1);
    goto LAB80;

LAB82:
LAB85:    t20 = (t0 + 7672);
    xsi_process_wait(t20, 1LL);
    *((char **)t1) = &&LAB86;
    goto LAB1;

LAB86:    xsi_vlog_finish(1);
    goto LAB84;

}