Add a shrinking reduction for dead continuation parameters.

pkg/analyzer2dart/test/sexpr_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 sexpr_test.
 library test.sexpr.data;
 
 import 'test_helper.dart';
 
 class TestSpec extends TestSpecBase {
@@ skipping 931 matching lines @@
   for (;;) {}
 }
 ''', '''
 (FunctionDefinition main () return ()
   (LetCont ((rec k0 ()
       (LetPrim (v0 (Constant (Bool true)))
         (LetCont ((k1 ()
             (LetPrim (v1 (Constant (Null)))
               (InvokeContinuation return (v1))))
                   (k2 ()
-            (InvokeContinuation* k0 ())))
+            (InvokeContinuation rec k0 ())))
           (Branch (IsTrue v0) k2 k1)))))
     (InvokeContinuation k0 ())))
 '''),
 
 const TestSpec('''
 main() {
   for (var i = 0; i < 10; i = i + 1) {
     print(i);
   }
 }
 ''', '''
 (FunctionDefinition main () return ()
   (LetPrim (v0 (Constant (Int 0)))
     (LetCont ((rec k0 (v1)
         (LetPrim (v2 (Constant (Int 10)))
           (LetCont ((k1 (v3)
               (LetCont ((k2 ()
                   (LetPrim (v4 (Constant (Null)))
                     (InvokeContinuation return (v4))))
                         (k3 ()
                   (LetCont ((k4 (v5)
                       (LetPrim (v6 (Constant (Int 1)))
                         (LetCont ((k5 (v7)
-                            (InvokeContinuation* k0 (v7))))
+                            (InvokeContinuation rec k0 (v7))))
                           (InvokeMethod v1 + (v6) k5)))))
                     (InvokeStatic print (v1) k4))))
                 (Branch (IsTrue v3) k3 k2))))
             (InvokeMethod v1 < (v2) k1)))))
       (InvokeContinuation k0 (v0)))))
 '''),
 
 const TestSpec('''
 main(i) {
   for (i = 0; i < 10; i = i + 1) {
     print(i);
   }
 }
 ''', '''
 (FunctionDefinition main (i) return ()
   (LetPrim (v0 (Constant (Int 0)))
     (LetCont ((rec k0 (v1)
         (LetPrim (v2 (Constant (Int 10)))
           (LetCont ((k1 (v3)
               (LetCont ((k2 ()
                   (LetPrim (v4 (Constant (Null)))
                     (InvokeContinuation return (v4))))
                         (k3 ()
                   (LetCont ((k4 (v5)
                       (LetPrim (v6 (Constant (Int 1)))
                         (LetCont ((k5 (v7)
-                            (InvokeContinuation* k0 (v7))))
+                            (InvokeContinuation rec k0 (v7))))
                           (InvokeMethod v1 + (v6) k5)))))
                     (InvokeStatic print (v1) k4))))
                 (Branch (IsTrue v3) k3 k2))))
             (InvokeMethod v1 < (v2) k1)))))
       (InvokeContinuation k0 (v0)))))
 '''),
   ]),
 
   const Group('While loop', const <TestSpec>[
     const TestSpec('''
 main() {
   while (true) {}
 }
 ''', '''
 (FunctionDefinition main () return ()
   (LetCont ((rec k0 ()
       (LetPrim (v0 (Constant (Bool true)))
         (LetCont ((k1 ()
             (LetPrim (v1 (Constant (Null)))
               (InvokeContinuation return (v1))))
                   (k2 ()
-            (InvokeContinuation* k0 ())))
+            (InvokeContinuation rec k0 ())))
           (Branch (IsTrue v0) k2 k1)))))
     (InvokeContinuation k0 ())))
 '''),
 
 const TestSpec('''
 main() {
   var i = 0;
   while (i < 10) {
     print(i);
     i = i + 1;
   }
 }
 ''', '''
 (FunctionDefinition main () return ()
   (LetPrim (v0 (Constant (Int 0)))
     (LetCont ((rec k0 (v1)
         (LetPrim (v2 (Constant (Int 10)))
           (LetCont ((k1 (v3)
               (LetCont ((k2 ()
                   (LetPrim (v4 (Constant (Null)))
                     (InvokeContinuation return (v4))))
                         (k3 ()
                   (LetCont ((k4 (v5)
                       (LetPrim (v6 (Constant (Int 1)))
                         (LetCont ((k5 (v7)
-                            (InvokeContinuation* k0 (v7))))
+                            (InvokeContinuation rec k0 (v7))))
                           (InvokeMethod v1 + (v6) k5)))))
                     (InvokeStatic print (v1) k4))))
                 (Branch (IsTrue v3) k3 k2))))
             (InvokeMethod v1 < (v2) k1)))))
       (InvokeContinuation k0 (v0)))))
 '''),
   ]),
 
   const Group('Type operators', const <TestSpec>[
     const TestSpec('''
@@ skipping 74 matching lines @@
   (LetCont ((k0 (v0)
       (LetCont ((rec k1 (v1)
           (LetCont ((k2 (v2)
               (LetCont ((k3 ()
                   (LetPrim (v3 (Constant (Null)))
                     (InvokeContinuation return (v3))))
                         (k4 ()
                   (LetPrim (v4 (Constant (Null)))
                     (LetCont ((k5 (v5)
                         (LetCont ((k6 (v6)
-                            (InvokeContinuation* k1 (v1))))
+                            (InvokeContinuation rec k1 (v1))))
                           (InvokeStatic print (v5) k6))))
                       (InvokeMethod v0 current () k5)))))
                 (Branch (IsTrue v2) k4 k3))))
             (InvokeMethod v0 moveNext () k2))))
         (InvokeContinuation k1 (a)))))
     (InvokeMethod a iterator () k0)))
 '''),
 
     const TestSpec('''
 main(a) {
@@ skipping 10 matching lines @@
           (LetCont ((k2 (v2)
               (LetCont ((k3 ()
                   (LetPrim (v3 (Constant (Null)))
                     (InvokeContinuation return (v3))))
                         (k4 ()
                   (LetPrim (v4 (Constant (Null)))
                     (LetCont ((k5 (v5)
                         (LetCont ((k6 (v6)
                             (LetPrim (v7 (Constant (Int 0)))
                               (LetCont ((k7 (v8)
-                                  (InvokeContinuation* k1 (v1))))
+                                  (InvokeContinuation rec k1 (v1))))
                                 (InvokeStatic print (v7) k7)))))
                           (InvokeStatic print (v5) k6))))
                       (InvokeMethod v0 current () k5)))))
                 (Branch (IsTrue v2) k4 k3))))
             (InvokeMethod v0 moveNext () k2))))
         (InvokeContinuation k1 (a)))))
     (InvokeMethod a iterator () k0)))
 '''),
 
     const TestSpec('''
 main(a) {
   var i;
   for (i in a) {
     print(i);
   }
 }
 ''', '''
 (FunctionDefinition main (a) return ()
   (LetPrim (v0 (Constant (Null)))
     (LetCont ((k0 (v1)
         (LetCont ((rec k1 (v2 v3)
             (LetCont ((k2 (v4)
                 (LetCont ((k3 ()
                     (LetPrim (v5 (Constant (Null)))
                       (InvokeContinuation return (v5))))
                           (k4 ()
                     (LetCont ((k5 (v6)
                         (LetCont ((k6 (v7)
-                            (InvokeContinuation* k1 (v2 v6))))
+                            (InvokeContinuation rec k1 (v2 v6))))
                           (InvokeStatic print (v6) k6))))
                       (InvokeMethod v1 current () k5))))
                   (Branch (IsTrue v4) k4 k3))))
               (InvokeMethod v1 moveNext () k2))))
           (InvokeContinuation k1 (a v0)))))
       (InvokeMethod a iterator () k0))))
 '''),
   ]),
 
   const Group('Local functions', const <TestSpec>[
@@ skipping 160 matching lines @@
         (LetCont ((k1 (v3)
             (LetCont ((k2 (v4)
                 (LetPrim (v5 (Constant (Null)))
                   (InvokeContinuation return (v5)))))
               (InvokeStatic print (v3) k2))))
           (InvokeMethod v1 call () k1)))))
     (InvokeStatic print (x) k0)))
 ''', skipInAnalyzerFrontend: true)
   ]),
 ];