Struct CompiledBytecode 

pub struct CompiledBytecode {
    code: Vec<Op>,
    consts: Vec<f64>,
}

A bytecode-compiled per_point / per_pixel block. Constructed by CompiledBytecode::try_compile and replayed by CompiledBytecode::run.

Cold variables (custom user vars + cold builtins) are addressed by their slot index in the MilkContext::cold slab — resolved once at compile time so Op::LoadCold(idx) / Op::StoreCold(idx) skip the HashMap probe and String::from allocation the older name-keyed path paid on every store.

Fields

code: Vec<Op>

consts: Vec<f64>

Implementations

impl CompiledBytecode

pub fn try_compile( nodes: &[Node], ctx: &mut MilkContext, ) -> Result<Self, CompileError>

Translate a block of evalexpr Nodes into bytecode against the supplied context. Cold-variable names referenced by the block are interned into MilkContext::cold so the emitted opcodes carry slab indices instead of string keys.

Returns Err(Unsupported) on the first operator / function the compiler doesn’t lower — the caller can fall back to evaluating the Vec<Node> through evalexpr directly.

pub fn run(&self, ctx: &mut MilkContext)

Run the bytecode against ctx. Mutates the context in place (hot vars, q-channels, custom vars).

Safety footprint

The inner loop uses get_unchecked to elide bounds checks on stack, consts, and code. The invariants the bytecode compiler upholds are:

• sp <= STACK_SIZE at every opcode boundary — checked by debug_assert! on each push.
• i < consts.len() for every PushConst(i) — add_const returns the index it just pushed, so the bytecode never emits a stale index.
• pc < code.len() — the while header guards each fetch.

On the bench-presets corpus this shaves a few percent off per-sample VM time; on a tight inner loop with Op::Add / Op::Mul, every bounds check elided counts.

Trait Implementations

impl Clone for CompiledBytecode

fn clone(&self) -> CompiledBytecode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledBytecode

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

Formats the value using the given formatter.