diff options
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c')
| -rw-r--r-- | isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c | 203 |
1 files changed, 0 insertions, 203 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c deleted file mode 100644 index 848bccb..0000000 --- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c +++ /dev/null @@ -1,203 +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/Increment.v"; -static int ng1[] = {9, 0}; -static int ng2[] = {0, 0}; -static int ng3[] = {1, 0}; - - - -static void Always_28_0(char *t0) -{ - char t4[8]; - char t5[8]; - char t10[8]; - char t46[8]; - char *t1; - char *t2; - char *t3; - char *t6; - char *t7; - char *t8; - char *t9; - char *t11; - char *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; - unsigned int t21; - unsigned int t22; - unsigned int t23; - unsigned int t24; - char *t25; - char *t26; - unsigned int t27; - unsigned int t28; - unsigned int t29; - unsigned int t30; - unsigned int t31; - char *t32; - char *t33; - unsigned int t34; - unsigned int t35; - unsigned int t36; - char *t37; - unsigned int t38; - unsigned int t39; - unsigned int t40; - unsigned int t41; - char *t42; - char *t43; - char *t44; - char *t45; - char *t47; - -LAB0: t1 = (t0 + 2360U); - t2 = *((char **)t1); - if (t2 == 0) - goto LAB2; - -LAB3: goto *t2; - -LAB2: xsi_set_current_line(28, ng0); - t2 = (t0 + 2680); - *((int *)t2) = 1; - t3 = (t0 + 2392); - *((char **)t3) = t2; - *((char **)t1) = &&LAB4; - -LAB1: return; -LAB4: xsi_set_current_line(28, ng0); - -LAB5: xsi_set_current_line(29, ng0); - t6 = (t0 + 1448); - t7 = (t6 + 56U); - t8 = *((char **)t7); - t9 = ((char*)((ng1))); - memset(t10, 0, 8); - t11 = (t8 + 4); - t12 = (t9 + 4); - t13 = *((unsigned int *)t8); - t14 = *((unsigned int *)t9); - t15 = (t13 ^ t14); - t16 = *((unsigned int *)t11); - t17 = *((unsigned int *)t12); - t18 = (t16 ^ t17); - t19 = (t15 | t18); - t20 = *((unsigned int *)t11); - t21 = *((unsigned int *)t12); - t22 = (t20 | t21); - t23 = (~(t22)); - t24 = (t19 & t23); - if (t24 != 0) - goto LAB9; - -LAB6: if (t22 != 0) - goto LAB8; - -LAB7: *((unsigned int *)t10) = 1; - -LAB9: memset(t5, 0, 8); - t26 = (t10 + 4); - t27 = *((unsigned int *)t26); - t28 = (~(t27)); - t29 = *((unsigned int *)t10); - t30 = (t29 & t28); - t31 = (t30 & 1U); - if (t31 != 0) - goto LAB10; - -LAB11: if (*((unsigned int *)t26) != 0) - goto LAB12; - -LAB13: t33 = (t5 + 4); - t34 = *((unsigned int *)t5); - t35 = *((unsigned int *)t33); - t36 = (t34 || t35); - if (t36 > 0) - goto LAB14; - -LAB15: t38 = *((unsigned int *)t5); - t39 = (~(t38)); - t40 = *((unsigned int *)t33); - t41 = (t39 || t40); - if (t41 > 0) - goto LAB16; - -LAB17: if (*((unsigned int *)t33) > 0) - goto LAB18; - -LAB19: if (*((unsigned int *)t5) > 0) - goto LAB20; - -LAB21: memcpy(t4, t46, 8); - -LAB22: t47 = (t0 + 1448); - xsi_vlogvar_assign_value(t47, t4, 0, 0, 4); - goto LAB2; - -LAB8: t25 = (t10 + 4); - *((unsigned int *)t10) = 1; - *((unsigned int *)t25) = 1; - goto LAB9; - -LAB10: *((unsigned int *)t5) = 1; - goto LAB13; - -LAB12: t32 = (t5 + 4); - *((unsigned int *)t5) = 1; - *((unsigned int *)t32) = 1; - goto LAB13; - -LAB14: t37 = ((char*)((ng2))); - goto LAB15; - -LAB16: t42 = (t0 + 1448); - t43 = (t42 + 56U); - t44 = *((char **)t43); - t45 = ((char*)((ng3))); - memset(t46, 0, 8); - xsi_vlog_unsigned_add(t46, 32, t44, 4, t45, 32); - goto LAB17; - -LAB18: xsi_vlog_unsigned_bit_combine(t4, 32, t37, 32, t46, 32); - goto LAB22; - -LAB20: memcpy(t4, t37, 8); - goto LAB22; - -} - - -extern void work_m_14878824473863214981_2647877144_init() -{ - static char *pe[] = {(void *)Always_28_0}; - xsi_register_didat("work_m_14878824473863214981_2647877144", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.didat"); - xsi_register_executes(pe); -} |