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

[Vladimir Ivanov]

Updated version:
   http://cr.openjdk.java.net/~vlivanov/8150543/webrev.01/

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

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