static void Monitor_56_4_Func(char *t0) { char t20[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t21; LAB0: t1 = (t0 + 1428U); t2 = *((char **)t1); t1 = (t0 + 1932); t3 = (t1 + 36U); t4 = *((char **)t3); t5 = (t0 + 2024); t6 = (t5 + 36U); t7 = *((char **)t6); t8 = (t0 + 600U); t9 = *((char **)t8); t8 = (t0 + 1244U); t10 = *((char **)t8); t8 = (t0 + 692U); t11 = *((char **)t8); t8 = (t0 + 1336U); t12 = *((char **)t8); t8 = (t0 + 784U); t13 = *((char **)t8); t8 = (t0 + 1060U); t14 = *((char **)t8); t8 = (t0 + 2116); t15 = (t8 + 36U); t16 = *((char **)t15); t17 = (t0 + 2208); t18 = (t17 + 36U); t19 = *((char **)t18); t21 = xsi_vlog_time(t20, 1000.0000000000000, 1000.0000000000000); xsi_vlogfile_write(1, 0, 3, ng0, 13, t0, (char)118, t2, 7, (char)118, t4, 1, (char)118, t7, 1, (char)118, t9, 16, (char)118, t10, 17, (char)118, t11, 16, (char)118, t12, 16, (char)118, t13, 16, (char)118, t14, 16, (char)118, t16, 1, (char)118, t19, 1, (char)118, t20, 64); LAB1: return; }
static void Monitor_60_2_Func(char *t0) { char t1[16]; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; LAB0: t2 = xsi_vlog_time(t1, 1000.0000000000000, 1.0000000000000000); xsi_vlogfile_write(0, 0, 3, ng0, 2, t0, (char)118, t1, 64); xsi_vlogfile_write(0, 0, 3, ng1, 1, t0); t3 = (t0 + 1168); t4 = (t3 + 36U); t5 = *((char **)t4); xsi_vlogfile_write(0, 0, 3, ng2, 2, t0, (char)118, t5, 1); t6 = (t0 + 984); t7 = (t6 + 36U); t8 = *((char **)t7); xsi_vlogfile_write(0, 0, 3, ng3, 2, t0, (char)118, t8, 4); xsi_vlogfile_write(0, 0, 3, ng1, 1, t0); t9 = (t0 + 1076); t10 = (t9 + 36U); t11 = *((char **)t10); xsi_vlogfile_write(0, 0, 3, ng3, 2, t0, (char)118, t11, 4); xsi_vlogfile_write(0, 0, 3, ng1, 1, t0); t12 = (t0 + 756U); t13 = *((char **)t12); xsi_vlogfile_write(1, 0, 3, ng3, 2, t0, (char)118, t13, 4); LAB1: return; }
static void Always_1181_1(char *t0) { char t4[16]; char t7[16]; char t16[8]; char t43[8]; char t49[8]; char t52[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; char *t14; char *t15; char *t17; char *t18; unsigned int t19; unsigned int t20; unsigned int 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; unsigned int t30; char *t31; char *t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; char *t38; char *t39; char *t40; double t41; double t42; char *t44; char *t45; char *t46; double t47; double t48; double t50; double t51; LAB0: t1 = (t0 + 1840U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 2036); *((int *)t2) = 1; t3 = (t0 + 1868); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: LAB5: t5 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000); t6 = (t0 + 1080); xsi_vlogvar_wait_assign_value(t6, t4, 0, 0, 64, 0LL); t2 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000); t3 = (t0 + 1080); t5 = (t3 + 36U); t6 = *((char **)t5); xsi_vlog_unsigned_minus(t7, 64, t4, 64, t6, 64); t8 = (t0 + 1172); xsi_vlogvar_assign_value(t8, t7, 0, 0, 64); t2 = (t0 + 1172); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 344); t8 = *((char **)t6); xsi_vlog_unsigned_greater(t4, 64, t5, 64, t8, 32); t6 = (t4 + 4); t9 = *((unsigned int *)t6); t10 = (~(t9)); t11 = *((unsigned int *)t4); t12 = (t11 & t10); t13 = (t12 != 0); if (t13 > 0) goto LAB6; LAB7: LAB8: goto LAB2; LAB6: LAB9: t14 = (t0 + 852U); t15 = *((char **)t14); t14 = ((char*)((ng1))); memset(t16, 0, 8); t17 = (t15 + 4); t18 = (t14 + 4); t19 = *((unsigned int *)t15); t20 = *((unsigned int *)t14); t21 = (t19 ^ t20); t22 = *((unsigned int *)t17); t23 = *((unsigned int *)t18); t24 = (t22 ^ t23); t25 = (t21 | t24); t26 = *((unsigned int *)t17); t27 = *((unsigned int *)t18); t28 = (t26 | t27); t29 = (~(t28)); t30 = (t25 & t29); if (t30 != 0) goto LAB13; LAB10: if (t28 != 0) goto LAB12; LAB11: *((unsigned int *)t16) = 1; LAB13: t32 = (t16 + 4); t33 = *((unsigned int *)t32); t34 = (~(t33)); t35 = *((unsigned int *)t16); t36 = (t35 & t34); t37 = (t36 != 0); if (t37 > 0) goto LAB14; LAB15: LAB16: goto LAB8; LAB12: t31 = (t16 + 4); *((unsigned int *)t16) = 1; *((unsigned int *)t31) = 1; goto LAB13; LAB14: t38 = (t0 + 1172); t39 = (t38 + 36U); t40 = *((char **)t39); t41 = xsi_vlog_convert_to_real(t40, 64, 2); t42 = (t41 / 1000.0000000000000); *((double *)t43) = t42; t44 = (t0 + 264); t45 = *((char **)t44); t44 = (t0 + 344); t46 = *((char **)t44); t47 = xsi_vlog_convert_to_real(t46, 32, 1); t48 = (t47 / 1000.0000000000000); *((double *)t49) = t48; t44 = xsi_vlog_time(t7, 1.0000000000000000, 1.0000000000000000); t50 = xsi_vlog_convert_to_real(t7, 64, 2); t51 = (t50 / 1000.0000000000000); *((double *)t52) = t51; xsi_vlogfile_write(1, 0, 0, ng2, 5, t0, (char)114, t43, 64, (char)118, t45, 40, (char)114, t49, 64, (char)114, t52, 64); goto LAB16; }
static void Always_1393_1(char *t0) { char t4[16]; char t7[16]; char t19[8]; char t25[8]; char t28[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; char *t14; char *t15; char *t16; double t17; double t18; char *t20; char *t21; char *t22; double t23; double t24; double t26; double t27; LAB0: t1 = (t0 + 1748U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1944); *((int *)t2) = 1; t3 = (t0 + 1776); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: LAB5: t5 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000); t6 = (t0 + 988); xsi_vlogvar_wait_assign_value(t6, t4, 0, 0, 64, 0LL); t2 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000); t3 = (t0 + 988); t5 = (t3 + 36U); t6 = *((char **)t5); xsi_vlog_unsigned_minus(t7, 64, t4, 64, t6, 64); t8 = (t0 + 1080); xsi_vlogvar_wait_assign_value(t8, t7, 0, 0, 64, 0LL); t2 = (t0 + 1080); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 344); t8 = *((char **)t6); xsi_vlog_unsigned_greater(t4, 64, t5, 64, t8, 32); t6 = (t4 + 4); t9 = *((unsigned int *)t6); t10 = (~(t9)); t11 = *((unsigned int *)t4); t12 = (t11 & t10); t13 = (t12 != 0); if (t13 > 0) goto LAB6; LAB7: LAB8: goto LAB2; LAB6: LAB9: t14 = (t0 + 1080); t15 = (t14 + 36U); t16 = *((char **)t15); t17 = xsi_vlog_convert_to_real(t16, 64, 2); t18 = (t17 / 1000.0000000000000); *((double *)t19) = t18; t20 = (t0 + 264); t21 = *((char **)t20); t20 = (t0 + 344); t22 = *((char **)t20); t23 = xsi_vlog_convert_to_real(t22, 32, 1); t24 = (t23 / 1000.0000000000000); *((double *)t25) = t24; t20 = xsi_vlog_time(t7, 1.0000000000000000, 1.0000000000000000); t26 = xsi_vlog_convert_to_real(t7, 64, 2); t27 = (t26 / 1000.0000000000000); *((double *)t28) = t27; xsi_vlogfile_write(1, 0, 0, ng1, 5, t0, (char)114, t19, 64, (char)118, t21, 40, (char)114, t25, 64, (char)114, t28, 64); goto LAB8; }
static void Always_78_2(char *t0) { char t6[8]; char t32[8]; char t45[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; char *t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int 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; char *t21; char *t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; char *t28; char *t29; char *t30; char *t31; char *t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; char *t39; char *t40; char *t41; char *t42; char *t43; char *t44; LAB0: t1 = (t0 + 5024U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(78, ng0); t2 = (t0 + 5344); *((int *)t2) = 1; t3 = (t0 + 5056); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(78, ng0); LAB5: xsi_set_current_line(79, ng0); t4 = (t0 + 2096U); t5 = *((char **)t4); t4 = ((char*)((ng5))); memset(t6, 0, 8); t7 = (t5 + 4); t8 = (t4 + 4); t9 = *((unsigned int *)t5); t10 = *((unsigned int *)t4); t11 = (t9 ^ t10); t12 = *((unsigned int *)t7); t13 = *((unsigned int *)t8); t14 = (t12 ^ t13); t15 = (t11 | t14); t16 = *((unsigned int *)t7); t17 = *((unsigned int *)t8); t18 = (t16 | t17); t19 = (~(t18)); t20 = (t15 & t19); if (t20 != 0) goto LAB9; LAB6: if (t18 != 0) goto LAB8; LAB7: *((unsigned int *)t6) = 1; LAB9: t22 = (t6 + 4); t23 = *((unsigned int *)t22); t24 = (~(t23)); t25 = *((unsigned int *)t6); t26 = (t25 & t24); t27 = (t26 != 0); if (t27 > 0) goto LAB10; LAB11: xsi_set_current_line(102, ng0); LAB27: xsi_set_current_line(103, ng0); t2 = (t0 + 3296); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng1))); memset(t6, 0, 8); xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32); t7 = (t0 + 3296); xsi_vlogvar_wait_assign_value(t7, t6, 0, 0, 32, 0LL); xsi_set_current_line(104, ng0); t2 = ((char*)((ng4))); t3 = (t0 + 2976); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); LAB12: goto LAB2; LAB8: t21 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t21) = 1; goto LAB9; LAB10: xsi_set_current_line(79, ng0); LAB13: xsi_set_current_line(80, ng0); t28 = (t0 + 3296); t29 = (t28 + 56U); t30 = *((char **)t29); t31 = ((char*)((ng4))); memset(t32, 0, 8); xsi_vlog_signed_not_equal(t32, 32, t30, 32, t31, 32); t33 = (t32 + 4); t34 = *((unsigned int *)t33); t35 = (~(t34)); t36 = *((unsigned int *)t32); t37 = (t36 & t35); t38 = (t37 != 0); if (t38 > 0) goto LAB14; LAB15: LAB16: xsi_set_current_line(84, ng0); t2 = (t0 + 2416U); t3 = *((char **)t2); t2 = ((char*)((ng5))); memset(t6, 0, 8); t4 = (t3 + 4); t5 = (t2 + 4); t9 = *((unsigned int *)t3); t10 = *((unsigned int *)t2); t11 = (t9 ^ t10); t12 = *((unsigned int *)t4); t13 = *((unsigned int *)t5); t14 = (t12 ^ t13); t15 = (t11 | t14); t16 = *((unsigned int *)t4); t17 = *((unsigned int *)t5); t18 = (t16 | t17); t19 = (~(t18)); t20 = (t15 & t19); if (t20 != 0) goto LAB21; LAB18: if (t18 != 0) goto LAB20; LAB19: *((unsigned int *)t6) = 1; LAB21: t8 = (t6 + 4); t23 = *((unsigned int *)t8); t24 = (~(t23)); t25 = *((unsigned int *)t6); t26 = (t25 & t24); t27 = (t26 != 0); if (t27 > 0) goto LAB22; LAB23: xsi_set_current_line(89, ng0); LAB26: xsi_set_current_line(90, ng0); t2 = ((char*)((ng8))); t3 = (t0 + 3616); xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); xsi_set_current_line(91, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2976); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); LAB24: xsi_set_current_line(94, ng0); t2 = (t0 + 3136); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 1616U); t7 = *((char **)t5); t5 = (t0 + 1776U); t8 = *((char **)t5); t5 = (t0 + 1936U); t21 = *((char **)t5); t5 = (t0 + 3616); t22 = (t5 + 56U); t28 = *((char **)t22); t29 = xsi_vlog_time(t45, 10.000000000000000, 10.000000000000000); xsi_vlogfile_fwrite(*((unsigned int *)t4), 0, 0, 1, ng9, 6, t0, (char)118, t7, 256, (char)118, t8, 32, (char)118, t21, 128, (char)118, t28, 16, (char)118, t45, 64); goto LAB12; LAB14: xsi_set_current_line(80, ng0); LAB17: xsi_set_current_line(81, ng0); t39 = (t0 + 3136); t40 = (t39 + 56U); t41 = *((char **)t40); t42 = (t0 + 3296); t43 = (t42 + 56U); t44 = *((char **)t43); xsi_vlogfile_fwrite(*((unsigned int *)t41), 0, 0, 1, ng6, 2, t0, (char)119, t44, 32); xsi_set_current_line(82, ng0); t2 = ((char*)((ng4))); t3 = (t0 + 3296); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 32, 0LL); goto LAB16; LAB20: t7 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t7) = 1; goto LAB21; LAB22: xsi_set_current_line(84, ng0); LAB25: xsi_set_current_line(85, ng0); t21 = ((char*)((ng7))); t22 = (t0 + 3616); xsi_vlogvar_assign_value(t22, t21, 0, 0, 16); xsi_set_current_line(86, ng0); t2 = (t0 + 2816); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng1))); memset(t6, 0, 8); xsi_vlog_unsigned_add(t6, 32, t4, 8, t5, 32); t7 = (t0 + 2816); xsi_vlogvar_wait_assign_value(t7, t6, 0, 0, 8, 0LL); xsi_set_current_line(87, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2976); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); goto LAB24; }
static void Always_88_6(char *t0) { char t6[8]; char t22[8]; char t37[8]; char t45[8]; char t77[8]; char t89[8]; char t98[8]; char t106[8]; char t144[16]; char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; unsigned int t14; unsigned int t15; unsigned int t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; char *t36; char *t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; char *t44; unsigned int t46; unsigned int t47; unsigned int t48; char *t49; char *t50; char *t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; char *t59; char *t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; int t69; int t70; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; unsigned int t75; unsigned int t76; char *t78; unsigned int t79; unsigned int t80; unsigned int t81; unsigned int t82; unsigned int t83; char *t84; char *t85; unsigned int t86; unsigned int t87; unsigned int t88; char *t90; char *t91; unsigned int t92; unsigned int t93; unsigned int t94; unsigned int t95; unsigned int t96; char *t97; char *t99; unsigned int t100; unsigned int t101; unsigned int t102; unsigned int t103; unsigned int t104; char *t105; unsigned int t107; unsigned int t108; unsigned int t109; char *t110; char *t111; char *t112; unsigned int t113; unsigned int t114; unsigned int t115; unsigned int t116; unsigned int t117; unsigned int t118; unsigned int t119; char *t120; char *t121; unsigned int t122; unsigned int t123; unsigned int t124; unsigned int t125; unsigned int t126; unsigned int t127; unsigned int t128; unsigned int t129; int t130; int t131; unsigned int t132; unsigned int t133; unsigned int t134; unsigned int t135; unsigned int t136; unsigned int t137; char *t138; unsigned int t139; unsigned int t140; unsigned int t141; unsigned int t142; unsigned int t143; char *t145; LAB0: t1 = (t0 + 6312U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(88, ng0); t2 = (t0 + 6728); *((int *)t2) = 1; t3 = (t0 + 6344); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(89, ng0); LAB5: xsi_set_current_line(90, ng0); t4 = (t0 + 1752U); t5 = *((char **)t4); memset(t6, 0, 8); t4 = (t5 + 4); t7 = *((unsigned int *)t4); t8 = (~(t7)); t9 = *((unsigned int *)t5); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB6; LAB7: if (*((unsigned int *)t4) != 0) goto LAB8; LAB9: t13 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t13); t16 = (t14 || t15); if (t16 > 0) goto LAB10; LAB11: memcpy(t45, t6, 8); LAB12: memset(t77, 0, 8); t78 = (t45 + 4); t79 = *((unsigned int *)t78); t80 = (~(t79)); t81 = *((unsigned int *)t45); t82 = (t81 & t80); t83 = (t82 & 1U); if (t83 != 0) goto LAB24; LAB25: if (*((unsigned int *)t78) != 0) goto LAB26; LAB27: t85 = (t77 + 4); t86 = *((unsigned int *)t77); t87 = *((unsigned int *)t85); t88 = (t86 || t87); if (t88 > 0) goto LAB28; LAB29: memcpy(t106, t77, 8); LAB30: t138 = (t106 + 4); t139 = *((unsigned int *)t138); t140 = (~(t139)); t141 = *((unsigned int *)t106); t142 = (t141 & t140); t143 = (t142 != 0); if (t143 > 0) goto LAB42; LAB43: LAB44: xsi_set_current_line(92, ng0); t2 = (t0 + 1912U); t3 = *((char **)t2); memset(t6, 0, 8); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB45; LAB46: if (*((unsigned int *)t2) != 0) goto LAB47; LAB48: t5 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t5); t16 = (t14 || t15); if (t16 > 0) goto LAB49; LAB50: memcpy(t45, t6, 8); LAB51: t59 = (t45 + 4); t79 = *((unsigned int *)t59); t80 = (~(t79)); t81 = *((unsigned int *)t45); t82 = (t81 & t80); t83 = (t82 != 0); if (t83 > 0) goto LAB63; LAB64: LAB65: goto LAB2; LAB6: *((unsigned int *)t6) = 1; goto LAB9; LAB8: t12 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t12) = 1; goto LAB9; LAB10: t17 = (t0 + 3912); t18 = (t17 + 56U); t19 = *((char **)t18); t20 = (t0 + 880); t21 = *((char **)t20); memset(t22, 0, 8); t20 = (t19 + 4); t23 = (t21 + 4); t24 = *((unsigned int *)t19); t25 = *((unsigned int *)t21); t26 = (t24 ^ t25); t27 = *((unsigned int *)t20); t28 = *((unsigned int *)t23); t29 = (t27 ^ t28); t30 = (t26 | t29); t31 = *((unsigned int *)t20); t32 = *((unsigned int *)t23); t33 = (t31 | t32); t34 = (~(t33)); t35 = (t30 & t34); if (t35 != 0) goto LAB16; LAB13: if (t33 != 0) goto LAB15; LAB14: *((unsigned int *)t22) = 1; LAB16: memset(t37, 0, 8); t38 = (t22 + 4); t39 = *((unsigned int *)t38); t40 = (~(t39)); t41 = *((unsigned int *)t22); t42 = (t41 & t40); t43 = (t42 & 1U); if (t43 != 0) goto LAB17; LAB18: if (*((unsigned int *)t38) != 0) goto LAB19; LAB20: t46 = *((unsigned int *)t6); t47 = *((unsigned int *)t37); t48 = (t46 & t47); *((unsigned int *)t45) = t48; t49 = (t6 + 4); t50 = (t37 + 4); t51 = (t45 + 4); t52 = *((unsigned int *)t49); t53 = *((unsigned int *)t50); t54 = (t52 | t53); *((unsigned int *)t51) = t54; t55 = *((unsigned int *)t51); t56 = (t55 != 0); if (t56 == 1) goto LAB21; LAB22: LAB23: goto LAB12; LAB15: t36 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t36) = 1; goto LAB16; LAB17: *((unsigned int *)t37) = 1; goto LAB20; LAB19: t44 = (t37 + 4); *((unsigned int *)t37) = 1; *((unsigned int *)t44) = 1; goto LAB20; LAB21: t57 = *((unsigned int *)t45); t58 = *((unsigned int *)t51); *((unsigned int *)t45) = (t57 | t58); t59 = (t6 + 4); t60 = (t37 + 4); t61 = *((unsigned int *)t6); t62 = (~(t61)); t63 = *((unsigned int *)t59); t64 = (~(t63)); t65 = *((unsigned int *)t37); t66 = (~(t65)); t67 = *((unsigned int *)t60); t68 = (~(t67)); t69 = (t62 & t64); t70 = (t66 & t68); t71 = (~(t69)); t72 = (~(t70)); t73 = *((unsigned int *)t51); *((unsigned int *)t51) = (t73 & t71); t74 = *((unsigned int *)t51); *((unsigned int *)t51) = (t74 & t72); t75 = *((unsigned int *)t45); *((unsigned int *)t45) = (t75 & t71); t76 = *((unsigned int *)t45); *((unsigned int *)t45) = (t76 & t72); goto LAB23; LAB24: *((unsigned int *)t77) = 1; goto LAB27; LAB26: t84 = (t77 + 4); *((unsigned int *)t77) = 1; *((unsigned int *)t84) = 1; goto LAB27; LAB28: t90 = (t0 + 1912U); t91 = *((char **)t90); memset(t89, 0, 8); t90 = (t91 + 4); t92 = *((unsigned int *)t90); t93 = (~(t92)); t94 = *((unsigned int *)t91); t95 = (t94 & t93); t96 = (t95 & 1U); if (t96 != 0) goto LAB34; LAB32: if (*((unsigned int *)t90) == 0) goto LAB31; LAB33: t97 = (t89 + 4); *((unsigned int *)t89) = 1; *((unsigned int *)t97) = 1; LAB34: memset(t98, 0, 8); t99 = (t89 + 4); t100 = *((unsigned int *)t99); t101 = (~(t100)); t102 = *((unsigned int *)t89); t103 = (t102 & t101); t104 = (t103 & 1U); if (t104 != 0) goto LAB35; LAB36: if (*((unsigned int *)t99) != 0) goto LAB37; LAB38: t107 = *((unsigned int *)t77); t108 = *((unsigned int *)t98); t109 = (t107 & t108); *((unsigned int *)t106) = t109; t110 = (t77 + 4); t111 = (t98 + 4); t112 = (t106 + 4); t113 = *((unsigned int *)t110); t114 = *((unsigned int *)t111); t115 = (t113 | t114); *((unsigned int *)t112) = t115; t116 = *((unsigned int *)t112); t117 = (t116 != 0); if (t117 == 1) goto LAB39; LAB40: LAB41: goto LAB30; LAB31: *((unsigned int *)t89) = 1; goto LAB34; LAB35: *((unsigned int *)t98) = 1; goto LAB38; LAB37: t105 = (t98 + 4); *((unsigned int *)t98) = 1; *((unsigned int *)t105) = 1; goto LAB38; LAB39: t118 = *((unsigned int *)t106); t119 = *((unsigned int *)t112); *((unsigned int *)t106) = (t118 | t119); t120 = (t77 + 4); t121 = (t98 + 4); t122 = *((unsigned int *)t77); t123 = (~(t122)); t124 = *((unsigned int *)t120); t125 = (~(t124)); t126 = *((unsigned int *)t98); t127 = (~(t126)); t128 = *((unsigned int *)t121); t129 = (~(t128)); t130 = (t123 & t125); t131 = (t127 & t129); t132 = (~(t130)); t133 = (~(t131)); t134 = *((unsigned int *)t112); *((unsigned int *)t112) = (t134 & t132); t135 = *((unsigned int *)t112); *((unsigned int *)t112) = (t135 & t133); t136 = *((unsigned int *)t106); *((unsigned int *)t106) = (t136 & t132); t137 = *((unsigned int *)t106); *((unsigned int *)t106) = (t137 & t133); goto LAB41; LAB42: xsi_set_current_line(91, ng0); t145 = xsi_vlog_time(t144, 10000.000000000000, 1000.0000000000000); xsi_vlogfile_write(0, 0, 0, ng4, 2, t0, (char)118, t144, 64); xsi_vlogfile_write(1, 0, 0, ng5, 1, t0); goto LAB44; LAB45: *((unsigned int *)t6) = 1; goto LAB48; LAB47: t4 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t4) = 1; goto LAB48; LAB49: t12 = (t0 + 3912); t13 = (t12 + 56U); t17 = *((char **)t13); t18 = ((char*)((ng1))); memset(t22, 0, 8); t19 = (t17 + 4); t20 = (t18 + 4); t24 = *((unsigned int *)t17); t25 = *((unsigned int *)t18); t26 = (t24 ^ t25); t27 = *((unsigned int *)t19); t28 = *((unsigned int *)t20); t29 = (t27 ^ t28); t30 = (t26 | t29); t31 = *((unsigned int *)t19); t32 = *((unsigned int *)t20); t33 = (t31 | t32); t34 = (~(t33)); t35 = (t30 & t34); if (t35 != 0) goto LAB55; LAB52: if (t33 != 0) goto LAB54; LAB53: *((unsigned int *)t22) = 1; LAB55: memset(t37, 0, 8); t23 = (t22 + 4); t39 = *((unsigned int *)t23); t40 = (~(t39)); t41 = *((unsigned int *)t22); t42 = (t41 & t40); t43 = (t42 & 1U); if (t43 != 0) goto LAB56; LAB57: if (*((unsigned int *)t23) != 0) goto LAB58; LAB59: t46 = *((unsigned int *)t6); t47 = *((unsigned int *)t37); t48 = (t46 & t47); *((unsigned int *)t45) = t48; t38 = (t6 + 4); t44 = (t37 + 4); t49 = (t45 + 4); t52 = *((unsigned int *)t38); t53 = *((unsigned int *)t44); t54 = (t52 | t53); *((unsigned int *)t49) = t54; t55 = *((unsigned int *)t49); t56 = (t55 != 0); if (t56 == 1) goto LAB60; LAB61: LAB62: goto LAB51; LAB54: t21 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t21) = 1; goto LAB55; LAB56: *((unsigned int *)t37) = 1; goto LAB59; LAB58: t36 = (t37 + 4); *((unsigned int *)t37) = 1; *((unsigned int *)t36) = 1; goto LAB59; LAB60: t57 = *((unsigned int *)t45); t58 = *((unsigned int *)t49); *((unsigned int *)t45) = (t57 | t58); t50 = (t6 + 4); t51 = (t37 + 4); t61 = *((unsigned int *)t6); t62 = (~(t61)); t63 = *((unsigned int *)t50); t64 = (~(t63)); t65 = *((unsigned int *)t37); t66 = (~(t65)); t67 = *((unsigned int *)t51); t68 = (~(t67)); t69 = (t62 & t64); t70 = (t66 & t68); t71 = (~(t69)); t72 = (~(t70)); t73 = *((unsigned int *)t49); *((unsigned int *)t49) = (t73 & t71); t74 = *((unsigned int *)t49); *((unsigned int *)t49) = (t74 & t72); t75 = *((unsigned int *)t45); *((unsigned int *)t45) = (t75 & t71); t76 = *((unsigned int *)t45); *((unsigned int *)t45) = (t76 & t72); goto LAB62; LAB63: xsi_set_current_line(93, ng0); t60 = xsi_vlog_time(t144, 10000.000000000000, 1000.0000000000000); xsi_vlogfile_write(0, 0, 0, ng4, 2, t0, (char)118, t144, 64); xsi_vlogfile_write(1, 0, 0, ng6, 1, t0); goto LAB65; }
static void Always_76_5(char *t0) { char t6[8]; char t28[16]; char t31[16]; char t33[16]; char t40[8]; char t42[8]; char t45[8]; char t80[16]; char t85[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; char *t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int 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; char *t21; char *t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; char *t29; char *t30; char *t32; double t34; char *t35; char *t36; char *t37; double t38; double t39; char *t41; char *t43; char *t44; char *t46; char *t47; char *t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; char *t56; char *t57; unsigned int t58; unsigned int t59; unsigned int t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; unsigned int t65; int t66; int t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; char *t74; unsigned int t75; unsigned int t76; unsigned int t77; unsigned int t78; unsigned int t79; char *t81; char *t82; char *t83; char *t84; char *t86; LAB0: t1 = (t0 + 5360U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 6736); *((int *)t2) = 1; t3 = (t0 + 5392); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: LAB5: t4 = (t0 + 1688U); t5 = *((char **)t4); t4 = ((char*)((ng2))); memset(t6, 0, 8); t7 = (t5 + 4); t8 = (t4 + 4); t9 = *((unsigned int *)t5); t10 = *((unsigned int *)t4); t11 = (t9 ^ t10); t12 = *((unsigned int *)t7); t13 = *((unsigned int *)t8); t14 = (t12 ^ t13); t15 = (t11 | t14); t16 = *((unsigned int *)t7); t17 = *((unsigned int *)t8); t18 = (t16 | t17); t19 = (~(t18)); t20 = (t15 & t19); if (t20 != 0) goto LAB9; LAB6: if (t18 != 0) goto LAB8; LAB7: *((unsigned int *)t6) = 1; LAB9: t22 = (t6 + 4); t23 = *((unsigned int *)t22); t24 = (~(t23)); t25 = *((unsigned int *)t6); t26 = (t25 & t24); t27 = (t26 != 0); if (t27 > 0) goto LAB10; LAB11: LAB12: goto LAB2; LAB8: t21 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t21) = 1; goto LAB9; LAB10: LAB13: t29 = xsi_vlog_time(t28, 10.000000000000000, 1.0000000000000000); t30 = (t0 + 2088); xsi_vlogvar_wait_assign_value(t30, t28, 0, 0, 64, 0LL); t2 = (t0 + 2248); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng4))); xsi_vlog_unsigned_not_equal(t28, 64, t4, 64, t5, 32); memset(t6, 0, 8); t7 = (t28 + 4); t9 = *((unsigned int *)t7); t10 = (~(t9)); t11 = *((unsigned int *)t28); t12 = (t11 & t10); t13 = (t12 & 1U); if (t13 != 0) goto LAB14; LAB15: if (*((unsigned int *)t7) != 0) goto LAB16; LAB17: t21 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t21); t16 = (t14 || t15); if (t16 > 0) goto LAB18; LAB19: memcpy(t45, t6, 8); LAB20: t74 = (t45 + 4); t75 = *((unsigned int *)t74); t76 = (~(t75)); t77 = *((unsigned int *)t45); t78 = (t77 & t76); t79 = (t78 != 0); if (t79 > 0) goto LAB28; LAB29: t2 = (t0 + 2248); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng4))); xsi_vlog_unsigned_not_equal(t28, 64, t4, 64, t5, 32); memset(t6, 0, 8); t7 = (t28 + 4); t9 = *((unsigned int *)t7); t10 = (~(t9)); t11 = *((unsigned int *)t28); t12 = (t11 & t10); t13 = (t12 & 1U); if (t13 != 0) goto LAB31; LAB32: if (*((unsigned int *)t7) != 0) goto LAB33; LAB34: t21 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t21); t16 = (t14 || t15); if (t16 > 0) goto LAB35; LAB36: memcpy(t45, t6, 8); LAB37: t74 = (t45 + 4); t75 = *((unsigned int *)t74); t76 = (~(t75)); t77 = *((unsigned int *)t45); t78 = (t77 & t76); t79 = (t78 != 0); if (t79 > 0) goto LAB45; LAB46: t2 = (t0 + 2248); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng4))); xsi_vlog_unsigned_equal(t28, 64, t4, 64, t5, 32); memset(t6, 0, 8); t7 = (t28 + 4); t9 = *((unsigned int *)t7); t10 = (~(t9)); t11 = *((unsigned int *)t28); t12 = (t11 & t10); t13 = (t12 & 1U); if (t13 != 0) goto LAB48; LAB49: if (*((unsigned int *)t7) != 0) goto LAB50; LAB51: t21 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t21); t16 = (t14 || t15); if (t16 > 0) goto LAB52; LAB53: memcpy(t42, t6, 8); LAB54: t47 = (t42 + 4); t73 = *((unsigned int *)t47); t75 = (~(t73)); t76 = *((unsigned int *)t42); t77 = (t76 & t75); t78 = (t77 != 0); if (t78 > 0) goto LAB62; LAB63: LAB64: LAB47: LAB30: goto LAB12; LAB14: *((unsigned int *)t6) = 1; goto LAB17; LAB16: t8 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t8) = 1; goto LAB17; LAB18: t22 = xsi_vlog_time(t31, 10.000000000000000, 1.0000000000000000); t29 = (t0 + 2088); t30 = (t29 + 56U); t32 = *((char **)t30); xsi_vlog_unsigned_minus(t33, 64, t31, 64, t32, 64); t34 = xsi_vlog_convert_to_real(t33, 64, 2); t35 = (t0 + 2248); t36 = (t35 + 56U); t37 = *((char **)t36); t38 = xsi_vlog_convert_to_real(t37, 64, 2); t39 = (1.5000000000000000 * t38); t17 = (t34 <= t39); *((unsigned int *)t40) = t17; t41 = (t40 + 4); *((unsigned int *)t41) = 0U; memset(t42, 0, 8); t43 = (t40 + 4); t18 = *((unsigned int *)t43); t19 = (~(t18)); t20 = *((unsigned int *)t40); t23 = (t20 & t19); t24 = (t23 & 1U); if (t24 != 0) goto LAB21; LAB22: if (*((unsigned int *)t43) != 0) goto LAB23; LAB24: t25 = *((unsigned int *)t6); t26 = *((unsigned int *)t42); t27 = (t25 & t26); *((unsigned int *)t45) = t27; t46 = (t6 + 4); t47 = (t42 + 4); t48 = (t45 + 4); t49 = *((unsigned int *)t46); t50 = *((unsigned int *)t47); t51 = (t49 | t50); *((unsigned int *)t48) = t51; t52 = *((unsigned int *)t48); t53 = (t52 != 0); if (t53 == 1) goto LAB25; LAB26: LAB27: goto LAB20; LAB21: *((unsigned int *)t42) = 1; goto LAB24; LAB23: t44 = (t42 + 4); *((unsigned int *)t42) = 1; *((unsigned int *)t44) = 1; goto LAB24; LAB25: t54 = *((unsigned int *)t45); t55 = *((unsigned int *)t48); *((unsigned int *)t45) = (t54 | t55); t56 = (t6 + 4); t57 = (t42 + 4); t58 = *((unsigned int *)t6); t59 = (~(t58)); t60 = *((unsigned int *)t56); t61 = (~(t60)); t62 = *((unsigned int *)t42); t63 = (~(t62)); t64 = *((unsigned int *)t57); t65 = (~(t64)); t66 = (t59 & t61); t67 = (t63 & t65); t68 = (~(t66)); t69 = (~(t67)); t70 = *((unsigned int *)t48); *((unsigned int *)t48) = (t70 & t68); t71 = *((unsigned int *)t48); *((unsigned int *)t48) = (t71 & t69); t72 = *((unsigned int *)t45); *((unsigned int *)t45) = (t72 & t68); t73 = *((unsigned int *)t45); *((unsigned int *)t45) = (t73 & t69); goto LAB27; LAB28: t81 = xsi_vlog_time(t80, 10.000000000000000, 1.0000000000000000); t82 = (t0 + 2088); t83 = (t82 + 56U); t84 = *((char **)t83); xsi_vlog_unsigned_minus(t85, 64, t80, 64, t84, 64); t86 = (t0 + 2248); xsi_vlogvar_wait_assign_value(t86, t85, 0, 0, 64, 0LL); goto LAB30; LAB31: *((unsigned int *)t6) = 1; goto LAB34; LAB33: t8 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t8) = 1; goto LAB34; LAB35: t22 = xsi_vlog_time(t31, 10.000000000000000, 1.0000000000000000); t29 = (t0 + 2088); t30 = (t29 + 56U); t32 = *((char **)t30); xsi_vlog_unsigned_minus(t33, 64, t31, 64, t32, 64); t34 = xsi_vlog_convert_to_real(t33, 64, 2); t35 = (t0 + 2248); t36 = (t35 + 56U); t37 = *((char **)t36); t38 = xsi_vlog_convert_to_real(t37, 64, 2); t39 = (1.5000000000000000 * t38); t17 = (t34 > t39); *((unsigned int *)t40) = t17; t41 = (t40 + 4); *((unsigned int *)t41) = 0U; memset(t42, 0, 8); t43 = (t40 + 4); t18 = *((unsigned int *)t43); t19 = (~(t18)); t20 = *((unsigned int *)t40); t23 = (t20 & t19); t24 = (t23 & 1U); if (t24 != 0) goto LAB38; LAB39: if (*((unsigned int *)t43) != 0) goto LAB40; LAB41: t25 = *((unsigned int *)t6); t26 = *((unsigned int *)t42); t27 = (t25 & t26); *((unsigned int *)t45) = t27; t46 = (t6 + 4); t47 = (t42 + 4); t48 = (t45 + 4); t49 = *((unsigned int *)t46); t50 = *((unsigned int *)t47); t51 = (t49 | t50); *((unsigned int *)t48) = t51; t52 = *((unsigned int *)t48); t53 = (t52 != 0); if (t53 == 1) goto LAB42; LAB43: LAB44: goto LAB37; LAB38: *((unsigned int *)t42) = 1; goto LAB41; LAB40: t44 = (t42 + 4); *((unsigned int *)t42) = 1; *((unsigned int *)t44) = 1; goto LAB41; LAB42: t54 = *((unsigned int *)t45); t55 = *((unsigned int *)t48); *((unsigned int *)t45) = (t54 | t55); t56 = (t6 + 4); t57 = (t42 + 4); t58 = *((unsigned int *)t6); t59 = (~(t58)); t60 = *((unsigned int *)t56); t61 = (~(t60)); t62 = *((unsigned int *)t42); t63 = (~(t62)); t64 = *((unsigned int *)t57); t65 = (~(t64)); t66 = (t59 & t61); t67 = (t63 & t65); t68 = (~(t66)); t69 = (~(t67)); t70 = *((unsigned int *)t48); *((unsigned int *)t48) = (t70 & t68); t71 = *((unsigned int *)t48); *((unsigned int *)t48) = (t71 & t69); t72 = *((unsigned int *)t45); *((unsigned int *)t45) = (t72 & t68); t73 = *((unsigned int *)t45); *((unsigned int *)t45) = (t73 & t69); goto LAB44; LAB45: t81 = ((char*)((ng4))); t82 = (t0 + 2248); xsi_vlogvar_wait_assign_value(t82, t81, 0, 0, 64, 0LL); goto LAB47; LAB48: *((unsigned int *)t6) = 1; goto LAB51; LAB50: t8 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t8) = 1; goto LAB51; LAB52: t22 = (t0 + 2088); t29 = (t22 + 56U); t30 = *((char **)t29); t32 = ((char*)((ng4))); xsi_vlog_unsigned_not_equal(t31, 64, t30, 64, t32, 32); memset(t40, 0, 8); t35 = (t31 + 4); t17 = *((unsigned int *)t35); t18 = (~(t17)); t19 = *((unsigned int *)t31); t20 = (t19 & t18); t23 = (t20 & 1U); if (t23 != 0) goto LAB55; LAB56: if (*((unsigned int *)t35) != 0) goto LAB57; LAB58: t24 = *((unsigned int *)t6); t25 = *((unsigned int *)t40); t26 = (t24 & t25); *((unsigned int *)t42) = t26; t37 = (t6 + 4); t41 = (t40 + 4); t43 = (t42 + 4); t27 = *((unsigned int *)t37); t49 = *((unsigned int *)t41); t50 = (t27 | t49); *((unsigned int *)t43) = t50; t51 = *((unsigned int *)t43); t52 = (t51 != 0); if (t52 == 1) goto LAB59; LAB60: LAB61: goto LAB54; LAB55: *((unsigned int *)t40) = 1; goto LAB58; LAB57: t36 = (t40 + 4); *((unsigned int *)t40) = 1; *((unsigned int *)t36) = 1; goto LAB58; LAB59: t53 = *((unsigned int *)t42); t54 = *((unsigned int *)t43); *((unsigned int *)t42) = (t53 | t54); t44 = (t6 + 4); t46 = (t40 + 4); t55 = *((unsigned int *)t6); t58 = (~(t55)); t59 = *((unsigned int *)t44); t60 = (~(t59)); t61 = *((unsigned int *)t40); t62 = (~(t61)); t63 = *((unsigned int *)t46); t64 = (~(t63)); t66 = (t58 & t60); t67 = (t62 & t64); t65 = (~(t66)); t68 = (~(t67)); t69 = *((unsigned int *)t43); *((unsigned int *)t43) = (t69 & t65); t70 = *((unsigned int *)t43); *((unsigned int *)t43) = (t70 & t68); t71 = *((unsigned int *)t42); *((unsigned int *)t42) = (t71 & t65); t72 = *((unsigned int *)t42); *((unsigned int *)t42) = (t72 & t68); goto LAB61; LAB62: t48 = xsi_vlog_time(t33, 10.000000000000000, 1.0000000000000000); t56 = (t0 + 2088); t57 = (t56 + 56U); t74 = *((char **)t57); xsi_vlog_unsigned_minus(t80, 64, t33, 64, t74, 64); t81 = (t0 + 2248); xsi_vlogvar_wait_assign_value(t81, t80, 0, 0, 64, 0LL); goto LAB64; }
static void Monitor_89_2_Func(char *t0) { char t1[16]; char t34[8]; char t48[8]; char t62[8]; char t76[8]; char t90[8]; char t104[8]; char t118[8]; char t132[8]; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; char *t30; char *t31; char *t32; char *t33; char *t35; char *t36; char *t37; char *t38; char *t39; char *t40; char *t41; char *t42; char *t43; char *t44; char *t45; char *t46; char *t47; char *t49; char *t50; char *t51; char *t52; char *t53; char *t54; char *t55; char *t56; char *t57; char *t58; char *t59; char *t60; char *t61; char *t63; char *t64; char *t65; char *t66; char *t67; char *t68; char *t69; char *t70; char *t71; char *t72; char *t73; char *t74; char *t75; char *t77; char *t78; char *t79; char *t80; char *t81; char *t82; char *t83; char *t84; char *t85; char *t86; char *t87; char *t88; char *t89; char *t91; char *t92; char *t93; char *t94; char *t95; char *t96; char *t97; char *t98; char *t99; char *t100; char *t101; char *t102; char *t103; char *t105; char *t106; char *t107; char *t108; char *t109; char *t110; char *t111; char *t112; char *t113; char *t114; char *t115; char *t116; char *t117; char *t119; char *t120; char *t121; char *t122; char *t123; char *t124; char *t125; char *t126; char *t127; char *t128; char *t129; char *t130; char *t131; char *t133; char *t134; char *t135; char *t136; char *t137; char *t138; char *t139; char *t140; char *t141; char *t142; char *t143; char *t144; char *t145; char *t146; char *t147; char *t148; char *t149; char *t150; char *t151; char *t152; char *t153; char *t154; char *t155; char *t156; char *t157; char *t158; char *t159; char *t160; char *t161; char *t162; char *t163; char *t164; char *t165; char *t166; char *t167; char *t168; char *t169; LAB0: t2 = xsi_vlog_time(t1, 1000.0000000000000, 1000.0000000000000); t3 = (t0 + 5900); t4 = *((char **)t3); t5 = ((((char*)(t4))) + 56U); t6 = *((char **)t5); t7 = (t0 + 5924); t8 = *((char **)t7); t9 = ((((char*)(t8))) + 56U); t10 = *((char **)t9); t11 = (t0 + 5948); t12 = *((char **)t11); t13 = ((((char*)(t12))) + 56U); t14 = *((char **)t13); t15 = (t0 + 5972); t16 = *((char **)t15); t17 = ((((char*)(t16))) + 56U); t18 = *((char **)t17); t19 = (t0 + 5996); t20 = *((char **)t19); t21 = ((((char*)(t20))) + 56U); t22 = *((char **)t21); t23 = (t0 + 6020); t24 = *((char **)t23); t25 = ((((char*)(t24))) + 40U); t26 = *((char **)t25); t25 = (t0 + 6044); t27 = *((char **)t25); t28 = ((((char*)(t27))) + 56U); t29 = *((char **)t28); t30 = (t0 + 6068); t31 = *((char **)t30); t32 = ((((char*)(t31))) + 56U); t33 = *((char **)t32); t35 = (t0 + 6092); t36 = *((char **)t35); t37 = ((((char*)(t36))) + 72U); t38 = *((char **)t37); t39 = (t0 + 6116); t40 = *((char **)t39); t41 = ((((char*)(t40))) + 64U); t42 = *((char **)t41); t43 = ((char*)((ng1))); xsi_vlog_generic_get_array_select_value(t34, 16, t33, t38, t42, 2, 1, t43, 32, 1); t44 = (t0 + 6140); t45 = *((char **)t44); t46 = ((((char*)(t45))) + 56U); t47 = *((char **)t46); t49 = (t0 + 6164); t50 = *((char **)t49); t51 = ((((char*)(t50))) + 72U); t52 = *((char **)t51); t53 = (t0 + 6188); t54 = *((char **)t53); t55 = ((((char*)(t54))) + 64U); t56 = *((char **)t55); t57 = ((char*)((ng2))); xsi_vlog_generic_get_array_select_value(t48, 16, t47, t52, t56, 2, 1, t57, 32, 1); t58 = (t0 + 6212); t59 = *((char **)t58); t60 = ((((char*)(t59))) + 56U); t61 = *((char **)t60); t63 = (t0 + 6236); t64 = *((char **)t63); t65 = ((((char*)(t64))) + 72U); t66 = *((char **)t65); t67 = (t0 + 6260); t68 = *((char **)t67); t69 = ((((char*)(t68))) + 64U); t70 = *((char **)t69); t71 = ((char*)((ng3))); xsi_vlog_generic_get_array_select_value(t62, 16, t61, t66, t70, 2, 1, t71, 32, 1); t72 = (t0 + 6284); t73 = *((char **)t72); t74 = ((((char*)(t73))) + 56U); t75 = *((char **)t74); t77 = (t0 + 6308); t78 = *((char **)t77); t79 = ((((char*)(t78))) + 72U); t80 = *((char **)t79); t81 = (t0 + 6332); t82 = *((char **)t81); t83 = ((((char*)(t82))) + 64U); t84 = *((char **)t83); t85 = ((char*)((ng4))); xsi_vlog_generic_get_array_select_value(t76, 16, t75, t80, t84, 2, 1, t85, 32, 1); t86 = (t0 + 6356); t87 = *((char **)t86); t88 = ((((char*)(t87))) + 56U); t89 = *((char **)t88); t91 = (t0 + 6380); t92 = *((char **)t91); t93 = ((((char*)(t92))) + 72U); t94 = *((char **)t93); t95 = (t0 + 6404); t96 = *((char **)t95); t97 = ((((char*)(t96))) + 64U); t98 = *((char **)t97); t99 = ((char*)((ng5))); xsi_vlog_generic_get_array_select_value(t90, 16, t89, t94, t98, 2, 1, t99, 32, 1); t100 = (t0 + 6428); t101 = *((char **)t100); t102 = ((((char*)(t101))) + 56U); t103 = *((char **)t102); t105 = (t0 + 6452); t106 = *((char **)t105); t107 = ((((char*)(t106))) + 72U); t108 = *((char **)t107); t109 = (t0 + 6476); t110 = *((char **)t109); t111 = ((((char*)(t110))) + 64U); t112 = *((char **)t111); t113 = ((char*)((ng6))); xsi_vlog_generic_get_array_select_value(t104, 16, t103, t108, t112, 2, 1, t113, 32, 1); t114 = (t0 + 6500); t115 = *((char **)t114); t116 = ((((char*)(t115))) + 56U); t117 = *((char **)t116); t119 = (t0 + 6524); t120 = *((char **)t119); t121 = ((((char*)(t120))) + 72U); t122 = *((char **)t121); t123 = (t0 + 6548); t124 = *((char **)t123); t125 = ((((char*)(t124))) + 64U); t126 = *((char **)t125); t127 = ((char*)((ng7))); xsi_vlog_generic_get_array_select_value(t118, 16, t117, t122, t126, 2, 1, t127, 32, 1); t128 = (t0 + 6572); t129 = *((char **)t128); t130 = ((((char*)(t129))) + 56U); t131 = *((char **)t130); t133 = (t0 + 6596); t134 = *((char **)t133); t135 = ((((char*)(t134))) + 72U); t136 = *((char **)t135); t137 = (t0 + 6620); t138 = *((char **)t137); t139 = ((((char*)(t138))) + 64U); t140 = *((char **)t139); t141 = ((char*)((ng8))); xsi_vlog_generic_get_array_select_value(t132, 16, t131, t136, t140, 2, 1, t141, 32, 1); t142 = (t0 + 6644); t143 = *((char **)t142); t144 = ((((char*)(t143))) + 56U); t145 = *((char **)t144); t146 = (t0 + 6668); t147 = *((char **)t146); t148 = ((((char*)(t147))) + 56U); t149 = *((char **)t148); t150 = (t0 + 6692); t151 = *((char **)t150); t152 = ((((char*)(t151))) + 56U); t153 = *((char **)t152); t154 = (t0 + 6716); t155 = *((char **)t154); t156 = ((((char*)(t155))) + 40U); t157 = *((char **)t156); t156 = (t0 + 6740); t158 = *((char **)t156); t159 = ((((char*)(t158))) + 40U); t160 = *((char **)t159); t159 = (t0 + 6764); t161 = *((char **)t159); t162 = ((((char*)(t161))) + 40U); t163 = *((char **)t162); t162 = (t0 + 6788); t164 = *((char **)t162); t165 = ((((char*)(t164))) + 40U); t166 = *((char **)t165); t165 = (t0 + 6812); t167 = *((char **)t165); t168 = ((((char*)(t167))) + 56U); t169 = *((char **)t168); xsi_vlogfile_write(1, 0, 3, ng0, 25, t0, (char)118, t1, 64, (char)118, t6, 16, (char)118, t10, 16, (char)118, t14, 16, (char)118, t18, 16, (char)118, t22, 16, (char)118, t26, 1, (char)118, t29, 16, (char)118, t34, 16, (char)118, t48, 16, (char)118, t62, 16, (char)118, t76, 16, (char)118, t90, 16, (char)118, t104, 16, (char)118, t118, 16, (char)118, t132, 16, (char)118, t145, 1, (char)118, t149, 1, (char)118, t153, 1, (char)118, t157, 16, (char)118, t160, 16, (char)118, t163, 16, (char)118, t166, 16, (char)118, t169, 16); LAB1: return; }
static void Always_1618_1(char *t0) { char t4[16]; char t7[16]; char t9[8]; char t22[8]; char t38[8]; char t46[8]; char t89[8]; char t95[8]; char t98[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t8; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; char *t15; char *t16; unsigned int t17; unsigned int t18; unsigned int t19; char *t20; char *t21; char *t23; char *t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; char *t37; char *t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; unsigned int t47; unsigned int t48; unsigned int t49; char *t50; char *t51; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; char *t60; char *t61; unsigned int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; unsigned int t69; int t70; int t71; unsigned int t72; unsigned int t73; unsigned int t74; unsigned int t75; unsigned int t76; unsigned int t77; char *t78; unsigned int t79; unsigned int t80; unsigned int t81; unsigned int t82; unsigned int t83; char *t84; char *t85; char *t86; double t87; double t88; char *t90; char *t91; char *t92; double t93; double t94; double t96; double t97; LAB0: t1 = (t0 + 3200U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 3520); *((int *)t2) = 1; t3 = (t0 + 3232); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: LAB5: t5 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000); t6 = (t0 + 1880); xsi_vlogvar_wait_assign_value(t6, t4, 0, 0, 64, 0LL); t2 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000); t3 = (t0 + 1880); t5 = (t3 + 56U); t6 = *((char **)t5); xsi_vlog_unsigned_minus(t7, 64, t4, 64, t6, 64); t8 = (t0 + 2040); xsi_vlogvar_wait_assign_value(t8, t7, 0, 0, 64, 0LL); t2 = (t0 + 2040); t3 = (t2 + 56U); t5 = *((char **)t3); t6 = (t0 + 608); t8 = *((char **)t6); xsi_vlog_unsigned_greater(t4, 64, t5, 64, t8, 32); memset(t9, 0, 8); t6 = (t4 + 4); t10 = *((unsigned int *)t6); t11 = (~(t10)); t12 = *((unsigned int *)t4); t13 = (t12 & t11); t14 = (t13 & 1U); if (t14 != 0) goto LAB6; LAB7: if (*((unsigned int *)t6) != 0) goto LAB8; LAB9: t16 = (t9 + 4); t17 = *((unsigned int *)t9); t18 = *((unsigned int *)t16); t19 = (t17 || t18); if (t19 > 0) goto LAB10; LAB11: memcpy(t46, t9, 8); LAB12: t78 = (t46 + 4); t79 = *((unsigned int *)t78); t80 = (~(t79)); t81 = *((unsigned int *)t46); t82 = (t81 & t80); t83 = (t82 != 0); if (t83 > 0) goto LAB24; LAB25: LAB26: goto LAB2; LAB6: *((unsigned int *)t9) = 1; goto LAB9; LAB8: t15 = (t9 + 4); *((unsigned int *)t9) = 1; *((unsigned int *)t15) = 1; goto LAB9; LAB10: t20 = (t0 + 1480U); t21 = *((char **)t20); t20 = ((char*)((ng1))); memset(t22, 0, 8); t23 = (t21 + 4); t24 = (t20 + 4); t25 = *((unsigned int *)t21); t26 = *((unsigned int *)t20); t27 = (t25 ^ t26); t28 = *((unsigned int *)t23); t29 = *((unsigned int *)t24); t30 = (t28 ^ t29); t31 = (t27 | t30); t32 = *((unsigned int *)t23); t33 = *((unsigned int *)t24); t34 = (t32 | t33); t35 = (~(t34)); t36 = (t31 & t35); if (t36 != 0) goto LAB16; LAB13: if (t34 != 0) goto LAB15; LAB14: *((unsigned int *)t22) = 1; LAB16: memset(t38, 0, 8); t39 = (t22 + 4); t40 = *((unsigned int *)t39); t41 = (~(t40)); t42 = *((unsigned int *)t22); t43 = (t42 & t41); t44 = (t43 & 1U); if (t44 != 0) goto LAB17; LAB18: if (*((unsigned int *)t39) != 0) goto LAB19; LAB20: t47 = *((unsigned int *)t9); t48 = *((unsigned int *)t38); t49 = (t47 & t48); *((unsigned int *)t46) = t49; t50 = (t9 + 4); t51 = (t38 + 4); t52 = (t46 + 4); t53 = *((unsigned int *)t50); t54 = *((unsigned int *)t51); t55 = (t53 | t54); *((unsigned int *)t52) = t55; t56 = *((unsigned int *)t52); t57 = (t56 != 0); if (t57 == 1) goto LAB21; LAB22: LAB23: goto LAB12; LAB15: t37 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t37) = 1; goto LAB16; LAB17: *((unsigned int *)t38) = 1; goto LAB20; LAB19: t45 = (t38 + 4); *((unsigned int *)t38) = 1; *((unsigned int *)t45) = 1; goto LAB20; LAB21: t58 = *((unsigned int *)t46); t59 = *((unsigned int *)t52); *((unsigned int *)t46) = (t58 | t59); t60 = (t9 + 4); t61 = (t38 + 4); t62 = *((unsigned int *)t9); t63 = (~(t62)); t64 = *((unsigned int *)t60); t65 = (~(t64)); t66 = *((unsigned int *)t38); t67 = (~(t66)); t68 = *((unsigned int *)t61); t69 = (~(t68)); t70 = (t63 & t65); t71 = (t67 & t69); t72 = (~(t70)); t73 = (~(t71)); t74 = *((unsigned int *)t52); *((unsigned int *)t52) = (t74 & t72); t75 = *((unsigned int *)t52); *((unsigned int *)t52) = (t75 & t73); t76 = *((unsigned int *)t46); *((unsigned int *)t46) = (t76 & t72); t77 = *((unsigned int *)t46); *((unsigned int *)t46) = (t77 & t73); goto LAB23; LAB24: LAB27: t84 = (t0 + 2040); t85 = (t84 + 56U); t86 = *((char **)t85); t87 = xsi_vlog_convert_to_real(t86, 64, 2); t88 = (t87 / 1000.0000000000000); *((double *)t89) = t88; t90 = (t0 + 472); t91 = *((char **)t90); t90 = (t0 + 608); t92 = *((char **)t90); t93 = xsi_vlog_convert_to_real(t92, 32, 1); t94 = (t93 / 1000.0000000000000); *((double *)t95) = t94; t90 = xsi_vlog_time(t7, 1.0000000000000000, 1.0000000000000000); t96 = xsi_vlog_convert_to_real(t7, 64, 2); t97 = (t96 / 1000.0000000000000); *((double *)t98) = t97; xsi_vlogfile_write(1, 0, 0, ng2, 5, t0, (char)114, t89, 64, (char)118, t91, 40, (char)114, t95, 64, (char)114, t98, 64); goto LAB26; }
static void Initial_232_3(char *t0) { char t4[8]; char t21[8]; char t23[8]; char t40[16]; char t49[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; char *t22; char *t24; char *t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; char *t33; char *t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; char *t41; char *t42; char *t43; char *t44; char *t45; char *t46; char *t47; char *t48; char *t50; char *t51; char *t52; char *t53; char *t54; char *t55; char *t56; char *t57; char *t58; LAB0: t1 = (t0 + 13168U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(232, ng0); LAB4: xsi_set_current_line(234, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10188); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(235, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10372); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(236, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10280); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(237, ng0); t2 = ((char*)((ng9))); memcpy(t4, t2, 8); t3 = (t0 + 10464); xsi_vlogvar_assign_value(t3, t4, 0, 0, 6); xsi_set_current_line(238, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10924); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(239, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 11016); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(240, ng0); t2 = (t0 + 13068); xsi_process_wait(t2, 50000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(241, ng0); t3 = ((char*)((ng11))); t5 = (t0 + 10280); xsi_vlogvar_assign_value(t5, t3, 0, 0, 1); xsi_set_current_line(243, ng0); t2 = (t0 + 13068); xsi_process_wait(t2, 50000LL); *((char **)t1) = &&LAB6; goto LAB1; LAB6: xsi_set_current_line(244, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10280); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(245, ng0); t2 = (t0 + 13372); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB7; goto LAB1; LAB7: xsi_set_current_line(246, ng0); t2 = (t0 + 13380); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB8; goto LAB1; LAB8: xsi_set_current_line(247, ng0); t2 = (t0 + 13388); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB9; goto LAB1; LAB9: xsi_set_current_line(247, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB10; goto LAB1; LAB10: xsi_set_current_line(248, ng0); xsi_set_current_line(248, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 12212); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); LAB11: t2 = (t0 + 12212); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = ((char*)((ng12))); memset(t4, 0, 8); xsi_vlog_signed_less(t4, 32, t5, 32, t6, 32); t7 = (t4 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t4); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB12; LAB13: goto LAB1; LAB12: xsi_set_current_line(249, ng0); LAB14: xsi_set_current_line(250, ng0); t13 = (t0 + 13396); *((int *)t13) = 1; t14 = (t0 + 13196); *((char **)t14) = t13; *((char **)t1) = &&LAB15; goto LAB1; LAB15: xsi_set_current_line(251, ng0); t2 = (t0 + 13404); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB16; goto LAB1; LAB16: xsi_set_current_line(252, ng0); t2 = (t0 + 13412); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB17; goto LAB1; LAB17: xsi_set_current_line(252, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB18; goto LAB1; LAB18: xsi_set_current_line(253, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10924); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(254, ng0); t2 = (t0 + 13420); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB19; goto LAB1; LAB19: xsi_set_current_line(255, ng0); t2 = (t0 + 13428); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB20; goto LAB1; LAB20: xsi_set_current_line(256, ng0); t2 = (t0 + 13436); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB21; goto LAB1; LAB21: xsi_set_current_line(256, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB22; goto LAB1; LAB22: xsi_set_current_line(257, ng0); t2 = (t0 + 13444); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB23; goto LAB1; LAB23: xsi_set_current_line(258, ng0); t2 = (t0 + 13452); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB24; goto LAB1; LAB24: xsi_set_current_line(259, ng0); t2 = (t0 + 13460); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB25; goto LAB1; LAB25: xsi_set_current_line(259, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB26; goto LAB1; LAB26: xsi_set_current_line(260, ng0); t2 = (t0 + 13468); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB27; goto LAB1; LAB27: xsi_set_current_line(261, ng0); t2 = (t0 + 13476); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB28; goto LAB1; LAB28: xsi_set_current_line(262, ng0); t2 = (t0 + 13484); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB29; goto LAB1; LAB29: xsi_set_current_line(262, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB30; goto LAB1; LAB30: xsi_set_current_line(263, ng0); t2 = ((char*)((ng13))); t3 = (t0 + 11016); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(264, ng0); t2 = (t0 + 11936); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 11936); t7 = (t6 + 44U); t13 = *((char **)t7); t14 = (t0 + 11936); t15 = (t14 + 40U); t16 = *((char **)t15); t17 = (t0 + 12212); t18 = (t17 + 36U); t19 = *((char **)t18); xsi_vlog_generic_get_array_select_value(t4, 32, t5, t13, t16, 2, 1, t19, 32, 1); t20 = (t0 + 11108); xsi_vlogvar_assign_value(t20, t4, 0, 0, 32); xsi_set_current_line(265, ng0); t2 = ((char*)((ng11))); t3 = (t0 + 11200); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(266, ng0); t2 = (t0 + 13492); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB31; goto LAB1; LAB31: xsi_set_current_line(267, ng0); t2 = (t0 + 13500); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB32; goto LAB1; LAB32: xsi_set_current_line(268, ng0); t2 = (t0 + 13508); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB33; goto LAB1; LAB33: xsi_set_current_line(268, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB34; goto LAB1; LAB34: xsi_set_current_line(269, ng0); t2 = (t0 + 13516); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB35; goto LAB1; LAB35: xsi_set_current_line(269, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB36; goto LAB1; LAB36: xsi_set_current_line(270, ng0); t2 = (t0 + 13524); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB37; goto LAB1; LAB37: xsi_set_current_line(271, ng0); t2 = (t0 + 13532); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB38; goto LAB1; LAB38: xsi_set_current_line(272, ng0); t2 = (t0 + 13540); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB39; goto LAB1; LAB39: xsi_set_current_line(272, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB40; goto LAB1; LAB40: xsi_set_current_line(273, ng0); t2 = ((char*)((ng14))); t3 = (t0 + 11016); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(274, ng0); t2 = (t0 + 11844); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 11844); t7 = (t6 + 44U); t13 = *((char **)t7); t14 = (t0 + 11844); t15 = (t14 + 40U); t16 = *((char **)t15); t17 = (t0 + 12212); t18 = (t17 + 36U); t19 = *((char **)t18); xsi_vlog_generic_get_array_select_value(t4, 32, t5, t13, t16, 2, 1, t19, 32, 1); t20 = (t0 + 11108); xsi_vlogvar_assign_value(t20, t4, 0, 0, 32); xsi_set_current_line(275, ng0); t2 = ((char*)((ng11))); t3 = (t0 + 11200); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(276, ng0); t2 = (t0 + 13548); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB41; goto LAB1; LAB41: xsi_set_current_line(276, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB42; goto LAB1; LAB42: xsi_set_current_line(277, ng0); t2 = (t0 + 13556); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB43; goto LAB1; LAB43: xsi_set_current_line(277, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB44; goto LAB1; LAB44: xsi_set_current_line(278, ng0); t2 = (t0 + 13564); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB45; goto LAB1; LAB45: xsi_set_current_line(279, ng0); t2 = (t0 + 13572); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB46; goto LAB1; LAB46: xsi_set_current_line(280, ng0); t2 = (t0 + 13580); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB47; goto LAB1; LAB47: xsi_set_current_line(280, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB48; goto LAB1; LAB48: xsi_set_current_line(281, ng0); t2 = (t0 + 11476); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 11476); t7 = (t6 + 44U); t13 = *((char **)t7); t14 = (t0 + 11476); t15 = (t14 + 40U); t16 = *((char **)t15); t17 = (t0 + 12212); t18 = (t17 + 36U); t19 = *((char **)t18); xsi_vlog_generic_get_array_select_value(t21, 4, t5, t13, t16, 2, 1, t19, 32, 1); t20 = ((char*)((ng15))); xsi_vlogtype_concat(t4, 12, 12, 2U, t20, 8, t21, 4); t22 = (t0 + 11016); xsi_vlogvar_assign_value(t22, t4, 0, 0, 12); xsi_set_current_line(282, ng0); t2 = (t0 + 12028); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 12028); t7 = (t6 + 44U); t13 = *((char **)t7); t14 = (t0 + 12028); t15 = (t14 + 40U); t16 = *((char **)t15); t17 = (t0 + 12212); t18 = (t17 + 36U); t19 = *((char **)t18); xsi_vlog_generic_get_array_select_value(t4, 32, t5, t13, t16, 2, 1, t19, 32, 1); t20 = (t0 + 11108); xsi_vlogvar_assign_value(t20, t4, 0, 0, 32); xsi_set_current_line(283, ng0); t2 = ((char*)((ng11))); t3 = (t0 + 11200); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(284, ng0); t2 = (t0 + 13588); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB49; goto LAB1; LAB49: xsi_set_current_line(285, ng0); t2 = (t0 + 13596); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB50; goto LAB1; LAB50: xsi_set_current_line(286, ng0); t2 = (t0 + 13604); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB51; goto LAB1; LAB51: xsi_set_current_line(286, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB52; goto LAB1; LAB52: xsi_set_current_line(287, ng0); t2 = (t0 + 13612); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB53; goto LAB1; LAB53: xsi_set_current_line(288, ng0); t2 = (t0 + 13620); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB54; goto LAB1; LAB54: xsi_set_current_line(289, ng0); t2 = (t0 + 13628); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB55; goto LAB1; LAB55: xsi_set_current_line(289, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB56; goto LAB1; LAB56: xsi_set_current_line(290, ng0); t2 = (t0 + 11476); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 11476); t7 = (t6 + 44U); t13 = *((char **)t7); t14 = (t0 + 11476); t15 = (t14 + 40U); t16 = *((char **)t15); t17 = (t0 + 12212); t18 = (t17 + 36U); t19 = *((char **)t18); xsi_vlog_generic_get_array_select_value(t4, 16, t5, t13, t16, 2, 1, t19, 32, 1); t20 = (t0 + 11292); xsi_vlogvar_assign_value(t20, t4, 0, 0, 16); xsi_set_current_line(291, ng0); t2 = (t0 + 11568); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = (t0 + 11568); t7 = (t6 + 44U); t13 = *((char **)t7); t14 = (t0 + 11568); t15 = (t14 + 40U); t16 = *((char **)t15); t17 = (t0 + 12212); t18 = (t17 + 36U); t19 = *((char **)t18); xsi_vlog_generic_get_array_select_value(t4, 16, t5, t13, t16, 2, 1, t19, 32, 1); t20 = (t0 + 11384); xsi_vlogvar_assign_value(t20, t4, 0, 0, 16); xsi_set_current_line(292, ng0); t2 = (t0 + 13636); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB57; goto LAB1; LAB57: xsi_set_current_line(293, ng0); t2 = (t0 + 13644); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB58; goto LAB1; LAB58: xsi_set_current_line(294, ng0); t2 = (t0 + 13652); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB59; goto LAB1; LAB59: xsi_set_current_line(294, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB60; goto LAB1; LAB60: xsi_set_current_line(295, ng0); t2 = ((char*)((ng11))); t3 = (t0 + 10188); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(296, ng0); t2 = ((char*)((ng8))); memcpy(t4, t2, 8); t3 = (t0 + 10464); xsi_vlogvar_assign_value(t3, t4, 0, 0, 6); xsi_set_current_line(297, ng0); t2 = (t0 + 13660); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB61; goto LAB1; LAB61: xsi_set_current_line(298, ng0); t2 = (t0 + 13668); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB62; goto LAB1; LAB62: xsi_set_current_line(299, ng0); t2 = (t0 + 13676); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB63; goto LAB1; LAB63: xsi_set_current_line(299, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB64; goto LAB1; LAB64: xsi_set_current_line(300, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 10188); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(302, ng0); LAB65: t2 = (t0 + 8120U); t3 = *((char **)t2); t2 = (t3 + 4); t8 = *((unsigned int *)t2); t9 = (~(t8)); t10 = *((unsigned int *)t3); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB67; LAB66: t5 = (t0 + 13684); *((int *)t5) = 1; t6 = (t0 + 13168U); *((char **)t6) = &&LAB65; goto LAB1; LAB67: t7 = (t0 + 13684); *((int *)t7) = 0; xsi_set_current_line(304, ng0); t2 = (t0 + 13692); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB68; goto LAB1; LAB68: xsi_set_current_line(305, ng0); t2 = (t0 + 13700); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB69; goto LAB1; LAB69: xsi_set_current_line(306, ng0); t2 = ((char*)((ng9))); memcpy(t4, t2, 8); t3 = (t0 + 10464); xsi_vlogvar_assign_value(t3, t4, 0, 0, 6); xsi_set_current_line(307, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 11016); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(308, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 11108); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(309, ng0); t2 = ((char*)((ng10))); t3 = (t0 + 11200); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(310, ng0); t2 = (t0 + 13708); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB70; goto LAB1; LAB70: xsi_set_current_line(310, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB71; goto LAB1; LAB71: xsi_set_current_line(313, ng0); t2 = (t0 + 13716); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB72; goto LAB1; LAB72: xsi_set_current_line(314, ng0); t2 = (t0 + 13724); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB73; goto LAB1; LAB73: xsi_set_current_line(315, ng0); t2 = (t0 + 13732); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB74; goto LAB1; LAB74: xsi_set_current_line(315, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB75; goto LAB1; LAB75: xsi_set_current_line(317, ng0); t2 = (t0 + 13740); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB76; goto LAB1; LAB76: xsi_set_current_line(318, ng0); t2 = (t0 + 13748); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB77; goto LAB1; LAB77: xsi_set_current_line(319, ng0); t2 = (t0 + 13756); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB78; goto LAB1; LAB78: xsi_set_current_line(319, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB79; goto LAB1; LAB79: xsi_set_current_line(320, ng0); t2 = ((char*)((ng13))); t3 = (t0 + 10924); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(321, ng0); t2 = (t0 + 13764); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB80; goto LAB1; LAB80: xsi_set_current_line(322, ng0); t2 = (t0 + 13772); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB81; goto LAB1; LAB81: xsi_set_current_line(322, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB82; goto LAB1; LAB82: xsi_set_current_line(323, ng0); t2 = (t0 + 8212U); t3 = *((char **)t2); t2 = (t0 + 11752); t5 = (t2 + 36U); t6 = *((char **)t5); t7 = (t0 + 11752); t13 = (t7 + 44U); t14 = *((char **)t13); t15 = (t0 + 11752); t16 = (t15 + 40U); t17 = *((char **)t16); t18 = (t0 + 12212); t19 = (t18 + 36U); t20 = *((char **)t19); xsi_vlog_generic_get_array_select_value(t21, 16, t6, t14, t17, 2, 1, t20, 32, 1); t22 = ((char*)((ng9))); xsi_vlogtype_concat(t4, 32, 32, 2U, t22, 16, t21, 16); memset(t23, 0, 8); t24 = (t3 + 4); t25 = (t4 + 4); t8 = *((unsigned int *)t3); t9 = *((unsigned int *)t4); t10 = (t8 ^ t9); t11 = *((unsigned int *)t24); t12 = *((unsigned int *)t25); t26 = (t11 ^ t12); t27 = (t10 | t26); t28 = *((unsigned int *)t24); t29 = *((unsigned int *)t25); t30 = (t28 | t29); t31 = (~(t30)); t32 = (t27 & t31); if (t32 != 0) goto LAB84; LAB83: if (t30 != 0) goto LAB85; LAB86: t34 = (t23 + 4); t35 = *((unsigned int *)t34); t36 = (~(t35)); t37 = *((unsigned int *)t23); t38 = (t37 & t36); t39 = (t38 != 0); if (t39 > 0) goto LAB87; LAB88: xsi_set_current_line(325, ng0); t2 = (t0 + 8212U); t3 = *((char **)t2); t2 = (t0 + 11752); t5 = (t2 + 36U); t6 = *((char **)t5); t7 = (t0 + 11752); t13 = (t7 + 44U); t14 = *((char **)t13); t15 = (t0 + 11752); t16 = (t15 + 40U); t17 = *((char **)t16); t18 = (t0 + 12212); t19 = (t18 + 36U); t20 = *((char **)t19); xsi_vlog_generic_get_array_select_value(t21, 16, t6, t14, t17, 2, 1, t20, 32, 1); t22 = ((char*)((ng9))); xsi_vlogtype_concat(t4, 32, 32, 2U, t22, 16, t21, 16); memset(t23, 0, 8); t24 = (t3 + 4); t25 = (t4 + 4); t8 = *((unsigned int *)t3); t9 = *((unsigned int *)t4); t10 = (t8 ^ t9); t11 = *((unsigned int *)t24); t12 = *((unsigned int *)t25); t26 = (t11 ^ t12); t27 = (t10 | t26); t28 = *((unsigned int *)t24); t29 = *((unsigned int *)t25); t30 = (t28 | t29); t31 = (~(t30)); t32 = (t27 & t31); if (t32 != 0) goto LAB93; LAB90: if (t30 != 0) goto LAB92; LAB91: *((unsigned int *)t23) = 1; LAB93: t34 = (t23 + 4); t35 = *((unsigned int *)t34); t36 = (~(t35)); t37 = *((unsigned int *)t23); t38 = (t37 & t36); t39 = (t38 != 0); if (t39 > 0) goto LAB94; LAB95: LAB96: LAB89: xsi_set_current_line(327, ng0); t2 = (t0 + 13780); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB97; goto LAB1; LAB84: *((unsigned int *)t23) = 1; goto LAB86; LAB85: t33 = (t23 + 4); *((unsigned int *)t23) = 1; *((unsigned int *)t33) = 1; goto LAB86; LAB87: xsi_set_current_line(324, ng0); t41 = xsi_vlog_time(t40, 1000.0000000000000, 1000.0000000000000); xsi_vlogfile_write(0, 0, 0, ng16, 2, t0, (char)118, t40, 64); t42 = (t0 + 12212); t43 = (t42 + 36U); t44 = *((char **)t43); t45 = (t0 + 8212U); t46 = *((char **)t45); t45 = (t0 + 11752); t47 = (t45 + 36U); t48 = *((char **)t47); t50 = (t0 + 11752); t51 = (t50 + 44U); t52 = *((char **)t51); t53 = (t0 + 11752); t54 = (t53 + 40U); t55 = *((char **)t54); t56 = (t0 + 12212); t57 = (t56 + 36U); t58 = *((char **)t57); xsi_vlog_generic_get_array_select_value(t49, 16, t48, t52, t55, 2, 1, t58, 32, 1); xsi_vlogfile_write(1, 0, 0, ng17, 4, t0, (char)119, t44, 32, (char)118, t46, 32, (char)118, t49, 16); goto LAB89; LAB92: t33 = (t23 + 4); *((unsigned int *)t23) = 1; *((unsigned int *)t33) = 1; goto LAB93; LAB94: xsi_set_current_line(326, ng0); t41 = xsi_vlog_time(t40, 1000.0000000000000, 1000.0000000000000); xsi_vlogfile_write(0, 0, 0, ng16, 2, t0, (char)118, t40, 64); t42 = (t0 + 12212); t43 = (t42 + 36U); t44 = *((char **)t43); t45 = (t0 + 8212U); t46 = *((char **)t45); xsi_vlogfile_write(1, 0, 0, ng18, 3, t0, (char)119, t44, 32, (char)118, t46, 32); goto LAB96; LAB97: xsi_set_current_line(328, ng0); t2 = (t0 + 13788); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB98; goto LAB1; LAB98: xsi_set_current_line(329, ng0); t2 = (t0 + 13796); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB99; goto LAB1; LAB99: xsi_set_current_line(330, ng0); t2 = (t0 + 13804); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB100; goto LAB1; LAB100: xsi_set_current_line(330, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB101; goto LAB1; LAB101: xsi_set_current_line(331, ng0); t2 = ((char*)((ng14))); t3 = (t0 + 10924); xsi_vlogvar_assign_value(t3, t2, 0, 0, 12); xsi_set_current_line(332, ng0); t2 = (t0 + 13812); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB102; goto LAB1; LAB102: xsi_set_current_line(333, ng0); t2 = (t0 + 13820); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB103; goto LAB1; LAB103: xsi_set_current_line(333, ng0); t5 = (t0 + 13068); xsi_process_wait(t5, 5000LL); *((char **)t1) = &&LAB104; goto LAB1; LAB104: xsi_set_current_line(334, ng0); t2 = (t0 + 8212U); t3 = *((char **)t2); t2 = (t0 + 11660); t5 = (t2 + 36U); t6 = *((char **)t5); t7 = (t0 + 11660); t13 = (t7 + 44U); t14 = *((char **)t13); t15 = (t0 + 11660); t16 = (t15 + 40U); t17 = *((char **)t16); t18 = (t0 + 12212); t19 = (t18 + 36U); t20 = *((char **)t19); xsi_vlog_generic_get_array_select_value(t21, 16, t6, t14, t17, 2, 1, t20, 32, 1); t22 = ((char*)((ng9))); xsi_vlogtype_concat(t4, 32, 32, 2U, t22, 16, t21, 16); memset(t23, 0, 8); t24 = (t3 + 4); t25 = (t4 + 4); t8 = *((unsigned int *)t3); t9 = *((unsigned int *)t4); t10 = (t8 ^ t9); t11 = *((unsigned int *)t24); t12 = *((unsigned int *)t25); t26 = (t11 ^ t12); t27 = (t10 | t26); t28 = *((unsigned int *)t24); t29 = *((unsigned int *)t25); t30 = (t28 | t29); t31 = (~(t30)); t32 = (t27 & t31); if (t32 != 0) goto LAB106; LAB105: if (t30 != 0) goto LAB107; LAB108: t34 = (t23 + 4); t35 = *((unsigned int *)t34); t36 = (~(t35)); t37 = *((unsigned int *)t23); t38 = (t37 & t36); t39 = (t38 != 0); if (t39 > 0) goto LAB109; LAB110: xsi_set_current_line(336, ng0); t2 = (t0 + 8212U); t3 = *((char **)t2); t2 = (t0 + 11660); t5 = (t2 + 36U); t6 = *((char **)t5); t7 = (t0 + 11660); t13 = (t7 + 44U); t14 = *((char **)t13); t15 = (t0 + 11660); t16 = (t15 + 40U); t17 = *((char **)t16); t18 = (t0 + 12212); t19 = (t18 + 36U); t20 = *((char **)t19); xsi_vlog_generic_get_array_select_value(t21, 16, t6, t14, t17, 2, 1, t20, 32, 1); t22 = ((char*)((ng9))); xsi_vlogtype_concat(t4, 32, 32, 2U, t22, 16, t21, 16); memset(t23, 0, 8); t24 = (t3 + 4); t25 = (t4 + 4); t8 = *((unsigned int *)t3); t9 = *((unsigned int *)t4); t10 = (t8 ^ t9); t11 = *((unsigned int *)t24); t12 = *((unsigned int *)t25); t26 = (t11 ^ t12); t27 = (t10 | t26); t28 = *((unsigned int *)t24); t29 = *((unsigned int *)t25); t30 = (t28 | t29); t31 = (~(t30)); t32 = (t27 & t31); if (t32 != 0) goto LAB115; LAB112: if (t30 != 0) goto LAB114; LAB113: *((unsigned int *)t23) = 1; LAB115: t34 = (t23 + 4); t35 = *((unsigned int *)t34); t36 = (~(t35)); t37 = *((unsigned int *)t23); t38 = (t37 & t36); t39 = (t38 != 0); if (t39 > 0) goto LAB116; LAB117: LAB118: LAB111: xsi_set_current_line(338, ng0); t2 = (t0 + 13828); *((int *)t2) = 1; t3 = (t0 + 13196); *((char **)t3) = t2; *((char **)t1) = &&LAB119; goto LAB1; LAB106: *((unsigned int *)t23) = 1; goto LAB108; LAB107: t33 = (t23 + 4); *((unsigned int *)t23) = 1; *((unsigned int *)t33) = 1; goto LAB108; LAB109: xsi_set_current_line(335, ng0); t41 = xsi_vlog_time(t40, 1000.0000000000000, 1000.0000000000000); xsi_vlogfile_write(0, 0, 0, ng16, 2, t0, (char)118, t40, 64); t42 = (t0 + 12212); t43 = (t42 + 36U); t44 = *((char **)t43); t45 = (t0 + 8212U); t46 = *((char **)t45); t45 = (t0 + 11660); t47 = (t45 + 36U); t48 = *((char **)t47); t50 = (t0 + 11660); t51 = (t50 + 44U); t52 = *((char **)t51); t53 = (t0 + 11660); t54 = (t53 + 40U); t55 = *((char **)t54); t56 = (t0 + 12212); t57 = (t56 + 36U); t58 = *((char **)t57); xsi_vlog_generic_get_array_select_value(t49, 16, t48, t52, t55, 2, 1, t58, 32, 1); xsi_vlogfile_write(1, 0, 0, ng19, 4, t0, (char)119, t44, 32, (char)118, t46, 32, (char)118, t49, 16); goto LAB111; LAB114: t33 = (t23 + 4); *((unsigned int *)t23) = 1; *((unsigned int *)t33) = 1; goto LAB115; LAB116: xsi_set_current_line(337, ng0); t41 = xsi_vlog_time(t40, 1000.0000000000000, 1000.0000000000000); xsi_vlogfile_write(0, 0, 0, ng16, 2, t0, (char)118, t40, 64); t42 = (t0 + 12212); t43 = (t42 + 36U); t44 = *((char **)t43); t45 = (t0 + 8212U); t46 = *((char **)t45); xsi_vlogfile_write(1, 0, 0, ng20, 3, t0, (char)119, t44, 32, (char)118, t46, 32); goto LAB118; LAB119: xsi_set_current_line(248, ng0); t2 = (t0 + 12212); t3 = (t2 + 36U); t5 = *((char **)t3); t6 = ((char*)((ng11))); memset(t4, 0, 8); xsi_vlog_signed_add(t4, 32, t5, 32, t6, 32); t7 = (t0 + 12212); xsi_vlogvar_assign_value(t7, t4, 0, 0, 32); goto LAB11; }