[llvm] [InstCombine] Fold (trunc X to i1) & !iszero(X & Pow2)) -> (X & (1 | Pow2)) == (1 | Pow2) (PR #119196)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> think that I can close this PR as it looks better to move the fold done in foldAndOrOfICmpsOfAndWithPow2 in to foldLogOpOfMaskedICmps and then trunc x to i1 pattern only need to be handled in getMaskedTypeForICmpPair.

Agree.


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