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

[Quan Anh Mai]

On Thu, 24 Apr 2025 23:18:08 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

>> Wow, this looks even much better with the improved printing on failure now!
>> 
>> Just out of curiosity: Is the whole `reconstruct_frame_pointer` mechanism general enough so that we could use it in other places as well? It is not super important to me any more, but I've wanted to have something like this for `VerifyAlignVector` already :)
>
>> Just out of curiosity: Is the whole reconstruct_frame_pointer mechanism general enough so that we could use it in other places as well?
> 
> IMO it is general enough, but I haven't found a good place to put it. Ideally, all runtime/debug calls should keep frame pointer valid for diagnostic purposes.

@iwanowww @eme64 Thanks a lot for your reviews!

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

PR Comment: https://git.openjdk.org/jdk/pull/22880#issuecomment-2829218102