Integrated: 8321278: C2: Partial peeling fails with assert "last_peel <- first_not_peeled"

Roland Westrelin roland at openjdk.org
Mon Mar 25 13:48:29 UTC 2024


On Mon, 18 Mar 2024 17:15:38 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The assert fails because peeling happens at a single entry
> `Region`. That `Region` only has a single input because other inputs
> were found unreachable and removed by
> `PhaseIdealLoop::Dominators()`. The fix I propose is to have
> `PhaseIdealLoop::Dominators()` remove the `Region` and its `Phi`s
> entirely in this case.

This pull request has now been integrated.

Changeset: af15c68f
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/af15c68f3ccb72537b0a60d942f12d600f13ebb6
Stats:     82 lines in 2 files changed: 81 ins; 0 del; 1 mod

8321278: C2: Partial peeling fails with assert "last_peel <- first_not_peeled"

Reviewed-by: chagedorn, thartmann

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

PR: https://git.openjdk.org/jdk/pull/18353


More information about the hotspot-compiler-dev mailing list