Struct melior::dialect::ods::sparse_tensor::LoadOperation

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

A load operation. Rematerializes tensor from underlying sparse storage format.

Rematerializes a tensor from the underlying sparse storage format of the given tensor. This is similar to the bufferization.to_tensor operation in the sense that it provides a bridge between a bufferized world view and a tensor world view. Unlike the bufferization.to_tensor operation, however, this sparse operation is used only temporarily to maintain a correctly typed intermediate representation during progressive bufferization.

The hasInserts attribute denote whether insertions to the underlying sparse storage format may have occurred, in which case the underlying sparse storage format needs to be finalized. Otherwise, the operation simply folds away.

Note that this operation is “impure” in the sense that even though the result is modeled through an SSA value, the operation relies on a proper context of materializing and inserting the tensor value.

Examples:

%result = sparse_tensor.load %tensor : tensor<8xf64, #SV>

%1 = sparse_tensor.load %0 hasInserts : tensor<16x32xf32, #CSR>

Implementations

impl<'c> LoadOperation<'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> ) -> LoadOperationBuilder<'c, Unset>

Creates a builder.

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

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

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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