Searched refs:getUniverse (Results 1 – 4 of 4) sorted by relevance
| /external/llvm-project/mlir/unittests/Analysis/ |
| D | PresburgerSetTest.cpp | 161 testUnionAtPoints(PresburgerSet::getUniverse(1), set, in TEST()
170 PresburgerSet::getUniverse(1), {{1}, {2}, {0}, {-1}}); in TEST()
173 testUnionAtPoints(PresburgerSet::getUniverse(1), in TEST()
191 testIntersectAtPoints(PresburgerSet::getUniverse(1), set, in TEST()
200 PresburgerSet::getUniverse(1), {{1}, {2}, {0}, {-1}}); in TEST()
203 testIntersectAtPoints(PresburgerSet::getUniverse(1), in TEST()
207 testIntersectAtPoints(PresburgerSet::getUniverse(1), in TEST()
208 PresburgerSet::getUniverse(1), {{1}, {2}, {0}, {-1}}); in TEST()
494 PresburgerSet::getUniverse(1), in TEST()
|
| /external/llvm-project/mlir/lib/Analysis/ |
| D | PresburgerSet.cpp | 95 PresburgerSet PresburgerSet::getUniverse(unsigned nDim, unsigned nSym) { in getUniverse() function in PresburgerSet
97 result.unionFACInPlace(FlatAffineConstraints::getUniverse(nDim, nSym)); in getUniverse()
270 FlatAffineConstraints::getUniverse(getNumDims(), getNumSyms()), *this); in complement()
|
| /external/llvm-project/mlir/include/mlir/Analysis/ |
| D | PresburgerSet.h | 78 static PresburgerSet getUniverse(unsigned nDim = 0, unsigned nSym = 0);
|
| D | AffineStructures.h | 102 static FlatAffineConstraints getUniverse(unsigned numDims = 0,
|