Searched refs:testComputeReprAtPoints (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PresburgerSetTest.cpp | 838 void testComputeReprAtPoints(IntegerPolyhedron poly, in testComputeReprAtPoints() function
863 testComputeReprAtPoints(parsePoly("(x, y) : (x - 2*y == 0)"), in TEST()
866 testComputeReprAtPoints(parsePoly("(x, e) : (x - 2*e == 0)"), in TEST()
870 testComputeReprAtPoints(parsePoly("(x, y)[z, w] : ()"), {}, in TEST()
872 testComputeReprAtPoints(parsePoly("(x, y)[z, w] : (z - (w floordiv 2) == 0)"), in TEST()
|