diff options
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c')
-rw-r--r-- | isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c | 273 |
1 files changed, 0 insertions, 273 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c deleted file mode 100644 index 65cbf9d..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.c +++ /dev/null @@ -1,273 +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/ClockDivider.v"; -static int ng1[] = {1, 0}; -static int ng2[] = {0, 0}; - - - -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*)((ng1))); - memset(t6, 0, 8); - xsi_vlog_unsigned_add(t6, 32, t4, 24, t5, 32); - 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_ContdownController_isim_beh.exe.sim/work/m_09461933616065074075_2531671071.didat"); - xsi_register_executes(pe); -} |