📄 m_00000000004170147728_1417969813.c
字号:
/**********************************************************************/
/* ____ ____ */
/* / /\/ / */
/* /___/ \ / */
/* \ \ \/ */
/* \ \ Copyright (c) 2003-2007 Xilinx, Inc. */
/* / / All Right Reserved. */
/* /---/ /\ */
/* \ \ / \ */
/* \___\/\___\ */
/**********************************************************************/
/* This file is designed for use with ISim build 0x734844ce */
#include "xsi.h"
#include <memory.h>
#ifdef __GNUC__
#include <stdlib.h>
#else
#include <malloc.h>
#define alloca _alloca
#endif
static int ng0[] = {0, 0};
static unsigned int ng1[] = {1U, 1U};
static int ng2[] = {1, 0};
static int ng3[] = {8, 0};
static int ng4[] = {2, 0};
static int ng5[] = {3, 0};
static int ng6[] = {4, 0};
static int ng7[] = {5, 0};
static int ng8[] = {6, 0};
static int ng9[] = {7, 0};
static const char *ng10 = "Error in %m at time %d ns: non-binary digit in string \"%s\"\nExiting simulation...";
static int ng11[] = {808464688, 0, 825307441, 0, 825307441, 0};
static unsigned int ng12[] = {0U, 0U};
static unsigned int ng13[] = {4095U, 4095U};
static unsigned int ng14[] = {1U, 0U};
static int ng15[] = {11, 0};
static int sp_is_X(char *t1, char *t2)
{
char t8[8];
char t17[8];
char t25[8];
int t0;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
unsigned int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
char *t14;
char *t15;
char *t16;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t26;
char *t27;
char *t28;
unsigned int t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
unsigned int t33;
char *t34;
char *t35;
LAB0: t0 = 1;
LAB2: t3 = ((char*)((ng0)));
t4 = (t1 + 9596);
xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
t3 = ((char*)((ng0)));
t4 = (t1 + 9780);
xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);
LAB3: t3 = (t1 + 9780);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = (t1 + 2148);
t7 = *((char **)t6);
memset(t8, 0, 8);
xsi_vlog_signed_less(t8, 32, t5, 32, t7, 32);
t6 = (t8 + 4U);
t9 = *((unsigned int *)t6);
t10 = (~(t9));
t11 = *((unsigned int *)t8);
t12 = (t11 & t10);
t13 = (t12 != 0);
if (t13 > 0)
goto LAB4;
LAB5: t0 = 0;
LAB1: return t0;
LAB4: t14 = (t1 + 9688);
t15 = (t14 + 32U);
t16 = *((char **)t15);
t18 = (t1 + 9688);
t19 = (t18 + 40U);
t20 = *((char **)t19);
t21 = (t1 + 9780);
t22 = (t21 + 32U);
t23 = *((char **)t22);
xsi_vlog_generic_get_index_select_value(t17, 1, t16, t20, 2, t23, 32, 1);
t24 = ((char*)((ng1)));
memset(t25, 0, 8);
t26 = (t17 + 4U);
t27 = (t24 + 4U);
if (*((unsigned int *)t17) != *((unsigned int *)t24))
goto LAB8;
LAB6: if (*((unsigned int *)t26) != *((unsigned int *)t27))
goto LAB8;
LAB7: *((unsigned int *)t25) = 1;
LAB8: t28 = (t25 + 4U);
t29 = *((unsigned int *)t28);
t30 = (~(t29));
t31 = *((unsigned int *)t25);
t32 = (t31 & t30);
t33 = (t32 != 0);
if (t33 > 0)
goto LAB9;
LAB10:
LAB11: t3 = (t1 + 9780);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = ((char*)((ng2)));
memset(t8, 0, 8);
xsi_vlog_signed_add(t8, 32, t5, 32, t6, 32);
t7 = (t1 + 9780);
xsi_vlogvar_assign_value(t7, t8, 0, 0, 32);
goto LAB3;
LAB9: t34 = ((char*)((ng2)));
t35 = (t1 + 9596);
xsi_vlogvar_assign_value(t35, t34, 0, 0, 1);
goto LAB11;
}
static int sp_defval(char *t1, char *t2)
{
char t7[8];
int t0;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
unsigned int t20;
unsigned int t21;
unsigned int t22;
char *t23;
unsigned int t24;
unsigned int t25;
unsigned int t26;
unsigned int t27;
unsigned int t28;
char *t29;
char *t30;
char *t31;
char *t32;
LAB0: t0 = 1;
LAB2: t3 = (t1 + 10056);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = ((char*)((ng2)));
memset(t7, 0, 8);
t8 = (t7 + 4U);
t9 = (t5 + 4U);
t10 = (t6 + 4U);
t11 = *((unsigned int *)t5);
t12 = *((unsigned int *)t6);
t13 = (t11 ^ t12);
t14 = *((unsigned int *)t9);
t15 = *((unsigned int *)t10);
t16 = (t14 ^ t15);
t17 = (t13 | t16);
t18 = *((unsigned int *)t9);
t19 = *((unsigned int *)t10);
t20 = (t18 | t19);
t21 = (~(t20));
t22 = (t17 & t21);
if (t22 != 0)
goto LAB6;
LAB3: if (t20 != 0)
goto LAB5;
LAB4: *((unsigned int *)t7) = 1;
LAB6: t23 = (t7 + 4U);
t24 = *((unsigned int *)t23);
t25 = (~(t24));
t26 = *((unsigned int *)t7);
t27 = (t26 & t25);
t28 = (t27 != 0);
if (t28 > 0)
goto LAB7;
LAB8: t3 = (t1 + 10148);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = (t1 + 9872);
xsi_vlogvar_assign_value(t6, t5, 0, 0, 1);
LAB9: t0 = 0;
LAB1: return t0;
LAB5: *((unsigned int *)t7) = 1;
*((unsigned int *)t8) = 1;
goto LAB6;
LAB7: t29 = (t1 + 9964);
t30 = (t29 + 32U);
t31 = *((char **)t30);
t32 = (t1 + 9872);
xsi_vlogvar_assign_value(t32, t31, 0, 0, 1);
goto LAB9;
}
static int sp_defvecval(char *t1, char *t2)
{
char t7[8];
int t0;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
unsigned int t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
unsigned int t20;
unsigned int t21;
unsigned int t22;
char *t23;
unsigned int t24;
unsigned int t25;
unsigned int t26;
unsigned int t27;
unsigned int t28;
char *t29;
char *t30;
char *t31;
char *t32;
LAB0: t0 = 1;
LAB2: t3 = (t1 + 10424);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = ((char*)((ng2)));
memset(t7, 0, 8);
t8 = (t7 + 4U);
t9 = (t5 + 4U);
t10 = (t6 + 4U);
t11 = *((unsigned int *)t5);
t12 = *((unsigned int *)t6);
t13 = (t11 ^ t12);
t14 = *((unsigned int *)t9);
t15 = *((unsigned int *)t10);
t16 = (t14 ^ t15);
t17 = (t13 | t16);
t18 = *((unsigned int *)t9);
t19 = *((unsigned int *)t10);
t20 = (t18 | t19);
t21 = (~(t20));
t22 = (t17 & t21);
if (t22 != 0)
goto LAB6;
LAB3: if (t20 != 0)
goto LAB5;
LAB4: *((unsigned int *)t7) = 1;
LAB6: t23 = (t7 + 4U);
t24 = *((unsigned int *)t23);
t25 = (~(t24));
t26 = *((unsigned int *)t7);
t27 = (t26 & t25);
t28 = (t27 != 0);
if (t28 > 0)
goto LAB7;
LAB8: t3 = (t1 + 10516);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = (t1 + 10240);
xsi_vlogvar_assign_value(t6, t5, 0, 0, 12);
LAB9: t0 = 0;
LAB1: return t0;
LAB5: *((unsigned int *)t7) = 1;
*((unsigned int *)t8) = 1;
goto LAB6;
LAB7: t29 = (t1 + 10332);
t30 = (t29 + 32U);
t31 = *((char **)t30);
t32 = (t1 + 10240);
xsi_vlogvar_assign_value(t32, t31, 0, 0, 12);
goto LAB9;
}
static int sp_to_bits(char *t1, char *t2)
{
char t7[8];
char t17[8];
char t25[8];
char t27[8];
char t43[8];
char t58[8];
char t66[8];
char t68[8];
char t70[8];
char t86[8];
char t94[8];
char t126[8];
char t141[8];
char t149[8];
char t151[8];
char t153[8];
char t169[8];
char t177[8];
char t209[8];
char t224[8];
char t232[8];
char t234[8];
char t236[8];
char t252[8];
char t260[8];
char t292[8];
char t307[8];
char t315[8];
char t317[8];
char t319[8];
char t335[8];
char t343[8];
char t375[8];
char t390[8];
char t398[8];
char t400[8];
char t402[8];
char t418[8];
char t426[8];
char t458[8];
char t473[8];
char t481[8];
char t483[8];
char t485[8];
char t501[8];
char t509[8];
char t541[8];
char t556[8];
char t564[8];
char t566[8];
char t568[8];
char t584[8];
char t592[8];
char t624[8];
char t640[8];
char t641[8];
char t649[8];
char t689[16];
int t0;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
unsigned int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
char *t14;
char *t15;
char *t16;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t26;
char *t28;
char *t29;
char *t30;
unsigned int 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;
char *t44;
char *t45;
unsigned int t46;
unsigned int t47;
unsigned int t48;
unsigned int t49;
unsigned int t50;
char *t51;
unsigned int t52;
unsigned int t53;
unsigned int t54;
char *t55;
char *t56;
char *t57;
char *t59;
char *t60;
char *t61;
char *t62;
char *t63;
char *t64;
char *t65;
char *t67;
char *t69;
char *t71;
char *t72;
char *t73;
unsigned int t74;
unsigned int t75;
unsigned int t76;
unsigned int t77;
unsigned int t78;
unsigned int t79;
unsigned int t80;
unsigned int t81;
unsigned int t82;
unsigned int t83;
unsigned int t84;
unsigned int t85;
char *t87;
char *t88;
unsigned int t89;
unsigned int t90;
unsigned int t91;
unsigned int t92;
unsigned int t93;
unsigned int t95;
unsigned int t96;
unsigned int t97;
char *t98;
char *t99;
char *t100;
unsigned int t101;
unsigned int t102;
unsigned int t103;
unsigned int t104;
unsigned int t105;
unsigned int t106;
unsigned int t107;
char *t108;
char *t109;
unsigned int t110;
unsigned int t111;
unsigned int t112;
unsigned int t113;
unsigned int t114;
unsigned int t115;
unsigned int t116;
unsigned int t117;
int t118;
int t119;
unsigned int t120;
unsigned int t121;
unsigned int t122;
unsigned int t123;
unsigned int t124;
unsigned int t125;
char *t127;
char *t128;
unsigned int t129;
unsigned int t130;
unsigned int t131;
unsigned int t132;
unsigned int t133;
char *t134;
unsigned int t135;
unsigned int t136;
unsigned int t137;
char *t138;
char *t139;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -