[PATCH] D34244: [InstCombine] Fold (!iszero(A & K1) & !iszero(A & K2)) -> (A & (K1 | K2)) == (K1 | K2) if K1 and K2 are a 1-bit mask

[Craig Topper via Phabricator via llvm-commits]

craig.topper created this revision.

This is the demorganed version of the case we already handle for the OR of iszero.


https://reviews.llvm.org/D34244

Files:
  lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  lib/Transforms/InstCombine/InstCombineInternal.h
  test/Transforms/InstCombine/onehot_merge.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34244.102697.patch
Type: text/x-patch
Size: 6907 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170615/9a0d516b/attachment.bin>