Home
last modified time | relevance | path

Searched refs:addInequality (Results 1 – 9 of 9) sorted by relevance

/external/llvm-project/mlir/unittests/Analysis/Presburger/
DSimplexTest.cpp21 simplex.addInequality({1, -1, 0}); in TEST()
26 simplex.addInequality({-1, 1, -1}); in TEST()
36 simplex.addInequality({1, -1}); // x >= 1. in TEST()
46 simplex.addInequality(coeffs); in expectInequalityMakesSetEmpty()
69 simplex.addInequality(coeffs[(run + i) % 4]); in TEST()
87 simplex.addInequality(ineq); in simplexFromConstraints()
222 simplex.addInequality({0}); // 0 >= 0. in TEST()
264 simplex.addInequality({1, 0}); // x >= 0. in TEST()
272 simplex.addInequality({0, 0}); // 0x >= 0. in TEST()
280 simplex.addInequality({-1, 0}); // x <= 0. in TEST()
[all …]
/external/llvm-project/mlir/lib/Analysis/
DPresburgerSet.cpp199 b.addInequality(ineq); in subtractRecursively()
200 simplex.addInequality(ineq); in subtractRecursively()
211 b.addInequality(ineq); in subtractRecursively()
212 simplex.addInequality(ineq); in subtractRecursively()
DAffineAnalysis.cpp409 dependenceDomain->addInequality(cst); in addDomainConstraints()
556 dependenceDomain->addInequality(ineq); in addMemRefAccessConstraints()
573 dependenceDomain->addInequality(ineq); in addMemRefAccessConstraints()
693 dependenceDomain->addInequality(eq); in addOrderingConstraints()
DAffineStructures.cpp163 addInequality(other.getInequality(r)); in FlatAffineConstraints()
202 addInequality(flatExpr); in FlatAffineConstraints()
253 addInequality(other.getInequality(r)); in append()
1820 eq ? addEquality(ineq) : addInequality(ineq); in addLowerOrUpperBound()
1879 void FlatAffineConstraints::addInequality(ArrayRef<int64_t> inEq) { in addInequality() function in FlatAffineConstraints
1950 addInequality(bound); in addLocalFloorDiv()
1956 addInequality(bound); in addLocalFloorDiv()
2642 newFac.addInequality(ineq); in FourierMotzkinEliminate()
2660 newFac.addInequality(ineq); in FourierMotzkinEliminate()
2771 C.addInequality(A.getInequality(r)); in getCommonConstraints()
[all …]
/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp34 addInequality(constraints.getInequality(i)); in Simplex()
360 void Simplex::addInequality(ArrayRef<int64_t> coeffs) { in addInequality() function in mlir::Simplex
376 addInequality(coeffs); in addEquality()
380 addInequality(negatedCoeffs); in addEquality()
459 addInequality(fac.getInequality(i)); in intersectFlatAffineConstraints()
/external/llvm-project/mlir/include/mlir/Analysis/Presburger/
DSimplex.h150 void addInequality(ArrayRef<int64_t> coeffs);
/external/llvm-project/mlir/unittests/Analysis/
DAffineStructuresTest.cpp46 fac.addInequality(ineq); in makeFACFromConstraints()
DPresburgerSetTest.cpp90 fac.addInequality(ineq); in makeFACFromConstraints()
/external/llvm-project/mlir/include/mlir/Analysis/
DAffineStructures.h284 void addInequality(ArrayRef<int64_t> inEq);