Add StaticUse for more precise registration of statically known element use.

pkg/compiler/lib/src/js_backend/codegen/codegen.dart

 // Copyright (c) 2014, 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.
 
 library code_generator;
 
 import 'glue.dart';
 
 import '../../closure.dart' show
     ClosureClassElement;
 import '../../common.dart';
 import '../../common/codegen.dart' show
     CodegenRegistry;
 import '../../constants/values.dart';
 import '../../dart_types.dart';
 import '../../elements/elements.dart';
 import '../../io/source_information.dart' show
     SourceInformation;
 import '../../js/js.dart' as js;
 import '../../tree_ir/tree_ir_nodes.dart' as tree_ir;
 import '../../tree_ir/tree_ir_nodes.dart' show
     BuiltinMethod,
     BuiltinOperator;
 import '../../types/types.dart' show
     TypeMask;
+import '../../universe/call_structure.dart' show
+    CallStructure;
 import '../../universe/selector.dart' show
     Selector;
 import '../../universe/universe.dart' show
     UniverseSelector;
+import '../../universe/use.dart' show
+    StaticUse;
 import '../../util/maplet.dart';
 
 class CodegenBailout {
   final tree_ir.Node node;
   final String reason;
   CodegenBailout(this.node, this.reason);
   String get message {
     return 'bailout${node != null ? " on $node" : ""}: $reason';
   }
 }
@@ skipping 189 matching lines @@
   @override
   js.Expression visitConstant(tree_ir.Constant node) {
     return buildConstant(
         node.value,
         sourceInformation: node.sourceInformation);
   }
 
   js.Expression buildStaticInvoke(Element target,
                                   List<js.Expression> arguments,
                                   {SourceInformation sourceInformation}) {
-    registry.registerStaticInvocation(target.declaration);
+    if (target.isConstructor) {
+      // TODO(johnniwinther): Avoid dependency on [isGenerativeConstructor] by
+      // using backend-specific [StatisUse] classes.
+      registry.registerStaticUse(
+          new StaticUse.constructorInvoke(target.declaration,
+              new CallStructure.unnamed(arguments.length)));
+    } else {
+      registry.registerStaticUse(
+          new StaticUse.staticInvoke(target.declaration,
+              new CallStructure.unnamed(arguments.length)));
+    }
     js.Expression elementAccess = glue.staticFunctionAccess(target);
     return new js.Call(elementAccess, arguments,
         sourceInformation: sourceInformation);
   }
 
   @override
   js.Expression visitInvokeConstructor(tree_ir.InvokeConstructor node) {
     if (node.constant != null) return giveup(node);
 
-    registry.registerInstantiatedType(node.type);
+    registry.registerInstantiation(node.type);
     FunctionElement target = node.target;
     List<js.Expression> arguments = visitExpressionList(node.arguments);
     return buildStaticInvoke(
-        target, arguments, sourceInformation: node.sourceInformation);
+        target,
+        arguments,
+        sourceInformation: node.sourceInformation);
   }
 
   void registerMethodInvoke(tree_ir.InvokeMethod node) {
     Selector selector = node.selector;
     TypeMask mask = node.mask;
     if (selector.isGetter) {
-      registry.registerDynamicGetter(new UniverseSelector(selector, mask));
+      registry.registerDynamicUse(new UniverseSelector(selector, mask));
     } else if (selector.isSetter) {
-      registry.registerDynamicSetter(new UniverseSelector(selector, mask));
+      registry.registerDynamicUse(new UniverseSelector(selector, mask));
     } else {
       assert(invariant(CURRENT_ELEMENT_SPANNABLE,
           selector.isCall || selector.isOperator ||
           selector.isIndex || selector.isIndexSet,
           message: 'unexpected kind ${selector.kind}'));
       // TODO(sigurdm): We should find a better place to register the call.
       Selector call = new Selector.callClosureFrom(selector);
-      registry.registerDynamicInvocation(new UniverseSelector(call, null));
-      registry.registerDynamicInvocation(new UniverseSelector(selector, mask));
+      registry.registerDynamicUse(new UniverseSelector(call, null));
+      registry.registerDynamicUse(new UniverseSelector(selector, mask));
     }
   }
 
   @override
   js.Expression visitInvokeMethod(tree_ir.InvokeMethod node) {
     registerMethodInvoke(node);
     return js.propertyCall(visitExpression(node.receiver),
                            glue.invocationName(node.selector),
                            visitExpressionList(node.arguments))
         .withSourceInformation(node.sourceInformation);
   }
 
   @override
   js.Expression visitInvokeStatic(tree_ir.InvokeStatic node) {
     FunctionElement target = node.target;
     List<js.Expression> arguments = visitExpressionList(node.arguments);
     return buildStaticInvoke(target, arguments,
           sourceInformation: node.sourceInformation);
   }
 
   @override
   js.Expression visitInvokeMethodDirectly(tree_ir.InvokeMethodDirectly node) {
-    registry.registerDirectInvocation(node.target.declaration);
     if (node.target is ConstructorBodyElement) {
+      registry.registerStaticUse(
+          new StaticUse.constructorBodyInvoke(
+              node.target.declaration,
+              new CallStructure.unnamed(node.arguments.length)));
       // A constructor body cannot be overriden or intercepted, so we can
       // use the short form for this invocation.
       return js.js('#.#(#)',
           [visitExpression(node.receiver),
            glue.instanceMethodName(node.target),
            visitExpressionList(node.arguments)])
           .withSourceInformation(node.sourceInformation);
     }
+    registry.registerStaticUse(
+        new StaticUse.superInvoke(
+            node.target.declaration,
+            new CallStructure.unnamed(node.arguments.length)));
     return js.js('#.#.call(#, #)',
         [glue.prototypeAccess(node.target.enclosingClass),
          glue.invocationName(node.selector),
          visitExpression(node.receiver),
          visitExpressionList(node.arguments)])
         .withSourceInformation(node.sourceInformation);
   }
 
   @override
   js.Expression visitLiteralList(tree_ir.LiteralList node) {
@@ skipping 357 matching lines @@
     return new js.ObjectInitializer(const <js.Property>[]);
   }
 
   @override
   js.Expression visitCreateInstance(tree_ir.CreateInstance node) {
     ClassElement classElement = node.classElement;
     // TODO(asgerf): To allow inlining of InvokeConstructor, CreateInstance must
     //               carry a DartType so we can register the instantiated type
     //               with its type arguments. Otherwise dataflow analysis is
     //               needed to reconstruct the instantiated type.
-    registry.registerInstantiatedClass(classElement);
+    registry.registerInstantiation(classElement.rawType);
     if (classElement is ClosureClassElement) {
       registry.registerInstantiatedClosure(classElement.methodElement);
     }
     js.Expression instance = new js.New(
         glue.constructorAccess(classElement),
         visitExpressionList(node.arguments))
         .withSourceInformation(node.sourceInformation);
 
     List<tree_ir.Expression> typeInformation = node.typeInformation;
     assert(typeInformation.isEmpty ||
@@ skipping 31 matching lines @@
     registry.registerSpecializedGetInterceptor(node.interceptedClasses);
     js.Name helperName = glue.getInterceptorName(node.interceptedClasses);
     js.Expression globalHolder = glue.getInterceptorLibrary();
     return js.js('#.#(#)',
         [globalHolder, helperName, visitExpression(node.input)])
             .withSourceInformation(node.sourceInformation);
   }
 
   @override
   js.Expression visitGetField(tree_ir.GetField node) {
-    registry.registerFieldGetter(node.field);
+    registry.registerStaticUse(new StaticUse.fieldGet(node.field));
     return new js.PropertyAccess(
         visitExpression(node.object),
         glue.instanceFieldPropertyName(node.field));
   }
 
   @override
   js.Assignment visitSetField(tree_ir.SetField node) {
-    registry.registerFieldSetter(node.field);
+    registry.registerStaticUse(new StaticUse.fieldSet(node.field));
     js.PropertyAccess field =
         new js.PropertyAccess(
             visitExpression(node.object),
             glue.instanceFieldPropertyName(node.field));
     return new js.Assignment(field, visitExpression(node.value));
   }
 
   @override
   js.Expression visitGetStatic(tree_ir.GetStatic node) {
     assert(node.element is FieldElement || node.element is FunctionElement);
     if (node.element is FunctionElement) {
       // Tear off a method.
-      registry.registerGetOfStaticFunction(node.element.declaration);
+      registry.registerStaticUse(
+          new StaticUse.staticTearOff(node.element.declaration));
       return glue.isolateStaticClosureAccess(node.element);
     }
     if (glue.isLazilyInitialized(node.element)) {
       // Read a lazily initialized field.
-      registry.registerStaticUse(node.element.declaration);
+      registry.registerStaticUse(
+          new StaticUse.staticInit(node.element.declaration));
       js.Expression getter = glue.isolateLazyInitializerAccess(node.element);
       return new js.Call(getter, <js.Expression>[],
           sourceInformation: node.sourceInformation);
     }
     // Read an eagerly initialized field.
-    registry.registerStaticUse(node.element.declaration);
+    registry.registerStaticUse(
+        new StaticUse.staticGet(node.element.declaration));
     return glue.staticFieldAccess(node.element);
   }
 
   @override
   js.Expression visitSetStatic(tree_ir.SetStatic node) {
     assert(node.element is FieldElement);
-    registry.registerStaticUse(node.element.declaration);
+    registry.registerStaticUse(
+        new StaticUse.staticSet(node.element.declaration));
     js.Expression field = glue.staticFieldAccess(node.element);
     js.Expression value = visitExpression(node.value);
     return new js.Assignment(field, value);
   }
 
   @override
   js.Expression visitGetLength(tree_ir.GetLength node) {
     return new js.PropertyAccess.field(visitExpression(node.object), 'length');
   }
 
   @override
   js.Expression visitGetIndex(tree_ir.GetIndex node) {
     return new js.PropertyAccess(
         visitExpression(node.object),
         visitExpression(node.index));
   }
 
   @override
   js.Expression visitSetIndex(tree_ir.SetIndex node) {
     return js.js('#[#] = #',
         [visitExpression(node.object),
          visitExpression(node.index),
          visitExpression(node.value)]);
   }
 
   js.Expression buildStaticHelperInvocation(
       FunctionElement helper,
       List<js.Expression> arguments,
       {SourceInformation sourceInformation}) {
-    registry.registerStaticUse(helper);
+    registry.registerStaticUse(new StaticUse.staticInvoke(
+        helper, new CallStructure.unnamed(arguments.length)));
     return buildStaticInvoke(
         helper, arguments, sourceInformation: sourceInformation);
   }
 
   @override
   js.Expression visitReifyRuntimeType(tree_ir.ReifyRuntimeType node) {
     js.Expression typeToString = buildStaticHelperInvocation(
         glue.getRuntimeTypeToString(),
         [visitExpression(node.value)],
         sourceInformation: node.sourceInformation);
@@ skipping 24 matching lines @@
   @override
   js.Expression visitTypeExpression(tree_ir.TypeExpression node) {
     List<js.Expression> arguments = visitExpressionList(node.arguments);
     return glue.generateTypeRepresentation(node.dartType, arguments, registry);
   }
 
   js.Node handleForeignCode(tree_ir.ForeignCode node) {
     if (node.dependency != null) {
       // Dependency is only used if [node] calls a Dart function. Currently only
       // through foreign function `RAW_DART_FUNCTION_REF`.
-      registry.registerStaticUse(node.dependency);
+      registry.registerStaticUse(
+          new StaticUse.staticInvoke(
+              node.dependency,
+              new CallStructure.unnamed(node.arguments.length)));
     }
-    // TODO(sra): Should this be in CodegenRegistry?
+    // TODO(sra,johnniwinther): Should this be in CodegenRegistry?
     glue.registerNativeBehavior(node.nativeBehavior, node);
     return node.codeTemplate.instantiate(visitExpressionList(node.arguments));
   }
 
   @override
   js.Expression visitForeignExpression(tree_ir.ForeignExpression node) {
     return handleForeignCode(node);
   }
 
   @override
@@ skipping 43 matching lines @@
         // No normalization required since output is always uint32.
         return js.js('# >>> #', args);
       case BuiltinOperator.NumBitNot:
         return js.js('(~#) >>> 0', args);
       case BuiltinOperator.NumNegate:
         return js.js('-#', args);
       case BuiltinOperator.StringConcatenate:
         if (args.isEmpty) return js.string('');
         return args.reduce((e1,e2) => new js.Binary('+', e1, e2));
       case BuiltinOperator.Identical:
-        registry.registerStaticInvocation(glue.identicalFunction);
+        registry.registerStaticUse(new StaticUse.staticInvoke(
+            glue.identicalFunction, new CallStructure.unnamed(args.length)));
         return buildStaticHelperInvocation(glue.identicalFunction, args);
       case BuiltinOperator.StrictEq:
         return new js.Binary('===', args[0], args[1]);
       case BuiltinOperator.StrictNeq:
         return new js.Binary('!==', args[0], args[1]);
       case BuiltinOperator.LooseEq:
         return new js.Binary('==', args[0], args[1]);
       case BuiltinOperator.LooseNeq:
         return new js.Binary('!=', args[0], args[1]);
       case BuiltinOperator.IsFalsy:
@@ skipping 124 matching lines @@
   void registerDefaultParameterValues(ExecutableElement element) {
     if (element is! FunctionElement) return;
     FunctionElement function = element;
     if (function.isStatic) return; // Defaults are inlined at call sites.
     function.functionSignature.forEachOptionalParameter((param) {
       ConstantValue constant = glue.getDefaultParameterValue(param);
       registry.registerCompileTimeConstant(constant);
     });
   }
 }