Enum Op 

pub enum Op {
    Const {
        dst: Reg,
        value: Const,
    },
    Bin {
        op: BinOp,
        dst: Reg,
        lhs: Reg,
        rhs: Reg,
    },
    Un {
        op: UnOp,
        dst: Reg,
        src: Reg,
    },
    Move {
        dst: Reg,
        src: Reg,
    },
    Jump {
        target: Label,
    },
    JumpUnless {
        cond: Reg,
        target: Label,
    },
    Return {
        value: Option<Reg>,
    },
}

One bytecode instruction.

An op is the unit a Program is a sequence of. The arithmetic ops (Const, Bin, Un) write their result to a destination Reg and read their operands from registers; Move copies one register to another; and the control-flow ops (Jump, JumpUnless, Return) carry a Label or a result register. The set is closed and every variant is Copy, so an op stream is a flat &[Op] an interpreter or a further pass can walk with no indirection.

Examples

use codegen_lang::{Const, Op, Reg};

let load = Op::Const { dst: Reg(0), value: Const::Int(1) };
assert_eq!(load.to_string(), "r0 = const 1");

let ret = Op::Return { value: Some(Reg(0)) };
assert_eq!(ret.to_string(), "ret r0");

Variants

Const

Load a constant into dst.

Fields

dst: Reg

Register the constant is written to.

value: Const

The constant value.

Bin

Apply a binary operation: dst = lhs <op> rhs.

Fields

op: BinOp

The operation, reusing the IR’s BinOp.

dst: Reg

Register the result is written to.

lhs: Reg

Left operand register.

rhs: Reg

Right operand register.

Un

Apply a unary operation: dst = <op> src.

Fields

op: UnOp

The operation, reusing the IR’s UnOp.

dst: Reg

Register the result is written to.

src: Reg

Operand register.

Move

Copy a register: dst = src. Emitted on a control-flow edge to move a block argument into the parameter register of the block being entered — the bytecode’s stand-in for an SSA phi.

Fields

dst: Reg

Destination register.

src: Reg

Source register.

Jump

Jump unconditionally to target.

Fields

target: Label

The label to continue at.

JumpUnless

Jump to target when cond holds false; otherwise fall through to the next op.

Fields

cond: Reg

Register holding the boolean condition.

target: Label

The label taken when the condition is false.

Return

Return from the function, optionally yielding the value in a register.

Fields

value: Option<Reg>

The register whose value is returned, or None for a unit return.

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<'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 Display for Op

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

Formats the value using the given formatter.

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