yayHEADmaster

1 files changed, 201 insertions, 0 deletions

diff --git a/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_07373066261735772851_1207358656.c b/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_07373066261735772851_1207358656.c
new file mode 100644
index 0000000..c17904b
--- /dev/null
+++ b/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_07373066261735772851_1207358656.c
@@ -0,0 +1,201 @@
+/**********************************************************************/
+/*   ____  ____                                                       */
+/*  /   /\/   /                                                       */
+/* /___/  \  /                                                        */
+/* \   \   \/                                                       */
+/*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
+/*  /   /          All Right Reserved.                                 */
+/* /---/   /\                                                         */
+/* \   \  /  \                                                      */
+/*  \___\/\___\                                                    */
+/***********************************************************************/
+
+/* This file is designed for use with ISim build 0x8ddf5b5d */
+
+#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 = "/home/michael/Documents/School/EC311/lab5/TEST_DisplayController.v";
+static int ng1[] = {0, 0};
+static unsigned int ng2[] = {3U, 0U};
+static unsigned int ng3[] = {0U, 0U};
+static unsigned int ng4[] = {7U, 0U};
+static unsigned int ng5[] = {9U, 0U};
+static int ng6[] = {1, 0};
+
+
+
+static void Initial_51_0(char *t0)
+{
+    char t9[8];
+    char *t1;
+    char *t2;
+    char *t3;
+    unsigned int t4;
+    unsigned int t5;
+    unsigned int t6;
+    unsigned int t7;
+    unsigned int t8;
+    char *t10;
+    char *t11;
+    char *t12;
+    char *t13;
+    unsigned int t14;
+    unsigned int t15;
+    unsigned int t16;
+    unsigned int t17;
+    unsigned int t18;
+    char *t19;
+    char *t20;
+    char *t21;
+    unsigned int t22;
+    unsigned int t23;
+    unsigned int t24;
+    unsigned int t25;
+    unsigned int t26;
+    unsigned int t27;
+    unsigned int t28;
+    unsigned int t29;
+    char *t30;
+
+LAB0:    t1 = (t0 + 3320U);
+    t2 = *((char **)t1);
+    if (t2 == 0)
+        goto LAB2;
+
+LAB3:    goto *t2;
+
+LAB2:    xsi_set_current_line(51, ng0);
+
+LAB4:    xsi_set_current_line(53, ng0);
+    t2 = ((char*)((ng1)));
+    t3 = (t0 + 1608);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(54, ng0);
+    t2 = ((char*)((ng1)));
+    t3 = (t0 + 1768);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(55, ng0);
+    t2 = ((char*)((ng1)));
+    t3 = (t0 + 1928);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(56, ng0);
+    t2 = ((char*)((ng1)));
+    t3 = (t0 + 2088);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(57, ng0);
+    t2 = ((char*)((ng1)));
+    t3 = (t0 + 2248);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+    xsi_set_current_line(58, ng0);
+    t2 = ((char*)((ng1)));
+    t3 = (t0 + 2408);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+    xsi_set_current_line(61, ng0);
+    t2 = (t0 + 3128);
+    xsi_process_wait(t2, 100000LL);
+    *((char **)t1) = &&LAB5;
+
+LAB1:    return;
+LAB5:    xsi_set_current_line(62, ng0);
+    t2 = ((char*)((ng2)));
+    t3 = (t0 + 1608);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(63, ng0);
+    t2 = ((char*)((ng3)));
+    t3 = (t0 + 1768);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(64, ng0);
+    t2 = ((char*)((ng4)));
+    t3 = (t0 + 1928);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(65, ng0);
+    t2 = ((char*)((ng5)));
+    t3 = (t0 + 2088);
+    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
+    xsi_set_current_line(66, ng0);
+
+LAB6:    t2 = ((char*)((ng6)));
+    t3 = (t2 + 4);
+    t4 = *((unsigned int *)t3);
+    t5 = (~(t4));
+    t6 = *((unsigned int *)t2);
+    t7 = (t6 & t5);
+    t8 = (t7 != 0);
+    if (t8 > 0)
+        goto LAB7;
+
+LAB8:    goto LAB1;
+
+LAB7:    xsi_set_current_line(66, ng0);
+
+LAB9:    xsi_set_current_line(67, ng0);
+    t10 = (t0 + 2248);
+    t11 = (t10 + 56U);
+    t12 = *((char **)t11);
+    memset(t9, 0, 8);
+    t13 = (t12 + 4);
+    t14 = *((unsigned int *)t13);
+    t15 = (~(t14));
+    t16 = *((unsigned int *)t12);
+    t17 = (t16 & t15);
+    t18 = (t17 & 1U);
+    if (t18 != 0)
+        goto LAB13;
+
+LAB11:    if (*((unsigned int *)t13) == 0)
+        goto LAB10;
+
+LAB12:    t19 = (t9 + 4);
+    *((unsigned int *)t9) = 1;
+    *((unsigned int *)t19) = 1;
+
+LAB13:    t20 = (t9 + 4);
+    t21 = (t12 + 4);
+    t22 = *((unsigned int *)t12);
+    t23 = (~(t22));
+    *((unsigned int *)t9) = t23;
+    *((unsigned int *)t20) = 0;
+    if (*((unsigned int *)t21) != 0)
+        goto LAB15;
+
+LAB14:    t28 = *((unsigned int *)t9);
+    *((unsigned int *)t9) = (t28 & 1U);
+    t29 = *((unsigned int *)t20);
+    *((unsigned int *)t20) = (t29 & 1U);
+    t30 = (t0 + 2248);
+    xsi_vlogvar_assign_value(t30, t9, 0, 0, 1);
+    xsi_set_current_line(67, ng0);
+    t2 = (t0 + 3128);
+    xsi_process_wait(t2, 1000LL);
+    *((char **)t1) = &&LAB16;
+    goto LAB1;
+
+LAB10:    *((unsigned int *)t9) = 1;
+    goto LAB13;
+
+LAB15:    t24 = *((unsigned int *)t9);
+    t25 = *((unsigned int *)t21);
+    *((unsigned int *)t9) = (t24 | t25);
+    t26 = *((unsigned int *)t20);
+    t27 = *((unsigned int *)t21);
+    *((unsigned int *)t20) = (t26 | t27);
+    goto LAB14;
+
+LAB16:    goto LAB6;
+
+}
+
+
+extern void work_m_07373066261735772851_1207358656_init()
+{
+	static char *pe[] = {(void *)Initial_51_0};
+	xsi_register_didat("work_m_07373066261735772851_1207358656", "isim/TEST_DisplayController_isim_beh.exe.sim/work/m_07373066261735772851_1207358656.didat");
+	xsi_register_executes(pe);
+}