pan>;</code></td></tr></table><code>}</code></td><td class="doc"><p>This is for pruning vector's length. When there is a function call, <code>%r=x.size()</code>, the alias target for <code>%r</code> becomes <code>AliasTarget.size {l=x.elements}</code>. The <code>java_tmp</code> field is an additional slot for keeping one more alias of temporary variable in Java. The <code>i</code> field is to express <code>%r=x.size()+i</code>, which is required to follow the semantics of <code>Array.add</code> inside loops