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, 203 insertions, 0 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 new file mode 100644 index 0000000..848bccb --- /dev/null +++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14878824473863214981_2647877144.c @@ -0,0 +1,203 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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); +} |