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

Tue Aug 29 08:06:50 UTC 2023

On Thu, 24 Aug 2023 09:03:39 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

> Looks good but I'm wondering if we could also bail out in Range Check Elimination instead, if we find that `get_ctrl()` of one of the involved data nodes does not dominate the pre loop exit test. What do you think?

We could, but it seems unfortunate to bail out of a major optimization when it's fairly straightforward to avoid it. I added asserts in RCE to catch that issue earlier instead.

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

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