[llvm] SCEV/test: cover implied-via-addition (PR #123082)

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,111 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5
+; RUN: opt < %s -disable-output -passes="print<scalar-evolution>" \
+; RUN:   -scalar-evolution-classify-expressions=0 2>&1 | FileCheck %s
+
+define void @implied1(i32 %n) {
+; Prove that (n > 1) ===> (n - 1 > 0).
----------------
fhahn wrote:

might be good to clarify  this is for signed? same for the others
```suggestion
; Prove that (n s> 1) ===> (n - 1 s> 0).
```

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