Integrated: 8359270: C2: alignment check should consider base offset when emitting arraycopy runtime call

[Fei Yang]

On Thu, 12 Jun 2025 01:54:34 GMT, Fei Yang <fyang at openjdk.org> wrote:

> Hi, please consider this change fixing alignment check when emitting arraycopy runtime call.
> 
> There are currently four callsites of `StubRoutines::select_arraycopy_function` in hotspot C2 shared code where we emit arraycopy runtime calls [1-4]. Three of them [2-4] missed base offset when calculation alignment for both source and destination array addresses. Seems they assume a base offset of 8 bytes, which is not always true. Base offset becomes 4 bytes under either `-XX:+UseCompactObjectHeaders` or `-XX:-UseCompressedClassPointers`.
> 
> And `StubRoutines::select_arraycopy_function` selects the right arraycopy runtime call based on this alignment. As a result, it could see an incorrect `aligned` param about the array addresses and thus a wrong arraycopy runtime call is selected. This is causing performance regressions (like Dacapo Spring) on some linux-riscv64 platforms like Sifive Unmatched or Premier P550 SBCs where misaligned memory access is very slow.
> 
> Proposed change fixes this issue by taking base offset into account when checking the alignment, which is very similar to [1].
> 
> Testing:
> - [x] Tier1-3 on linux-x64 (release & fastdebug)
> - [x] Tier1-3 on linux-aarch64 (release & fastdebug)
> - [x] Tier1-3 on linux-riscv64 (release)
> - [x] Dacapo spring performance test on linux-riscv64 (w/wo `-XX:+UseCompactObjectHeaders` / `-XX:-UseCompressedClassPointers`)
> 
> [1] https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/macroArrayCopy.cpp#L341
> [2] https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/library_call.cpp#L1584
> [3] https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/library_call.cpp#L1666
> [4] https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/stringopts.cpp#L1481

This pull request has now been integrated.

Changeset: 6b439391
Author:    Fei Yang <fyang at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6b4393917ae689818d67fcaf9cc61ca16ea6d426
Stats:     136 lines in 3 files changed: 128 ins; 0 del; 8 mod

8359270: C2: alignment check should consider base offset when emitting arraycopy runtime call

Reviewed-by: thartmann, kvn

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

PR: https://git.openjdk.org/jdk/pull/25765