diff options
Diffstat (limited to 'isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c')
-rw-r--r-- | isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c | 279 |
1 files changed, 0 insertions, 279 deletions
diff --git a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c b/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c deleted file mode 100644 index a5af715..0000000 --- a/isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.c +++ /dev/null @@ -1,279 +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/Countdown.v"; -static int ng1[] = {1, 0}; -static int ng2[] = {0, 0}; - - - -static void Always_32_0(char *t0) -{ - char t4[8]; - char *t1; - char *t2; - char *t3; - char *t5; - char *t6; - char *t7; - char *t8; - unsigned int t9; - unsigned int t10; - unsigned int t11; - unsigned int t12; - unsigned int t13; - char *t14; - char *t15; - unsigned int t16; - unsigned int t17; - unsigned int t18; - unsigned int t19; - unsigned int t20; - char *t21; - char *t22; - -LAB0: t1 = (t0 + 3000U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(32, ng0); - t2 = (t0 + 4064); - *((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); - t5 = (t0 + 2088); - t6 = (t5 + 56U); - t7 = *((char **)t6); - memset(t4, 0, 8); - t8 = (t7 + 4); - t9 = *((unsigned int *)t8); - t10 = (~(t9)); - t11 = *((unsigned int *)t7); - t12 = (t11 & t10); - t13 = (t12 & 1U); - if (t13 != 0) - goto LAB9; - -LAB7: if (*((unsigned int *)t8) == 0) - goto LAB6; - -LAB8: t14 = (t4 + 4); - *((unsigned int *)t4) = 1; - *((unsigned int *)t14) = 1; - -LAB9: t15 = (t4 + 4); - t16 = *((unsigned int *)t15); - t17 = (~(t16)); - t18 = *((unsigned int *)t4); - t19 = (t18 & t17); - t20 = (t19 != 0); - if (t20 > 0) - goto LAB10; - -LAB11: xsi_set_current_line(35, ng0); - -LAB14: xsi_set_current_line(36, ng0); - t2 = (t0 + 1928); - t3 = (t2 + 56U); - t5 = *((char **)t3); - t6 = (t0 + 1928); - xsi_vlogvar_assign_value(t6, t5, 0, 0, 8); - -LAB12: goto LAB2; - -LAB6: *((unsigned int *)t4) = 1; - goto LAB9; - -LAB10: xsi_set_current_line(33, ng0); - -LAB13: xsi_set_current_line(34, ng0); - t21 = (t0 + 1528U); - t22 = *((char **)t21); - t21 = (t0 + 1928); - xsi_vlogvar_assign_value(t21, t22, 0, 0, 8); - goto LAB12; - -} - -static void Always_40_1(char *t0) -{ - char t17[8]; - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - char *t6; - char *t7; - unsigned int t8; - unsigned int t9; - unsigned int t10; - unsigned int t11; - unsigned int t12; - char *t13; - char *t14; - char *t15; - char *t16; - char *t18; - -LAB0: t1 = (t0 + 3248U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(40, ng0); - t2 = (t0 + 4080); - *((int *)t2) = 1; - t3 = (t0 + 3280); - *((char **)t3) = t2; - *((char **)t1) = &&LAB4; - -LAB1: return; -LAB4: xsi_set_current_line(40, ng0); - -LAB5: xsi_set_current_line(41, ng0); - t4 = (t0 + 2088); - t5 = (t4 + 56U); - t6 = *((char **)t5); - t7 = (t6 + 4); - t8 = *((unsigned int *)t7); - t9 = (~(t8)); - t10 = *((unsigned int *)t6); - t11 = (t10 & t9); - t12 = (t11 != 0); - if (t12 > 0) - goto LAB6; - -LAB7: xsi_set_current_line(43, ng0); - -LAB10: xsi_set_current_line(44, ng0); - t2 = (t0 + 1528U); - t3 = *((char **)t2); - t2 = (t0 + 1928); - xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 8, 0LL); - -LAB8: goto LAB2; - -LAB6: xsi_set_current_line(41, ng0); - -LAB9: xsi_set_current_line(42, ng0); - t13 = (t0 + 1928); - t14 = (t13 + 56U); - t15 = *((char **)t14); - t16 = ((char*)((ng1))); - memset(t17, 0, 8); - xsi_vlog_unsigned_minus(t17, 32, t15, 8, t16, 32); - t18 = (t0 + 1928); - xsi_vlogvar_wait_assign_value(t18, t17, 0, 0, 8, 0LL); - goto LAB8; - -} - -static void Always_48_2(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - -LAB0: t1 = (t0 + 3496U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(48, ng0); - t2 = (t0 + 4096); - *((int *)t2) = 1; - t3 = (t0 + 3528); - *((char **)t3) = t2; - *((char **)t1) = &&LAB4; - -LAB1: return; -LAB4: xsi_set_current_line(48, ng0); - -LAB5: xsi_set_current_line(49, ng0); - t4 = ((char*)((ng1))); - t5 = (t0 + 2088); - xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); - goto LAB2; - -} - -static void Always_52_3(char *t0) -{ - char *t1; - char *t2; - char *t3; - char *t4; - char *t5; - -LAB0: t1 = (t0 + 3744U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(52, ng0); - t2 = (t0 + 4112); - *((int *)t2) = 1; - t3 = (t0 + 3776); - *((char **)t3) = t2; - *((char **)t1) = &&LAB4; - -LAB1: return; -LAB4: xsi_set_current_line(52, ng0); - -LAB5: xsi_set_current_line(53, ng0); - t4 = ((char*)((ng2))); - t5 = (t0 + 2088); - xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); - xsi_set_current_line(54, ng0); - t2 = ((char*)((ng2))); - t3 = (t0 + 1928); - xsi_vlogvar_assign_value(t3, t2, 0, 0, 8); - goto LAB2; - -} - - -extern void work_m_06453055231304268951_4281377536_init() -{ - static char *pe[] = {(void *)Always_32_0,(void *)Always_40_1,(void *)Always_48_2,(void *)Always_52_3}; - xsi_register_didat("work_m_06453055231304268951_4281377536", "isim/TEST_Countdown_isim_beh.exe.sim/work/m_06453055231304268951_4281377536.didat"); - xsi_register_executes(pe); -} |