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

Mon Jan 20 01:27:18 UTC 2025

> 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:

  move test to a new file, add block_comment

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/22880/files
  - new: https://git.openjdk.org/jdk/pull/22880/files/f18ca9da..b3826a52

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=22880&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=22880&range=01-02

  Stats: 69 lines in 3 files changed: 50 ins; 18 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/22880.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/22880/head:pull/22880

PR: https://git.openjdk.org/jdk/pull/22880