Integrated: 8331885: C2: meet between unloaded and speculative types is not symmetric

[Vladimir Ivanov]

On Wed, 15 May 2024 13:30:46 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

> `TypeInstPtr::xmeet_unloaded` computes the MEET of two InstPtrs when at least one is unloaded, but doesn't preserve speculative part if one is present. It causes the corresponding assert to fail. 
> 
> Proposed fix unconditionally keeps speculative part. 
> 
> Testing: hs-tier1 - hs-tier4

This pull request has now been integrated.

Changeset: 7652f981
Author:    Vladimir Ivanov <vlivanov at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/7652f9811bfddf08650b0c3277012074873deade
Stats:     20 lines in 3 files changed: 12 ins; 0 del; 8 mod

8331885: C2: meet between unloaded and speculative types is not symmetric

Reviewed-by: roland, thartmann

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

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