Home
last modified time | relevance | path

Searched refs:ubConst (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp746 int64_t lbConst, int64_t ubConst, in detectAsMod() argument
753 if (lbConst != 0 || ubConst < 1) in detectAsMod()
755 int64_t divisor = ubConst + 1; in detectAsMod()
1010 auto ubConst = getConstantBound(BoundType::UB, pos); in getSliceBounds() local
1011 if (lbConst.has_value() && ubConst.has_value()) { in getSliceBounds()
1013 if (lbConst.value() == ubConst.value()) { in getSliceBounds()
1021 if (detectAsMod(*this, pos, lbConst.value(), ubConst.value(), memo, in getSliceBounds()
1131 auto ubConst = getConstantBound(BoundType::UB, pos + offset); in getSliceBounds() local
1132 if (ubConst.has_value()) { in getSliceBounds()
1135 getAffineConstantExpr(ubConst.value() + ubAdjustment, context)); in getSliceBounds()
H A DAffineAnalysis.cpp448 auto ubConst = dependenceDomain->getConstantBound(IntegerPolyhedron::UB, j); in computeDirectionVector() local
450 ubConst.value_or(std::numeric_limits<int64_t>::max()); in computeDirectionVector()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/
H A DUtils.cpp1791 auto ubConst = fac.getConstantBound(IntegerPolyhedron::UB, d); in normalizeMemRefType() local
1794 assert(ubConst && "should always have an upper bound"); in normalizeMemRefType()
1795 if (ubConst.value() < 0) in normalizeMemRefType()
1799 newShape[d] = ubConst.value() + 1; in normalizeMemRefType()
/llvm-project-15.0.7/mlir/lib/Dialect/Linalg/Utils/
H A DUtils.cpp291 auto ubConst = constraints.getConstantBound( in getUpperBoundForIndex() local
293 if (!ubConst) in getUpperBoundForIndex()
296 boundMap = AffineMap::getConstantMap(*ubConst, value.getContext()); in getUpperBoundForIndex()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/IR/
H A DAffineOps.cpp2210 auto ubConst = ub.getDefiningOp<arith::ConstantIndexOp>(); in buildAffineLoopFromValues() local
2211 if (lbConst && ubConst) in buildAffineLoopFromValues()
2213 ubConst.value(), step, bodyBuilderFn); in buildAffineLoopFromValues()