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

[Vladimir Kozlov]

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