Struct melior::dialect::ods::pdl::ReplaceOperation

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

A replace operation. Mark an input operation as replaced.

pdl.replace operations are used within pdl.rewrite regions to specify that an input operation should be marked as replaced. The semantics of this operation correspond with the replaceOp method on a PatternRewriter. The set of replacement values can be either:

• a single Operation (replOperation should be populated)
  • The operation will be replaced with the results of this operation.
• a set of Values (replValues should be populated)
  • The operation will be replaced with these values.

Example:

// Replace root node with 2 values:
pdl.replace %root with (%val0, %val1 : !pdl.value, !pdl.value)

// Replace root node with a range of values:
pdl.replace %root with (%vals : !pdl.range<value>)

// Replace root with another operation:
pdl.replace %root with %otherOp

Implementations

impl<'c> ReplaceOperation<'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> ) -> ReplaceOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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