[PATCH] D34230: [InstCombine] Handle (iszero(A & K1) | iszero(A & K2)) -> (A & (K1 | K2)) != (K1 | K2) when the one of the Ands is commuted relative to the other

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: test/Transforms/InstCombine/onehot_merge.ll:37
 ; Same as above but with operands commuted one of the ands, but not the other.
 ; TODO handle this form correctly
 define i1 @foo1_and_commuted(i32 %k, i32 %c1, i32 %c2) {
----------------
Remove the TODO.


https://reviews.llvm.org/D34230