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 Wed, 17 Nov 2021 12:16:32 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> This is similar to previous bugs where:
> 
> - a cast/conv node captures a narrow type in a loop body because of a
>   range check,
> 
> - the range check is optimized out of the loop, pre/main/post loop are
>   created
> 
> - overunrolling causes the main loop to become unreachable (the range
>   check, if still in the main loop, would fail), the cast transforms to
>   top but c2 can't optimize the loop out
> 
> This was fixed by adding predicates above the main loop. With this
> particular bug, the cast node is in the post loop. The fix I propose
> is to also add predicates above the post loop. There are a few
> locations in the code that cause a post loop to be added: either the
> initial post loop or some other post loops for vectorization
> support. I think the new predicates are needed in a all cases. To be
> able to add predicates at these different points in the optimization
> process, the new predicates are copied from the main loop predicates.
> 
> I also delayed folding of Opaque4 nodes to macro expansion rather than
> post loop opts igvn. The reason for that is that I believe there's a
> risk that an Opaque4 is removed (that is replaced by its input 2)
> before its input 1 has a chance to constant fold. That wouldn't happen
> with a debug build because we leave the tests in (that is replace the
> Opaque4 node by its input 1) so that corner case is not properly
> tested currently. The reason for leaving the tests in was to sanity
> check that the tests are indeed correct.

This pull request has now been integrated.

Changeset: 3e798dd4
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/3e798dd40c68439f3220445e679b9e0e495435d8
Stats:     190 lines in 8 files changed: 135 ins; 22 del; 33 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: thartmann, chagedorn

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

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