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, 722 insertions, 0 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
new file mode 100644
index 0000000..938dcc2
--- /dev/null
+++ b/isim/Test_ContdownController_isim_beh.exe.sim/work/m_09637473393135046702_3413554552.c
@@ -0,0 +1,722 @@
+/**********************************************************************/
+/* ____ ____ */
+/* / /\/ / */
+/* /___/ \ / */
+/* \ \ \/ */
+/* \ \ 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-06 04:41:34 +0000