diff options
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c')
-rw-r--r-- | isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c | 538 |
1 files changed, 538 insertions, 0 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c new file mode 100644 index 0000000..dd4c38d --- /dev/null +++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.c @@ -0,0 +1,538 @@ +/**********************************************************************/ +/* ____ ____ */ +/* / /\/ / */ +/* /___/ \ / */ +/* \ \ \/ */ +/* \ \ 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/BCD2Bin.v"; +static int ng1[] = {0, 0}; +static int ng2[] = {7, 0}; +static int ng3[] = {1, 0}; +static int ng4[] = {5, 0}; +static int ng5[] = {3, 0}; +static int ng6[] = {19, 0}; +static int ng7[] = {16, 0}; +static int ng8[] = {15, 0}; +static int ng9[] = {12, 0}; +static int ng10[] = {11, 0}; +static int ng11[] = {8, 0}; + + + +static void Always_33_0(char *t0) +{ + char t4[8]; + char t20[8]; + char t28[8]; + char t38[8]; + char t40[8]; + char t41[8]; + char t42[8]; + char *t1; + char *t2; + char *t3; + char *t5; + char *t6; + char *t7; + char *t8; + char *t9; + char *t10; + char *t11; + unsigned int t12; + unsigned int t13; + unsigned int t14; + unsigned int t15; + unsigned int t16; + char *t17; + char *t18; + char *t19; + char *t21; + unsigned int t22; + unsigned int t23; + unsigned int t24; + unsigned int t25; + unsigned int t26; + unsigned int t27; + char *t29; + char *t30; + unsigned int t31; + unsigned int t32; + unsigned int t33; + unsigned int t34; + unsigned int t35; + unsigned int t36; + char *t37; + char *t39; + char *t43; + char *t44; + char *t45; + char *t46; + char *t47; + char *t48; + unsigned int t49; + int t50; + char *t51; + unsigned int t52; + int t53; + int t54; + char *t55; + unsigned int t56; + int t57; + int t58; + unsigned int t59; + int t60; + unsigned int t61; + unsigned int t62; + int t63; + int t64; + +LAB0: t1 = (t0 + 3000U); + t2 = *((char **)t1); + if (t2 == 0) + goto LAB2; + +LAB3: goto *t2; + +LAB2: xsi_set_current_line(33, ng0); + t2 = (t0 + 3320); + *((int *)t2) = 1; + t3 = (t0 + 3032); + *((char **)t3) = t2; + *((char **)t1) = &&LAB4; + +LAB1: return; +LAB4: xsi_set_current_line(33, ng0); + +LAB5: xsi_set_current_line(35, ng0); + t5 = (t0 + 1768); + t6 = (t5 + 56U); + t7 = *((char **)t6); + t8 = (t0 + 1368U); + t9 = *((char **)t8); + t8 = (t0 + 1208U); + t10 = *((char **)t8); + t8 = (t0 + 1048U); + t11 = *((char **)t8); + xsi_vlogtype_concat(t4, 20, 20, 4U, t11, 4, t10, 4, t9, 4, t7, 8); + t8 = (t0 + 2088); + xsi_vlogvar_assign_value(t8, t4, 0, 0, 20); + xsi_set_current_line(39, ng0); + xsi_set_current_line(39, ng0); + t2 = ((char*)((ng1))); + t3 = (t0 + 1928); + xsi_vlogvar_assign_value(t3, t2, 0, 0, 3); + +LAB6: t2 = (t0 + 1928); + t3 = (t2 + 56U); + t5 = *((char **)t3); + t6 = ((char*)((ng2))); + memset(t4, 0, 8); + t7 = (t5 + 4); + if (*((unsigned int *)t7) != 0) + goto LAB8; + +LAB7: t8 = (t6 + 4); + if (*((unsigned int *)t8) != 0) + goto LAB8; + +LAB11: if (*((unsigned int *)t5) < *((unsigned int *)t6)) + goto LAB9; + +LAB10: t10 = (t4 + 4); + t12 = *((unsigned int *)t10); + t13 = (~(t12)); + t14 = *((unsigned int *)t4); + t15 = (t14 & t13); + t16 = (t15 != 0); + if (t16 > 0) + goto LAB12; + +LAB13: xsi_set_current_line(52, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t5 = *((char **)t3); + t6 = ((char*)((ng3))); + memset(t4, 0, 8); + xsi_vlog_unsigned_rshift(t4, 20, t5, 20, t6, 32); + t7 = (t0 + 2088); + xsi_vlogvar_assign_value(t7, t4, 0, 0, 20); + xsi_set_current_line(54, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t5 = *((char **)t3); + memset(t4, 0, 8); + t6 = (t4 + 4); + t7 = (t5 + 4); + t12 = *((unsigned int *)t5); + t13 = (t12 >> 0); + *((unsigned int *)t4) = t13; + t14 = *((unsigned int *)t7); + t15 = (t14 >> 0); + *((unsigned int *)t6) = t15; + t16 = *((unsigned int *)t4); + *((unsigned int *)t4) = (t16 & 255U); + t22 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t22 & 255U); + t8 = (t0 + 1768); + xsi_vlogvar_assign_value(t8, t4, 0, 0, 8); + goto LAB2; + +LAB8: t9 = (t4 + 4); + *((unsigned int *)t4) = 1; + *((unsigned int *)t9) = 1; + goto LAB10; + +LAB9: *((unsigned int *)t4) = 1; + goto LAB10; + +LAB12: xsi_set_current_line(39, ng0); + +LAB14: xsi_set_current_line(40, ng0); + t11 = (t0 + 2088); + t17 = (t11 + 56U); + t18 = *((char **)t17); + t19 = ((char*)((ng3))); + memset(t20, 0, 8); + xsi_vlog_unsigned_rshift(t20, 20, t18, 20, t19, 32); + t21 = (t0 + 2088); + xsi_vlogvar_assign_value(t21, t20, 0, 0, 20); + xsi_set_current_line(41, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t5 = *((char **)t3); + memset(t4, 0, 8); + t6 = (t4 + 4); + t7 = (t5 + 4); + t12 = *((unsigned int *)t5); + t13 = (t12 >> 16); + *((unsigned int *)t4) = t13; + t14 = *((unsigned int *)t7); + t15 = (t14 >> 16); + *((unsigned int *)t6) = t15; + t16 = *((unsigned int *)t4); + *((unsigned int *)t4) = (t16 & 15U); + t22 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t22 & 15U); + t8 = ((char*)((ng4))); + memset(t20, 0, 8); + t9 = (t4 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB16; + +LAB15: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB16; + +LAB19: if (*((unsigned int *)t4) < *((unsigned int *)t8)) + goto LAB18; + +LAB17: *((unsigned int *)t20) = 1; + +LAB18: t17 = (t20 + 4); + t23 = *((unsigned int *)t17); + t24 = (~(t23)); + t25 = *((unsigned int *)t20); + t26 = (t25 & t24); + t27 = (t26 != 0); + if (t27 > 0) + goto LAB20; + +LAB21: +LAB22: xsi_set_current_line(44, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t5 = *((char **)t3); + memset(t4, 0, 8); + t6 = (t4 + 4); + t7 = (t5 + 4); + t12 = *((unsigned int *)t5); + t13 = (t12 >> 12); + *((unsigned int *)t4) = t13; + t14 = *((unsigned int *)t7); + t15 = (t14 >> 12); + *((unsigned int *)t6) = t15; + t16 = *((unsigned int *)t4); + *((unsigned int *)t4) = (t16 & 15U); + t22 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t22 & 15U); + t8 = ((char*)((ng4))); + memset(t20, 0, 8); + t9 = (t4 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB27; + +LAB26: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB27; + +LAB30: if (*((unsigned int *)t4) < *((unsigned int *)t8)) + goto LAB29; + +LAB28: *((unsigned int *)t20) = 1; + +LAB29: t17 = (t20 + 4); + t23 = *((unsigned int *)t17); + t24 = (~(t23)); + t25 = *((unsigned int *)t20); + t26 = (t25 & t24); + t27 = (t26 != 0); + if (t27 > 0) + goto LAB31; + +LAB32: +LAB33: xsi_set_current_line(47, ng0); + t2 = (t0 + 2088); + t3 = (t2 + 56U); + t5 = *((char **)t3); + memset(t4, 0, 8); + t6 = (t4 + 4); + t7 = (t5 + 4); + t12 = *((unsigned int *)t5); + t13 = (t12 >> 8); + *((unsigned int *)t4) = t13; + t14 = *((unsigned int *)t7); + t15 = (t14 >> 8); + *((unsigned int *)t6) = t15; + t16 = *((unsigned int *)t4); + *((unsigned int *)t4) = (t16 & 15U); + t22 = *((unsigned int *)t6); + *((unsigned int *)t6) = (t22 & 15U); + t8 = ((char*)((ng4))); + memset(t20, 0, 8); + t9 = (t4 + 4); + if (*((unsigned int *)t9) != 0) + goto LAB38; + +LAB37: t10 = (t8 + 4); + if (*((unsigned int *)t10) != 0) + goto LAB38; + +LAB41: if (*((unsigned int *)t4) < *((unsigned int *)t8)) + goto LAB40; + +LAB39: *((unsigned int *)t20) = 1; + +LAB40: t17 = (t20 + 4); + t23 = *((unsigned int *)t17); + t24 = (~(t23)); + t25 = *((unsigned int *)t20); + t26 = (t25 & t24); + t27 = (t26 != 0); + if (t27 > 0) + goto LAB42; + +LAB43: +LAB44: xsi_set_current_line(39, ng0); + t2 = (t0 + 1928); + t3 = (t2 + 56U); + t5 = *((char **)t3); + t6 = ((char*)((ng3))); + memset(t4, 0, 8); + xsi_vlog_unsigned_add(t4, 32, t5, 3, t6, 32); + t7 = (t0 + 1928); + xsi_vlogvar_assign_value(t7, t4, 0, 0, 3); + goto LAB6; + +LAB16: t11 = (t20 + 4); + *((unsigned int *)t20) = 1; + *((unsigned int *)t11) = 1; + goto LAB18; + +LAB20: xsi_set_current_line(41, ng0); + +LAB23: xsi_set_current_line(42, ng0); + t18 = (t0 + 2088); + t19 = (t18 + 56U); + t21 = *((char **)t19); + memset(t28, 0, 8); + t29 = (t28 + 4); + t30 = (t21 + 4); + t31 = *((unsigned int *)t21); + t32 = (t31 >> 16); + *((unsigned int *)t28) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 16); + *((unsigned int *)t29) = t34; + t35 = *((unsigned int *)t28); + *((unsigned int *)t28) = (t35 & 15U); + t36 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng6))); + t47 = ((char*)((ng7))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB24; + +LAB25: goto LAB22; + +LAB24: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB25; + +LAB27: t11 = (t20 + 4); + *((unsigned int *)t20) = 1; + *((unsigned int *)t11) = 1; + goto LAB29; + +LAB31: xsi_set_current_line(44, ng0); + +LAB34: xsi_set_current_line(45, ng0); + t18 = (t0 + 2088); + t19 = (t18 + 56U); + t21 = *((char **)t19); + memset(t28, 0, 8); + t29 = (t28 + 4); + t30 = (t21 + 4); + t31 = *((unsigned int *)t21); + t32 = (t31 >> 12); + *((unsigned int *)t28) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 12); + *((unsigned int *)t29) = t34; + t35 = *((unsigned int *)t28); + *((unsigned int *)t28) = (t35 & 15U); + t36 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng8))); + t47 = ((char*)((ng9))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB35; + +LAB36: goto LAB33; + +LAB35: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB36; + +LAB38: t11 = (t20 + 4); + *((unsigned int *)t20) = 1; + *((unsigned int *)t11) = 1; + goto LAB40; + +LAB42: xsi_set_current_line(47, ng0); + +LAB45: xsi_set_current_line(48, ng0); + t18 = (t0 + 2088); + t19 = (t18 + 56U); + t21 = *((char **)t19); + memset(t28, 0, 8); + t29 = (t28 + 4); + t30 = (t21 + 4); + t31 = *((unsigned int *)t21); + t32 = (t31 >> 8); + *((unsigned int *)t28) = t32; + t33 = *((unsigned int *)t30); + t34 = (t33 >> 8); + *((unsigned int *)t29) = t34; + t35 = *((unsigned int *)t28); + *((unsigned int *)t28) = (t35 & 15U); + t36 = *((unsigned int *)t29); + *((unsigned int *)t29) = (t36 & 15U); + t37 = ((char*)((ng5))); + memset(t38, 0, 8); + xsi_vlog_unsigned_minus(t38, 32, t28, 32, t37, 32); + t39 = (t0 + 2088); + t43 = (t0 + 2088); + t44 = (t43 + 72U); + t45 = *((char **)t44); + t46 = ((char*)((ng10))); + t47 = ((char*)((ng11))); + xsi_vlog_convert_partindices(t40, t41, t42, ((int*)(t45)), 2, t46, 32, 1, t47, 32, 1); + t48 = (t40 + 4); + t49 = *((unsigned int *)t48); + t50 = (!(t49)); + t51 = (t41 + 4); + t52 = *((unsigned int *)t51); + t53 = (!(t52)); + t54 = (t50 && t53); + t55 = (t42 + 4); + t56 = *((unsigned int *)t55); + t57 = (!(t56)); + t58 = (t54 && t57); + if (t58 == 1) + goto LAB46; + +LAB47: goto LAB44; + +LAB46: t59 = *((unsigned int *)t42); + t60 = (t59 + 0); + t61 = *((unsigned int *)t40); + t62 = *((unsigned int *)t41); + t63 = (t61 - t62); + t64 = (t63 + 1); + xsi_vlogvar_assign_value(t39, t38, t60, *((unsigned int *)t41), t64); + goto LAB47; + +} + + +extern void work_m_17579661360444318263_0092613024_init() +{ + static char *pe[] = {(void *)Always_33_0}; + xsi_register_didat("work_m_17579661360444318263_0092613024", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_17579661360444318263_0092613024.didat"); + xsi_register_executes(pe); +} |