[llvm] [LAA] Collect no-wrap predicates separately in getPtrStride/isNoWrap. (PR #203787)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 16 12:51:30 PDT 2026


================
@@ -1066,8 +1069,12 @@ static bool isNoWrap(PredicatedScalarEvolution &PSE, const SCEVAddRecExpr *AR,
       return true;
   }
 
-  if (Ptr && Assume) {
-    PSE.setNoOverflow(Ptr, SCEVWrapPredicate::IncrementNUSW);
+  if (Ptr && Predicates) {
+    ScalarEvolution *SE = PSE.getSE();
+    SCEVWrapPredicate::IncrementWrapFlags Flags = SCEVWrapPredicate::clearFlags(
+        SCEVWrapPredicate::IncrementNUSW,
+        SCEVWrapPredicate::getImpliedFlags(AR, *SE));
----------------
fhahn wrote:

done thanks

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


More information about the llvm-commits mailing list