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...

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.

◆ 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.

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().

◆ exp

ExprId mlir::sparse_tensor::LatPoint::exp

Identifier of the tensor expression.

Definition at line 218 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 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