Home
last modified time | relevance | path

Searched refs:IntegerRelation (Results 1 – 17 of 17) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerRelationTest.cpp20 IntegerRelation rel = parsePoly(set); in parseRelationFromSet()
28 IntegerRelation rel = parseRelationFromSet( in TEST()
47 IntegerRelation rel = in TEST()
52 IntegerRelation inverseRel = in TEST()
63 IntegerRelation rel = parseRelationFromSet( in TEST()
76 IntegerRelation copyRel = rel; in TEST()
90 IntegerRelation copyRel = rel; in TEST()
101 IntegerRelation map2 = in TEST()
106 IntegerRelation map3 = in TEST()
115 IntegerRelation map2 = in TEST()
[all …]
H A DIntegerPolyhedronTest.cpp1460 IntegerRelation set(PresburgerSpace::getSetSpace(1)); in TEST()
1461 IntegerRelation::CountsSnapshot snapshot = set.getCounts(); in TEST()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h27 class IntegerRelation; variable
52 class IntegerRelation {
58 IntegerRelation, enumerator
80 virtual ~IntegerRelation() = default;
85 return IntegerRelation(space); in getUniverse()
94 std::unique_ptr<IntegerRelation> clone() const;
119 void append(const IntegerRelation &other);
123 IntegerRelation intersect(IntegerRelation other) const;
555 void compose(const IntegerRelation &rel);
758 : IntegerRelation(rel) { in IntegerPolyhedron()
[all …]
H A DPresburgerRelation.h45 explicit PresburgerRelation(const IntegerRelation &disjunct);
67 ArrayRef<IntegerRelation> getAllDisjuncts() const;
70 const IntegerRelation &getDisjunct(unsigned index) const;
74 void unionInPlace(const IntegerRelation &disjunct);
152 SmallVector<IntegerRelation, 2> disjuncts;
H A DSimplex.h206 void intersectIntegerRelation(const IntegerRelation &rel);
433 explicit LexSimplexBase(const IntegerRelation &constraints) in LexSimplexBase()
437 explicit LexSimplexBase(const IntegerRelation &constraints, in LexSimplexBase()
486 explicit LexSimplex(const IntegerRelation &constraints) in LexSimplex()
584 SymbolicLexSimplex(const IntegerRelation &constraints, in SymbolicLexSimplex()
598 SymbolicLexSimplex(const IntegerRelation &constraints, unsigned symbolOffset, in SymbolicLexSimplex()
606 SymbolicLexSimplex(const IntegerRelation &constraints, in SymbolicLexSimplex()
699 explicit Simplex(const IntegerRelation &constraints) in Simplex()
802 bool isRationalSubsetOf(const IntegerRelation &rel);
H A DUtils.h26 class IntegerRelation; variable
217 MaybeLocalRepr computeSingleVarRepr(const IntegerRelation &cst,
234 void mergeLocalVars(IntegerRelation &relA, IntegerRelation &relB,
H A DLinearTransform.h39 IntegerRelation applyTo(const IntegerRelation &rel) const;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp33 std::unique_ptr<IntegerRelation> IntegerRelation::clone() const { in clone()
54 void IntegerRelation::append(const IntegerRelation &other) { in append()
69 IntegerRelation IntegerRelation::intersect(IntegerRelation other) const { in intersect()
76 bool IntegerRelation::isEqual(const IntegerRelation &other) const { in isEqual()
81 bool IntegerRelation::isSubsetOf(const IntegerRelation &other) const { in isSubsetOf()
144 IntegerRelation::CountsSnapshot IntegerRelation::getCounts() const { in getCounts()
462 void IntegerRelation::clearAndCopyFrom(const IntegerRelation &other) { in clearAndCopyFrom()
1165 unsigned IntegerRelation::mergeLocalVars(IntegerRelation &other) { in mergeLocalVars()
1976 IntegerRelation::unionBoundingBox(const IntegerRelation &otherCst) { in unionBoundingBox()
2203 void IntegerRelation::compose(const IntegerRelation &rel) { in compose()
[all …]
H A DPresburgerRelation.cpp27 for (IntegerRelation &disjunct : disjuncts) in setSpace()
57 for (const IntegerRelation &disjunct : set.disjuncts) in unionInPlace()
100 for (const IntegerRelation &csA : disjuncts) { in intersect()
145 for (const IntegerRelation &disjunct : disjuncts) in computeReprWithOnlyDivLocals()
207 IntegerRelation::CountsSnapshot bCounts; in getSetDifference()
209 IntegerRelation sI; in getSetDifference()
508 SmallVector<IntegerRelation, 2> disjuncts;
698 IntegerRelation &disjunct = disjuncts[i]; in coalescePairCutCase()
703 IntegerRelation newSet(disjunct.getSpace()); in coalescePairCutCase()
748 IntegerRelation &a = disjuncts[i]; in coalescePair()
[all …]
H A DUtils.cpp90 static LogicalResult getDivRepr(const IntegerRelation &cst, unsigned pos, in getDivRepr()
154 static LogicalResult getDivRepr(const IntegerRelation &cst, unsigned pos, in getDivRepr()
185 static bool checkExplicitRepresentation(const IntegerRelation &cst, in checkExplicitRepresentation()
217 const IntegerRelation &cst, ArrayRef<bool> foundRepr, unsigned pos, in computeSingleVarRepr()
266 IntegerRelation &relA, IntegerRelation &relB, in mergeLocalVars()
H A DLinearTransform.cpp115 IntegerRelation LinearTransform::applyTo(const IntegerRelation &rel) const { in applyTo()
116 IntegerRelation result(rel.getSpace()); in applyTo()
H A DCMakeLists.txt2 IntegerRelation.cpp
H A DPWMAFunction.cpp215 for (const IntegerRelation &newDom : domain.getAllDisjuncts()) in addPiece()
H A DSimplex.cpp530 IntegerRelation::CountsSnapshot domainPolyCounts; in computeSymbolicIntegerLexMin()
571 IntegerRelation::CountsSnapshot domainPolyCounts = in computeSymbolicIntegerLexMin()
1302 void SimplexBase::intersectIntegerRelation(const IntegerRelation &rel) { in intersectIntegerRelation()
2115 bool Simplex::isRationalSubsetOf(const IntegerRelation &rel) { in isRationalSubsetOf()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h108 static bool classof(const IntegerRelation *cst) { in classof()
396 void clearAndCopyFrom(const IntegerRelation &other) override;
576 using IntegerRelation::removeVarRange;
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp1389 const IntegerRelation &other) { in clearAndCopyFrom()
1395 *static_cast<IntegerRelation *>(this) = other; in clearAndCopyFrom()
/llvm-project-15.0.7/clang/docs/tools/
H A Dclang-formatted-files.txt7550 mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
7930 mlir/lib/Analysis/Presburger/IntegerRelation.cpp