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

[Antonio Frighetto via llvm-commits]

https://github.com/antoniofrighetto approved this pull request.

LG, assuming no interesting compile-time.

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