a_1402135472_3212880686.c

moltiplicatore floating point

    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

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

LAB0:    xsi_set_current_line(138, ng0);

LAB3:    t1 = (t0 + 3100U);
    t2 = *((char **)t1);
    t3 = (47 - 23);
    t4 = (t3 * 1U);
    t5 = (0 + t4);
    t1 = (t2 + t5);
    t6 = xsi_vhdl_bitvec_not(t6, t1, 24U);
    t7 = (t0 + 1516U);
    t8 = *((char **)t7);
    t7 = xsi_vhdl_bitvec_and(t7, t6, 24U, t8, 24U);
    t9 = (t0 + 3100U);
    t10 = *((char **)t9);
    t11 = (47 - 23);
    t12 = (t11 * 1U);
    t13 = (0 + t12);
    t9 = (t10 + t13);
    t14 = (t0 + 1604U);
    t15 = *((char **)t14);
    t14 = xsi_vhdl_bitvec_and(t14, t9, 24U, t15, 24U);
    t16 = xsi_vhdl_bitvec_or(t16, t7, 24U, t14, 24U);
    t17 = (t0 + 7284);
    t18 = (t17 + 32U);
    t19 = *((char **)t18);
    t20 = (t19 + 32U);
    t21 = *((char **)t20);
    memcpy(t21, t16, 24U);
    xsi_driver_first_trans_fast(t17);

LAB2:    t22 = (t0 + 6884);
    *((int *)t22) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

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

LAB0:    xsi_set_current_line(140, ng0);

LAB3:    t1 = (t0 + 3100U);
    t2 = *((char **)t1);
    t1 = xsi_vhdl_bitvec_not(t1, t2, 48U);
    t3 = (t0 + 1252U);
    t4 = *((char **)t3);
    t3 = xsi_vhdl_bitvec_and(t3, t1, 48U, t4, 48U);
    t5 = (t0 + 3100U);
    t6 = *((char **)t5);
    t5 = (t0 + 1340U);
    t7 = *((char **)t5);
    t5 = xsi_vhdl_bitvec_and(t5, t6, 48U, t7, 48U);
    t8 = xsi_vhdl_bitvec_or(t8, t3, 48U, t5, 48U);
    t9 = (t0 + 7320);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 32U);
    t13 = *((char **)t12);
    memcpy(t13, t8, 48U);
    xsi_driver_first_trans_fast(t9);

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

LAB1:    return;
LAB4:    goto LAB2;

}

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

LAB0:    xsi_set_current_line(159, ng0);

LAB3:    t2 = (t0 + 2220U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    if (t4 == 1)
        goto LAB5;

LAB6:    t2 = (t0 + 2484U);
    t6 = *((char **)t2);
    t7 = *((unsigned char *)t6);
    if (t7 == 1)
        goto LAB8;

LAB9:    t5 = (unsigned char)0;

LAB10:    t1 = t5;

LAB7:    t2 = (t0 + 7356);
    t10 = (t2 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 32U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = t1;
    xsi_driver_first_trans_fast(t2);

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

LAB1:    return;
LAB4:    goto LAB2;

LAB5:    t1 = (unsigned char)1;
    goto LAB7;

LAB8:    t2 = (t0 + 2748U);
    t8 = *((char **)t2);
    t9 = *((unsigned char *)t8);
    t5 = t9;
    goto LAB10;

}

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

LAB0:    xsi_set_current_line(165, ng0);
    t1 = (t0 + 1056U);
    t2 = p_2592010699_sub_1744673427_2592010699(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

LAB1:    return;
LAB2:    xsi_set_current_line(167, ng0);
    t3 = (t0 + 1692U);
    t4 = *((char **)t3);
    t5 = (0 - 23);
    t6 = (t5 * -1);
    t7 = (1U * t6);
    t8 = (0 + t7);
    t3 = (t4 + t8);
    t9 = *((unsigned char *)t3);
    t10 = (t0 + 7392);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    t13 = (t12 + 32U);
    t14 = *((char **)t13);
    *((unsigned char *)t14) = t9;
    xsi_driver_first_trans_fast(t10);
    xsi_set_current_line(170, ng0);
    t1 = (t0 + 1692U);
    t3 = *((char **)t1);
    t1 = (t0 + 7428);
    t4 = (t1 + 32U);
    t10 = *((char **)t4);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 24U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(174, ng0);
    t1 = (t0 + 3276U);
    t3 = *((char **)t1);
    t1 = (t0 + 7464);
    t4 = (t1 + 32U);
    t10 = *((char **)t4);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 48U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(175, ng0);
    t1 = (t0 + 3364U);
    t3 = *((char **)t1);
    t1 = (t0 + 7500);
    t4 = (t1 + 32U);
    t10 = *((char **)t4);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 48U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(176, ng0);
    t1 = (t0 + 3188U);
    t3 = *((char **)t1);
    t6 = (31 - 22);
    t7 = (t6 * 1U);
    t8 = (0 + t7);
    t1 = (t3 + t8);
    t4 = (t0 + 3364U);
    t10 = *((char **)t4);
    t15 = (47 - 46);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t4 = (t10 + t17);
    t11 = xsi_vhdl_bitvec_and(t11, t1, 23U, t4, 23U);
    t12 = (t0 + 7536);
    t13 = (t12 + 32U);
    t14 = *((char **)t13);
    t18 = (t14 + 32U);
    t19 = *((char **)t18);
    memcpy(t19, t11, 23U);
    xsi_driver_first_trans_delta(t12, 9U, 23U, 0LL);
    xsi_set_current_line(177, ng0);
    t1 = (t0 + 3188U);
    t3 = *((char **)t1);
    t6 = (31 - 7);
    t7 = (t6 * 1U);
    t8 = (0 + t7);
    t1 = (t3 + t8);
    t4 = (t0 + 2132U);
    t10 = *((char **)t4);
    t4 = xsi_vhdl_bitvec_and(t4, t1, 8U, t10, 8U);
    t11 = (t0 + 7536);
    t12 = (t11 + 32U);
    t13 = *((char **)t12);
    t14 = (t13 + 32U);
    t18 = *((char **)t14);
    memcpy(t18, t4, 8U);
    xsi_driver_first_trans_delta(t11, 1U, 8U, 0LL);
    xsi_set_current_line(178, ng0);
    t1 = (t0 + 3012U);
    t3 = *((char **)t1);
    t9 = *((unsigned char *)t3);
    if (t9 == 1)
        goto LAB5;

LAB6:    t2 = (unsigned char)0;

LAB7:    t1 = (t0 + 7536);
    t10 = (t1 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 32U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = t2;
    xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
    xsi_set_current_line(179, ng0);
    t1 = (t0 + 3012U);
    t3 = *((char **)t1);
    t9 = *((unsigned char *)t3);
    if (t9 == 1)
        goto LAB8;

LAB9:    t2 = (unsigned char)0;

LAB10:    t1 = (t0 + 7572);
    t10 = (t1 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 32U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = t2;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB3;

LAB5:    t1 = (t0 + 3716U);
    t4 = *((char **)t1);
    t20 = *((unsigned char *)t4);
    t2 = t20;
    goto LAB7;

LAB8:    t1 = (t0 + 4068U);
    t4 = *((char **)t1);
    t20 = *((unsigned char *)t4);
    t2 = t20;
    goto LAB10;

}

static void work_a_1402135472_3212880686_p_13(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;

LAB0:    xsi_set_current_line(188, ng0);
    t1 = (t0 + 1056U);
    t2 = p_2592010699_sub_1258338084_2592010699(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

LAB1:    return;
LAB2:    xsi_set_current_line(190, ng0);
    t3 = (t0 + 7608);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)1;
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(193, ng0);
    t1 = (t0 + 3276U);
    t3 = *((char **)t1);
    t1 = (t0 + 7644);
    t4 = (t1 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    memcpy(t7, t3, 48U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(194, ng0);
    t1 = (t0 + 3452U);
    t3 = *((char **)t1);
    t1 = (t0 + 7680);
    t4 = (t1 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    memcpy(t7, t3, 48U);
    xsi_driver_first_trans_fast(t1);
    goto LAB3;

}


extern void work_a_1402135472_3212880686_init()
{
	static char *pe[] = {(void *)work_a_1402135472_3212880686_p_0,(void *)work_a_1402135472_3212880686_p_1,(void *)work_a_1402135472_3212880686_p_2,(void *)work_a_1402135472_3212880686_p_3,(void *)work_a_1402135472_3212880686_p_4,(void *)work_a_1402135472_3212880686_p_5,(void *)work_a_1402135472_3212880686_p_6,(void *)work_a_1402135472_3212880686_p_7,(void *)work_a_1402135472_3212880686_p_8,(void *)work_a_1402135472_3212880686_p_9,(void *)work_a_1402135472_3212880686_p_10,(void *)work_a_1402135472_3212880686_p_11,(void *)work_a_1402135472_3212880686_p_12,(void *)work_a_1402135472_3212880686_p_13};
	xsi_register_didat("work_a_1402135472_3212880686", "isim/_tmp/work/a_1402135472_3212880686.didat");
	xsi_register_executes(pe);
}