RFR: 8263227: C2: inconsistent spilling due to dead nodes in exception block

Thu Apr 8 11:07:07 UTC 2021

On Tue, 6 Apr 2021 17:58:36 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

> Also where is guarantee that all Proj users are in the same block.

Isn't this guaranteed by `PhaseCFG::schedule_node_into_block()`?

https://github.com/openjdk/jdk/blob/ec599da68cac6349e7f28b508d8038c18a4e7347/src/hotspot/share/opto/gcm.cpp#L48-L72

I will run some tests with extra assertions in `PhaseCFG::verify()` to double-check.

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

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