Struct melior::dialect::ods::pdl_interp::ReplaceOperation

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

A replace operation. Mark an operation as replaced.

pdl_interp.replaced operations are used to specify that an operation should be marked as replaced. The semantics of this operation correspond with the replaceOp method on a PatternRewriter. The set of replacement values must match the number of results specified by the operation.

Example:

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

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 input_op(&self) -> Result<Value<'c, '_>, Error>

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

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.