The current escape analysis mechanism is all-or-nothing: either the object does not escape, or it does. If the object escapes, we lose the ability to analyse the values of its fields completely, even if the object only escapes at return.

This issue proposes trying to decide if a newly allocated object has escaped at a load from it. And if it has not escaped, we can fold the load aggressively across calls and memory barriers.