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

[Roland Westrelin]

On Fri, 14 Nov 2025 13:06:38 GMT, Benoît Maillard <bmaillard 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 13 additional commits since the last revision:
>> 
>>  - Merge branch 'master' into JDK-8366888
>>  - review
>>  - Merge branch 'master' into JDK-8366888
>>  - Merge branch 'master' into JDK-8366888
>>  - whitespaces
>>  - 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>
>>  - ... and 3 more: https://git.openjdk.org/jdk/compare/a2a3cd79...2d329d48
>
> Marked as reviewed by bmaillard (Committer).

@benoitmaillard and @chhagedorn : thanks for the reviews and testing.

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

PR Comment: https://git.openjdk.org/jdk/pull/27250#issuecomment-3575525071