RFR(S): 8202950: C2: assert(found_sfpt) failed: no node in loop that's not input to safepoint
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the hotspot-compiler-dev