RFR: 8302745: sp > unextended_sp for interpreted to interpreted calls going through method handle linker [v2]

[Andrew Haley]

On Thu, 26 Feb 2026 08:39:20 GMT, Dean Long <dlong at openjdk.org> wrote:

>     3. method handle invoke, esp += 1 for membername
>        As far as I can tell, this PR changes the meaning of unextended_sp be an aligned version of esp.
>        Using this value on method return means SP no longer includes worst case stack size based on max_stack,
>        so growing esp can now exceed SP.  But we should have asserts for that, so I probably got something wrong.

I wondered about that. It should be easy enough to prove it with a test case.

In addition, I don't know that this PR is trying to fix a real problem. It's just an assertion.

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

PR Comment: https://git.openjdk.org/jdk/pull/29744#issuecomment-3965801743