Enum peepmatic_runtime::linear::MatchOp

pub enum MatchOp {
    Opcode {
        path: PathId,
    },
    IsConst {
        path: PathId,
    },
    IsPowerOfTwo {
        path: PathId,
    },
    BitWidth {
        path: PathId,
    },
    FitsInNativeWord {
        path: PathId,
    },
    Eq {
        path_a: PathId,
        path_b: PathId,
    },
    IntegerValue {
        path: PathId,
    },
    BooleanValue {
        path: PathId,
    },
    ConditionCode {
        path: PathId,
    },
    Nop,
}

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

Variants

Opcode

Switch on the opcode of an instruction.

Fields of Opcode

path: PathId

The path to the instruction whose opcode we're switching on.

IsConst

Does an instruction have a constant value?

Fields of IsConst

path: PathId

The path to the instruction (or immediate) that we're checking whether it is constant or not.

IsPowerOfTwo

Is the constant value a power of two?

Fields of IsPowerOfTwo

path: PathId

The path to the instruction (or immediate) that we are checking whether it is a constant power of two or not.

BitWidth

Switch on the bit width of a value.

Fields of BitWidth

path: PathId

The path to the instruction (or immediate) whose result's bit width we are checking.

FitsInNativeWord

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

Fields of FitsInNativeWord

path: PathId

The path to the instruction (or immediate) whose result we are checking whether it fits in a native word or not.

Eq

Are the instructions (or immediates) at the given paths the same?

Fields of Eq

path_a: PathId

The path to the first instruction (or immediate).

path_b: PathId

The path to the second instruction (or immediate).

IntegerValue

Switch on the constant integer value of an instruction.

Fields of IntegerValue

path: PathId

The path to the instruction.

BooleanValue

Switch on the constant boolean value of an instruction.

Fields of BooleanValue

path: PathId

The path to the instruction.

ConditionCode

Switch on a condition code.

Fields of ConditionCode

path: PathId

The path to the condition code.

Nop

No operation. Always evaluates to None.

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

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 Copy for MatchOp

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 Eq for MatchOp

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 StructuralEq for MatchOp

impl StructuralPartialEq for MatchOp