summaryrefslogtreecommitdiff
path: root/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c')
-rw-r--r--isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c329
1 files changed, 329 insertions, 0 deletions
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c
new file mode 100644
index 0000000..b813dd5
--- /dev/null
+++ b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c
@@ -0,0 +1,329 @@
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ 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/lab4/TEST_Countdown.v";
+static int ng1[] = {0, 0};
+static int ng2[] = {218, 0};
+static int ng3[] = {255, 0};
+static int ng4[] = {10, 0};
+static int ng5[] = {1, 0};
+
+
+
+static void Initial_46_0(char *t0)
+{
+ char t6[8];
+ char *t1;
+ char *t2;
+ char *t3;
+ char *t4;
+ char *t5;
+ char *t7;
+ char *t8;
+ char *t9;
+ char *t10;
+ unsigned int t11;
+ unsigned int t12;
+ unsigned int t13;
+ unsigned int t14;
+ unsigned int t15;
+ char *t16;
+ unsigned int t17;
+ unsigned int t18;
+ unsigned int t19;
+ unsigned int t20;
+ unsigned int t21;
+ unsigned int t22;
+ unsigned int t23;
+ unsigned int t24;
+ unsigned int t25;
+ unsigned int t26;
+ unsigned int t27;
+ unsigned int t28;
+ char *t29;
+
+LAB0: t1 = (t0 + 3000U);
+ t2 = *((char **)t1);
+ if (t2 == 0)
+ goto LAB2;
+
+LAB3: goto *t2;
+
+LAB2: xsi_set_current_line(46, ng0);
+
+LAB4: xsi_set_current_line(48, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1448);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+ xsi_set_current_line(49, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1608);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+ xsi_set_current_line(50, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+ xsi_set_current_line(51, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
+ xsi_set_current_line(54, ng0);
+ t2 = (t0 + 2808);
+ xsi_process_wait(t2, 50000LL);
+ *((char **)t1) = &&LAB5;
+
+LAB1: return;
+LAB5: xsi_set_current_line(58, ng0);
+ t2 = ((char*)((ng2)));
+ t3 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
+ xsi_set_current_line(58, ng0);
+ t2 = (t0 + 2808);
+ xsi_process_wait(t2, 50000LL);
+ *((char **)t1) = &&LAB6;
+ goto LAB1;
+
+LAB6: xsi_set_current_line(60, ng0);
+ xsi_set_current_line(60, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);
+
+LAB7: t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ t5 = ((char*)((ng3)));
+ memset(t6, 0, 8);
+ t7 = (t4 + 4);
+ if (*((unsigned int *)t7) != 0)
+ goto LAB9;
+
+LAB8: t8 = (t5 + 4);
+ if (*((unsigned int *)t8) != 0)
+ goto LAB9;
+
+LAB12: if (*((unsigned int *)t4) < *((unsigned int *)t5))
+ goto LAB10;
+
+LAB11: t10 = (t6 + 4);
+ t11 = *((unsigned int *)t10);
+ t12 = (~(t11));
+ t13 = *((unsigned int *)t6);
+ t14 = (t13 & t12);
+ t15 = (t14 != 0);
+ if (t15 > 0)
+ goto LAB13;
+
+LAB14: goto LAB1;
+
+LAB9: t9 = (t6 + 4);
+ *((unsigned int *)t6) = 1;
+ *((unsigned int *)t9) = 1;
+ goto LAB11;
+
+LAB10: *((unsigned int *)t6) = 1;
+ goto LAB11;
+
+LAB13: xsi_set_current_line(60, ng0);
+
+LAB15: xsi_set_current_line(61, ng0);
+ t16 = (t0 + 2808);
+ xsi_process_wait(t16, 5000LL);
+ *((char **)t1) = &&LAB16;
+ goto LAB1;
+
+LAB16: xsi_set_current_line(61, ng0);
+ t2 = (t0 + 1448);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ memset(t6, 0, 8);
+ t5 = (t4 + 4);
+ t11 = *((unsigned int *)t5);
+ t12 = (~(t11));
+ t13 = *((unsigned int *)t4);
+ t14 = (t13 & t12);
+ t15 = (t14 & 1U);
+ if (t15 != 0)
+ goto LAB20;
+
+LAB18: if (*((unsigned int *)t5) == 0)
+ goto LAB17;
+
+LAB19: t7 = (t6 + 4);
+ *((unsigned int *)t6) = 1;
+ *((unsigned int *)t7) = 1;
+
+LAB20: t8 = (t6 + 4);
+ t9 = (t4 + 4);
+ t17 = *((unsigned int *)t4);
+ t18 = (~(t17));
+ *((unsigned int *)t6) = t18;
+ *((unsigned int *)t8) = 0;
+ if (*((unsigned int *)t9) != 0)
+ goto LAB22;
+
+LAB21: t23 = *((unsigned int *)t6);
+ *((unsigned int *)t6) = (t23 & 1U);
+ t24 = *((unsigned int *)t8);
+ *((unsigned int *)t8) = (t24 & 1U);
+ t10 = (t0 + 1448);
+ xsi_vlogvar_assign_value(t10, t6, 0, 0, 1);
+ xsi_set_current_line(62, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ t5 = ((char*)((ng4)));
+ memset(t6, 0, 8);
+ t7 = (t4 + 4);
+ t8 = (t5 + 4);
+ t11 = *((unsigned int *)t4);
+ t12 = *((unsigned int *)t5);
+ t13 = (t11 ^ t12);
+ t14 = *((unsigned int *)t7);
+ t15 = *((unsigned int *)t8);
+ t17 = (t14 ^ t15);
+ t18 = (t13 | t17);
+ t19 = *((unsigned int *)t7);
+ t20 = *((unsigned int *)t8);
+ t21 = (t19 | t20);
+ t22 = (~(t21));
+ t23 = (t18 & t22);
+ if (t23 != 0)
+ goto LAB26;
+
+LAB23: if (t21 != 0)
+ goto LAB25;
+
+LAB24: *((unsigned int *)t6) = 1;
+
+LAB26: t10 = (t6 + 4);
+ t24 = *((unsigned int *)t10);
+ t25 = (~(t24));
+ t26 = *((unsigned int *)t6);
+ t27 = (t26 & t25);
+ t28 = (t27 != 0);
+ if (t28 > 0)
+ goto LAB27;
+
+LAB28:
+LAB29: xsi_set_current_line(60, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ t5 = ((char*)((ng5)));
+ memset(t6, 0, 8);
+ xsi_vlog_unsigned_add(t6, 32, t4, 8, t5, 32);
+ t7 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t7, t6, 0, 0, 8);
+ goto LAB7;
+
+LAB17: *((unsigned int *)t6) = 1;
+ goto LAB20;
+
+LAB22: t19 = *((unsigned int *)t6);
+ t20 = *((unsigned int *)t9);
+ *((unsigned int *)t6) = (t19 | t20);
+ t21 = *((unsigned int *)t8);
+ t22 = *((unsigned int *)t9);
+ *((unsigned int *)t8) = (t21 | t22);
+ goto LAB21;
+
+LAB25: t9 = (t6 + 4);
+ *((unsigned int *)t6) = 1;
+ *((unsigned int *)t9) = 1;
+ goto LAB26;
+
+LAB27: xsi_set_current_line(62, ng0);
+
+LAB30: xsi_set_current_line(63, ng0);
+ t16 = ((char*)((ng5)));
+ t29 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t29, t16, 0, 0, 1);
+ xsi_set_current_line(63, ng0);
+ t2 = (t0 + 2808);
+ xsi_process_wait(t2, 5000LL);
+ *((char **)t1) = &&LAB31;
+ goto LAB1;
+
+LAB31: xsi_set_current_line(63, ng0);
+ t2 = (t0 + 1448);
+ t3 = (t2 + 56U);
+ t4 = *((char **)t3);
+ memset(t6, 0, 8);
+ t5 = (t4 + 4);
+ t11 = *((unsigned int *)t5);
+ t12 = (~(t11));
+ t13 = *((unsigned int *)t4);
+ t14 = (t13 & t12);
+ t15 = (t14 & 1U);
+ if (t15 != 0)
+ goto LAB35;
+
+LAB33: if (*((unsigned int *)t5) == 0)
+ goto LAB32;
+
+LAB34: t7 = (t6 + 4);
+ *((unsigned int *)t6) = 1;
+ *((unsigned int *)t7) = 1;
+
+LAB35: t8 = (t6 + 4);
+ t9 = (t4 + 4);
+ t17 = *((unsigned int *)t4);
+ t18 = (~(t17));
+ *((unsigned int *)t6) = t18;
+ *((unsigned int *)t8) = 0;
+ if (*((unsigned int *)t9) != 0)
+ goto LAB37;
+
+LAB36: t23 = *((unsigned int *)t6);
+ *((unsigned int *)t6) = (t23 & 1U);
+ t24 = *((unsigned int *)t8);
+ *((unsigned int *)t8) = (t24 & 1U);
+ t10 = (t0 + 1448);
+ xsi_vlogvar_assign_value(t10, t6, 0, 0, 1);
+ xsi_set_current_line(63, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
+ goto LAB29;
+
+LAB32: *((unsigned int *)t6) = 1;
+ goto LAB35;
+
+LAB37: t19 = *((unsigned int *)t6);
+ t20 = *((unsigned int *)t9);
+ *((unsigned int *)t6) = (t19 | t20);
+ t21 = *((unsigned int *)t8);
+ t22 = *((unsigned int *)t9);
+ *((unsigned int *)t8) = (t21 | t22);
+ goto LAB36;
+
+}
+
+
+extern void work_m_01236816096418509971_3448823162_init()
+{
+ static char *pe[] = {(void *)Initial_46_0};
+ xsi_register_didat("work_m_01236816096418509971_3448823162", "isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.didat");
+ xsi_register_executes(pe);
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-05 22:05:26 +0000