RFR: 8346836: C2: Verify CastII/CastLL bounds at runtime [v10]

[Quan Anh Mai]

> 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 with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 16 additional commits since the last revision:

 - Reconstruct FP
 - aarch64 support
 - Merge branch 'master' into verifycast
 - assert CastLL
 - reviews
 - make the flag diagnostic
 - Merge branch 'master' into verifycast
 - draft
 - Merge branch 'master' into verifycast
 - Merge branch 'master' into verifycast
 - ... and 6 more: https://git.openjdk.org/jdk/compare/59344b6e...8d140fd9

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/22880/files
  - new: https://git.openjdk.org/jdk/pull/22880/files/45b45495..8d140fd9

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

  Stats: 231655 lines in 1175 files changed: 40089 ins; 186908 del; 4658 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