Enum Op 

pub enum Op {
    ConstUnit,
    ConstBool,
    ConstInt,
    FuncRef,
    ConstTag,
    ConstFloat,
    Str,
    Copy,
    Clear,
    Neg(Num),
    Arith(Num, ArithOp),
    Cmp(Compare, CmpOp),
    ArithImm(ArithOp),
    CmpImm(CmpOp),
    Not,
    Convert(Convert),
    Jump,
    BranchFalse,
    Switch,
    Return,
    Call,
    CallClosure,
    CallHost,
    CallResource,
    CallBuiltin,
    AllocFixed,
    AllocImm,
    AllocSlot,
    LoadField,
    StoreField,
    LoadElem,
    StoreElem,
    ByteAt,
    AllocBytes,
    WriteByte,
    CopyBytes,
    FinishString,
    AllocBuffer,
    AppendByte,
    AppendBytes,
    FinishBuffer,
    Len,
    LayoutOf,
    AddrOfSlot,
    AddrOfField,
    AddrOfElem,
    AddrOfPart,
    Load,
    Store,
    Box,
    Unbox,
    ScopeEnter,
    ScopeLeave,
    ScopeCancel,
    Spawn,
    Await,
    Cancel,
    Settled,
    SharedLock,
    SharedUnlock,
    Trap,
    AssertFailed,
}

One concrete operation.

The parameterised variants are the cross products ADR 0041 generates: an Op::Arith(Num::Int, ArithOp::Add) is add.int, and there is no second name for it.

Variants

ConstUnit

ConstBool

ConstInt

FuncRef

ConstTag

ConstFloat

Str

Copy

Clear

Neg(Num)

Arith(Num, ArithOp)

Cmp(Compare, CmpOp)

ArithImm(ArithOp)

CmpImm(CmpOp)

Not

Convert(Convert)

Jump

BranchFalse

Switch

Return

Call

CallClosure

CallHost

CallResource

CallBuiltin

AllocFixed

AllocImm

AllocSlot

LoadField

StoreField

LoadElem

StoreElem

ByteAt

AllocBytes

WriteByte

CopyBytes

FinishString

AllocBuffer

AppendByte

AppendBytes

FinishBuffer

Len

LayoutOf

AddrOfSlot

AddrOfField

AddrOfElem

AddrOfPart

Load

Store

Box

Unbox

ScopeEnter

ScopeLeave

ScopeCancel

Spawn

Await

Cancel

Settled

SharedLock

SharedUnlock

Trap

AssertFailed

Implementations

impl Op

pub fn all() -> Vec<Op>

Every opcode, in the order that gives them their numbers.

This is the generated table ADR 0041 asks for. A family with members contributes its cross product, in the order of the arrays above.

pub const fn number(self) -> u8

The byte this opcode is written as.

const, so that an opcode is usable as a match pattern. That is what lets the runtime’s encoded dispatch name add.int.imm by writing Op::ArithImm(ArithOp::Add).number() instead of a literal, and it is why ADR 0041’s “opcode numbers are positions in a generated table and move when the table does” costs nothing outside this file.

pub fn from_number(number: u8) -> Option<Op>

Which opcode a byte names, or None for one no encoder produced.

The inverse is a table built from Op::all rather than a second match, so there is one enumeration and not two.

pub fn fields(self) -> Fields

What this opcode makes of the four fields.

This is ADR 0041’s audit table, one row per opcode, and it is what both the decoder’s canonicality check and the verifier’s slot check are driven by.

Trait Implementations

impl Clone for Op

fn clone(&self) -> Op

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Op

impl Debug for Op

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

Formats the value using the given formatter.

impl Eq for Op

impl PartialEq for Op

fn eq(&self, other: &Op) -> 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 Op