Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DUtils.h105 Optional<uint64_t> trueVolume, in expectComputedVolumeIsValidOverapprox() argument
107 assert(infinityOrUInt64LE(trueVolume, resultBound) && in expectComputedVolumeIsValidOverapprox()
109 EXPECT_TRUE(infinityOrUInt64LE(trueVolume, computedVolume)); in expectComputedVolumeIsValidOverapprox()
H A DPresburgerSetTest.cpp783 Optional<uint64_t> trueVolume, in expectComputedVolumeIsValidOverapprox() argument
785 expectComputedVolumeIsValidOverapprox(set.computeVolume(), trueVolume, in expectComputedVolumeIsValidOverapprox()
H A DIntegerPolyhedronTest.cpp1389 Optional<uint64_t> trueVolume, in expectComputedVolumeIsValidOverapprox() argument
1391 expectComputedVolumeIsValidOverapprox(poly.computeVolume(), trueVolume, in expectComputedVolumeIsValidOverapprox()