MLIR  16.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< MPIntgetDividend (unsigned i)
 
ArrayRef< MPIntgetDividend (unsigned i) const
 
SmallVector< Optional< MPInt >, 4 > divValuesAt (ArrayRef< MPInt > point) const
 
MPIntgetDenom (unsigned i)
 
MPInt getDenom (unsigned i) const
 
ArrayRef< MPIntgetDenoms () const
 
void setDiv (unsigned i, ArrayRef< MPInt > dividend, const MPInt &divisor)
 
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 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.

◆ divValuesAt()

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

◆ dump()

void DivisionRepr::dump ( ) const

Definition at line 500 of file Utils.cpp.

References print().

◆ getDenom() [1/2]

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

◆ getDenom() [2/2]

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

Definition at line 149 of file Utils.h.

◆ getDenoms()

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

Definition at line 151 of file Utils.h.

◆ getDividend() [1/2]

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

◆ getDividend() [2/2]

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

Definition at line 140 of file Utils.h.

◆ getDivOffset()

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

◆ getNumDivs()

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

◆ getNumNonDivs()

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

Definition at line 126 of file Utils.h.

Referenced by divValuesAt().

◆ getNumVars()

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

◆ hasAllReprs()

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

◆ 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< MPInt dividend,
const MPInt divisor 
)

◆ insertDiv() [2/2]

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

◆ print()

void DivisionRepr::print ( raw_ostream &  os) const

Definition at line 491 of file Utils.cpp.

References mlir::presburger::Matrix::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 429 of file Utils.cpp.

References mlir::presburger::Matrix::addToColumn(), getDivOffset(), getNumDivs(), mlir::presburger::Matrix::getRow(), mlir::presburger::Matrix::removeColumn(), and mlir::presburger::Matrix::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

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