Enum dusk_dire::mir::Instr

source · [−]

pub enum Instr {
Show 36 variants    Void,
    Invalid,
    Const(Const),
    Alloca(Type),
    LogicalNot(OpId),
    Call {
        arguments: SmallVec<[OpId; 2]>,
        generic_arguments: Vec<Type>,
        func: FuncId,
    },
    ExternCall {
        arguments: SmallVec<[OpId; 2]>,
        func: ExternFunctionRef,
    },
    FunctionRef {
        generic_arguments: Vec<Type>,
        func: FuncId,
    },
    Intrinsic {
        arguments: SmallVec<[OpId; 2]>,
        ty: Type,
        intr: Intrinsic,
    },
    Import(OpId),
    Reinterpret(OpId, Type),
    Truncate(OpId, Type),
    SignExtend(OpId, Type),
    ZeroExtend(OpId, Type),
    FloatCast(OpId, Type),
    FloatToInt(OpId, Type),
    IntToFloat(OpId, Type),
    Load(OpId),
    Store {
        location: OpId,
        value: OpId,
    },
    AddressOfStatic(StaticId),
    Pointer {
        op: OpId,
        is_mut: bool,
    },
    Struct {
        fields: SmallVec<[OpId; 2]>,
        id: StructId,
    },
    Enum {
        variants: SmallVec<[OpId; 2]>,
        id: EnumId,
    },
    FunctionTy {
        param_tys: Vec<OpId>,
        ret_ty: OpId,
    },
    StructLit {
        fields: SmallVec<[OpId; 2]>,
        id: StructId,
    },
    DirectFieldAccess {
        val: OpId,
        index: usize,
    },
    IndirectFieldAccess {
        val: OpId,
        index: usize,
    },
    InternalFieldAccess {
        val: OpId,
        field: InternalField,
    },
    Variant {
        enuum: EnumId,
        index: usize,
        payload: OpId,
    },
    DiscriminantAccess {
        val: OpId,
    },
    Ret(OpId),
    Br(BlockId),
    CondBr {
        condition: OpId,
        true_bb: BlockId,
        false_bb: BlockId,
    },
    SwitchBr {
        scrutinee: OpId,
        cases: Vec<SwitchCase>,
        catch_all_bb: BlockId,
    },
    GenericParam(GenericParamId),
    Parameter(Type),
}

Variants

`Void`

`Invalid`

`Const(Const)`

`Alloca(Type)`

`LogicalNot(OpId)`

`Call`

Fields

arguments: SmallVec<[OpId; 2]>

generic_arguments: Vec<Type>

func: FuncId

`ExternCall`

Fields

arguments: SmallVec<[OpId; 2]>

func: ExternFunctionRef

`FunctionRef`

Fields

generic_arguments: Vec<Type>

func: FuncId

`Intrinsic`

Fields

arguments: SmallVec<[OpId; 2]>

ty: Type

intr: Intrinsic

`Import(OpId)`

`Reinterpret(OpId, Type)`

`Truncate(OpId, Type)`

`SignExtend(OpId, Type)`

`ZeroExtend(OpId, Type)`

`FloatCast(OpId, Type)`

`FloatToInt(OpId, Type)`

`IntToFloat(OpId, Type)`

`Load(OpId)`

`Store`

Fields

location: OpId

value: OpId

`AddressOfStatic(StaticId)`

`Pointer`

Fields

op: OpId

is_mut: bool

`Struct`

Fields

fields: SmallVec<[OpId; 2]>

id: StructId

`Enum`

Fields

variants: SmallVec<[OpId; 2]>

id: EnumId

`FunctionTy`

Fields

param_tys: Vec<OpId>

ret_ty: OpId

`StructLit`

Fields

fields: SmallVec<[OpId; 2]>

id: StructId

`DirectFieldAccess`

Fields

val: OpId

index: usize

`IndirectFieldAccess`

Fields

val: OpId

index: usize

`InternalFieldAccess`

Fields

val: OpId

field: InternalField

`Variant`

Fields

enuum: EnumId

index: usize

payload: OpId

`DiscriminantAccess`

Fields

val: OpId

`Ret(OpId)`

`Br(BlockId)`

`CondBr`

Fields

condition: OpId

true_bb: BlockId

false_bb: BlockId

`SwitchBr`

Fields

scrutinee: OpId

cases: Vec<SwitchCase>

catch_all_bb: BlockId

`GenericParam(GenericParamId)`

`Parameter(Type)`

Only valid at the beginning of a function, right after the void instruction

Implementations

source

pub fn replace_value(&mut self, old: OpId, new: OpId)

Trait Implementations

source

impl Clone for Instr

source

fn clone(&self) -> Instr

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl Debug for Instr

source

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

Formats the value using the given formatter. Read more

source

impl PartialEq<Instr> for Instr

source

fn eq(&self, other: &Instr) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

source

fn ne(&self, other: &Instr) -> bool

This method tests for !=.

source

impl StructuralPartialEq for Instr

Auto Trait Implementations

impl RefUnwindSafe for Instr

impl Send for Instr

impl Sync for Instr

impl Unpin for Instr

impl UnwindSafe for Instr

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Enum dusk_dire::mir::Instr

Variants

Void

Invalid

Const(Const)

Alloca(Type)

LogicalNot(OpId)

Call

Fields

ExternCall

Fields

FunctionRef

Fields

Intrinsic

Fields

Import(OpId)

Reinterpret(OpId, Type)

Truncate(OpId, Type)

SignExtend(OpId, Type)

ZeroExtend(OpId, Type)

FloatCast(OpId, Type)

FloatToInt(OpId, Type)

IntToFloat(OpId, Type)

Load(OpId)

Store

Fields

AddressOfStatic(StaticId)

Pointer

Fields

Struct

Fields

Enum

Fields

FunctionTy

Fields

StructLit

Fields

DirectFieldAccess

Fields

IndirectFieldAccess

Fields

InternalFieldAccess

Fields

Variant

Fields

DiscriminantAccess

Fields

Ret(OpId)

Br(BlockId)

CondBr

Fields

SwitchBr

Fields

GenericParam(GenericParamId)

Parameter(Type)

Implementations

impl Instr

pub fn replace_bb(&mut self, old: BlockId, new: BlockId)

pub fn referenced_values(&self) -> Vec<OpId>

pub fn references_value(&self, val: OpId) -> bool

pub fn replace_value(&mut self, old: OpId, new: OpId)

Trait Implementations

impl Clone for Instr

fn clone(&self) -> Instr

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

impl Debug for Instr

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

impl PartialEq<Instr> for Instr

fn eq(&self, other: &Instr) -> bool

fn ne(&self, other: &Instr) -> bool

impl StructuralPartialEq for Instr

Auto Trait Implementations

impl RefUnwindSafe for Instr

impl Send for Instr

impl Sync for Instr

impl Unpin for Instr

impl UnwindSafe for Instr

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

`Void`

`Invalid`

`Const(Const)`

`Alloca(Type)`

`LogicalNot(OpId)`

`Call`

`ExternCall`

`FunctionRef`

`Intrinsic`

`Import(OpId)`

`Reinterpret(OpId, Type)`

`Truncate(OpId, Type)`

`SignExtend(OpId, Type)`

`ZeroExtend(OpId, Type)`

`FloatCast(OpId, Type)`

`FloatToInt(OpId, Type)`

`IntToFloat(OpId, Type)`

`Load(OpId)`

`Store`

`AddressOfStatic(StaticId)`

`Pointer`

`Struct`

`Enum`

`FunctionTy`

`StructLit`

`DirectFieldAccess`

`IndirectFieldAccess`

`InternalFieldAccess`

`Variant`

`DiscriminantAccess`

`Ret(OpId)`

`Br(BlockId)`

`CondBr`

`SwitchBr`

`GenericParam(GenericParamId)`

`Parameter(Type)`

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,