Struct melior::dialect::ods::pdl::PatternOperation

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

A pattern operation. Define a rewrite pattern.

pdl.pattern operations provide a transformable representation for a RewritePattern. The attributes on this operation correspond to the various metadata on a RewritePattern, such as the benefit. The match section of the pattern is specified within the region body, with the rewrite provided by a terminating pdl.rewrite.

Example:

// Provide a pattern matching "foo.op" that replaces the root with its
// operand.
pdl.pattern : benefit(1) {
  %resultType = pdl.type
  %inputOperand = pdl.operand
  %root = pdl.operation "foo.op"(%inputOperand) -> (%resultType)
  pdl.rewrite %root {
    pdl.replace %root with (%inputOperand)
  }
}

Implementations

impl<'c> PatternOperation<'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> ) -> PatternOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

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

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

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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