[llvm] [InstCombine] Fold comparisons contradicted by dominating expression conditions (PR #227030)

[via llvm-commits]

================

----------------
Lasuac-SG wrote:

Thanks! this is cleaner. I moved the expression case into handleDomCond and generalized the dominating condition match to capture DomX, while keeping the expression-based fold restricted to equality comparisons.

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