summaryrefslogtreecommitdiff
path: root/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c')
-rw-r--r--isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c274
1 files changed, 274 insertions, 0 deletions
diff --git a/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c b/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c
new file mode 100644
index 0000000..7788485
--- /dev/null
+++ b/isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c
@@ -0,0 +1,274 @@
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ 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/ClockDivider.v";
+static int ng1[] = {1, 0};
+static int ng2[] = {0, 0};
+static unsigned int ng3[] = {1U, 0U};
+
+
+
+static void Always_31_0(char *t0)
+{
+ char t6[8];
+ char t30[8];
+ char *t1;
+ char *t2;
+ char *t3;
+ char *t4;
+ char *t5;
+ char *t7;
+ char *t8;
+ unsigned int t9;
+ unsigned int 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;
+ char *t21;
+ char *t22;
+ unsigned int t23;
+ unsigned int t24;
+ unsigned int t25;
+ unsigned int t26;
+ unsigned int t27;
+ char *t28;
+ char *t29;
+ char *t31;
+ char *t32;
+ unsigned int t33;
+ unsigned int t34;
+ unsigned int t35;
+ unsigned int t36;
+ unsigned int t37;
+ char *t38;
+ char *t39;
+ char *t40;
+ unsigned int t41;
+ unsigned int t42;
+ unsigned int t43;
+ unsigned int t44;
+ unsigned int t45;
+ unsigned int t46;
+ unsigned int t47;
+ unsigned int t48;
+ char *t49;
+
+LAB0: t1 = (t0 + 2840U);
+ t2 = *((char **)t1);
+ if (t2 == 0)
+ goto LAB2;
+
+LAB3: goto *t2;
+
+LAB2: xsi_set_current_line(31, ng0);
+ t2 = (t0 + 3160);
+ *((int *)t2) = 1;
+ t3 = (t0 + 2872);
+ *((char **)t3) = t2;
+ *((char **)t1) = &&LAB4;
+
+LAB1: return;
+LAB4: xsi_set_current_line(31, ng0);
+
+LAB5: xsi_set_current_line(32, ng0);
+ t4 = (t0 + 1208U);
+ t5 = *((char **)t4);
+ t4 = ((char*)((ng1)));
+ memset(t6, 0, 8);
+ t7 = (t5 + 4);
+ t8 = (t4 + 4);
+ t9 = *((unsigned int *)t5);
+ t10 = *((unsigned int *)t4);
+ t11 = (t9 ^ t10);
+ t12 = *((unsigned int *)t7);
+ t13 = *((unsigned int *)t8);
+ t14 = (t12 ^ t13);
+ t15 = (t11 | t14);
+ t16 = *((unsigned int *)t7);
+ t17 = *((unsigned int *)t8);
+ t18 = (t16 | t17);
+ t19 = (~(t18));
+ t20 = (t15 & t19);
+ if (t20 != 0)
+ goto LAB9;
+
+LAB6: if (t18 != 0)
+ goto LAB8;
+
+LAB7: *((unsigned int *)t6) = 1;
+
+LAB9: t22 = (t6 + 4);
+ t23 = *((unsigned int *)t22);
+ t24 = (~(t23));
+ t25 = *((unsigned int *)t6);
+ t26 = (t25 & t24);
+ t27 = (t26 != 0);
+ if (t27 > 0)
+ goto LAB10;
+
+LAB11: xsi_set_current_line(35, ng0);
+ t2 = (t0 + 1928);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ t5 = (t0 + 1368U);
+ t7 = *((char **)t5);
+ memset(t6, 0, 8);
+ t5 = (t4 + 4);
+ t8 = (t7 + 4);
+ t9 = *((unsigned int *)t4);
+ t10 = *((unsigned int *)t7);
+ t11 = (t9 ^ t10);
+ t12 = *((unsigned int *)t5);
+ t13 = *((unsigned int *)t8);
+ t14 = (t12 ^ t13);
+ t15 = (t11 | t14);
+ t16 = *((unsigned int *)t5);
+ t17 = *((unsigned int *)t8);
+ t18 = (t16 | t17);
+ t19 = (~(t18));
+ t20 = (t15 & t19);
+ if (t20 != 0)
+ goto LAB17;
+
+LAB14: if (t18 != 0)
+ goto LAB16;
+
+LAB15: *((unsigned int *)t6) = 1;
+
+LAB17: t22 = (t6 + 4);
+ t23 = *((unsigned int *)t22);
+ t24 = (~(t23));
+ t25 = *((unsigned int *)t6);
+ t26 = (t25 & t24);
+ t27 = (t26 != 0);
+ if (t27 > 0)
+ goto LAB18;
+
+LAB19: xsi_set_current_line(38, ng0);
+
+LAB28: xsi_set_current_line(39, ng0);
+ t2 = (t0 + 1928);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ t5 = ((char*)((ng3)));
+ memset(t6, 0, 8);
+ xsi_vlog_unsigned_add(t6, 24, t4, 24, t5, 24);
+ t7 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t7, t6, 0, 0, 24);
+
+LAB20:
+LAB12: goto LAB2;
+
+LAB8: t21 = (t6 + 4);
+ *((unsigned int *)t6) = 1;
+ *((unsigned int *)t21) = 1;
+ goto LAB9;
+
+LAB10: xsi_set_current_line(32, ng0);
+
+LAB13: xsi_set_current_line(33, ng0);
+ t28 = ((char*)((ng2)));
+ t29 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t29, t28, 0, 0, 24);
+ xsi_set_current_line(34, ng0);
+ t2 = ((char*)((ng2)));
+ t3 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+ goto LAB12;
+
+LAB16: t21 = (t6 + 4);
+ *((unsigned int *)t6) = 1;
+ *((unsigned int *)t21) = 1;
+ goto LAB17;
+
+LAB18: xsi_set_current_line(35, ng0);
+
+LAB21: xsi_set_current_line(36, ng0);
+ t28 = (t0 + 1768);
+ t29 = (t28 + 56U);
+ t31 = *((char **)t29);
+ memset(t30, 0, 8);
+ t32 = (t31 + 4);
+ t33 = *((unsigned int *)t32);
+ t34 = (~(t33));
+ t35 = *((unsigned int *)t31);
+ t36 = (t35 & t34);
+ t37 = (t36 & 1U);
+ if (t37 != 0)
+ goto LAB25;
+
+LAB23: if (*((unsigned int *)t32) == 0)
+ goto LAB22;
+
+LAB24: t38 = (t30 + 4);
+ *((unsigned int *)t30) = 1;
+ *((unsigned int *)t38) = 1;
+
+LAB25: t39 = (t30 + 4);
+ t40 = (t31 + 4);
+ t41 = *((unsigned int *)t31);
+ t42 = (~(t41));
+ *((unsigned int *)t30) = t42;
+ *((unsigned int *)t39) = 0;
+ if (*((unsigned int *)t40) != 0)
+ goto LAB27;
+
+LAB26: t47 = *((unsigned int *)t30);
+ *((unsigned int *)t30) = (t47 & 1U);
+ t48 = *((unsigned int *)t39);
+ *((unsigned int *)t39) = (t48 & 1U);
+ t49 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t49, t30, 0, 0, 1);
+ xsi_set_current_line(37, ng0);
+ t2 = ((char*)((ng2)));
+ t3 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 24);
+ goto LAB20;
+
+LAB22: *((unsigned int *)t30) = 1;
+ goto LAB25;
+
+LAB27: t43 = *((unsigned int *)t30);
+ t44 = *((unsigned int *)t40);
+ *((unsigned int *)t30) = (t43 | t44);
+ t45 = *((unsigned int *)t39);
+ t46 = *((unsigned int *)t40);
+ *((unsigned int *)t39) = (t45 | t46);
+ goto LAB26;
+
+}
+
+
+extern void work_m_09461933616065074075_2531671071_init()
+{
+ static char *pe[] = {(void *)Always_31_0};
+ xsi_register_didat("work_m_09461933616065074075_2531671071", "isim/TEST_DisplayController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat");
+ xsi_register_executes(pe);
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 06:09:54 +0000