MLIR 22.0.0git
Public Member Functions | List of all members
mlir::presburger::DivisionRepr Class Reference

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< DynamicAPInt > getDividend (unsigned i)
ArrayRef< DynamicAPInt > getDividend (unsigned i) const
SmallVector< std::optional< DynamicAPInt >, 4 > divValuesAt (ArrayRef< DynamicAPInt > point) const
DynamicAPInt & getDenom (unsigned i)
DynamicAPInt getDenom (unsigned i) const
ArrayRef< DynamicAPInt > getDenoms () const
void setDiv (unsigned i, ArrayRef< DynamicAPInt > dividend, const DynamicAPInt &divisor)
void normalizeDivs ()
void insertDiv (unsigned pos, ArrayRef< DynamicAPInt > dividend, const DynamicAPInt &divisor)
void insertDiv (unsigned pos, unsigned num=1)
void removeDuplicateDivs (llvm::function_ref< bool(unsigned i, unsigned j)> merge)
 Removes duplicate divisions.
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 117 of file Utils.h.

Constructor & Destructor Documentation

◆ DivisionRepr() [1/2]

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

Definition at line 119 of file Utils.h.

◆ DivisionRepr() [2/2]

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

Definition at line 122 of file Utils.h.

Member Function Documentation

◆ clearRepr()

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

Definition at line 136 of file Utils.h.

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

◆ divValuesAt()

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

Definition at line 390 of file Utils.cpp.

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

◆ dump()

void DivisionRepr::dump ( ) const

Definition at line 519 of file Utils.cpp.

References print().

◆ getDenom() [1/2]

DynamicAPInt & mlir::presburger::DivisionRepr::getDenom ( unsigned i)
inline

Definition at line 153 of file Utils.h.

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

◆ getDenom() [2/2]

DynamicAPInt mlir::presburger::DivisionRepr::getDenom ( unsigned i) const
inline

Definition at line 154 of file Utils.h.

◆ getDenoms()

ArrayRef< DynamicAPInt > mlir::presburger::DivisionRepr::getDenoms ( ) const
inline

Definition at line 156 of file Utils.h.

◆ getDividend() [1/2]

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

Definition at line 139 of file Utils.h.

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

◆ getDividend() [2/2]

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

Definition at line 142 of file Utils.h.

◆ getDivOffset()

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

Definition at line 128 of file Utils.h.

References getNumDivs(), and getNumVars().

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

◆ getNumDivs()

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

Definition at line 125 of file Utils.h.

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

◆ getNumNonDivs()

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

Definition at line 126 of file Utils.h.

References getNumDivs(), and getNumVars().

Referenced by divValuesAt().

◆ getNumVars()

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

Definition at line 124 of file Utils.h.

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

◆ hasAllReprs()

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

Definition at line 133 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 131 of file Utils.h.

◆ insertDiv() [1/2]

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

Definition at line 493 of file Utils.cpp.

References getDivOffset(), getNumDivs(), and getNumVars().

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(), and getNumDivs().

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

Referenced by dump().

◆ 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 getDivOffset(), getNumDivs(), and normalizeDivs().

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

◆ setDiv()

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

Definition at line 158 of file Utils.h.

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

The documentation for this class was generated from the following files:
Generated on for MLIR by doxygen 1.14.0