m_00000000000150653977_1586988468.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 = "E:/kechengsheji/ha1/wave_gen_ver_s6/tb_cmd_gen.v";
static const char *ng1 = "%d";
static int ng2[] = {0, 0};
static int ng3[] = {4, 0};
static int ng4[] = {8, 0};
static int ng5[] = {32, 0};
static int ng6[] = {48, 0};
static int ng7[] = {1, 0};
static const char *ng8 = "%t       Sending cmd = %s, expecting rsp = %s";
static unsigned int ng9[] = {0U, 0U};
static unsigned int ng10[] = {13U, 0U};
static const char *ng11 = "*W%x%x";
static const char *ng12 = "%t       Writing %x to sample address %x";
static int ng13[] = {2969419, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
static const char *ng14 = "%t       Writing to illegal address %x";
static int ng15[] = {759517778, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
static const char *ng16 = "*R%x";
static const char *ng17 = "%t       Reading %x from sample address %x";
static const char *ng18 = "-%x %s";
static const char *ng19 = "%t       Reading from illegal sample address %x";
static const char *ng20 = "*N%h";
static const char *ng21 = "*P%h";
static const char *ng22 = "*S%h";
static int ng23[] = {10862, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
static int ng24[] = {10864, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
static int ng25[] = {10867, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};



static int sp_to_dec_str(char *t1, char *t2)
{
    char t4[16];
    char t8[8];
    char t15[8];
    char t26[8];
    char t29[8];
    char t53[8];
    char t54[8];
    char t55[8];
    char t63[8];
    int t0;
    char *t3;
    char *t5;
    char *t6;
    char *t7;
    char *t9;
    unsigned int t10;
    unsigned int t11;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    char *t27;
    char *t28;
    char *t30;
    char *t31;
    unsigned int t32;
    unsigned int t33;
    unsigned int t34;
    unsigned int t35;
    unsigned int t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    unsigned int t40;
    unsigned int t41;
    unsigned int t42;
    unsigned int t43;
    char *t44;
    char *t45;
    unsigned int t46;
    unsigned int t47;
    unsigned int t48;
    unsigned int t49;
    unsigned int t50;
    char *t51;
    char *t52;
    char *t56;
    char *t57;
    char *t58;
    char *t59;
    char *t60;
    char *t61;
    char *t62;
    char *t64;
    char *t65;
    unsigned int t66;
    int t67;
    char *t68;
    unsigned int t69;
    int t70;
    int t71;
    char *t72;
    unsigned int t73;
    int t74;
    int t75;
    unsigned int t76;
    int t77;
    unsigned int t78;
    unsigned int t79;
    int t80;
    int t81;

LAB0:    t0 = 1;
    xsi_set_current_line(91, ng0);

LAB2:    xsi_set_current_line(92, ng0);
    t3 = (t1 + 7696);
    t5 = (t1 + 7856);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    xsi_vlogfile_sformat_isreg(t4, 40, ng1, 0, 0, 2, t1, (char)118, t7, 16);
    xsi_vlogvar_assign_value(t3, t4, 0, 0, 40);
    xsi_set_current_line(93, ng0);
    xsi_set_current_line(93, ng0);
    t3 = ((char*)((ng2)));
    t5 = (t1 + 8016);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 32);

LAB3:    t3 = (t1 + 8016);
    t5 = (t3 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng3)));
    memset(t8, 0, 8);
    xsi_vlog_signed_leq(t8, 32, t6, 32, t7, 32);
    t9 = (t8 + 4);
    t10 = *((unsigned int *)t9);
    t11 = (~(t10));
    t12 = *((unsigned int *)t8);
    t13 = (t12 & t11);
    t14 = (t13 != 0);
    if (t14 > 0)
        goto LAB4;

LAB5:    t0 = 0;

LAB1:    return t0;
LAB4:    xsi_set_current_line(94, ng0);
    t16 = (t1 + 7696);
    t17 = (t16 + 56U);
    t18 = *((char **)t17);
    t19 = (t1 + 7696);
    t20 = (t19 + 72U);
    t21 = *((char **)t20);
    t22 = ((char*)((ng4)));
    t23 = (t1 + 8016);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memset(t26, 0, 8);
    xsi_vlog_signed_multiply(t26, 32, t22, 32, t25, 32);
    t27 = ((char*)((ng4)));
    xsi_vlog_get_indexed_partselect(t15, 8, t18, ((int*)(t21)), 2, t26, 32, 1, t27, 32, 1, 1);
    t28 = ((char*)((ng5)));
    memset(t29, 0, 8);
    t30 = (t15 + 4);
    t31 = (t28 + 4);
    t32 = *((unsigned int *)t15);
    t33 = *((unsigned int *)t28);
    t34 = (t32 ^ t33);
    t35 = *((unsigned int *)t30);
    t36 = *((unsigned int *)t31);
    t37 = (t35 ^ t36);
    t38 = (t34 | t37);
    t39 = *((unsigned int *)t30);
    t40 = *((unsigned int *)t31);
    t41 = (t39 | t40);
    t42 = (~(t41));
    t43 = (t38 & t42);
    if (t43 != 0)
        goto LAB9;

LAB6:    if (t41 != 0)
        goto LAB8;

LAB7:    *((unsigned int *)t29) = 1;

LAB9:    t45 = (t29 + 4);
    t46 = *((unsigned int *)t45);
    t47 = (~(t46));
    t48 = *((unsigned int *)t29);
    t49 = (t48 & t47);
    t50 = (t49 != 0);
    if (t50 > 0)
        goto LAB10;

LAB11:
LAB12:    xsi_set_current_line(93, ng0);
    t3 = (t1 + 8016);
    t5 = (t3 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng7)));
    memset(t8, 0, 8);
    xsi_vlog_signed_add(t8, 32, t6, 32, t7, 32);
    t9 = (t1 + 8016);
    xsi_vlogvar_assign_value(t9, t8, 0, 0, 32);
    goto LAB3;

LAB8:    t44 = (t29 + 4);
    *((unsigned int *)t29) = 1;
    *((unsigned int *)t44) = 1;
    goto LAB9;

LAB10:    xsi_set_current_line(95, ng0);
    t51 = ((char*)((ng6)));
    t52 = (t1 + 7696);
    t56 = (t1 + 7696);
    t57 = (t56 + 72U);
    t58 = *((char **)t57);
    t59 = ((char*)((ng4)));
    t60 = (t1 + 8016);
    t61 = (t60 + 56U);
    t62 = *((char **)t61);
    memset(t63, 0, 8);
    xsi_vlog_signed_multiply(t63, 32, t59, 32, t62, 32);
    t64 = ((char*)((ng4)));
    xsi_vlog_convert_indexed_partindices(t53, t54, t55, ((int*)(t58)), 2, t63, 32, 1, t64, 32, 1, 1);
    t65 = (t53 + 4);
    t66 = *((unsigned int *)t65);
    t67 = (!(t66));
    t68 = (t54 + 4);
    t69 = *((unsigned int *)t68);
    t70 = (!(t69));
    t71 = (t67 && t70);
    t72 = (t55 + 4);
    t73 = *((unsigned int *)t72);
    t74 = (!(t73));
    t75 = (t71 && t74);
    if (t75 == 1)
        goto LAB13;

LAB14:    goto LAB12;

LAB13:    t76 = *((unsigned int *)t55);
    t77 = (t76 + 0);
    t78 = *((unsigned int *)t53);
    t79 = *((unsigned int *)t54);
    t80 = (t78 - t79);
    t81 = (t80 + 1);
    xsi_vlogvar_assign_value(t52, t51, t77, *((unsigned int *)t54), t81);
    goto LAB14;

}

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

LAB0:    t0 = 1;
    t3 = (t2 + 48U);
    t4 = *((char **)t3);
    if (t4 == 0)
        goto LAB2;

LAB3:    goto *t4;

LAB2:    t4 = (t1 + 2504);
    xsi_vlog_subprogram_setdisablestate(t4, &&LAB4);
    xsi_set_current_line(108, ng0);

LAB5:    xsi_set_current_line(113, ng0);
    t5 = xsi_vlog_realtime(1000.0000000000000, 1000.0000000000000);
    *((double *)t6) = t5;
    t7 = (t1 + 8176);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    t10 = (t1 + 8336);
    t11 = (t10 + 56U);
    t12 = *((char **)t11);
    t13 = (t1 + 2504);
    xsi_vlogfile_write(1, 0, 0, ng8, 4, t13, (char)114, t6, 64, (char)118, t9, 640, (char)118, t12, 640);
    xsi_set_current_line(117, ng0);
    xsi_set_current_line(117, ng0);
    t4 = ((char*)((ng2)));
    t7 = (t1 + 8496);
    xsi_vlogvar_assign_value(t7, t4, 0, 0, 32);

LAB6:    t4 = (t1 + 8496);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t1 + 472);
    t10 = *((char **)t9);
    t9 = ((char*)((ng7)));
    memset(t6, 0, 8);
    xsi_vlog_signed_minus(t6, 32, t10, 32, t9, 32);
    memset(t14, 0, 8);
    xsi_vlog_signed_leq(t14, 32, t8, 32, t6, 32);
    t11 = (t14 + 4);
    t15 = *((unsigned int *)t11);
    t16 = (~(t15));
    t17 = *((unsigned int *)t14);
    t18 = (t17 & t16);
    t19 = (t18 != 0);
    if (t19 > 0)
        goto LAB7;

LAB8:    xsi_set_current_line(126, ng0);
    xsi_set_current_line(126, ng0);
    t4 = ((char*)((ng2)));
    t7 = (t1 + 8496);
    xsi_vlogvar_assign_value(t7, t4, 0, 0, 32);

LAB24:    t4 = (t1 + 8496);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t1 + 472);
    t10 = *((char **)t9);
    t9 = ((char*)((ng7)));
    memset(t6, 0, 8);
    xsi_vlog_signed_minus(t6, 32, t10, 32, t9, 32);
    memset(t14, 0, 8);
    xsi_vlog_signed_leq(t14, 32, t8, 32, t6, 32);
    t11 = (t14 + 4);
    t15 = *((unsigned int *)t11);
    t16 = (~(t15));
    t17 = *((unsigned int *)t14);
    t18 = (t17 & t16);
    t19 = (t18 != 0);
    if (t19 > 0)
        goto LAB25;

LAB26:    xsi_set_current_line(134, ng0);
    t4 = ((char*)((ng10)));
    t7 = (t2 + 56U);
    t8 = *((char **)t7);
    t9 = (t2 + 56U);
    t10 = *((char **)t9);
    xsi_vlog_subprograminvocation_setJumpstate(t2, t10, &&LAB42);
    t11 = (t2 + 56U);
    t12 = *((char **)t11);
    t13 = (t1 + 16076);
    t21 = *((char **)t13);
    t22 = (t1 + 16092);
    t23 = xsi_create_subprogram_invocation(t12, 0, *((char **)t22), ((char*)(t21)), 0, t2);
    xsi_vlog_subprogram_pushinvocation(((char*)(t21)), t23);
    t24 = (t1 + 16084);
    t25 = *((char **)t24);
    xsi_vlogvar_assign_value(((char*)(t25)), t4, 0, 0, 8);

LAB44:    t26 = (t2 + 64U);
    t27 = *((char **)t26);
    t28 = (t27 + 80U);
    t30 = *((char **)t28);
    t31 = (t30 + 272U);
    t33 = *((char **)t31);
    t34 = (t33 + 0U);
    t47 = *((char **)t34);
    t48 = (t1 + 16092);
    t88 = ((int  (*)(char *, char *))t47)(*((char **)t48), t27);
    if (t88 == -1)
        goto LAB45;

LAB46:    if (t88 != 0)
        goto LAB47;

LAB42:    t27 = (t1 + 16124);
    t55 = *((char **)t27);
    xsi_vlog_subprogram_popinvocation(((char*)(t55)));

LAB43:    t56 = (t2 + 64U);
    t57 = *((char **)t56);
    t56 = (t1 + 16124);
    t58 = *((char **)t56);
    t59 = (t2 + 56U);
    t60 = *((char **)t59);
    xsi_delete_subprogram_invocation(((char*)(t58)), t57, t1, t60, t2);
    xsi_set_current_line(137, ng0);
    xsi_set_current_line(137, ng0);
    t4 = ((char*)((ng2)));
    t7 = (t1 + 8496);
    xsi_vlogvar_assign_value(t7, t4, 0, 0, 32);

LAB48:    t4 = (t1 + 8496);
    t7 = (t4 + 56U);
    t8 = *((char **)t7);
    t9 = (t1 + 472);
    t10 = *((char **)t9);
    t9 = ((char*)((ng7)));
    memset(t6, 0, 8);
    xsi_vlog_signed_minus(t6, 32, t10, 32, t9, 32);
    memset(t14, 0, 8);
    xsi_vlog_signed_leq(t14, 32, t8, 32, t6, 32);
    t11 = (t14 + 4);
    t15 = *((unsigned int *)t11);
    t16 = (~(t15));
    t17 = *((unsigned int *)t14);
    t18 = (t17 & t16);
    t19 = (t18 != 0);
    if (t19 > 0)
        goto LAB49;

LAB50:
LAB4:    xsi_vlog_dispose_subprogram_invocation(t2);
    t4 = (t2 + 48U);
    *((char **)t4) = &&LAB2;
    t0 = 0;