Struct PatternInfo 

pub struct PatternInfo { /* private fields */ }

[PatternBase] describes all of the data related to a pattern, but does not express any actual pattern logic, i.e. it is solely used for metadata about a pattern.

Implementations

impl PatternInfo

pub fn new( context: Rc<Context>, name: &'static str, kind: PatternKind, benefit: PatternBenefit, ) -> Self

Create a new Pattern from its component parts.

pub fn with_bounded_rewrite_recursion(&mut self, yes: bool) -> &mut Self

Set whether or not this pattern has bounded rewrite recursion

pub fn root_operation(&self) -> Option<OperationName>

Return the root operation that this pattern matches.

Patterns that can match multiple root types return None

pub fn root_trait(&self) -> Option<TypeId>

Return the trait id used to match the root operation of this pattern.

If the pattern does not use a trait id for deciding the root match, this returns None

Trait Implementations

impl Pattern for PatternInfo

fn info(&self) -> &PatternInfo

fn name(&self) -> &'static str

A name used when printing diagnostics related to this pattern

fn kind(&self) -> &PatternKind

The kind of value used to select candidate root operations for this pattern.

fn benefit(&self) -> &PatternBenefit

Returns the benefit - the inverse of “cost” - of matching this pattern.

fn has_bounded_rewrite_recursion(&self) -> bool

Returns true if this pattern is known to result in recursive application, i.e. this pattern may generate IR that also matches this pattern, but is known to bound the recursion. This signals to the rewrite driver that it is safe to apply this pattern recursively to the generated IR.

fn generated_ops(&self) -> &[OperationName]

Return a list of operations that may be generated when rewriting an operation instance with this pattern.

fn get_root_operation(&self) -> Option<OperationName>

Return the root operation that this pattern matches.

fn get_root_trait(&self) -> Option<TypeId>

Return the trait id used to match the root operation of this pattern.