RFR: 8350577: Fix missing Assertion Predicates when splitting loops [v2]

[Christian Hagedorn]

On Thu, 27 Mar 2025 08:13:07 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Christian Hagedorn has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fixing test failure 8353019
>
> There was a test failure report ([JDK-8353019](https://bugs.openjdk.org/browse/JDK-8353019)) about the "no flag" run adds with the previous PR (https://github.com/openjdk/jdk/pull/23823). The "no flag" run also added `-XX:+AbortVMOnCompilationFailure` which failed in a higher tier running with `-XX:+VerifyOops` due to a bailout in C1 when compiling `java.lang.classfile.Opcode::<clinit>`. It's the very same problem also observed and described here: https://github.com/openjdk/jdk/pull/7214
> 
> For this test, I'm suggesting to just remove `XX:+AbortVMOnCompilationFailure` to make this a real "no flag" run. Since I'm touching this test now anyways, I've just squeezed the fix in here.

> @chhagedorn Amazing work! This really took a lot of patience and persistence, but you did it!

Thanks Emanuel! :-)

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

PR Comment: https://git.openjdk.org/jdk/pull/24246#issuecomment-2757156785