[Bug middle-end/23664] fold does not change (a&C1)+(b&C2) to (a&C1)|(b&C2) iff (C1 & C2) == 0

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |pinskia at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-15 03:57:17 UTC ---
I am going to add this one, it is an easy change now with the infrastructure
which I am about to add to the treecombine branch (a git only branch).
This can be done for PLUS_EXPR if both sides have no nonzero bits in common.