RFR: 8305073: Fix VerifyLoopOptimizations - step 2 - verify idom

Mon May 15 09:00:44 UTC 2023

On Mon, 15 May 2023 08:23:07 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> If we are worried about backports, we can split the fixes from the verification.

I think this is a good idea, yes.

> But finding regression tests that actually mainfest in an assert or wrong execution, that will be an immense effort.

Fair enough. A low-effort, "catch-all" idea would be to add a test with `-Xcomp -XX:+VerifyLoopOptimizations`, similarly to `TestVerifyIterativeGVN.java`.

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

PR Comment: https://git.openjdk.org/jdk/pull/13951#issuecomment-1547455460