RFR: 8259430: C2: assert(in_vt->length() == out_vt->length()) failed: mismatch on number of elements

[Vladimir Kozlov]

On Tue, 2 Feb 2021 12:57:11 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

> Another problem caused by pathological cases (in effectively dead code): `VectorUnboxNode::Ideal()/Value()` ignore cast nodes (even the ones carrying control dependency) to reveal `VectorBox` and sometimes it exposes type mismatches between box/unbox operations which are impossible in practice. 
> 
> Proposed fix turns the assert into a runtime check to ignore problematic IR shape.

Good.

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

Marked as reviewed by kvn (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/2353