Struct melior::dialect::ods::transform::NamedSequenceOperation

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

A named_sequence operation. Named transform sequence that can be included elsewhere.

Defines a named (callable, function-like) sequence of other Transform dialect operations that can be included using transform.include as part of another Transform dialect construct. This sequence is not processed immediately but rather dispatched to when the inclusion is processed. The arguments and results can be used to communicate a subset of mapping into the named sequence. The sequence must consist of a single block and end with a transform.yield terminator. The operands of the terminator become the results of the transform.include.

When dispatched to, the operations in the named sequence are executed one by one, similarly to the regular unnamed sequence. The failure propagation mode is specified on the transform.include. Different inclusions may use different failure propagation modes. This transform operation always succeeds by itself, but the inclusion may fail if any of the operations fail.

Named sequences can only appear at the top-level of the Transform dialect nesting structure. That is, they cannot be nested in other Transform dialect operations. Furthermore, one of the ancestors must have the SymbolTable trait and have the transform.with_named_sequence attribute attached.

Named sequences may include other named sequences via transform.include, but recursion is not allowed.

Implementations

impl<'c> NamedSequenceOperation<'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> ) -> NamedSequenceOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

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

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

pub fn function_type(&self) -> Result<TypeAttribute<'c>, Error>

pub fn set_function_type(&mut self, value: TypeAttribute<'c>)

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

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

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

pub fn arg_attrs(&self) -> Result<ArrayAttribute<'c>, Error>

pub fn set_arg_attrs(&mut self, value: ArrayAttribute<'c>)

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

pub fn res_attrs(&self) -> Result<ArrayAttribute<'c>, Error>

pub fn set_res_attrs(&mut self, value: ArrayAttribute<'c>)

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

Trait Implementations

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

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

Converts to this type from the input type.

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