Safepoints at backward branches in c2

Tom Rodriguez Thomas.Rodriguez at Sun.COM
Mon May 12 11:29:39 PDT 2008

That's correct.  There are also various optimizations that later remove 
redundant ones to reduce the overhead.


Jonathan Springer wrote:
> Gary Benson wrote:
>> Hi all,
>> I've been looking through the c2 code and I noticed that safepoint
>> checks are inserted before backward branches but not forward branches.
>> Why is this?
> I believe that safepoints should be executed within a bounded amount
> of computation.  Placing them at all backwards branches (and calls)
> guarantees that there are no loops without at least one safepoint.
> Regards,
> -Jonathan

More information about the hotspot-compiler-dev mailing list