Integrated: 8258243: C2: assert failed ("Bad derived pointer") with -XX:+VerifyRegisterAllocator

[Christian Hagedorn]

On Fri, 8 Jan 2021 14:05:32 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

> The base pointer verification code in the register allocator checks that a base for a derived constant node is always `NULL`. However, this is not the case if the offset is zero (returns on L1744):
> https://github.com/openjdk/jdk/blob/b549cbd39250c5b22c6e863172d18cf247022894/src/hotspot/share/opto/chaitin.cpp#L1740-L1754
> 
> This case is added to the verification code which fixes the reported failing testcases.
> 
> I additionally added a hello world test to sanity check the `-XX:+VerifyRegisterAllocator` flag.
> 
> Thanks,
> Christian

This pull request has now been integrated.

Changeset: a3561ae8
Author:    Christian Hagedorn <chagedorn at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/a3561ae8
Stats:     43 lines in 2 files changed: 40 ins; 0 del; 3 mod

8258243: C2: assert failed ("Bad derived pointer") with -XX:+VerifyRegisterAllocator

Reviewed-by: kvn, thartmann

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

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