Move hashCode and runtimeType into new interceptors scheme.

sdk/lib/_internal/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.
 
 part of ssa;
 
+/**
+ * A special element for the extra parameter taken by intercepted
+ * methods. We need to override [Element.computeType] because our
+ * optimizers may look at its declared type.
+ */
+class InterceptedElement extends Element {
+  final HType ssaType;
+  InterceptedElement(this.ssaType, Element enclosing)
+      : super(const SourceString('receiver'),
+              ElementKind.PARAMETER,
+              enclosing);
+
+  DartType computeType(Compiler compiler) => ssaType.computeType(compiler);
+}
+
 class Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
     if (identical(name, '+')) return const SourceString('add');
     if (identical(name, '-')) return const SourceString('sub');
     if (identical(name, '*')) return const SourceString('mul');
     if (identical(name, '/')) return const SourceString('div');
@@ skipping 400 matching lines @@
       // not have any thisElement if the closure was created inside a static
       // context.
       ClassElement cls = element.getEnclosingClass();
       DartType type = cls.computeType(builder.compiler);
       builder.thisInstruction = new HThis(closureData.thisElement,
                                           new HBoundedType.nonNull(type));
       builder.graph.entry.addAtEntry(builder.thisInstruction);
       directLocals[closureData.thisElement] = builder.thisInstruction;
     }
 
+    // If this method is an intercepted method, add the extra
+    // parameter to it, that is the actual receiver.
     ClassElement cls = element.getEnclosingClass();
     if (builder.backend.isInterceptorClass(cls)) {
-      Element parameter = new Element(
-          const SourceString('receiver'), ElementKind.VARIABLE, element);
-      HParameterValue value = new HParameterValue(parameter);
-      builder.graph.entry.addAfter(
-          directLocals[closureData.thisElement], value);
-      directLocals[closureData.thisElement] = value;
       HType type = HType.UNKNOWN;
       if (cls == builder.backend.jsArrayClass) {
         type = HType.READABLE_ARRAY;
       } else if (cls == builder.backend.jsStringClass) {
         type = HType.STRING;
       } else if (cls == builder.backend.jsNumberClass) {
         type = HType.NUMBER;
       } else if (cls == builder.backend.jsIntClass) {
         type = HType.INTEGER;
       } else if (cls == builder.backend.jsDoubleClass) {
         type = HType.DOUBLE;
       } else if (cls == builder.backend.jsNullClass) {
         type = HType.NULL;
       } else if (cls == builder.backend.jsBoolClass) {
         type = HType.BOOLEAN;
       }
+      Element parameter = new InterceptedElement(type, element);
+      HParameterValue value = new HParameterValue(parameter);
+      builder.graph.entry.addAfter(
+          directLocals[closureData.thisElement], value);
+      directLocals[closureData.thisElement] = value;
       value.guaranteedType = type;
     }
   }
 
   bool hasValueForDirectLocal(Element element) {
     assert(element != null);
     assert(isAccessedDirectly(element));
     return directLocals[element] != null;
   }
 
@@ skipping 4481 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;
   }
 }