Class storing division representation of local variables of a constraint system. More...

#include "mlir/Analysis/Presburger/Utils.h"

Public Member Functions
	DivisionRepr (unsigned numVars, unsigned numDivs)

	DivisionRepr (unsigned numVars)

unsigned	getNumVars () const

unsigned	getNumDivs () const

unsigned	getNumNonDivs () const

unsigned	getDivOffset () const

bool	hasRepr (unsigned i) const

bool	hasAllReprs () const

void	clearRepr (unsigned i)

MutableArrayRef< MPInt >	getDividend (unsigned i)

ArrayRef< MPInt >	getDividend (unsigned i) const

SmallVector< std::optional< MPInt >, 4 >	divValuesAt (ArrayRef< MPInt > point) const

MPInt &	getDenom (unsigned i)

MPInt	getDenom (unsigned i) const

ArrayRef< MPInt >	getDenoms () const

void	setDiv (unsigned i, ArrayRef< MPInt > dividend, const MPInt &divisor)

void	normalizeDivs ()

void	insertDiv (unsigned pos, ArrayRef< MPInt > dividend, const MPInt &divisor)

void	insertDiv (unsigned pos, unsigned num=1)

void	removeDuplicateDivs (llvm::function_ref< bool(unsigned i, unsigned j)> merge)
	Removes duplicate divisions. More...

void	print (raw_ostream &os) const

void	dump () const

Detailed Description

Class storing division representation of local variables of a constraint system.

The coefficients of the dividends are stored in order: [nonLocalVars, localVars, constant]. Each local variable may or may not have a representation. If the local does not have a representation, the dividend of the division has no meaning and the denominator is zero. If it has a representation, the denominator will be positive.

The i^th division here, represents the division representation of the variable at position divOffset + i in the constraint system.

Definition at line 118 of file Utils.h.

Constructor & Destructor Documentation

◆ DivisionRepr() [1/2]

mlir::presburger::DivisionRepr::DivisionRepr	(	unsigned	numVars,
		unsigned	numDivs
	)

inline

Definition at line 120 of file Utils.h.

◆ DivisionRepr() [2/2]

mlir::presburger::DivisionRepr::DivisionRepr ( unsigned numVars )

inline

Definition at line 123 of file Utils.h.

Member Function Documentation

◆ clearRepr()

void mlir::presburger::DivisionRepr::clearRepr ( unsigned i )

inline

Definition at line 137 of file Utils.h.

Referenced by mlir::presburger::IntegerRelation::getLocalReprs().

◆ divValuesAt()

SmallVector< std::optional< MPInt >, 4 > DivisionRepr::divValuesAt ( ArrayRef< MPInt > point ) const

Definition at line 391 of file Utils.cpp.

References mlir::presburger::floorDiv(), getDividend(), getDivOffset(), getNumDivs(), and getNumNonDivs().

Referenced by mlir::presburger::MultiAffineFunction::valueAt().

◆ dump()

void DivisionRepr::dump ( ) const

Definition at line 519 of file Utils.cpp.

References print().

◆ getDenom() [1/2]

MPInt& mlir::presburger::DivisionRepr::getDenom ( unsigned i )

inline

Definition at line 149 of file Utils.h.

Referenced by addDivisionConstraints(), mlir::presburger::MultiAffineFunction::getLexSet(), mlir::presburger::IntegerRelation::getLocalReprs(), mlir::presburger::MultiAffineFunction::mergeDivs(), mlir::presburger::mergeLocalVars(), and normalizeDivs().

◆ getDenom() [2/2]

MPInt mlir::presburger::DivisionRepr::getDenom ( unsigned i ) const

inline

Definition at line 150 of file Utils.h.

◆ getDenoms()

ArrayRef<MPInt> mlir::presburger::DivisionRepr::getDenoms ( ) const

inline

Definition at line 152 of file Utils.h.

◆ getDividend() [1/2]

MutableArrayRef<MPInt> mlir::presburger::DivisionRepr::getDividend ( unsigned i )

inline

Definition at line 140 of file Utils.h.

References mlir::presburger::Matrix< T >::getRow().

Referenced by addDivisionConstraints(), divValuesAt(), mlir::presburger::MultiAffineFunction::getLexSet(), mlir::presburger::IntegerRelation::getLocalReprs(), mlir::presburger::MultiAffineFunction::mergeDivs(), mlir::presburger::mergeLocalVars(), and normalizeDivs().

◆ getDividend() [2/2]

ArrayRef<MPInt> mlir::presburger::DivisionRepr::getDividend ( unsigned i ) const

inline

Definition at line 141 of file Utils.h.

References mlir::presburger::Matrix< T >::getRow().

◆ getDivOffset()

unsigned mlir::presburger::DivisionRepr::getDivOffset ( ) const

inline

Definition at line 129 of file Utils.h.

References getNumDivs(), and getNumVars().

Referenced by addDivisionConstraints(), divValuesAt(), mlir::presburger::MultiAffineFunction::getLexSet(), insertDiv(), mlir::presburger::MultiAffineFunction::mergeDivs(), and removeDuplicateDivs().

◆ getNumDivs()

unsigned mlir::presburger::DivisionRepr::getNumDivs ( ) const

inline

Definition at line 126 of file Utils.h.

References mlir::presburger::Matrix< T >::getNumRows().

Referenced by addDivisionConstraints(), divValuesAt(), getDivOffset(), mlir::getMultiAffineFunctionFromMap(), getNumNonDivs(), insertDiv(), mlir::presburger::MultiAffineFunction::mergeDivs(), mlir::presburger::mergeLocalVars(), normalizeDivs(), and removeDuplicateDivs().

◆ getNumNonDivs()

unsigned mlir::presburger::DivisionRepr::getNumNonDivs ( ) const

inline

Definition at line 127 of file Utils.h.

References getNumDivs(), and getNumVars().

Referenced by divValuesAt().

◆ getNumVars()

unsigned mlir::presburger::DivisionRepr::getNumVars ( ) const

inline

Definition at line 125 of file Utils.h.

References mlir::presburger::Matrix< T >::getNumColumns().

Referenced by addDivisionConstraints(), getDivOffset(), getNumNonDivs(), insertDiv(), and mlir::presburger::MultiAffineFunction::mergeDivs().

◆ hasAllReprs()

bool mlir::presburger::DivisionRepr::hasAllReprs ( ) const

inline

Definition at line 134 of file Utils.h.

Referenced by addDivisionConstraints(), mlir::getMultiAffineFunctionFromMap(), and mlir::presburger::IntegerRelation::hasOnlyDivLocals().

◆ hasRepr()

bool mlir::presburger::DivisionRepr::hasRepr ( unsigned i ) const

inline

Definition at line 132 of file Utils.h.

◆ insertDiv() [1/2]

void DivisionRepr::insertDiv	(	unsigned	pos,
		ArrayRef< MPInt >	dividend,
		const MPInt &	divisor
	)

Definition at line 493 of file Utils.cpp.

References mlir::presburger::Matrix< T >::appendExtraRow(), getDivOffset(), getNumDivs(), getNumVars(), and mlir::presburger::Matrix< T >::insertColumn().

Referenced by mlir::presburger::MultiAffineFunction::mergeDivs().

◆ insertDiv() [2/2]

void DivisionRepr::insertDiv	(	unsigned	pos,
		unsigned	num = `1`
	)

Definition at line 503 of file Utils.cpp.

References getDivOffset(), getNumDivs(), mlir::presburger::Matrix< T >::insertColumns(), and mlir::presburger::Matrix< T >::insertRows().

◆ normalizeDivs()

void DivisionRepr::normalizeDivs ( )

Definition at line 485 of file Utils.cpp.

References getDenom(), getDividend(), getNumDivs(), and mlir::presburger::normalizeDiv().

Referenced by removeDuplicateDivs().

◆ print()

void DivisionRepr::print ( raw_ostream & os ) const

Definition at line 510 of file Utils.cpp.

References mlir::presburger::Matrix< T >::print().

Referenced by dump(), and mlir::presburger::MultiAffineFunction::print().

◆ removeDuplicateDivs()

void DivisionRepr::removeDuplicateDivs ( llvm::function_ref< bool(unsigned i, unsigned j)> merge )

Removes duplicate divisions.

On every possible duplicate division found, merge(i, j), where i, j are current index of the duplicate divisions, is called and division at index j is merged into division at index i. If merge(i, j) returns true, the divisions are merged i.e. j^th division gets eliminated and it's each instance is replaced by i^th division. If it returns false, the divisions are not merged. merge can also do side effects, For example it can merge the local variables in IntegerRelation.

Definition at line 439 of file Utils.cpp.

References mlir::presburger::Matrix< T >::addToColumn(), getDivOffset(), getNumDivs(), mlir::presburger::Matrix< T >::getRow(), normalizeDivs(), mlir::presburger::Matrix< T >::removeColumn(), and mlir::presburger::Matrix< T >::removeRow().

Referenced by mlir::presburger::MultiAffineFunction::mergeDivs(), mlir::presburger::mergeLocalVars(), and mlir::presburger::IntegerRelation::removeDuplicateDivs().

◆ setDiv()

void mlir::presburger::DivisionRepr::setDiv	(	unsigned	i,
		ArrayRef< MPInt >	dividend,
		const MPInt &	divisor
	)

inline

Definition at line 154 of file Utils.h.

References mlir::presburger::Matrix< T >::setRow().

Referenced by mlir::presburger::MultiAffineFunction::mergeDivs(), and mlir::presburger::mergeLocalVars().

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

include/mlir/Analysis/Presburger/Utils.h
lib/Analysis/Presburger/Utils.cpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ DivisionRepr() [1/2]

◆ DivisionRepr() [2/2]

Member Function Documentation

◆ clearRepr()

◆ divValuesAt()

◆ dump()

◆ getDenom() [1/2]

◆ getDenom() [2/2]

◆ getDenoms()

◆ getDividend() [1/2]

◆ getDividend() [2/2]

◆ getDivOffset()

◆ getNumDivs()

◆ getNumNonDivs()

◆ getNumVars()

◆ hasAllReprs()

◆ hasRepr()

◆ insertDiv() [1/2]

◆ insertDiv() [2/2]

◆ normalizeDivs()

◆ print()

◆ removeDuplicateDivs()

◆ setDiv()