RFR: 8346836: C2: Introduce a way to verify the correctness of ConstraintCastNodes at runtime [v4]

[Emanuel Peter]

On Wed, 22 Jan 2025 15:22:43 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Hi,
>> 
>> This patch adds a develop flag `VerifyConstraintCasts`, which will verify the correctness of `CastIINode`s and `CastLLNode`s at runtime and crash the VM if the dynamic value lies outside the type value range.
>> 
>> Please take a look, thanks a lot.
>
> Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:
> 
>   better comments

Sorry for the delay.

Looks great, especially with the better comments! 👏

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

Marked as reviewed by epeter (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/22880#pullrequestreview-2593784793