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

Vladimir Kozlov vladimir.kozlov at oracle.com
Fri May 18 15:26:29 UTC 2018

Good. Thank you for explaining.
Last question: why you check IgnoreStripMined?

Why is_strip_minned() check is not enough?


> On May 18, 2018, at 2:39 AM, Roland Westrelin <rwestrel at redhat.com> wrote:
> 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.
> Roland.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20180518/046577d1/attachment.html>

More information about the hotspot-compiler-dev mailing list