A dimensional identifier appearing in an affine expression. More...

#include "mlir/IR/AffineExpr.h"

Inheritance diagram for mlir::AffineDimExpr:

Public Types
using	ImplType = detail::AffineDimExprStorage
Public Types inherited from mlir::AffineExpr
using	ImplType = detail::AffineExprStorage

Public Member Functions
	AffineDimExpr (AffineExpr::ImplType *ptr)
unsigned	getPosition () const
Public Member Functions inherited from mlir::AffineExpr
constexpr	AffineExpr ()
	AffineExpr (const ImplType *expr)
bool	operator== (AffineExpr other) const
bool	operator!= (AffineExpr other) const
bool	operator== (int64_t v) const
bool	operator!= (int64_t v) const
	operator bool () const
bool	operator! () const
MLIRContext *	getContext () const
AffineExprKind	getKind () const
	Return the classification for this type.
void	print (raw_ostream &os) const
void	dump () const
bool	isSymbolicOrConstant () const
	Returns true if this expression is made out of only symbols and constants, i.e., it does not involve dimensional identifiers.
bool	isPureAffine () const
	Returns true if this is a pure affine expression, i.e., multiplication, floordiv, ceildiv, and mod is only allowed w.r.t constants.
int64_t	getLargestKnownDivisor () const
	Returns the greatest known integral divisor of this affine expression.
bool	isMultipleOf (int64_t factor) const
	Return true if the affine expression is a multiple of 'factor'.
bool	isFunctionOfDim (unsigned position) const
	Return true if the affine expression involves AffineDimExpr position.
bool	isFunctionOfSymbol (unsigned position) const
	Return true if the affine expression involves AffineSymbolExpr position.
template<typename FnT, typename RetT = detail::walkResultType<FnT>>
RetT	walk (FnT &&callback) const
	Walk all of the AffineExpr's in this expression in postorder.
AffineExpr	replaceDimsAndSymbols (ArrayRef< AffineExpr > dimReplacements, ArrayRef< AffineExpr > symReplacements) const
	This method substitutes any uses of dimensions and symbols (e.g.
AffineExpr	replaceDims (ArrayRef< AffineExpr > dimReplacements) const
	Dim-only version of replaceDimsAndSymbols.
AffineExpr	replaceSymbols (ArrayRef< AffineExpr > symReplacements) const
	Symbol-only version of replaceDimsAndSymbols.
AffineExpr	replace (AffineExpr expr, AffineExpr replacement) const
	Sparse replace method.
AffineExpr	replace (const DenseMap< AffineExpr, AffineExpr > &map) const
	Sparse replace method.
AffineExpr	shiftDims (unsigned numDims, unsigned shift, unsigned offset=0) const
	Replace dims[offset ... numDims) by dims[offset + shift ... shift + numDims).
AffineExpr	shiftSymbols (unsigned numSymbols, unsigned shift, unsigned offset=0) const
	Replace symbols[offset ... numSymbols) by symbols[offset + shift ... shift + numSymbols).
AffineExpr	operator+ (int64_t v) const
AffineExpr	operator+ (AffineExpr other) const
AffineExpr	operator- () const
AffineExpr	operator- (int64_t v) const
AffineExpr	operator- (AffineExpr other) const
AffineExpr	operator* (int64_t v) const
AffineExpr	operator* (AffineExpr other) const
AffineExpr	floorDiv (uint64_t v) const
AffineExpr	floorDiv (AffineExpr other) const
AffineExpr	ceilDiv (uint64_t v) const
AffineExpr	ceilDiv (AffineExpr other) const
AffineExpr	operator% (uint64_t v) const
AffineExpr	operator% (AffineExpr other) const
AffineExpr	compose (AffineMap map) const
	Compose with an AffineMap.
friend::llvm::hash_code	hash_value (AffineExpr arg)
const void *	getAsOpaquePointer () const
	Methods supporting C API.
ImplType *	getImpl () const

Additional Inherited Members
Static Public Member Functions inherited from mlir::AffineExpr
static AffineExpr	getFromOpaquePointer (const void *pointer)
Protected Attributes inherited from mlir::AffineExpr
ImplType *	expr {nullptr}