Enum muse_lang::vm::bitcode::Op

pub enum Op {
    Return,
    Label(Label),
    LoadModule {
        module: BitcodeModule,
        dest: OpDestination,
    },
    Declare {
        name: Symbol,
        mutable: bool,
        access: Access,
        value: ValueOrSource,
        dest: OpDestination,
    },
    Unary {
        op: ValueOrSource,
        dest: OpDestination,
        kind: UnaryKind,
    },
    BinOp {
        op1: ValueOrSource,
        op2: ValueOrSource,
        dest: OpDestination,
        kind: BinaryKind,
    },
    Call {
        name: ValueOrSource,
        arity: ValueOrSource,
    },
    Invoke {
        target: ValueOrSource,
        name: Symbol,
        arity: ValueOrSource,
    },
    Throw(FaultKind),
}

A virtual machine operation.

Variants

Return

Return from the current function.

Label(Label)

Assign this label to the next instruction.

LoadModule

Load module, storing a reference into dest.

Fields

module: BitcodeModule

The module to load.

dest: OpDestination

The location to store the loaded module.

Declare

Declare name with value, storing a copy of the value in dest.

Fields

name: Symbol

The name of the declaration.

mutable: bool

If true, the value will be able to be updated with an assignment.

access: Access

The access level to allow for this declaration.

value: ValueOrSource

The initial value of the declaration.

dest: OpDestination

The destination to store a copy of value.

Unary

An operation with one argument that stores its result in dest.

Fields

op: ValueOrSource

The value to operate on.

dest: OpDestination

The destination for the result.

kind: UnaryKind

The operation kind.

BinOp

An operation with two arguments that stores its result in dest.

Fields

op1: ValueOrSource

The first value to operate on.

op2: ValueOrSource

The second value to operate on.

dest: OpDestination

The destination for the result.

kind: BinaryKind

The operation kind.

Call

Invoke name as a function with arity number of arguments provided.

Fields

name: ValueOrSource

The name of the function.

arity: ValueOrSource

The number of arguments provided to this invocation.

Invoke

Invoke name on target with arity number of arguments provided.

Fields

target: ValueOrSource

The target to invoke the function on.

name: Symbol

The name of the function.

arity: ValueOrSource

The number of arguments provided to this invocation.

Throw(FaultKind)

Throw an exception.

Trait Implementations

impl Clone for Op

fn clone(&self) -> Op

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Op

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Op

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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 Serialize for Op

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Op