Implement super calls.

frog/leg/ssa/builder.dart

 // Copyright (c) 2011, 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 533 matching lines @@
     compiler.registerInstantiatedClass(globalizedClosureElement);
     push(new HForeignNew(globalizedClosureElement, <HInstruction>[]));
   }
 
   visitIdentifier(Identifier node) {
     if (node.isThis()) {
       if (thisDefinition === null) {
         compiler.unimplemented("Ssa.visitIdentifier.", node: node);
       }
       stack.add(thisDefinition);
+    } else if (node.isSuper()) {

[ngeoffray, 2012/01/10 16:52:50]

maybe add at the entry of this function assert(!node.isSuper())

[karlklose, 2012/01/11 12:45:17]

I generate an internal error.

     } else {
       Element element = elements[node];
       compiler.ensure(element !== null);
       HInstruction def = definitions[element];
       if (def === null) {
         compiler.unimplemented("Ssa.visitIdentifier.", node: node);
       }
       stack.add(def);
     }
   }
@@ skipping 417 matching lines @@
         Expression expression = link.head;
         disableMethodInterception();
         visit(expression);
         enableMethodInterception();
         break;
       default:
         throw "Unknown foreign: ${node.selector}";
     }
   }
 
+  visitSuperSend(Send node) {
+    Element element = elements[node];
+    HStatic target = new HStatic(element);
+    HThis context = thisDefinition;
+    if (context === null) {
+      compiler.unimplemented("Ssa.visitSuperSend without thisDefinition.",
+                             node: node);
+    }
+    add(target);
+    var inputs = <HInstruction>[];
+    inputs.add(target);
+    inputs.add(context);

[ngeoffray, 2012/01/10 16:52:50]

put target and context in the list literal.

[karlklose, 2012/01/11 12:45:17]

Done.

+    addVisitedSendArgumentsToList(node.arguments, inputs);
+    push(new HInvokeSuper(inputs));
+  }
+
   visitStaticSend(Send node) {
     Element element = elements[node];
     HStatic target = new HStatic(element);
     add(target);
     var inputs = <HInstruction>[];
     inputs.add(target);
     addVisitedSendArgumentsToList(node.arguments, inputs);
     push(new HInvokeStatic(inputs));
   }
 
   visitSend(Send node) {
     if (node.selector is Operator) {
       visitOperatorSend(node);
     } else if (node.isPropertyAccess) {
       generateGetter(node, elements[node]);
     } else if (Elements.isClosureSend(node, elements)) {
       visitClosureSend(node);
+    } else if (node.receiver !== null &&
+               node.receiver.asIdentifier() !== null &&
+               node.receiver.asIdentifier().isSuper()) {
+      visitSuperSend(node);
     } else {
       Element element = elements[node];
       if (element === null) {
         // Example: f() with 'f' unbound.
         // This can only happen inside an instance method.
         visitDynamicSend(node);
       } else if (element.isInstanceMember()) {
         // Example: f() with 'f' bound to instance method.
         visitDynamicSend(node);
       } else if (element.kind === ElementKind.FOREIGN) {
@@ skipping 304 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('SsaBuilder.visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('SsaBuilder.visitTypedef', node: node);
   }
 }