Enum Instruction 

pub enum Instruction {
    LoadConst {
        dst: Register,
        constant: ConstantId,
    },
    Move {
        dst: Register,
        src: Register,
    },
    Unary {
        dst: Register,
        op: UnaryOp,
        operand: Register,
    },
    Binary {
        dst: Register,
        op: BinaryOp,
        left: Register,
        right: Register,
    },
    CreateObject {
        dst: Register,
    },
    CreateArray {
        dst: Register,
    },
    CreateCell {
        dst: Register,
    },
    CreateClosure {
        dst: Register,
        function: FunctionId,
        captures: Register,
    },
    GetProperty {
        dst: Register,
        object: Register,
        key: Register,
    },
    SetProperty {
        object: Register,
        key: Register,
        value: Register,
    },
    DeleteProperty {
        dst: Register,
        object: Register,
        key: Register,
    },
    DefineAccessor {
        object: Register,
        key: Register,
        accessor: Register,
        kind: AccessorKind,
    },
    Call {
        dst: Register,
        callee: Register,
        this_value: Register,
        arguments: Register,
    },
    Construct {
        dst: Register,
        callee: Register,
        arguments: Register,
    },
    LoadGlobal {
        dst: Register,
        name: ConstantId,
    },
    StoreGlobal {
        name: ConstantId,
        value: Register,
    },
    TypeOfGlobal {
        dst: Register,
        name: ConstantId,
    },
    LoadThis {
        dst: Register,
    },
    LoadArguments {
        dst: Register,
    },
    LoadNewTarget {
        dst: Register,
    },
    ArrayPush {
        array: Register,
        value: Register,
    },
    ArrayExtend {
        array: Register,
        iterable: Register,
    },
    ObjectSpread {
        target: Register,
        source: Register,
    },
    SetPrototype {
        object: Register,
        prototype: Register,
    },
    CreatePrivateName {
        dst: Register,
        description: ConstantId,
    },
    CreateRegExp {
        dst: Register,
        pattern: ConstantId,
        flags: ConstantId,
    },
    GetIterator {
        dst: Register,
        src: Register,
        kind: IteratorKind,
    },
    IteratorNext {
        done: Register,
        value: Register,
        iterator: Register,
    },
    Jump {
        target: Pc,
    },
    JumpIfTrue {
        condition: Register,
        target: Pc,
    },
    JumpIfFalse {
        condition: Register,
        target: Pc,
    },
    Return {
        value: Register,
    },
    Throw {
        value: Register,
    },
    Suspend {
        dst: Register,
        src: Register,
        resume: Pc,
    },
    Import {
        dst: Register,
        specifier: ConstantId,
    },
    Export {
        name: ConstantId,
        src: Register,
    },
    Halt,
}

The production instruction algebra. Opcodes 0..=36 are stable wire tags.

Variants

LoadConst

Load a constant into dst (refines the formal Load).

Fields

dst: Register

constant: ConstantId

Move

Copy src into dst.

Fields

dst: Register

src: Register

Unary

Apply a unary operator to operand, writing dst.

Fields

dst: Register

op: UnaryOp

operand: Register

Binary

Apply a binary operator (generalizes the formal Add), writing dst.

Fields

dst: Register

op: BinaryOp

left: Register

right: Register

CreateObject

Create a fresh empty object in dst.

Fields

dst: Register

CreateArray

Create a fresh empty array in dst.

Fields

dst: Register

CreateCell

Create a compiler-private one-element array cell seeded with the runtime-only uninitialized sentinel.

Fields

dst: Register

CreateClosure

Materialize a closure over function, binding the captured cells held in the array register captures, into dst. The captured cells initialize the callee’s leading capture_count registers.

Fields

dst: Register

function: FunctionId

captures: Register

GetProperty

dst = object[key], with the property key taken from a register.

Fields

dst: Register

object: Register

key: Register

SetProperty

object[key] = value, with the property key taken from a register.

Fields

object: Register

key: Register

value: Register

DeleteProperty

dst = delete object[key], with the property key taken from a register.

Fields

dst: Register

object: Register

key: Register

DefineAccessor

Install a getter or setter accessor under key on object.

Fields

object: Register

key: Register

accessor: Register

kind: AccessorKind

Call

Call callee with receiver this_value and the dynamic argument array in arguments, writing the result to dst. Spread and any arity lower through the single arguments array.

Fields

dst: Register

callee: Register

this_value: Register

arguments: Register

Construct

Construct with callee and the dynamic argument array in arguments, writing the instance to dst.

Fields

dst: Register

callee: Register

arguments: Register

LoadGlobal

dst = globalThis[name], where name is a string constant. Throws a ReferenceError at runtime for an undeclared global.

Fields

dst: Register

name: ConstantId

StoreGlobal

globalThis[name] = value, where name is a string constant.

Fields

name: ConstantId

value: Register

TypeOfGlobal

dst = typeof globalThis[name], where name is a string constant. Yields "undefined" for an undeclared global rather than throwing.

Fields

dst: Register

name: ConstantId

LoadThis

Load the receiver binding this into dst.

Fields

dst: Register

LoadArguments

Load the arguments exotic object into dst.

Fields

dst: Register

LoadNewTarget

Load new.target into dst.

Fields

dst: Register

ArrayPush

Append value to the array in array.

Fields

array: Register

value: Register

ArrayExtend

Spread every element of iterable onto the end of the array in array.

Fields

array: Register

iterable: Register

ObjectSpread

Copy the own enumerable properties of source onto target ({ ...source }).

Fields

target: Register

source: Register

SetPrototype

Set the [[Prototype]] of object to prototype.

Fields

object: Register

prototype: Register

CreatePrivateName

Create a fresh private name described by the string constant description, writing it to dst. The result is used as a register key for private-field access via the property instructions.

Fields

dst: Register

description: ConstantId

CreateRegExp

Create a RegExp from the string-constant pattern and flags.

Fields

dst: Register

pattern: ConstantId

flags: ConstantId

GetIterator

Acquire an iterator over src using protocol kind, writing it to dst.

Fields

dst: Register

src: Register

kind: IteratorKind

IteratorNext

Advance iterator one step: write whether iteration is done to done and the produced value to value (two writes).

Fields

done: Register

value: Register

iterator: Register

Jump

Unconditional control transfer (identical to the formal Jump).

Fields

target: Pc

JumpIfTrue

Branch to target when condition is truthy, else fall through.

Fields

condition: Register

target: Pc

JumpIfFalse

Branch to target when condition is falsy, else fall through.

Fields

condition: Register

target: Pc

Return

Return value to the caller (terminator).

Fields

value: Register

Throw

Throw value (terminator; caught by an enclosing handler if any).

Fields

value: Register

Suspend

Yield src and resume at resume, receiving the resumed value in dst (refines the formal Suspend). See the module-level resume contract.

Fields

dst: Register

src: Register

resume: Pc

Import

Import the module named by the string constant specifier into dst.

Fields

dst: Register

specifier: ConstantId

Export

Export the local value in src under the string constant name.

Fields

name: ConstantId

src: Register

Halt

Terminate the current activation (identical to the formal Halt).

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 Copy for Instruction

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Instruction