From 714105a7bc9cbab35eb0bf8e3a4b0e233f0500b4 Mon Sep 17 00:00:00 2001 From: Fabian Date: Wed, 10 Nov 2021 21:51:41 -0500 Subject: [PATCH] Remove log_segment_null, debug_set_dispatcher_target, check_dispatcher_target, check_page_switch in release mode --- src/rust/cpu/cpu.rs | 2 ++ src/rust/jit.rs | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/rust/cpu/cpu.rs b/src/rust/cpu/cpu.rs index deb52d88..3b6691b7 100644 --- a/src/rust/cpu/cpu.rs +++ b/src/rust/cpu/cpu.rs @@ -2569,6 +2569,7 @@ pub unsafe fn load_ldt(selector: i32) -> OrPageFault<()> { } #[no_mangle] +#[cfg(feature = "profiler")] pub unsafe fn log_segment_null(segment: i32) { dbg_assert!(segment >= 0 && segment < 8); if *segment_is_null.offset(segment as isize) { @@ -3961,6 +3962,7 @@ pub unsafe fn pic_call_irq(interrupt_nr: i32) { } #[no_mangle] +#[cfg(debug_assertions)] pub unsafe fn check_page_switch(block_addr: u32, next_block_addr: u32) { let x = translate_address_read_jit(*instruction_pointer); if x != Ok(next_block_addr) { diff --git a/src/rust/jit.rs b/src/rust/jit.rs index 6bc1aefc..3935609d 100644 --- a/src/rust/jit.rs +++ b/src/rust/jit.rs @@ -2203,11 +2203,13 @@ pub fn check_missed_entry_points(phys_address: u32, state_flags: CachedStateFlag } #[no_mangle] +#[cfg(feature = "profiler")] pub fn debug_set_dispatcher_target(_target_index: i32) { //dbg_log!("About to call dispatcher target_index={}", target_index); } #[no_mangle] +#[cfg(feature = "profiler")] pub fn check_dispatcher_target(target_index: i32, max: i32) { //dbg_log!("Dispatcher called target={}", target_index); dbg_assert!(target_index >= 0);