Struct melior::dialect::ods::shape::ValueAsShapeOperation

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

A value_as_shape operation. Returns value as a shape.

The operations takes a ValueShape and returns a Shape corresponding to the value. If the input value cannot be shape (e.g., not a 1D tensor of integral value representing sizes) then this propagages the error shape. E.g.,

// The following
%0 = arith.constant dense<[1,2]> : tensor<2xi32>
%shape = shape.value_as_shape %0 : tensor<2xi32> -> !shape.shape
// is equivalent to
%shape' = shape.const_shape [1, 2] : !shape.shape

This operation is the complement of shape_of wrt ValueShape values.

Implementations

impl<'c> ValueAsShapeOperation<'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> ) -> ValueAsShapeOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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