Home
last modified time | relevance | path

Searched refs:parseIntegerPolyhedron (Results 1 – 6 of 6) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp206 parseIntegerPolyhedron("(x) : (7 * x >= 0, -7 * x + 5 >= 0)")); in TEST()
210 false, parseIntegerPolyhedron("(x) : (5 * x - 1 >= 0, -5 * x + 4 >= 0)")); in TEST()
214 true, parseIntegerPolyhedron("(x) : (5 * x - 1 >= 0, -5 * x + 9 >= 0)")); in TEST()
218 checkSample(true, parseIntegerPolyhedron( in TEST()
224 parseIntegerPolyhedron("(x,y,z) : (-x + 10 >= 0, -y + 10 >= 0, " in TEST()
230 parseIntegerPolyhedron("(x,y,z) : (-x + 10 >= 0, -y + 10 >= 0, " in TEST()
235 checkSample(true, parseIntegerPolyhedron( in TEST()
241 parseIntegerPolyhedron("(q,r) : (4 * q + r - 7 == 0, r == 0)")); in TEST()
249 true, parseIntegerPolyhedron("(x,y) : (y >= 0, " in TEST()
270 parseIntegerPolyhedron( in TEST()
[all …]
H A DParser.h31 inline IntegerPolyhedron parseIntegerPolyhedron(StringRef str) { in parseIntegerPolyhedron() function
43 IntegerPolyhedron initPoly = parseIntegerPolyhedron(strs[0]); in parsePresburgerSet()
46 result.unionInPlace(parseIntegerPolyhedron(strs[i])); in parsePresburgerSet()
69 IntegerPolyhedron initDomain = parseIntegerPolyhedron(pieces[0].first); in parsePWMAF()
78 func.addPiece({PresburgerSet(parseIntegerPolyhedron(pieces[i].first)), in parsePWMAF()
84 IntegerRelation rel = parseIntegerPolyhedron(set); in parseRelationFromSet()
96 IntegerRelation rel = parseIntegerPolyhedron(strs[0]); in parsePresburgerRelationFromPresburgerSet()
99 result.unionInPlace(parseIntegerPolyhedron(strs[i])); in parsePresburgerRelationFromPresburgerSet()
H A DPresburgerSetTest.cpp131 PresburgerSet(parseIntegerPolyhedron("(x) : (x - 2*(x floordiv 2) == 0)")) in TEST()
427 parseIntegerPolyhedron("(x) : (x - 2 * (x floordiv 2) == 0)")}; in TEST()
431 parseIntegerPolyhedron("(x) : (x - 2 * (x floordiv 2) - 1 == 0)")}; in TEST()
435 parseIntegerPolyhedron("(x) : (x - 3 * (x floordiv 3) == 0)")}; in TEST()
439 parseIntegerPolyhedron("(x) : (x - 6 * (x floordiv 6) == 0)")}; in TEST()
451 PresburgerSet setA{parseIntegerPolyhedron("(x) : (-x >= 0)")}; in TEST()
452 PresburgerSet setB{parseIntegerPolyhedron("(x) : (x floordiv 2 - 4 >= 0)")}; in TEST()
463 IntegerPolyhedron poly = parseIntegerPolyhedron(str); in parseIntegerPolyhedronAndMakeLocals()
496 parseIntegerPolyhedron("(x) : (x - 2 * (x floordiv 2) == 0)")}; in TEST()
516 parseIntegerPolyhedron("(x,y) : (y >= 0, 3000 * x - 2999 * y - 1000 >= " in TEST()
[all …]
H A DIntegerRelationTest.cpp27 parseIntegerPolyhedron("(x)[N] : (x + 10 >= 0, N - x - 10 >= 0)"); in TEST()
34 parseIntegerPolyhedron("(x)[N] : (x >= 0, N - x >= 0)"); in TEST()
63 parseIntegerPolyhedron("(x)[N, M] : (x >= 0, M - x - 1 >= 0)"); in TEST()
76 IntegerPolyhedron poly = parseIntegerPolyhedron( in TEST()
495 IntegerRelation rel = parseIntegerPolyhedron( in TEST()
511 IntegerRelation expectedRel = parseIntegerPolyhedron( in TEST()
562 parseIntegerPolyhedron("(z)[N, M] : (3 - z >= 0, 2 * M - 5 >= 0)"); in TEST()
H A DSimplexTest.cpp532 IntegerPolyhedron univ = parseIntegerPolyhedron("(x) : ()"); in TEST()
534 parseIntegerPolyhedron("(x) : (x + 0 >= 0, -x - 1 >= 0)"); in TEST()
535 IntegerPolyhedron s1 = parseIntegerPolyhedron("(x) : ( x >= 0, -x + 4 >= 0)"); in TEST()
537 parseIntegerPolyhedron("(x) : (x - 1 >= 0, -x + 3 >= 0)"); in TEST()
H A DParserTest.cpp43 IntegerPolyhedron poly = parseIntegerPolyhedron(str); in parseAndCompare()