On Tue, 10 Mar 2026 13:38:38 GMT, Anton Artemov <[email protected]> wrote:
> It is true though that a raw r19 value is used to restore sp in other places, > but if I get it right, they all are intrinsic entry generation methods. Is it > a concern there? I don't have a confident answer for that. Changing the semantics may have unintended side effects. Is it really worth the risk? The value of the unextended_sp >= sp invariant seems dubious to me. It seems less risky to adjust safe_for_sender to better deal with the method handle linker case. BTW, how are you testing this? I looked for places that call safe_for_sender with something other than the result of frame(sp, fp, pc), but couldn't find one. On x86 and aarch64, the 3-arg frame(sp, fp, pc) always sets unextended_sp = sp, does it not? ------------- PR Comment: https://git.openjdk.org/jdk/pull/29744#issuecomment-4051833682
