Searched refs:parsePolyAndMakeLocals (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PresburgerSetTest.cpp | 473 inline IntegerPolyhedron parsePolyAndMakeLocals(StringRef str, in parsePolyAndMakeLocals() function
483 parsePolyAndMakeLocals("(x, y) : (x - 2 * y == 0)", /*numLocals=*/1)}; in TEST()
487 parsePolyAndMakeLocals("(x, y) : (x - 2 * y - 1 == 0)", /*numLocals=*/1)}; in TEST()
491 parsePolyAndMakeLocals("(x, y) : (x - 3 * y == 0)", /*numLocals=*/1)}; in TEST()
495 parsePolyAndMakeLocals("(x, y) : (x - 6 * y == 0)", /*numLocals=*/1)}; in TEST()
519 parsePolyAndMakeLocals("(x, y, z) : (y >= 0, z - y >= 0, 3000*x - 2998*y " in TEST()
542 PresburgerSet triangle2{parsePolyAndMakeLocals("(x,y) : (y >= 0, " in TEST()
|