p_1242562249.c

32位单精度浮点加法器

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

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

#define XSI_HIDE_SYMBOL_SPEC true
#include "xsi.h"
#include <memory.h>
#ifdef __GNUC__
#include <stdlib.h>
#else
#include <malloc.h>
#define alloca _alloca
#endif
static const char *ng0 = "Function max ended without a return statement";
static const char *ng1 = "Function min ended without a return statement";
extern char *STD_STANDARD;
extern char *IEEE_P_2592010699;
static const char *ng4 = "Function \"sll\" ended without a return statement";
static const char *ng5 = "Function \"srl\" ended without a return statement";
static const char *ng6 = "Function \"rol\" ended without a return statement";
static const char *ng7 = "Function \"ror\" ended without a return statement";
static const char *ng8 = "Function to_integer ended without a return statement";
static const char *ng9 = "Function std_match ended without a return statement";

char *ieee_p_1242562249_sub_1547270861_1035706684(char *, char *, char *, char *, char *, char *);
char *ieee_p_1242562249_sub_1804770815_1035706684(char *, char *, char *, char *, unsigned char );
char *ieee_p_1242562249_sub_180853171_1035706684(char *, char *, int , int );
char *ieee_p_1242562249_sub_2045698577_1035706684(char *, char *, char *, char *, int );
char *ieee_p_1242562249_sub_2563015576_1035706684(char *, char *, int , int );
char *ieee_p_1242562249_sub_2570320491_1035706684(char *, char *, char *, char *, unsigned char );
char *ieee_p_1242562249_sub_2770553711_1035706684(char *, char *, char *, char *, int );
char *ieee_p_1242562249_sub_2892387531_1035706684(char *, char *, char *, char *);
char *ieee_p_1242562249_sub_3410769178_1035706684(char *, char *, char *, char *, int );
unsigned char ieee_p_1242562249_sub_3454299738_1035706684(char *, char *, char *, char *, char *);
unsigned char ieee_p_1242562249_sub_3472088553_1035706684(char *, char *, char *, char *, char *);
char *ieee_p_1242562249_sub_3481121704_1035706684(char *, char *, char *, char *);
char *ieee_p_1242562249_sub_3991088854_1035706684(char *, char *, char *, char *);
char *ieee_p_1242562249_sub_4004982826_1035706684(char *, char *, char *, char *, int );
unsigned char ieee_p_1242562249_sub_4063966832_1035706684(char *, char *, char *, char *, char *);
char *ieee_p_2592010699_sub_1306069469_503743352(char *, char *, char *, char *, char *, char *);
unsigned char ieee_p_2592010699_sub_1605435078_503743352(char *, unsigned char , unsigned char );
unsigned char ieee_p_2592010699_sub_1690584930_503743352(char *, unsigned char );
char *ieee_p_2592010699_sub_1697423399_503743352(char *, char *, char *, char *, char *, char *);
char *ieee_p_2592010699_sub_1735675855_503743352(char *, char *, char *, char *, char *, char *);
char *ieee_p_2592010699_sub_1837678034_503743352(char *, char *, char *, char *);
unsigned char ieee_p_2592010699_sub_2507238156_503743352(char *, unsigned char , unsigned char );
unsigned char ieee_p_2592010699_sub_2545490612_503743352(char *, unsigned char , unsigned char );
char *ieee_p_2592010699_sub_3798478767_503743352(char *, char *, char *, char *, char *, char *);
char *ieee_p_2592010699_sub_43738421_503743352(char *, char *, char *, char *, char *, char *);
char *ieee_p_2592010699_sub_795620321_503743352(char *, char *, char *, char *, char *, char *);


int ieee_p_1242562249_sub_3160373586_1035706684(char *t1, int t2, int t3)
{
    char t5[16];
    int t0;
    char *t6;
    char *t7;
    unsigned char t8;

LAB0:    t6 = (t5 + 4U);
    *((int *)t6) = t2;
    t7 = (t5 + 8U);
    *((int *)t7) = t3;
    t8 = (t2 > t3);
    if (t8 != 0)
        goto LAB2;

LAB4:    t0 = t3;

LAB1:    return t0;
LAB2:    t0 = t2;
    goto LAB1;

LAB3:    xsi_error(ng0);
    t0 = 0;
    goto LAB1;

LAB5:    goto LAB3;

LAB6:    goto LAB3;

}

int ieee_p_1242562249_sub_3160650192_1035706684(char *t1, int t2, int t3)
{
    char t5[16];
    int t0;
    char *t6;
    char *t7;
    unsigned char t8;

LAB0:    t6 = (t5 + 4U);
    *((int *)t6) = t2;
    t7 = (t5 + 8U);
    *((int *)t7) = t3;
    t8 = (t2 < t3);
    if (t8 != 0)
        goto LAB2;

LAB4:    t0 = t3;

LAB1:    return t0;
LAB2:    t0 = t2;
    goto LAB1;

LAB3:    xsi_error(ng1);
    t0 = 0;
    goto LAB1;

LAB5:    goto LAB3;

LAB6:    goto LAB3;

}

int ieee_p_1242562249_sub_3824177444_1035706684(char *t1, int t2)
{
    char t3[248];
    char t4[8];
    char t8[8];
    char t14[8];
    int t0;
    char *t5;
    char *t6;
    char *t7;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t15;
    char *t16;
    char *t17;
    unsigned char t18;
    char *t19;
    char *t20;
    int t21;
    int t22;
    int t23;

LAB0:    t5 = (t3 + 4U);
    t6 = ((STD_STANDARD) + 832);
    t7 = (t5 + 88U);
    *((char **)t7) = t6;
    t9 = (t5 + 56U);
    *((char **)t9) = t8;
    xsi_type_set_default_value(t6, t8, 0);
    t10 = (t5 + 80U);
    *((unsigned int *)t10) = 4U;
    t11 = (t3 + 124U);
    t12 = ((STD_STANDARD) + 832);
    t13 = (t11 + 88U);
    *((char **)t13) = t12;
    t15 = (t11 + 56U);
    *((char **)t15) = t14;
    xsi_type_set_default_value(t12, t14, 0);
    t16 = (t11 + 80U);
    *((unsigned int *)t16) = 4U;
    t17 = (t4 + 4U);
    *((int *)t17) = t2;
    t18 = (t2 >= 0);
    if (t18 != 0)
        goto LAB2;

LAB4:    t21 = (t2 + 1);
    t22 = (-(t21));
    t6 = (t11 + 56U);
    t7 = *((char **)t6);
    t6 = (t7 + 0);
    *((int *)t6) = t22;

LAB3:    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t6 = (t7 + 0);
    *((int *)t6) = 1;

LAB5:    t6 = (t11 + 56U);
    t7 = *((char **)t6);
    t21 = *((int *)t7);
    t18 = (t21 > 0);
    if (t18 != 0)
        goto LAB6;

LAB8:    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t21 = *((int *)t7);
    t0 = t21;

LAB1:    return t0;
LAB2:    t19 = (t11 + 56U);
    t20 = *((char **)t19);
    t19 = (t20 + 0);
    *((int *)t19) = t2;
    goto LAB3;

LAB6:    t6 = (t5 + 56U);
    t9 = *((char **)t6);
    t22 = *((int *)t9);
    t23 = (t22 + 1);
    t6 = (t5 + 56U);
    t10 = *((char **)t6);
    t6 = (t10 + 0);
    *((int *)t6) = t23;
    t6 = (t11 + 56U);
    t7 = *((char **)t6);
    t21 = *((int *)t7);
    t22 = (t21 / 2);
    t6 = (t11 + 56U);
    t9 = *((char **)t6);
    t6 = (t9 + 0);
    *((int *)t6) = t22;
    goto LAB5;

LAB7:;
LAB9:;
}

int ieee_p_1242562249_sub_3295552210_1035706684(char *t1, int t2)
{
    char t3[248];
    char t4[8];
    char t8[8];
    char t14[8];
    int t0;
    char *t5;
    char *t6;
    char *t7;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    int t20;
    unsigned char t21;
    int t22;
    int t23;

LAB0:    t5 = (t3 + 4U);
    t6 = ((STD_STANDARD) + 832);
    t7 = (t5 + 88U);
    *((char **)t7) = t6;
    t9 = (t5 + 56U);
    *((char **)t9) = t8;
    xsi_type_set_default_value(t6, t8, 0);
    t10 = (t5 + 80U);
    *((unsigned int *)t10) = 4U;
    t11 = (t3 + 124U);
    t12 = ((STD_STANDARD) + 832);
    t13 = (t11 + 88U);
    *((char **)t13) = t12;
    t15 = (t11 + 56U);
    *((char **)t15) = t14;
    xsi_type_set_default_value(t12, t14, 0);
    t16 = (t11 + 80U);
    *((unsigned int *)t16) = 4U;
    t17 = (t4 + 4U);
    *((int *)t17) = t2;
    t18 = (t11 + 56U);
    t19 = *((char **)t18);
    t18 = (t19 + 0);
    *((int *)t18) = t2;
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t6 = (t7 + 0);
    *((int *)t6) = 1;

LAB2:    t6 = (t11 + 56U);
    t7 = *((char **)t6);
    t20 = *((int *)t7);
    t21 = (t20 > 1);
    if (t21 != 0)
        goto LAB3;

LAB5:    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t20 = *((int *)t7);
    t0 = t20;

LAB1:    return t0;
LAB3:    t6 = (t5 + 56U);
    t9 = *((char **)t6);
    t22 = *((int *)t9);
    t23 = (t22 + 1);
    t6 = (t5 + 56U);
    t10 = *((char **)t6);
    t6 = (t10 + 0);
    *((int *)t6) = t23;
    t6 = (t11 + 56U);
    t7 = *((char **)t6);
    t20 = *((int *)t7);
    t22 = (t20 / 2);
    t6 = (t11 + 56U);
    t9 = *((char **)t6);
    t6 = (t9 + 0);
    *((int *)t6) = t22;
    goto LAB2;

LAB4:;
LAB6:;
}

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

LAB0:    t10 = (t4 + 12U);
    t11 = *((unsigned int *)t10);
    t12 = (t11 - 1);
    t13 = (t8 + 4U);
    t14 = ((STD_STANDARD) + 384);
    t15 = (t13 + 88U);
    *((char **)t15) = t14;
    t17 = (t13 + 56U);
    *((char **)t17) = t16;
    *((int *)t16) = t12;
    t18 = (t13 + 80U);
    *((unsigned int *)t18) = 4U;
    t20 = (t13 + 56U);
    t21 = *((char **)t20);
    t22 = *((int *)t21);
    t20 = (t19 + 0U);
    t23 = (t20 + 0U);
    *((int *)t23) = t22;
    t23 = (t20 + 4U);
    *((int *)t23) = 0;
    t23 = (t20 + 8U);
    *((int *)t23) = -1;
    t24 = (0 - t22);
    t25 = (t24 * -1);
    t25 = (t25 + 1);
    t23 = (t20 + 12U);
    *((unsigned int *)t23) = t25;
    t23 = (t13 + 56U);
    t27 = *((char **)t23);
    t28 = *((int *)t27);
    t23 = (t26 + 0U);
    t29 = (t23 + 0U);
    *((int *)t29) = t28;
    t29 = (t23 + 4U);
    *((int *)t29) = 0;
    t29 = (t23 + 8U);
    *((int *)t29) = -1;
    t30 = (0 - t28);
    t25 = (t30 * -1);
    t25 = (t25 + 1);
    t29 = (t23 + 12U);
    *((unsigned int *)t29) = t25;
    t29 = (t13 + 56U);
    t31 = *((char **)t29);
    t32 = *((int *)t31);
    t33 = (0 - t32);
    t25 = (t33 * -1);
    t25 = (t25 + 1);
    t25 = (t25 * 1U);
    t29 = (t13 + 56U);
    t35 = *((char **)t29);
    t36 = *((int *)t35);
    t29 = (t34 + 0U);
    t37 = (t29 + 0U);
    *((int *)t37) = t36;
    t37 = (t29 + 4U);
    *((int *)t37) = 0;
    t37 = (t29 + 8U);
    *((int *)t37) = -1;
    t38 = (0 - t36);
    t39 = (t38 * -1);
    t39 = (t39 + 1);
    t37 = (t29 + 12U);
    *((unsigned int *)t37) = t39;
    t37 = (t8 + 124U);
    t40 = (t1 + 3000);
    t41 = (t37 + 88U);
    *((char **)t41) = t40;
    t42 = (char *)alloca(t25);
    t43 = (t37 + 56U);
    *((char **)t43) = t42;
    xsi_type_set_default_value(t40, t42, t34);
    t44 = (t37 + 64U);
    *((char **)t44) = t34;
    t45 = (t37 + 80U);
    *((unsigned int *)t45) = t25;
    t46 = (t8 + 244U);
    t47 = ((IEEE_P_2592010699) + 3320);
    t48 = (t46 + 88U);
    *((char **)t48) = t47;
    t50 = (t46 + 56U);
    *((char **)t50) = t49;
    *((unsigned char *)t49) = t7;
    t51 = (t46 + 80U);
    *((unsigned int *)t51) = 1U;
    t52 = (t9 + 4U);
    t53 = (t3 != 0);
    if (t53 == 1)
        goto LAB3;

LAB2:    t54 = (t9 + 12U);
    *((char **)t54) = t4;
    t55 = (t9 + 20U);
    t56 = (t5 != 0);
    if (t56 == 1)
        goto LAB5;

LAB4:    t57 = (t9 + 28U);
    *((char **)t57) = t6;
    t58 = (t9 + 36U);
    *((unsigned char *)t58) = t7;
    t59 = (t13 + 56U);
    t60 = *((char **)t59);
    t61 = *((int *)t60);
    t62 = 0;
    t63 = t61;

LAB6:    if (t62 <= t63)
        goto LAB7;

LAB9:    t10 = (t37 + 56U);
    t14 = *((char **)t10);
    t10 = (t34 + 12U);
    t11 = *((unsigned int *)t10);
    t11 = (t11 * 1U);
    t0 = xsi_get_transient_memory(t11);
    memcpy(t0, t14, t11);
    t15 = (t34 + 0U);
    t12 = *((int *)t15);
    t17 = (t34 + 4U);
    t22 = *((int *)t17);
    t18 = (t34 + 8U);
    t24 = *((int *)t18);