Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp1044 int64_t minRoundedUp, maxRoundedDown; in findIntegerSample() local
1045 std::tie(minRoundedUp, maxRoundedDown) = in findIntegerSample()
1053 if (minRoundedUp < maxRoundedDown) { in findIntegerSample()
1057 std::tie(minRoundedUp, maxRoundedDown) = in findIntegerSample()
1064 upperBoundStack.push_back(maxRoundedDown); in findIntegerSample()
1110 int64_t maxRoundedDown; in computeIntegerBounds() local
1113 maxRoundedDown = floor(*maybeMax); in computeIntegerBounds()
1117 return {minRoundedUp, maxRoundedDown}; in computeIntegerBounds()