Integrated: 8278874: tighten VerifyStack constraints

[Dean Long]

On Thu, 3 Jul 2025 20:28:34 GMT, Dean Long <dlong at openjdk.org> wrote:

> The VerifyStack logic in Deoptimization::unpack_frames() attempts to check the expression stack size of the interpreter frame against what GenerateOopMap computes.  To do this, it needs to know if the state at the current bci represents the "before" state, meaning the bytecode will be reexecuted, or the "after" state, meaning we will advance to the next bytecode.  The old code didn't know how to determine exactly what state we were in, so it checked both.  This PR cleans that up, so we only have to compute the oopmap once.  It also removes old SPARC support.

This pull request has now been integrated.

Changeset: 39a36529
Author:    Dean Long <dlong at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/39a365296882b0df49398cd7ac36e801a9aa1c35
Stats:     244 lines in 4 files changed: 113 ins; 68 del; 63 mod

8278874: tighten VerifyStack constraints

Co-authored-by: Tom Rodriguez <never at openjdk.org>
Reviewed-by: mhaessig, never

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

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