Home
last modified time | relevance | path

Searched refs:PresburgerSet (Results 1 – 13 of 13) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp29 static void testUnionAtPoints(const PresburgerSet &s, const PresburgerSet &t, in testUnionAtPoints()
56 static void testSubtractAtPoints(const PresburgerSet &s, const PresburgerSet &t, in testSubtractAtPoints()
92 PresburgerSet set = in makeSetFromPoly()
430 void expectEqual(const PresburgerSet &s, const PresburgerSet &t) { in expectEqual()
454 expectEmpty(PresburgerSet(evens).intersect(PresburgerSet(odds))); in TEST()
486 PresburgerSet odds{ in TEST()
498 expectEmpty(PresburgerSet(evens).intersect(PresburgerSet(odds))); in TEST()
611 PresburgerSet set = in TEST()
731 PresburgerSet set = in TEST()
763 PresburgerSet set = in TEST()
[all …]
H A DUtils.h43 inline PresburgerSet
46 PresburgerSet set = PresburgerSet::getEmpty(
H A DIntegerPolyhedronTest.cpp1175 PresburgerSet expectedUnboundedDomain = parsePresburgerSetFromPolyStrings( in expectSymbolicIntegerLexMin()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h157 class PresburgerSet : public PresburgerRelation {
160 static PresburgerSet getUniverse(const PresburgerSpace &space);
163 static PresburgerSet getEmpty(const PresburgerSpace &space);
166 explicit PresburgerSet(const IntegerPolyhedron &disjunct);
167 explicit PresburgerSet(const PresburgerRelation &set);
172 PresburgerSet unionSet(const PresburgerRelation &set) const;
173 PresburgerSet intersect(const PresburgerRelation &set) const;
174 PresburgerSet complement() const;
175 PresburgerSet subtract(const PresburgerRelation &set) const;
176 PresburgerSet coalesce() const;
[all …]
H A DPWMAFunction.h148 void addPiece(const PresburgerSet &domain, const Matrix &output);
158 PresburgerSet getDomain() const;
205 llvm::function_ref<PresburgerSet(MultiAffineFunction mafA,
H A DIntegerRelation.h29 class PresburgerSet; variable
798 PresburgerSet subtract(const PresburgerSet &other) const;
H A DSimplex.h534 unboundedDomain(PresburgerSet::getEmpty(domainSpace)) {} in SymbolicLexMin()
543 PresburgerSet unboundedDomain;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp29 PresburgerSet PWMAFunction::getDomain() const { in getDomain()
30 PresburgerSet domain = PresburgerSet::getEmpty(getSpace()); in getDomain()
203 .intersect(PresburgerSet(piece.getDomain())) in addPiece()
229 llvm::function_ref<PresburgerSet(MultiAffineFunction maf1, in unionFunction()
248 PresburgerSet dom(funcA.getDomain()); in unionFunction()
250 PresburgerSet better = tiebreak(funcB, funcA); in unionFunction()
271 PresburgerSet dom = getDomain(); in unionFunction()
283 static PresburgerSet tiebreakLex(const MultiAffineFunction &mafA, in tiebreakLex()
314 PresburgerSet result = PresburgerSet::getEmpty(compatibleSpace); in tiebreakLex()
348 result = result.intersect(PresburgerSet(mafA.getDomain())) in tiebreakLex()
[all …]
H A DPresburgerRelation.cpp831 PresburgerSet PresburgerSet::getUniverse(const PresburgerSpace &space) { in getUniverse()
832 PresburgerSet result(space); in getUniverse()
837 PresburgerSet PresburgerSet::getEmpty(const PresburgerSpace &space) { in getEmpty()
838 return PresburgerSet(space); in getEmpty()
841 PresburgerSet::PresburgerSet(const IntegerPolyhedron &disjunct) in PresburgerSet() function in PresburgerSet
844 PresburgerSet::PresburgerSet(const PresburgerRelation &set) in PresburgerSet() function in PresburgerSet
847 PresburgerSet PresburgerSet::unionSet(const PresburgerRelation &set) const { in unionSet()
851 PresburgerSet PresburgerSet::intersect(const PresburgerRelation &set) const { in intersect()
855 PresburgerSet PresburgerSet::complement() const { in complement()
859 PresburgerSet PresburgerSet::subtract(const PresburgerRelation &set) const { in subtract()
[all …]
H A DIntegerRelation.cpp2273 PresburgerSet IntegerPolyhedron::subtract(const PresburgerSet &other) const { in subtract()
2274 return PresburgerSet(IntegerRelation::subtract(other)); in subtract()
/llvm-project-15.0.7/mlir/unittests/Dialect/Affine/Analysis/
H A DAffineStructuresParserTest.cpp83 return PresburgerSet(*fac).isEqual(PresburgerSet(ex)); in parseAndCompare()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DUtils.cpp277 PresburgerSet srcSet(srcConstraints); in isSliceValid()
278 PresburgerSet sliceSet(sliceConstraints); in isSliceValid()
279 PresburgerSet diffSet = sliceSet.subtract(srcSet); in isSliceValid()
335 PresburgerSet srcSet(srcConstraints); in isMaximal()
336 PresburgerSet sliceSet(sliceConstraints); in isMaximal()
337 PresburgerSet diffSet = srcSet.subtract(sliceSet); in isMaximal()
/llvm-project-15.0.7/clang/docs/tools/
H A Dclang-formatted-files.txt7553 mlir/include/mlir/Analysis/Presburger/PresburgerSet.h
7933 mlir/lib/Analysis/Presburger/PresburgerSet.cpp