RFR: 8355574: Fatal error in abort_verify_int_in_range due to Invalid CastII [v6]
    Quan Anh Mai 
    qamai at openjdk.org
       
    Fri Oct  3 16:05:52 UTC 2025
    
    
  
> 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.
Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:
  fix test options
-------------
Changes:
  - all: https://git.openjdk.org/jdk/pull/25284/files
  - new: https://git.openjdk.org/jdk/pull/25284/files/b7906ca4..dad2df7d
Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=25284&range=05
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=25284&range=04-05
  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/25284.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25284/head:pull/25284
PR: https://git.openjdk.org/jdk/pull/25284
    
    
More information about the hotspot-compiler-dev
mailing list