[llvm] [ConstraintElim] Handle (X | Y) >=s 0 as X >=s 0 && Y >=s 0. (PR #209743)

[Nikita Popov via llvm-commits]

nikic wrote:

> Alive2 Proof: https://alive2.llvm.org/ce/z/ACu4gs

Has an unnecessary disjoint.


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