Home
last modified time | relevance | path

Searched refs:addEquality (Results 1 – 8 of 8) sorted by relevance

/external/llvm-project/mlir/unittests/Analysis/Presburger/
DSimplexTest.cpp38 simplex.addEquality({1, 0}); // x == 0. in TEST()
89 simplex.addEquality(eq); in simplexFromConstraints()
231 simplex.addEquality({0}); // 0 == 0. in TEST()
239 simplex.addEquality({1, 0}); // x == 0. in TEST()
248 simplex.addEquality({0, 0}); // 0x == 0. in TEST()
256 simplex.addEquality({-1, 0}); // -x == 0. in TEST()
291 simplex.addEquality({-1, 0, 1, 0}); // u = w. in TEST()
/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp36 addEquality(constraints.getEquality(i)); in Simplex()
375 void Simplex::addEquality(ArrayRef<int64_t> coeffs) { in addEquality() function in mlir::Simplex
461 addEquality(fac.getEquality(i)); in intersectFlatAffineConstraints()
706 simplex.addEquality(getCoeffsForDirection(dir)); in addEqualityForDirection()
1092 addEquality(basisCoeffs); in findIntegerSample()
/external/llvm-project/mlir/include/mlir/Analysis/Presburger/
DSimplex.h161 void addEquality(ArrayRef<int64_t> coeffs);
/external/llvm-project/mlir/lib/Analysis/
DAffineAnalysis.cpp407 dependenceDomain->addEquality(cst); in addDomainConstraints()
514 dependenceDomain->addEquality(eq); in addMemRefAccessConstraints()
695 dependenceDomain->addEquality(eq); in addOrderingConstraints()
735 dependenceDomain->addEquality(eq); in computeDirectionVector()
DAffineStructures.cpp166 addEquality(other.getEquality(r)); in FlatAffineConstraints()
200 addEquality(flatExpr); in FlatAffineConstraints()
256 addEquality(other.getEquality(r)); in append()
526 addEquality(eqToAdd); in composeMap()
595 addEquality(eqToAdd); in composeMatchingMap()
685 addEquality(eq); in addAffineForOpDomain()
1820 eq ? addEquality(ineq) : addInequality(ineq); in addLowerOrUpperBound()
1872 void FlatAffineConstraints::addEquality(ArrayRef<int64_t> eq) { in addEquality() function in FlatAffineConstraints
2675 newFac.addEquality(eq); in FourierMotzkinEliminate()
2779 C.addEquality(A.getEquality(r)); in getCommonConstraints()
/external/llvm-project/mlir/unittests/Analysis/
DAffineStructuresTest.cpp44 fac.addEquality(eq); in makeFACFromConstraints()
DPresburgerSetTest.cpp88 fac.addEquality(eq); in makeFACFromConstraints()
/external/llvm-project/mlir/include/mlir/Analysis/
DAffineStructures.h286 void addEquality(ArrayRef<int64_t> eq);