RFR(S): 8202950: C2: assert(found_sfpt) failed: no node in loop that's not input to safepoint

Roland Westrelin rwestrel at redhat.com
Fri May 18 09:39:14 UTC 2018

Hi Vladimir,

Thanks for looking at this.

> Why In first place an outside Load node has control to inner mined loop?
> Was control set incorrect early?

The Load is from an array load. Control is initially set to a range
check out of the loop. Then a dominating range check is found and the
dominated range check is optimized out. That dominating range check
happens to be in a loop. Then the dominating range check is proven to be
useless and is optimized out as well. The Load ends up with control set
to the loop header.


More information about the hotspot-compiler-dev mailing list