[llvm-branch-commits] [llvm] [SCEV] Derive x >=s 0 from x <u y and y <=u 2^(n-1) (PR #231631)

[Max Kazantsev via llvm-branch-commits]

================
@@ -715,6 +700,7 @@ exit:
 }
 
 ; If x <u y and y <u INT_MAX, then x >=s 0, which implies x + 1 >=s 1.
+; TODO: fold the exit.
----------------
xortator wrote:

?

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