[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 llvm-commits at lists.llvm.org
Mon Nov 2 00:22:51 PST 2015

Next message: [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.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

majnemer added a comment.

Both transforms are correct, what is the specific rationale behind this change?


http://reviews.llvm.org/D14223

Next message: [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.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list