Defer addStubs to class instantiation time.

pkg/compiler/lib/src/ssa/codegen_helpers.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.
 
 part of ssa;
 
 /**
  * Replaces some instructions with specialized versions to make codegen easier.
  * Caches codegen information on nodes.
  */
@@ skipping 317 matching lines @@
   Set<HInstruction> pureInputs;
   Set<HInstruction> generateAtUseSite;
 
   void markAsGenerateAtUseSite(HInstruction instruction) {
     assert(!instruction.isJsStatement());
     generateAtUseSite.add(instruction);
   }
 
   SsaInstructionMerger(this.generateAtUseSite, this.compiler);
 
+  JavaScriptBackend get backend => compiler.backend;
+
   void visitGraph(HGraph graph) {
     visitDominatorTree(graph);
   }
 
   void analyzeInputs(HInstruction user, int start) {
     List<HInstruction> inputs = user.inputs;
     for (int i = start; i < inputs.length; i++) {
       HInstruction input = inputs[i];
       if (!generateAtUseSite.contains(input)
           && !input.isCodeMotionInvariant()
@@ skipping 29 matching lines @@
       }
     }
   }
 
   void visitInstruction(HInstruction instruction) {
     // A code motion invariant instruction is dealt before visiting it.
     assert(!instruction.isCodeMotionInvariant());
     analyzeInputs(instruction, 0);
   }
 
+  void visitInvokeSuper(HInvokeSuper instruction) {
+    Element superMethod = instruction.element;
+    Selector selector = instruction.selector;
+    // If aliased super members cannot be used, we will generate code like
+    //
+    // C.prototype.method.call(instance)

[floitsch, 2015/03/11 13:59:34]

indent by 4.

[herhut, 2015/03/13 12:28:52]

Done.

+    //
+    // where instance is the [this] object for the method. In such a case, the
+    // get of prototype might be evaluted before instance is created if we

[floitsch, 2015/03/11 13:59:34]

evaluated

[herhut, 2015/03/13 12:28:52]

Done.

+    // generate instance at use site, which in turn might update the prototype
+    // after first access if we use lazy initialization.

[floitsch, 2015/03/11 13:59:34]

Also add to the comment, how you work around it?
(basically, from what I can see, you skip the first argument, the receiver).

For example:

In this case, we therefore don't allow the receiver (the first argument) to be
generated at use site, and only analyze all other arguments.

[herhut, 2015/03/13 12:28:52]

Done.

+    if (!backend.canUseAliasedSuperMember(superMethod, selector)) {
+      analyzeInputs(instruction, 1);
+    } else {
+      super.visitInvokeSuper(instruction);
+    }
+  }
+
   void visitIs(HIs instruction) {
     // In the general case the input might be used multple multiple times, so it
     // must not be set generate at use site.  If the code will generate
     // 'instanceof' then we can generate at use site.
     if (instruction.useInstanceOf) {
       analyzeInputs(instruction, 0);
     }
   }
 
   // A bounds check method must not have its first input generated at use site,
@@ skipping 333 matching lines @@
     }
 
     // If [thenInput] is defined in the first predecessor, then it is only used
     // by [phi] and can be generated at use site.
     if (identical(thenInput.block, end.predecessors[0])) {
       assert(thenInput.usedBy.length == 1);
       markAsGenerateAtUseSite(thenInput);
     }
   }
 }