[llvm] [InstCombine] Fold (X==Z) ? (Y==Z) : (!(Y==Z) && X==Y) --> X==Y (PR #108619)

[via llvm-commits]

goldsteinn wrote:

This could (but doesn't) work for cases where the compare ops are inverted for example:
https://alive2.llvm.org/ce/z/6BD9mt

Since this is motivated by a pretty specific case where we always get equal expressions I'm not sure this is an issue worth fixing given the extra code complexity required to do so.

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