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

[Ryotaro Kasuga via llvm-commits]

================
@@ -6439,8 +6439,129 @@ void ScalarEvolution::setNoWrapFlags(SCEVAddRecExpr *AddRec,
   }
 }
 
-ConstantRange ScalarEvolution::
-getRangeForUnknownRecurrence(const SCEVUnknown *U) {
+std::optional<bool>
+ScalarEvolution::mayAddRecWrap(const SCEVAddRecExpr *AddRec) {
----------------
kasuga-fj wrote:

As for SCEV side, it's basically as already pointed out. Regarding DA, as I mentioned in another reply, NW is insufficient.

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