a_1402135472_3212880686.c

moltiplicatore signed

/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                         */
/*  \   \        Copyright (c) 2003-2007 Xilinx, Inc.                 */
/*  /   /        All Right Reserved.                                  */
/* /---/   /\                                                         */
/* \   \  /  \                                                        */
/*  \___\/\___\                                                       */
/**********************************************************************/

/* This file is designed for use with ISim build 0x42e8db27 */

#include "xsi.h"
#include <memory.h>
#ifdef __GNUC__
#include <stdlib.h>
#else
#include <malloc.h>
#define alloca _alloca
#endif
static const char *ng0 = "/home/laura/EserciziVHDL/funzionanti/Moltiplicatore-SM/Moltiplicatore.vhd";
extern char *IEEE_P_2592010699;

unsigned char p_2592010699_sub_1258338084_2592010699(char *, char *, unsigned int , unsigned int );
unsigned char p_2592010699_sub_1744673427_2592010699(char *, char *, unsigned int , unsigned int );


static void work_a_1402135472_3212880686_p_0(char *t0)
{
    unsigned 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;
    int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned char t16;
    unsigned char t17;
    unsigned char t18;
    char *t19;
    char *t20;
    int t21;
    unsigned int t22;
    unsigned int t23;
    unsigned int t24;
    unsigned char t25;
    unsigned char t26;
    char *t27;
    char *t28;
    int t29;
    unsigned int t30;
    unsigned int t31;
    unsigned int t32;
    unsigned char t33;
    char *t34;
    char *t35;
    char *t36;
    char *t37;
    char *t38;
    char *t39;

LAB0:    xsi_set_current_line(109, ng0);

LAB3:    t3 = (t0 + 548U);
    t4 = *((char **)t3);
    t5 = (7 - 7);
    t6 = (t5 * -1);
    t7 = (1U * t6);
    t8 = (0 + t7);
    t3 = (t4 + t8);
    t9 = *((unsigned char *)t3);
    if (t9 == 1)
        goto LAB8;

LAB9:    t2 = (unsigned char)0;

LAB10:    if (t2 == 1)
        goto LAB5;

LAB6:    t19 = (t0 + 548U);
    t20 = *((char **)t19);
    t21 = (7 - 7);
    t22 = (t21 * -1);
    t23 = (1U * t22);
    t24 = (0 + t23);
    t19 = (t20 + t24);
    t25 = *((unsigned char *)t19);
    t26 = (!(t25));
    if (t26 == 1)
        goto LAB11;

LAB12:    t18 = (unsigned char)0;

LAB13:    t1 = t18;

LAB7:    t34 = (t0 + 5200);
    t35 = (t34 + 32U);
    t36 = *((char **)t35);
    t37 = (t36 + 32U);
    t38 = *((char **)t37);
    *((unsigned char *)t38) = t1;
    xsi_driver_first_trans_fast(t34);

LAB2:    t39 = (t0 + 5108);
    *((int *)t39) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB8:    t10 = (t0 + 636U);
    t11 = *((char **)t10);
    t12 = (7 - 7);
    t13 = (t12 * -1);
    t14 = (1U * t13);
    t15 = (0 + t14);
    t10 = (t11 + t15);
    t16 = *((unsigned char *)t10);
    t17 = (!(t16));
    t2 = t17;
    goto LAB10;

LAB11:    t27 = (t0 + 636U);
    t28 = *((char **)t27);
    t29 = (7 - 7);
    t30 = (t29 * -1);
    t31 = (1U * t30);
    t32 = (0 + t31);
    t27 = (t28 + t32);
    t33 = *((unsigned char *)t27);
    t18 = t33;
    goto LAB13;

}

static void work_a_1402135472_3212880686_p_1(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;
    char *t11;

LAB0:    xsi_set_current_line(119, ng0);

LAB3:    t1 = (t0 + 548U);
    t2 = *((char **)t1);
    t3 = (7 - 6);
    t4 = (t3 * 1U);
    t5 = (0 + t4);
    t1 = (t2 + t5);
    t6 = (t0 + 5236);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 7U);
    xsi_driver_first_trans_delta(t6, 9U, 7U, 0LL);

LAB2:    t11 = (t0 + 5116);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_1402135472_3212880686_p_2(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;
    char *t11;

LAB0:    xsi_set_current_line(121, ng0);

LAB3:    t1 = (t0 + 636U);
    t2 = *((char **)t1);
    t3 = (7 - 6);
    t4 = (t3 * 1U);
    t5 = (0 + t4);
    t1 = (t2 + t5);
    t6 = (t0 + 5272);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    memcpy(t10, t1, 7U);
    xsi_driver_first_trans_delta(t6, 1U, 7U, 0LL);

LAB2:    t11 = (t0 + 5124);
    *((int *)t11) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_1402135472_3212880686_p_3(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(125, ng0);

LAB3:    t1 = (t0 + 1252U);
    t2 = *((char **)t1);
    t3 = (15 - 7);
    t4 = (t3 * 1U);
    t5 = (0 + t4);
    t1 = (t2 + t5);
    t6 = xsi_vhdl_bitvec_not(t6, t1, 8U);
    t7 = (t0 + 1692U);
    t8 = *((char **)t7);
    t7 = xsi_vhdl_bitvec_and(t7, t6, 8U, t8, 8U);
    t9 = (t0 + 1252U);
    t10 = *((char **)t9);
    t11 = (15 - 7);
    t12 = (t11 * 1U);
    t13 = (0 + t12);
    t9 = (t10 + t13);
    t14 = (t0 + 2220U);
    t15 = *((char **)t14);
    t14 = xsi_vhdl_bitvec_and(t14, t9, 8U, t15, 8U);
    t16 = xsi_vhdl_bitvec_or(t16, t7, 8U, t14, 8U);
    t17 = (t0 + 5308);
    t18 = (t17 + 32U);
    t19 = *((char **)t18);
    t20 = (t19 + 32U);
    t21 = *((char **)t20);
    memcpy(t21, t16, 8U);
    xsi_driver_first_trans_fast(t17);

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

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_1402135472_3212880686_p_4(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(126, ng0);

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

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

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_1402135472_3212880686_p_5(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;

LAB0:    xsi_set_current_line(144, 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 + 5148);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(146, ng0);
    t3 = (t0 + 2132U);
    t4 = *((char **)t3);
    t5 = (0 - 7);
    t6 = (t5 * -1);
    t7 = (1U * t6);
    t8 = (0 + t7);
    t3 = (t4 + t8);
    t9 = *((unsigned char *)t3);
    t10 = (t0 + 5380);
    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(149, ng0);
    t1 = (t0 + 2132U);
    t3 = *((char **)t1);
    t1 = (t0 + 5416);
    t4 = (t1 + 32U);
    t10 = *((char **)t4);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 8U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(151, ng0);
    t1 = (t0 + 1868U);
    t3 = *((char **)t1);
    t1 = (t0 + 5452);
    t4 = (t1 + 32U);
    t10 = *((char **)t4);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 16U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(152, ng0);
    t1 = (t0 + 2572U);
    t3 = *((char **)t1);
    t1 = (t0 + 5488);
    t4 = (t1 + 32U);
    t10 = *((char **)t4);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    memcpy(t12, t3, 16U);
    xsi_driver_first_trans_fast(t1);
    goto LAB3;

}

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

LAB0:    xsi_set_current_line(162, 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 + 5156);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(164, ng0);
    t3 = (t0 + 5524);
    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(167, ng0);
    t1 = (t0 + 1868U);
    t3 = *((char **)t1);
    t1 = (t0 + 5560);
    t4 = (t1 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    memcpy(t7, t3, 16U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(168, ng0);
    t1 = (t0 + 2660U);
    t3 = *((char **)t1);
    t1 = (t0 + 5596);
    t4 = (t1 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    memcpy(t7, t3, 16U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(171, ng0);
    t1 = (t0 + 2748U);
    t3 = *((char **)t1);
    t8 = (15 - 14);
    t9 = (t8 * 1U);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t4 = (t0 + 2660U);
    t5 = *((char **)t4);
    t11 = (15 - 14);
    t12 = (t11 * 1U);
    t13 = (0 + t12);
    t4 = (t5 + t13);
    t6 = xsi_vhdl_bitvec_and(t6, t1, 15U, t4, 15U);
    t7 = (t0 + 5632);
    t14 = (t7 + 32U);
    t15 = *((char **)t14);
    t16 = (t15 + 32U);
    t17 = *((char **)t16);
    memcpy(t17, t6, 15U);
    xsi_driver_first_trans_delta(t7, 1U, 15U, 0LL);
    xsi_set_current_line(172, ng0);
    t1 = (t0 + 3100U);
    t3 = *((char **)t1);
    t18 = *((unsigned char *)t3);
    if (t18 == 1)
        goto LAB5;

LAB6:    t2 = (unsigned char)0;

LAB7:    t1 = (t0 + 5632);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t14 = *((char **)t7);
    *((unsigned char *)t14) = t2;
    xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
    xsi_set_current_line(173, ng0);
    t1 = (t0 + 3100U);
    t3 = *((char **)t1);
    t18 = *((unsigned char *)t3);
    if (t18 == 1)
        goto LAB8;

LAB9:    t2 = (unsigned char)0;

LAB10:    t1 = (t0 + 5668);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t14 = *((char **)t7);
    *((unsigned char *)t14) = t2;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB3;

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

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

}


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};
	xsi_register_didat("work_a_1402135472_3212880686", "isim/_tmp/work/a_1402135472_3212880686.didat");
	xsi_register_executes(pe);
}