Enum Operand 

pub enum Operand {
    Const(u16),
    Local(u16),
    ModuleBinding(u16),
    Offset(i32),
    Function(FunctionId),
    Builtin(BuiltinFunction),
    Count(u16),
    Property(u16),
    ColumnIndex(u32),
    TypedField {
        type_id: u16,
        field_idx: u16,
        field_type_tag: u16,
    },
    TypedObjectAlloc {
        schema_id: u16,
        field_count: u16,
    },
    TypedMerge {
        target_schema_id: u16,
        left_size: u16,
        right_size: u16,
    },
    ColumnAccess {
        col_id: u32,
    },
    Name(StringId),
    TypedMethodCall {
        method_id: u16,
        arg_count: u16,
        string_id: u16,
        receiver_type_tag: u8,
    },
    ForeignFunction(u16),
    MatrixDims {
        rows: u16,
        cols: u16,
    },
    Width(NumericWidth),
    TypedLocal(u16, NumericWidth),
    TypedModuleBinding(u16, NumericWidth),
    FieldOffset(u16),
    ClosureAlloc {
        fid: FunctionId,
        escapes: bool,
    },
}

Instruction operands

Variants

Const(u16)

Constant pool index

Local(u16)

Local variable index

ModuleBinding(u16)

ModuleBinding variable index

Offset(i32)

Jump offset (can be negative)

Function(FunctionId)

Function index

Builtin(BuiltinFunction)

Built-in function ID

Count(u16)

Number of arguments/elements

Property(u16)

Property name index

ColumnIndex(u32)

Column index for DataFrame field access (compile-time resolved)

TypedField

Typed field access (type_id, field_idx, field_type_tag) Used with GetFieldTyped/SetFieldTyped for optimized field access. field_type_tag encodes the FieldType so the executor can read slots without a runtime schema lookup.

Fields

type_id: u16

field_idx: u16

field_type_tag: u16

TypedObjectAlloc

Typed object allocation Used with NewTypedObject for creating TypedObject instances

Fields

schema_id: u16

Schema ID identifying the type layout

field_count: u16

Number of fields to pop from stack

TypedMerge

Typed object merge (compile-time registered intersection schema) Used with TypedMergeObject for O(1) merge operations

Fields

target_schema_id: u16

Schema ID for the merged result (pre-registered at compile time)

left_size: u16

Byte size of left operand data

right_size: u16

Byte size of right operand data

ColumnAccess

Typed column access on a RowView Used with LoadColF64/I64/Bool/Str for direct Arrow buffer reads

Fields

col_id: u32

Column index in the Arrow schema

Name(StringId)

A named reference (e.g., trait name for BoxTraitObject)

TypedMethodCall

Typed method call using compile-time resolved MethodId. For MethodId::DYNAMIC, the VM falls back to string lookup using string_id from the string pool.

Fields

method_id: u16

Compile-time resolved method identifier

arg_count: u16

Number of arguments (not counting receiver)

string_id: u16

String pool index for the method name (used for dynamic fallback and error messages)

receiver_type_tag: u8

Compile-time resolved receiver type tag (ConcreteType::type_tag()). 0xFF = unknown (triggers runtime tag/HeapKind dispatch fallback).

ForeignFunction(u16)

Foreign function index — indexes into program.foreign_functions

MatrixDims

Matrix dimensions (rows, cols) for NewMatrix opcode

Fields

rows: u16

cols: u16

Width(NumericWidth)

Numeric width tag for compact typed opcodes (AddTyped, SubTyped, etc.)

TypedLocal(u16, NumericWidth)

Local index + width for StoreLocalTyped

TypedModuleBinding(u16, NumericWidth)

Module binding index + width for StoreModuleBindingTyped

FieldOffset(u16)

Byte offset into a typed struct for FieldLoad/FieldStore v2 opcodes

ClosureAlloc

Closure allocation operand used exclusively by MakeClosure (Phase H5).

Carries both the function id and a compile-time escape flag. The flag is read at MIR lowering time to pick between stack-allocated (Phase E) and heap-allocated (Phase H2) codegen; the interpreter ignores it (both variants build a heap closure in the VM).

Operand::Function(fid) is also accepted by MakeClosure and is equivalent to ClosureAlloc { fid, escapes: false } — the compiler emits the richer form only when the storage planner has concluded the closure escapes.

Fields

fid: FunctionId

escapes: bool

Trait Implementations

impl Clone for Operand

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Operand

impl Debug for Operand

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operand

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Operand

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Operand

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Operand