Implement cycle-checking and code generation for redirecting constructors.

frog/leg/ssa/builder.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.
 
 class Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
@@ skipping 529 matching lines @@
    * Run through the initializers and inline all field initializers. Returns the
    * next constructor to analyze.
    */
   FunctionElement analyzeInitializers(Link<Node> initializers) {
     FunctionElement nextConstructor;
     for (Link<Node> link = initializers; !link.isEmpty(); link = link.tail) {
       assert(link.head is Send);
       if (link.head is !SendSet) {
         // A super initializer or constructor redirection.
         Send call = link.head;
-        if (Initializers.isSuperConstructorCall(call)) {
-          assert(nextConstructor === null);
-          nextConstructor = elements[call];
-          // Visit arguments and map the corresponding parameter value to
-          // the resulting HInstruction value.
-          forEachArgument(call, nextConstructor, (parameter, node) {
-            visit(node);
-            HInstruction value = pop();
-            localsHandler.updateLocal(parameter, value);
-          });
-        } else {
-          compiler.unimplemented('SsaBuilder.buildFactory redirect');
-        }
+        assert(Initializers.isSuperConstructorCall(call) ||
+               Initializers.isConstructorRedirect(call));
+        assert(nextConstructor === null);
+        nextConstructor = elements[call];
+        // Visit arguments and map the corresponding parameter value to
+        // the resulting HInstruction value.
+        forEachArgument(call, nextConstructor, (parameter, node) {
+          visit(node);
+          HInstruction value = pop();
+          localsHandler.updateLocal(parameter, value);
+        });
       } else {
         // A field initializer.
         SendSet init = link.head;
         Link<Node> arguments = init.arguments;
         assert(!arguments.isEmpty() && arguments.tail.isEmpty());
         visit(arguments.head);
         // We treat the init field-elements like locals. In the context of
         // the factory this is correct, and simplifies dealing with
         // parameter-initializers (like A(this.x)).
         localsHandler.updateLocal(elements[init], pop());
@@ skipping 1394 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     visit(node.block);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('SsaBuilder.visitTypedef', node: node);
   }
 }