[13] RFR (XS): 8191998: C2: inlining through MH linkers drops speculative part of argument types

[Vladimir Kozlov]

+1

Vladimir K

On 1/25/19 12:13 AM, Tobias Hartmann wrote:
> Hi Vladimir,
> 
> looks good.
> 
> Best regards,
> Tobias
> 
> On 25.01.19 02:34, Vladimir Ivanov wrote:
>> http://cr.openjdk.java.net/~vlivanov/8191998/webrev.00/
>> https://bugs.openjdk.java.net/browse/JDK-8191998
>>
>> CallGenerator::for_method_handle_inline() casts MH linker (MH::linkTo*) arguments before attempting
>> inlining. If any argument has a speculative type attached, it is lost and can't be used later.
>>
>> The patch preserves speculative part while sharpening the type (if needed) based on static
>> information from the MemberName instance.
>>
>> Testing: hs-precheckin-comp, hs-tier1, hs-tier2.
>>
>> Best regards,
>> Vladimir Ivanov