diff options
author | Matthias Springer <me@m-sp.org> | 2024-04-04 16:56:31 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-04 16:56:31 +0900 |
commit | d542cb3175f0c5691808b9c50234788c7be1154f (patch) | |
tree | f2fe26d85b8b92f4e1809ba376418fa0a9bcbeab | |
parent | e69cab7f37cf6f35306356cddb26049fd6138df7 (diff) | |
download | llvm-d542cb3175f0c5691808b9c50234788c7be1154f.zip llvm-d542cb3175f0c5691808b9c50234788c7be1154f.tar.gz llvm-d542cb3175f0c5691808b9c50234788c7be1154f.tar.bz2 |
[mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Delete dead code (#86098)
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.
-rw-r--r-- | mlir/lib/Interfaces/ValueBoundsOpInterface.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp b/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp index 99598f2..9a3185d 100644 --- a/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp +++ b/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp @@ -286,18 +286,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)); |