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.
	LatPoint (const BitVector &bits, ExprId e)
	Construct a lattice point from the given set of TensorLoopIds.

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

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 202 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 204 of file Merger.h.

References bits, exp, and false.

◆ 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 207 of file Merger.h.

References bits, and exp.

Member Data Documentation

◆ bits

BitVector mlir::sparse_tensor::LatPoint::bits

Conjunction of all TensorLoopIds involved in the tensor expression.

Definition at line 210 of file Merger.h.

Referenced by mlir::sparse_tensor::Merger::latGT(), LatPoint(), and LatPoint().

◆ exp

ExprId mlir::sparse_tensor::LatPoint::exp

Identifier of the tensor expression.

Definition at line 218 of file Merger.h.

Referenced by genStmt(), LatPoint(), and LatPoint().

◆ 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 215 of file Merger.h.

Referenced by genCoIterationCase(), getAllTidLvlsInLatPoints(), and startLoopSeq().

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

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

Public Member Functions

Public Attributes