Enum KernelOptLevel 

pub enum KernelOptLevel {
    Release,
    Diagnostic,
}

Optimization level for op-template kernel synthesis.

Release is the production default — closure-binding economy elides slots for names nothing references. Diagnostic keeps every magic-extern and result-binding-LHS slot allocated so step-debug / cycle-replay introspection can see the values the runtime would otherwise drop.

Naming: matches the rustc convention (opt-level=0..3) but collapsed to two semantically-distinct positions; there’s no useful middle ground between “DCE on” and “keep everything for inspection.”

Variants

Release

Production default. Closure-binding economy elides slots for unreferenced magic externs and result-binding LHSs. Writes to elided names silently no-op.

Diagnostic

Step-debug / cycle-replay mode. Force-allocate every magic extern (body / count / ok) and every result-binding LHS slot regardless of downstream reference. Runtime writes always land; wires.get always answers.

Implementations

impl KernelOptLevel

pub fn keep_unreferenced_slots(self) -> bool

True when slot allocation should ignore the “is this name referenced?” check and force-allocate every candidate slot.

pub fn parse(s: &str) -> Result<Self, &str>

Parse from a CLI-style string. Returns Err(input) on an unrecognised value so the caller can format its own diagnostic.

pub fn as_str(self) -> &'static str

Canonical CLI spelling for this level. Inverse of Self::parse.

Trait Implementations

impl Clone for KernelOptLevel

fn clone(&self) -> KernelOptLevel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for KernelOptLevel

impl Debug for KernelOptLevel

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

Formats the value using the given formatter.

impl Default for KernelOptLevel

fn default() -> KernelOptLevel

Returns the “default value” for a type.

impl Eq for KernelOptLevel

impl Hash for KernelOptLevel

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for KernelOptLevel

fn eq(&self, other: &KernelOptLevel) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for KernelOptLevel