Struct melior::dialect::ods::sparse_tensor::CompressOperation

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

A compress operation. Compressed an access pattern for insertion.

Finishes a single access pattern expansion by moving inserted elements into the sparse storage scheme of the given tensor with the given level-coordinates. The arity of lvlCoords is one less than the level-rank of the tensor, with the coordinate of the innermost level defined through the added array. The values and filled arrays are reset in a sparse fashion by only iterating over set elements through an indirection using the added array, so that the operations are kept proportional to the number of nonzeros. See the sparse_tensor.expand operation for more details.

Note that this operation is “impure” in the sense that even though the result is modeled through an SSA value, the insertion is eventually done “in place”, and referencing the old SSA value is undefined behavior.

Example:

%result = sparse_tensor.compress %values, %filled, %added, %count into %tensor[%i]
  : memref<?xf64>, memref<?xi1>, memref<?xindex>, tensor<4x4xf64, #CSR>

Implementations

impl<'c> CompressOperation<'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> ) -> CompressOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset, Unset, Unset>

Creates a builder.

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

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

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

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

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

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

pub fn lvl_coords(&self) -> impl Iterator<Item = Value<'c, '_>>

Trait Implementations

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

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

Converts to this type from the input type.

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