An AffineValueMap is an affine map plus its ML value operands and results for analysis purposes. More...

#include "mlir/Dialect/Affine/IR/AffineValueMap.h"

Public Member Functions
	AffineValueMap ()=default

	AffineValueMap (AffineMap map, ValueRange operands, ValueRange results={})

	~AffineValueMap ()

void	reset (AffineMap map, ValueRange operands, ValueRange results={})

bool	isMultipleOf (unsigned idx, int64_t factor) const
	Return true if the idx^th result can be proved to be a multiple of 'factor', false otherwise. More...

bool	isFunctionOf (unsigned idx, Value value) const
	Return true if the idx^th result depends on 'value', false otherwise. More...

bool	isConstant (unsigned idx) const
	Return true if the result at 'idx' is a constant, false otherwise. More...

bool	isIdentity () const
	Return true if this is an identity map. More...

void	setResult (unsigned i, AffineExpr e)

AffineExpr	getResult (unsigned i)

unsigned	getNumOperands () const

unsigned	getNumDims () const

unsigned	getNumSymbols () const

unsigned	getNumResults () const

Value	getOperand (unsigned i) const

ArrayRef< Value >	getOperands () const

AffineMap	getAffineMap () const

LogicalResult	canonicalize ()
	Attempts to canonicalize the map and operands. More...

Static Public Member Functions
static void	difference (const AffineValueMap &a, const AffineValueMap &b, AffineValueMap *res)
	Return the value map that is the difference of value maps 'a' and 'b', represented as an affine map and its operands. More...

Detailed Description

An AffineValueMap is an affine map plus its ML value operands and results for analysis purposes.

The structure is still a tree form that is same as that of an affine map or an AffineApplyOp. However, its operands, results, and its map can themselves change as a result of substitutions, simplifications, and other analysis.

Definition at line 35 of file AffineValueMap.h.

Constructor & Destructor Documentation

◆ AffineValueMap() [1/2]

mlir::affine::AffineValueMap::AffineValueMap ( )

default

◆ AffineValueMap() [2/2]

AffineValueMap::AffineValueMap	(	AffineMap	map,
		ValueRange	operands,
		ValueRange	results = `{}`
	)

Definition at line 15 of file AffineValueMap.cpp.

◆ ~AffineValueMap()

AffineValueMap::~AffineValueMap ( )

default

Member Function Documentation

◆ canonicalize()

LogicalResult AffineValueMap::canonicalize ( )

Attempts to canonicalize the map and operands.

Return success if the map and/or operands have been modified.

Definition at line 3924 of file AffineOps.cpp.

References composeAffineMapAndOperands(), mlir::failure(), and mlir::success().

◆ difference()

void AffineValueMap::difference	(	const AffineValueMap &	a,
		const AffineValueMap &	b,
		AffineValueMap *	res
	)

static

Return the value map that is the difference of value maps 'a' and 'b', represented as an affine map and its operands.

The output map + operands are canonicalized and simplified.

Definition at line 27 of file AffineValueMap.cpp.

References mlir::affine::canonicalizeMapAndOperands(), mlir::affine::fullyComposeAffineMapAndOperands(), mlir::AffineMap::get(), getAffineMap(), getNumDims(), getNumOperands(), getNumResults(), getNumSymbols(), getOperands(), reset(), mlir::AffineMap::shiftDims(), mlir::AffineMap::shiftSymbols(), and mlir::simplifyAffineMap().

Referenced by mlir::affine::getTripCountMapAndOperands(), and mlir::affine::MemRefAccess::operator==().

◆ getAffineMap()

AffineMap AffineValueMap::getAffineMap ( ) const

Definition at line 101 of file AffineValueMap.cpp.

References mlir::MutableAffineMap::getAffineMap().

Referenced by mlir::affine::FlatAffineValueConstraints::composeMap(), createFullTiles(), difference(), mlir::affine::getRelationFromMap(), mlir::affine::getTripCountMapAndOperands(), isFunctionOf(), and mlir::affine::MemRefAccess::operator==().

◆ getNumDims()

unsigned mlir::affine::AffineValueMap::getNumDims ( ) const

inline

Definition at line 70 of file AffineValueMap.h.

References mlir::AffineMap::getNumDims().

Referenced by difference().

◆ getNumOperands()

unsigned mlir::affine::AffineValueMap::getNumOperands ( ) const

inline

Definition at line 69 of file AffineValueMap.h.

Referenced by difference().

◆ getNumResults()

unsigned mlir::affine::AffineValueMap::getNumResults ( ) const

inline

Definition at line 72 of file AffineValueMap.h.

References mlir::AffineMap::getNumResults().

Referenced by difference(), and mlir::affine::getTripCountMapAndOperands().

◆ getNumSymbols()

unsigned mlir::affine::AffineValueMap::getNumSymbols ( ) const

inline

Definition at line 71 of file AffineValueMap.h.

References mlir::AffineMap::getNumSymbols().

Referenced by difference().

◆ getOperand()

Value AffineValueMap::getOperand ( unsigned i ) const

Definition at line 93 of file AffineValueMap.cpp.

Referenced by mlir::affine::getRelationFromMap().

◆ getOperands()

ArrayRef< Value > AffineValueMap::getOperands ( ) const

Definition at line 97 of file AffineValueMap.cpp.

Referenced by mlir::affine::FlatAffineValueConstraints::composeMap(), createFullTiles(), difference(), and mlir::affine::getTripCountMapAndOperands().

◆ getResult()

AffineExpr mlir::affine::AffineValueMap::getResult ( unsigned i )

inline

Definition at line 68 of file AffineValueMap.h.

References mlir::AffineMap::getResult().

Referenced by mlir::affine::getTripCountMapAndOperands().

◆ isConstant()

bool mlir::affine::AffineValueMap::isConstant ( unsigned idx ) const

Return true if the result at 'idx' is a constant, false otherwise.

◆ isFunctionOf()

bool AffineValueMap::isFunctionOf	(	unsigned	idx,
		Value	value
	)		const

Return true if the idx^th result depends on 'value', false otherwise.

This method uses the invariant that operands are always positionally aligned with the AffineDimExpr in the underlying AffineMap.

Definition at line 82 of file AffineValueMap.cpp.

References findIndex(), getAffineMap(), mlir::AffineMap::getResult(), and mlir::AffineExpr::isFunctionOfDim().

◆ isIdentity()

bool mlir::affine::AffineValueMap::isIdentity ( ) const

Return true if this is an identity map.

◆ isMultipleOf()

bool AffineValueMap::isMultipleOf	(	unsigned	idx,
		int64_t	factor
	)		const

inline

Return true if the idx^th result can be proved to be a multiple of 'factor', false otherwise.

Definition at line 76 of file AffineValueMap.cpp.

References mlir::MutableAffineMap::isMultipleOf().

◆ reset()

void AffineValueMap::reset	(	AffineMap	map,
		ValueRange	operands,
		ValueRange	results = `{}`
	)

Definition at line 20 of file AffineValueMap.cpp.

Referenced by difference(), mlir::affine::MemRefAccess::getAccessMap(), and mlir::affine::FlatAffineValueConstraints::getIneqAsAffineValueMap().

◆ setResult()

void mlir::affine::AffineValueMap::setResult	(	unsigned	i,
		AffineExpr	e
	)

inline

Definition at line 67 of file AffineValueMap.h.

Referenced by mlir::affine::getTripCountMapAndOperands().

The documentation for this class was generated from the following files:

include/mlir/Dialect/Affine/IR/AffineValueMap.h
lib/Dialect/Affine/IR/AffineOps.cpp
lib/Dialect/Affine/IR/AffineValueMap.cpp

Public Member Functions

Static Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ AffineValueMap() [1/2]

◆ AffineValueMap() [2/2]

◆ ~AffineValueMap()

Member Function Documentation

◆ canonicalize()

◆ difference()

◆ getAffineMap()

◆ getNumDims()

◆ getNumOperands()

◆ getNumResults()

◆ getNumSymbols()

◆ getOperand()

◆ getOperands()

◆ getResult()

◆ isConstant()

◆ isFunctionOf()

◆ isIdentity()

◆ isMultipleOf()

◆ reset()

◆ setResult()