tree 34f0e037f748e58a90b15dc07d7e2e83b7979557
parent 5c54401d74737ee15fd9066cad7ccf8289b48923
author Vyacheslav Egorov <vegorov@google.com> 1537226685 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1537226685 +0000

[vm/compiler] Improve allocation sinking precision.

When we added support for sinking allocation of contexts
we forgot to update IsSafeUse method - meaning that non-escaping
objects stored into sinkable contexts would not be considered
sinkable.

This change rectifies the problem. With this change the method

test_vm_field() {
  var obj;
  inner() => obj.x = 42;
  var a = new V();
  obj = a;
  var t1 = a.x;
  var t2 = inner();
  return a.x + t1 + t2;
}

Compiles down to

test_vm_field() => 84;

Before this change we would not sink allocation of V.

R=alexmarkov@google.com

Change-Id: If431e58fe1d958b31ea597e35cba3856558a0cca
Reviewed-on: https://dart-review.googlesource.com/75222
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Commit-Queue: Vyacheslav Egorov <vegorov@google.com>