[mlir][Interfaces][NFC] ValueBoundsConstraintSet: Delete dead code

[matthias-springer]

There is an assertion that the stop condition is not satisfied for the the starting point at the beginning of computeBound. Therefore, that case does not have to be handled later on in that function.

[llvmbot]

@llvm/pr-subscribers-mlir

Author: Matthias Springer (matthias-springer)

Changes

There is an assertion that the stop condition is not satisfied for the the starting point at the beginning of computeBound. Therefore, that case does not have to be handled later on in that function.

---

Full diff: https://github.com/llvm/llvm-project/pull/86098.diff

1 Files Affected:

• (modified) mlir/lib/Interfaces/ValueBoundsOpInterface.cpp (-12)

diff --git a/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp b/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
index 02af3a83166dfb..f2f732f3a21d25 100644
--- a/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
+++ b/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
@@ -321,18 +321,6 @@ LogicalResult ValueBoundsConstraintSet::computeBound(
   Builder b(value.getContext());
   mapOperands.clear();
 
-  if (stopCondition(value, dim)) {
-    // Special case: If the stop condition is satisfied for the input
-    // value/dimension, directly return it.
-    mapOperands.push_back(std::make_pair(value, dim));
-    AffineExpr bound = b.getAffineDimExpr(0);
-    if (type == BoundType::UB)
-      bound = bound + ubAdjustment;
-    resultMap = AffineMap::get(/*dimCount=*/1, /*symbolCount=*/0,
-                               b.getAffineDimExpr(0));
-    return success();
-  }
-
   // Process the backward slice of `value` (i.e., reverse use-def chain) until
   // `stopCondition` is met.
   ValueDim valueDim = std::make_pair(value, dim.value_or(kIndexValue));

[MacDue]

LGTM 👍