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

Roland Westrelin roland at openjdk.org
Mon Mar 18 17:19:36 UTC 2024


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.

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

Commit messages:
 - fix & test

Changes: https://git.openjdk.org/jdk/pull/18353/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=18353&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8321278
  Stats: 79 lines in 2 files changed: 78 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/18353.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/18353/head:pull/18353

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


More information about the hotspot-compiler-dev mailing list