[Bug tree-optimization/46639] [4.6 Regression] Missing optimization

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-24 16:17:02 UTC ---
Well, scheduling one VRP pass could be expensive though and only VRP and DOM
are currently able to optimize these redundant tests away.

Perhaps if for the body of partially inlined functions we kept somewhere the
inlined test or at least its VRP properties, so that VRP pass could use them...

I wonder why in this case partial inlining does something, shouldn't
x > 1023 be predicted with the default predictors unlikely (thus the body be
likely)?