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

[Vladimir Ivanov]

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.

This pull request has now been integrated.

Changeset: 3ede231d
Author:    Vladimir Ivanov <vlivanov at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/3ede231d
Stats:     23 lines in 2 files changed: 6 ins; 2 del; 15 mod

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

Reviewed-by: kvn, thartmann

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

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