Enum bytecode::stackless_bytecode::Operation

pub enum Operation {
    Function(ModuleId, FunId, Vec<Type>),
    OpaqueCallBegin(ModuleId, FunId, Vec<Type>),
    OpaqueCallEnd(ModuleId, FunId, Vec<Type>),
    Pack(ModuleId, StructId, Vec<Type>),
    Unpack(ModuleId, StructId, Vec<Type>),
    MoveTo(ModuleId, StructId, Vec<Type>),
    MoveFrom(ModuleId, StructId, Vec<Type>),
    Exists(ModuleId, StructId, Vec<Type>),
    BorrowLoc,
    BorrowField(ModuleId, StructId, Vec<Type>, usize),
    BorrowGlobal(ModuleId, StructId, Vec<Type>),
    GetField(ModuleId, StructId, Vec<Type>, usize),
    GetGlobal(ModuleId, StructId, Vec<Type>),
    Destroy,
    ReadRef,
    WriteRef,
    FreezeRef,
    Havoc(HavocKind),
    Stop,
    IsParent(BorrowNode, BorrowEdge),
    WriteBack(BorrowNode, BorrowEdge),
    UnpackRef,
    PackRef,
    UnpackRefDeep,
    PackRefDeep,
    CastU8,
    CastU64,
    CastU128,
    Not,
    Add,
    Sub,
    Mul,
    Div,
    Mod,
    BitOr,
    BitAnd,
    Xor,
    Shl,
    Shr,
    Lt,
    Gt,
    Le,
    Ge,
    Or,
    And,
    Eq,
    Neq,
    TraceLocal(TempIndex),
    TraceReturn(usize),
    TraceAbort,
    TraceExp(NodeId),
    EmitEvent,
    EventStoreDiverge,
}

An operation – target of a call. This contains user functions, builtin functions, and operators.

Variants

Function(ModuleId, FunId, Vec<Type>)

OpaqueCallBegin(ModuleId, FunId, Vec<Type>)

OpaqueCallEnd(ModuleId, FunId, Vec<Type>)

Pack(ModuleId, StructId, Vec<Type>)

Unpack(ModuleId, StructId, Vec<Type>)

MoveTo(ModuleId, StructId, Vec<Type>)

MoveFrom(ModuleId, StructId, Vec<Type>)

Exists(ModuleId, StructId, Vec<Type>)

BorrowLoc

BorrowField(ModuleId, StructId, Vec<Type>, usize)

BorrowGlobal(ModuleId, StructId, Vec<Type>)

GetField(ModuleId, StructId, Vec<Type>, usize)

GetGlobal(ModuleId, StructId, Vec<Type>)

Destroy

ReadRef

WriteRef

FreezeRef

Havoc(HavocKind)

Stop

IsParent(BorrowNode, BorrowEdge)

WriteBack(BorrowNode, BorrowEdge)

UnpackRef

PackRef

UnpackRefDeep

PackRefDeep

CastU8

CastU64

CastU128

Not

Add

Sub

Mul

Div

Mod

BitOr

BitAnd

Xor

Shl

Shr

Lt

Gt

Le

Ge

Or

And

Eq

Neq

TraceLocal(TempIndex)

TraceReturn(usize)

TraceAbort

TraceExp(NodeId)

EmitEvent

EventStoreDiverge

Implementations

impl Operation

pub fn can_abort(&self) -> bool

Returns true of the operation can cause abort.

impl Operation

pub fn display<'env>( &'env self, func_target: &'env FunctionTarget<'env> ) -> OperationDisplay<'env>

Creates a format object for a bytecode in context of a function target.

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.

impl PartialEq<Operation> for Operation

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Operation

impl StructuralEq for Operation

impl StructuralPartialEq for Operation