[RFC/RFT] Patch (java): Switch to new verifier

[Richard Henderson]

On Tue, Mar 08, 2005 at 11:21:58AM +0000, Andrew Haley wrote:
> The problem with volatile is that
> we'll de-optimize things of the form
> 
> for (blah)
>   baz += a.b;
> 
> because we'll fetch a.b from memory every time around the loop.  It
> would be nice automagically to convert this to
> 
> tmp = a.b;
> for (blah)
>   baz += tmp;
> 
> but I'm having a hard time figuring out how to do so.

Me too.  Similarly

  baz += a.b + a.c

only one of which in reality can trap.


r~