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,
    pub func_arg_counts: Vec<u32>,
    pub type_arg_counts: Vec<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)

func_arg_counts: Vec<u32>

AAPCS integer-argument count per function, indexed by full WASM function index (imports first, then locals). Lets Call marshal the right number of operand-stack values into R0–R3 (issue #195). Empty = pass no args (pre-#195 behaviour).

type_arg_counts: Vec<u32>

AAPCS integer-argument count per function type, indexed by type index. Used by call_indirect (issue #195).

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.