Home
last modified time | relevance | path

Searched refs:getDivUpperBound (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DUtils.h196 SmallVector<int64_t, 8> getDivUpperBound(ArrayRef<int64_t> dividend,
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DUtils.cpp293 SmallVector<int64_t, 8> presburger::getDivUpperBound(ArrayRef<int64_t> dividend, in getDivUpperBound() function in presburger
H A DPresburgerRelation.cpp305 getDivUpperBound(divs.getDividend(i), divs.getDenom(i), in getSetDifference()
H A DIntegerRelation.cpp1326 getDivUpperBound(dividendCopy, divisor, dividendCopy.size() - 2)); in addLocalFloorDiv()