[aarch64-port-dev ] RFR: 8144993: Elide redundant memory barrier after AllocationNode

Andrew Haley aph at redhat.com
Tue Dec 15 14:33:04 UTC 2015


On 12/15/2015 02:28 PM, Vitaly Davidovich wrote:
> I'm curious why you guys think `a` and/or `b` would be in the oopmap if
> compiler proves they don't escape.  AFAIK, both `a` and `b` will be
> component-wise scalar replaced.  Once that's done, there's a ref from
> scalar replaced a.x to `b`, but `b` itself is scalar replaced.  In either
> case, I don't see why either of these need to be known to GC at all (which
> would somewhat defeat the purpose of EA to begin with).

Are you saying that if escape analysis determined that an object does
not escape then you know *for sure* that it will always be scalar-
replaced?

Andrew.



More information about the aarch64-port-dev mailing list