[llvm] [DA] Ensure nsw flag is checked for StrongSIV addrecs (PR #178047)

[Ryotaro Kasuga via llvm-commits]

================
@@ -179,150 +179,14 @@ for.end:
 }
 
 
+
 ; Tests for(i) { sum = A[i]; for(j) sum += B[j]; A[i] = sum; }
 ; A[i] load/store dependency should not block unroll-and-jam
+; We fail to catch the opportunity in this loop after PR #178047.
+; Improvements in DA might be possible to be able to catch this again.
 define void @test2(i32 %I, i32 %E, ptr noalias nocapture %A, ptr noalias nocapture readonly %B) #0 {
 ; CHECK-LABEL: define void @test2(
 ; CHECK-SAME: i32 [[I:%.*]], i32 [[E:%.*]], ptr noalias captures(none) [[A:%.*]], ptr noalias readonly captures(none) [[B:%.*]]) {
-; CHECK-NEXT:  [[ENTRY:.*:]]
----------------
kasuga-fj wrote:

Don't modify auto-generated CHECKs by hand.

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