Integrated: 8335709: C2: assert(!loop->is_member(get_loop(useblock))) failed: must be outside loop

[Roland Westrelin]

On Thu, 18 Jul 2024 09:38:47 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> When a `NeverBranch` is added to an infinite loop, the `NeverBanch`
> and its projection that branches in the loop are assigned to the wrong
> loop. The confuses the logic that tries to sink nodes out of loop.

This pull request has now been integrated.

Changeset: 0ddf54e2
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0ddf54e222104469669f611804ae55e2685f54fb
Stats:     61 lines in 2 files changed: 58 ins; 0 del; 3 mod

8335709: C2: assert(!loop->is_member(get_loop(useblock))) failed: must be outside loop

Co-authored-by: Emanuel Peter <epeter at openjdk.org>
Reviewed-by: epeter, thartmann

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

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