Collect call site information and use that for estimating parameter types

lib/compiler/implementation/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 120 matching lines @@
   }
 }
 
 class SsaBuilderTask extends CompilerTask {
   final Interceptors interceptors;
   final Map<Node, ClosureData> closureDataCache;
   final CodeEmitterTask emitter;
   // Loop tracking information.
   final Set<FunctionElement> functionsCalledInLoop;
   final Map<SourceString, Selector> selectorsCalledInLoop;
+  final JavaScriptBackend backend;
 
   String get name() => 'SSA builder';
 
   SsaBuilderTask(JavaScriptBackend backend)
     : interceptors = new Interceptors(backend.compiler),
       closureDataCache = new HashMap<Node, ClosureData>(),
       emitter = backend.emitter,
       functionsCalledInLoop = new Set<FunctionElement>(),
       selectorsCalledInLoop = new Map<SourceString, Selector>(),
+      backend = backend,
       super(backend.compiler);
 
   HGraph build(WorkItem work) {
     return measure(() {
       FunctionElement element = work.element;
       HInstruction.idCounter = 0;
       SsaBuilder builder = new SsaBuilder(this, work);
       HGraph graph;
       ElementKind kind = element.kind;
       if (kind === ElementKind.GENERATIVE_CONSTRUCTOR) {
         graph = compileConstructor(builder, work);
       } else if (kind === ElementKind.GENERATIVE_CONSTRUCTOR_BODY ||
                  kind === ElementKind.FUNCTION ||
                  kind === ElementKind.GETTER ||
                  kind === ElementKind.SETTER) {
         graph = builder.buildMethod(work.element);
       }
       assert(graph.isValid());
       bool inLoop = functionsCalledInLoop.contains(element);
       if (!inLoop) {
         Selector selector = selectorsCalledInLoop[element.name];
         inLoop = selector !== null && selector.applies(element, compiler);
       }
       graph.calledInLoop = inLoop;
+
+      // If there is an estimate of the parameter types assume these types when
+      // compiling.
+      List<HType> parameterTypes =
+          backend.optimisticParameterTypesWithRecompilationOnTypeChange(
+              element);
+      if (parameterTypes != null) {
+        FunctionSignature signature = element.computeSignature(compiler);
+        int i = 0;
+        signature.forEachParameter((Element param) {
+          builder.parameters[param].guaranteedType = parameterTypes[i++];
+        });
+      }
+
       if (compiler.tracer.enabled) {
         String name;
         if (element.enclosingElement !== null &&
             element.enclosingElement.kind == ElementKind.CLASS) {
           String className = element.enclosingElement.name.slowToString();
           String memberName = element.name.slowToString();
           name = "$className.$memberName";
           if (element.kind == ElementKind.GENERATIVE_CONSTRUCTOR_BODY) {
             name = "$name (body)";
           }
@@ skipping 3401 matching lines @@
           new HSubGraphBlockInformation(elseBranch.graph));
 
     HBasicBlock conditionStartBlock = conditionBranch.block;
     conditionStartBlock.setBlockFlow(info, joinBlock);
     SubGraph conditionGraph = conditionBranch.graph;
     HIf branch = conditionGraph.end.last;
     assert(branch is HIf);
     branch.blockInformation = conditionStartBlock.blockFlow;
   }
 }