Struct melior::dialect::ods::pdl_interp::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> From<RecordMatchOperation<'c>> for Operation<'c>

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

Converts to this type from the input type.

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.