MLIR  19.0.0git
Public Member Functions | Public Attributes | List of all members
mlir::sparse_tensor::LatPoint Struct Referencefinal

Lattice point. More...

#include "mlir/Dialect/SparseTensor/Utils/Merger.h"

Public Member Functions

 LatPoint (unsigned size, ExprId e)
 Construct a lattice point with the empty set of TensorLoopIds. More...
 
 LatPoint (const BitVector &bits, ExprId e)
 Construct a lattice point from the given set of TensorLoopIds. More...
 

Public Attributes

BitVector bits
 Conjunction of all TensorLoopIds involved in the tensor expression. More...
 
BitVector simple
 Simplified conjunction of TensorLoopId as bitvector. More...
 
ExprId exp
 Identifier of the tensor expression. More...
 

Detailed Description

Lattice point.

Each lattice point consists of a formal conjunction of TensorLoopIds, together with the identifier of the corresponding tensor expression. The formal conjunction is represented as a set of TensorLoopId, where that set is implemented as a BitVector.

Definition at line 201 of file Merger.h.

Constructor & Destructor Documentation

◆ LatPoint() [1/2]

mlir::sparse_tensor::LatPoint::LatPoint ( unsigned  size,
ExprId  e 
)
inline

Construct a lattice point with the empty set of TensorLoopIds.

Definition at line 203 of file Merger.h.

◆ LatPoint() [2/2]

mlir::sparse_tensor::LatPoint::LatPoint ( const BitVector &  bits,
ExprId  e 
)
inline

Construct a lattice point from the given set of TensorLoopIds.

Definition at line 206 of file Merger.h.

Member Data Documentation

◆ bits

BitVector mlir::sparse_tensor::LatPoint::bits

Conjunction of all TensorLoopIds involved in the tensor expression.

Definition at line 209 of file Merger.h.

Referenced by mlir::sparse_tensor::Merger::latGT().

◆ exp

ExprId mlir::sparse_tensor::LatPoint::exp

Identifier of the tensor expression.

Definition at line 217 of file Merger.h.

Referenced by genStmt().

◆ simple

BitVector mlir::sparse_tensor::LatPoint::simple

Simplified conjunction of TensorLoopId as bitvector.

This represents a simplified condition under which this tensor expression must execute. Pre-computed during codegen to avoid repeated eval.

Definition at line 214 of file Merger.h.

Referenced by getAllTidLvlsInLatPoints(), and startLoopSeq().


The documentation for this struct was generated from the following file: