Integrated: 8270886: Crash in PhaseIdealLoop::verify_strip_mined_scheduling

[Roland Westrelin]

On Tue, 27 Jul 2021 14:07:40 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The crash occurs because an OuterStripMinedLoopEnd has only a single
> projection. The root cause is that an IfNode has a single
> projection. When the condition of that If constant folds, the IfNode
> ends up with no use which causes it to be removed. The
> OuterStripMinedLoopEnd projection is removed as a consequence.
> 
> When the If is constructed, it does have 2 projections. One of the
> projections lead to an infinite loop. That infinite loop has a
> safepoint node that's input to the Root node. When
> remove_root_to_sfpts_edges() executes in Compile::Optimize(), that
> edge is removed. But because PhaseRenumberLive runs next (a subclass
> of PhaseRemoveUseless), the infinite loop is removed.
> 
> The fix is to simply move the call to remove_root_to_sfpts_edges()
> after PhaseRemoveUseless.

This pull request has now been integrated.

Changeset: 6afcf5f5
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/6afcf5f5a243be10e2ec61229819c298ccce3267
Stats:     175 lines in 2 files changed: 171 ins; 4 del; 0 mod

8270886: Crash in PhaseIdealLoop::verify_strip_mined_scheduling

Reviewed-by: kvn, thartmann

-------------

PR: https://git.openjdk.java.net/jdk/pull/4911