コード例 #1
0
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;

}
コード例 #2
0
static void unisim_a_0850834979_2152628908_p_3(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    char *t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;

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

LAB3:    goto *t2;

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

LAB6:    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)3);
    if (t5 != 0)
        goto LAB7;

LAB8:
LAB5:
LAB22:    t2 = (t0 + 4288);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB23;

LAB1:    return;
LAB4:    t2 = (t0 + 1992U);
    t6 = *((char **)t2);
    t7 = *((unsigned char *)t6);
    t2 = (t0 + 4560);
    t8 = (t2 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t7;
    xsi_driver_first_trans_fast_port(t2);
    goto LAB5;

LAB7:    t2 = (t0 + 4560);
    t6 = (t2 + 56U);
    t8 = *((char **)t6);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    *((unsigned char *)t10) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t2);

LAB11:    t2 = (t0 + 4256);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB12;
    goto LAB1;

LAB9:    t6 = (t0 + 4256);
    *((int *)t6) = 0;
    t2 = (t0 + 1992U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)3);
    if (t5 != 0)
        goto LAB13;

LAB15:
LAB14:    goto LAB5;

LAB10:    t3 = (t0 + 1792U);
    t12 = (2 - 2);
    t13 = (t12 * -1);
    t14 = (1U * t13);
    t15 = (0 + t14);
    t4 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t3, 0U, t15);
    if (t4 == 1)
        goto LAB9;
    else
        goto LAB11;

LAB12:    goto LAB10;

LAB13:
LAB18:    t2 = (t0 + 4272);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB19;
    goto LAB1;

LAB16:    t8 = (t0 + 4272);
    *((int *)t8) = 0;
    goto LAB14;

LAB17:    t6 = (t0 + 1952U);
    t7 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t6, 0U, 0U);
    if (t7 == 1)
        goto LAB16;
    else
        goto LAB18;

LAB19:    goto LAB17;

LAB20:    t3 = (t0 + 4288);
    *((int *)t3) = 0;
    goto LAB2;

LAB21:    goto LAB20;

LAB23:    goto LAB21;

}
コード例 #3
0
static void work_a_2525893486_3212880686_p_2(char *t0)
{
    char t23[16];
    char t24[16];
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    int t5;
    int t6;
    char *t7;
    unsigned char t8;
    int t9;
    char *t10;
    int t11;
    unsigned char t12;
    char *t13;
    char *t14;
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    unsigned int t19;
    unsigned int t20;
    unsigned int t21;
    unsigned char t22;
    int t25;
    unsigned int t26;
    unsigned char t27;
    char *t28;
    char *t29;
    char *t30;
    char *t31;
    unsigned int t32;
    unsigned int t33;
    unsigned int t34;

LAB0:    xsi_set_current_line(85, ng0);
    t1 = (t0 + 2432U);
    t2 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

LAB4:
LAB3:    xsi_set_current_line(106, ng0);
    t1 = (t0 + 2432U);
    t2 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB22;

LAB24:
LAB23:    t1 = (t0 + 6400);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(86, ng0);
    t3 = (t0 + 4328U);
    t4 = *((char **)t3);
    t5 = *((int *)t4);
    t6 = (t5 + 1);
    t3 = (t0 + 4328U);
    t7 = *((char **)t3);
    t3 = (t7 + 0);
    *((int *)t3) = t6;
    xsi_set_current_line(88, ng0);
    t1 = (t0 + 4328U);
    t3 = *((char **)t1);
    t5 = *((int *)t3);
    t1 = (t0 + 3728U);
    t4 = *((char **)t1);
    t6 = *((int *)t4);
    t8 = (t5 >= t6);
    if (t8 == 1)
        goto LAB8;

LAB9:    t2 = (unsigned char)0;

LAB10:    if (t2 != 0)
        goto LAB5;

LAB7:
LAB6:    xsi_set_current_line(95, ng0);
    t1 = (t0 + 4328U);
    t3 = *((char **)t1);
    t5 = *((int *)t3);
    t1 = (t0 + 3968U);
    t4 = *((char **)t1);
    t6 = *((int *)t4);
    t8 = (t5 >= t6);
    if (t8 == 1)
        goto LAB14;

LAB15:    t2 = (unsigned char)0;

LAB16:    if (t2 != 0)
        goto LAB11;

LAB13:
LAB12:    xsi_set_current_line(100, ng0);
    t1 = (t0 + 4328U);
    t3 = *((char **)t1);
    t5 = *((int *)t3);
    t1 = (t0 + 4088U);
    t4 = *((char **)t1);
    t6 = *((int *)t4);
    t2 = (t5 == t6);
    if (t2 != 0)
        goto LAB19;

LAB21:
LAB20:    goto LAB3;

LAB5:    xsi_set_current_line(92, ng0);
    t1 = (t0 + 11028);
    t14 = (t0 + 6624);
    t15 = (t14 + 56U);
    t16 = *((char **)t15);
    t17 = (t16 + 56U);
    t18 = *((char **)t17);
    memcpy(t18, t1, 2U);
    xsi_driver_first_trans_fast_port(t14);
    goto LAB6;

LAB8:    t1 = (t0 + 4328U);
    t7 = *((char **)t1);
    t9 = *((int *)t7);
    t1 = (t0 + 3848U);
    t10 = *((char **)t1);
    t11 = *((int *)t10);
    t12 = (t9 <= t11);
    t2 = t12;
    goto LAB10;

LAB11:    xsi_set_current_line(96, ng0);
    t1 = (t0 + 2792U);
    t13 = *((char **)t1);
    t19 = (9 - 8);
    t20 = (t19 * 1U);
    t21 = (0 + t20);
    t1 = (t13 + t21);
    t14 = (t0 + 1032U);
    t15 = *((char **)t14);
    t22 = *((unsigned char *)t15);
    t16 = ((IEEE_P_2592010699) + 4000);
    t17 = (t24 + 0U);
    t18 = (t17 + 0U);
    *((int *)t18) = 8;
    t18 = (t17 + 4U);
    *((int *)t18) = 0;
    t18 = (t17 + 8U);
    *((int *)t18) = -1;
    t25 = (0 - 8);
    t26 = (t25 * -1);
    t26 = (t26 + 1);
    t18 = (t17 + 12U);
    *((unsigned int *)t18) = t26;
    t14 = xsi_base_array_concat(t14, t23, t16, (char)97, t1, t24, (char)99, t22, (char)101);
    t26 = (9U + 1U);
    t27 = (10U != t26);
    if (t27 == 1)
        goto LAB17;

LAB18:    t18 = (t0 + 6688);
    t28 = (t18 + 56U);
    t29 = *((char **)t28);
    t30 = (t29 + 56U);
    t31 = *((char **)t30);
    memcpy(t31, t14, 10U);
    xsi_driver_first_trans_fast(t18);
    xsi_set_current_line(97, ng0);
    t1 = (t0 + 11030);
    t4 = (t0 + 6624);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t1, 2U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB12;

LAB14:    t1 = (t0 + 4328U);
    t7 = *((char **)t1);
    t9 = *((int *)t7);
    t1 = (t0 + 4088U);
    t10 = *((char **)t1);
    t11 = *((int *)t10);
    t12 = (t9 <= t11);
    t2 = t12;
    goto LAB16;

LAB17:    xsi_size_not_matching(10U, t26, 0);
    goto LAB18;

LAB19:    xsi_set_current_line(101, ng0);
    t1 = (t0 + 3248U);
    t7 = *((char **)t1);
    t9 = *((int *)t7);
    t1 = (t0 + 4328U);
    t10 = *((char **)t1);
    t1 = (t10 + 0);
    *((int *)t1) = t9;
    xsi_set_current_line(102, ng0);
    t1 = (t0 + 11032);
    t4 = (t0 + 6624);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t1, 2U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB20;

LAB22:    xsi_set_current_line(108, ng0);
    t3 = (t0 + 4328U);
    t4 = *((char **)t3);
    t5 = *((int *)t4);
    t3 = (t0 + 3248U);
    t7 = *((char **)t3);
    t6 = *((int *)t7);
    t12 = (t5 >= t6);
    if (t12 == 1)
        goto LAB28;

LAB29:    t8 = (unsigned char)0;

LAB30:    if (t8 != 0)
        goto LAB25;

LAB27:
LAB26:    xsi_set_current_line(114, ng0);
    t1 = (t0 + 4328U);
    t3 = *((char **)t1);
    t5 = *((int *)t3);
    t1 = (t0 + 3488U);
    t4 = *((char **)t1);
    t6 = *((int *)t4);
    t8 = (t5 >= t6);
    if (t8 == 1)
        goto LAB34;

LAB35:    t2 = (unsigned char)0;

LAB36:    if (t2 != 0)
        goto LAB31;

LAB33:
LAB32:    xsi_set_current_line(121, ng0);
    t1 = (t0 + 4328U);
    t3 = *((char **)t1);
    t5 = *((int *)t3);
    t1 = (t0 + 3728U);
    t4 = *((char **)t1);
    t6 = *((int *)t4);
    t2 = (t5 == t6);
    if (t2 != 0)
        goto LAB39;

LAB41:
LAB40:    goto LAB23;

LAB25:    xsi_set_current_line(109, ng0);
    t3 = (t0 + 6752);
    t14 = (t3 + 56U);
    t15 = *((char **)t14);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    *((unsigned char *)t17) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t3);
    xsi_set_current_line(110, ng0);
    t1 = (t0 + 6816);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    *((unsigned char *)t10) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);
    xsi_set_current_line(111, ng0);
    t1 = (t0 + 11034);
    t4 = (t0 + 6880);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t1, 4U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB26;

LAB28:    t3 = (t0 + 4328U);
    t10 = *((char **)t3);
    t9 = *((int *)t10);
    t3 = (t0 + 3368U);
    t13 = *((char **)t3);
    t11 = *((int *)t13);
    t22 = (t9 <= t11);
    t8 = t22;
    goto LAB30;

LAB31:    xsi_set_current_line(115, ng0);
    t1 = (t0 + 6752);
    t13 = (t1 + 56U);
    t14 = *((char **)t13);
    t15 = (t14 + 56U);
    t16 = *((char **)t15);
    *((unsigned char *)t16) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);
    xsi_set_current_line(116, ng0);
    t1 = (t0 + 2632U);
    t3 = *((char **)t1);
    t19 = (4 - 3);
    t20 = (t19 * 1U);
    t21 = (0 + t20);
    t1 = (t3 + t21);
    t4 = (t0 + 2632U);
    t7 = *((char **)t4);
    t5 = (4 - 4);
    t26 = (t5 * -1);
    t32 = (1U * t26);
    t33 = (0 + t32);
    t4 = (t7 + t33);
    t2 = *((unsigned char *)t4);
    t13 = ((IEEE_P_2592010699) + 4000);
    t14 = (t24 + 0U);
    t15 = (t14 + 0U);
    *((int *)t15) = 3;
    t15 = (t14 + 4U);
    *((int *)t15) = 0;
    t15 = (t14 + 8U);
    *((int *)t15) = -1;
    t6 = (0 - 3);
    t34 = (t6 * -1);
    t34 = (t34 + 1);
    t15 = (t14 + 12U);
    *((unsigned int *)t15) = t34;
    t10 = xsi_base_array_concat(t10, t23, t13, (char)97, t1, t24, (char)99, t2, (char)101);
    t34 = (4U + 1U);
    t8 = (5U != t34);
    if (t8 == 1)
        goto LAB37;

LAB38:    t15 = (t0 + 6944);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    t18 = (t17 + 56U);
    t28 = *((char **)t18);
    memcpy(t28, t10, 5U);
    xsi_driver_first_trans_fast(t15);
    xsi_set_current_line(117, ng0);
    t1 = (t0 + 2632U);
    t3 = *((char **)t1);
    t5 = (4 - 4);
    t19 = (t5 * -1);
    t20 = (1U * t19);
    t21 = (0 + t20);
    t1 = (t3 + t21);
    t2 = *((unsigned char *)t1);
    t4 = (t0 + 6816);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    *((unsigned char *)t14) = t2;
    xsi_driver_first_trans_fast_port(t4);
    xsi_set_current_line(118, ng0);
    t1 = (t0 + 11038);
    t4 = (t0 + 6880);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t1, 4U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB32;

LAB34:    t1 = (t0 + 4328U);
    t7 = *((char **)t1);
    t9 = *((int *)t7);
    t1 = (t0 + 3608U);
    t10 = *((char **)t1);
    t11 = *((int *)t10);
    t12 = (t9 <= t11);
    t2 = t12;
    goto LAB36;

LAB37:    xsi_size_not_matching(5U, t34, 0);
    goto LAB38;

LAB39:    xsi_set_current_line(122, ng0);
    t1 = (t0 + 6816);
    t7 = (t1 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    *((unsigned char *)t14) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);
    xsi_set_current_line(123, ng0);
    t1 = (t0 + 11042);
    t4 = (t0 + 6880);
    t7 = (t4 + 56U);
    t10 = *((char **)t7);
    t13 = (t10 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t1, 4U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB40;

}
コード例 #4
0
static void work_a_1964104959_1516540902_p_4(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(117, ng0);
    t1 = (t0 + 1352U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 4232U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB5;

LAB6:    t1 = (t0 + 1472U);
    t3 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t3 != 0)
        goto LAB7;

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

LAB1:    return;
LAB2:    xsi_set_current_line(118, ng0);
    t1 = (t0 + 18072);
    t6 = (t0 + 10144);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 6U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB5:    xsi_set_current_line(120, ng0);
    t1 = (t0 + 18078);
    t6 = (t0 + 10144);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 6U);
    xsi_driver_first_trans_fast(t6);
    goto LAB3;

LAB7:    xsi_set_current_line(122, ng0);
    t2 = (t0 + 3752U);
    t5 = *((char **)t2);
    t2 = (t0 + 10144);
    t6 = (t2 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    memcpy(t9, t5, 6U);
    xsi_driver_first_trans_fast(t2);
    goto LAB3;

}
コード例 #5
0
static void work_a_3755959177_1446275585_p_1(char *t0)
{
    char t18[16];
    char t23[16];
    char t25[16];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    unsigned char t7;
    unsigned char t8;
    int64 t9;
    unsigned char t10;
    int t11;
    int t12;
    int t13;
    int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t24;
    char *t26;
    char *t27;
    int64 t28;
    int64 t29;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(83, ng0);
    t2 = (t0 + 5880);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)4;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(88, ng0);

LAB6:    t2 = (t0 + 5608);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB7;

LAB1:    return;
LAB4:    t4 = (t0 + 5608);
    *((int *)t4) = 0;
    xsi_set_current_line(89, ng0);
    t2 = (t0 + 1032U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t8 = (t7 == (unsigned char)2);
    if (t8 != 0)
        goto LAB8;

LAB10:    xsi_set_current_line(95, ng0);
    t2 = (t0 + 3088U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t2 = (t0 + 5080);
    xsi_process_wait(t2, t9);

LAB19:    *((char **)t1) = &&LAB20;
    goto LAB1;

LAB5:    t3 = (t0 + 2112U);
    t7 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t3, 0U, 0U);
    if (t7 == 1)
        goto LAB4;
    else
        goto LAB6;

LAB7:    goto LAB5;

LAB8:    xsi_set_current_line(90, ng0);
    t2 = (t0 + 3088U);
    t4 = *((char **)t2);
    t9 = *((int64 *)t4);
    t2 = (t0 + 5080);
    xsi_process_wait(t2, t9);

LAB13:    *((char **)t1) = &&LAB14;
    goto LAB1;

LAB9:    xsi_set_current_line(99, ng0);
    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t8 = (t7 == (unsigned char)2);
    if (t8 != 0)
        goto LAB21;

LAB23:
LAB22:    xsi_set_current_line(105, ng0);

LAB30:    t2 = (t0 + 5640);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB31;
    goto LAB1;

LAB11:    xsi_set_current_line(91, ng0);
    t2 = (t0 + 1032U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t8 = (t7 == (unsigned char)2);
    if (t8 == 0)
        goto LAB15;

LAB16:    goto LAB9;

LAB12:    goto LAB11;

LAB14:    goto LAB12;

LAB15:    t2 = (t0 + 9612);
    xsi_report(t2, 109U, (unsigned char)2);
    goto LAB16;

LAB17:    goto LAB9;

LAB18:    goto LAB17;

LAB20:    goto LAB18;

LAB21:    xsi_set_current_line(100, ng0);

LAB26:    t2 = (t0 + 5624);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB27;
    goto LAB1;

LAB24:    t5 = (t0 + 5624);
    *((int *)t5) = 0;
    goto LAB22;

LAB25:    t4 = (t0 + 1472U);
    t10 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t4, 0U, 0U);
    if (t10 == 1)
        goto LAB24;
    else
        goto LAB26;

LAB27:    goto LAB25;

LAB28:    t4 = (t0 + 5640);
    *((int *)t4) = 0;
    xsi_set_current_line(106, ng0);

LAB34:    t2 = (t0 + 5656);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB35;
    goto LAB1;

LAB29:    t3 = (t0 + 992U);
    t7 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t3, 0U, 0U);
    if (t7 == 1)
        goto LAB28;
    else
        goto LAB30;

LAB31:    goto LAB29;

LAB32:    t4 = (t0 + 5656);
    *((int *)t4) = 0;
    xsi_set_current_line(107, ng0);
    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t8 = (t7 == (unsigned char)3);
    if (t8 != 0)
        goto LAB36;

LAB38:    xsi_set_current_line(110, ng0);
    t2 = (t0 + 3928U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((unsigned char *)t2) = (unsigned char)1;

LAB37:    xsi_set_current_line(112, ng0);
    t2 = (t0 + 9721);
    *((int *)t2) = 2;
    t3 = (t0 + 9725);
    *((int *)t3) = 0;
    t11 = 2;
    t12 = 0;

LAB39:    if (t11 >= t12)
        goto LAB40;

LAB42:    xsi_set_current_line(116, ng0);
    t2 = (t0 + 3928U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    if (t7 != 0)
        goto LAB48;

LAB50:    xsi_set_current_line(119, ng0);
    t2 = (t0 + 9770);
    t4 = ((STD_STANDARD) + 384);
    t5 = (t0 + 4048U);
    t6 = *((char **)t5);
    t5 = (t0 + 9456U);
    t11 = ieee_p_1242562249_sub_17802405650254020620_1035706684(IEEE_P_1242562249, t6, t5);
    t19 = xsi_int_to_mem(t11);
    t20 = xsi_string_variable_get_image(t18, t4, t19);
    t22 = ((STD_STANDARD) + 984);
    t24 = (t25 + 0U);
    t26 = (t24 + 0U);
    *((int *)t26) = 1;
    t26 = (t24 + 4U);
    *((int *)t26) = 41;
    t26 = (t24 + 8U);
    *((int *)t26) = 1;
    t12 = (41 - 1);
    t15 = (t12 * 1);
    t15 = (t15 + 1);
    t26 = (t24 + 12U);
    *((unsigned int *)t26) = t15;
    t21 = xsi_base_array_concat(t21, t23, t22, (char)97, t2, t25, (char)97, t20, t18, (char)101);
    t26 = (t18 + 12U);
    t15 = *((unsigned int *)t26);
    t16 = (41U + t15);
    xsi_report(t21, t16, 0);

LAB49:    xsi_set_current_line(123, ng0);

LAB53:    t2 = (t0 + 5688);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB54;
    goto LAB1;

LAB33:    t3 = (t0 + 992U);
    t7 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t3, 0U, 0U);
    if (t7 == 1)
        goto LAB32;
    else
        goto LAB34;

LAB35:    goto LAB33;

LAB36:    xsi_set_current_line(108, ng0);
    t2 = (t0 + 3928U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((unsigned char *)t2) = (unsigned char)0;
    goto LAB37;

LAB40:    xsi_set_current_line(113, ng0);

LAB45:    t4 = (t0 + 5672);
    *((int *)t4) = 1;
    *((char **)t1) = &&LAB46;
    goto LAB1;

LAB41:    t2 = (t0 + 9721);
    t11 = *((int *)t2);
    t3 = (t0 + 9725);
    t12 = *((int *)t3);
    if (t11 == t12)
        goto LAB42;

LAB47:    t13 = (t11 + -1);
    t11 = t13;
    t4 = (t0 + 9721);
    *((int *)t4) = t11;
    goto LAB39;

LAB43:    t6 = (t0 + 5672);
    *((int *)t6) = 0;
    xsi_set_current_line(114, ng0);
    t2 = (t0 + 1512U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t2 = (t0 + 4048U);
    t4 = *((char **)t2);
    t2 = (t0 + 9721);
    t13 = *((int *)t2);
    t14 = (t13 - 2);
    t15 = (t14 * -1);
    xsi_vhdl_check_range_of_index(2, 0, -1, *((int *)t2));
    t16 = (1U * t15);
    t17 = (0 + t16);
    t5 = (t4 + t17);
    *((unsigned char *)t5) = t7;
    goto LAB41;

LAB44:    t5 = (t0 + 992U);
    t7 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t5, 0U, 0U);
    if (t7 == 1)
        goto LAB43;
    else
        goto LAB45;

LAB46:    goto LAB44;

LAB48:    xsi_set_current_line(117, ng0);
    t2 = (t0 + 9729);
    t5 = ((STD_STANDARD) + 384);
    t6 = (t0 + 4048U);
    t19 = *((char **)t6);
    t6 = (t0 + 9456U);
    t11 = ieee_p_1242562249_sub_17802405650254020620_1035706684(IEEE_P_1242562249, t19, t6);
    t20 = xsi_int_to_mem(t11);
    t21 = xsi_string_variable_get_image(t18, t5, t20);
    t24 = ((STD_STANDARD) + 984);
    t26 = (t25 + 0U);
    t27 = (t26 + 0U);
    *((int *)t27) = 1;
    t27 = (t26 + 4U);
    *((int *)t27) = 41;
    t27 = (t26 + 8U);
    *((int *)t27) = 1;
    t12 = (41 - 1);
    t15 = (t12 * 1);
    t15 = (t15 + 1);
    t27 = (t26 + 12U);
    *((unsigned int *)t27) = t15;
    t22 = xsi_base_array_concat(t22, t23, t24, (char)97, t2, t25, (char)97, t21, t18, (char)101);
    t27 = (t18 + 12U);
    t15 = *((unsigned int *)t27);
    t16 = (41U + t15);
    xsi_report(t22, t16, 0);
    goto LAB49;

LAB51:    t4 = (t0 + 5688);
    *((int *)t4) = 0;
    xsi_set_current_line(124, ng0);

LAB57:    t2 = (t0 + 5704);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB58;
    goto LAB1;

LAB52:    t3 = (t0 + 992U);
    t7 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t3, 0U, 0U);
    if (t7 == 1)
        goto LAB51;
    else
        goto LAB53;

LAB54:    goto LAB52;

LAB55:    t4 = (t0 + 5704);
    *((int *)t4) = 0;
    xsi_set_current_line(125, ng0);
    t2 = (t0 + 3328U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t2 = (t0 + 5080);
    xsi_process_wait(t2, t9);

LAB61:    *((char **)t1) = &&LAB62;
    goto LAB1;

LAB56:    t3 = (t0 + 992U);
    t7 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t3, 0U, 0U);
    if (t7 == 1)
        goto LAB55;
    else
        goto LAB57;

LAB58:    goto LAB56;

LAB59:    xsi_set_current_line(126, ng0);
    t2 = (t0 + 5880);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(131, ng0);
    t2 = (t0 + 9811);
    *((int *)t2) = 9;
    t3 = (t0 + 9815);
    *((int *)t3) = 0;
    t11 = 9;
    t12 = 0;

LAB63:    if (t11 >= t12)
        goto LAB64;

LAB66:    xsi_set_current_line(141, ng0);

LAB80:    t2 = (t0 + 5736);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB81;
    goto LAB1;

LAB60:    goto LAB59;

LAB62:    goto LAB60;

LAB64:    xsi_set_current_line(132, ng0);

LAB69:    t4 = (t0 + 5720);
    *((int *)t4) = 1;
    *((char **)t1) = &&LAB70;
    goto LAB1;

LAB65:    t2 = (t0 + 9811);
    t11 = *((int *)t2);
    t3 = (t0 + 9815);
    t12 = *((int *)t3);
    if (t11 == t12)
        goto LAB66;

LAB77:    t13 = (t11 + -1);
    t11 = t13;
    t4 = (t0 + 9811);
    *((int *)t4) = t11;
    goto LAB63;

LAB67:    t6 = (t0 + 5720);
    *((int *)t6) = 0;
    xsi_set_current_line(133, ng0);
    t2 = (t0 + 3208U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t2 = (t0 + 5080);
    xsi_process_wait(t2, t9);

LAB73:    *((char **)t1) = &&LAB74;
    goto LAB1;

LAB68:    t5 = (t0 + 992U);
    t7 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t5, 0U, 0U);
    if (t7 == 1)
        goto LAB67;
    else
        goto LAB69;

LAB70:    goto LAB68;

LAB71:    xsi_set_current_line(134, ng0);
    t2 = (t0 + 2728U);
    t3 = *((char **)t2);
    t2 = (t0 + 9811);
    t13 = *((int *)t2);
    t14 = (t13 - 9);
    t15 = (t14 * -1);
    xsi_vhdl_check_range_of_index(9, 0, -1, *((int *)t2));
    t16 = (1U * t15);
    t17 = (0 + t16);
    t4 = (t3 + t17);
    t7 = *((unsigned char *)t4);
    t5 = (t0 + 5880);
    t6 = (t5 + 56U);
    t19 = *((char **)t6);
    t20 = (t19 + 56U);
    t21 = *((char **)t20);
    *((unsigned char *)t21) = t7;
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(135, ng0);
    t2 = (t0 + 2152U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t8 = (t7 == (unsigned char)2);
    if (t8 == 0)
        goto LAB75;

LAB76:    goto LAB65;

LAB72:    goto LAB71;

LAB74:    goto LAB72;

LAB75:    t2 = (t0 + 9819);
    xsi_report(t2, 62U, (unsigned char)1);
    goto LAB76;

LAB78:    t4 = (t0 + 5736);
    *((int *)t4) = 0;
    xsi_set_current_line(142, ng0);
    t2 = (t0 + 3448U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t2 = (t0 + 5080);
    xsi_process_wait(t2, t9);

LAB84:    *((char **)t1) = &&LAB85;
    goto LAB1;

LAB79:    t3 = (t0 + 2112U);
    t7 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t3, 0U, 0U);
    if (t7 == 1)
        goto LAB78;
    else
        goto LAB80;

LAB81:    goto LAB79;

LAB82:    xsi_set_current_line(143, ng0);
    t2 = (t0 + 5880);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)4;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(148, ng0);
    t2 = (t0 + 3568U);
    t3 = *((char **)t2);
    t9 = *((int64 *)t3);
    t2 = (t0 + 3448U);
    t4 = *((char **)t2);
    t28 = *((int64 *)t4);
    t29 = (t9 - t28);
    t2 = (t0 + 5080);
    xsi_process_wait(t2, t29);

LAB88:    *((char **)t1) = &&LAB89;
    goto LAB1;

LAB83:    goto LAB82;

LAB85:    goto LAB83;

LAB86:    xsi_set_current_line(149, ng0);
    t2 = (t0 + 2152U);
    t3 = *((char **)t2);
    t7 = *((unsigned char *)t3);
    t8 = (t7 == (unsigned char)3);
    if (t8 == 0)
        goto LAB90;

LAB91:    goto LAB2;

LAB87:    goto LAB86;

LAB89:    goto LAB87;

LAB90:    t2 = (t0 + 9881);
    xsi_report(t2, 111U, (unsigned char)2);
    goto LAB91;

}
コード例 #6
0
static void work_a_4107293976_3212880686_p_0(char *t0)
{
    unsigned char t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    int t10;
    char *t11;
    int t13;
    char *t14;
    int t16;
    char *t17;
    int t19;
    char *t20;
    int t22;
    char *t23;
    int t25;
    char *t26;
    int t28;
    char *t29;
    int t31;
    char *t32;
    int t34;
    char *t35;
    int t37;
    char *t38;
    int t40;
    char *t41;
    int t43;
    char *t44;
    int t46;
    char *t47;
    int t49;
    char *t50;
    int t52;
    char *t53;
    char *t54;
    int t55;
    char *t56;
    char *t57;
    char *t58;
    char *t59;
    char *t60;
    char *t61;

LAB0:    xsi_set_current_line(63, ng0);
    t2 = (t0 + 1792U);
    t3 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t2, 0U, 0U);
    if (t3 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

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

LAB4:
LAB3:    xsi_set_current_line(105, ng0);
    t2 = (t0 + 1792U);
    t3 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t2, 0U, 0U);
    if (t3 == 1)
        goto LAB81;

LAB82:    t1 = (unsigned char)0;

LAB83:    if (t1 != 0)
        goto LAB78;

LAB80:
LAB79:    t2 = (t0 + 6504);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(64, ng0);
    t4 = (t0 + 1192U);
    t8 = *((char **)t4);
    t4 = (t0 + 12128);
    t10 = xsi_mem_cmp(t4, t8, 4U);
    if (t10 == 1)
        goto LAB9;

LAB26:    t11 = (t0 + 12132);
    t13 = xsi_mem_cmp(t11, t8, 4U);
    if (t13 == 1)
        goto LAB10;

LAB27:    t14 = (t0 + 12136);
    t16 = xsi_mem_cmp(t14, t8, 4U);
    if (t16 == 1)
        goto LAB11;

LAB28:    t17 = (t0 + 12140);
    t19 = xsi_mem_cmp(t17, t8, 4U);
    if (t19 == 1)
        goto LAB12;

LAB29:    t20 = (t0 + 12144);
    t22 = xsi_mem_cmp(t20, t8, 4U);
    if (t22 == 1)
        goto LAB13;

LAB30:    t23 = (t0 + 12148);
    t25 = xsi_mem_cmp(t23, t8, 4U);
    if (t25 == 1)
        goto LAB14;

LAB31:    t26 = (t0 + 12152);
    t28 = xsi_mem_cmp(t26, t8, 4U);
    if (t28 == 1)
        goto LAB15;

LAB32:    t29 = (t0 + 12156);
    t31 = xsi_mem_cmp(t29, t8, 4U);
    if (t31 == 1)
        goto LAB16;

LAB33:    t32 = (t0 + 12160);
    t34 = xsi_mem_cmp(t32, t8, 4U);
    if (t34 == 1)
        goto LAB17;

LAB34:    t35 = (t0 + 12164);
    t37 = xsi_mem_cmp(t35, t8, 4U);
    if (t37 == 1)
        goto LAB18;

LAB35:    t38 = (t0 + 12168);
    t40 = xsi_mem_cmp(t38, t8, 4U);
    if (t40 == 1)
        goto LAB19;

LAB36:    t41 = (t0 + 12172);
    t43 = xsi_mem_cmp(t41, t8, 4U);
    if (t43 == 1)
        goto LAB20;

LAB37:    t44 = (t0 + 12176);
    t46 = xsi_mem_cmp(t44, t8, 4U);
    if (t46 == 1)
        goto LAB21;

LAB38:    t47 = (t0 + 12180);
    t49 = xsi_mem_cmp(t47, t8, 4U);
    if (t49 == 1)
        goto LAB22;

LAB39:    t50 = (t0 + 12184);
    t52 = xsi_mem_cmp(t50, t8, 4U);
    if (t52 == 1)
        goto LAB23;

LAB40:    t53 = (t0 + 12188);
    t55 = xsi_mem_cmp(t53, t8, 4U);
    if (t55 == 1)
        goto LAB24;

LAB41:
LAB25:
LAB8:    xsi_set_current_line(84, ng0);
    t2 = (t0 + 1352U);
    t4 = *((char **)t2);
    t2 = (t0 + 12192);
    t10 = xsi_mem_cmp(t2, t4, 4U);
    if (t10 == 1)
        goto LAB44;

LAB61:    t8 = (t0 + 12196);
    t13 = xsi_mem_cmp(t8, t4, 4U);
    if (t13 == 1)
        goto LAB45;

LAB62:    t11 = (t0 + 12200);
    t16 = xsi_mem_cmp(t11, t4, 4U);
    if (t16 == 1)
        goto LAB46;

LAB63:    t14 = (t0 + 12204);
    t19 = xsi_mem_cmp(t14, t4, 4U);
    if (t19 == 1)
        goto LAB47;

LAB64:    t17 = (t0 + 12208);
    t22 = xsi_mem_cmp(t17, t4, 4U);
    if (t22 == 1)
        goto LAB48;

LAB65:    t20 = (t0 + 12212);
    t25 = xsi_mem_cmp(t20, t4, 4U);
    if (t25 == 1)
        goto LAB49;

LAB66:    t23 = (t0 + 12216);
    t28 = xsi_mem_cmp(t23, t4, 4U);
    if (t28 == 1)
        goto LAB50;

LAB67:    t26 = (t0 + 12220);
    t31 = xsi_mem_cmp(t26, t4, 4U);
    if (t31 == 1)
        goto LAB51;

LAB68:    t29 = (t0 + 12224);
    t34 = xsi_mem_cmp(t29, t4, 4U);
    if (t34 == 1)
        goto LAB52;

LAB69:    t32 = (t0 + 12228);
    t37 = xsi_mem_cmp(t32, t4, 4U);
    if (t37 == 1)
        goto LAB53;

LAB70:    t35 = (t0 + 12232);
    t40 = xsi_mem_cmp(t35, t4, 4U);
    if (t40 == 1)
        goto LAB54;

LAB71:    t38 = (t0 + 12236);
    t43 = xsi_mem_cmp(t38, t4, 4U);
    if (t43 == 1)
        goto LAB55;

LAB72:    t41 = (t0 + 12240);
    t46 = xsi_mem_cmp(t41, t4, 4U);
    if (t46 == 1)
        goto LAB56;

LAB73:    t44 = (t0 + 12244);
    t49 = xsi_mem_cmp(t44, t4, 4U);
    if (t49 == 1)
        goto LAB57;

LAB74:    t47 = (t0 + 12248);
    t52 = xsi_mem_cmp(t47, t4, 4U);
    if (t52 == 1)
        goto LAB58;

LAB75:    t50 = (t0 + 12252);
    t55 = xsi_mem_cmp(t50, t4, 4U);
    if (t55 == 1)
        goto LAB59;

LAB76:
LAB60:
LAB43:    goto LAB3;

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

LAB9:    xsi_set_current_line(65, ng0);
    t56 = (t0 + 2632U);
    t57 = *((char **)t56);
    t56 = (t0 + 6584);
    t58 = (t56 + 56U);
    t59 = *((char **)t58);
    t60 = (t59 + 56U);
    t61 = *((char **)t60);
    memcpy(t61, t57, 16U);
    xsi_driver_first_trans_fast_port(t56);
    goto LAB8;

LAB10:    xsi_set_current_line(66, ng0);
    t2 = (t0 + 2792U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB11:    xsi_set_current_line(67, ng0);
    t2 = (t0 + 2952U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB12:    xsi_set_current_line(68, ng0);
    t2 = (t0 + 3112U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB13:    xsi_set_current_line(69, ng0);
    t2 = (t0 + 3272U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB14:    xsi_set_current_line(70, ng0);
    t2 = (t0 + 3432U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB15:    xsi_set_current_line(71, ng0);
    t2 = (t0 + 3592U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB16:    xsi_set_current_line(72, ng0);
    t2 = (t0 + 3752U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB17:    xsi_set_current_line(73, ng0);
    t2 = (t0 + 3912U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB18:    xsi_set_current_line(74, ng0);
    t2 = (t0 + 4072U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB19:    xsi_set_current_line(75, ng0);
    t2 = (t0 + 4232U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB20:    xsi_set_current_line(76, ng0);
    t2 = (t0 + 4392U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB21:    xsi_set_current_line(77, ng0);
    t2 = (t0 + 4552U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB22:    xsi_set_current_line(78, ng0);
    t2 = (t0 + 4712U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB23:    xsi_set_current_line(79, ng0);
    t2 = (t0 + 4872U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB24:    xsi_set_current_line(80, ng0);
    t2 = (t0 + 5032U);
    t4 = *((char **)t2);
    t2 = (t0 + 6584);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB8;

LAB42:;
LAB44:    xsi_set_current_line(85, ng0);
    t53 = (t0 + 2632U);
    t54 = *((char **)t53);
    t53 = (t0 + 6648);
    t56 = (t53 + 56U);
    t57 = *((char **)t56);
    t58 = (t57 + 56U);
    t59 = *((char **)t58);
    memcpy(t59, t54, 16U);
    xsi_driver_first_trans_fast_port(t53);
    goto LAB43;

LAB45:    xsi_set_current_line(86, ng0);
    t2 = (t0 + 2792U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB46:    xsi_set_current_line(87, ng0);
    t2 = (t0 + 2952U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB47:    xsi_set_current_line(88, ng0);
    t2 = (t0 + 3112U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB48:    xsi_set_current_line(89, ng0);
    t2 = (t0 + 3272U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB49:    xsi_set_current_line(90, ng0);
    t2 = (t0 + 3432U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB50:    xsi_set_current_line(91, ng0);
    t2 = (t0 + 3592U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB51:    xsi_set_current_line(92, ng0);
    t2 = (t0 + 3752U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB52:    xsi_set_current_line(93, ng0);
    t2 = (t0 + 3912U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB53:    xsi_set_current_line(94, ng0);
    t2 = (t0 + 4072U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB54:    xsi_set_current_line(95, ng0);
    t2 = (t0 + 4232U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB55:    xsi_set_current_line(96, ng0);
    t2 = (t0 + 4392U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB56:    xsi_set_current_line(97, ng0);
    t2 = (t0 + 4552U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB57:    xsi_set_current_line(98, ng0);
    t2 = (t0 + 4712U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB58:    xsi_set_current_line(99, ng0);
    t2 = (t0 + 4872U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB59:    xsi_set_current_line(100, ng0);
    t2 = (t0 + 5032U);
    t4 = *((char **)t2);
    t2 = (t0 + 6648);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast_port(t2);
    goto LAB43;

LAB77:;
LAB78:    xsi_set_current_line(106, ng0);
    t4 = (t0 + 1512U);
    t8 = *((char **)t4);
    t4 = (t0 + 12256);
    t10 = xsi_mem_cmp(t4, t8, 4U);
    if (t10 == 1)
        goto LAB85;

LAB102:    t11 = (t0 + 12260);
    t13 = xsi_mem_cmp(t11, t8, 4U);
    if (t13 == 1)
        goto LAB86;

LAB103:    t14 = (t0 + 12264);
    t16 = xsi_mem_cmp(t14, t8, 4U);
    if (t16 == 1)
        goto LAB87;

LAB104:    t17 = (t0 + 12268);
    t19 = xsi_mem_cmp(t17, t8, 4U);
    if (t19 == 1)
        goto LAB88;

LAB105:    t20 = (t0 + 12272);
    t22 = xsi_mem_cmp(t20, t8, 4U);
    if (t22 == 1)
        goto LAB89;

LAB106:    t23 = (t0 + 12276);
    t25 = xsi_mem_cmp(t23, t8, 4U);
    if (t25 == 1)
        goto LAB90;

LAB107:    t26 = (t0 + 12280);
    t28 = xsi_mem_cmp(t26, t8, 4U);
    if (t28 == 1)
        goto LAB91;

LAB108:    t29 = (t0 + 12284);
    t31 = xsi_mem_cmp(t29, t8, 4U);
    if (t31 == 1)
        goto LAB92;

LAB109:    t32 = (t0 + 12288);
    t34 = xsi_mem_cmp(t32, t8, 4U);
    if (t34 == 1)
        goto LAB93;

LAB110:    t35 = (t0 + 12292);
    t37 = xsi_mem_cmp(t35, t8, 4U);
    if (t37 == 1)
        goto LAB94;

LAB111:    t38 = (t0 + 12296);
    t40 = xsi_mem_cmp(t38, t8, 4U);
    if (t40 == 1)
        goto LAB95;

LAB112:    t41 = (t0 + 12300);
    t43 = xsi_mem_cmp(t41, t8, 4U);
    if (t43 == 1)
        goto LAB96;

LAB113:    t44 = (t0 + 12304);
    t46 = xsi_mem_cmp(t44, t8, 4U);
    if (t46 == 1)
        goto LAB97;

LAB114:    t47 = (t0 + 12308);
    t49 = xsi_mem_cmp(t47, t8, 4U);
    if (t49 == 1)
        goto LAB98;

LAB115:    t50 = (t0 + 12312);
    t52 = xsi_mem_cmp(t50, t8, 4U);
    if (t52 == 1)
        goto LAB99;

LAB116:    t53 = (t0 + 12316);
    t55 = xsi_mem_cmp(t53, t8, 4U);
    if (t55 == 1)
        goto LAB100;

LAB117:
LAB101:
LAB84:    goto LAB79;

LAB81:    t4 = (t0 + 2152U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t1 = t7;
    goto LAB83;

LAB85:    xsi_set_current_line(107, ng0);
    t56 = (t0 + 1672U);
    t57 = *((char **)t56);
    t56 = (t0 + 6712);
    t58 = (t56 + 56U);
    t59 = *((char **)t58);
    t60 = (t59 + 56U);
    t61 = *((char **)t60);
    memcpy(t61, t57, 16U);
    xsi_driver_first_trans_fast(t56);
    goto LAB84;

LAB86:    xsi_set_current_line(108, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 6776);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB87:    xsi_set_current_line(109, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 6840);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB88:    xsi_set_current_line(110, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 6904);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB89:    xsi_set_current_line(111, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 6968);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB90:    xsi_set_current_line(112, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7032);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB91:    xsi_set_current_line(113, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7096);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB92:    xsi_set_current_line(114, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7160);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB93:    xsi_set_current_line(115, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7224);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB94:    xsi_set_current_line(116, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7288);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB95:    xsi_set_current_line(117, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7352);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB96:    xsi_set_current_line(118, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7416);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB97:    xsi_set_current_line(119, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7480);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB98:    xsi_set_current_line(120, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7544);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB99:    xsi_set_current_line(121, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7608);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB100:    xsi_set_current_line(122, ng0);
    t2 = (t0 + 1672U);
    t4 = *((char **)t2);
    t2 = (t0 + 7672);
    t5 = (t2 + 56U);
    t8 = *((char **)t5);
    t9 = (t8 + 56U);
    t11 = *((char **)t9);
    memcpy(t11, t4, 16U);
    xsi_driver_first_trans_fast(t2);
    goto LAB84;

LAB118:;
}
コード例 #7
0
static void work_a_3331116673_3212880686_p_0(char *t0)
{
    unsigned char t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    unsigned char t13;
    char *t14;

LAB0:    xsi_set_current_line(35, ng0);
    t2 = (t0 + 992U);
    t3 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t2, 0U, 0U);
    if (t3 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

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

LAB4:
LAB3:    xsi_set_current_line(39, ng0);
    t2 = (t0 + 992U);
    t3 = ieee_p_2592010699_sub_13554554585326073636_503743352(IEEE_P_2592010699, t2, 0U, 0U);
    if (t3 == 1)
        goto LAB11;

LAB12:    t1 = (unsigned char)0;

LAB13:    if (t1 != 0)
        goto LAB8;

LAB10:
LAB9:    xsi_set_current_line(42, ng0);
    t2 = (t0 + 1352U);
    t4 = *((char **)t2);
    t3 = *((unsigned char *)t4);
    t6 = (t3 == (unsigned char)3);
    if (t6 == 1)
        goto LAB17;

LAB18:    t1 = (unsigned char)0;

LAB19:    if (t1 != 0)
        goto LAB14;

LAB16:
LAB15:    t2 = (t0 + 3424);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(36, ng0);
    t4 = (t0 + 1512U);
    t8 = *((char **)t4);
    t4 = (t0 + 3504);
    t9 = (t4 + 56U);
    t10 = *((char **)t9);
    t11 = (t10 + 56U);
    t12 = *((char **)t11);
    memcpy(t12, t8, 4U);
    xsi_driver_first_trans_fast(t4);
    goto LAB3;

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

LAB8:    xsi_set_current_line(40, ng0);
    t4 = (t0 + 1832U);
    t8 = *((char **)t4);
    t4 = (t0 + 3568);
    t9 = (t4 + 56U);
    t10 = *((char **)t9);
    t11 = (t10 + 56U);
    t12 = *((char **)t11);
    memcpy(t12, t8, 4U);
    xsi_driver_first_trans_fast_port(t4);
    goto LAB9;

LAB11:    t4 = (t0 + 1192U);
    t5 = *((char **)t4);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t1 = t7;
    goto LAB13;

LAB14:    xsi_set_current_line(43, ng0);
    t2 = xsi_get_transient_memory(4U);
    memset(t2, 0, 4U);
    t8 = t2;
    memset(t8, (unsigned char)3, 4U);
    t9 = (t0 + 3504);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    t12 = (t11 + 56U);
    t14 = *((char **)t12);
    memcpy(t14, t2, 4U);
    xsi_driver_first_trans_fast(t9);
    goto LAB15;

LAB17:    t2 = (t0 + 1192U);
    t5 = *((char **)t2);
    t7 = *((unsigned char *)t5);
    t13 = (t7 == (unsigned char)3);
    t1 = t13;
    goto LAB19;

}
コード例 #8
0
static void unisim_a_3045693319_2669841225_p_1(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    int64 t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;

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

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

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

LAB7:    t1 = (t0 + 1352U);
    t3 = *((char **)t1);
    t2 = *((unsigned char *)t3);
    t5 = (t2 == (unsigned char)3);
    if (t5 != 0)
        goto LAB8;

LAB9:
LAB6:    goto LAB3;

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

LAB8:    t7 = (100 * 10LL);
    t1 = (t0 + 1512U);
    t4 = *((char **)t1);
    t6 = *((unsigned char *)t4);
    t1 = (t0 + 3832);
    t8 = (t1 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = t6;
    xsi_driver_first_trans_delta(t1, 0U, 1, t7);
    t12 = (t0 + 3832);
    xsi_driver_intertial_reject(t12, t7, t7);
    goto LAB6;

}