[llvm] [InstCombine] fold `(a == 1 && b != 0) || (a != 0 && b == 0))` to `(a ==0) != (b == 0)` (PR #94915)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

@zjaffal @pskrgag 
Does this pattern exist in some real-world applications? Can we generalize it into `(A & B) | (!A & !B) -> A == B`?


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