a_4049773766_3140140613.c

moltiplicatore floating point

/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                         */
/*  \   \        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/Moltiplicatore-FP/CarryLookAhead.vhd";



static void work_a_4049773766_3140140613_p_0(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;

LAB0:    xsi_set_current_line(54, ng0);

LAB3:    t1 = (t0 + 548U);
    t2 = *((char **)t1);
    t1 = (t0 + 636U);
    t3 = *((char **)t1);
    t1 = xsi_vhdl_bitvec_and(t1, t2, 4U, t3, 4U);
    t4 = (t0 + 3432);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    memcpy(t8, t1, 4U);
    xsi_driver_first_trans_fast(t4);

LAB2:    t9 = (t0 + 3324);
    *((int *)t9) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_4049773766_3140140613_p_1(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;

LAB0:    xsi_set_current_line(55, ng0);

LAB3:    t1 = (t0 + 548U);
    t2 = *((char **)t1);
    t1 = (t0 + 636U);
    t3 = *((char **)t1);
    t1 = xsi_vhdl_bitvec_or(t1, t2, 4U, t3, 4U);
    t4 = (t0 + 3468);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    memcpy(t8, t1, 4U);
    xsi_driver_first_trans_fast(t4);

LAB2:    t9 = (t0 + 3332);
    *((int *)t9) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_4049773766_3140140613_p_2(char *t0)
{
    unsigned char t1;
    unsigned char t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    int t7;
    unsigned int t8;
    unsigned int t9;
    unsigned int t10;
    unsigned char t11;
    unsigned char t12;
    char *t13;
    char *t14;
    int t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    unsigned char t19;
    char *t20;
    char *t21;
    int t22;
    unsigned int t23;
    unsigned int t24;
    unsigned int t25;
    unsigned char t26;
    unsigned char t27;
    unsigned char t28;
    char *t29;
    char *t30;
    int t31;
    unsigned int t32;
    unsigned int t33;
    unsigned int t34;
    unsigned char t35;
    char *t36;
    char *t37;
    int t38;
    unsigned int t39;
    unsigned int t40;
    unsigned int t41;
    unsigned char t42;
    char *t43;
    char *t44;
    int t45;
    unsigned int t46;
    unsigned int t47;
    unsigned int t48;
    unsigned char t49;
    unsigned char t50;
    unsigned char t51;
    unsigned char t52;
    char *t53;
    char *t54;
    int t55;
    unsigned int t56;
    unsigned int t57;
    unsigned int t58;
    unsigned char t59;
    char *t60;
    char *t61;
    int t62;
    unsigned int t63;
    unsigned int t64;
    unsigned int t65;
    unsigned char t66;
    char *t67;
    char *t68;
    int t69;
    unsigned int t70;
    unsigned int t71;
    unsigned int t72;
    unsigned char t73;
    char *t74;
    char *t75;
    int t76;
    unsigned int t77;
    unsigned int t78;
    unsigned int t79;
    unsigned char t80;
    unsigned char t81;
    unsigned char t82;
    unsigned char t83;
    unsigned char t84;
    char *t85;
    char *t86;
    int t87;
    unsigned int t88;
    unsigned int t89;
    unsigned int t90;
    unsigned char t91;
    char *t92;
    char *t93;
    int t94;
    unsigned int t95;
    unsigned int t96;
    unsigned int t97;
    unsigned char t98;
    char *t99;
    char *t100;
    int t101;
    unsigned int t102;
    unsigned int t103;
    unsigned int t104;
    unsigned char t105;
    char *t106;
    char *t107;
    int t108;
    unsigned int t109;
    unsigned int t110;
    unsigned int t111;
    unsigned char t112;
    char *t113;
    char *t114;
    unsigned char t115;
    char *t116;
    char *t117;
    char *t118;
    char *t119;
    char *t120;

LAB0:    xsi_set_current_line(56, ng0);

LAB3:    t5 = (t0 + 1516U);
    t6 = *((char **)t5);
    t7 = (3 - 3);
    t8 = (t7 * -1);
    t9 = (1U * t8);
    t10 = (0 + t9);
    t5 = (t6 + t10);
    t11 = *((unsigned char *)t5);
    if (t11 == 1)
        goto LAB14;

LAB15:    t13 = (t0 + 1604U);
    t14 = *((char **)t13);
    t15 = (3 - 3);
    t16 = (t15 * -1);
    t17 = (1U * t16);
    t18 = (0 + t17);
    t13 = (t14 + t18);
    t19 = *((unsigned char *)t13);
    if (t19 == 1)
        goto LAB17;

LAB18:    t12 = (unsigned char)0;

LAB19:    t4 = t12;

LAB16:    if (t4 == 1)
        goto LAB11;

LAB12:    t29 = (t0 + 1604U);
    t30 = *((char **)t29);
    t31 = (3 - 3);
    t32 = (t31 * -1);
    t33 = (1U * t32);
    t34 = (0 + t33);
    t29 = (t30 + t34);
    t35 = *((unsigned char *)t29);
    if (t35 == 1)
        goto LAB23;

LAB24:    t28 = (unsigned char)0;

LAB25:    if (t28 == 1)
        goto LAB20;

LAB21:    t27 = (unsigned char)0;

LAB22:    t3 = t27;

LAB13:    if (t3 == 1)
        goto LAB8;

LAB9:    t53 = (t0 + 1604U);
    t54 = *((char **)t53);
    t55 = (3 - 3);
    t56 = (t55 * -1);
    t57 = (1U * t56);
    t58 = (0 + t57);
    t53 = (t54 + t58);
    t59 = *((unsigned char *)t53);
    if (t59 == 1)
        goto LAB32;

LAB33:    t52 = (unsigned char)0;

LAB34:    if (t52 == 1)
        goto LAB29;

LAB30:    t51 = (unsigned char)0;

LAB31:    if (t51 == 1)
        goto LAB26;

LAB27:    t50 = (unsigned char)0;

LAB28:    t2 = t50;

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

LAB6:    t85 = (t0 + 1604U);
    t86 = *((char **)t85);
    t87 = (3 - 3);
    t88 = (t87 * -1);
    t89 = (1U * t88);
    t90 = (0 + t89);
    t85 = (t86 + t90);
    t91 = *((unsigned char *)t85);
    if (t91 == 1)
        goto LAB44;

LAB45:    t84 = (unsigned char)0;

LAB46:    if (t84 == 1)
        goto LAB41;

LAB42:    t83 = (unsigned char)0;

LAB43:    if (t83 == 1)
        goto LAB38;

LAB39:    t82 = (unsigned char)0;

LAB40:    if (t82 == 1)
        goto LAB35;

LAB36:    t81 = (unsigned char)0;

LAB37:    t1 = t81;

LAB7:    t113 = (t0 + 3504);
    t116 = (t113 + 32U);
    t117 = *((char **)t116);
    t118 = (t117 + 32U);
    t119 = *((char **)t118);
    *((unsigned char *)t119) = t1;
    xsi_driver_first_trans_fast(t113);

LAB2:    t120 = (t0 + 3340);
    *((int *)t120) = 1;

LAB1:    return;
LAB4:    goto LAB2;

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

LAB8:    t2 = (unsigned char)1;
    goto LAB10;

LAB11:    t3 = (unsigned char)1;
    goto LAB13;

LAB14:    t4 = (unsigned char)1;
    goto LAB16;

LAB17:    t20 = (t0 + 1516U);
    t21 = *((char **)t20);
    t22 = (2 - 3);
    t23 = (t22 * -1);
    t24 = (1U * t23);
    t25 = (0 + t24);
    t20 = (t21 + t25);
    t26 = *((unsigned char *)t20);
    t12 = t26;
    goto LAB19;

LAB20:    t43 = (t0 + 1516U);
    t44 = *((char **)t43);
    t45 = (1 - 3);
    t46 = (t45 * -1);
    t47 = (1U * t46);
    t48 = (0 + t47);
    t43 = (t44 + t48);
    t49 = *((unsigned char *)t43);
    t27 = t49;
    goto LAB22;

LAB23:    t36 = (t0 + 1604U);
    t37 = *((char **)t36);
    t38 = (2 - 3);
    t39 = (t38 * -1);
    t40 = (1U * t39);
    t41 = (0 + t40);
    t36 = (t37 + t41);
    t42 = *((unsigned char *)t36);
    t28 = t42;
    goto LAB25;

LAB26:    t74 = (t0 + 1516U);
    t75 = *((char **)t74);
    t76 = (0 - 3);
    t77 = (t76 * -1);
    t78 = (1U * t77);
    t79 = (0 + t78);
    t74 = (t75 + t79);
    t80 = *((unsigned char *)t74);
    t50 = t80;
    goto LAB28;

LAB29:    t67 = (t0 + 1604U);
    t68 = *((char **)t67);
    t69 = (1 - 3);
    t70 = (t69 * -1);
    t71 = (1U * t70);
    t72 = (0 + t71);
    t67 = (t68 + t72);
    t73 = *((unsigned char *)t67);
    t51 = t73;
    goto LAB31;

LAB32:    t60 = (t0 + 1604U);
    t61 = *((char **)t60);
    t62 = (2 - 3);
    t63 = (t62 * -1);
    t64 = (1U * t63);
    t65 = (0 + t64);
    t60 = (t61 + t65);
    t66 = *((unsigned char *)t60);
    t52 = t66;
    goto LAB34;

LAB35:    t113 = (t0 + 724U);
    t114 = *((char **)t113);
    t115 = *((unsigned char *)t114);
    t81 = t115;
    goto LAB37;

LAB38:    t106 = (t0 + 1604U);
    t107 = *((char **)t106);
    t108 = (0 - 3);
    t109 = (t108 * -1);
    t110 = (1U * t109);
    t111 = (0 + t110);
    t106 = (t107 + t111);
    t112 = *((unsigned char *)t106);
    t82 = t112;
    goto LAB40;

LAB41:    t99 = (t0 + 1604U);
    t100 = *((char **)t99);
    t101 = (1 - 3);
    t102 = (t101 * -1);
    t103 = (1U * t102);
    t104 = (0 + t103);
    t99 = (t100 + t104);
    t105 = *((unsigned char *)t99);
    t83 = t105;
    goto LAB43;

LAB44:    t92 = (t0 + 1604U);
    t93 = *((char **)t92);
    t94 = (2 - 3);
    t95 = (t94 * -1);
    t96 = (1U * t95);
    t97 = (0 + t96);
    t92 = (t93 + t97);
    t98 = *((unsigned char *)t92);
    t84 = t98;
    goto LAB46;

}

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

LAB0:    xsi_set_current_line(57, ng0);

LAB3:    t1 = (t0 + 1428U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 3540);
    t4 = (t1 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = t3;
    xsi_driver_first_trans_fast_port(t1);

LAB2:    t8 = (t0 + 3348);
    *((int *)t8) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_4049773766_3140140613_p_4(char *t0)
{
    unsigned char t1;
    unsigned char t2;
    unsigned char t3;
    char *t4;
    char *t5;
    int t6;
    unsigned int t7;
    unsigned int t8;
    unsigned int t9;
    unsigned char t10;
    unsigned char t11;
    char *t12;
    char *t13;
    int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int 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;
    unsigned char t27;
    char *t28;
    char *t29;
    int t30;
    unsigned int t31;
    unsigned int t32;
    unsigned int t33;
    unsigned char t34;
    char *t35;
    char *t36;
    int t37;
    unsigned int t38;
    unsigned int t39;
    unsigned int t40;
    unsigned char t41;
    char *t42;
    char *t43;
    int t44;
    unsigned int t45;
    unsigned int t46;
    unsigned int t47;
    unsigned char t48;
    unsigned char t49;
    unsigned char t50;
    unsigned char t51;
    char *t52;
    char *t53;
    int t54;
    unsigned int t55;
    unsigned int t56;
    unsigned int t57;
    unsigned char t58;
    char *t59;
    char *t60;
    int t61;
    unsigned int t62;
    unsigned int t63;
    unsigned int t64;
    unsigned char t65;
    char *t66;
    char *t67;
    int t68;
    unsigned int t69;
    unsigned int t70;
    unsigned int t71;
    unsigned char t72;
    char *t73;
    char *t74;
    unsigned char t75;
    char *t76;
    char *t77;
    char *t78;
    char *t79;
    char *t80;

LAB0:    xsi_set_current_line(58, ng0);

LAB3:    t4 = (t0 + 1516U);
    t5 = *((char **)t4);
    t6 = (2 - 3);
    t7 = (t6 * -1);
    t8 = (1U * t7);
    t9 = (0 + t8);
    t4 = (t5 + t9);
    t10 = *((unsigned char *)t4);
    if (t10 == 1)
        goto LAB11;

LAB12:    t12 = (t0 + 1604U);
    t13 = *((char **)t12);
    t14 = (2 - 3);
    t15 = (t14 * -1);