RFR: 8331885: C2: meet between unloaded and speculative types is not symmetric [v2]

[Daniel D. Daugherty]

On Fri, 17 May 2024 12:30:27 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
>
> Vladimir Ivanov has updated the pull request incrementally with one additional commit since the last revision:
> 
>   AlwaysIncrementalInline is a debugflag

@iwanowww - Will this fix be integrated soon? There are two solid failures in every
Tier5 job set and have been for quite a while.

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

PR Comment: https://git.openjdk.org/jdk/pull/19249#issuecomment-2120769439