Enum IrInstruction 

pub enum IrInstruction {
    Const {
        dst: IrValueId,
        literal: Literal,
    },
    LoadLocal {
        dst: IrValueId,
        local: IrLocalId,
    },
    StoreLocal {
        local: IrLocalId,
        value: IrValueId,
    },
    LoadGlobal {
        dst: IrValueId,
        name: String,
    },
    StoreGlobal {
        name: String,
        value: IrValueId,
    },
    Unary {
        dst: IrValueId,
        op: UnaryOp,
        operand: IrValueId,
    },
    Binary {
        dst: IrValueId,
        op: BinaryOp,
        left: IrValueId,
        right: IrValueId,
    },
    Assignment {
        dst: IrValueId,
        op: AssignmentOp,
        left: IrValueId,
        right: IrValueId,
    },
    Call {
        dst: Option<IrValueId>,
        function: String,
        arguments: Vec<IrCallArgument>,
    },
    FieldLoad {
        dst: IrValueId,
        base: IrValueId,
        field: String,
    },
    FieldStore {
        base: IrValueId,
        field: String,
        value: IrValueId,
    },
}

One stack-oriented IR instruction.

Variants

Const

Materialize one literal.

Fields

dst: IrValueId

Destination value.

literal: Literal

Literal payload.

LoadLocal

Load one local.

Fields

dst: IrValueId

Destination value.

local: IrLocalId

Local slot.

StoreLocal

Store one local.

Fields

local: IrLocalId

Local slot.

value: IrValueId

Stored value.

LoadGlobal

Load one global.

Fields

dst: IrValueId

Destination value.

name: String

Global name.

StoreGlobal

Store one global.

Fields

name: String

Global name.

value: IrValueId

Stored value.

Unary

Apply one unary operator.

Fields

dst: IrValueId

Destination value.

op: UnaryOp

Operator.

operand: IrValueId

Operand.

Binary

Apply one binary operator.

Fields

dst: IrValueId

Destination value.

op: BinaryOp

Operator.

left: IrValueId

Left operand.

right: IrValueId

Right operand.

Assignment

Apply one assignment operator in-place.

Fields

dst: IrValueId

Destination value.

op: AssignmentOp

Operator.

left: IrValueId

Left operand.

right: IrValueId

Right operand.

Call

Call one function or builtin by name.

Fields

dst: Option<IrValueId>

Optional return destination.

function: String

Function name.

arguments: Vec<IrCallArgument>

Argument payloads in source order.

FieldLoad

Load one structure field.

Fields

dst: IrValueId

Destination value.

base: IrValueId

Base value.

field: String

Field name.

FieldStore

Store one structure field.

Fields

base: IrValueId

Base value.

field: String

Field name.

value: IrValueId

Stored value.

Trait Implementations

impl Clone for IrInstruction

fn clone(&self) -> IrInstruction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrInstruction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IrInstruction

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IrInstruction

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

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 IrInstruction