Struct melior::dialect::ods::pdl::RewriteOperation

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

A rewrite operation. Specify the rewrite of a matched pattern.

pdl.rewrite operations terminate the region of a pdl.pattern and specify the main rewrite of a pdl.pattern, on the optional root operation. The rewrite is specified either via a string name (name) to a native rewrite function, or via the region body. The rewrite region, if specified, must contain a single block. If the rewrite is external it functions similarly to pdl.apply_native_rewrite, and takes a set of additional positional values defined within the matcher as arguments. If the rewrite is external, the root operation is passed to the native function as the leading arguments. The root operation, if provided, specifies the starting point in the pattern for the subgraph isomorphism search. Pattern matching will proceed from this node downward (towards the defining operation) or upward (towards the users) until all the operations in the pattern have been matched. If the root is omitted, the pdl_interp lowering will automatically select the best root of the pdl.rewrite among all the operations in the pattern.

Example:

// Specify an external rewrite function:
pdl.rewrite %root with "myExternalRewriter"(%value : !pdl.value)

// Specify a rewrite inline using PDL with the given root:
pdl.rewrite %root {
  %op = pdl.operation "foo.op"(%arg0, %arg1)
  pdl.replace %root with %op
}

// Specify a rewrite inline using PDL, automatically selecting root:
pdl.rewrite {
  %op1 = pdl.operation "foo.op"(%arg0, %arg1)
  %op2 = pdl.operation "bar.op"(%arg0, %arg1)
  pdl.replace %root1 with %op1
  pdl.replace %root2 with %op2
}

Implementations

impl<'c> RewriteOperation<'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> ) -> RewriteOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

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

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

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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