Struct melior::dialect::ods::sparse_tensor::ToPositionsOperation

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

A positions operation. Extracts the level-th positions array of the tensor.

Returns the positions array of the tensor’s storage at the given level. This is similar to the bufferization.to_memref operation in the sense that it provides a bridge between a tensor world view and a bufferized world view. Unlike the bufferization.to_memref operation, however, this sparse operation actually lowers into code that extracts the positions array from the sparse storage itself (either by calling a support library or through direct code).

Writing into the result of this operation is undefined behavior.

Example:

%1 = sparse_tensor.positions %0 { level = 1 : index }
   : tensor<64x64xf64, #CSR> to memref<?xindex>

Implementations

impl<'c> ToPositionsOperation<'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> ) -> ToPositionsOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

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

pub fn level(&self) -> Result<IntegerAttribute<'c>, Error>

pub fn set_level(&mut self, value: IntegerAttribute<'c>)

Trait Implementations

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

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

Converts to this type from the input type.

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