Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp782 expectComputedVolumeIsValidOverapprox(const PresburgerSet &set, in expectComputedVolumeIsValidOverapprox() function
785 expectComputedVolumeIsValidOverapprox(set.computeVolume(), trueVolume, in expectComputedVolumeIsValidOverapprox()
794 expectComputedVolumeIsValidOverapprox(diamond, in TEST()
802 expectComputedVolumeIsValidOverapprox(shiftedDiamond, in TEST()
810 expectComputedVolumeIsValidOverapprox(biggerDiamond, in TEST()
815 expectComputedVolumeIsValidOverapprox(diamond.unionSet(shiftedDiamond), in TEST()
820 expectComputedVolumeIsValidOverapprox( in TEST()
827 expectComputedVolumeIsValidOverapprox(unbounded, /*trueVolume=*/{}, in TEST()
831 expectComputedVolumeIsValidOverapprox(unbounded.unionSet(diamond), in TEST()
H A DIntegerPolyhedronTest.cpp1388 expectComputedVolumeIsValidOverapprox(const IntegerPolyhedron &poly, in expectComputedVolumeIsValidOverapprox() function
1391 expectComputedVolumeIsValidOverapprox(poly.computeVolume(), trueVolume, in expectComputedVolumeIsValidOverapprox()
1399 expectComputedVolumeIsValidOverapprox( in TEST()
1406 expectComputedVolumeIsValidOverapprox( in TEST()
1412 expectComputedVolumeIsValidOverapprox( in TEST()
1420 expectComputedVolumeIsValidOverapprox( in TEST()
1430 expectComputedVolumeIsValidOverapprox( in TEST()
1437 expectComputedVolumeIsValidOverapprox( in TEST()
H A DUtils.h104 expectComputedVolumeIsValidOverapprox(Optional<uint64_t> computedVolume, in expectComputedVolumeIsValidOverapprox() function