Enum cranelift_codegen::ir::instructions::Opcode[][src]

#[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

True for instructions that terminate the block

True for all branch or jump instructions.

Is this a call instruction?

Is this a return instruction?

Can this instruction read from memory?

Can this instruction write to memory?

Can this instruction cause a trap?

Does this instruction have other side effects besides can_* flags?

Does this instruction write to CPU flags?

Get the instruction format for this opcode.

Get the constraint descriptor for this opcode. Panic if this is called on NotAnOpcode.

Returns true if the instruction is a resumable trap.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Formats the value using the given formatter. Read more

Performs the conversion.

Parse an Opcode name from a string.

The associated error which can be returned from parsing.

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

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

This method tests for !=.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Compare self to key and return true if they are equal.

Performs the conversion.

Performs the conversion.

The resulting type after obtaining ownership.

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

🔬 This is a nightly-only experimental API. (toowned_clone_into)

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

Converts the given value to a String. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.