Searched defs:otherSpace (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerRelationTest.cpp | 221 PresburgerSpace otherSpace = PresburgerSpace::getRelationSpace(3, 2, 3, 0); in TEST() local
300 PresburgerSpace otherSpace = PresburgerSpace::getRelationSpace(2, 2, 4, 0); in TEST() local
381 PresburgerSpace otherSpace = PresburgerSpace::getRelationSpace(2, 2, 4, 0); in TEST() local
|
| H A D | PresburgerSpaceTest.cpp | 194 PresburgerSpace otherSpace = PresburgerSpace::getRelationSpace(3, 2, 3, 0); in TEST() local
|