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

[Quan Anh Mai]

On Fri, 17 Jan 2025 16:41:00 GMT, Vladimir Kozlov <kvn 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.
>
> We can add this flag to our stress testing sets of flags to make sure we run with it during our regular testing.

@vnkozlov I don't have an AArch64 machine so I feel less confident writing one. We can add an AArch64 implementation later, though. What do you think?

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

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