Lines Matching refs:context
42 MLIRContext context; in TEST() local
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()
70 &context, false); in TEST()
78 MLIRContext *context) { in parseAndCompare() argument
79 FailureOr<IntegerPolyhedron> fac = parseIntegerSetToFAC(str, context); in parseAndCompare()
87 MLIRContext context; in TEST() local
90 "(x)[] : (x >= 0)", makeFACFromConstraints(1, 0, {{1, 0}}), &context)); in TEST()
95 &context)); in TEST()
100 &context)); in TEST()
105 &context)); in TEST()
110 makeFACFromConstraints(3, 2, {{1, 1, -1, 2, -15, 0}}), &context)); in TEST()
115 &context)); in TEST()
121 &context)); in TEST()
128 &context)); in TEST()
135 &context)); in TEST()