Searched refs:IntegerRelationTest (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerRelationTest.cpp | 20 TEST(IntegerRelationTest, getDomainAndRangeSet) { in TEST() argument
39 TEST(IntegerRelationTest, inverse) { in TEST() argument
55 TEST(IntegerRelationTest, intersectDomainAndRange) { in TEST() argument
90 TEST(IntegerRelationTest, applyDomainAndRange) { in TEST() argument
121 TEST(IntegerRelationTest, symbolicLexmin) { in TEST() argument
134 TEST(IntegerRelationTest, symbolicLexmax) { in TEST() argument
172 TEST(IntegerRelationTest, swapVar) { in TEST() argument
210 TEST(IntegerRelationTest, mergeAndAlignSymbols) { in TEST() argument
293 TEST(IntegerRelationTest, mergeAndAlignDisjointSymbols) { in TEST() argument
374 TEST(IntegerRelationTest, mergeAndAlignCommonSuffixSymbols) { in TEST() argument
[all …]
|
| H A D | CMakeLists.txt | 6 IntegerRelationTest.cpp
|