RFR: 8359359: AArch64: share trampolines between static calls to the same method [v7]
Evgeny Astigeevich
eastigeevich at openjdk.org
Thu Oct 30 11:48:36 UTC 2025
On Wed, 29 Oct 2025 17:58:17 GMT, Mikhail Ablakatov <mablakatov at openjdk.org> wrote:
>> Modify the C2 compiler to share trampoline stubs between static calls that resolve to the same callee method. Since the relocation target for all static calls is initially set to the static call resolver stub, the call's target alone cannot be used to distinguish between different static method calls. Instead, trampoline stubs should be shared based on the actual callee.
>>
>> The `SharedTrampolineTest.java` was designed to verify the sharing of trampolines among static calls. However, due to imprecise log analysis, the test currently passes even when trampolines are not shared. Additionally, comments within the test suggest ambiguity regarding whether it was intended to assess trampoline sharing for static calls or runtime calls. To address these issues and eliminate ambiguity, this patch renames and updates the existing test. Furthermore, a new test is introduced, using the existing one as a foundation, to accurately evaluate trampoline sharing for both static and runtime calls.
>>
>> This has passed tier1-3 and jcstress testing on AArch64.
>
> Mikhail Ablakatov has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 15 commits:
>
> - share static call trampolines generated by C1 as well
> - assert callee is nullptr for runtime calls
> - assert that call sites offsets aren't missing
> - cleanup: rephrase comments in macroAssembler_aarch64.hpp
> - Merge commit 'fd29677479797956e0d205b5ce6e7cb9ad407bd1' into 8359359
> - Merge commit '41520998aa8808452ee384b213b2a77c7bad668d'
> - remove implementation-dependent logic from emit_shared_trampolines()
> - cleanup: update copyright headers
> - Make the value type of the dictionary a struct instead of Pair typedef
> - Remove share_rc_trampoline_for and share_sc_trampoline_for
> - ... and 5 more: https://git.openjdk.org/jdk/compare/fd296774...e3ad440b
src/hotspot/cpu/aarch64/c1_LIRAssembler_aarch64.cpp line 1987:
> 1985:
> 1986: void LIR_Assembler::call(LIR_OpJavaCall* op, relocInfo::relocType rtype) {
> 1987: address call = __ trampoline_call(Address(op->addr(), rtype), op->method());
Here we can exclude `lir_dynamic_call` ops:
// Targets of dynamic calls depend on the call site info.
// They can be resolved to different method at the time of a call.
ciMethod* method = (op->code() == lir_dynamic_call) : nullptr ? op->method();
address call = __ trampoline_call(Address(op->addr(), rtype), method);
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/25954#discussion_r2477777442
More information about the hotspot-dev
mailing list