[llvm] [ConstraintElim] Extend `checkOrAndOpImpliedByOther` to handle and/or expr trees. (PR #117123)

[Nikita Popov via llvm-commits]

nikic wrote:

@regehr You can see the impact on real-world code at https://github.com/dtcxzyw/llvm-opt-benchmark/pull/1735.

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