Fix selector name check, and make the interceptor participate in speculatively propagating types.

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 222 matching lines @@
     // 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('-')) {
+      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);
         }
       }
     }
 
@@ skipping 1240 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.
 }