[llvm] [InstCombine] Optimise the expression `(C && A) || (!C && B)` with `FoldOrOfLogicalAnds` (PR #178438)

[Andreas Jonson via llvm-commits]

https://github.com/andjo403 commented:

generic proofs are missing from the PR description see https://llvm.org/docs/InstCombineContributorGuide.html#proofs

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