Home
last modified time | relevance | path

Searched defs:resultBound (Results 1 – 3 of 3) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DUtils.h146 const std::optional<DynamicAPInt> &resultBound) { in expectComputedVolumeIsValidOverapprox()
155 std::optional<int64_t> trueVolume, std::optional<int64_t> resultBound) { in expectComputedVolumeIsValidOverapprox()
H A DIntegerPolyhedronTest.cpp1410 std::optional<int64_t> resultBound) { in expectComputedVolumeIsValidOverapprox()
H A DPresburgerSetTest.cpp759 std::optional<int64_t> resultBound) { in expectComputedVolumeIsValidOverapprox()