| /llvm-project-15.0.7/mlir/lib/Dialect/SCF/Utils/ |
| H A D | AffineCanonicalizationUtils.cpp | 53 return constraints.addBound(type, pos, alignedMap); in alignAndAddBound()
139 if (failed(constraints.addBound(IntegerPolyhedron::EQ, dimOpBound, in canonicalizeMinMaxOp()
224 constraints.addBound(IntegerPolyhedron::EQ, dimLb, *lbInt); in addLoopRangeConstraints()
226 constraints.addBound(IntegerPolyhedron::EQ, dimUb, *ubInt); in addLoopRangeConstraints()
255 return constraints.addBound(IntegerPolyhedron::UB, dimIv, map); in addLoopRangeConstraints()
328 constraints.addBound(IntegerPolyhedron::EQ, 1, *constUb); in rewritePeeledMinMaxOp()
330 constraints.addBound(IntegerPolyhedron::EQ, 2, *constStep); in rewritePeeledMinMaxOp()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 217 if (failed(res.addBound(BoundType::LB, ivIdx, lb))) in getHyperrectangular()
222 if (failed(res.addBound(BoundType::UB, ivIdx, ub))) in getHyperrectangular()
589 addBound(BoundType::EQ, val, constOp.value()); in addInductionVarOrTerminalSymbol()
627 addBound(BoundType::LB, pos, forOp.getConstantLowerBound()); in addAffineForOpDomain()
636 addBound(BoundType::UB, pos, forOp.getConstantUpperBound() - 1); in addAffineForOpDomain()
640 return addBound(BoundType::UB, pos, forOp.getUpperBoundMap(), in addAffineForOpDomain()
1274 return addBound(type, pos, computeAlignedMap(map, operands)); in addBound()
1306 if (failed(addBound(BoundType::EQ, pos, lbMap, operands))) in addSliceBounds()
1316 if (failed(addBound(BoundType::LB, pos, lbMap, operands))) in addSliceBounds()
1318 if (failed(addBound(BoundType::UB, pos, ubMap, operands))) in addSliceBounds()
[all …]
|
| H A D | Utils.cpp | 103 cst->addBound(FlatAffineValueConstraints::EQ, value, cOp.value()); in getAsConstraints()
362 cstWithShapeBounds.addBound(FlatAffineValueConstraints::LB, r, 0); in getConstantBoundingSizeAndShape()
366 cstWithShapeBounds.addBound(FlatAffineValueConstraints::UB, r, dimSize - 1); in getConstantBoundingSizeAndShape()
523 cst.addBound(FlatAffineValueConstraints::EQ, symbol, constOp.value()); in compute()
588 cst.addBound(FlatAffineValueConstraints::LB, /*pos=*/r, /*value=*/0); in compute()
591 cst.addBound(FlatAffineValueConstraints::UB, /*pos=*/r, in compute()
692 ucst.addBound(FlatAffineValueConstraints::LB, r, dimSize); in boundCheckLoadOrStoreOp()
703 lcst.addBound(FlatAffineValueConstraints::UB, r, -1); in boundCheckLoadOrStoreOp()
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.h | 177 LogicalResult addBound(BoundType type, unsigned pos, AffineMap boundMap,
188 LogicalResult addBound(BoundType type, unsigned pos, AffineMap boundMap);
195 LogicalResult addBound(BoundType type, unsigned pos, AffineMap boundMap,
199 void addBound(BoundType type, Value val, int64_t value);
203 using IntegerPolyhedron::addBound;
|
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | PWMAFunction.cpp | 329 levelSet.addBound(IntegerPolyhedron::BoundType::UB, subExpr, -1); in tiebreakLex()
335 levelSet.addBound(IntegerPolyhedron::BoundType::LB, subExpr, 1); in tiebreakLex()
|
| H A D | IntegerRelation.cpp | 1284 void IntegerRelation::addBound(BoundType type, unsigned pos, int64_t value) { in addBound() function in IntegerRelation
1298 void IntegerRelation::addBound(BoundType type, ArrayRef<int64_t> expr, in addBound() function in IntegerRelation
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | IntegerRelation.h | 370 void addBound(BoundType type, unsigned pos, int64_t value);
373 void addBound(BoundType type, ArrayRef<int64_t> expr, int64_t value);
|
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerPolyhedronTest.cpp | 578 poly.addBound(IntegerPolyhedron::UB, 0, 1); in TEST()
583 poly.addBound(IntegerPolyhedron::UB, {1, 2, 3}, 1); in TEST()
591 poly.addBound(IntegerPolyhedron::LB, 0, 1); in TEST()
596 poly.addBound(IntegerPolyhedron::LB, {1, 2, 3}, 1); in TEST()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Linalg/Utils/ |
| H A D | Utils.cpp | 271 if (failed(constraints.addBound(IntegerPolyhedron::EQ, in getUpperBoundForIndex()
280 if (failed(constraints.addBound(IntegerPolyhedron::UB, in getUpperBoundForIndex()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/ |
| H A D | Utils.cpp | 1768 fac.addBound(IntegerPolyhedron::LB, d, 0); in normalizeMemRefType()
1769 fac.addBound(IntegerPolyhedron::UB, d, shape[d] - 1); in normalizeMemRefType()
|
| H A D | LoopUtils.cpp | 2362 regionCst->addBound(IntegerPolyhedron::LB, d, 0); in getFullMemRefAsRegion()
2363 regionCst->addBound(IntegerPolyhedron::UB, d, dimSize - 1); in getFullMemRefAsRegion()
|