[llvm] [SCEV] Rework wrap-flag-inference for sext-addrec (PR #217362)

[Nikita Popov via llvm-commits]

================
@@ -1972,7 +1972,7 @@ const SCEV *ScalarEvolution::getSignExtendExprImpl(SCEVUse Op, Type *Ty,
     if (AR->hasNoSignedWrap()) {
       Start = getExtendAddRecStart<SCEVSignExtendExpr>(AR, Ty, this, Depth + 1);
       Step = getSignExtendExpr(Step, Ty, Depth + 1);
-      return getAddRecExpr(Start, Step, L, SCEV::FlagNSW);
+      return getAddRecExpr(Start, Step, L, AR->getNoWrapFlags());
----------------
nikic wrote:

This doesn't really related to the rest, can you submit it separately?

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