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

[Vladimir Kozlov]

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

Why is_strip_minned() check is not enough?

Thanks
Vladimir

> 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>