[PATCH] D36505: [InstCombine] Make (X|C1)^C2 -> X^(C1^C2) iff X&~C1 == 0 work for splat vectors
Craig Topper via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 8 22:12:31 PDT 2017
craig.topper created this revision.
This also corrects the description to match what was actually implemented. The old comment said X^(C1|C2), but it implemented X^((C1|C2)&~(C1&C2)). I believe ((C1|C2)&~(C1&C2)) is equivalent to (C1^C2).
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 4891 bytes
Desc: not available
More information about the llvm-commits