Enum cranelift_codegen::ir::instructions::Opcode
source · [−]#[repr(u16)]
pub enum Opcode {
Show 218 variants
Jump,
Brz,
Brnz,
BrIcmp,
Brif,
Brff,
BrTable,
Debugtrap,
Trap,
Trapz,
ResumableTrap,
Trapnz,
ResumableTrapnz,
Trapif,
Trapff,
Return,
FallthroughReturn,
Call,
CallIndirect,
FuncAddr,
Splat,
Swizzle,
Insertlane,
Extractlane,
Imin,
Umin,
Imax,
Umax,
AvgRound,
UaddSat,
SaddSat,
UsubSat,
SsubSat,
Load,
LoadComplex,
Store,
StoreComplex,
Uload8,
Uload8Complex,
Sload8,
Sload8Complex,
Istore8,
Istore8Complex,
Uload16,
Uload16Complex,
Sload16,
Sload16Complex,
Istore16,
Istore16Complex,
Uload32,
Uload32Complex,
Sload32,
Sload32Complex,
Istore32,
Istore32Complex,
Uload8x8,
Uload8x8Complex,
Sload8x8,
Sload8x8Complex,
Uload16x4,
Uload16x4Complex,
Sload16x4,
Sload16x4Complex,
Uload32x2,
Uload32x2Complex,
Sload32x2,
Sload32x2Complex,
StackLoad,
StackStore,
StackAddr,
GlobalValue,
SymbolValue,
TlsValue,
HeapAddr,
GetPinnedReg,
SetPinnedReg,
TableAddr,
Iconst,
F32const,
F64const,
Bconst,
Vconst,
ConstAddr,
Shuffle,
Null,
Nop,
Select,
Selectif,
SelectifSpectreGuard,
Bitselect,
Copy,
IfcmpSp,
Vsplit,
Vconcat,
Vselect,
VanyTrue,
VallTrue,
VhighBits,
Icmp,
IcmpImm,
Ifcmp,
IfcmpImm,
Iadd,
Isub,
Ineg,
Iabs,
Imul,
Umulhi,
Smulhi,
SqmulRoundSat,
Udiv,
Sdiv,
Urem,
Srem,
IaddImm,
ImulImm,
UdivImm,
SdivImm,
UremImm,
SremImm,
IrsubImm,
IaddCin,
IaddIfcin,
IaddCout,
IaddIfcout,
IaddCarry,
IaddIfcarry,
IsubBin,
IsubIfbin,
IsubBout,
IsubIfbout,
IsubBorrow,
IsubIfborrow,
Band,
Bor,
Bxor,
Bnot,
BandNot,
BorNot,
BxorNot,
BandImm,
BorImm,
BxorImm,
Rotl,
Rotr,
RotlImm,
RotrImm,
Ishl,
Ushr,
Sshr,
IshlImm,
UshrImm,
SshrImm,
Bitrev,
Clz,
Cls,
Ctz,
Popcnt,
Fcmp,
Ffcmp,
Fadd,
Fsub,
Fmul,
Fdiv,
Sqrt,
Fma,
Fneg,
Fabs,
Fcopysign,
Fmin,
FminPseudo,
Fmax,
FmaxPseudo,
Ceil,
Floor,
Trunc,
Nearest,
IsNull,
IsInvalid,
Trueif,
Trueff,
Bitcast,
RawBitcast,
ScalarToVector,
Breduce,
Bextend,
Bint,
Bmask,
Ireduce,
Snarrow,
Unarrow,
Uunarrow,
SwidenLow,
SwidenHigh,
UwidenLow,
UwidenHigh,
IaddPairwise,
WideningPairwiseDotProductS,
Uextend,
Sextend,
Fpromote,
Fdemote,
Fvdemote,
FvpromoteLow,
FcvtToUint,
FcvtToUintSat,
FcvtToSint,
FcvtToSintSat,
FcvtFromUint,
FcvtFromSint,
FcvtLowFromSint,
Isplit,
Iconcat,
AtomicRmw,
AtomicCas,
AtomicLoad,
AtomicStore,
Fence,
}Expand description
An instruction opcode.
All instructions from all supported ISAs are present.
Variants
Jump
jump block, args. (Jump)
Brz
brz c, block, args. (Branch)
Type inferred from c.
Brnz
brnz c, block, args. (Branch)
Type inferred from c.
BrIcmp
br_icmp Cond, x, y, block, args. (BranchIcmp)
Type inferred from x.
Brif
brif Cond, f, block, args. (BranchInt)
Brff
brff Cond, f, block, args. (BranchFloat)
BrTable
br_table x, block, JT. (BranchTable)
Type inferred from x.
Debugtrap
debugtrap. (NullAry)
Trap
trap code. (Trap)
Trapz
trapz c, code. (CondTrap)
Type inferred from c.
ResumableTrap
resumable_trap code. (Trap)
Trapnz
trapnz c, code. (CondTrap)
Type inferred from c.
ResumableTrapnz
resumable_trapnz c, code. (CondTrap)
Type inferred from c.
Trapif
trapif Cond, f, code. (IntCondTrap)
Trapff
trapff Cond, f, code. (FloatCondTrap)
Return
return rvals. (MultiAry)
FallthroughReturn
fallthrough_return rvals. (MultiAry)
Call
rvals = call FN, args. (Call)
CallIndirect
rvals = call_indirect SIG, callee, args. (CallIndirect)
Type inferred from callee.
FuncAddr
addr = func_addr FN. (FuncAddr)
Splat
a = splat x. (Unary)
Swizzle
a = swizzle x, y. (Binary)
Insertlane
a = insertlane x, y, Idx. (TernaryImm8)
Type inferred from x.
Extractlane
a = extractlane x, Idx. (BinaryImm8)
Type inferred from x.
Imin
a = imin x, y. (Binary)
Type inferred from x.
Umin
a = umin x, y. (Binary)
Type inferred from x.
Imax
a = imax x, y. (Binary)
Type inferred from x.
Umax
a = umax x, y. (Binary)
Type inferred from x.
AvgRound
a = avg_round x, y. (Binary)
Type inferred from x.
UaddSat
a = uadd_sat x, y. (Binary)
Type inferred from x.
SaddSat
a = sadd_sat x, y. (Binary)
Type inferred from x.
UsubSat
a = usub_sat x, y. (Binary)
Type inferred from x.
SsubSat
a = ssub_sat x, y. (Binary)
Type inferred from x.
Load
a = load MemFlags, p, Offset. (Load)
LoadComplex
a = load_complex MemFlags, args, Offset. (LoadComplex)
Store
store MemFlags, x, p, Offset. (Store)
Type inferred from x.
StoreComplex
store_complex MemFlags, x, args, Offset. (StoreComplex)
Type inferred from x.
Uload8
a = uload8 MemFlags, p, Offset. (Load)
Uload8Complex
a = uload8_complex MemFlags, args, Offset. (LoadComplex)
Sload8
a = sload8 MemFlags, p, Offset. (Load)
Sload8Complex
a = sload8_complex MemFlags, args, Offset. (LoadComplex)
Istore8
istore8 MemFlags, x, p, Offset. (Store)
Type inferred from x.
Istore8Complex
istore8_complex MemFlags, x, args, Offset. (StoreComplex)
Type inferred from x.
Uload16
a = uload16 MemFlags, p, Offset. (Load)
Uload16Complex
a = uload16_complex MemFlags, args, Offset. (LoadComplex)
Sload16
a = sload16 MemFlags, p, Offset. (Load)
Sload16Complex
a = sload16_complex MemFlags, args, Offset. (LoadComplex)
Istore16
istore16 MemFlags, x, p, Offset. (Store)
Type inferred from x.
Istore16Complex
istore16_complex MemFlags, x, args, Offset. (StoreComplex)
Type inferred from x.
Uload32
a = uload32 MemFlags, p, Offset. (Load)
Type inferred from p.
Uload32Complex
a = uload32_complex MemFlags, args, Offset. (LoadComplex)
Sload32
a = sload32 MemFlags, p, Offset. (Load)
Type inferred from p.
Sload32Complex
a = sload32_complex MemFlags, args, Offset. (LoadComplex)
Istore32
istore32 MemFlags, x, p, Offset. (Store)
Type inferred from x.
Istore32Complex
istore32_complex MemFlags, x, args, Offset. (StoreComplex)
Uload8x8
a = uload8x8 MemFlags, p, Offset. (Load)
Type inferred from p.
Uload8x8Complex
a = uload8x8_complex MemFlags, args, Offset. (LoadComplex)
Sload8x8
a = sload8x8 MemFlags, p, Offset. (Load)
Type inferred from p.
Sload8x8Complex
a = sload8x8_complex MemFlags, args, Offset. (LoadComplex)
Uload16x4
a = uload16x4 MemFlags, p, Offset. (Load)
Type inferred from p.
Uload16x4Complex
a = uload16x4_complex MemFlags, args, Offset. (LoadComplex)
Sload16x4
a = sload16x4 MemFlags, p, Offset. (Load)
Type inferred from p.
Sload16x4Complex
a = sload16x4_complex MemFlags, args, Offset. (LoadComplex)
Uload32x2
a = uload32x2 MemFlags, p, Offset. (Load)
Type inferred from p.
Uload32x2Complex
a = uload32x2_complex MemFlags, args, Offset. (LoadComplex)
Sload32x2
a = sload32x2 MemFlags, p, Offset. (Load)
Type inferred from p.
Sload32x2Complex
a = sload32x2_complex MemFlags, args, Offset. (LoadComplex)
StackLoad
a = stack_load SS, Offset. (StackLoad)
StackStore
stack_store x, SS, Offset. (StackStore)
Type inferred from x.
StackAddr
addr = stack_addr SS, Offset. (StackLoad)
GlobalValue
a = global_value GV. (UnaryGlobalValue)
SymbolValue
a = symbol_value GV. (UnaryGlobalValue)
TlsValue
a = tls_value GV. (UnaryGlobalValue)
HeapAddr
addr = heap_addr H, p, Size. (HeapAddr)
GetPinnedReg
addr = get_pinned_reg. (NullAry)
SetPinnedReg
set_pinned_reg addr. (Unary)
Type inferred from addr.
TableAddr
addr = table_addr T, p, Offset. (TableAddr)
Iconst
a = iconst N. (UnaryImm)
F32const
a = f32const N. (UnaryIeee32)
F64const
a = f64const N. (UnaryIeee64)
Bconst
a = bconst N. (UnaryBool)
Vconst
a = vconst N. (UnaryConst)
ConstAddr
address = const_addr constant. (UnaryConst)
Shuffle
a = shuffle a, b, mask. (Shuffle)
Type inferred from a.
Null
a = null. (NullAry)
Nop
nop. (NullAry)
Select
a = select c, x, y. (Ternary)
Type inferred from x.
Selectif
a = selectif cc, flags, x, y. (IntSelect)
SelectifSpectreGuard
a = selectif_spectre_guard cc, flags, x, y. (IntSelect)
Bitselect
a = bitselect c, x, y. (Ternary)
Type inferred from x.
Copy
a = copy x. (Unary)
Type inferred from x.
IfcmpSp
flags = ifcmp_sp addr. (Unary)
Type inferred from addr.
Vsplit
lo, hi = vsplit x. (Unary)
Type inferred from x.
Vconcat
a = vconcat x, y. (Binary)
Type inferred from x.
Vselect
a = vselect c, x, y. (Ternary)
Type inferred from x.
VanyTrue
s = vany_true a. (Unary)
Type inferred from a.
VallTrue
s = vall_true a. (Unary)
Type inferred from a.
VhighBits
x = vhigh_bits a. (Unary)
Icmp
a = icmp Cond, x, y. (IntCompare)
Type inferred from x.
IcmpImm
a = icmp_imm Cond, x, Y. (IntCompareImm)
Type inferred from x.
Ifcmp
f = ifcmp x, y. (Binary)
Type inferred from x.
IfcmpImm
f = ifcmp_imm x, Y. (BinaryImm64)
Type inferred from x.
Iadd
a = iadd x, y. (Binary)
Type inferred from x.
Isub
a = isub x, y. (Binary)
Type inferred from x.
Ineg
a = ineg x. (Unary)
Type inferred from x.
Iabs
a = iabs x. (Unary)
Type inferred from x.
Imul
a = imul x, y. (Binary)
Type inferred from x.
Umulhi
a = umulhi x, y. (Binary)
Type inferred from x.
Smulhi
a = smulhi x, y. (Binary)
Type inferred from x.
SqmulRoundSat
a = sqmul_round_sat x, y. (Binary)
Type inferred from x.
Udiv
a = udiv x, y. (Binary)
Type inferred from x.
Sdiv
a = sdiv x, y. (Binary)
Type inferred from x.
Urem
a = urem x, y. (Binary)
Type inferred from x.
Srem
a = srem x, y. (Binary)
Type inferred from x.
IaddImm
a = iadd_imm x, Y. (BinaryImm64)
Type inferred from x.
ImulImm
a = imul_imm x, Y. (BinaryImm64)
Type inferred from x.
UdivImm
a = udiv_imm x, Y. (BinaryImm64)
Type inferred from x.
SdivImm
a = sdiv_imm x, Y. (BinaryImm64)
Type inferred from x.
UremImm
a = urem_imm x, Y. (BinaryImm64)
Type inferred from x.
SremImm
a = srem_imm x, Y. (BinaryImm64)
Type inferred from x.
IrsubImm
a = irsub_imm x, Y. (BinaryImm64)
Type inferred from x.
IaddCin
a = iadd_cin x, y, c_in. (Ternary)
Type inferred from y.
IaddIfcin
a = iadd_ifcin x, y, c_in. (Ternary)
Type inferred from y.
IaddCout
a, c_out = iadd_cout x, y. (Binary)
Type inferred from x.
IaddIfcout
a, c_out = iadd_ifcout x, y. (Binary)
Type inferred from x.
IaddCarry
a, c_out = iadd_carry x, y, c_in. (Ternary)
Type inferred from y.
IaddIfcarry
a, c_out = iadd_ifcarry x, y, c_in. (Ternary)
Type inferred from y.
IsubBin
a = isub_bin x, y, b_in. (Ternary)
Type inferred from y.
IsubIfbin
a = isub_ifbin x, y, b_in. (Ternary)
Type inferred from y.
IsubBout
a, b_out = isub_bout x, y. (Binary)
Type inferred from x.
IsubIfbout
a, b_out = isub_ifbout x, y. (Binary)
Type inferred from x.
IsubBorrow
a, b_out = isub_borrow x, y, b_in. (Ternary)
Type inferred from y.
IsubIfborrow
a, b_out = isub_ifborrow x, y, b_in. (Ternary)
Type inferred from y.
Band
a = band x, y. (Binary)
Type inferred from x.
Bor
a = bor x, y. (Binary)
Type inferred from x.
Bxor
a = bxor x, y. (Binary)
Type inferred from x.
Bnot
a = bnot x. (Unary)
Type inferred from x.
BandNot
a = band_not x, y. (Binary)
Type inferred from x.
BorNot
a = bor_not x, y. (Binary)
Type inferred from x.
BxorNot
a = bxor_not x, y. (Binary)
Type inferred from x.
BandImm
a = band_imm x, Y. (BinaryImm64)
Type inferred from x.
BorImm
a = bor_imm x, Y. (BinaryImm64)
Type inferred from x.
BxorImm
a = bxor_imm x, Y. (BinaryImm64)
Type inferred from x.
Rotl
a = rotl x, y. (Binary)
Type inferred from x.
Rotr
a = rotr x, y. (Binary)
Type inferred from x.
RotlImm
a = rotl_imm x, Y. (BinaryImm64)
Type inferred from x.
RotrImm
a = rotr_imm x, Y. (BinaryImm64)
Type inferred from x.
Ishl
a = ishl x, y. (Binary)
Type inferred from x.
Ushr
a = ushr x, y. (Binary)
Type inferred from x.
Sshr
a = sshr x, y. (Binary)
Type inferred from x.
IshlImm
a = ishl_imm x, Y. (BinaryImm64)
Type inferred from x.
UshrImm
a = ushr_imm x, Y. (BinaryImm64)
Type inferred from x.
SshrImm
a = sshr_imm x, Y. (BinaryImm64)
Type inferred from x.
Bitrev
a = bitrev x. (Unary)
Type inferred from x.
Clz
a = clz x. (Unary)
Type inferred from x.
Cls
a = cls x. (Unary)
Type inferred from x.
Ctz
a = ctz x. (Unary)
Type inferred from x.
Popcnt
a = popcnt x. (Unary)
Type inferred from x.
Fcmp
a = fcmp Cond, x, y. (FloatCompare)
Type inferred from x.
Ffcmp
f = ffcmp x, y. (Binary)
Type inferred from x.
Fadd
a = fadd x, y. (Binary)
Type inferred from x.
Fsub
a = fsub x, y. (Binary)
Type inferred from x.
Fmul
a = fmul x, y. (Binary)
Type inferred from x.
Fdiv
a = fdiv x, y. (Binary)
Type inferred from x.
Sqrt
a = sqrt x. (Unary)
Type inferred from x.
Fma
a = fma x, y, z. (Ternary)
Type inferred from y.
Fneg
a = fneg x. (Unary)
Type inferred from x.
Fabs
a = fabs x. (Unary)
Type inferred from x.
Fcopysign
a = fcopysign x, y. (Binary)
Type inferred from x.
Fmin
a = fmin x, y. (Binary)
Type inferred from x.
FminPseudo
a = fmin_pseudo x, y. (Binary)
Type inferred from x.
Fmax
a = fmax x, y. (Binary)
Type inferred from x.
FmaxPseudo
a = fmax_pseudo x, y. (Binary)
Type inferred from x.
Ceil
a = ceil x. (Unary)
Type inferred from x.
Floor
a = floor x. (Unary)
Type inferred from x.
Trunc
a = trunc x. (Unary)
Type inferred from x.
Nearest
a = nearest x. (Unary)
Type inferred from x.
IsNull
a = is_null x. (Unary)
Type inferred from x.
IsInvalid
a = is_invalid x. (Unary)
Type inferred from x.
Trueif
a = trueif Cond, f. (IntCond)
Trueff
a = trueff Cond, f. (FloatCond)
Bitcast
a = bitcast x. (Unary)
RawBitcast
a = raw_bitcast x. (Unary)
ScalarToVector
a = scalar_to_vector s. (Unary)
Breduce
a = breduce x. (Unary)
Bextend
a = bextend x. (Unary)
Bint
a = bint x. (Unary)
Bmask
a = bmask x. (Unary)
Ireduce
a = ireduce x. (Unary)
Snarrow
a = snarrow x, y. (Binary)
Type inferred from x.
Unarrow
a = unarrow x, y. (Binary)
Type inferred from x.
Uunarrow
a = uunarrow x, y. (Binary)
Type inferred from x.
SwidenLow
a = swiden_low x. (Unary)
Type inferred from x.
SwidenHigh
a = swiden_high x. (Unary)
Type inferred from x.
UwidenLow
a = uwiden_low x. (Unary)
Type inferred from x.
UwidenHigh
a = uwiden_high x. (Unary)
Type inferred from x.
IaddPairwise
a = iadd_pairwise x, y. (Binary)
Type inferred from x.
WideningPairwiseDotProductS
a = widening_pairwise_dot_product_s x, y. (Binary)
Uextend
a = uextend x. (Unary)
Sextend
a = sextend x. (Unary)
Fpromote
a = fpromote x. (Unary)
Fdemote
a = fdemote x. (Unary)
Fvdemote
a = fvdemote x. (Unary)
FvpromoteLow
x = fvpromote_low a. (Unary)
FcvtToUint
a = fcvt_to_uint x. (Unary)
FcvtToUintSat
a = fcvt_to_uint_sat x. (Unary)
FcvtToSint
a = fcvt_to_sint x. (Unary)
FcvtToSintSat
a = fcvt_to_sint_sat x. (Unary)
FcvtFromUint
a = fcvt_from_uint x. (Unary)
FcvtFromSint
a = fcvt_from_sint x. (Unary)
FcvtLowFromSint
a = fcvt_low_from_sint x. (Unary)
Isplit
lo, hi = isplit x. (Unary)
Type inferred from x.
Iconcat
a = iconcat lo, hi. (Binary)
Type inferred from lo.
AtomicRmw
a = atomic_rmw MemFlags, AtomicRmwOp, p, x. (AtomicRmw)
AtomicCas
a = atomic_cas MemFlags, p, e, x. (AtomicCas)
Type inferred from x.
AtomicLoad
a = atomic_load MemFlags, p. (LoadNoOffset)
AtomicStore
atomic_store MemFlags, x, p. (StoreNoOffset)
Type inferred from x.
Fence
fence. (NullAry)
Implementations
sourceimpl Opcode
impl Opcode
sourcepub fn is_terminator(self) -> bool
pub fn is_terminator(self) -> bool
True for instructions that terminate the block
sourcepub fn other_side_effects(self) -> bool
pub fn other_side_effects(self) -> bool
Does this instruction have other side effects besides can_* flags?
sourcepub fn writes_cpu_flags(self) -> bool
pub fn writes_cpu_flags(self) -> bool
Does this instruction write to CPU flags?
sourceimpl Opcode
impl Opcode
sourcepub fn format(self) -> InstructionFormat
pub fn format(self) -> InstructionFormat
Get the instruction format for this opcode.
sourcepub fn constraints(self) -> OpcodeConstraints
pub fn constraints(self) -> OpcodeConstraints
Get the constraint descriptor for this opcode.
Panic if this is called on NotAnOpcode.
sourcepub fn is_resumable_trap(&self) -> bool
pub fn is_resumable_trap(&self) -> bool
Returns true if the instruction is a resumable trap.
Trait Implementations
sourceimpl From<Opcode> for NonZeroU32
impl From<Opcode> for NonZeroU32
sourcefn from(op: Opcode) -> NonZeroU32
fn from(op: Opcode) -> NonZeroU32
Performs the conversion.
sourceimpl TryFrom<NonZeroU32> for Opcode
impl TryFrom<NonZeroU32> for Opcode
impl Copy for Opcode
impl Eq for Opcode
impl StructuralEq for Opcode
impl StructuralPartialEq for Opcode
Auto Trait Implementations
impl RefUnwindSafe for Opcode
impl Send for Opcode
impl Sync for Opcode
impl Unpin for Opcode
impl UnwindSafe for Opcode
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcepub fn equivalent(&self, key: &K) -> bool
pub fn equivalent(&self, key: &K) -> bool
Compare self to key and return true if they are equal.
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. Read more