RFR: 8375010: C2 VectorAPI: assert(vbox->is_CheckCastPP()) failed: should be expanded [v3]

[Vladimir Ivanov]

On Fri, 16 Jan 2026 12:51:21 GMT, Kerem Kat <krk at openjdk.org> wrote:

>> The check `vect->is_Vector() || vect->is_LoadVector()` doesn't handle `Proj` nodes that resolve to vector types, causing an assertion failure when such nodes flow through a `Phi` into `VectorBox`.
>
> Kerem Kat 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 four additional commits since the last revision:
> 
>  - Merge branch 'master' into fix-c2-checkCastPP
>  - 8374903: C2 VectorAPI: assert(vbox->as_Phi()->region() == vect->as_Phi()->region()) failed
>  - Simplify expand_vbox_node_helper by merging VectorBox Phi handling
>  - 8375010: C2 VectorAPI: assert(vbox->is_CheckCastPP()) failed: should be expanded

Test results (hs-tier1 - hs-tier4) are clean.

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

PR Comment: https://git.openjdk.org/jdk/pull/29200#issuecomment-3774647567