예제 #1
0
static void work_a_0273445478_3212880686_p_0(char *t0)
{
    char t5[16];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t6;
    char *t7;
    int t8;
    unsigned int t9;
    unsigned char t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;
    char *t15;
    unsigned int t16;

LAB0:    xsi_set_current_line(53, ng0);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t1 = (t0 + 5000U);
    t3 = (t0 + 5136);
    t6 = (t5 + 0U);
    t7 = (t6 + 0U);
    *((int *)t7) = 0;
    t7 = (t6 + 4U);
    *((int *)t7) = 9;
    t7 = (t6 + 8U);
    *((int *)t7) = 1;
    t8 = (9 - 0);
    t9 = (t8 * 1);
    t9 = (t9 + 1);
    t7 = (t6 + 12U);
    *((unsigned int *)t7) = t9;
    t10 = ieee_p_3620187407_sub_4058165771_3965413181(IEEE_P_3620187407, t2, t1, t3, t5);
    if (t10 != 0)
        goto LAB2;

LAB4:    xsi_set_current_line(60, ng0);
    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t1 = (t0 + 3360);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t6 = (t4 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t2, 24U);
    xsi_driver_first_trans_fast_port(t1);

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

LAB1:    return;
LAB2:    xsi_set_current_line(54, ng0);
    t7 = (t0 + 1192U);
    t11 = *((char **)t7);
    t7 = (t0 + 3232);
    t12 = (t7 + 56U);
    t13 = *((char **)t12);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t11, 8U);
    xsi_driver_first_trans_fast(t7);
    xsi_set_current_line(55, ng0);
    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t1 = (t0 + 4984U);
    t3 = (t0 + 1512U);
    t4 = *((char **)t3);
    t3 = (t0 + 5032U);
    t8 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t4, t3);
    t6 = ieee_p_1242562249_sub_2547962040_1035706684(IEEE_P_1242562249, t5, t2, t1, t8);
    t7 = (t5 + 12U);
    t9 = *((unsigned int *)t7);
    t16 = (1U * t9);
    t10 = (24U != t16);
    if (t10 == 1)
        goto LAB5;

LAB6:    t11 = (t0 + 3296);
    t12 = (t11 + 56U);
    t13 = *((char **)t12);
    t14 = (t13 + 56U);
    t15 = *((char **)t14);
    memcpy(t15, t6, 24U);
    xsi_driver_first_trans_fast(t11);
    xsi_set_current_line(56, ng0);
    t1 = (t0 + 1672U);
    t2 = *((char **)t1);
    t1 = (t0 + 3360);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t6 = (t4 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t2, 24U);
    xsi_driver_first_trans_fast_port(t1);
    goto LAB3;

LAB5:    xsi_size_not_matching(24U, t16, 0);
    goto LAB6;

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

LAB0:    xsi_set_current_line(39, ng0);
    t2 = (t0 + 992U);
    t3 = xsi_signal_has_event(t2);
    if (t3 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

LAB7:    if (t1 != 0)
        goto LAB2;

LAB4:
LAB3:    xsi_set_current_line(60, ng0);
    t2 = (t0 + 3048U);
    t4 = *((char **)t2);
    t12 = *((int *)t4);
    t2 = (t0 + 4672);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t11 = (t8 + 56U);
    t17 = *((char **)t11);
    *((int *)t17) = t12;
    xsi_driver_first_trans_fast_port(t2);
    xsi_set_current_line(61, ng0);
    t2 = (t0 + 3168U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t2 = (t0 + 4736);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t11 = (t8 + 56U);
    t17 = *((char **)t11);
    *((unsigned char *)t17) = t1;
    xsi_driver_first_trans_fast_port(t2);
    xsi_set_current_line(62, ng0);
    t2 = (t0 + 3288U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t2 = (t0 + 4800);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t11 = (t8 + 56U);
    t17 = *((char **)t11);
    *((unsigned char *)t17) = t1;
    xsi_driver_first_trans_fast_port(t2);
    t2 = (t0 + 4592);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(40, ng0);
    t4 = (t0 + 1192U);
    t8 = *((char **)t4);
    t9 = *((unsigned char *)t8);
    t10 = (t9 == (unsigned char)3);
    if (t10 != 0)
        goto LAB8;

LAB10:    t2 = (t0 + 1352U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t3 = (t1 == (unsigned char)3);
    if (t3 != 0)
        goto LAB11;

LAB12:    xsi_set_current_line(55, ng0);
    t2 = (t0 + 3168U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((unsigned char *)t2) = (unsigned char)2;
    xsi_set_current_line(56, ng0);
    t2 = (t0 + 3288U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((unsigned char *)t2) = (unsigned char)2;

LAB9:    goto LAB3;

LAB5:    t4 = (t0 + 1032U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t1 = t7;
    goto LAB7;

LAB8:    xsi_set_current_line(41, ng0);
    t4 = (t0 + 3168U);
    t11 = *((char **)t4);
    t4 = (t11 + 0);
    *((unsigned char *)t4) = (unsigned char)2;
    goto LAB9;

LAB11:    xsi_set_current_line(44, ng0);
    t2 = (t0 + 1832U);
    t5 = *((char **)t2);
    t12 = *((int *)t5);
    t10 = (t12 == 0);
    if (t10 == 1)
        goto LAB22;

LAB23:    t2 = (t0 + 1832U);
    t8 = *((char **)t2);
    t13 = *((int *)t8);
    t14 = (t13 == 1);
    t9 = t14;

LAB24:    if (t9 == 1)
        goto LAB19;

LAB20:    t7 = (unsigned char)0;

LAB21:    if (t7 == 1)
        goto LAB16;

LAB17:    t29 = (t0 + 1832U);
    t30 = *((char **)t29);
    t31 = *((int *)t30);
    t32 = (t31 == 2);
    if (t32 == 1)
        goto LAB28;

LAB29:    t28 = (unsigned char)0;

LAB30:    t6 = t28;

LAB18:    if (t6 != 0)
        goto LAB13;

LAB15:    xsi_set_current_line(50, ng0);
    t2 = (t0 + 3168U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((unsigned char *)t2) = (unsigned char)2;
    xsi_set_current_line(51, ng0);
    t2 = (t0 + 3288U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((unsigned char *)t2) = (unsigned char)3;

LAB14:    goto LAB9;

LAB13:    xsi_set_current_line(46, ng0);
    t47 = (t0 + 3168U);
    t48 = *((char **)t47);
    t47 = (t48 + 0);
    *((unsigned char *)t47) = (unsigned char)3;
    xsi_set_current_line(47, ng0);
    t2 = (t0 + 3288U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((unsigned char *)t2) = (unsigned char)2;
    goto LAB14;

LAB16:    t6 = (unsigned char)1;
    goto LAB18;

LAB19:    t2 = (t0 + 1992U);
    t11 = *((char **)t2);
    t2 = (t0 + 6936U);
    t17 = (t0 + 1512U);
    t18 = *((char **)t17);
    t19 = *((unsigned char *)t18);
    t17 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t16, ((int)(t19)), 8);
    t20 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t11, t2, t17, t16);
    if (t20 == 1)
        goto LAB25;

LAB26:    t21 = (t0 + 1992U);
    t22 = *((char **)t21);
    t21 = (t0 + 6936U);
    t24 = (t0 + 1672U);
    t25 = *((char **)t24);
    t26 = *((unsigned char *)t25);
    t24 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t23, ((int)(t26)), 8);
    t27 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t22, t21, t24, t23);
    t15 = t27;

LAB27:    t7 = t15;
    goto LAB21;

LAB22:    t9 = (unsigned char)1;
    goto LAB24;

LAB25:    t15 = (unsigned char)1;
    goto LAB27;

LAB28:    t29 = (t0 + 1992U);
    t34 = *((char **)t29);
    t29 = (t0 + 6936U);
    t36 = (t0 + 1512U);
    t37 = *((char **)t36);
    t38 = *((unsigned char *)t37);
    t36 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t35, ((int)(t38)), 8);
    t39 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t34, t29, t36, t35);
    if (t39 == 1)
        goto LAB31;

LAB32:    t33 = (unsigned char)0;

LAB33:    t28 = t33;
    goto LAB30;

LAB31:    t40 = (t0 + 1992U);
    t41 = *((char **)t40);
    t40 = (t0 + 6936U);
    t43 = (t0 + 1672U);
    t44 = *((char **)t43);
    t45 = *((unsigned char *)t44);
    t43 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t42, ((int)(t45)), 8);
    t46 = ieee_p_3620187407_sub_4058165771_3965413181(IEEE_P_3620187407, t41, t40, t43, t42);
    t33 = t46;
    goto LAB33;

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

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

LAB4:    t1 = (t0 + 660U);
    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t3 != 0)
        goto LAB5;

LAB6:
LAB3:    xsi_set_current_line(120, ng0);
    t1 = (t0 + 1040U);
    t2 = *((char **)t1);
    t1 = (t0 + 1836);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t9 = *((char **)t7);
    memcpy(t9, t2, 4U);
    xsi_driver_first_trans_fast_port(t1);
    t1 = (t0 + 1792);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(111, ng0);
    t1 = xsi_get_transient_memory(4U);
    memset(t1, 0, 4U);
    t5 = t1;
    memset(t5, (unsigned char)2, 4U);
    t6 = (t0 + 1040U);
    t7 = *((char **)t6);
    t6 = (t7 + 0);
    memcpy(t6, t1, 4U);
    goto LAB3;

LAB5:    xsi_set_current_line(113, ng0);
    t2 = (t0 + 1040U);
    t5 = *((char **)t2);
    t2 = (t0 + 3184U);
    t6 = (t0 + 3218);
    t9 = (t8 + 0U);
    t10 = (t9 + 0U);
    *((int *)t10) = 0;
    t10 = (t9 + 4U);
    *((int *)t10) = 3;
    t10 = (t9 + 8U);
    *((int *)t10) = 1;
    t11 = (3 - 0);
    t12 = (t11 * 1);
    t12 = (t12 + 1);
    t10 = (t9 + 12U);
    *((unsigned int *)t10) = t12;
    t4 = ieee_p_3620187407_sub_4058165771_3965413181(IEEE_P_3620187407, t5, t2, t6, t8);
    if (t4 != 0)
        goto LAB7;

LAB9:
LAB8:    xsi_set_current_line(116, ng0);
    t1 = (t0 + 1040U);
    t2 = *((char **)t1);
    t1 = (t0 + 3184U);
    t5 = (t0 + 3222);
    t7 = (t8 + 0U);
    t9 = (t7 + 0U);
    *((int *)t9) = 0;
    t9 = (t7 + 4U);
    *((int *)t9) = 3;
    t9 = (t7 + 8U);
    *((int *)t9) = 1;
    t11 = (3 - 0);
    t12 = (t11 * 1);
    t12 = (t12 + 1);
    t9 = (t7 + 12U);
    *((unsigned int *)t9) = t12;
    t3 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t5, t8);
    if (t3 != 0)
        goto LAB10;

LAB12:
LAB11:    goto LAB3;

LAB7:    xsi_set_current_line(114, ng0);
    t10 = (t0 + 1040U);
    t14 = *((char **)t10);
    t10 = (t0 + 3184U);
    t15 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t13, t14, t10, 1);
    t16 = (t0 + 1040U);
    t17 = *((char **)t16);
    t16 = (t17 + 0);
    t18 = (t13 + 12U);
    t12 = *((unsigned int *)t18);
    t19 = (1U * t12);
    memcpy(t16, t15, t19);
    goto LAB8;

LAB10:    xsi_set_current_line(117, ng0);
    t9 = xsi_get_transient_memory(4U);
    memset(t9, 0, 4U);
    t10 = t9;
    memset(t10, (unsigned char)2, 4U);
    t14 = (t0 + 1040U);
    t15 = *((char **)t14);
    t14 = (t15 + 0);
    memcpy(t14, t9, 4U);
    goto LAB11;

}