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

[Vladimir Kozlov]

On Wed, 25 Dec 2024 14:54:02 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.

We can add this flag to our stress testing sets of flags to make sure we run with it during our regular testing.

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

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