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

[Vladimir Kozlov]

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

Can we add AArch64 implementation too to cover our platforms?

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

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