Graal final field treatment with respect to optimizations

[John Rose]

On Apr 27, 2015, at 11:35 AM, Tom Rodriguez <tom.rodriguez at oracle.com> wrote:
> 
> Type profiling and other speculative optimizations often pick up the interesting things here and maybe that’s what John was getting at with suggesting field profiling.

Yep.  I think global (class-scope) analysis is what Vitaly is asking about, but as you point out (thanks!) local analysis after inlining gets nearly all of the good bits there.  The next technique that adds to local analysis is not global analysis but various profile-driven speculations.  Global stuff is easy to think about but seems never to add much.  Exception:  Whole-program static analysis sometimes has dramatic results.  But most Java programs are hostile to whole-program stuff.

— John