diff options
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.c | 329 |
1 files changed, 0 insertions, 329 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 deleted file mode 100644 index b813dd5..0000000 --- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_01236816096418509971_3448823162.c +++ /dev/null @@ -1,329 +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/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); -} |