[ValueTracking] Test for ephemeral issues #90206. (NFC)

Author: andjo403

llvm/test/Transforms/CorrelatedValuePropagation/add.ll

@@ -562,6 +562,20 @@ join:
   ret i32 %add
 }
 
+; todo do not remove the assume condition
+define i32 @issue90206(i32 noundef %x) {
+; CHECK-LABEL: define range(i32 0, -2147483648) i32 @issue90206(
+; CHECK-SAME: i32 noundef [[X:%.*]]) {
+; CHECK-NEXT:    [[R:%.*]] = add i32 [[X]], -1
+; CHECK-NEXT:    tail call void @llvm.assume(i1 true)
+; CHECK-NEXT:    ret i32 [[R]]
+;
+  %r = add i32 %x, -1
+  %17 = icmp sgt i32 %r, -1
+  tail call void @llvm.assume(i1 %17)
+  ret i32 %r
+}
+
 ;.
 ; CHECK: [[RNG0]] = !{i32 0, i32 2147483647}
 ;.