Enum Instruction

pub enum Instruction {
    Nop,
    Value {
        value: Operand,
    },
    BinOp {
        op: BinaryOperator,
        lhs: Operand,
        rhs: Operand,
        dtype: Dtype,
    },
    UnaryOp {
        op: UnaryOperator,
        operand: Operand,
        dtype: Dtype,
    },
    Store {
        ptr: Operand,
        value: Operand,
    },
    Load {
        ptr: Operand,
    },
    Call {
        callee: Operand,
        args: Vec<Operand>,
        return_type: Dtype,
    },
    TypeCast {
        value: Operand,
        target_dtype: Dtype,
    },
    GetElementPtr {
        ptr: Operand,
        offset: Operand,
        dtype: Dtype,
    },
}

Variants

Nop

Value

A value, used for “simple copy”.

This is only used during phi elimination for Asmgen. You can ignore this before that. In particular, you will need this instruction to properly generate assembly for lost_copy.c and swap.c.

Fields

value: Operand

BinOp

Fields

op: BinaryOperator

lhs: Operand

rhs: Operand

dtype: Dtype

UnaryOp

Fields

op: UnaryOperator

operand: Operand

dtype: Dtype

Store

Fields

ptr: Operand

value: Operand

Load

Fields

ptr: Operand

Call

Fields

callee: Operand

args: Vec<Operand>

return_type: Dtype

TypeCast

Fields

value: Operand

target_dtype: Dtype

GetElementPtr

GetElementPtr is inspired from getelementptr instruction of LLVM.

For more details: https://llvm.org/docs/LangRef.html#i-getelementptr

Fields

ptr: Operand

offset: Operand

dtype: Dtype

Implementations

impl Instruction

pub fn has_no_side_effects(&self) -> bool

Trait Implementations

impl Clone for Instruction

fn clone(&self) -> Instruction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Instruction

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

Formats the value using the given formatter.

impl Display for Instruction

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

Formats the value using the given formatter.

impl HasDtype for Instruction

fn dtype(&self) -> Dtype

TODO(document)

impl PartialEq for Instruction

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

impl StructuralPartialEq for Instruction