Support allocation sinking for compound objects.

tests/language/vm/load_to_load_forwarding_vm_test.dart

 // Copyright (c) 2012, 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
 
 import "package:expect/expect.dart";
 import "dart:typed_data";
 
@@ skipping 266 matching lines @@
 
 
 testIndexedAliasedStore4(b) {
   var a = new List(2);
   a[0] = 1;
   b[0] = 3;
   return a[0];
 }
 
 
+testIndexedAliasedStore5(b) {
+  var a = new List(2),
+      c = new List(2);
+  a[0] = 1;
+  b[0] = 3;
+  c[0] = 4;
+  b[0] = 5;
+  return a[0] << 8 | c[0];
+}
+
+
+testIndexedAliasedStore6(x, b) {
+  var a = new List(2),
+      c = new List(2);
+  b = x ? b : c;
+  a[0] = 1;
+  b[0] = 3;
+  c[0] = 4;
+  b[0] = 5;
+  return a[0] << 8 | c[0];
+}
+
+testIndexedAliasedStore7(x, b, i) {
+  var a = new List(2),
+      c = new List(2);
+  b = x ? b : c;
+  a[0] = 1;
+  b[0] = 3;
+  c[0] = 4;
+  b[i] = 5;
+  return a[0] << 8 | c[0];
+}
+
+
+testIndexedAliasedStore8(x, b, i) {
+  var a = new List(2),
+      c = new List(2);
+  b = x ? b : c;
+  a[i] = 1;
+  b[0] = 3;
+  c[i] = 4;
+  b[0] = 5;
+  return a[i] << 8 | c[i];
+}
+
+
+testIndexedAliasedStore9(b, i) {
+  var a = new List(2),
+      c = new List(2);
+  a[i] = 1;
+  b[0] = 3;
+  c[i] = 4;
+  b[0] = 5;
+  return a[i] << 8 | c[i];
+}
+
+
 var indices = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9];
 
 class Z {
   var x = 42;
 }
 
 var global_array = new List<Z>(1);
 
 side_effect() {
   global_array[0].x++;
@@ skipping 12 matching lines @@
   testImmutableVMFields(fixed, true);
   testImmutableVMFields(growable, false);
   testImmutableVMFields(growable, false);
 
   final f64List = new Float64List(2);
   testPhiRepresentation(true, f64List);
   testPhiRepresentation(false, f64List);
 
   final obj = new X(new X(new X(null)));
 
-  final cs = new C(0, new C(1, new C(2, null))); 
+  final cs = new C(0, new C(1, new C(2, null)));
 
   for (var i = 0; i < 20; i++) {
     Expect.listEquals([0x02010000, 0x03020100], foo(new A(0, 0)));
     Expect.listEquals([0x02010000, 0x03020100], bar(new A(0, 0), false));
     Expect.listEquals([0x04020000, 0x03020100], bar(new A(0, 0), true));
     testImmutableVMFields(fixed, true);
     testPhiRepresentation(true, f64List);
     testPhiForwarding(obj);
     testPhiForwarding2(obj);
     testPhiForwarding3();
@@ skipping 41 matching lines @@
     Expect.equals(3, testIndexedAliasedStore3(indices[0]));
   }
   for (var i = 0; i < 20; i++) {
     Expect.equals(1, testIndexedAliasedStore3(indices[1]));
   }
 
   for (var i = 0; i < 20; i++) {
     Expect.equals(1, testIndexedAliasedStore4(array));
   }
 
+  for (var i = 0; i < 20; i++) {
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore5(array));
+  }
+
+  for (var i = 0; i < 20; i++) {
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore6(true, array));
+    Expect.equals(1 << 8 | 5, testIndexedAliasedStore6(false, array));
+  }
+
+  for (var i = 0; i < 20; i++) {
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore7(true, array, 0));
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore7(true, array, 1));
+    Expect.equals(1 << 8 | 5, testIndexedAliasedStore7(false, array, 0));
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore7(false, array, 1));
+  }
+
+  for (var i = 0; i < 20; i++) {
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore8(true, array, 0));
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore8(true, array, 1));
+    Expect.equals(1 << 8 | 5, testIndexedAliasedStore8(false, array, 0));
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore8(false, array, 1));
+  }
+
+  for (var i = 0; i < 20; i++) {
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore9(array, 0));
+    Expect.equals(1 << 8 | 4, testIndexedAliasedStore9(array, 1));
+  }
+
   var test_array = new List(1);
   for (var i = 0; i < 20; i++) {
     Expect.equals(43, testAliasingStoreIndexed(global_array));
   }
 }