RFR: 8341976: C2: use_mem_state != load->find_exact_control(load->in(0)) assert failure [v2]

[Christian Hagedorn]

On Mon, 31 Mar 2025 11:52:37 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> So maybe, we could treat that Opaque node the way we do for OpaqueZeroTripGuard and have it constant fold when the backedge is never taken.

Right, that sounds like a good solution.

> So I should revert the change to the IdealLoopTree::dump_head() and the test run with TraceLoopOpts?

Yes, that would be great. We can make a comment in [JDK-8297752](https://bugs.openjdk.org/browse/JDK-8297752) to add `-XX:+TraceLoopOpts` as additional run to this test when we fix it.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/23465#discussion_r2020942323