Searched refs:parseRelationFromSet (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerRelationTest.cpp | 19 static IntegerRelation parseRelationFromSet(StringRef set, unsigned numDomain) { in parseRelationFromSet() function
28 IntegerRelation rel = parseRelationFromSet( in TEST()
48 parseRelationFromSet("(x, y, z)[N, M] : (z - x - y == 0, x >= 0, N - x " in TEST()
63 IntegerRelation rel = parseRelationFromSet( in TEST()
71 IntegerRelation expectedRel = parseRelationFromSet( in TEST()
85 IntegerRelation expectedRel = parseRelationFromSet( in TEST()
99 IntegerRelation map1 = parseRelationFromSet( in TEST()
102 parseRelationFromSet("(x, y, a)[N] : (a - x - y == 0)", 2); in TEST()
107 parseRelationFromSet("(x, y, a)[N] : (a - x - y == 0)", 2); in TEST()
113 IntegerRelation map1 = parseRelationFromSet( in TEST()
[all …]
|