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

[Vladimir Kozlov]

On Thu, 8 Apr 2021 11:04:00 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote:

>> Also where is guarantee that all Proj users are in the same block.
>
>> 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.

> > Also where is guarantee that all Proj users are in the same block.
> 
> Isn't this guaranteed by `PhaseCFG::schedule_node_into_block()`?
> 
> 
> I will run some tests with extra assertions in `PhaseCFG::verify()` to double-check.

Okay.

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

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