[llvm] [indvars] Support known positive extends in getExtendedOperandRecurrence (PR #70990)

[Philip Reames via llvm-commits]

================
@@ -1384,7 +1384,22 @@ WidenIV::getExtendedOperandRecurrence(WidenIV::NarrowIVDefUse DU) {
   else if (ExtKind == ExtendKind::Zero && OBO->hasNoUnsignedWrap())
     ExtendOperExpr = SE->getZeroExtendExpr(
       SE->getSCEV(DU.NarrowUse->getOperand(ExtendOperIdx)), WideType);
-  else
+  else if (DU.NeverNegative) {
----------------
preames wrote:

Done post commit in 7c93452e174dd182c36471bc1e8272f26c0ae6db

https://github.com/llvm/llvm-project/pull/70990