Integrated: 8355574: Fatal error in abort_verify_int_in_range due to Invalid CastII

[Quan Anh Mai]

On Sat, 17 May 2025 14:54:43 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> Hi,
> 
> The issue here is that the `CastLLNode` is created before the actual check that ensures the range of the input. This patch fixes it by moving the creation to the correct place, which is under `inline_block`. I also noticed that the code there seems incorrect and confusing. `ArrayCopyNode::get_partial_inline_vector_lane_count` takes the length of the array, not the size in bytes. If you look into the method it will multiply `const_len` with `type2aelementbytes(bt)` to get the size in bytes of the array. In the runtime test, we compare `length << log2(type2bytes(bt))` with `ArrayOperationPartialInlineSize`. This seems confusing, why don't we just compare `length` with `ArrayOperationPartialInlineSize / type2bytes(bt)`, it also unifies the test with the actual cast.
> 
> Please take a look and leave your reviews, thanks a lot.

This pull request has now been integrated.

Changeset: f510b4a3
Author:    Quan Anh Mai <qamai at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/f510b4a3bafa3f0d2c9ebf0b33d48f57f3bdef95
Stats:     57 lines in 5 files changed: 11 ins; 17 del; 29 mod

8355574: Fatal error in abort_verify_int_in_range due to Invalid CastII

Reviewed-by: vlivanov, roland

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

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