RFR(XS) 8178047: Aliasing problem with raw memory accesses

[Andrew Haley]

On 14/04/17 04:30, Igor Veresov wrote:
> This seems like a long-standing bug. Analysis in MemNode::find_previous_store() tries to relax memory dependencies by proving that memory accesses don’t alias. The code is fine for oops: if [offset, offset+length) intervals don’t overlap it proves the accesses don’t alias because bases always point to the start of an object. For raw accesses that’s not true. Offset analysis doesn’t mean much without proving that bases are not the same.
> 
> Webrev: http://cr.openjdk.java.net/~iveresov/8178047/webrev.00

Please make sure that the test in https://bugs.openjdk.java.net/browse/JDK-8176513
doesn't regress again.

Thanks,

Andrew.