[−][src]Enum cranelift_codegen::ir::instructions::InstructionData

pub enum InstructionData {
    Binary {
        opcode: Opcode,
        args: [Value; 2],
    },
    InsertLane {
        opcode: Opcode,
        args: [Value; 2],
        lane: Uimm8,
    },
    BinaryImm {
        opcode: Opcode,
        arg: Value,
        imm: Imm64,
    },
    UnaryGlobalValue {
        opcode: Opcode,
        global_value: GlobalValue,
    },
    RegSpill {
        opcode: Opcode,
        arg: Value,
        src: RegUnit,
        dst: StackSlot,
    },
    FloatCompare {
        opcode: Opcode,
        args: [Value; 2],
        cond: FloatCC,
    },
    FloatCond {
        opcode: Opcode,
        arg: Value,
        cond: FloatCC,
    },
    CopySpecial {
        opcode: Opcode,
        src: RegUnit,
        dst: RegUnit,
    },
    Unary {
        opcode: Opcode,
        arg: Value,
    },
    IntCond {
        opcode: Opcode,
        arg: Value,
        cond: IntCC,
    },
    ExtractLane {
        opcode: Opcode,
        arg: Value,
        lane: Uimm8,
    },
    TableAddr {
        opcode: Opcode,
        arg: Value,
        table: Table,
        offset: Offset32,
    },
    BranchTableBase {
        opcode: Opcode,
        table: JumpTable,
    },
    IntCompare {
        opcode: Opcode,
        args: [Value; 2],
        cond: IntCC,
    },
    Shuffle {
        opcode: Opcode,
        args: [Value; 2],
        mask: Immediate,
    },
    BranchFloat {
        opcode: Opcode,
        args: ValueList,
        cond: FloatCC,
        destination: Ebb,
    },
    IntCompareImm {
        opcode: Opcode,
        arg: Value,
        cond: IntCC,
        imm: Imm64,
    },
    NullAry {
        opcode: Opcode,
    },
    BranchTable {
        opcode: Opcode,
        arg: Value,
        destination: Ebb,
        table: JumpTable,
    },
    UnaryConst {
        opcode: Opcode,
        constant_handle: Constant,
    },
    StackStore {
        opcode: Opcode,
        arg: Value,
        stack_slot: StackSlot,
        offset: Offset32,
    },
    Branch {
        opcode: Opcode,
        args: ValueList,
        destination: Ebb,
    },
    Load {
        opcode: Opcode,
        arg: Value,
        flags: MemFlags,
        offset: Offset32,
    },
    RegFill {
        opcode: Opcode,
        arg: Value,
        src: StackSlot,
        dst: RegUnit,
    },
    StoreComplex {
        opcode: Opcode,
        args: ValueList,
        flags: MemFlags,
        offset: Offset32,
    },
    StackLoad {
        opcode: Opcode,
        stack_slot: StackSlot,
        offset: Offset32,
    },
    UnaryBool {
        opcode: Opcode,
        imm: bool,
    },
    FloatCondTrap {
        opcode: Opcode,
        arg: Value,
        cond: FloatCC,
        code: TrapCode,
    },
    IntSelect {
        opcode: Opcode,
        args: [Value; 3],
        cond: IntCC,
    },
    BranchIcmp {
        opcode: Opcode,
        args: ValueList,
        cond: IntCC,
        destination: Ebb,
    },
    FuncAddr {
        opcode: Opcode,
        func_ref: FuncRef,
    },
    BranchTableEntry {
        opcode: Opcode,
        args: [Value; 2],
        imm: Uimm8,
        table: JumpTable,
    },
    MultiAry {
        opcode: Opcode,
        args: ValueList,
    },
    UnaryImm {
        opcode: Opcode,
        imm: Imm64,
    },
    Ternary {
        opcode: Opcode,
        args: [Value; 3],
    },
    IndirectJump {
        opcode: Opcode,
        arg: Value,
        table: JumpTable,
    },
    CallIndirect {
        opcode: Opcode,
        args: ValueList,
        sig_ref: SigRef,
    },
    Trap {
        opcode: Opcode,
        code: TrapCode,
    },
    CondTrap {
        opcode: Opcode,
        arg: Value,
        code: TrapCode,
    },
    RegMove {
        opcode: Opcode,
        arg: Value,
        src: RegUnit,
        dst: RegUnit,
    },
    HeapAddr {
        opcode: Opcode,
        arg: Value,
        heap: Heap,
        imm: Uimm32,
    },
    BranchInt {
        opcode: Opcode,
        args: ValueList,
        cond: IntCC,
        destination: Ebb,
    },
    Call {
        opcode: Opcode,
        args: ValueList,
        func_ref: FuncRef,
    },
    Store {
        opcode: Opcode,
        args: [Value; 2],
        flags: MemFlags,
        offset: Offset32,
    },
    Jump {
        opcode: Opcode,
        args: ValueList,
        destination: Ebb,
    },
    IntCondTrap {
        opcode: Opcode,
        arg: Value,
        cond: IntCC,
        code: TrapCode,
    },
    LoadComplex {
        opcode: Opcode,
        args: ValueList,
        flags: MemFlags,
        offset: Offset32,
    },
    UnaryIeee32 {
        opcode: Opcode,
        imm: Ieee32,
    },
    CopyToSsa {
        opcode: Opcode,
        src: RegUnit,
    },
    UnaryIeee64 {
        opcode: Opcode,
        imm: Ieee64,
    },
}

Variants

Binary

Fields of Binary

opcode: Opcodeargs: [Value; 2]

InsertLane

Fields of InsertLane

opcode: Opcodeargs: [Value; 2]lane: Uimm8

BinaryImm

Fields of BinaryImm

opcode: Opcodearg: Valueimm: Imm64

UnaryGlobalValue

Fields of UnaryGlobalValue

opcode: Opcodeglobal_value: GlobalValue

RegSpill

Fields of RegSpill

opcode: Opcodearg: Valuesrc: RegUnitdst: StackSlot

FloatCompare

Fields of FloatCompare

opcode: Opcodeargs: [Value; 2]cond: FloatCC

FloatCond

Fields of FloatCond

opcode: Opcodearg: Valuecond: FloatCC

CopySpecial

Fields of CopySpecial

opcode: Opcodesrc: RegUnitdst: RegUnit

Unary

Fields of Unary

opcode: Opcodearg: Value

IntCond

Fields of IntCond

opcode: Opcodearg: Valuecond: IntCC

ExtractLane

Fields of ExtractLane

opcode: Opcodearg: Valuelane: Uimm8

TableAddr

Fields of TableAddr

opcode: Opcodearg: Valuetable: Tableoffset: Offset32

BranchTableBase

Fields of BranchTableBase

opcode: Opcodetable: JumpTable

IntCompare

Fields of IntCompare

opcode: Opcodeargs: [Value; 2]cond: IntCC

Shuffle

Fields of Shuffle

opcode: Opcodeargs: [Value; 2]mask: Immediate

BranchFloat

Fields of BranchFloat

opcode: Opcodeargs: ValueListcond: FloatCCdestination: Ebb

IntCompareImm

Fields of IntCompareImm

opcode: Opcodearg: Valuecond: IntCCimm: Imm64

NullAry

Fields of NullAry

opcode: Opcode

BranchTable

Fields of BranchTable

opcode: Opcodearg: Valuedestination: Ebbtable: JumpTable

UnaryConst

Fields of UnaryConst

opcode: Opcodeconstant_handle: Constant

StackStore

Fields of StackStore

opcode: Opcodearg: Valuestack_slot: StackSlotoffset: Offset32

Branch

Fields of Branch

opcode: Opcodeargs: ValueListdestination: Ebb

Load

Fields of Load

opcode: Opcodearg: Valueflags: MemFlagsoffset: Offset32

RegFill

Fields of RegFill

opcode: Opcodearg: Valuesrc: StackSlotdst: RegUnit

StoreComplex

Fields of StoreComplex

opcode: Opcodeargs: ValueListflags: MemFlagsoffset: Offset32

StackLoad

Fields of StackLoad

opcode: Opcodestack_slot: StackSlotoffset: Offset32

UnaryBool

Fields of UnaryBool

opcode: Opcodeimm: bool

FloatCondTrap

Fields of FloatCondTrap

opcode: Opcodearg: Valuecond: FloatCCcode: TrapCode

IntSelect

Fields of IntSelect

opcode: Opcodeargs: [Value; 3]cond: IntCC

BranchIcmp

Fields of BranchIcmp

opcode: Opcodeargs: ValueListcond: IntCCdestination: Ebb

FuncAddr

Fields of FuncAddr

opcode: Opcodefunc_ref: FuncRef

BranchTableEntry

Fields of BranchTableEntry

opcode: Opcodeargs: [Value; 2]imm: Uimm8table: JumpTable

MultiAry

Fields of MultiAry

opcode: Opcodeargs: ValueList

UnaryImm

Fields of UnaryImm

opcode: Opcodeimm: Imm64

Ternary

Fields of Ternary

opcode: Opcodeargs: [Value; 3]

IndirectJump

Fields of IndirectJump

opcode: Opcodearg: Valuetable: JumpTable

CallIndirect

Fields of CallIndirect

opcode: Opcodeargs: ValueListsig_ref: SigRef

Trap

Fields of Trap

opcode: Opcodecode: TrapCode

CondTrap

Fields of CondTrap

opcode: Opcodearg: Valuecode: TrapCode

RegMove

Fields of RegMove

opcode: Opcodearg: Valuesrc: RegUnitdst: RegUnit

HeapAddr

Fields of HeapAddr

opcode: Opcodearg: Valueheap: Heapimm: Uimm32

BranchInt

Fields of BranchInt

opcode: Opcodeargs: ValueListcond: IntCCdestination: Ebb

Call

Fields of Call

opcode: Opcodeargs: ValueListfunc_ref: FuncRef

Store

Fields of Store

opcode: Opcodeargs: [Value; 2]flags: MemFlagsoffset: Offset32

Jump

Fields of Jump

opcode: Opcodeargs: ValueListdestination: Ebb

IntCondTrap

Fields of IntCondTrap

opcode: Opcodearg: Valuecond: IntCCcode: TrapCode

LoadComplex

Fields of LoadComplex

opcode: Opcodeargs: ValueListflags: MemFlagsoffset: Offset32

UnaryIeee32

Fields of UnaryIeee32

opcode: Opcodeimm: Ieee32

CopyToSsa

Fields of CopyToSsa

opcode: Opcodesrc: RegUnit

UnaryIeee64

Fields of UnaryIeee64

opcode: Opcodeimm: Ieee64

Methods

`impl InstructionData`[src]

`pub fn opcode(&self) -> Opcode`[src]

Get the opcode of this instruction.

`pub fn typevar_operand(&self, pool: &ValueListPool) -> Option<Value>`[src]

Get the controlling type variable operand.

`pub fn arguments<'a>(&'a self, pool: &'a ValueListPool) -> &[Value]`[src]

Get the value arguments to this instruction.

`pub fn arguments_mut<'a>( &'a mut self, pool: &'a mut ValueListPool ) -> &mut [Value]`[src]

Get mutable references to the value arguments to this instruction.

`pub fn take_value_list(&mut self) -> Option<ValueList>`[src]

Take out the value list with all the value arguments and return it.

This leaves the value list in the instruction empty. Use put_value_list to put the value list back.

`pub fn put_value_list(&mut self, vlist: ValueList)`[src]

Put back a value list.

After removing a value list with take_value_list(), use this method to put it back. It is required that this instruction has a format that accepts a value list, and that the existing value list is empty. This avoids leaking list pool memory.

`pub fn eq(&self, other: &Self, pool: &ValueListPool) -> bool`[src]

Compare two InstructionData for equality.

This operation requires a reference to a ValueListPool to determine if the contents of any ValueLists are equal.

`pub fn hash<H: Hasher>(&self, state: &mut H, pool: &ValueListPool)`[src]

Hash an InstructionData.

This operation requires a reference to a ValueListPool to hash the contents of any ValueLists.

`impl InstructionData`[src]

Analyzing an instruction.

Avoid large matches on instruction formats by using the methods defined here to examine instructions.

`pub fn analyze_branch<'a>(&'a self, pool: &'a ValueListPool) -> BranchInfo<'a>`[src]

Return information about the destination of a branch or jump instruction.

Any instruction that can transfer control to another EBB reveals its possible destinations here.

`pub fn branch_destination(&self) -> Option<Ebb>`[src]

Get the single destination of this branch instruction, if it is a single destination branch or jump.

Multi-destination branches like br_table return None.

`pub fn branch_destination_mut(&mut self) -> Option<&mut Ebb>`[src]

Get a mutable reference to the single destination of this branch instruction, if it is a single destination branch or jump.

Multi-destination branches like br_table return None.

`pub fn analyze_call<'a>(&'a self, pool: &'a ValueListPool) -> CallInfo<'a>`[src]

Return information about a call instruction.

Any instruction that can call another function reveals its call signature here.

Trait Implementations

`impl<'a> From<&'a InstructionData> for InstructionFormat`[src]

`fn from(inst: &'a InstructionData) -> Self`[src]

`impl Debug for InstructionData`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl Clone for InstructionData`[src]

`fn clone(&self) -> InstructionData`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

Auto Trait Implementations

`impl Unpin for InstructionData`

`impl Send for InstructionData`

`impl Sync for InstructionData`

`impl UnwindSafe for InstructionData`

`impl RefUnwindSafe for InstructionData`

Blanket Implementations

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

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

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

[−][src]Enum cranelift_codegen::ir::instructions::InstructionData

Variants

Fields of Binary

Fields of InsertLane

Fields of BinaryImm

Fields of UnaryGlobalValue

Fields of RegSpill

Fields of FloatCompare

Fields of FloatCond

Fields of CopySpecial

Fields of Unary

Fields of IntCond

Fields of ExtractLane

Fields of TableAddr

Fields of BranchTableBase

Fields of IntCompare

Fields of Shuffle

Fields of BranchFloat

Fields of IntCompareImm

Fields of NullAry

Fields of BranchTable

Fields of UnaryConst

Fields of StackStore

Fields of Branch

Fields of Load

Fields of RegFill

Fields of StoreComplex

Fields of StackLoad

Fields of UnaryBool

Fields of FloatCondTrap

Fields of IntSelect

Fields of BranchIcmp

Fields of FuncAddr

Fields of BranchTableEntry

Fields of MultiAry

Fields of UnaryImm

Fields of Ternary

Fields of IndirectJump

Fields of CallIndirect

Fields of Trap

Fields of CondTrap

Fields of RegMove

Fields of HeapAddr

Fields of BranchInt

Fields of Call

Fields of Store

Fields of Jump

Fields of IntCondTrap

Fields of LoadComplex

Fields of UnaryIeee32

Fields of CopyToSsa

Fields of UnaryIeee64

Methods

impl InstructionData[src]

pub fn opcode(&self) -> Opcode[src]

pub fn typevar_operand(&self, pool: &ValueListPool) -> Option<Value>[src]

pub fn arguments<'a>(&'a self, pool: &'a ValueListPool) -> &[Value][src]

pub fn arguments_mut<'a>( &'a mut self, pool: &'a mut ValueListPool) -> &mut [Value][src]

pub fn take_value_list(&mut self) -> Option<ValueList>[src]

pub fn put_value_list(&mut self, vlist: ValueList)[src]

pub fn eq(&self, other: &Self, pool: &ValueListPool) -> bool[src]

pub fn hash<H: Hasher>(&self, state: &mut H, pool: &ValueListPool)[src]

impl InstructionData[src]

pub fn analyze_branch<'a>(&'a self, pool: &'a ValueListPool) -> BranchInfo<'a>[src]

pub fn branch_destination(&self) -> Option<Ebb>[src]

pub fn branch_destination_mut(&mut self) -> Option<&mut Ebb>[src]

pub fn analyze_call<'a>(&'a self, pool: &'a ValueListPool) -> CallInfo<'a>[src]

Trait Implementations

impl<'a> From<&'a InstructionData> for InstructionFormat[src]

fn from(inst: &'a InstructionData) -> Self[src]

impl Debug for InstructionData[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

impl Clone for InstructionData[src]

fn clone(&self) -> InstructionData[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Auto Trait Implementations

impl Unpin for InstructionData

impl Send for InstructionData

impl Sync for InstructionData

impl UnwindSafe for InstructionData

`impl InstructionData`[src]

`pub fn opcode(&self) -> Opcode`[src]

`pub fn typevar_operand(&self, pool: &ValueListPool) -> Option<Value>`[src]

`pub fn arguments<'a>(&'a self, pool: &'a ValueListPool) -> &[Value]`[src]

`pub fn arguments_mut<'a>( &'a mut self, pool: &'a mut ValueListPool ) -> &mut [Value]`[src]

`pub fn take_value_list(&mut self) -> Option<ValueList>`[src]

`pub fn put_value_list(&mut self, vlist: ValueList)`[src]

`pub fn eq(&self, other: &Self, pool: &ValueListPool) -> bool`[src]

`pub fn hash<H: Hasher>(&self, state: &mut H, pool: &ValueListPool)`[src]

`impl InstructionData`[src]

`pub fn analyze_branch<'a>(&'a self, pool: &'a ValueListPool) -> BranchInfo<'a>`[src]

`pub fn branch_destination(&self) -> Option<Ebb>`[src]

`pub fn branch_destination_mut(&mut self) -> Option<&mut Ebb>`[src]

`pub fn analyze_call<'a>(&'a self, pool: &'a ValueListPool) -> CallInfo<'a>`[src]

`impl<'a> From<&'a InstructionData> for InstructionFormat`[src]

`fn from(inst: &'a InstructionData) -> Self`[src]

`impl Debug for InstructionData`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl Clone for InstructionData`[src]

`fn clone(&self) -> InstructionData`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Unpin for InstructionData`

`impl Send for InstructionData`

`impl Sync for InstructionData`

`impl UnwindSafe for InstructionData`

`impl RefUnwindSafe for InstructionData`

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

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

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]