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

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:



>>    Alive2 Proof: https://alive2.llvm.org/ce/z/ACu4gs
>
> Has an unnecessary disjoint.

Yep, will update, thanks

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