Add a new class InvokeDynamicSpecializer and subclasses that know what input types are beneficial f…

sdk/lib/_internal/compiler/implementation/ssa/optimize.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;
 
 abstract class OptimizationPhase {
   String get name;
   void visitGraph(HGraph graph);
 }
@@ skipping 212 matching lines @@
       // If the type can be null, and the intercepted method can be in
       // the object class, keep the interceptor.
       if (type.canBeNull()
           && interceptor.interceptedClasses.contains(compiler.objectClass)) {
         return node;
       }
       // Change the call to a regular invoke dynamic call.
       return new HInvokeDynamicMethod(
           node.selector, node.inputs.getRange(1, node.inputs.length - 1));
     }
+    HInstruction instruction =
+        node.specializer.tryConvertToBuiltin(node, types);
+    if (instruction != null) return instruction;
 
     Selector selector = node.selector;
-
-    // TODO(ngeoffray): Move this logic into a separate class.
-    if (selector.kind == SelectorKind.INDEX
-        && input.isIndexablePrimitive(types)) {
-      if (selector.name == const SourceString('[]')) {
-        return new HIndex(node.inputs[1], node.inputs[2]);
-      } else if (input.isMutableArray(types)) {
-        assert(selector.name == const SourceString('[]='));
-        return new HIndexAssign(node.inputs[1], node.inputs[2], node.inputs[3]);
-      }
-    } else if (selector.kind == SelectorKind.OPERATOR) {
-      if (selector.name == const SourceString('unary-')) {
-        if (input.isNumber(types)) {
-          return new HNegate(input);
-        }
-      } else if (selector.name == const SourceString('~')) {
-        if (input.isNumber(types)) {
-          return new HBitNot(input);
-        }
-      }
-    }
-
     SourceString selectorName = selector.name;
     Element target;
     if (input.isExtendableArray(types)) {
       if (selectorName == backend.jsArrayRemoveLast.name
           && selector.argumentCount == 0) {
         target = backend.jsArrayRemoveLast;
       } else if (selectorName == backend.jsArrayAdd.name
                  && selector.argumentCount == 1
                  && selector.namedArgumentCount == 0
                  && !compiler.enableTypeAssertions) {
@@ skipping 1230 matching lines @@
     HInstruction receiver = interceptor.receiver;
     for (var user in receiver.usedBy) {
       if (user is HInterceptor && interceptor.dominates(user)) {
         user.interceptedClasses = interceptor.interceptedClasses;
       }
     }
   }
 
   // TODO(ngeoffray): Also implement it for non-intercepted calls.
 }