RFR: 8281429: PhiNode::Value() is too conservative for tripcount of CountedLoop [v7]

[Roland Westrelin]

On Mon, 2 May 2022 16:06:42 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Roland Westrelin has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 19 commits:
>> 
>>  - undo unneeded change
>>  - Merge branch 'master' into JDK-8281429
>>  - redo change removed by error
>>  - review
>>  - Merge branch 'master' into JDK-8281429
>>  - undo
>>  - test fix
>>  - more test
>>  - test & fix
>>  - other fix
>>  - ... and 9 more: https://git.openjdk.java.net/jdk/compare/dc635844...19b38997
>
> I am fine with testing range [MIN_VALUE + stride, MAX_VALUE - stride] to exercise unsigned arithmetic. Whatever maximum loopopts allows.

@vnkozlov the new commits should address your comments. Let me know if the new tests cover what you asked for.

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

PR: https://git.openjdk.java.net/jdk/pull/7823