[9] RFR (XS): 8150543: Mismatched access detection is inaccurate

Vladimir Ivanov vladimir.x.ivanov at oracle.com
Mon Feb 29 12:36:53 UTC 2016

Updated version:

Adjusted is_mismatched_access for LoadP node which has memory_type() == 

Best regards,
Vladimir Ivanov

On 2/26/16 3:28 PM, Vladimir Ivanov wrote:
> http://cr.openjdk.java.net/~vlivanov/8150543/webrev.00/
> https://bugs.openjdk.java.net/browse/JDK-8150543
> Mismatched access detection doesn't differentiate between boolean[] and
> byte[] element accesses. Alias type flattening erases element type for
> boolean[] to T_BYTE.
> The fix is to use more accurate source of information: the address type.
> Also, marked the tests as not applicable to C1, since it doesn't
> constant fold unsafe accesses.
> Testing: regression test, JPRT.
> Best regards,
> Vladimir Ivanov

More information about the hotspot-compiler-dev mailing list