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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Could you please update the alive2 proof in the PR description? Otherwise this looks good to me.

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