📄 m_00000000000897309440_3896706836.c
字号:
/**********************************************************************/
/* ____ ____ */
/* / /\/ / */
/* /___/ \ / */
/* \ \ \/ */
/* \ \ 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/uart_rx_ctl.v";
static unsigned int ng1[] = {0U, 0U};
static unsigned int ng2[] = {1U, 0U};
static unsigned int ng3[] = {2U, 0U};
static unsigned int ng4[] = {3U, 0U};
static unsigned int ng5[] = {7U, 0U};
static unsigned int ng6[] = {15U, 0U};
static void Always_99_0(char *t0)
{
char t14[8];
char t31[8];
char t32[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
int t13;
char *t15;
char *t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
unsigned int t20;
unsigned int t21;
char *t22;
char *t23;
unsigned int t24;
unsigned int t25;
unsigned int t26;
unsigned int t27;
unsigned int t28;
char *t29;
char *t30;
unsigned int t33;
unsigned int t34;
unsigned int t35;
unsigned int t36;
unsigned int t37;
unsigned int t38;
unsigned int t39;
unsigned int t40;
char *t41;
char *t42;
unsigned int t43;
unsigned int t44;
unsigned int t45;
unsigned int t46;
unsigned int t47;
unsigned int t48;
unsigned int t49;
unsigned int t50;
int t51;
int t52;
unsigned int t53;
unsigned int t54;
unsigned int t55;
unsigned int t56;
unsigned int t57;
unsigned int t58;
char *t59;
unsigned int t60;
unsigned int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
char *t65;
char *t66;
LAB0: t1 = (t0 + 4512U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(99, ng0);
t2 = (t0 + 6320);
*((int *)t2) = 1;
t3 = (t0 + 4544);
*((char **)t3) = t2;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: xsi_set_current_line(100, ng0);
LAB5: xsi_set_current_line(101, ng0);
t4 = (t0 + 1752U);
t5 = *((char **)t4);
t4 = (t5 + 4);
t6 = *((unsigned int *)t4);
t7 = (~(t6));
t8 = *((unsigned int *)t5);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB6;
LAB7: xsi_set_current_line(106, ng0);
LAB10: xsi_set_current_line(107, ng0);
t2 = (t0 + 1912U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t6 = *((unsigned int *)t2);
t7 = (~(t6));
t8 = *((unsigned int *)t3);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB11;
LAB12:
LAB13:
LAB8: goto LAB2;
LAB6: xsi_set_current_line(102, ng0);
LAB9: xsi_set_current_line(103, ng0);
t11 = ((char*)((ng1)));
t12 = (t0 + 3272);
xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 2, 0LL);
goto LAB8;
LAB11: xsi_set_current_line(108, ng0);
LAB14: xsi_set_current_line(109, ng0);
t4 = (t0 + 3272);
t5 = (t4 + 56U);
t11 = *((char **)t5);
LAB15: t12 = ((char*)((ng1)));
t13 = xsi_vlog_unsigned_case_compare(t11, 2, t12, 2);
if (t13 == 1)
goto LAB16;
LAB17: t2 = ((char*)((ng2)));
t13 = xsi_vlog_unsigned_case_compare(t11, 2, t2, 2);
if (t13 == 1)
goto LAB18;
LAB19: t2 = ((char*)((ng3)));
t13 = xsi_vlog_unsigned_case_compare(t11, 2, t2, 2);
if (t13 == 1)
goto LAB20;
LAB21: t2 = ((char*)((ng4)));
t13 = xsi_vlog_unsigned_case_compare(t11, 2, t2, 2);
if (t13 == 1)
goto LAB22;
LAB23:
LAB24: goto LAB13;
LAB16: xsi_set_current_line(110, ng0);
LAB25: xsi_set_current_line(113, ng0);
t15 = (t0 + 2072U);
t16 = *((char **)t15);
memset(t14, 0, 8);
t15 = (t16 + 4);
t17 = *((unsigned int *)t15);
t18 = (~(t17));
t19 = *((unsigned int *)t16);
t20 = (t19 & t18);
t21 = (t20 & 1U);
if (t21 != 0)
goto LAB29;
LAB27: if (*((unsigned int *)t15) == 0)
goto LAB26;
LAB28: t22 = (t14 + 4);
*((unsigned int *)t14) = 1;
*((unsigned int *)t22) = 1;
LAB29: t23 = (t14 + 4);
t24 = *((unsigned int *)t23);
t25 = (~(t24));
t26 = *((unsigned int *)t14);
t27 = (t26 & t25);
t28 = (t27 != 0);
if (t28 > 0)
goto LAB30;
LAB31:
LAB32: goto LAB24;
LAB18: xsi_set_current_line(119, ng0);
LAB34: xsi_set_current_line(121, ng0);
t3 = (t0 + 2232U);
t4 = *((char **)t3);
t3 = (t4 + 4);
t6 = *((unsigned int *)t3);
t7 = (~(t6));
t8 = *((unsigned int *)t4);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB35;
LAB36:
LAB37: goto LAB24;
LAB20: xsi_set_current_line(136, ng0);
LAB48: xsi_set_current_line(138, ng0);
t3 = (t0 + 2232U);
t4 = *((char **)t3);
memset(t14, 0, 8);
t3 = (t4 + 4);
t6 = *((unsigned int *)t3);
t7 = (~(t6));
t8 = *((unsigned int *)t4);
t9 = (t8 & t7);
t10 = (t9 & 1U);
if (t10 != 0)
goto LAB49;
LAB50: if (*((unsigned int *)t3) != 0)
goto LAB51;
LAB52: t12 = (t14 + 4);
t17 = *((unsigned int *)t14);
t18 = *((unsigned int *)t12);
t19 = (t17 || t18);
if (t19 > 0)
goto LAB53;
LAB54: memcpy(t32, t14, 8);
LAB55: t59 = (t32 + 4);
t60 = *((unsigned int *)t59);
t61 = (~(t60));
t62 = *((unsigned int *)t32);
t63 = (t62 & t61);
t64 = (t63 != 0);
if (t64 > 0)
goto LAB63;
LAB64:
LAB65: goto LAB24;
LAB22: xsi_set_current_line(144, ng0);
LAB67: xsi_set_current_line(146, ng0);
t3 = (t0 + 2232U);
t4 = *((char **)t3);
t3 = (t4 + 4);
t6 = *((unsigned int *)t3);
t7 = (~(t6));
t8 = *((unsigned int *)t4);
t9 = (t8 & t7);
t10 = (t9 != 0);
if (t10 > 0)
goto LAB68;
LAB69:
LAB70: goto LAB24;
LAB26: *((unsigned int *)t14) = 1;
goto LAB29;
LAB30: xsi_set_current_line(114, ng0);
LAB33: xsi_set_current_line(115, ng0);
t29 = ((char*)((ng2)));
t30 = (t0 + 3272);
xsi_vlogvar_wait_assign_value(t30, t29, 0, 0, 2, 0LL);
goto LAB32;
LAB35: xsi_set_current_line(122, ng0);
LAB38: xsi_set_current_line(123, ng0);
t5 = (t0 + 2072U);
t12 = *((char **)t5);
memset(t14, 0, 8);
t5 = (t12 + 4);
t17 = *((unsigned int *)t5);
t18 = (~(t17));
t19 = *((unsigned int *)t12);
t20 = (t19 & t18);
t21 = (t20 & 1U);
if (t21 != 0)
goto LAB42;
LAB40: if (*((unsigned int *)t5) == 0)
goto LAB39;
LAB41: t15 = (t14 + 4);
*((unsigned int *)t14) = 1;
*((unsigned int *)t15) = 1;
LAB42: t16 = (t14 + 4);
t24 = *((unsigned int *)t16);
t25 = (~(t24));
t26 = *((unsigned int *)t14);
t27 = (t26 & t25);
t28 = (t27 != 0);
if (t28 > 0)
goto LAB43;
LAB44: xsi_set_current_line(129, ng0);
LAB47: xsi_set_current_line(131, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 3272);
xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL);
LAB45: goto LAB37;
LAB39: *((unsigned int *)t14) = 1;
goto LAB42;
LAB43: xsi_set_current_line(124, ng0);
LAB46: xsi_set_current_line(126, ng0);
t22 = ((char*)((ng3)));
t23 = (t0 + 3272);
xsi_vlogvar_wait_assign_value(t23, t22, 0, 0, 2, 0LL);
goto LAB45;
LAB49: *((unsigned int *)t14) = 1;
goto LAB52;
LAB51: t5 = (t14 + 4);
*((unsigned int *)t14) = 1;
*((unsigned int *)t5) = 1;
goto LAB52;
LAB53: t15 = (t0 + 2392U);
t16 = *((char **)t15);
memset(t31, 0, 8);
t15 = (t16 + 4);
t20 = *((unsigned int *)t15);
t21 = (~(t20));
t24 = *((unsigned int *)t16);
t25 = (t24 & t21);
t26 = (t25 & 1U);
if (t26 != 0)
goto LAB56;
LAB57: if (*((unsigned int *)t15) != 0)
goto LAB58;
LAB59: t27 = *((unsigned int *)t14);
t28 = *((unsigned int *)t31);
t33 = (t27 & t28);
*((unsigned int *)t32) = t33;
t23 = (t14 + 4);
t29 = (t31 + 4);
t30 = (t32 + 4);
t34 = *((unsigned int *)t23);
t35 = *((unsigned int *)t29);
t36 = (t34 | t35);
*((unsigned int *)t30) = t36;
t37 = *((unsigned int *)t30);
t38 = (t37 != 0);
if (t38 == 1)
goto LAB60;
LAB61:
LAB62: goto LAB55;
LAB56: *((unsigned int *)t31) = 1;
goto LAB59;
LAB58: t22 = (t31 + 4);
*((unsigned int *)t31) = 1;
*((unsigned int *)t22) = 1;
goto LAB59;
LAB60: t39 = *((unsigned int *)t32);
t40 = *((unsigned int *)t30);
*((unsigned int *)t32) = (t39 | t40);
t41 = (t14 + 4);
t42 = (t31 + 4);
t43 = *((unsigned int *)t14);
t44 = (~(t43));
t45 = *((unsigned int *)t41);
t46 = (~(t45));
t47 = *((unsigned int *)t31);
t48 = (~(t47));
t49 = *((unsigned int *)t42);
t50 = (~(t49));
t51 = (t44 & t46);
t52 = (t48 & t50);
t53 = (~(t51));
t54 = (~(t52));
t55 = *((unsigned int *)t30);
*((unsigned int *)t30) = (t55 & t53);
t56 = *((unsigned int *)t30);
*((unsigned int *)t30) = (t56 & t54);
t57 = *((unsigned int *)t32);
*((unsigned int *)t32) = (t57 & t53);
t58 = *((unsigned int *)t32);
*((unsigned int *)t32) = (t58 & t54);
goto LAB62;
LAB63: xsi_set_current_line(139, ng0);
LAB66: xsi_set_current_line(140, ng0);
t65 = ((char*)((ng4)));
t66 = (t0 + 3272);
xsi_vlogvar_wait_assign_value(t66, t65, 0, 0, 2, 0LL);
goto LAB65;
LAB68: xsi_set_current_line(147, ng0);
LAB71: xsi_set_current_line(148, ng0);
t5 = ((char*)((ng1)));
t12 = (t0 + 3272);
xsi_vlogvar_wait_assign_value(t12, t5, 0, 0, 2, 0LL);
goto LAB70;
}
static void Always_161_1(char *t0)
{
char t13[8];
char t28[8];
char t35[8];
char t43[8];
char t51[8];
char t91[8];
char t100[8];
char t116[8];
char t124[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned int t6;
unsigned int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t11;
char *t12;
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;
unsigned int t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t29;
unsigned int t30;
unsigned int t31;
unsigned int t32;
unsigned int t33;
unsigned int t34;
char *t36;
unsigned int t37;
unsigned int t38;
unsigned int t39;
unsigned int t40;
unsigned int t41;
char *t42;
char *t44;
unsigned int t45;
unsigned int t46;
unsigned int t47;
unsigned int t48;
unsigned int t49;
char *t50;
unsigned int t52;
unsigned int t53;
unsigned int t54;
char *t55;
char *t56;
char *t57;
unsigned int t58;
unsigned int t59;
unsigned int t60;
unsigned int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
char *t65;
char *t66;
unsigned int t67;
unsigned int t68;
unsigned int t69;
unsigned int t70;
unsigned int t71;
unsigned int t72;
unsigned int t73;
unsigned int t74;
int t75;
int t76;
unsigned int t77;
unsigned int t78;
unsigned int t79;
unsigned int t80;
unsigned int t81;
unsigned int t82;
char *t83;
unsigned int t84;
unsigned int t85;
unsigned int t86;
unsigned int t87;
unsigned int t88;
char *t89;
char *t90;
unsigned int t92;
unsigned int t93;
unsigned int t94;
unsigned int t95;
char *t96;
char *t97;
char *t98;
char *t99;
char *t101;
char *t102;
unsigned int t103;
unsigned int t104;
unsigned int t105;
unsigned int t106;
unsigned int t107;
unsigned int t108;
unsigned int t109;
unsigned int t110;
unsigned int t111;
unsigned int t112;
unsigned int t113;
unsigned int t114;
char *t115;
char *t117;
unsigned int t118;
unsigned int t119;
unsigned int t120;
unsigned int t121;
unsigned int t122;
char *t123;
unsigned int t125;
unsigned int t126;
unsigned int t127;
char *t128;
char *t129;
char *t130;
unsigned int t131;
unsigned int t132;
unsigned int t133;
unsigned int t134;
unsigned int t135;
unsigned int t136;
unsigned int t137;
char *t138;
char *t139;
unsigned int t140;
unsigned int t141;
unsigned int t142;
int t143;
unsigned int t144;
unsigned int t145;
unsigned int t146;
int t147;
unsigned int t148;
unsigned int t149;
unsigned int t150;
unsigned int t151;
char *t152;
unsigned int t153;
unsigned int t154;
unsigned int t155;
unsigned int t156;
unsigned int t157;
char *t158;
char *t159;
LAB0: t1 = (t0 + 4760U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(161, ng0);
t2 = (t0 + 6336);
*((int *)t2) = 1;
t3 = (t0 + 4792);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -