Struct melior::dialect::ods::pdl::AttributeOperation

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

An attribute operation. Define an input attribute in a pattern.

pdl.attribute operations capture named attribute edges into an operation. Instances of this operation define, and partially constrain, attributes of a given operation. A pdl.attribute may partially constrain the input by specifying an expected attribute value type (via a pdl.type operation), or a constant value for the attribute (via val). Only one of these may be set for a given input, as the type of the constant value provides the type. When defined within a pdl.rewrite region, the constant value must be specified.

Example:

// Define an attribute:
%attr = pdl.attribute

// Define an attribute with an expected type:
%type = pdl.type : i32
%attr = pdl.attribute : %type

// Define an attribute with a constant value:
%attr = pdl.attribute = "hello"

Implementations

impl<'c> AttributeOperation<'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> ) -> AttributeOperationBuilder<'c, Unset>

Creates a builder.

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

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

pub fn value(&self) -> Result<Attribute<'c>, Error>

pub fn set_value(&mut self, value: Attribute<'c>)

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

Trait Implementations

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

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

Converts to this type from the input type.

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