Home
last modified time | relevance | path

Searched refs:parsePoly (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp240 checkSample(true, parsePoly("(x,y) : (y >= 0, " in TEST()
288 parsePoly("(x,y) : (x >= 0, -x + 100 >= 0, " in TEST()
414 checkSample(false, parsePoly("(x, y, z) : (" in TEST()
420 checkSample(true, parsePoly("(x, y, z) : (" in TEST()
472 parsePoly( in TEST()
561 IntegerPolyhedron poly5 = parsePoly( in TEST()
1083 parsePoly( in TEST()
1093 parsePoly( in TEST()
1114 parsePoly( in TEST()
1165 IntegerPolyhedron poly = parsePoly(polyStr); in expectSymbolicIntegerLexMin()
[all …]
H A DPresburgerSetTest.cpp463 PresburgerSet setA{parsePoly("(x) : (-x >= 0)")}; in TEST()
475 IntegerPolyhedron poly = parsePoly(str); in parsePolyAndMakeLocals()
508 parsePoly("(x) : (x - 2 * (x floordiv 2) == 0)")}; in TEST()
527 IntegerPolyhedron triangle = parsePoly("(x,y) : (y >= 0, " in TEST()
535 IntegerPolyhedron line = parsePoly("(x) : (x - 1000 == 0)"); in TEST()
547 PresburgerSet fifteen{parsePoly("(x) : (x - 15 == 0)")}; in TEST()
799 PresburgerSet shiftedDiamond(parsePoly( in TEST()
807 PresburgerSet biggerDiamond(parsePoly( in TEST()
863 testComputeReprAtPoints(parsePoly("(x, y) : (x - 2*y == 0)"), in TEST()
870 testComputeReprAtPoints(parsePoly("(x, y)[z, w] : ()"), {}, in TEST()
[all …]
H A DIntegerRelationTest.cpp20 IntegerRelation rel = parsePoly(set); in parseRelationFromSet()
34 parsePoly("(x)[N] : (x + 10 >= 0, N - x - 10 >= 0)"); in TEST()
41 parsePoly("(x)[N] : (x >= 0, N - x >= 0)"); in TEST()
69 IntegerPolyhedron poly = parsePoly("(x)[N, M] : (x >= 0, M - x - 1 >= 0)"); in TEST()
83 parsePoly("(y, z)[N, M] : (y >= 0, M - y - 1 >= 0, y + z == 0)"); in TEST()
H A DUtils.h32 inline IntegerPolyhedron parsePoly(StringRef str) { in parsePoly() function
49 set.unionInPlace(parsePoly(str));
80 IntegerPolyhedron domain = parsePoly(pair.first);
H A DSimplexTest.cpp506 IntegerPolyhedron univ = parsePoly("(x) : ()"); in TEST()
507 IntegerPolyhedron empty = parsePoly("(x) : (x + 0 >= 0, -x - 1 >= 0)"); in TEST()
508 IntegerPolyhedron s1 = parsePoly("(x) : ( x >= 0, -x + 4 >= 0)"); in TEST()
509 IntegerPolyhedron s2 = parsePoly("(x) : (x - 1 >= 0, -x + 3 >= 0)"); in TEST()