Implement CHA through type mask and TypedSelector in the simple type inferrer.

sdk/lib/_internal/compiler/implementation/js_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 js_backend;
 
 typedef void Recompile(Element element);
 
 class ReturnInfo {
   HType returnType;
@@ skipping 624 matching lines @@
       new Map<Element, jsAst.Expression>();
 
   ClassElement jsStringClass;
   ClassElement jsArrayClass;
   ClassElement jsNumberClass;
   ClassElement jsIntClass;
   ClassElement jsDoubleClass;
   ClassElement jsFunctionClass;
   ClassElement jsNullClass;
   ClassElement jsBoolClass;
+  ClassElement typeLiteralClass;
+  ClassElement mapLiteralClass;
+  ClassElement constMapLiteralClass;
   ClassElement jsIndexableClass;
   Element jsArrayLength;
   Element jsStringLength;
   Element jsArrayRemoveLast;
   Element jsArrayAdd;
   Element jsStringSplit;
   Element jsStringConcat;
   Element jsStringToString;
   Element getInterceptorMethod;
   Element interceptedNames;
@@ skipping 193 matching lines @@
         jsStringClass, const SourceString('split'));
     jsStringConcat = compiler.lookupElementIn(
         jsStringClass, const SourceString('concat'));
     jsStringToString = compiler.lookupElementIn(
         jsStringClass, const SourceString('toString'));
 
     for (ClassElement cls in classes) {
       if (cls != null) interceptedClasses.add(cls);
     }
 
+    typeLiteralClass = compiler.findHelper(const SourceString('TypeImpl'));
+    mapLiteralClass =
+        compiler.coreLibrary.find(const SourceString('LinkedHashMap'));
+    constMapLiteralClass =
+        compiler.findHelper(const SourceString('ConstantMap'));
+
     specialOperatorEqClasses
         ..add(jsNullClass)
         ..add(jsNumberClass);
   }
 
   void addInterceptors(ClassElement cls, Enqueuer enqueuer) {
     if (enqueuer.isResolutionQueue) {
       cls.ensureResolved(compiler);
       cls.forEachMember((ClassElement classElement, Element member) {
           Set<Element> set = interceptedElements.putIfAbsent(
@@ skipping 49 matching lines @@
         enqueuer.registerStaticUse(
             compiler.findHelper(const SourceString('ioore')));
         enqueuer.registerStaticUse(
             compiler.findHelper(const SourceString('iae')));
       } else if (cls == compiler.functionClass) {
         enqueuer.registerInstantiatedClass(compiler.closureClass);
       } else if (cls == compiler.mapClass) {
         // The backend will use a literal list to initialize the entries
         // of the map.
         enqueuer.registerInstantiatedClass(compiler.listClass);
-        enqueuer.registerInstantiatedClass(compiler.mapLiteralClass);
+        enqueuer.registerInstantiatedClass(mapLiteralClass);
         enqueueInResolution(getMapMaker());
       }
     }
     ClassElement result = null;
     if (cls == compiler.stringClass) {
       addInterceptors(jsStringClass, enqueuer);
     } else if (cls == compiler.listClass) {
       addInterceptors(jsArrayClass, enqueuer);
     } else if (cls == compiler.intClass) {
       addInterceptors(jsIntClass, enqueuer);
@@ skipping 84 matching lines @@
   }
 
   void registerRuntimeType() {
     enqueueInResolution(getSetRuntimeTypeInfo());
     enqueueInResolution(getGetRuntimeTypeInfo());
     enqueueInResolution(getGetRuntimeTypeArgument());
     compiler.enqueuer.resolution.registerInstantiatedClass(compiler.listClass);
   }
 
   void registerIsCheck(DartType type, Enqueuer world) {
+    world.registerInstantiatedClass(compiler.boolClass);
     bool isTypeVariable = type.kind == TypeKind.TYPE_VARIABLE;
     if (!type.isRaw || isTypeVariable) {
       enqueueInResolution(getSetRuntimeTypeInfo());
       enqueueInResolution(getGetRuntimeTypeInfo());
       enqueueInResolution(getGetRuntimeTypeArgument());
       enqueueInResolution(getCheckArguments());
       if (isTypeVariable) enqueueInResolution(getGetObjectIsSubtype());
       world.registerInstantiatedClass(compiler.listClass);
     }
     // [registerIsCheck] is also called for checked mode checks, so we
@@ skipping 482 matching lines @@
   void eagerRecompile(Element element) {
     assert(invariant(element, element.isDeclaration));
     generatedCode.remove(element);
     generatedBailoutCode.remove(element);
     compiler.enqueuer.codegen.addToWorkList(element);
   }
 
   bool isNullImplementation(ClassElement cls) {
     return cls == jsNullClass;
   }
+
+  ClassElement get intImplementation => jsIntClass;
+  ClassElement get doubleImplementation => jsDoubleClass;
+  ClassElement get numImplementation => jsNumberClass;
+  ClassElement get stringImplementation => jsStringClass;
+  ClassElement get listImplementation => jsArrayClass;
+  ClassElement get mapImplementation => mapLiteralClass;
+  ClassElement get constMapImplementation => constMapLiteralClass;
+  ClassElement get functionImplementation => jsFunctionClass;
+  ClassElement get typeImplementation => typeLiteralClass;
+  ClassElement get boolImplementation => jsBoolClass;
+  ClassElement get nullImplementation => jsNullClass;
 }