static void Initial_56_1(char *t0) { char t3[8]; char *t1; char *t2; char *t4; char *t5; LAB0: t1 = (t0 + 2020U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(56, ng4); LAB4: xsi_set_current_line(57, ng4); t2 = (t0 + 1920); xsi_process_wait(t2, 0LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(58, ng4); t2 = ((char*)((ng9))); memset(t3, 0, 8); xsi_vlog_signed_unary_minus(t3, 32, t2, 32); t4 = ((char*)((ng7))); t5 = ((char*)((ng11))); xsi_vlog_setTimeFormat(*((unsigned int *)t3), *((unsigned int *)t4), ng10, 0, *((unsigned int *)t5)); xsi_set_current_line(59, ng4); xsi_vlogfile_write(1, 0, 0, ng12, 1, t0); xsi_set_current_line(60, ng4); Monitor_60_2(t0); goto LAB1; }
static void Initial_33_6(char *t0) { char t3[8]; char t6[8]; char t35[8]; char *t1; char *t2; char *t4; char *t5; char *t7; unsigned int 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; char *t20; char *t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; char *t27; char *t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; double t34; LAB0: t1 = (t0 + 3136U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(33, ng0); LAB4: xsi_set_current_line(36, ng0); xsi_vlog_printtimescale(ng1, t0, ng2); xsi_set_current_line(37, ng0); t2 = ((char*)((ng3))); memset(t3, 0, 8); xsi_vlog_signed_unary_minus(t3, 32, t2, 32); t4 = ((char*)((ng4))); t5 = ((char*)((ng4))); xsi_vlog_setTimeFormat(*((unsigned int *)t3), *((unsigned int *)t4), ng5, 0, *((unsigned int *)t5)); xsi_set_current_line(40, ng0); t2 = ((char*)((ng6))); t4 = (t0 + 1748); xsi_vlogvar_assign_value(t4, t2, 0, 0, 1); xsi_set_current_line(41, ng0); t2 = ((char*)((ng6))); t4 = (t0 + 1288); xsi_vlogvar_assign_value(t4, t2, 0, 0, 1); xsi_set_current_line(42, ng0); t2 = ((char*)((ng6))); t4 = (t0 + 1380); xsi_vlogvar_assign_value(t4, t2, 0, 0, 1); xsi_set_current_line(43, ng0); t2 = ((char*)((ng6))); t4 = (t0 + 1472); xsi_vlogvar_assign_value(t4, t2, 0, 0, 1); xsi_set_current_line(44, ng0); t2 = ((char*)((ng6))); t4 = (t0 + 1564); xsi_vlogvar_assign_value(t4, t2, 0, 0, 1); xsi_set_current_line(45, ng0); t2 = ((char*)((ng6))); t4 = (t0 + 1656); xsi_vlogvar_assign_value(t4, t2, 0, 0, 4); xsi_set_current_line(47, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(47, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1564); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(48, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 10000000LL); *((char **)t1) = &&LAB6; goto LAB1; LAB6: xsi_set_current_line(48, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1564); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(49, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng8))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB10; LAB7: if (t17 != 0) goto LAB9; LAB8: *((unsigned int *)t6) = 1; LAB10: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB14; LAB12: if (*((unsigned int *)t21) == 0) goto LAB11; LAB13: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB14: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB15; LAB16: LAB17: xsi_set_current_line(51, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB19; goto LAB1; LAB9: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB10; LAB11: *((unsigned int *)t3) = 1; goto LAB14; LAB15: xsi_set_current_line(49, ng0); LAB18: xsi_set_current_line(49, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(49, ng0); xsi_vlog_finish(1); goto LAB17; LAB19: xsi_set_current_line(51, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1288); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(52, ng0); t2 = ((char*)((ng7))); t4 = (t0 + 1380); xsi_vlogvar_assign_value(t4, t2, 0, 0, 1); xsi_set_current_line(54, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 100000000LL); *((char **)t1) = &&LAB20; goto LAB1; LAB20: xsi_set_current_line(56, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 5000000LL); *((char **)t1) = &&LAB21; goto LAB1; LAB21: xsi_set_current_line(56, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1288); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(57, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng8))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB25; LAB22: if (t17 != 0) goto LAB24; LAB23: *((unsigned int *)t6) = 1; LAB25: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB29; LAB27: if (*((unsigned int *)t21) == 0) goto LAB26; LAB28: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB29: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB30; LAB31: LAB32: xsi_set_current_line(59, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB34; goto LAB1; LAB24: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB25; LAB26: *((unsigned int *)t3) = 1; goto LAB29; LAB30: xsi_set_current_line(57, ng0); LAB33: xsi_set_current_line(57, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(57, ng0); xsi_vlog_finish(1); goto LAB32; LAB34: xsi_set_current_line(59, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1288); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(60, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 40000000LL); *((char **)t1) = &&LAB35; goto LAB1; LAB35: xsi_set_current_line(60, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1288); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(61, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng10))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB39; LAB36: if (t17 != 0) goto LAB38; LAB37: *((unsigned int *)t6) = 1; LAB39: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB43; LAB41: if (*((unsigned int *)t21) == 0) goto LAB40; LAB42: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB43: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB44; LAB45: LAB46: xsi_set_current_line(63, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB48; goto LAB1; LAB38: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB39; LAB40: *((unsigned int *)t3) = 1; goto LAB43; LAB44: xsi_set_current_line(61, ng0); LAB47: xsi_set_current_line(61, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(61, ng0); xsi_vlog_finish(1); goto LAB46; LAB48: xsi_set_current_line(63, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1288); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(64, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 40000000LL); *((char **)t1) = &&LAB49; goto LAB1; LAB49: xsi_set_current_line(64, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1288); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(65, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng11))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB53; LAB50: if (t17 != 0) goto LAB52; LAB51: *((unsigned int *)t6) = 1; LAB53: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB57; LAB55: if (*((unsigned int *)t21) == 0) goto LAB54; LAB56: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB57: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB58; LAB59: LAB60: xsi_set_current_line(67, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB62; goto LAB1; LAB52: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB53; LAB54: *((unsigned int *)t3) = 1; goto LAB57; LAB58: xsi_set_current_line(65, ng0); LAB61: xsi_set_current_line(65, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(65, ng0); xsi_vlog_finish(1); goto LAB60; LAB62: xsi_set_current_line(67, ng0); t4 = ((char*)((ng12))); t5 = (t0 + 1656); xsi_vlogvar_assign_value(t5, t4, 0, 0, 4); xsi_set_current_line(68, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 10000000LL); *((char **)t1) = &&LAB63; goto LAB1; LAB63: xsi_set_current_line(68, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1472); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(69, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB64; goto LAB1; LAB64: xsi_set_current_line(69, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1472); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(70, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng12))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB68; LAB65: if (t17 != 0) goto LAB67; LAB66: *((unsigned int *)t6) = 1; LAB68: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB72; LAB70: if (*((unsigned int *)t21) == 0) goto LAB69; LAB71: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB72: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB73; LAB74: LAB75: xsi_set_current_line(72, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB77; goto LAB1; LAB67: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB68; LAB69: *((unsigned int *)t3) = 1; goto LAB72; LAB73: xsi_set_current_line(70, ng0); LAB76: xsi_set_current_line(70, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(70, ng0); xsi_vlog_finish(1); goto LAB75; LAB77: xsi_set_current_line(72, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1380); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(73, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 5000000LL); *((char **)t1) = &&LAB78; goto LAB1; LAB78: xsi_set_current_line(73, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1380); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(74, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng12))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB82; LAB79: if (t17 != 0) goto LAB81; LAB80: *((unsigned int *)t6) = 1; LAB82: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB86; LAB84: if (*((unsigned int *)t21) == 0) goto LAB83; LAB85: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB86: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB87; LAB88: LAB89: xsi_set_current_line(76, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB91; goto LAB1; LAB81: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB82; LAB83: *((unsigned int *)t3) = 1; goto LAB86; LAB87: xsi_set_current_line(74, ng0); LAB90: xsi_set_current_line(74, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(74, ng0); xsi_vlog_finish(1); goto LAB89; LAB91: xsi_set_current_line(76, ng0); t4 = ((char*)((ng7))); t5 = (t0 + 1380); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(77, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 40000000LL); *((char **)t1) = &&LAB92; goto LAB1; LAB92: xsi_set_current_line(77, ng0); t4 = ((char*)((ng6))); t5 = (t0 + 1380); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(78, ng0); t2 = (t0 + 600U); t4 = *((char **)t2); t2 = ((char*)((ng4))); memset(t6, 0, 8); t5 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t5); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB96; LAB93: if (t17 != 0) goto LAB95; LAB94: *((unsigned int *)t6) = 1; LAB96: memset(t3, 0, 8); t21 = (t6 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t6); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB100; LAB98: if (*((unsigned int *)t21) == 0) goto LAB97; LAB99: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB100: t28 = (t3 + 4); t29 = *((unsigned int *)t28); t30 = (~(t29)); t31 = *((unsigned int *)t3); t32 = (t31 & t30); t33 = (t32 != 0); if (t33 > 0) goto LAB101; LAB102: LAB103: xsi_set_current_line(80, ng0); t2 = (t0 + 3036); xsi_process_wait(t2, 20000000LL); *((char **)t1) = &&LAB105; goto LAB1; LAB95: t20 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t20) = 1; goto LAB96; LAB97: *((unsigned int *)t3) = 1; goto LAB100; LAB101: xsi_set_current_line(78, ng0); LAB104: xsi_set_current_line(78, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t35) = t34; xsi_vlogfile_write(0, 0, 1, ng9, 2, t0, (char)114, t35, 64); xsi_set_current_line(78, ng0); xsi_vlog_finish(1); goto LAB103; LAB105: xsi_set_current_line(82, ng0); t34 = xsi_vlog_realtime(1000000.0000000000, 1000.0000000000000); *((double *)t3) = t34; xsi_vlogfile_write(0, 0, 1, ng13, 2, t0, (char)114, t3, 64); xsi_set_current_line(83, ng0); xsi_vlog_finish(1); goto LAB1; }