Searched refs:parseIntegerSetToFAC (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Dialect/Affine/Analysis/ |
| H A D | AffineStructuresParserTest.cpp | 45 fac = parseIntegerSetToFAC("(x)", &context, false); in TEST()
49 fac = parseIntegerSetToFAC("(x)[] : ())", &context, false); in TEST()
53 fac = parseIntegerSetToFAC("(x)[] : (x - >= 0)", &context, false); in TEST()
57 fac = parseIntegerSetToFAC("(x)[] : (y == 0)", &context, false); in TEST()
61 fac = parseIntegerSetToFAC("(x, x) : (2 * x >= 0)", &context, false); in TEST()
65 fac = parseIntegerSetToFAC("(x)[x] : (2 * x >= 0)", &context, false); in TEST()
69 fac = parseIntegerSetToFAC("(x) : (2 * x + 9223372036854775808 >= 0)", in TEST()
79 FailureOr<IntegerPolyhedron> fac = parseIntegerSetToFAC(str, context); in parseAndCompare()
|
| H A D | AffineStructuresParser.h | 29 parseIntegerSetToFAC(llvm::StringRef, MLIRContext *context,
|
| H A D | AffineStructuresParser.cpp | 17 mlir::parseIntegerSetToFAC(llvm::StringRef str, MLIRContext *context, in parseIntegerSetToFAC() function in mlir
|
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | Utils.h | 34 FailureOr<IntegerPolyhedron> poly = parseIntegerSetToFAC(str, &context); in parsePoly()
|