[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.

[Amaury SECHET via llvm-commits]

deadalnix added a comment.

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).


http://reviews.llvm.org/D14223