Enum Instruction 

pub enum Instruction {
    Drop(ValueType),
    Dup,
    Swap,
    LoadParameter(usize),
    StoreParameter(usize),
    PushLiteral(LiteralValue),
    Return,
    ReturnVoid,
    ReturnDefault(ValueType),
    BinaryOp(BinaryOperator),
    LoadState(usize),
    StoreState(usize),
    LoadStorageDynamic,
    LoadLocal(usize),
    StoreLocal(usize),
    LoadMappingElement {
        state_index: usize,
        key_types: Vec<ValueType>,
    },
    StoreMappingElement {
        state_index: usize,
        key_types: Vec<ValueType>,
    },
    StoreArrayDeepCopy {
        state_index: usize,
        key_types: Vec<ValueType>,
    },
    LoadStructField {
        state_index: usize,
        key_types: Vec<ValueType>,
        field_keys: Vec<[u8; 32]>,
        field_type: ValueType,
    },
    StoreStructField {
        state_index: usize,
        key_types: Vec<ValueType>,
        field_keys: Vec<[u8; 32]>,
        field_type: ValueType,
    },
    LoadStructArrayElement {
        state_index: usize,
        key_types: Vec<ValueType>,
        field_keys: Vec<[u8; 32]>,
        element_type: ValueType,
    },
    StoreStructArrayElement {
        state_index: usize,
        key_types: Vec<ValueType>,
        field_keys: Vec<[u8; 32]>,
        element_type: ValueType,
    },
    LoadStructFieldMappingElement {
        state_index: usize,
        key_types: Vec<ValueType>,
        field_keys: Vec<[u8; 32]>,
        trailing_key_types: Vec<ValueType>,
        value_type: ValueType,
    },
    StoreStructFieldMappingElement {
        state_index: usize,
        key_types: Vec<ValueType>,
        field_keys: Vec<[u8; 32]>,
        trailing_key_types: Vec<ValueType>,
    },
    LoadRuntimeValue(RuntimeValue),
    GetSize,
    CallFunction {
        name: String,
        arg_count: usize,
    },
    PushFunctionOffset {
        name: String,
    },
    CallIndirect {
        arg_count: usize,
        has_return: bool,
    },
    CallBuiltin {
        builtin: BuiltinCall,
        arg_count: usize,
    },
    EmitEvent {
        event_index: usize,
        arg_count: usize,
    },
    EmitEventByName {
        name: String,
        arg_count: usize,
    },
    Convert {
        target: ConvertTarget,
    },
    IsType {
        target: ConvertTarget,
    },
    NewBuffer,
    NewArray {
        element_type: ValueType,
    },
    NewMap,
    ArrayGet,
    ArraySet,
    HasKey,
    MemCpy,
    Substr,
    ReverseItems,
    BitwiseNot,
    LogicalNot,
    Try {
        catch_target: usize,
    },
    EndTry {
        target: usize,
    },
    Jump {
        target: usize,
    },
    JumpIf {
        target: usize,
    },
    Label(usize),
    Throw,
    AbortMsg,
    Abort,
}

Variants

Drop(ValueType)

Dup

NeoVM DUP - duplicate the top stack item

Swap

NeoVM SWAP - swap the top two stack items

LoadParameter(usize)

StoreParameter(usize)

PushLiteral(LiteralValue)

Return

ReturnVoid

ReturnDefault(ValueType)

BinaryOp(BinaryOperator)

LoadState(usize)

StoreState(usize)

LoadStorageDynamic

LoadLocal(usize)

StoreLocal(usize)

LoadMappingElement

Fields

state_index: usize

key_types: Vec<ValueType>

StoreMappingElement

Fields

state_index: usize

key_types: Vec<ValueType>

StoreArrayDeepCopy

Task #205 — store a dynamic-array value into storage using the same layout the read side expects: length at the base slot and elements at keccak256(serialize(i) || slot).

Fields

state_index: usize

key_types: Vec<ValueType>

LoadStructField

Fields

state_index: usize

key_types: Vec<ValueType>

field_keys: Vec<[u8; 32]>

field_type: ValueType

StoreStructField

Fields

state_index: usize

key_types: Vec<ValueType>

field_keys: Vec<[u8; 32]>

field_type: ValueType

LoadStructArrayElement

Fields

state_index: usize

key_types: Vec<ValueType>

field_keys: Vec<[u8; 32]>

element_type: ValueType

StoreStructArrayElement

Fields

state_index: usize

key_types: Vec<ValueType>

field_keys: Vec<[u8; 32]>

element_type: ValueType

LoadStructFieldMappingElement

Fields

state_index: usize

key_types: Vec<ValueType>

field_keys: Vec<[u8; 32]>

trailing_key_types: Vec<ValueType>

value_type: ValueType

StoreStructFieldMappingElement

Fields

state_index: usize

key_types: Vec<ValueType>

field_keys: Vec<[u8; 32]>

trailing_key_types: Vec<ValueType>

LoadRuntimeValue(RuntimeValue)

GetSize

CallFunction

Fields

name: String

arg_count: usize

PushFunctionOffset

Task #186 — push an internal function’s bytecode offset as an integer literal. Emitted when a function name is evaluated as a value (e.g. passed as an argument of function-pointer type). The bytecode emitter fixes up the placeholder with the function’s actual method.offset once all methods have been laid out.

Fields

name: String

CallIndirect

Task #186 — indirect call through a function pointer (internal function(...) internal returns (...) passed as a parameter). Pops arg_count argument values and then the function-offset value, reverses the argument order so the callee’s INITSLOT binds them left-to-right, then emits CALLA (0x36) which jumps to the target offset.

Fields

arg_count: usize

has_return: bool

CallBuiltin

Fields

builtin: BuiltinCall

arg_count: usize

EmitEvent

Fields

event_index: usize

arg_count: usize

EmitEventByName

Fields

name: String

arg_count: usize

Convert

NeoVM CONVERT opcode. Converts the top stack item to a different StackItemType.

Fields

target: ConvertTarget

IsType

NeoVM ISTYPE opcode. Checks whether the top stack item matches a StackItemType and pushes a boolean.

Fields

target: ConvertTarget

NewBuffer

Allocate a new mutable buffer (NeoVM NEWBUFFER) whose length is taken from the stack. Used to implement Solidity new bytes(n) / new string(n) allocations.

NewArray

Fields

element_type: ValueType

NewMap

Allocate a new empty map (NeoVM NEWMAP). Used by Task #100 yul tstore/tload lowering to back __yul_transient with an in-memory key-value store that lives for the duration of the current invocation.

ArrayGet

ArraySet

HasKey

NeoVM HASKEY opcode: pops [collection, key], pushes Boolean — true if the key exists in the collection (Array index in range or Map key present). Used by Task #100 tload to return 0 for unset slots instead of raising PICKITEM: key not found.

MemCpy

NeoVM MEMCPY opcode: copy a slice of bytes into a buffer. Stack order (bottom -> top): [dst, dst_offset, src, src_offset, count]

Substr

NeoVM SUBSTR opcode: pop count and index, then a ByteString, push the substring bytes[index .. index + count] as a ByteString. Stack order (bottom -> top): [bytes, index, count] -> [bytes_substr]. Used to implement contiguous bytes memory/bytes calldata slicing so b[a:b] returns a raw ByteString rather than an Array of bytes.

ReverseItems

NeoVM REVERSEITEMS opcode: reverse an Array/Buffer in place. Note: consumes one reference and does not push it back.

BitwiseNot

LogicalNot

NeoVM NOT (0xAA) — logical boolean negation. Pops one value, pushes !value.is_truthy(). Correctly handles null (returns true), unlike PUSHF + EQUAL.

Try

Fields

catch_target: usize

EndTry

Fields

target: usize

Jump

Fields

target: usize

JumpIf

Fields

target: usize

Label(usize)

Throw

NeoVM THROW - raises a catchable exception using the value on the stack.

AbortMsg

Abort

Trait Implementations

impl Clone for Instruction

fn clone(&self) -> Instruction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instruction

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

Formats the value using the given formatter.

impl Eq for Instruction

impl PartialEq for Instruction

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Instruction