Enum peepmatic_runtime::linear::MatchOp

pub enum MatchOp {
    Opcode(LhsId),
    IsConst(LhsId),
    IsPowerOfTwo(LhsId),
    BitWidth(LhsId),
    FitsInNativeWord(LhsId),
    Eq(LhsId, LhsId),
    IntegerValue(LhsId),
    BooleanValue(LhsId),
    ConditionCode(LhsId),
    Nop,
}

A matching operation to be performed on some Cranelift instruction as part of determining whether an optimization is applicable.

Variants

Opcode(LhsId)

Switch on the opcode of an instruction.

Upon successfully matching an instruction’s opcode, bind each of its operands to a LHS temporary.

Tuple Fields of Opcode

0: LhsId

IsConst(LhsId)

Does an instruction have a constant value?

Tuple Fields of IsConst

0: LhsId

IsPowerOfTwo(LhsId)

Is the constant value a power of two?

Tuple Fields of IsPowerOfTwo

0: LhsId

BitWidth(LhsId)

Switch on the bit width of a value.

Tuple Fields of BitWidth

0: LhsId

FitsInNativeWord(LhsId)

Does the value fit in our target architecture’s native word size?

Tuple Fields of FitsInNativeWord

0: LhsId

Eq(LhsId, LhsId)

Are the instructions (or immediates) the same?

Tuple Fields of Eq

0: LhsId1: LhsId

IntegerValue(LhsId)

Switch on the constant integer value of an instruction.

Tuple Fields of IntegerValue

0: LhsId

BooleanValue(LhsId)

Switch on the constant boolean value of an instruction.

Tuple Fields of BooleanValue

0: LhsId

ConditionCode(LhsId)

Switch on a condition code.

Tuple Fields of ConditionCode

0: LhsId

Nop

No operation. Always evaluates to Else.

Never appears in real optimizations; nonetheless required to support corner cases of the DSL, such as a LHS pattern that is nothing but a variable.

Trait Implementations

impl Clone for MatchOp

fn clone(&self) -> MatchOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MatchOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MatchOp

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Hash for MatchOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<MatchOp> for MatchOp

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

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

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

This method tests for !=.

impl Serialize for MatchOp

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl Copy for MatchOp

impl Eq for MatchOp

impl StructuralEq for MatchOp

impl StructuralPartialEq for MatchOp