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

Wed Apr 9 18:35:34 UTC 2025

On Wed, 9 Apr 2025 18:04:10 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>>> Expanding the Type before passing into the function would be really bad after https://github.com/openjdk/jdk/pull/17508, though.
>> 
>> Can you elaborate, please? Are you saying that after #17508 there'll be more invariants to verify, so better to pass all the data encapsulated in a `Type`?
>
> Yes that's what I mean, expanding all of them to feed into this method seems inelegant.

Ok, it makes perfect sense.

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

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