diff options
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c')
| -rw-r--r-- | isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c | 249 |
1 files changed, 249 insertions, 0 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c new file mode 100644 index 0000000..c8ac153 --- /dev/null +++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.c @@ -0,0 +1,249 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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/DisplayController.v"; +static unsigned int ng1[] = {3U, 0U}; + + + +static void Always_41_0(char *t0) +{ + char t4[8]; + char t26[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; + 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; + char *t25; + char *t27; + char *t28; + +LAB0: t1 = (t0 + 3480U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(41, ng0); + t2 = (t0 + 3800); + *((int *)t2) = 1; + t3 = (t0 + 3512); + *((char **)t3) = t2; + *((char **)t1) = &&LAB4; + +LAB1: return; +LAB4: xsi_set_current_line(41, ng0); + +LAB5: xsi_set_current_line(42, ng0); + t5 = (t0 + 2568); + 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 = (t7 + 4); + t17 = *((unsigned int *)t7); + t18 = (~(t17)); + *((unsigned int *)t4) = t18; + *((unsigned int *)t15) = 0; + if (*((unsigned int *)t16) != 0) + goto LAB11; + +LAB10: t23 = *((unsigned int *)t4); + *((unsigned int *)t4) = (t23 & 1U); + t24 = *((unsigned int *)t15); + *((unsigned int *)t15) = (t24 & 1U); + t25 = (t0 + 2568); + xsi_vlogvar_wait_assign_value(t25, t4, 0, 0, 1, 0LL); + xsi_set_current_line(43, ng0); + t2 = (t0 + 2568); + t3 = (t2 + 56U); + t5 = *((char **)t3); + memset(t26, 0, 8); + t6 = (t5 + 4); + t9 = *((unsigned int *)t6); + t10 = (~(t9)); + t11 = *((unsigned int *)t5); + t12 = (t11 & t10); + t13 = (t12 & 1U); + if (t13 != 0) + goto LAB12; + +LAB13: if (*((unsigned int *)t6) != 0) + goto LAB14; + +LAB15: t8 = (t26 + 4); + t17 = *((unsigned int *)t26); + t18 = *((unsigned int *)t8); + t19 = (t17 || t18); + if (t19 > 0) + goto LAB16; + +LAB17: t20 = *((unsigned int *)t26); + t21 = (~(t20)); + t22 = *((unsigned int *)t8); + t23 = (t21 || t22); + if (t23 > 0) + goto LAB18; + +LAB19: if (*((unsigned int *)t8) > 0) + goto LAB20; + +LAB21: if (*((unsigned int *)t26) > 0) + goto LAB22; + +LAB23: memcpy(t4, t16, 8); + +LAB24: t14 = (t0 + 2248); + xsi_vlogvar_wait_assign_value(t14, t4, 0, 0, 7, 0LL); + xsi_set_current_line(44, ng0); + t2 = (t0 + 2568); + t3 = (t2 + 56U); + t5 = *((char **)t3); + memset(t26, 0, 8); + t6 = (t5 + 4); + t9 = *((unsigned int *)t6); + t10 = (~(t9)); + t11 = *((unsigned int *)t5); + t12 = (t11 & t10); + t13 = (t12 & 1U); + if (t13 != 0) + goto LAB28; + +LAB26: if (*((unsigned int *)t6) == 0) + goto LAB25; + +LAB27: t7 = (t26 + 4); + *((unsigned int *)t26) = 1; + *((unsigned int *)t7) = 1; + +LAB28: t8 = (t26 + 4); + t14 = (t5 + 4); + t17 = *((unsigned int *)t5); + t18 = (~(t17)); + *((unsigned int *)t26) = t18; + *((unsigned int *)t8) = 0; + if (*((unsigned int *)t14) != 0) + goto LAB30; + +LAB29: t23 = *((unsigned int *)t26); + *((unsigned int *)t26) = (t23 & 1U); + t24 = *((unsigned int *)t8); + *((unsigned int *)t8) = (t24 & 1U); + t15 = (t0 + 2568); + t16 = (t15 + 56U); + t25 = *((char **)t16); + t27 = ((char*)((ng1))); + xsi_vlogtype_concat(t4, 4, 4, 3U, t27, 2, t25, 1, t26, 1); + t28 = (t0 + 2408); + xsi_vlogvar_wait_assign_value(t28, t4, 0, 0, 4, 0LL); + goto LAB2; + +LAB6: *((unsigned int *)t4) = 1; + goto LAB9; + +LAB11: t19 = *((unsigned int *)t4); + t20 = *((unsigned int *)t16); + *((unsigned int *)t4) = (t19 | t20); + t21 = *((unsigned int *)t15); + t22 = *((unsigned int *)t16); + *((unsigned int *)t15) = (t21 | t22); + goto LAB10; + +LAB12: *((unsigned int *)t26) = 1; + goto LAB15; + +LAB14: t7 = (t26 + 4); + *((unsigned int *)t26) = 1; + *((unsigned int *)t7) = 1; + goto LAB15; + +LAB16: t14 = (t0 + 1688U); + t15 = *((char **)t14); + goto LAB17; + +LAB18: t14 = (t0 + 1848U); + t16 = *((char **)t14); + goto LAB19; + +LAB20: xsi_vlog_unsigned_bit_combine(t4, 7, t15, 7, t16, 7); + goto LAB24; + +LAB22: memcpy(t4, t15, 8); + goto LAB24; + +LAB25: *((unsigned int *)t26) = 1; + goto LAB28; + +LAB30: t19 = *((unsigned int *)t26); + t20 = *((unsigned int *)t14); + *((unsigned int *)t26) = (t19 | t20); + t21 = *((unsigned int *)t8); + t22 = *((unsigned int *)t14); + *((unsigned int *)t8) = (t21 | t22); + goto LAB29; + +} + + +extern void work_m_14181161885881575918_3845763652_init() +{ + static char *pe[] = {(void *)Always_41_0}; + xsi_register_didat("work_m_14181161885881575918_3845763652", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_14181161885881575918_3845763652.didat"); + xsi_register_executes(pe); +} |