RFR: 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

[Tobias Hartmann]

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.

That looks good to me.

src/hotspot/share/opto/loopTransform.cpp line 1997:

> 1995:                                                                    post_loop, prev_proj);
> 1996:         assert(!skeleton_predicate_has_opaque(prev_proj->in(0)->as_If()), "unexpected");
> 1997:       }

Intendation is wrong.

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

Marked as reviewed by thartmann (Reviewer).

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