RFR: 8311932: Suboptimal compiled code of nested loop over memory segment [v4]

[Tobias Hartmann]

On Wed, 15 Nov 2023 15:54:46 GMT, Roland Westrelin <roland at openjdk.org> wrote:

>> To enable the elimination of long range checks, the loop that contains
>> the range checks is transformed into a loop nest and the range checks
>> are changed to operate on int values computed before the loop is
>> entered. This causes extra overhead out of loop and once, the range
>> checks are eliminated, can only pay off if the loop is executed for
>> long enough. This change disable the transformation if the trip count
>> computed from profile data is too low. This came up with a
>> MemorySegment API micro benchmarks and improves performance
>> significantly.
>
> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
> 
>   review

All tests passed.

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

Marked as reviewed by thartmann (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/16650#pullrequestreview-1733568910