[jdk11u-dev] Integrated: 8275330: C2: assert(n->is_Root() || n->is_Region() || n->is_Phi() || n->is_MachMerge() || def_block->dominates(block)) failed: uses must be dominated by definitions

[Roland Westrelin]

On Tue, 5 Apr 2022 11:58:31 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> Id like to backport this because:
> - it helps for the backport of 8280799 (С2: assert(false) failed: cyclic dependency prevents range check elimination) that we've encountered with 11
> - while I can't reproduce the failure with 11, I see no reason the bug wouldn't exit in 11 as well (so not critical for 11 but nice to have)
> 
> The patch doesn't apply cleanly. Part of it is due to context changes. The rest is the changes in macro.cpp and opaquenode.[ch]pp that I dropped: the reason for this group of changes was to delay removal of Opaque4 nodes but 11 doesn't have the same logic as later releases and already removes Opaque4 nodes as late as possible.
> 
> I tested this with tier1 and some compile the world/fuzzer tests.

This pull request has now been integrated.

Changeset: 4741ab5a
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk11u-dev/commit/4741ab5ac0f5e3388fc38285655cff4af58f9cec
Stats:     152 lines in 5 files changed: 118 ins; 2 del; 32 mod

8275330: C2:  assert(n->is_Root() || n->is_Region() || n->is_Phi() || n->is_MachMerge() || def_block->dominates(block)) failed: uses must be dominated by definitions

Reviewed-by: mdoerr
Backport-of: 3e798dd40c68439f3220445e679b9e0e495435d8

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

PR: https://git.openjdk.java.net/jdk11u-dev/pull/1002