Integrated: 8314233: C2: assert(assertion_predicate_has_loop_opaque_node(iff)) failed: unexpected

[Christian Hagedorn]

On Tue, 15 Aug 2023 13:42:48 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

> In the testcase, we try to initialize Assertion Predicates from the templates which have an `Opaque4` node. However, the code finds an unrelated `Opaque4` node added by an intrinsic. This, obviously, will not guard any `OpaqueLoop*` nodes required for Template Assertion Predicates and we fail with the assertion.
> 
> While splitting some changes away from the main fix of [JDK-8288981](https://bugs.openjdk.org/browse/JDK-8288981) for [JDK-8305636](https://bugs.openjdk.org/browse/JDK-8305636), I wrongly removed the check in loop peeling if an `Opaque4` node belongs to an `If` that also shares the uncommon trap with the Parse Predicate (this is not required in the main fix anymore because Template Assertion Predicates will always only have `HaltNodes` - but optimizing this here is wrong/too early).
> 
> The fix re-establishes the check for the uncommon trap.
> 
> Thanks,
> Christian

This pull request has now been integrated.

Changeset: 0b12480d
Author:    Christian Hagedorn <chagedorn at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0b12480de88dc1d2a8d7ca3aa2597be3df1ebde1
Stats:     69 lines in 2 files changed: 68 ins; 1 del; 0 mod

8314233: C2: assert(assertion_predicate_has_loop_opaque_node(iff)) failed: unexpected

Reviewed-by: thartmann, kvn

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

PR: https://git.openjdk.org/jdk/pull/15290