Struct DebugPtxInstrumenter 

pub struct DebugPtxInstrumenter { /* private fields */ }

Instruments PTX source code with debugging checks.

This instrumenter inserts additional PTX instructions for bounds checking, NaN detection, and printf buffer support. The instrumented code writes diagnostic data to a designated debug buffer that the host can read back after kernel execution.

Implementations

impl DebugPtxInstrumenter

pub fn new(config: &KernelDebugConfig) -> Self

Create an instrumenter from a debug configuration.

pub fn instrument_bounds_checks(&self, ptx: &str) -> String

Insert bounds-checking instrumentation into PTX source.

Adds setp + trap sequences after every ld.global / st.global instruction to validate the address against the allocation size parameter.

pub fn instrument_nan_checks(&self, ptx: &str) -> String

Insert NaN-detection instrumentation into PTX source.

After every floating-point arithmetic instruction (add.f32, mul.f64, etc.) a testp.nan check is inserted.

pub fn instrument_printf(&self, ptx: &str) -> String

Insert printf buffer support into PTX source.

Adds a .param .u64 __oxicuda_printf_buf to each entry and inserts stub store sequences where // PRINTF markers appear.

pub fn strip_debug(&self, ptx: &str) -> String

Remove all OxiCUDA debug instrumentation from PTX source.

Trait Implementations

impl Debug for DebugPtxInstrumenter

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.