Struct RecordMatchOperation 

pub struct RecordMatchOperation<'c> { /* private fields */ }

A record_match operation. Record the metadata for a successful pattern match.

pdl_interp.record_match operations record a successful pattern match with the interpreter and branch to the next part of the matcher. The metadata recorded by these operations correspond to a specific pdl.pattern, as well as what values were used during that match that should be propagated to the rewriter.

Example:

pdl_interp.record_match @rewriters::myRewriter(%root : !pdl.operation) : benefit(1), loc([%root, %op1]), root("foo.op") -> ^nextDest

Implementations

impl<'c> RecordMatchOperation<'c>

pub fn name() -> &'static str

Returns a name.

pub fn as_operation(&self) -> &Operation<'c>

Returns a generic operation.

pub fn builder( context: &'c Context, location: Location<'c>, ) -> RecordMatchOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset>

Creates a builder.

pub fn inputs(&self) -> Result<impl Iterator<Item = Value<'c, '_>>, Error>

pub fn matched_ops(&self) -> Result<impl Iterator<Item = Value<'c, '_>>, Error>

pub fn dest(&self) -> Result<BlockRef<'c, '_>, Error>

pub fn rewriter(&self) -> Result<Attribute<'c>, Error>

pub fn set_rewriter(&mut self, value: Attribute<'c>)

pub fn root_kind(&self) -> Result<StringAttribute<'c>, Error>

pub fn set_root_kind(&mut self, value: StringAttribute<'c>)

pub fn remove_root_kind(&mut self) -> Result<(), Error>

pub fn generated_ops(&self) -> Result<ArrayAttribute<'c>, Error>

pub fn set_generated_ops(&mut self, value: ArrayAttribute<'c>)

pub fn remove_generated_ops(&mut self) -> Result<(), Error>

pub fn benefit(&self) -> Result<IntegerAttribute<'c>, Error>

pub fn set_benefit(&mut self, value: IntegerAttribute<'c>)

Trait Implementations

impl<'c> Clone for RecordMatchOperation<'c>

fn clone(&self) -> RecordMatchOperation<'c>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'c> Debug for RecordMatchOperation<'c>

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

Formats the value using the given formatter.

impl<'b> From<RecordMatchOperation<'b>> for PdlInterpDialectOperation<'b>

fn from(op: RecordMatchOperation<'b>) -> Self

Converts to this type from the input type.

impl<'c> From<RecordMatchOperation<'c>> for Operation<'c>

fn from(operation: RecordMatchOperation<'c>) -> Self

Converts to this type from the input type.

impl<'c> PartialEq for RecordMatchOperation<'c>

fn eq(&self, other: &RecordMatchOperation<'c>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<'c> TryFrom<Operation<'c>> for RecordMatchOperation<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(operation: Operation<'c>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'c> Eq for RecordMatchOperation<'c>

impl<'c> StructuralPartialEq for RecordMatchOperation<'c>