RFR: 8347499: C2: Make `PhaseIdealLoop` eliminate more redundant safepoints in loops [v3]

[Emanuel Peter]

On Mon, 27 Oct 2025 14:40:05 GMT, Roland Westrelin <roland at openjdk.org> wrote:

>> src/hotspot/share/opto/loopnode.cpp line 3840:
>> 
>>> 3838: //     inside any nested loop, then that loop is okay
>>> 3839: //  E) Otherwise, if an outer loop's ncsfpt on the idom-path is nested in
>>> 3840: //     an inner loop, we need to prevent the inner loop from deleting it
>> 
>> Nice, that's indeed an improvement :)
>
> It would be nice to make sure all cases here have an IR test which is not the case AFAICT. Can you open a JBS issue for that?

@rwestrel @MaxXSoft That is a good idea. Do either of you want to take care of those tests? Just filing an RFE will probably get the ideas lost in the ether ;)

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

PR Review Comment: https://git.openjdk.org/jdk/pull/23057#discussion_r2468089817