[llvm] 7637817 - [SCEV] Fix wrap-flags typo in sext-addrec (#217927)

[via llvm-commits]

Author: Ramkumar Ramachandra
Date: 2026-08-21T18:01:36+01:00
New Revision: 7637817aae4974c4f65cdeaa8a1109aeb7016949

URL: https://github.com/llvm/llvm-project/commit/7637817aae4974c4f65cdeaa8a1109aeb7016949
DIFF: https://github.com/llvm/llvm-project/commit/7637817aae4974c4f65cdeaa8a1109aeb7016949.diff

LOG: [SCEV] Fix wrap-flags typo in sext-addrec (#217927)

The change is obviously correct, but is very difficult to test.

Proof sketch: https://alive2.llvm.org/ce/z/Tj9Z-c

Added: 
    

Modified: 
    llvm/lib/Analysis/ScalarEvolution.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index ebd58c825faa5..6095f59ec1413 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -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());
     }
   }