Struct melior::dialect::ods::pdl::TypesOperation

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

A types operation. Define a range of type handles within a pattern.

pdl.types operations capture result type constraints of Values, and Operations. Instances of this operation define results types of a given entity. A pdl.types may partially constrain the results by specifying an array of Types.

Example:

// Define a range of types:
%types = pdl.types

// Define a range of types with a range of constant values:
%types = pdl.types : [i32, i64, i32]

Implementations

impl<'c> TypesOperation<'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> ) -> TypesOperationBuilder<'c, Unset>

Creates a builder.

pub fn result(&self) -> Result<OperationResult<'c, '_>, Error>

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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