Enum cranelift_isle::ir::PatternInst

pub enum PatternInst {
    MatchEqual {
        a: Value,
        b: Value,
        ty: TypeId,
    },
    MatchInt {
        input: Value,
        ty: TypeId,
        int_val: i128,
    },
    MatchPrim {
        input: Value,
        ty: TypeId,
        val: Sym,
    },
    MatchVariant {
        input: Value,
        input_ty: TypeId,
        arg_tys: Vec<TypeId>,
        variant: VariantId,
    },
    Expr {
        seq: ExprSequence,
        output: Value,
        output_ty: TypeId,
    },
    Extract {
        infallible: bool,
        inputs: Vec<Value>,
        input_tys: Vec<TypeId>,
        output_tys: Vec<TypeId>,
        term: TermId,
    },
    Arg {
        index: usize,
        ty: TypeId,
    },
}

A single Pattern instruction.

Variants

MatchEqual

Fields

a: Value

The first value.

b: Value

The second value.

ty: TypeId

The type of the values.

Match a value as equal to another value. Produces no values.

MatchInt

Fields

input: Value

The value to match on.

ty: TypeId

The value’s type.

int_val: i128

The integer to match against the value.

Try matching the given value as the given integer. Produces no values.

MatchPrim

Fields

input: Value

The value to match on.

ty: TypeId

The type of the value.

val: Sym

The primitive to match against the value.

Try matching the given value as the given constant. Produces no values.

MatchVariant

Fields

input: Value

The value to match on.

input_ty: TypeId

The type of the value.

arg_tys: Vec<TypeId>

The types of values produced upon a successful match.

variant: VariantId

The value type’s variant that we are matching against.

Try matching the given value as the given variant, producing |arg_tys| values as output.

Expr

Fields

seq: ExprSequence

The expression to evaluate.

output: Value

The value produced by the expression.

output_ty: TypeId

The type of the output value.

Evaluate an expression and provide the given value as the result of this match instruction. The expression has access to the pattern-values up to this point in the sequence.

Extract

Fields

infallible: bool

Whether this extraction is infallible or not. false comes before true, so fallible nodes come first.

inputs: Vec<Value>

The value to extract, followed by polarity extractor args.

input_tys: Vec<TypeId>

The types of the inputs.

output_tys: Vec<TypeId>

The types of the output values produced upon a successful match.

term: TermId

This extractor’s term.

Invoke an extractor, taking the given values as input (the first is the value to extract, the other are the Input-polarity extractor args) and producing an output value for each Output-polarity extractor arg.

Arg

Fields

index: usize

The index of the argument to get.

ty: TypeId

The type of the argument.

Get the Nth input argument, which corresponds to the Nth field of the root term.

Trait Implementations

impl Clone for PatternInst

fn clone(&self) -> PatternInst

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PatternInst

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

Formats the value using the given formatter.

impl Hash for PatternInst

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 Ord for PatternInst

fn cmp(&self, other: &PatternInst) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<PatternInst> for PatternInst

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<PatternInst> for PatternInst

fn partial_cmp(&self, other: &PatternInst) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for PatternInst

impl StructuralEq for PatternInst

impl StructuralPartialEq for PatternInst