Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/
DPresburgerSet.cpp16 PresburgerSet::PresburgerSet(const FlatAffineConstraints &fac) in PresburgerSet() function in PresburgerSet
21 unsigned PresburgerSet::getNumFACs() const { in getNumFACs()
25 unsigned PresburgerSet::getNumDims() const { return nDim; } in getNumDims()
27 unsigned PresburgerSet::getNumSyms() const { return nSym; } in getNumSyms()
30 PresburgerSet::getAllFlatAffineConstraints() const { in getAllFlatAffineConstraints()
35 PresburgerSet::getFlatAffineConstraints(unsigned index) const { in getFlatAffineConstraints()
43 const PresburgerSet &set) { in assertDimensionsCompatible()
53 static void assertDimensionsCompatible(const PresburgerSet &setA, in assertDimensionsCompatible()
54 const PresburgerSet &setB) { in assertDimensionsCompatible()
63 void PresburgerSet::unionFACInPlace(const FlatAffineConstraints &fac) { in unionFACInPlace()
[all …]
DCMakeLists.txt10 PresburgerSet.cpp
41 PresburgerSet.cpp
/external/llvm-project/mlir/unittests/Analysis/
DPresburgerSetTest.cpp25 static void testUnionAtPoints(PresburgerSet s, PresburgerSet t, in testUnionAtPoints()
27 PresburgerSet unionSet = s.unionSet(t); in testUnionAtPoints()
38 static void testIntersectAtPoints(PresburgerSet s, PresburgerSet t, in testIntersectAtPoints()
40 PresburgerSet intersection = s.intersect(t); in testIntersectAtPoints()
51 static void testSubtractAtPoints(PresburgerSet s, PresburgerSet t, in testSubtractAtPoints()
53 PresburgerSet diff = s.subtract(t); in testSubtractAtPoints()
67 static void testComplementAtPoints(PresburgerSet s, in testComplementAtPoints()
69 PresburgerSet complement = s.complement(); in testComplementAtPoints()
99 static PresburgerSet makeSetFromFACs(unsigned dims, in makeSetFromFACs()
101 PresburgerSet set = PresburgerSet::getEmptySet(dims); in makeSetFromFACs()
[all …]
/external/llvm-project/mlir/include/mlir/Analysis/
DPresburgerSet.h31 class PresburgerSet {
33 explicit PresburgerSet(const FlatAffineConstraints &fac);
55 void unionSetInPlace(const PresburgerSet &set);
58 PresburgerSet unionSet(const PresburgerSet &set) const;
61 PresburgerSet intersect(const PresburgerSet &set) const;
71 PresburgerSet complement() const;
75 PresburgerSet subtract(const PresburgerSet &set) const;
78 static PresburgerSet getUniverse(unsigned nDim = 0, unsigned nSym = 0);
80 static PresburgerSet getEmptySet(unsigned nDim = 0, unsigned nSym = 0);
92 PresburgerSet(unsigned nDim = 0, unsigned nSym = 0)
[all …]