Enum InstKind

pub enum InstKind {
    Declare {
        local: ValueId,
    },
    Unary {
        op: UnOp,
        value: ValueId,
    },
    Binary {
        op: BinOp,
        lhs: ValueId,
        rhs: ValueId,
    },
    Cast {
        kind: CastKind,
        value: ValueId,
        to: TypeId,
    },
    AggregateConstruct {
        ty: TypeId,
        args: Vec<ValueId>,
    },
    Bind {
        src: ValueId,
    },
    MemCopy {
        src: ValueId,
    },
    Load {
        src: ValueId,
    },
    AggregateAccess {
        value: ValueId,
        indices: Vec<ValueId>,
    },
    MapAccess {
        key: ValueId,
        value: ValueId,
    },
    Call {
        func: FunctionId,
        args: Vec<ValueId>,
        call_type: CallType,
    },
    Jump {
        dest: BasicBlockId,
    },
    Branch {
        cond: ValueId,
        then: BasicBlockId,
        else_: BasicBlockId,
    },
    Switch {
        disc: ValueId,
        table: SwitchTable,
        default: Option<BasicBlockId>,
    },
    Revert {
        arg: Option<ValueId>,
    },
    Emit {
        arg: ValueId,
    },
    Return {
        arg: Option<ValueId>,
    },
    Keccak256 {
        arg: ValueId,
    },
    AbiEncode {
        arg: ValueId,
    },
    Nop,
    Create {
        value: ValueId,
        contract: ContractId,
    },
    Create2 {
        value: ValueId,
        salt: ValueId,
        contract: ContractId,
    },
    YulIntrinsic {
        op: YulIntrinsicOp,
        args: Vec<ValueId>,
    },
}

Variants

Declare

This is not a real instruction, just used to tag a position where a local is declared.

Fields

local: ValueId

Unary

Unary instruction.

Fields

op: UnOp

value: ValueId

Binary

Binary instruction.

Fields

op: BinOp

lhs: ValueId

rhs: ValueId

Cast

Fields

kind: CastKind

value: ValueId

to: TypeId

AggregateConstruct

Constructs aggregate value, i.e. struct, tuple and array.

Fields

ty: TypeId

args: Vec<ValueId>

Bind

Fields

src: ValueId

MemCopy

Fields

src: ValueId

Load

Load a primitive value from a ptr

Fields

src: ValueId

AggregateAccess

Access to aggregate fields or elements.

Example

struct Foo:
    x: i32
    y: Array<i32, 8>

foo.y is lowered into `AggregateAccess(foo, [1])’ for example.

Fields

value: ValueId

indices: Vec<ValueId>

MapAccess

Fields

key: ValueId

value: ValueId

Call

Fields

func: FunctionId

args: Vec<ValueId>

call_type: CallType

Jump

Unconditional jump instruction.

Fields

dest: BasicBlockId

Branch

Conditional branching instruction.

Fields

cond: ValueId

then: BasicBlockId

else_: BasicBlockId

Switch

Fields

disc: ValueId

table: SwitchTable

default: Option<BasicBlockId>

Revert

Fields

arg: Option<ValueId>

Emit

Fields

arg: ValueId

Return

Fields

arg: Option<ValueId>

Keccak256

Fields

arg: ValueId

AbiEncode

Fields

arg: ValueId

Nop

Create

Fields

value: ValueId

contract: ContractId

Create2

Fields

value: ValueId

salt: ValueId

contract: ContractId

YulIntrinsic

Fields

op: YulIntrinsicOp

args: Vec<ValueId>

Trait Implementations

impl Clone for InstKind

fn clone(&self) -> InstKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InstKind

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

Formats the value using the given formatter.

impl Hash for InstKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InstKind

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

impl StructuralPartialEq for InstKind