Enum sway_ir::instruction::Instruction

pub enum Instruction {
    AsmBlock(AsmBlock, Vec<AsmArg>),
    Branch(Block),
    Call(Function, Vec<Value>),
    ConditionalBranch {
        cond_value: Value,
        true_block: Block,
        false_block: Block,
    },
    ExtractElement {
        array: Value,
        ty: Aggregate,
        index_val: Value,
    },
    ExtractValue {
        aggregate: Value,
        ty: Aggregate,
        indices: Vec<u64>,
    },
    GetPointer(Pointer),
    InsertElement {
        array: Value,
        ty: Aggregate,
        value: Value,
        index_val: Value,
    },
    InsertValue {
        aggregate: Value,
        ty: Aggregate,
        value: Value,
        indices: Vec<u64>,
    },
    Load(Value),
    Nop,
    Phi(Vec<(Block, Value)>),
    PointerCast(Value, Type),
    Ret(Value, Type),
    StateLoad {
        load_val: Value,
        key: Value,
    },
    StateStore {
        stored_val: Value,
        key: Value,
    },
    Store {
        dst_val: Value,
        stored_val: Value,
    },
}

Variants

AsmBlock(AsmBlock, Vec<AsmArg>)

An opaque list of ASM instructions passed directly to codegen.

Branch(Block)

An unconditional jump.

Call(Function, Vec<Value>)

A function call with a list of arguments.

ConditionalBranch

Fields

cond_value: Value

true_block: Block

false_block: Block

A conditional jump with the boolean condition value and true or false destinations.

ExtractElement

Fields

array: Value

ty: Aggregate

index_val: Value

Reading a specific element from an array.

ExtractValue

Fields

aggregate: Value

ty: Aggregate

indices: Vec<u64>

Reading a specific field from (nested) structs.

GetPointer(Pointer)

Return a pointer as a value.

InsertElement

Fields

array: Value

ty: Aggregate

value: Value

index_val: Value

Writing a specific value to an array.

InsertValue

Fields

aggregate: Value

ty: Aggregate

value: Value

indices: Vec<u64>

Writing a specific value to a (nested) struct field.

Load(Value)

Read a value from a memory pointer.

Nop

No-op, handy as a placeholder instruction.

Phi(Vec<(Block, Value)>)

Choose a value from a list depending on the preceding block.

PointerCast(Value, Type)

A cast from one pointer type to another. Value must be either a GetPointer instruction or another PointerCast.

Ret(Value, Type)

Return from a function.

StateLoad

Fields

load_val: Value

key: Value

Read a value from a storage slot. Type of load_val must be a Uint(64) or B256 ptr.

StateStore

Fields

stored_val: Value

key: Value

Write a value to a storage slot. Key must be a B256, type of stored_val must be a Uint(64) or B256 ptr.

Store

Fields

dst_val: Value

stored_val: Value

Write a value to a memory pointer.

Implementations

impl Instruction

pub fn get_type(&self, context: &Context) -> Option<Type>

Some Instructions can return a value, but for some a return value doesn’t make sense.

Those which perform side effects such as writing to memory and also terminators such as Ret do not have a type.

pub fn get_aggregate(&self, context: &Context) -> Option<Aggregate>

Some Instructions may have struct arguments. Return it if so for this instruction.

pub fn replace_value(&mut self, old_val: Value, new_val: Value)

Replace old_val with new_val if it is referenced by this instruction’s arguments.

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.