Lines Matching refs:parseRelationFromSet

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()
53       parseRelationFromSet("(z, x, y)[N, M]  : (x >= 0, N - x >= 0, y >= 0, M "  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()
116         parseRelationFromSet("(x, y, a, b)[N] : (a - N == 0, b - N == 0)", 2);  in TEST()
119         parseRelationFromSet("(x, y, a, b)[N] : (x - N == 0, y - N == 0)", 2);  in TEST()
129       parseRelationFromSet("(a, x)[b] : (x - a >= 0, x - b >= 0)", 1)  in TEST()