update getKnownTripCountBound function name and rename tripCount to minTripCount.

Author: linuxlonelyeagle

mlir/lib/Dialect/Affine/Analysis/LoopAnalysis.cpp

@@ -216,9 +216,8 @@ void mlir::affine::getTripCountMapAndOperands(
 
 /// Take the min if all trip counts are constant.
 static std::optional<uint64_t>
-getConstantTripCountFromAffineMap(AffineMap map,
-                                  SmallVectorImpl<Value> &operands,
-                                  presburger::BoundType type) {
+getKnownTripCountBound(AffineMap map, SmallVectorImpl<Value> &operands,
+                       presburger::BoundType type) {
   std::optional<uint64_t> tripCount;
   for (auto resultExpr : map.getResults()) {
     AffineMap subMap =
@@ -260,8 +259,7 @@ std::optional<uint64_t> mlir::affine::getConstantTripCount(AffineForOp forOp) {
 
   if (!map)
     return std::nullopt;
-  return getConstantTripCountFromAffineMap(map, operands,
-                                           presburger::BoundType::LB);
+  return getKnownTripCountBound(map, operands, presburger::BoundType::LB);
 }
 
 /// Returns the maximum trip count when the operand of forOp has a range. If the
@@ -275,8 +273,7 @@ mlir::affine::getUpperBoundOnTripCount(AffineForOp forOp) {
 
   if (!map)
     return std::nullopt;
-  return getConstantTripCountFromAffineMap(map, operands,
-                                           presburger::BoundType::UB);
+  return getKnownTripCountBound(map, operands, presburger::BoundType::UB);
 }
 
 /// Returns the greatest known integral divisor of the trip count. Affine

mlir/lib/Dialect/Affine/Utils/LoopUtils.cpp

@@ -116,9 +116,10 @@ static void replaceIterArgsAndYieldResults(AffineForOp forOp) {
 /// Promotes the loop body of a forOp to its containing block if the forOp
 /// was known to have a single iteration.
 LogicalResult mlir::affine::promoteIfSingleIteration(AffineForOp forOp) {
-  std::optional<uint64_t> tripCount = getConstantTripCount(forOp);
+  std::optional<uint64_t> minTripCount = getConstantTripCount(forOp);
   std::optional<uint64_t> maxTripCount = getUpperBoundOnTripCount(forOp);
-  if (!tripCount || *tripCount != 1 || !maxTripCount || *maxTripCount != 1)
+  if (!minTripCount || *minTripCount != 1 || !maxTripCount ||
+      *maxTripCount != 1)
     return failure();
 
   // TODO: extend this for arbitrary affine bounds.