[llvm] [DependenceAnalysis] Fix incorrect analysis of wrapping AddRec expressions (PR #154982)

Sebastian Pop via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 25 06:54:57 PDT 2025


================
@@ -1337,6 +1337,12 @@ class ScalarEvolution {
   /// sharpen it.
   LLVM_ABI void setNoWrapFlags(SCEVAddRecExpr *AddRec, SCEV::NoWrapFlags Flags);
 
+  /// Check if this AddRec expression may wrap, making it non-affine.
----------------
sebpop wrote:

@kasuga-fj, I don't understand your message here.
Do you mean replacing "making AddRec non-affine" with something else?

I did drop ", making it non-affine" in my local git and pushed the new version for review.

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


More information about the llvm-commits mailing list