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

[Emanuel Peter]

On Thu, 18 Jul 2024 11:34:14 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.
>
> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update test/hotspot/jtreg/compiler/loopopts/InfiniteLoopBadControlNeverBranch.java
>   
>   Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>

Marked as reviewed by epeter (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/20231#pullrequestreview-2185672698