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

Tue Apr 8 20:15:50 UTC 2025

On Fri, 7 Feb 2025 17:22:17 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

>> 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 seven additional commits since the last revision:
>> 
>>  - Merge branch 'master' into verifycast
>>  - better comments
>>  - move test to a new file, add block_comment
>>  - add tests
>>  - make VerifyConstraintCast uint, better debug info
>>  - Merge branch 'master' into verifycast
>>  - Introduce VerifyConstraintCasts
>
> Very nice!

@iwanowww Thanks for the reviews, I hope I have addressed all of your comments.

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

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