Struct melior::dialect::ods::pdl_interp::ForEachOperation

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

A foreach operation. Iterates over a range of values or ranges.

pdl_interp.foreach iteratively selects an element from a range of values and executes the region until pdl.continue is reached.

In the bytecode interpreter, this operation is implemented by looping over the values and, for each selection, running the bytecode until we reach pdl.continue. This may result in multiple matches being reported. Note that the input range is mutated (popped from).

Example:

pdl_interp.foreach %op : !pdl.operation in %ops {
  pdl_interp.continue
} -> ^next

Implementations

impl<'c> ForEachOperation<'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> ) -> ForEachOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

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

pub fn successor(&self) -> Result<BlockRef<'c, '_>, Error>

Trait Implementations

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

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

Converts to this type from the input type.

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