[llvm] [SCEV] Introduce IncrementNSUW, replacing NSSW (PR #219559)

[David Sherwood via llvm-commits]

================
@@ -687,93 +685,61 @@ define i32 @reverse_load_with_bounded(ptr %A, ptr %B, i32 %N) {
 ; CHECK:       [[VECTOR_SCEVCHECK]]:
 ; CHECK-NEXT:    [[TMP0:%.*]] = add i32 [[N]], -1
 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp ugt i32 [[TMP0]], 3
-; CHECK-NEXT:    [[TMP2:%.*]] = icmp sgt i32 1, [[N]]
----------------
david-arm wrote:

Surely the original IR was checking 1 < N?

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