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)
+    //
+    // where instance is the [this] object for the method. In such a case, the
+    // get of prototype might be evaluated before instance is created if we
+    // generate instance at use site, which in turn might update the prototype
+    // after first access if we use lazy initialization.
+    // 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.
+    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);
     }
   }
 }