[PATCH] D14223: Do (A == C1 || A == C2) -> (A & ~(C1 ^ C2)) == C1 rather than (A == C1 || A == C2) -> (A | (C1 ^ C2)) == C2 when C1 ^ C2 is a power of 2.

[David Majnemer via llvm-commits]

majnemer accepted this revision.
majnemer added a comment.
This revision is now accepted and ready to land.

In http://reviews.llvm.org/D14223#278790, @deadalnix wrote:

> I get a power of 2 as a constant rather than something full of ones, which lead to more compact codegen in some cases (depending on how the target encode constant in the instruction stream).


LGTM


http://reviews.llvm.org/D14223