|
@@ -6120,8 +6120,8 @@ bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred,
|
|
|
getTypeSizeInBits(ICI->getOperand(0)->getType()))
|
|
|
return false;
|
|
|
|
|
|
- // Now that we found a conditional branch that dominates the loop, check to
|
|
|
- // see if it is the comparison we are looking for.
|
|
|
+ // Now that we found a conditional branch that dominates the loop or controls
|
|
|
+ // the loop latch. Check to see if it is the comparison we are looking for.
|
|
|
ICmpInst::Predicate FoundPred;
|
|
|
if (Inverse)
|
|
|
FoundPred = ICI->getInversePredicate();
|