Searched refs:checkCoeffs (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | SimplexTest.cpp | 75 SmallVector<int64_t, 4> checkCoeffs[]{{0, 1, -1, -1}, // v - w >= 1. in TEST() local
81 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], false); in TEST()
82 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], false); in TEST()
87 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], true); in TEST()
88 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], true); in TEST()
93 expectInequalityMakesSetEmpty(simplex, checkCoeffs[0], false); in TEST()
94 expectInequalityMakesSetEmpty(simplex, checkCoeffs[1], false); in TEST()
|