Struct melior::dialect::ods::transform::ApplyPatternsOperation

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

An apply_patterns operation. Greedily applies patterns to the body of the targeted op.

This transform greedily applies the specified patterns to the body of the targeted op until a fixpoint was reached. Patterns are not applied to the targeted op itself.

The patterns that should be applied are specified in the graph region of this op. They must implement the PatternDescriptorOpInterface. The order in which patterns are applied is unspecified; i.e., the ordering of ops in the region of this op is irrelevant.

If apple_cse is set, the greedy pattern rewrite is interleaved with common subexpression elimination (CSE): both are repeated until a fixpoint is reached.

This transform only reads the target handle and modifies the payload. If a pattern erases or replaces a tracked op, the mapping is updated accordingly.

Only replacements via RewriterBase::replaceOp or replaceOpWithNewOp are considered “payload op replacements”. Furthermore, only if the replacement values are defined by the same op and that op has the same type as the original op, the mapping is updated. Otherwise, this transform fails silently. More details can be found at the documentation site of TrackingListener.

This transform also fails silently if the pattern application did not converge within the default number of iterations/rewrites of the greedy pattern rewrite driver.

Implementations

impl<'c> ApplyPatternsOperation<'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> ) -> ApplyPatternsOperationBuilder<'c, Unset, Unset>

Creates a builder.

pub fn target(&self) -> Result<Value<'c, '_>, Error>

pub fn patterns(&self) -> Result<RegionRef<'c, '_>, Error>

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for ApplyPatternsOperation<'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.