summaryrefslogtreecommitdiff
path: root/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c
diff options
context:
space:
mode:
Diffstat (limited to 'isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c')
-rw-r--r--isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c722
1 files changed, 0 insertions, 722 deletions
diff --git a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c
deleted file mode 100644
index 938dcc2..0000000
--- a/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c
+++ /dev/null
@@ -1,722 +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/Test_ContdownController.v";
-static int ng1[] = {0, 0};
-static int ng2[] = {11, 0};
-static int ng3[] = {100, 0};
-static int ng4[] = {1, 0};
-static int ng5[] = {50, 0};
-static int ng6[] = {5, 0};
-static int ng7[] = {2, 0};
-static int ng8[] = {90, 0};
-
-
-
-static void Initial_51_0(char *t0)
-{
- char t9[8];
- char t33[8];
- char *t1;
- char *t2;
- char *t3;
- unsigned int t4;
- unsigned int t5;
- unsigned int t6;
- unsigned int t7;
- unsigned int t8;
- char *t10;
- char *t11;
- char *t12;
- char *t13;
- unsigned int t14;
- unsigned int t15;
- unsigned int t16;
- unsigned int t17;
- unsigned int t18;
- char *t19;
- char *t20;
- char *t21;
- unsigned int t22;
- unsigned int t23;
- unsigned int t24;
- unsigned int t25;
- unsigned int t26;
- unsigned int t27;
- unsigned int t28;
- unsigned int t29;
- char *t30;
- char *t31;
- char *t32;
- char *t34;
-
-LAB0: t1 = (t0 + 3480U);
- t2 = *((char **)t1);
- if (t2 == 0)
- goto LAB2;
-
-LAB3: goto *t2;
-
-LAB2: xsi_set_current_line(51, ng0);
-
-LAB4: xsi_set_current_line(53, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(54, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(55, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(56, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2088);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(57, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2248);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(60, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 100000LL);
- *((char **)t1) = &&LAB5;
-
-LAB1: return;
-LAB5: xsi_set_current_line(67, ng0);
-
-LAB6: t2 = ((char*)((ng2)));
- t3 = (t2 + 4);
- t4 = *((unsigned int *)t3);
- t5 = (~(t4));
- t6 = *((unsigned int *)t2);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB7;
-
-LAB8: goto LAB1;
-
-LAB7: xsi_set_current_line(67, ng0);
-
-LAB9: xsi_set_current_line(68, ng0);
- t10 = (t0 + 2088);
- t11 = (t10 + 56U);
- t12 = *((char **)t11);
- memset(t9, 0, 8);
- t13 = (t12 + 4);
- t14 = *((unsigned int *)t13);
- t15 = (~(t14));
- t16 = *((unsigned int *)t12);
- t17 = (t16 & t15);
- t18 = (t17 & 1U);
- if (t18 != 0)
- goto LAB13;
-
-LAB11: if (*((unsigned int *)t13) == 0)
- goto LAB10;
-
-LAB12: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
-
-LAB13: t20 = (t9 + 4);
- t21 = (t12 + 4);
- t22 = *((unsigned int *)t12);
- t23 = (~(t22));
- *((unsigned int *)t9) = t23;
- *((unsigned int *)t20) = 0;
- if (*((unsigned int *)t21) != 0)
- goto LAB15;
-
-LAB14: t28 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t28 & 1U);
- t29 = *((unsigned int *)t20);
- *((unsigned int *)t20) = (t29 & 1U);
- t30 = (t0 + 2088);
- xsi_vlogvar_assign_value(t30, t9, 0, 0, 1);
- xsi_set_current_line(68, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB16;
- goto LAB1;
-
-LAB10: *((unsigned int *)t9) = 1;
- goto LAB13;
-
-LAB15: t24 = *((unsigned int *)t9);
- t25 = *((unsigned int *)t21);
- *((unsigned int *)t9) = (t24 | t25);
- t26 = *((unsigned int *)t20);
- t27 = *((unsigned int *)t21);
- *((unsigned int *)t20) = (t26 | t27);
- goto LAB14;
-
-LAB16: xsi_set_current_line(69, ng0);
- t2 = (t0 + 2408);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng3)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- if (*((unsigned int *)t12) != 0)
- goto LAB18;
-
-LAB17: t13 = (t11 + 4);
- if (*((unsigned int *)t13) != 0)
- goto LAB18;
-
-LAB21: if (*((unsigned int *)t10) < *((unsigned int *)t11))
- goto LAB19;
-
-LAB20: t20 = (t9 + 4);
- t4 = *((unsigned int *)t20);
- t5 = (~(t4));
- t6 = *((unsigned int *)t9);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB22;
-
-LAB23:
-LAB24: goto LAB6;
-
-LAB18: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB20;
-
-LAB19: *((unsigned int *)t9) = 1;
- goto LAB20;
-
-LAB22: xsi_set_current_line(69, ng0);
-
-LAB25: xsi_set_current_line(70, ng0);
- t21 = (t0 + 2408);
- t30 = (t21 + 56U);
- t31 = *((char **)t30);
- t32 = ((char*)((ng4)));
- memset(t33, 0, 8);
- xsi_vlog_unsigned_add(t33, 32, t31, 32, t32, 32);
- t34 = (t0 + 2408);
- xsi_vlogvar_assign_value(t34, t33, 0, 0, 32);
- xsi_set_current_line(71, ng0);
- t2 = (t0 + 2408);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng5)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- t13 = (t11 + 4);
- t4 = *((unsigned int *)t10);
- t5 = *((unsigned int *)t11);
- t6 = (t4 ^ t5);
- t7 = *((unsigned int *)t12);
- t8 = *((unsigned int *)t13);
- t14 = (t7 ^ t8);
- t15 = (t6 | t14);
- t16 = *((unsigned int *)t12);
- t17 = *((unsigned int *)t13);
- t18 = (t16 | t17);
- t22 = (~(t18));
- t23 = (t15 & t22);
- if (t23 != 0)
- goto LAB29;
-
-LAB26: if (t18 != 0)
- goto LAB28;
-
-LAB27: *((unsigned int *)t9) = 1;
-
-LAB29: t20 = (t9 + 4);
- t24 = *((unsigned int *)t20);
- t25 = (~(t24));
- t26 = *((unsigned int *)t9);
- t27 = (t26 & t25);
- t28 = (t27 != 0);
- if (t28 > 0)
- goto LAB30;
-
-LAB31:
-LAB32: xsi_set_current_line(85, ng0);
- t2 = (t0 + 2408);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng8)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- t13 = (t11 + 4);
- t4 = *((unsigned int *)t10);
- t5 = *((unsigned int *)t11);
- t6 = (t4 ^ t5);
- t7 = *((unsigned int *)t12);
- t8 = *((unsigned int *)t13);
- t14 = (t7 ^ t8);
- t15 = (t6 | t14);
- t16 = *((unsigned int *)t12);
- t17 = *((unsigned int *)t13);
- t18 = (t16 | t17);
- t22 = (~(t18));
- t23 = (t15 & t22);
- if (t23 != 0)
- goto LAB83;
-
-LAB80: if (t18 != 0)
- goto LAB82;
-
-LAB81: *((unsigned int *)t9) = 1;
-
-LAB83: t20 = (t9 + 4);
- t24 = *((unsigned int *)t20);
- t25 = (~(t24));
- t26 = *((unsigned int *)t9);
- t27 = (t26 & t25);
- t28 = (t27 != 0);
- if (t28 > 0)
- goto LAB84;
-
-LAB85:
-LAB86: goto LAB24;
-
-LAB28: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB29;
-
-LAB30: xsi_set_current_line(71, ng0);
-
-LAB33: xsi_set_current_line(72, ng0);
- xsi_set_current_line(72, ng0);
- t21 = ((char*)((ng1)));
- t30 = (t0 + 2568);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 4);
-
-LAB34: t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng6)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- if (*((unsigned int *)t12) != 0)
- goto LAB36;
-
-LAB35: t13 = (t11 + 4);
- if (*((unsigned int *)t13) != 0)
- goto LAB36;
-
-LAB39: if (*((unsigned int *)t10) < *((unsigned int *)t11))
- goto LAB37;
-
-LAB38: t20 = (t9 + 4);
- t4 = *((unsigned int *)t20);
- t5 = (~(t4));
- t6 = *((unsigned int *)t9);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB40;
-
-LAB41: xsi_set_current_line(78, ng0);
- xsi_set_current_line(78, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 2568);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);
-
-LAB57: t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng7)));
- memset(t9, 0, 8);
- t12 = (t10 + 4);
- if (*((unsigned int *)t12) != 0)
- goto LAB59;
-
-LAB58: t13 = (t11 + 4);
- if (*((unsigned int *)t13) != 0)
- goto LAB59;
-
-LAB62: if (*((unsigned int *)t10) < *((unsigned int *)t11))
- goto LAB60;
-
-LAB61: t20 = (t9 + 4);
- t4 = *((unsigned int *)t20);
- t5 = (~(t4));
- t6 = *((unsigned int *)t9);
- t7 = (t6 & t5);
- t8 = (t7 != 0);
- if (t8 > 0)
- goto LAB63;
-
-LAB64: goto LAB32;
-
-LAB36: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB38;
-
-LAB37: *((unsigned int *)t9) = 1;
- goto LAB38;
-
-LAB40: xsi_set_current_line(72, ng0);
-
-LAB42: xsi_set_current_line(73, ng0);
- t21 = ((char*)((ng4)));
- t30 = (t0 + 1608);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 1);
- xsi_set_current_line(73, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB43;
- goto LAB1;
-
-LAB43: xsi_set_current_line(74, ng0);
- t3 = (t0 + 2088);
- t10 = (t3 + 56U);
- t11 = *((char **)t10);
- memset(t9, 0, 8);
- t12 = (t11 + 4);
- t4 = *((unsigned int *)t12);
- t5 = (~(t4));
- t6 = *((unsigned int *)t11);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB47;
-
-LAB45: if (*((unsigned int *)t12) == 0)
- goto LAB44;
-
-LAB46: t13 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t13) = 1;
-
-LAB47: t19 = (t9 + 4);
- t20 = (t11 + 4);
- t14 = *((unsigned int *)t11);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t19) = 0;
- if (*((unsigned int *)t20) != 0)
- goto LAB49;
-
-LAB48: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t19);
- *((unsigned int *)t19) = (t24 & 1U);
- t21 = (t0 + 2088);
- xsi_vlogvar_assign_value(t21, t9, 0, 0, 1);
- xsi_set_current_line(75, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1608);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(75, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB50;
- goto LAB1;
-
-LAB44: *((unsigned int *)t9) = 1;
- goto LAB47;
-
-LAB49: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t20);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t19);
- t22 = *((unsigned int *)t20);
- *((unsigned int *)t19) = (t18 | t22);
- goto LAB48;
-
-LAB50: xsi_set_current_line(76, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB54;
-
-LAB52: if (*((unsigned int *)t11) == 0)
- goto LAB51;
-
-LAB53: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB54: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB56;
-
-LAB55: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(72, ng0);
- t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng4)));
- memset(t9, 0, 8);
- xsi_vlog_unsigned_add(t9, 32, t10, 4, t11, 32);
- t12 = (t0 + 2568);
- xsi_vlogvar_assign_value(t12, t9, 0, 0, 4);
- goto LAB34;
-
-LAB51: *((unsigned int *)t9) = 1;
- goto LAB54;
-
-LAB56: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB55;
-
-LAB59: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB61;
-
-LAB60: *((unsigned int *)t9) = 1;
- goto LAB61;
-
-LAB63: xsi_set_current_line(78, ng0);
-
-LAB65: xsi_set_current_line(79, ng0);
- t21 = ((char*)((ng4)));
- t30 = (t0 + 1768);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 1);
- xsi_set_current_line(79, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB66;
- goto LAB1;
-
-LAB66: xsi_set_current_line(80, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB70;
-
-LAB68: if (*((unsigned int *)t11) == 0)
- goto LAB67;
-
-LAB69: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB70: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB72;
-
-LAB71: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(81, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1768);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- xsi_set_current_line(81, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB73;
- goto LAB1;
-
-LAB67: *((unsigned int *)t9) = 1;
- goto LAB70;
-
-LAB72: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB71;
-
-LAB73: xsi_set_current_line(82, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB77;
-
-LAB75: if (*((unsigned int *)t11) == 0)
- goto LAB74;
-
-LAB76: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB77: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB79;
-
-LAB78: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(78, ng0);
- t2 = (t0 + 2568);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- t11 = ((char*)((ng4)));
- memset(t9, 0, 8);
- xsi_vlog_unsigned_add(t9, 32, t10, 4, t11, 32);
- t12 = (t0 + 2568);
- xsi_vlogvar_assign_value(t12, t9, 0, 0, 4);
- goto LAB57;
-
-LAB74: *((unsigned int *)t9) = 1;
- goto LAB77;
-
-LAB79: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB78;
-
-LAB82: t19 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t19) = 1;
- goto LAB83;
-
-LAB84: xsi_set_current_line(85, ng0);
-
-LAB87: xsi_set_current_line(86, ng0);
- t21 = ((char*)((ng4)));
- t30 = (t0 + 1928);
- xsi_vlogvar_assign_value(t30, t21, 0, 0, 1);
- xsi_set_current_line(86, ng0);
- t2 = (t0 + 3288);
- xsi_process_wait(t2, 1000LL);
- *((char **)t1) = &&LAB88;
- goto LAB1;
-
-LAB88: xsi_set_current_line(86, ng0);
- t2 = (t0 + 2088);
- t3 = (t2 + 56U);
- t10 = *((char **)t3);
- memset(t9, 0, 8);
- t11 = (t10 + 4);
- t4 = *((unsigned int *)t11);
- t5 = (~(t4));
- t6 = *((unsigned int *)t10);
- t7 = (t6 & t5);
- t8 = (t7 & 1U);
- if (t8 != 0)
- goto LAB92;
-
-LAB90: if (*((unsigned int *)t11) == 0)
- goto LAB89;
-
-LAB91: t12 = (t9 + 4);
- *((unsigned int *)t9) = 1;
- *((unsigned int *)t12) = 1;
-
-LAB92: t13 = (t9 + 4);
- t19 = (t10 + 4);
- t14 = *((unsigned int *)t10);
- t15 = (~(t14));
- *((unsigned int *)t9) = t15;
- *((unsigned int *)t13) = 0;
- if (*((unsigned int *)t19) != 0)
- goto LAB94;
-
-LAB93: t23 = *((unsigned int *)t9);
- *((unsigned int *)t9) = (t23 & 1U);
- t24 = *((unsigned int *)t13);
- *((unsigned int *)t13) = (t24 & 1U);
- t20 = (t0 + 2088);
- xsi_vlogvar_assign_value(t20, t9, 0, 0, 1);
- xsi_set_current_line(86, ng0);
- t2 = ((char*)((ng1)));
- t3 = (t0 + 1928);
- xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
- goto LAB86;
-
-LAB89: *((unsigned int *)t9) = 1;
- goto LAB92;
-
-LAB94: t16 = *((unsigned int *)t9);
- t17 = *((unsigned int *)t19);
- *((unsigned int *)t9) = (t16 | t17);
- t18 = *((unsigned int *)t13);
- t22 = *((unsigned int *)t19);
- *((unsigned int *)t13) = (t18 | t22);
- goto LAB93;
-
-}
-
-
-extern void work_m_09637473393135046702_3413554552_init()
-{
- static char *pe[] = {(void *)Initial_51_0};
- xsi_register_didat("work_m_09637473393135046702_3413554552", "isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.didat");
- xsi_register_executes(pe);
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 07:13:22 +0000