[lworld] Integrated: 8257832: [lworld] C2 compilation fails with assert(_base == AryPtr) failed: Not an array pointer

Tobias Hartmann thartmann at openjdk.java.net
Tue Dec 8 11:53:26 UTC 2020


On Tue, 8 Dec 2020 11:15:36 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> When the array load/store type profile is polluted, it may contradict static array type information and as a result we always trap when using it speculatively. We hit the assert or crash because control/data unexpectedly becomes `top`.
> 
> Similar to `Parse::array_store_check()`, we should not use profile information in `Parse::array_addressing` if it contradicts static type information.
> 
> Thanks,
> Tobias

This pull request has now been integrated.

Changeset: 71816896
Author:    Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.java.net/valhalla/commit/71816896
Stats:     97 lines in 3 files changed: 69 ins; 17 del; 11 mod

8257832: [lworld] C2 compilation fails with assert(_base == AryPtr) failed: Not an array pointer

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

PR: https://git.openjdk.java.net/valhalla/pull/297


More information about the valhalla-dev mailing list