[Bug tree-optimization/52267] a&~N where N has all the bits set up till a specific point can be folded to ((unsigned)a) < N

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-09 
17:52:47 UTC ---
Created attachment 26867
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26867
gcc48-pr52267.patch

Unfinished, WIP, patch.  Will continue working on this next week.
On top of the two VRP patches I've posted today to gcc-patches.