[Bug tree-optimization/52254] VRP does not fold (~a) & N to a ^ N if a has range [0, N]

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |missed-optimization
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-02-15
         AssignedTo|unassigned at gcc dot       |pinskia at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-15 
00:23:42 UTC ---
I am going to work on this with my combine patches, I am thinking about
allowing VRP to supply a range to the combine stage and we should be able to
use that info to do the folding there (in a more common place too).