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

[Christian Hagedorn]

On Tue, 1 Apr 2025 07:30:47 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.
>
> Done.

Thanks!

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

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