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

Tue Jan 31 14:34:05 UTC 2023

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.

Looks good to me.

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

Marked as reviewed by thartmann (Reviewer).

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