[13] RFR (S): 8219902: C2: MemNode::can_see_stored_value() ignores casts which carry control dependency

[Vladimir Ivanov]

Thanks, Vladimir.

Best regards,
Vladimir Ivanov

On 30/04/2019 13:02, Vladimir Kozlov wrote:
> Looks good.
> 
> Thanks,
> Vladimir K
> 
> On 4/30/19 12:47 PM, Vladimir Ivanov wrote:
>> http://cr.openjdk.java.net/~vlivanov/8219902/webrev.00/
>> https://bugs.openjdk.java.net/browse/JDK-8219902
>>
>> JDK-8161334 [1] enhanced MemNode::can_see_stored_value to ignore casts 
>> when access base addresses are compared. It turned out to be too 
>> aggressive since casts may carry control dependency.
>>
>> Proposed fix is to keep casts with control dependency.
>>
>> Testing: failing test case, tier1-3
>>
>> Best regards,
>> Vladimir Ivanov
>>
>> [1] https://bugs.openjdk.java.net/browse/JDK-8161334