Introduce typed selectors to do better tree shaking based on calls on 'this'. Getters and setters w…

lib/compiler/implementation/ssa/codegen.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 SsaCodeGeneratorTask extends CompilerTask {
   SsaCodeGeneratorTask(Compiler compiler) : super(compiler);
   String get name() => 'SSA code generator';
 
 
   String generateMethod(WorkItem work, HGraph graph) {
@@ skipping 1009 matching lines @@
       node.name.printOn(buffer);
       visitArguments(node.inputs);
     } else {
       buffer.add(compiler.namer.instanceMethodInvocationName(
           currentLibrary, node.name, node.selector));
       visitArguments(node.inputs);
       if (node.element !== null) {
         // If we know we're calling a specific method, register that
         // method only.
         compiler.registerDynamicInvocationOf(node.element);
+      } else if (node.inputs[0] is HThis) {
+        // TODO(ngeoffray): We should propagate an union type in
+        // earlier phases instead of just checking if the receiver is 'this'.
+        ClassElement cls = work.element.enclosingElement;
+        Element method = cls.lookupMember(node.name);
+        if (method !== null) {
+          // Make sure the method (whether in this class or in a
+          // superclass) is compiled.
+          // TODO(ngeoffray): Note that we could not emit this method
+          // if it is always being overridden and its holder is not
+          // instantiated.
+          compiler.registerDynamicInvocationOf(method);
+        }
+        Type type = cls.computeType(compiler);
+        compiler.registerDynamicInvocation(
+            node.name, new TypedInvocation(type, node.selector));
       } else {
         compiler.registerDynamicInvocation(node.name, node.selector);
       }
     }
     endExpression(JSPrecedence.CALL_PRECEDENCE);
   }
 
   visitInvokeDynamicSetter(HInvokeDynamicSetter node) {
     beginExpression(JSPrecedence.CALL_PRECEDENCE);
     use(node.receiver, JSPrecedence.MEMBER_PRECEDENCE);
@@ skipping 912 matching lines @@
       startBailoutSwitch();
     }
   }
 
   void endElse(HIf node) {
     if (node.elseBlock.hasGuards()) {
       endBailoutSwitch();
     }
   }
 }