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

[Dmitry Makogon via llvm-branch-commits]

https://github.com/d-makogon stacked https://github.com/llvm/llvm-project/pull/231631