[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]

================
@@ -670,6 +654,7 @@ exit:
 
 ; If x <u y and y <u 1000, then x >=s 0. Here y <u 1000 is known only from
 ; a dominating guard.
+; TODO: fold the exit.
----------------
xortator wrote:

?

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