summaryrefslogtreecommitdiff
path: root/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c')
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c590
1 files changed, 0 insertions, 590 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c
deleted file mode 100644
index 67e2282..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.c
+++ /dev/null
@@ -1,590 +0,0 @@
-/**********************************************************************/
-/* ____ ____ */
-/* / /\/ / */
-/* /___/ \ / */
-/* \ \ \/ */
-/* \ \ 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/Bin2BCD.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_32_0(char *t0)
-{
- char t6[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 *t4;
- char *t5;
- char *t7;
- char *t8;
- char *t9;
- 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 *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(32, ng0);
- t2 = (t0 + 3320);
- *((int *)t2) = 1;
- t3 = (t0 + 3032);
- *((char **)t3) = t2;
- *((char **)t1) = &&LAB4;
-
-LAB1: return;
-LAB4: xsi_set_current_line(32, ng0);
-
-LAB5: xsi_set_current_line(33, ng0);
- t4 = ((char*)((ng1)));
- t5 = (t0 + 1768);
- xsi_vlogvar_assign_value(t5, t4, 0, 0, 4);
- xsi_set_current_line(33, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
- xsi_set_current_line(33, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1448);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
- xsi_set_current_line(34, ng0);
- t2 = (t0 + 1048U);
- t3 = *((char **)t2);
- t2 = (t0 + 1448);
- t4 = (t2 + 56U);
- t5 = *((char **)t4);
- t7 = (t0 + 1608);
- t8 = (t7 + 56U);
- t9 = *((char **)t8);
- t10 = (t0 + 1768);
- t11 = (t10 + 56U);
- t12 = *((char **)t11);
- xsi_vlogtype_concat(t6, 20, 20, 4U, t12, 4, t9, 4, t5, 4, t3, 8);
- t13 = (t0 + 1928);
- xsi_vlogvar_assign_value(t13, t6, 0, 0, 20);
- xsi_set_current_line(36, ng0);
- xsi_set_current_line(36, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2088);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
-
-LAB6: t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng2)));
- memset(t6, 0, 8);
- t7 = (t4 + 4);
- if (*((unsigned int *)t7) != 0)
- goto LAB8;
-
-LAB7: t8 = (t5 + 4);
- if (*((unsigned int *)t8) != 0)
- goto LAB8;
-
-LAB11: if (*((unsigned int *)t4) < *((unsigned int *)t5))
- goto LAB9;
-
-LAB10: t10 = (t6 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- t16 = *((unsigned int *)t6);
- t17 = (t16 & t15);
- t18 = (t17 != 0);
- if (t18 > 0)
- goto LAB12;
-
-LAB13: xsi_set_current_line(49, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng3)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_lshift(t6, 20, t4, 20, t5, 32);
- t7 = (t0 + 1928);
- xsi_vlogvar_assign_value(t7, t6, 0, 0, 20);
- xsi_set_current_line(51, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 16);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 16);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = (t0 + 1768);
- xsi_vlogvar_assign_value(t8, t6, 0, 0, 4);
- xsi_set_current_line(52, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 12);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 12);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = (t0 + 1608);
- xsi_vlogvar_assign_value(t8, t6, 0, 0, 4);
- xsi_set_current_line(53, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 8);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 8);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = (t0 + 1448);
- xsi_vlogvar_assign_value(t8, t6, 0, 0, 4);
- goto LAB2;
-
-LAB8: t9 = (t6 + 4);
- *((unsigned int *)t6) = 1;
- *((unsigned int *)t9) = 1;
- goto LAB10;
-
-LAB9: *((unsigned int *)t6) = 1;
- goto LAB10;
-
-LAB12: xsi_set_current_line(36, ng0);
-
-LAB14: xsi_set_current_line(37, ng0);
- t11 = (t0 + 1928);
- t12 = (t11 + 56U);
- t13 = *((char **)t12);
- t19 = ((char*)((ng3)));
- memset(t20, 0, 8);
- xsi_vlog_unsigned_lshift(t20, 20, t13, 20, t19, 32);
- t21 = (t0 + 1928);
- xsi_vlogvar_assign_value(t21, t20, 0, 0, 20);
- xsi_set_current_line(38, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 16);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 16);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t6 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB16;
-
-LAB15: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB16;
-
-LAB19: if (*((unsigned int *)t6) < *((unsigned int *)t8))
- goto LAB18;
-
-LAB17: *((unsigned int *)t20) = 1;
-
-LAB18: t12 = (t20 + 4);
- t23 = *((unsigned int *)t12);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB20;
-
-LAB21:
-LAB22: xsi_set_current_line(41, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 12);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 12);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t6 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB27;
-
-LAB26: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB27;
-
-LAB30: if (*((unsigned int *)t6) < *((unsigned int *)t8))
- goto LAB29;
-
-LAB28: *((unsigned int *)t20) = 1;
-
-LAB29: t12 = (t20 + 4);
- t23 = *((unsigned int *)t12);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB31;
-
-LAB32:
-LAB33: xsi_set_current_line(44, ng0);
- t2 = (t0 + 1928);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- memset(t6, 0, 8);
- t5 = (t6 + 4);
- t7 = (t4 + 4);
- t14 = *((unsigned int *)t4);
- t15 = (t14 >> 8);
- *((unsigned int *)t6) = t15;
- t16 = *((unsigned int *)t7);
- t17 = (t16 >> 8);
- *((unsigned int *)t5) = t17;
- t18 = *((unsigned int *)t6);
- *((unsigned int *)t6) = (t18 & 15U);
- t22 = *((unsigned int *)t5);
- *((unsigned int *)t5) = (t22 & 15U);
- t8 = ((char*)((ng4)));
- memset(t20, 0, 8);
- t9 = (t6 + 4);
- if (*((unsigned int *)t9) != 0)
- goto LAB38;
-
-LAB37: t10 = (t8 + 4);
- if (*((unsigned int *)t10) != 0)
- goto LAB38;
-
-LAB41: if (*((unsigned int *)t6) < *((unsigned int *)t8))
- goto LAB40;
-
-LAB39: *((unsigned int *)t20) = 1;
-
-LAB40: t12 = (t20 + 4);
- t23 = *((unsigned int *)t12);
- t24 = (~(t23));
- t25 = *((unsigned int *)t20);
- t26 = (t25 & t24);
- t27 = (t26 != 0);
- if (t27 > 0)
- goto LAB42;
-
-LAB43:
-LAB44: xsi_set_current_line(36, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t4 = *((char **)t3);
- t5 = ((char*)((ng3)));
- memset(t6, 0, 8);
- xsi_vlog_unsigned_add(t6, 32, t4, 4, t5, 32);
- t7 = (t0 + 2088);
- xsi_vlogvar_assign_value(t7, t6, 0, 0, 4);
- goto LAB6;
-
-LAB16: t11 = (t20 + 4);
- *((unsigned int *)t20) = 1;
- *((unsigned int *)t11) = 1;
- goto LAB18;
-
-LAB20: xsi_set_current_line(38, ng0);
-
-LAB23: xsi_set_current_line(39, ng0);
- t13 = (t0 + 1928);
- t19 = (t13 + 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_add(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 1928);
- t43 = (t0 + 1928);
- 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(41, ng0);
-
-LAB34: xsi_set_current_line(42, ng0);
- t13 = (t0 + 1928);
- t19 = (t13 + 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_add(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 1928);
- t43 = (t0 + 1928);
- 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(44, ng0);
-
-LAB45: xsi_set_current_line(45, ng0);
- t13 = (t0 + 1928);
- t19 = (t13 + 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_add(t38, 32, t28, 32, t37, 32);
- t39 = (t0 + 1928);
- t43 = (t0 + 1928);
- 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_14079594305330756291_2618506667_init()
-{
- static char *pe[] = {(void *)Always_32_0};
- xsi_register_didat("work_m_14079594305330756291_2618506667", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_14079594305330756291_2618506667.didat");
- xsi_register_executes(pe);
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 13:54:14 +0000