| /external/llvm-project/mlir/lib/Analysis/ |
| D | PresburgerSet.cpp | 16 PresburgerSet::PresburgerSet(const FlatAffineConstraints &fac) in PresburgerSet()
29 ArrayRef<FlatAffineConstraints>
34 const FlatAffineConstraints &
42 static void assertDimensionsCompatible(const FlatAffineConstraints &fac, in assertDimensionsCompatible()
63 void PresburgerSet::unionFACInPlace(const FlatAffineConstraints &fac) { in unionFACInPlace()
74 for (const FlatAffineConstraints &fac : set.flatAffineConstraints) in unionSetInPlace()
88 for (const FlatAffineConstraints &fac : flatAffineConstraints) { in containsPoint()
97 result.unionFACInPlace(FlatAffineConstraints::getUniverse(nDim, nSym)); in getUniverse()
113 for (const FlatAffineConstraints &csA : flatAffineConstraints) { in intersect()
114 for (const FlatAffineConstraints &csB : set.flatAffineConstraints) { in intersect()
[all …]
|
| D | AffineStructures.cpp | 43 FlatAffineConstraints localVarCst;
73 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExprs()
106 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExpr()
118 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExprs()
130 FlatAffineConstraints *localVarCst) { in getFlattenedAffineExprs()
145 FlatAffineConstraints::FlatAffineConstraints( in FlatAffineConstraints() function in FlatAffineConstraints
146 const FlatAffineConstraints &other) { in FlatAffineConstraints()
171 std::unique_ptr<FlatAffineConstraints> FlatAffineConstraints::clone() const { in clone()
172 return std::make_unique<FlatAffineConstraints>(*this); in clone()
176 FlatAffineConstraints::FlatAffineConstraints(IntegerSet set) in FlatAffineConstraints() function in FlatAffineConstraints
[all …]
|
| D | AffineAnalysis.cpp | 89 FlatAffineConstraints *domain) { in getIndexSet()
120 FlatAffineConstraints *indexSet) { in getOpIndexSet()
217 const FlatAffineConstraints &srcDomain, in buildDimAndSymbolPositionMaps()
218 const FlatAffineConstraints &dstDomain, const AffineValueMap &srcAccessMap, in buildDimAndSymbolPositionMaps()
220 FlatAffineConstraints *dependenceConstraints) { in buildDimAndSymbolPositionMaps()
303 const FlatAffineConstraints &srcDomain, in initDependenceConstraints()
304 const FlatAffineConstraints &dstDomain, const AffineValueMap &srcAccessMap, in initDependenceConstraints()
306 FlatAffineConstraints *dependenceConstraints) { in initDependenceConstraints()
372 static void addDomainConstraints(const FlatAffineConstraints &srcDomain, in addDomainConstraints()
373 const FlatAffineConstraints &dstDomain, in addDomainConstraints()
[all …]
|
| D | Utils.cpp | 66 ComputationSliceState::getAsConstraints(FlatAffineConstraints *cst) { in getAsConstraints()
149 FlatAffineConstraints cstWithShapeBounds(cst); in getConstantBoundingSizeAndShape()
469 FlatAffineConstraints ucst(*region.getConstraints()); in boundCheckLoadOrStoreOp()
489 FlatAffineConstraints lcst(*region.getConstraints()); in boundCheckLoadOrStoreOp()
553 FlatAffineConstraints *cst) { in addMissingLoopIVBounds()
606 FlatAffineConstraints sliceUnionCst; in computeSliceUnion()
624 FlatAffineConstraints dependenceConstraints; in computeSliceUnion()
656 FlatAffineConstraints tmpSliceCst; in computeSliceUnion()
759 FlatAffineConstraints *dependenceConstraints, unsigned loopDepth, in getComputationSliceState()
1078 FlatAffineConstraints dependenceConstraints; in isLoopParallel()
[all …]
|
| /external/llvm-project/mlir/include/mlir/Analysis/ |
| D | AffineStructures.h | 58 class FlatAffineConstraints {
64 FlatAffineConstraints(unsigned numReservedInequalities,
85 FlatAffineConstraints(unsigned numDims = 0, unsigned numSymbols = 0,
102 static FlatAffineConstraints getUniverse(unsigned numDims = 0,
104 return FlatAffineConstraints(numDims, numSymbols);
109 explicit FlatAffineConstraints(const AffineValueMap &avm);
110 explicit FlatAffineConstraints(ArrayRef<const AffineValueMap *> avmRef);
113 explicit FlatAffineConstraints(IntegerSet set);
115 FlatAffineConstraints(const FlatAffineConstraints &other);
117 FlatAffineConstraints(ArrayRef<const AffineValueMap *> avmRef,
[all …]
|
| D | PresburgerSet.h | 33 explicit PresburgerSet(const FlatAffineConstraints &fac);
45 ArrayRef<FlatAffineConstraints> getAllFlatAffineConstraints() const;
48 const FlatAffineConstraints &getFlatAffineConstraints(unsigned index) const;
52 void unionFACInPlace(const FlatAffineConstraints &fac);
96 static PresburgerSet getSetDifference(FlatAffineConstraints fac,
107 SmallVector<FlatAffineConstraints, 2> flatAffineConstraints;
|
| D | Utils.h | 31 class FlatAffineConstraints; variable
81 LogicalResult getAsConstraints(FlatAffineConstraints *cst);
134 FlatAffineConstraints *dependenceConstraints,
223 FlatAffineConstraints *getConstraints() { return &cst; } in getConstraints()
224 const FlatAffineConstraints *getConstraints() const { return &cst; } in getConstraints()
286 FlatAffineConstraints cst;
|
| D | AffineAnalysis.h | 27 class FlatAffineConstraints; variable
45 FlatAffineConstraints *domain);
114 unsigned loopDepth, FlatAffineConstraints *dependenceConstraints,
|
| /external/llvm-project/mlir/unittests/Analysis/ |
| D | AffineStructuresTest.cpp | 22 static void checkSample(bool hasValue, const FlatAffineConstraints &fac) { in checkSample()
39 static FlatAffineConstraints
42 FlatAffineConstraints fac(ineqs.size(), eqs.size(), dims + 1, dims); in makeFACFromConstraints()
264 FlatAffineConstraints fac = makeFACFromConstraints(1, in TEST()
276 FlatAffineConstraints fac2 = in TEST()
291 FlatAffineConstraints fac3 = in TEST()
302 FlatAffineConstraints fac4 = makeFACFromConstraints( in TEST()
355 FlatAffineConstraints fac5 = in TEST()
|
| D | PresburgerSetTest.cpp | 83 static FlatAffineConstraints
86 FlatAffineConstraints fac(ineqs.size(), eqs.size(), dims + 1, dims); in makeFACFromConstraints()
94 static FlatAffineConstraints
100 ArrayRef<FlatAffineConstraints> facs) { in makeSetFromFACs()
102 for (const FlatAffineConstraints &fac : facs) in makeSetFromFACs()
|
| /external/llvm-project/mlir/include/mlir/Analysis/Presburger/ |
| D | Simplex.h | 141 explicit Simplex(const FlatAffineConstraints &constraints);
173 void intersectFlatAffineConstraints(const FlatAffineConstraints &fac);
|
| /external/llvm-project/mlir/test/lib/Transforms/ |
| D | TestMemRefDependenceCheck.cpp | 81 FlatAffineConstraints dependenceConstraints; in checkDependences()
|
| /external/llvm-project/mlir/lib/Transforms/ |
| D | MemRefDataFlowOpt.cpp | 115 FlatAffineConstraints dependenceConstraints; in forwardStoreToLoad()
|
| D | LoopFusion.cpp | 806 const FlatAffineConstraints *cst = region.getConstraints(); in createPrivateMemRef()
|
| /external/llvm-project/mlir/include/mlir/Dialect/Affine/IR/ |
| D | AffineOps.h | 33 class FlatAffineConstraints; variable
|
| /external/llvm-project/mlir/docs/Rationale/ |
| D | UsageOfConst.md | 240 FlatAffineConstraints *domain) {
248 FlatAffineConstraints *domain) {
|
| /external/llvm-project/mlir/lib/Analysis/Presburger/ |
| D | Simplex.cpp | 30 Simplex::Simplex(const FlatAffineConstraints &constraints) in Simplex()
455 void Simplex::intersectFlatAffineConstraints(const FlatAffineConstraints &fac) { in intersectFlatAffineConstraints()
|
| /external/llvm-project/mlir/lib/Transforms/Utils/ |
| D | Utils.cpp | 462 FlatAffineConstraints fac(rank, numSymbolicOperands); in normalizeMemRefType()
|
| D | LoopFusionUtils.cpp | 241 FlatAffineConstraints dependenceConstraints; in getMaxLoopDepth()
|
| D | LoopUtils.cpp | 449 FlatAffineConstraints dependenceConstraints; in checkTilingLegalityImpl()
585 FlatAffineConstraints cst; in checkIfHyperRectangular()
2380 const FlatAffineConstraints *cst = region.getConstraints(); in generateCopy()
2936 FlatAffineConstraints cst; in createSeparationCondition()
3017 FlatAffineConstraints cst; in createFullTiles()
|
| /external/llvm-project/mlir/test/Transforms/ |
| D | memref-bound-check.mlir | 204 // bounds errors conservatively due to FlatAffineConstraints::kExplosionFactor.
|
| D | memref-dependence-check.mlir | 639 // represent strided sets in FlatAffineConstraints.
|