[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
----------------------------------------------------------------------------
  Attachment #26867|0                           |1
        is obsolete|                            |

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 
17:51:48 UTC ---
Created attachment 26885
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26885
gcc48-pr52267.patch

Updated patch.  This now passes the testcases (and has two of them, one that
tests whether we optimize as much as we want, the other that we don't
misoptimize), but I'd still like to write more tests tomorrow.