RFR: 8314024: SIGSEGV in PhaseIdealLoop::build_loop_late_post_work due to bad immediate dominator info [v3]

[Christian Hagedorn]

On Tue, 29 Aug 2023 08:28:50 GMT, Roland Westrelin <roland at openjdk.org> wrote:

>> A node is sunk from the pre loop into the main loop. That node, in the
>> main loop, feeds into a test. When the node is sunk it is pinned
>> between the main and pre loop. The test it feeds into is then
>> eliminated by range check elimination: the sunk node becomes input to
>> an expression that computes the new bound of the pre loop. The
>> resulting graph is broken because the sunk node is pinned below the
>> pre loop but used by the exit test of the pre loop.
>> 
>> The fix I propose is in `PhaseIdealLoop::try_sink_out_of_loop()`, to
>> skip nodes in pre loops that have a use in the companion main loop.
>
> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
> 
>   test fix

Testing looked good!

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

PR Comment: https://git.openjdk.org/jdk/pull/15399#issuecomment-1697696792