Allocation sinking for contexts.

tests/language/vm/load_elimination_has_loads_from_place_test.dart

Index: tests/language/vm/load_elimination_has_loads_from_place_test.dart
===================================================================
--- tests/language/vm/load_elimination_has_loads_from_place_test.dart	(revision 0)
+++ tests/language/vm/load_elimination_has_loads_from_place_test.dart	(working copy)
@@ -0,0 +1,63 @@
+// Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+// Test correctness of side effects tracking used by load to load forwarding.
+
+// VMOptions=--optimization-counter-threshold=10 --no-use-osr --enable-inlining-annotations
+
+// Tests correct handling of redefinitions in aliasing computation.
+
+import "package:expect/expect.dart";
+
+const alwaysInline = "AlwaysInline";
+const noInline = "NeverInline";
+
+var H = true;
+
+class A {
+  B bb;
+
+  @alwaysInline
+  poly(p) {
+    if (H) {
+      bb = p;
+    }
+    B t = bb;
+    t.bval = 123;
+    return t.bval;

[Vyacheslav Egorov (Google), 2014/11/13 13:01:42]

I would be also good to test the case when you store on one Redefinition and you
load it from another one (you need to inline twice).

[Florian Schneider, 2014/11/13 13:38:53]

Done. Added a new test with two polymorphic calls so that the same allocations
gets redefined twice.

+  }
+}
+
+class B {
+  int bval = -1;
+
+  @alwaysInline
+  poly(p) {
+    return bval;
+  }
+}
+
+@alwaysInline
+foo(obj, p) => obj.poly(p);
+
+@alwaysInline
+foo2(obj, p) => obj.poly(p);
+
+@noInline
+test() {
+  A a = new A();
+  B b = new B();
+  foo(a, b);
+  return b.bval;
+}
+
+main() {
+  // Prime foo with polymorphic type feedback.
+  foo(new B(), new A());
+  foo(new A(), new B());
+  foo2(new B(), new A());
+  foo2(new A(), new B());
+
+  for (var i = 0; i < 100; i++) test();
+  Expect.equals(123, test());
+}