Searched refs:parseAndCompare (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/mlir/unittests/Analysis/Presburger/ |
| H A D | ParserTest.cpp | 42 static bool parseAndCompare(StringRef str, const IntegerPolyhedron &ex) { in parseAndCompare() function
49 EXPECT_TRUE(parseAndCompare("() : (4 + 3 >= 0)", in TEST()
53 EXPECT_TRUE(parseAndCompare("()[a] : (4 * 3 == 10 + 2)", in TEST()
57 EXPECT_TRUE(parseAndCompare("(x) : (11 ceildiv 3 == 13 floordiv 3)", in TEST()
61 EXPECT_TRUE(parseAndCompare("(x)[] : (x >= 0)", in TEST()
65 EXPECT_TRUE(parseAndCompare("(x)[] : (x == 0)", in TEST()
69 EXPECT_TRUE(parseAndCompare("(x)[] : (7 * x >= 0, -7 * x + 5 >= 0)", in TEST()
74 parseAndCompare("(x) : (2 * x >= 2, (-7 + x * 9) * 5 >= 0)", in TEST()
78 EXPECT_TRUE(parseAndCompare("(x,y,z)[] : (x + y - z >= 0)", in TEST()
83 parseAndCompare("(x,y,z)[a,b] : (x + y - z + 2 * a - 15 * b >= 0)", in TEST()
[all …]
|