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

[Vladimir Ivanov]

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

Thanks for the reviews, Roland and Tobias.

hs-comp-stress and hs-precheckin-comp testing passed.

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

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