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

[John Regehr via llvm-commits]

regehr wrote:

thanks for doing this compile-time study! that would have been my main worry. did you happen to check if this makes constraint elimination fire more in practice? do we have benchmarks (with UBSan turned on for example) that contain extensive opportunities for constraint elimination?

of course it's not a substitute for testing, but my ongoing search for missed optimizations is also a bug hunt, though it's probably the case that purpose-built fuzzers are better at that job.

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