RFR: 8366888: C2: incorrect assertion predicate with short running long counted loop [v3]

[Roland Westrelin]

On Fri, 10 Oct 2025 14:42:00 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Roland Westrelin has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains eight additional commits since the last revision:
>> 
>>  - review
>>  - Merge branch 'master' into JDK-8366888
>>  - Update src/hotspot/share/opto/predicates.cpp
>>    
>>    Co-authored-by: Christian Hagedorn <christian.hagedorn at oracle.com>
>>  - Update src/hotspot/share/opto/predicates.cpp
>>    
>>    Co-authored-by: Christian Hagedorn <christian.hagedorn at oracle.com>
>>  - Update src/hotspot/share/opto/loopnode.cpp
>>    
>>    Co-authored-by: Christian Hagedorn <christian.hagedorn at oracle.com>
>>  - Update src/hotspot/share/opto/loopnode.cpp
>>    
>>    Co-authored-by: Christian Hagedorn <christian.hagedorn at oracle.com>
>>  - whitespaces
>>  - fix
>
> test/hotspot/jtreg/compiler/longcountedloops/TestShortCountedLoopWithLongRCBadAssertPredicate2.java line 1:
> 
>> 1: /*
> 
> Could the two tests also be merged?

I think I left them separated because they have different copyrights.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/27250#discussion_r2426625888