Enum move_ir_types::ast::Bytecode_

pub enum Bytecode_ {
    Pop,
    Ret,
    Nop(Option<NopLabel>),
    BrTrue(BlockLabel),
    BrFalse(BlockLabel),
    Branch(BlockLabel),
    LdU8(u8),
    LdU64(u64),
    LdU128(u128),
    CastU8,
    CastU64,
    CastU128,
    LdByteArray(Vec<u8>),
    LdAddr(AccountAddress),
    LdTrue,
    LdFalse,
    LdConst(ConstantName),
    CopyLoc(Var),
    MoveLoc(Var),
    StLoc(Var),
    Call(ModuleName, FunctionName, Vec<Type>),
    Pack(StructName, Vec<Type>),
    Unpack(StructName, Vec<Type>),
    ReadRef,
    WriteRef,
    FreezeRef,
    MutBorrowLoc(Var),
    ImmBorrowLoc(Var),
    MutBorrowField(StructName, Vec<Type>, Field),
    ImmBorrowField(StructName, Vec<Type>, Field),
    MutBorrowGlobal(StructName, Vec<Type>),
    ImmBorrowGlobal(StructName, Vec<Type>),
    Add,
    Sub,
    Mul,
    Mod,
    Div,
    BitOr,
    BitAnd,
    Xor,
    Or,
    And,
    Not,
    Eq,
    Neq,
    Lt,
    Gt,
    Le,
    Ge,
    Abort,
    Exists(StructName, Vec<Type>),
    MoveFrom(StructName, Vec<Type>),
    MoveTo(StructName, Vec<Type>),
    Shl,
    Shr,
}

Variants

Pop

Ret

Nop(Option<NopLabel>)

BrTrue(BlockLabel)

BrFalse(BlockLabel)

Branch(BlockLabel)

LdU8(u8)

LdU64(u64)

LdU128(u128)

CastU8

CastU64

CastU128

LdByteArray(Vec<u8>)

LdAddr(AccountAddress)

LdTrue

LdFalse

LdConst(ConstantName)

CopyLoc(Var)

MoveLoc(Var)

StLoc(Var)

Call(ModuleName, FunctionName, Vec<Type>)

Pack(StructName, Vec<Type>)

Unpack(StructName, Vec<Type>)

ReadRef

WriteRef

FreezeRef

MutBorrowLoc(Var)

ImmBorrowLoc(Var)

MutBorrowField(StructName, Vec<Type>, Field)

ImmBorrowField(StructName, Vec<Type>, Field)

MutBorrowGlobal(StructName, Vec<Type>)

ImmBorrowGlobal(StructName, Vec<Type>)

Add

Sub

Mul

Mod

Div

BitOr

BitAnd

Xor

Or

And

Not

Eq

Neq

Lt

Gt

Le

Ge

Abort

Exists(StructName, Vec<Type>)

MoveFrom(StructName, Vec<Type>)

MoveTo(StructName, Vec<Type>)

Shl

Shr

Trait Implementations

impl Clone for Bytecode_

fn clone(&self) -> Bytecode_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bytecode_

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

Formats the value using the given formatter.

impl Display for Bytecode_

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

Formats the value using the given formatter.

impl PartialEq<Bytecode_> for Bytecode_

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