Struct melior::dialect::ods::pdl::OperandsOperation

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

An operands operation. Define a range of input operands in a pattern.

pdl.operands operations capture external operand range edges into an operation node that originate from operations or block arguments not otherwise specified within the pattern (i.e. via pdl.result or pdl.results). These operations define groups of input operands into a given operation. A pdl.operands may partially constrain a set of input operands by specifying expected value types (via pdl.types operations).

Example:

// Define a range of input operands:
%operands = pdl.operands

// Define a range of input operands with expected types:
%types = pdl.types : [i32, i64, i32]
%typed_operands = pdl.operands : %types

Implementations

impl<'c> OperandsOperation<'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> ) -> OperandsOperationBuilder<'c, Unset>

Creates a builder.

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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