Home
last modified time | relevance | path

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

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