Integrated: 8301093: C2 fails assert(ctrl == kit.control()) failed: Control flow was added although the intrinsic bailed out

[Claes Redestad]

On Tue, 31 Jan 2023 12:41:04 GMT, Claes Redestad <redestad at openjdk.org> wrote:

> `must_be_not_null` can transform the graph, which will cause assert if intrinsification of `vectorizedHashCode` bails out after input validation. Solution is to move `must_be_not_null` to after the input validation.
> 
> Added regression test that invokes `ArraysSupport.vectorizedHashCode` with a non-constant type to trigger bailout.

This pull request has now been integrated.

Changeset: 969f6a37
Author:    Claes Redestad <redestad at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/969f6a37e4649079c7acea1952f5537fd9ba2f0a
Stats:     71 lines in 2 files changed: 70 ins; 1 del; 0 mod

8301093: C2 fails assert(ctrl == kit.control()) failed: Control flow was added although the intrinsic bailed out

Reviewed-by: thartmann, kvn

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

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