summaryrefslogtreecommitdiff
path: root/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c')
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c538
1 files changed, 538 insertions, 0 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c
new file mode 100644
index 0000000..dd4c38d
--- /dev/null
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c
@@ -0,0 +1,538 @@
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ 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/BCD2Bin.v";
+static int ng1[] = {0, 0};
+static int ng2[] = {7, 0};
+static int ng3[] = {1, 0};
+static int ng4[] = {5, 0};
+static int ng5[] = {3, 0};
+static int ng6[] = {19, 0};
+static int ng7[] = {16, 0};
+static int ng8[] = {15, 0};
+static int ng9[] = {12, 0};
+static int ng10[] = {11, 0};
+static int ng11[] = {8, 0};
+
+
+
+static void Always_33_0(char *t0)
+{
+ char t4[8];
+ char t20[8];
+ char t28[8];
+ char t38[8];
+ char t40[8];
+ char t41[8];
+ char t42[8];
+ char *t1;
+ char *t2;
+ char *t3;
+ char *t5;
+ char *t6;
+ char *t7;
+ char *t8;
+ char *t9;
+ char *t10;
+ char *t11;
+ unsigned int t12;
+ unsigned int t13;
+ unsigned int t14;
+ unsigned int t15;
+ unsigned int t16;
+ char *t17;
+ char *t18;
+ char *t19;
+ char *t21;
+ unsigned int t22;
+ unsigned int t23;
+ unsigned int t24;
+ unsigned int t25;
+ unsigned int t26;
+ unsigned int t27;
+ char *t29;
+ char *t30;
+ unsigned int t31;
+ unsigned int t32;
+ unsigned int t33;
+ unsigned int t34;
+ unsigned int t35;
+ unsigned int t36;
+ char *t37;
+ char *t39;
+ char *t43;
+ char *t44;
+ char *t45;
+ char *t46;
+ char *t47;
+ char *t48;
+ unsigned int t49;
+ int t50;
+ char *t51;
+ unsigned int t52;
+ int t53;
+ int t54;
+ char *t55;
+ unsigned int t56;
+ int t57;
+ int t58;
+ unsigned int t59;
+ int t60;
+ unsigned int t61;
+ unsigned int t62;
+ int t63;
+ int t64;
+
+LAB0: t1 = (t0 + 3000U);
+ t2 = *((char **)t1);
+ if (t2 == 0)
+ goto LAB2;
+
+LAB3: goto *t2;
+
+LAB2: xsi_set_current_line(33, ng0);
+ t2 = (t0 + 3320);
+ *((int *)t2) = 1;
+ t3 = (t0 + 3032);
+ *((char **)t3) = t2;
+ *((char **)t1) = &&LAB4;
+
+LAB1: return;
+LAB4: xsi_set_current_line(33, ng0);
+
+LAB5: xsi_set_current_line(35, ng0);
+ t5 = (t0 + 1768);
+ t6 = (t5 + 56U);
+ t7 = *((char **)t6);
+ t8 = (t0 + 1368U);
+ t9 = *((char **)t8);
+ t8 = (t0 + 1208U);
+ t10 = *((char **)t8);
+ t8 = (t0 + 1048U);
+ t11 = *((char **)t8);
+ xsi_vlogtype_concat(t4, 20, 20, 4U, t11, 4, t10, 4, t9, 4, t7, 8);
+ t8 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t8, t4, 0, 0, 20);
+ xsi_set_current_line(39, ng0);
+ xsi_set_current_line(39, ng0);
+ t2 = ((char*)((ng1)));
+ t3 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t3, t2, 0, 0, 3);
+
+LAB6: t2 = (t0 + 1928);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ t6 = ((char*)((ng2)));
+ memset(t4, 0, 8);
+ t7 = (t5 + 4);
+ if (*((unsigned int *)t7) != 0)
+ goto LAB8;
+
+LAB7: t8 = (t6 + 4);
+ if (*((unsigned int *)t8) != 0)
+ goto LAB8;
+
+LAB11: if (*((unsigned int *)t5) < *((unsigned int *)t6))
+ goto LAB9;
+
+LAB10: t10 = (t4 + 4);
+ t12 = *((unsigned int *)t10);
+ t13 = (~(t12));
+ t14 = *((unsigned int *)t4);
+ t15 = (t14 & t13);
+ t16 = (t15 != 0);
+ if (t16 > 0)
+ goto LAB12;
+
+LAB13: xsi_set_current_line(52, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ t6 = ((char*)((ng3)));
+ memset(t4, 0, 8);
+ xsi_vlog_unsigned_rshift(t4, 20, t5, 20, t6, 32);
+ t7 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t7, t4, 0, 0, 20);
+ xsi_set_current_line(54, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ memset(t4, 0, 8);
+ t6 = (t4 + 4);
+ t7 = (t5 + 4);
+ t12 = *((unsigned int *)t5);
+ t13 = (t12 >> 0);
+ *((unsigned int *)t4) = t13;
+ t14 = *((unsigned int *)t7);
+ t15 = (t14 >> 0);
+ *((unsigned int *)t6) = t15;
+ t16 = *((unsigned int *)t4);
+ *((unsigned int *)t4) = (t16 & 255U);
+ t22 = *((unsigned int *)t6);
+ *((unsigned int *)t6) = (t22 & 255U);
+ t8 = (t0 + 1768);
+ xsi_vlogvar_assign_value(t8, t4, 0, 0, 8);
+ goto LAB2;
+
+LAB8: t9 = (t4 + 4);
+ *((unsigned int *)t4) = 1;
+ *((unsigned int *)t9) = 1;
+ goto LAB10;
+
+LAB9: *((unsigned int *)t4) = 1;
+ goto LAB10;
+
+LAB12: xsi_set_current_line(39, ng0);
+
+LAB14: xsi_set_current_line(40, ng0);
+ t11 = (t0 + 2088);
+ t17 = (t11 + 56U);
+ t18 = *((char **)t17);
+ t19 = ((char*)((ng3)));
+ memset(t20, 0, 8);
+ xsi_vlog_unsigned_rshift(t20, 20, t18, 20, t19, 32);
+ t21 = (t0 + 2088);
+ xsi_vlogvar_assign_value(t21, t20, 0, 0, 20);
+ xsi_set_current_line(41, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ memset(t4, 0, 8);
+ t6 = (t4 + 4);
+ t7 = (t5 + 4);
+ t12 = *((unsigned int *)t5);
+ t13 = (t12 >> 16);
+ *((unsigned int *)t4) = t13;
+ t14 = *((unsigned int *)t7);
+ t15 = (t14 >> 16);
+ *((unsigned int *)t6) = t15;
+ t16 = *((unsigned int *)t4);
+ *((unsigned int *)t4) = (t16 & 15U);
+ t22 = *((unsigned int *)t6);
+ *((unsigned int *)t6) = (t22 & 15U);
+ t8 = ((char*)((ng4)));
+ memset(t20, 0, 8);
+ t9 = (t4 + 4);
+ if (*((unsigned int *)t9) != 0)
+ goto LAB16;
+
+LAB15: t10 = (t8 + 4);
+ if (*((unsigned int *)t10) != 0)
+ goto LAB16;
+
+LAB19: if (*((unsigned int *)t4) < *((unsigned int *)t8))
+ goto LAB18;
+
+LAB17: *((unsigned int *)t20) = 1;
+
+LAB18: t17 = (t20 + 4);
+ t23 = *((unsigned int *)t17);
+ t24 = (~(t23));
+ t25 = *((unsigned int *)t20);
+ t26 = (t25 & t24);
+ t27 = (t26 != 0);
+ if (t27 > 0)
+ goto LAB20;
+
+LAB21:
+LAB22: xsi_set_current_line(44, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ memset(t4, 0, 8);
+ t6 = (t4 + 4);
+ t7 = (t5 + 4);
+ t12 = *((unsigned int *)t5);
+ t13 = (t12 >> 12);
+ *((unsigned int *)t4) = t13;
+ t14 = *((unsigned int *)t7);
+ t15 = (t14 >> 12);
+ *((unsigned int *)t6) = t15;
+ t16 = *((unsigned int *)t4);
+ *((unsigned int *)t4) = (t16 & 15U);
+ t22 = *((unsigned int *)t6);
+ *((unsigned int *)t6) = (t22 & 15U);
+ t8 = ((char*)((ng4)));
+ memset(t20, 0, 8);
+ t9 = (t4 + 4);
+ if (*((unsigned int *)t9) != 0)
+ goto LAB27;
+
+LAB26: t10 = (t8 + 4);
+ if (*((unsigned int *)t10) != 0)
+ goto LAB27;
+
+LAB30: if (*((unsigned int *)t4) < *((unsigned int *)t8))
+ goto LAB29;
+
+LAB28: *((unsigned int *)t20) = 1;
+
+LAB29: t17 = (t20 + 4);
+ t23 = *((unsigned int *)t17);
+ t24 = (~(t23));
+ t25 = *((unsigned int *)t20);
+ t26 = (t25 & t24);
+ t27 = (t26 != 0);
+ if (t27 > 0)
+ goto LAB31;
+
+LAB32:
+LAB33: xsi_set_current_line(47, ng0);
+ t2 = (t0 + 2088);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ memset(t4, 0, 8);
+ t6 = (t4 + 4);
+ t7 = (t5 + 4);
+ t12 = *((unsigned int *)t5);
+ t13 = (t12 >> 8);
+ *((unsigned int *)t4) = t13;
+ t14 = *((unsigned int *)t7);
+ t15 = (t14 >> 8);
+ *((unsigned int *)t6) = t15;
+ t16 = *((unsigned int *)t4);
+ *((unsigned int *)t4) = (t16 & 15U);
+ t22 = *((unsigned int *)t6);
+ *((unsigned int *)t6) = (t22 & 15U);
+ t8 = ((char*)((ng4)));
+ memset(t20, 0, 8);
+ t9 = (t4 + 4);
+ if (*((unsigned int *)t9) != 0)
+ goto LAB38;
+
+LAB37: t10 = (t8 + 4);
+ if (*((unsigned int *)t10) != 0)
+ goto LAB38;
+
+LAB41: if (*((unsigned int *)t4) < *((unsigned int *)t8))
+ goto LAB40;
+
+LAB39: *((unsigned int *)t20) = 1;
+
+LAB40: t17 = (t20 + 4);
+ t23 = *((unsigned int *)t17);
+ t24 = (~(t23));
+ t25 = *((unsigned int *)t20);
+ t26 = (t25 & t24);
+ t27 = (t26 != 0);
+ if (t27 > 0)
+ goto LAB42;
+
+LAB43:
+LAB44: xsi_set_current_line(39, ng0);
+ t2 = (t0 + 1928);
+ t3 = (t2 + 56U);
+ t5 = *((char **)t3);
+ t6 = ((char*)((ng3)));
+ memset(t4, 0, 8);
+ xsi_vlog_unsigned_add(t4, 32, t5, 3, t6, 32);
+ t7 = (t0 + 1928);
+ xsi_vlogvar_assign_value(t7, t4, 0, 0, 3);
+ goto LAB6;
+
+LAB16: t11 = (t20 + 4);
+ *((unsigned int *)t20) = 1;
+ *((unsigned int *)t11) = 1;
+ goto LAB18;
+
+LAB20: xsi_set_current_line(41, ng0);
+
+LAB23: xsi_set_current_line(42, ng0);
+ t18 = (t0 + 2088);
+ t19 = (t18 + 56U);
+ t21 = *((char **)t19);
+ memset(t28, 0, 8);
+ t29 = (t28 + 4);
+ t30 = (t21 + 4);
+ t31 = *((unsigned int *)t21);
+ t32 = (t31 >> 16);
+ *((unsigned int *)t28) = t32;
+ t33 = *((unsigned int *)t30);
+ t34 = (t33 >> 16);
+ *((unsigned int *)t29) = t34;
+ t35 = *((unsigned int *)t28);
+ *((unsigned int *)t28) = (t35 & 15U);
+ t36 = *((unsigned int *)t29);
+ *((unsigned int *)t29) = (t36 & 15U);
+ t37 = ((char*)((ng5)));
+ memset(t38, 0, 8);
+ xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32);
+ t39 = (t0 + 2088);
+ t43 = (t0 + 2088);
+ t44 = (t43 + 72U);
+ t45 = *((char **)t44);
+ t46 = ((char*)((ng6)));
+ t47 = ((char*)((ng7)));
+ xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
+ t48 = (t40 + 4);
+ t49 = *((unsigned int *)t48);
+ t50 = (!(t49));
+ t51 = (t41 + 4);
+ t52 = *((unsigned int *)t51);
+ t53 = (!(t52));
+ t54 = (t50 && t53);
+ t55 = (t42 + 4);
+ t56 = *((unsigned int *)t55);
+ t57 = (!(t56));
+ t58 = (t54 && t57);
+ if (t58 == 1)
+ goto LAB24;
+
+LAB25: goto LAB22;
+
+LAB24: t59 = *((unsigned int *)t42);
+ t60 = (t59 + 0);
+ t61 = *((unsigned int *)t40);
+ t62 = *((unsigned int *)t41);
+ t63 = (t61 - t62);
+ t64 = (t63 + 1);
+ xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
+ goto LAB25;
+
+LAB27: t11 = (t20 + 4);
+ *((unsigned int *)t20) = 1;
+ *((unsigned int *)t11) = 1;
+ goto LAB29;
+
+LAB31: xsi_set_current_line(44, ng0);
+
+LAB34: xsi_set_current_line(45, ng0);
+ t18 = (t0 + 2088);
+ t19 = (t18 + 56U);
+ t21 = *((char **)t19);
+ memset(t28, 0, 8);
+ t29 = (t28 + 4);
+ t30 = (t21 + 4);
+ t31 = *((unsigned int *)t21);
+ t32 = (t31 >> 12);
+ *((unsigned int *)t28) = t32;
+ t33 = *((unsigned int *)t30);
+ t34 = (t33 >> 12);
+ *((unsigned int *)t29) = t34;
+ t35 = *((unsigned int *)t28);
+ *((unsigned int *)t28) = (t35 & 15U);
+ t36 = *((unsigned int *)t29);
+ *((unsigned int *)t29) = (t36 & 15U);
+ t37 = ((char*)((ng5)));
+ memset(t38, 0, 8);
+ xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32);
+ t39 = (t0 + 2088);
+ t43 = (t0 + 2088);
+ t44 = (t43 + 72U);
+ t45 = *((char **)t44);
+ t46 = ((char*)((ng8)));
+ t47 = ((char*)((ng9)));
+ xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
+ t48 = (t40 + 4);
+ t49 = *((unsigned int *)t48);
+ t50 = (!(t49));
+ t51 = (t41 + 4);
+ t52 = *((unsigned int *)t51);
+ t53 = (!(t52));
+ t54 = (t50 && t53);
+ t55 = (t42 + 4);
+ t56 = *((unsigned int *)t55);
+ t57 = (!(t56));
+ t58 = (t54 && t57);
+ if (t58 == 1)
+ goto LAB35;
+
+LAB36: goto LAB33;
+
+LAB35: t59 = *((unsigned int *)t42);
+ t60 = (t59 + 0);
+ t61 = *((unsigned int *)t40);
+ t62 = *((unsigned int *)t41);
+ t63 = (t61 - t62);
+ t64 = (t63 + 1);
+ xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
+ goto LAB36;
+
+LAB38: t11 = (t20 + 4);
+ *((unsigned int *)t20) = 1;
+ *((unsigned int *)t11) = 1;
+ goto LAB40;
+
+LAB42: xsi_set_current_line(47, ng0);
+
+LAB45: xsi_set_current_line(48, ng0);
+ t18 = (t0 + 2088);
+ t19 = (t18 + 56U);
+ t21 = *((char **)t19);
+ memset(t28, 0, 8);
+ t29 = (t28 + 4);
+ t30 = (t21 + 4);
+ t31 = *((unsigned int *)t21);
+ t32 = (t31 >> 8);
+ *((unsigned int *)t28) = t32;
+ t33 = *((unsigned int *)t30);
+ t34 = (t33 >> 8);
+ *((unsigned int *)t29) = t34;
+ t35 = *((unsigned int *)t28);
+ *((unsigned int *)t28) = (t35 & 15U);
+ t36 = *((unsigned int *)t29);
+ *((unsigned int *)t29) = (t36 & 15U);
+ t37 = ((char*)((ng5)));
+ memset(t38, 0, 8);
+ xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32);
+ t39 = (t0 + 2088);
+ t43 = (t0 + 2088);
+ t44 = (t43 + 72U);
+ t45 = *((char **)t44);
+ t46 = ((char*)((ng10)));
+ t47 = ((char*)((ng11)));
+ xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1);
+ t48 = (t40 + 4);
+ t49 = *((unsigned int *)t48);
+ t50 = (!(t49));
+ t51 = (t41 + 4);
+ t52 = *((unsigned int *)t51);
+ t53 = (!(t52));
+ t54 = (t50 && t53);
+ t55 = (t42 + 4);
+ t56 = *((unsigned int *)t55);
+ t57 = (!(t56));
+ t58 = (t54 && t57);
+ if (t58 == 1)
+ goto LAB46;
+
+LAB47: goto LAB44;
+
+LAB46: t59 = *((unsigned int *)t42);
+ t60 = (t59 + 0);
+ t61 = *((unsigned int *)t40);
+ t62 = *((unsigned int *)t41);
+ t63 = (t61 - t62);
+ t64 = (t63 + 1);
+ xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64);
+ goto LAB47;
+
+}
+
+
+extern void work_m_17579661360444318263_0092613024_init()
+{
+ static char *pe[] = {(void *)Always_33_0};
+ xsi_register_didat("work_m_17579661360444318263_0092613024", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat");
+ xsi_register_executes(pe);
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-05 22:19:48 +0000