cps-ir: Merge variables based on set-based liveness and graph coloring.

pkg/analyzer2dart/test/end2end_data.dart

 // 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 data for the end2end test.
 library test.end2end.data;
 
 import 'test_helper.dart';
 
 class TestSpec extends TestSpecBase {
@@ skipping 238 matching lines @@
 '''),
 
     const TestSpec('''
 main() {
   var a = 0;
   print(a);
   a = "";
   print(a);
   return a;
 }
+''', '''
+main() {
+  var a;
+  print(0);
+  a = "";
+  print(a);
+  return a;
+}
 '''),
 
     const TestSpec('''
 main(a) {
   print(a);
   a = "";
   print(a);
   return a;
 }
 '''),
 
     const TestSpec('''
 main(a) {
   if (a) {
     a = "";
   }
   print(a);
   return a;
 }
+''', '''
+main(a) {
+  a = a ? "" : a;
+  print(a);
+  return a;
+}
 '''),
   ]),
 
   const Group('Dynamic access', const <TestSpec>[
     const TestSpec('''
 main(a) {
   return a.foo;
 }
 '''),
 
@@ skipping 446 matching lines @@
     const TestSpec('''
 main(a) {
   for (var i in a) {
     print(i);
     i = 0;
     print(i);
   }
 }
 ''', '''
 main(a) {
-  var v0 = a.iterator, i;
+  var v0 = a.iterator;
   while (v0.moveNext()) {
-    i = v0.current;
-    print(i);
-    i = 0;
-    print(i);
+    print(v0.current);
+    print(0);
   }
 }
 '''),
 
     const TestSpec('''
 main(a) {
   var i;
   for (i in a) {
     print(i);
   }
@@ skipping 134 matching lines @@
 main() {
   try {
     return null;
   } catch (e, v0) {
     return null;
   }
 }
 '''),
   ]),
 ];