[Bug middle-end/63568] Missed optimization (a & ~mask) | (b & mask) = a ^ ((a ^ b) & mask)

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63568

--- Comment #9 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Wed Dec 17 11:48:33 2014
New Revision: 218816

URL: https://gcc.gnu.org/viewcvs?rev=218816&root=gcc&view=rev
Log:
    PR middle-end/63568
    * match.pd: Add (x & ~m) | (y & m) -> ((x ^ y) & m) ^ x pattern.

    * gcc.dg/pr63568.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr63568.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog