Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp1994 MaybeOptimum<int64_t> minRoundedUp, maxRoundedDown; in findIntegerSample() local
1995 std::tie(minRoundedUp, maxRoundedDown) = in findIntegerSample()
2000 if (minRoundedUp.isEmpty() || maxRoundedDown.isEmpty()) { in findIntegerSample()
2001 assert((minRoundedUp.isEmpty() && maxRoundedDown.isEmpty()) && in findIntegerSample()
2011 assert((minRoundedUp.isBounded() && maxRoundedDown.isBounded()) && in findIntegerSample()
2019 if (*minRoundedUp < *maxRoundedDown) { in findIntegerSample()
2023 std::tie(minRoundedUp, maxRoundedDown) = in findIntegerSample()
2031 nextValueStack.push_back(*minRoundedUp); in findIntegerSample()
2071 MaybeOptimum<int64_t> minRoundedUp( in computeIntegerBounds() local
2075 return {minRoundedUp, maxRoundedDown}; in computeIntegerBounds()