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

pkg/compiler/lib/src/dart_backend/backend.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 dart_backend;
 
 // TODO(ahe): This class is simply wrong.  This backend should use
 // elements when it can, not AST nodes.  Perhaps a [Map<Element,
 // TreeElements>] is what is needed.
 class ElementAst {
@@ skipping 119 matching lines @@
     final LITERAL_TYPE_NAMES = const [
       'Map', 'List', 'num', 'int', 'double', 'bool'
     ];
     final coreLibrary = compiler.coreLibrary;
     for (final name in LITERAL_TYPE_NAMES) {
       ClassElement classElement = coreLibrary.findLocal(name);
       classElement.ensureResolved(resolution);
     }
     // Enqueue the methods that the VM might invoke on user objects because
     // we don't trust the resolution to always get these included.
-    world.registerInvocation(new UniverseSelector(Selectors.toString_, null));
-    world.registerInvokedGetter(
+    world.registerDynamicUse(new UniverseSelector(Selectors.toString_, null));
+    world.registerDynamicUse(
         new UniverseSelector(Selectors.hashCode_, null));
-    world.registerInvocation(
+    world.registerDynamicUse(
         new UniverseSelector(new Selector.binaryOperator('=='), null));
-    world.registerInvocation(
+    world.registerDynamicUse(
         new UniverseSelector(Selectors.compareTo, null));
   }
 
   WorldImpact codegen(CodegenWorkItem work) {
     return const WorldImpact();
   }
 
   /**
    * Tells whether we should output given element. Corelib classes like
    * Object should not be in the resulting code.
@@ skipping 102 matching lines @@
         enqueuer.addToWorkList(getNameFunction);
       }
     }
   }
 
   @override
   void registerInstantiatedType(InterfaceType type,
                                 Enqueuer enqueuer,
                                 Registry registry,
                                 {bool mirrorUsage: false}) {
-    registerPlatformMembers(type,
-        registerGetter: registry.registerDynamicGetter,
-        registerSetter: registry.registerDynamicSetter,
-        registerInvocation: registry.registerDynamicInvocation);
+    registerPlatformMembers(type, registerUse: registry.registerDynamicUse);
     super.registerInstantiatedType(
         type, enqueuer, registry, mirrorUsage: mirrorUsage);
   }
 
   /// Register dynamic access of members of [type] that implement members
   /// of types defined in the platform libraries.
   void registerPlatformMembers(
       InterfaceType type,
-      {void registerGetter(UniverseSelector selector),
-       void registerSetter(UniverseSelector selector),
-       void registerInvocation(UniverseSelector selector)}) {
+      {void registerUse(UniverseSelector selector)}) {
 
     // Without patching, dart2dart has no way of performing sound tree-shaking
     // in face external functions. Therefore we employ another scheme:
     //
     // Based on the assumption that the platform code only relies on the
     // interfaces of it's own classes, we can approximate the semantics of
     // external functions by eagerly registering dynamic invocation of instance
     // members defined the platform interfaces.
     //
     // Since we only need to generate code for non-platform classes we can
@@ skipping 31 matching lines @@
           if (_userImplementedPlatformClasses.add(superclass)) {
             // Register selectors for all instance methods since these might
             // be called on user classes from within the platform
             // implementation.
             superclass.forEachLocalMember((MemberElement element) {
               if (element.isConstructor || element.isStatic) return;
 
               FunctionElement function = element.asFunctionElement();
               element.computeType(resolution);
               Selector selector = new Selector.fromElement(element);
-              if (selector.isGetter) {
-                registerGetter(
-                    new UniverseSelector(selector, null));
-              } else if (selector.isSetter) {
-                registerSetter(
-                    new UniverseSelector(selector, null));
-              } else {
-                registerInvocation(
-                    new UniverseSelector(selector, null));
-              }
+              registerUse(
+                  new UniverseSelector(selector, null));
             });
           }
         }
       }
     }
   }
 
   @override
   bool enableDeferredLoadingIfSupported(Spannable node, Registry registry) {
     // TODO(sigurdm): Implement deferred loading for dart2dart.
@@ skipping 15 matching lines @@
     for (DartType typeLiteral in worldImpact.typeLiterals) {
       if (typeLiteral.isInterfaceType) {
         backend.usedTypeLiterals.add(typeLiteral.element);
       }
     }
     for (InterfaceType instantiatedType in worldImpact.instantiatedTypes) {
       // TODO(johnniwinther): Remove this when dependency tracking is done on
       // the world impact itself.
       transformed.registerInstantiatedType(instantiatedType);
       backend.registerPlatformMembers(instantiatedType,
-          registerGetter: transformed.registerDynamicGetter,
-          registerSetter: transformed.registerDynamicSetter,
-          registerInvocation: transformed.registerDynamicInvocation);
+          registerUse: transformed.registerDynamicUse);
     }
     return transformed;
   }
 }
 
 class EmitterUnparser extends Unparser {
   final Map<Node, String> renames;
 
   EmitterUnparser(this.renames, {bool minify, bool stripTypes})
       : super(minify: minify, stripTypes: stripTypes);
@@ skipping 166 matching lines @@
   }
 
   // TODO(johnniwinther): Remove this when values are computed from the
   // expressions.
   @override
   void copyConstantValues(DartConstantTask task) {
     constantCompiler.constantValueMap.addAll(
         task.constantCompiler.constantValueMap);
   }
 }