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

Vladimir Ivanov vladimir.x.ivanov at oracle.com
Fri Feb 26 12:28:09 UTC 2016


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