diff options
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp index 6d85245c33a..79004ddba18 100644 --- a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp +++ b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp @@ -925,11 +925,12 @@ LoopStructure::parseLoopStructure(ScalarEvolution &SE, return None; } const SCEV* StepRec = IndVarBase->getStepRecurrence(SE); - ConstantInt *StepCI = dyn_cast<SCEVConstant>(StepRec)->getValue(); - if (!StepCI) { + if (!isa<SCEVConstant>(StepRec)) { FailureReason = "LHS in icmp not induction variable"; return None; } + ConstantInt *StepCI = cast<SCEVConstant>(StepRec)->getValue(); + if (ICI->isEquality() && !HasNoSignedWrap(IndVarBase)) { FailureReason = "LHS in icmp needs nsw for equality predicates"; return None; |

