[Bug tree-optimization/33512] Simple bitwise simplification missed

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33512

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-04-24 07:05:15 UTC ---
Author: pinskia
Date: Tue Apr 24 07:05:09 2012
New Revision: 186749

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186749
Log:

2012-04-24  Andrew Pinski  <apinski@cavium.com>

    PR tree-opt/33512
    * tree-ssa-forwprop.c (defcodefor_name): New function.
    (simplify_bitwise_binary): Use defcodefor_name instead of manually
    Simplify "( X | Y) & X" to X and "( X & Y) | X" to X.
    Simplify "(~X | Y) & X" to "X & Y" and
    "(~X & Y) | X" to "X | Y".

2012-04-24  Andrew Pinski  <apinski@cavium.com>

    PR tree-opt/33512
    * gcc.dg/tree-ssa/andor-3.c: New testcase.
    * gcc.dg/tree-ssa/andor-4.c: New testcase.
    * gcc.dg/tree-ssa/andor-5.c: New testcase.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/andor-3.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/andor-4.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/andor-5.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c