MLIR
20.0.0git

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 TensorLoopId s. More...  
LatPoint (const BitVector &bits, ExprId e)  
Construct a lattice point from the given set of TensorLoopId s. More...  
Public Attributes  
BitVector  bits 
Conjunction of all TensorLoopId s involved in the tensor expression. More...  
BitVector  simple 
Simplified conjunction of TensorLoopId as bitvector. More...  
ExprId  exp 
Identifier of the tensor expression. More...  
Lattice point.
Each lattice point consists of a formal conjunction of TensorLoopId
s, 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
.

inline 

inline 
BitVector mlir::sparse_tensor::LatPoint::bits 
Conjunction of all TensorLoopId
s involved in the tensor expression.
Definition at line 210 of file Merger.h.
Referenced by mlir::sparse_tensor::Merger::latGT().
ExprId mlir::sparse_tensor::LatPoint::exp 
BitVector mlir::sparse_tensor::LatPoint::simple 
Simplified conjunction of TensorLoopId
as bitvector.
This represents a simplified condition under which this tensor expression must execute. Precomputed during codegen to avoid repeated eval.
Definition at line 215 of file Merger.h.
Referenced by genCoIterationCase(), getAllTidLvlsInLatPoints(), and startLoopSeq().