[−][src]Enum cranelift_codegen::ir::instructions::InstructionFormat
An instruction format
Every opcode has a corresponding instruction format
which is represented by both the InstructionFormat
and the InstructionData
enums.
Variants
Unary(imms=(), vals=1)
UnaryImm(imms=(imm: imm64), vals=0)
UnaryIeee32(imms=(imm: ieee32), vals=0)
UnaryIeee64(imms=(imm: ieee64), vals=0)
UnaryBool(imms=(imm: boolean), vals=0)
UnaryConst(imms=(constant_handle: poolConstant), vals=0)
UnaryGlobalValue(imms=(global_value: global_value), vals=0)
Binary(imms=(), vals=2)
BinaryImm(imms=(imm: imm64), vals=1)
Ternary(imms=(), vals=3)
MultiAry(imms=(), vals=0)
NullAry(imms=(), vals=0)
InsertLane(imms=(lane: uimm8), vals=2)
ExtractLane(imms=(lane: uimm8), vals=1)
Shuffle(imms=(mask: uimm128), vals=2)
IntCompare(imms=(cond: intcc), vals=2)
IntCompareImm(imms=(cond: intcc, imm: imm64), vals=1)
IntCond(imms=(cond: intcc), vals=1)
FloatCompare(imms=(cond: floatcc), vals=2)
FloatCond(imms=(cond: floatcc), vals=1)
IntSelect(imms=(cond: intcc), vals=3)
Jump(imms=(destination: ebb), vals=0)
Branch(imms=(destination: ebb), vals=1)
BranchInt(imms=(cond: intcc, destination: ebb), vals=1)
BranchFloat(imms=(cond: floatcc, destination: ebb), vals=1)
BranchIcmp(imms=(cond: intcc, destination: ebb), vals=2)
BranchTable(imms=(destination: ebb, table: jump_table), vals=1)
BranchTableEntry(imms=(imm: uimm8, table: jump_table), vals=2)
BranchTableBase(imms=(table: jump_table), vals=0)
IndirectJump(imms=(table: jump_table), vals=1)
Call(imms=(func_ref: func_ref), vals=0)
CallIndirect(imms=(sig_ref: sig_ref), vals=1)
FuncAddr(imms=(func_ref: func_ref), vals=0)
Load(imms=(flags: memflags, offset: offset32), vals=1)
LoadComplex(imms=(flags: memflags, offset: offset32), vals=0)
Store(imms=(flags: memflags, offset: offset32), vals=2)
StoreComplex(imms=(flags: memflags, offset: offset32), vals=1)
StackLoad(imms=(stack_slot: stack_slot, offset: offset32), vals=0)
StackStore(imms=(stack_slot: stack_slot, offset: offset32), vals=1)
HeapAddr(imms=(heap: heap, imm: uimm32), vals=1)
TableAddr(imms=(table: table, offset: offset32), vals=1)
RegMove(imms=(src: regunit, dst: regunit), vals=1)
CopySpecial(imms=(src: regunit, dst: regunit), vals=0)
CopyToSsa(imms=(src: regunit), vals=0)
RegSpill(imms=(src: regunit, dst: stack_slot), vals=1)
RegFill(imms=(src: stack_slot, dst: regunit), vals=1)
Trap(imms=(code: trapcode), vals=0)
CondTrap(imms=(code: trapcode), vals=1)
IntCondTrap(imms=(cond: intcc, code: trapcode), vals=1)
FloatCondTrap(imms=(cond: floatcc, code: trapcode), vals=1)
Trait Implementations
impl<'a> From<&'a InstructionData> for InstructionFormat
[src]
fn from(inst: &'a InstructionData) -> Self
[src]
impl Debug for InstructionFormat
[src]
impl PartialEq<InstructionFormat> for InstructionFormat
[src]
fn eq(&self, other: &InstructionFormat) -> bool
[src]
#[must_use]
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
impl Eq for InstructionFormat
[src]
impl Copy for InstructionFormat
[src]
impl Clone for InstructionFormat
[src]
fn clone(&self) -> InstructionFormat
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Auto Trait Implementations
impl Unpin for InstructionFormat
impl Send for InstructionFormat
impl Sync for InstructionFormat
impl UnwindSafe for InstructionFormat
impl RefUnwindSafe for InstructionFormat
Blanket Implementations
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
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]
U: From<T>,
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,