Searched refs:parseRelationFromSet (Results 1 – 4 of 4) sorted by relevance
| /llvm-project/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerRelationTest.cpp | 21 IntegerRelation rel = parseRelationFromSet( in TEST()
41 parseRelationFromSet("(x, y, z)[N, M] : (z - x - y == 0, x >= 0, N - x " in TEST()
46 parseRelationFromSet("(z, x, y)[N, M] : (x >= 0, N - x >= 0, y >= 0, M " in TEST()
56 IntegerRelation rel = parseRelationFromSet( in TEST()
65 IntegerRelation expectedRel = parseRelationFromSet( in TEST()
79 IntegerRelation expectedRel = parseRelationFromSet( in TEST()
93 IntegerRelation map1 = parseRelationFromSet( in TEST()
96 parseRelationFromSet("(x, y, a)[N] : (a - x - y == 0)", 2); in TEST()
101 parseRelationFromSet("(x, y, a)[N] : (a - x - y == 0)", 2); in TEST()
107 IntegerRelation map1 = parseRelationFromSet( in TEST()
[all …]
|
| H A D | BarvinokTest.cpp | 246 parseRelationFromSet("(x, y, z) : (x >= 0, y >= 0, z >= 0, -x + 1 >= 0, " in TEST()
276 parseRelationFromSet("(x, y)[N] : (x >= 0, y >= 0, -x - y + N >= 0)", 0); in TEST()
292 poly = parseRelationFromSet( in TEST()
|
| H A D | PresburgerRelationTest.cpp | 283 IntegerRelation disj1 = parseRelationFromSet( in TEST()
287 disj2 = parseRelationFromSet( in TEST()
|
| H A D | Parser.h | 83 inline IntegerRelation parseRelationFromSet(StringRef set, unsigned numDomain) { in parseRelationFromSet() function
|