m_00000000002778928017_1863975887.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_resp_checker.v";
static unsigned int ng1[] = {0U, 0U};
static const char *ng2 = "%t ERROR Data FIFO is not empty when expected";
static const char *ng3 = "%t ERROR Character mismatch. Expected %x (%c), received %x (%c)";
static const char *ng4 = "%t       Character received %x (%c)";
static const char *ng5 = "%t ERROR Frame Error Detected";



static int sp_enable(char *t1, char *t2)
{
    int t0;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;

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

LAB3:    goto *t4;

LAB2:    t4 = (t1 + 848);
    xsi_vlog_subprogram_setdisablestate(t4, &&LAB4);
    xsi_set_current_line(64, ng0);

LAB5:    xsi_set_current_line(65, ng0);
    t5 = (t1 + 3112);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t8 = (t1 + 2632);
    xsi_vlogvar_assign_value(t8, t7, 0, 0, 1);

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

LAB1:    return t0;
}

static int sp_is_done(char *t1, char *t2)
{
    char t5[8];
    char t29[8];
    char t48[8];
    int t0;
    char *t3;
    char *t4;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    int t24;
    char *t25;
    char *t26;
    char *t27;
    char *t28;
    char *t30;
    char *t31;
    char *t32;
    char *t33;
    char *t34;
    unsigned int t35;
    unsigned int t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    char *t40;
    char *t41;
    unsigned int t42;
    unsigned int t43;
    unsigned int t44;
    unsigned int t45;
    unsigned int t46;
    double t47;
    char *t49;

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

LAB3:    goto *t4;

LAB2:    t4 = (t1 + 1280);
    xsi_vlog_subprogram_setdisablestate(t4, &&LAB4);
    xsi_set_current_line(71, ng0);

LAB5:    xsi_set_current_line(72, ng0);
    t6 = ((char*)((ng1)));
    t7 = (t2 + 56U);
    t8 = *((char **)t7);
    t9 = (t1 + 6292);
    t10 = *((char **)t9);
    t11 = (t1 + 6308);
    t12 = xsi_create_subprogram_invocation(t8, 0, *((char **)t11), ((char*)(t10)), 0, t2);
    t13 = (t1 + 6300);
    t14 = *((char **)t13);
    xsi_vlogvar_assign_value(((char*)(t14)), t6, 0, 0, 1);

LAB6:    t15 = (t2 + 64U);
    t16 = *((char **)t15);
    t17 = (t16 + 80U);
    t18 = *((char **)t17);
    t19 = (t18 + 272U);
    t20 = *((char **)t19);
    t21 = (t20 + 0U);
    t22 = *((char **)t21);
    t23 = (t1 + 6308);
    t24 = ((int  (*)(char *, char *))t22)(*((char **)t23), t16);
    if (t24 != 0)
        goto LAB8;

LAB7:    t16 = (t2 + 64U);
    t25 = *((char **)t16);
    t16 = (t1 + 6316);
    t26 = *((char **)t16);
    t27 = ((((char*)(t26))) + 56U);
    t28 = *((char **)t27);
    memcpy(t29, t28, 8);
    t30 = (t1 + 6292);
    t31 = *((char **)t30);
    t32 = (t2 + 56U);
    t33 = *((char **)t32);
    xsi_delete_subprogram_invocation(((char*)(t31)), t25, t1, t33, t2);
    memset(t5, 0, 8);
    t34 = (t29 + 4);
    t35 = *((unsigned int *)t34);
    t36 = (~(t35));
    t37 = *((unsigned int *)t29);
    t38 = (t37 & t36);
    t39 = (t38 & 1U);
    if (t39 != 0)
        goto LAB12;

LAB10:    if (*((unsigned int *)t34) == 0)
        goto LAB9;

LAB11:    t40 = (t5 + 4);
    *((unsigned int *)t5) = 1;
    *((unsigned int *)t40) = 1;

LAB12:    t41 = (t5 + 4);
    t42 = *((unsigned int *)t41);
    t43 = (~(t42));
    t44 = *((unsigned int *)t5);
    t45 = (t44 & t43);
    t46 = (t45 != 0);
    if (t46 > 0)
        goto LAB13;

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

LAB1:    return t0;
LAB8:    t15 = (t2 + 48U);
    *((char **)t15) = &&LAB6;
    goto LAB1;

LAB9:    *((unsigned int *)t5) = 1;
    goto LAB12;

LAB13:    xsi_set_current_line(73, ng0);
    t47 = xsi_vlog_realtime(1000.0000000000000, 1000.0000000000000);
    *((double *)t48) = t47;
    t49 = (t1 + 1280);
    xsi_vlogfile_write(1, 0, 0, ng2, 2, t49, (char)114, t48, 64);
    goto LAB15;

}

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

LAB0:    t1 = (t0 + 4032U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(82, ng0);
    t2 = (t0 + 4600);
    *((int *)t2) = 1;
    t3 = (t0 + 4064);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(83, ng0);

LAB5:    xsi_set_current_line(84, ng0);
    t4 = (t0 + 2632);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 4);
    t8 = *((unsigned int *)t7);
    t9 = (~(t8));
    t10 = *((unsigned int *)t6);
    t11 = (t10 & t9);
    t12 = (t11 != 0);
    if (t12 > 0)
        goto LAB6;

LAB7:
LAB8:    goto LAB2;

LAB6:    xsi_set_current_line(85, ng0);

LAB9:    xsi_set_current_line(86, ng0);
    t13 = (t0 + 3840);
    t14 = (t0 + 6348);
    t15 = *((char **)t14);
    t16 = (t0 + 6364);
    t17 = xsi_create_subprogram_invocation(t13, 0, *((char **)t16), ((char*)(t15)), 0, 0);

LAB10:    t18 = (t0 + 3936);
    t19 = *((char **)t18);
    t20 = (t19 + 80U);
    t21 = *((char **)t20);
    t22 = (t21 + 272U);
    t23 = *((char **)t22);
    t24 = (t23 + 0U);
    t25 = *((char **)t24);
    t26 = (t0 + 6364);
    t27 = ((int  (*)(char *, char *))t25)(*((char **)t26), t19);
    if (t27 != 0)
        goto LAB12;

LAB11:    t19 = (t0 + 3936);
    t28 = *((char **)t19);
    t19 = (t0 + 6372);
    t29 = *((char **)t19);
    t30 = ((((char*)(t29))) + 56U);
    t31 = *((char **)t30);
    memcpy(t32, t31, 8);
    t33 = (t0 + 6348);
    t34 = *((char **)t33);
    t35 = (t0 + 3840);
    t36 = 0;
    xsi_delete_subprogram_invocation(((char*)(t34)), t28, t0, t35, t36);
    t37 = (t0 + 2792);
    xsi_vlogvar_assign_value(t37, t32, 0, 0, 8);
    xsi_set_current_line(87, ng0);
    t2 = (t0 + 1912U);
    t3 = *((char **)t2);
    t2 = (t0 + 2952);
    xsi_vlogvar_assign_value(t2, t3, 0, 0, 8);
    xsi_set_current_line(88, ng0);
    t2 = (t0 + 3840);
    xsi_process_wait(t2, 1000LL);
    *((char **)t1) = &&LAB13;
    goto LAB1;

LAB12:    t18 = (t0 + 4032U);
    *((char **)t18) = &&LAB10;
    goto LAB1;

LAB13:    xsi_set_current_line(90, ng0);
    t2 = (t0 + 1912U);
    t3 = *((char **)t2);
    t2 = (t0 + 2792);
    t4 = (t2 + 56U);
    t5 = *((char **)t4);
    memset(t32, 0, 8);
    if (*((unsigned int *)t3) != *((unsigned int *)t5))
        goto LAB15;

LAB14:    t6 = (t3 + 4);
    t7 = (t5 + 4);
    if (*((unsigned int *)t6) != *((unsigned int *)t7))
        goto LAB15;

LAB16:    t13 = (t32 + 4);
    t8 = *((unsigned int *)t13);
    t9 = (~(t8));
    t10 = *((unsigned int *)t32);
    t11 = (t10 & t9);
    t12 = (t11 != 0);
    if (t12 > 0)
        goto LAB17;

LAB18:    xsi_set_current_line(97, ng0);

LAB21:    xsi_set_current_line(98, ng0);
    t38 = xsi_vlog_realtime(1000.0000000000000, 1000.0000000000000);
    *((double *)t32) = t38;
    t2 = (t0 + 2792);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    t5 = (t0 + 2792);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    xsi_vlogfile_write(1, 0, 0, ng4, 4, t0, (char)114, t32, 64, (char)118, t4, 8, (char)118, t7, 8);

LAB19:    goto LAB8;

LAB15:    *((unsigned int *)t32) = 1;
    goto LAB16;

LAB17:    xsi_set_current_line(91, ng0);

LAB20:    xsi_set_current_line(92, ng0);
    t38 = xsi_vlog_realtime(1000.0000000000000, 1000.0000000000000);
    *((double *)t39) = t38;
    t14 = (t0 + 2792);
    t15 = (t14 + 56U);
    t16 = *((char **)t15);
    t17 = (t0 + 2792);
    t18 = (t17 + 56U);
    t19 = *((char **)t18);
    t20 = (t0 + 1912U);
    t21 = *((char **)t20);
    t20 = (t0 + 1912U);
    t22 = *((char **)t20);
    xsi_vlogfile_write(1, 0, 0, ng3, 6, t0, (char)114, t39, 64, (char)118, t16, 8, (char)118, t19, 8, (char)118, t21, 8, (char)118, t22, 8);
    goto LAB19;

}

static void Always_103_1(char *t0)
{
    char t14[8];
    char *t1;
    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;
    double t13;

LAB0:    t1 = (t0 + 4280U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(103, ng0);
    t2 = (t0 + 4616);
    *((int *)t2) = 1;
    t3 = (t0 + 4312);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(104, ng0);

LAB5:    xsi_set_current_line(105, ng0);
    t4 = (t0 + 2632);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 4);
    t8 = *((unsigned int *)t7);
    t9 = (~(t8));
    t10 = *((unsigned int *)t6);
    t11 = (t10 & t9);
    t12 = (t11 != 0);
    if (t12 > 0)
        goto LAB6;

LAB7:
LAB8:    goto LAB2;

LAB6:    xsi_set_current_line(106, ng0);

LAB9:    xsi_set_current_line(107, ng0);
    t13 = xsi_vlog_realtime(1000.0000000000000, 1000.0000000000000);
    *((double *)t14) = t13;
    xsi_vlogfile_write(1, 0, 0, ng5, 2, t0, (char)114, t14, 64);
    goto LAB8;

}


extern void work_m_00000000002778928017_1863975887_init()
{
	static char *pe[] = {(void *)Always_82_0,(void *)Always_103_1};
	static char *se[] = {(void *)sp_enable,(void *)sp_is_done};
	xsi_register_didat("work_m_00000000002778928017_1863975887", "isim/test_wave_gen_isim_beh.exe.sim/work/m_00000000002778928017_1863975887.didat");
	xsi_register_executes(pe);
	xsi_register_subprogram_executes(se);
}