Struct CompileConfig 

pub struct CompileConfig {
    pub opt_level: u8,
    pub target: TargetSpec,
    pub bounds_check: bool,
    pub safety_bounds: SafetyBounds,
    pub hardware: String,
    pub no_optimize: bool,
    pub loom_compat: bool,
    pub num_imports: u32,
}

Configuration for a compilation run

Fields

opt_level: u8

Optimization level (0 = none, 1 = fast, 2 = default, 3 = aggressive)

target: TargetSpec

Target specification

bounds_check: bool

Legacy: enable software bounds checking for memory operations. Deprecated in favor of safety_bounds. When set, equivalent to SafetyBounds::Software. Kept for backwards compatibility with callers that haven’t migrated yet.

safety_bounds: SafetyBounds

Phase-1 unified safety-bounds knob. If bounds_check is true and this is None, the legacy field wins (back-compat). If both are set, safety_bounds wins.

hardware: String

Hardware profile name (e.g. “nrf52840”, “stm32f407”)

no_optimize: bool

Skip optimization passes (direct instruction selection)

loom_compat: bool

Use Loom-compatible optimization preset

num_imports: u32

Number of imported functions (calls to indices below this use Meld dispatch)

Implementations

impl CompileConfig

pub fn effective_safety_bounds(&self) -> SafetyBounds

Resolve the effective safety-bounds setting, honouring the legacy bounds_check field as a fallback. Used by backends to pick the inline-check shape.

Trait Implementations

impl Clone for CompileConfig

fn clone(&self) -> CompileConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompileConfig

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

Formats the value using the given formatter.

impl Default for CompileConfig

fn default() -> Self

Returns the “default value” for a type.