RFR: 8346836: C2: Verify CastII/CastLL bounds at runtime [v7]

[Vladimir Ivanov]

On Thu, 10 Apr 2025 00:55:18 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

>> You can just run `compiler/arraycopy/TestArrayCopyConjoint.java` with `-XX:+StressGCM -XX:VerifyConstraintCasts=2`.
>
> Mystery solved: it is the consequence of the fact that JVM doesn't preserve frame pointer in generated code. With `-XX:+PreserveFramePointer` everything works fine.

FTR with the following patch I see stack traces both w/ and w/o `-XX:+PreserveFramePointer`:
https://github.com/iwanowww/jdk/commit/bbcd8d4dc7ab24152776a3e937ebd27367cf7331

I'll file a bug to fix the underlying issue.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/22880#discussion_r2036422809