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 <apin...@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 <apin...@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