Add TypeUse.

pkg/compiler/lib/src/js_backend/codegen/codegen.dart

 // Copyright (c) 2014, 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.
 
 library code_generator;
 
 import 'glue.dart';
 
 import '../../closure.dart' show
     ClosureClassElement;
@@ skipping 11 matching lines @@
     BuiltinMethod,
     BuiltinOperator;
 import '../../types/types.dart' show
     TypeMask;
 import '../../universe/call_structure.dart' show
     CallStructure;
 import '../../universe/selector.dart' show
     Selector;
 import '../../universe/use.dart' show
     DynamicUse,
-    StaticUse;
+    StaticUse,
+    TypeUse;
 import '../../util/maplet.dart';
 
 class CodegenBailout {
   final tree_ir.Node node;
   final String reason;
   CodegenBailout(this.node, this.reason);
   String get message {
     return 'bailout${node != null ? " on $node" : ""}: $reason';
   }
 }
@@ skipping 332 matching lines @@
   js.Expression visitThis(tree_ir.This node) {
     return new js.This();
   }
 
   @override
   js.Expression visitTypeOperator(tree_ir.TypeOperator node) {
     js.Expression value = visitExpression(node.value);
     List<js.Expression> typeArguments = visitExpressionList(node.typeArguments);
     DartType type = node.type;
     if (type is InterfaceType) {
-      registry.registerIsCheck(type);
+      registry.registerTypeUse(new TypeUse.isCheck(type));
       //glue.registerIsCheck(type, registry);
       ClassElement clazz = type.element;
 
       if (glue.isStringClass(clazz)) {
         if (node.isTypeTest) {
           return js.js(r'typeof # === "string"', <js.Expression>[value]);
         }
         // TODO(sra): Implement fast cast via calling 'stringTypeCast'.
       } else if (glue.isBoolClass(clazz)) {
         if (node.isTypeTest) {
@@ skipping 25 matching lines @@
           : new js.LiteralNull();
 
       js.Expression asT = glue.hasStrictSubtype(clazz)
           ? js.quoteName(glue.getTypeSubstitutionTag(clazz))
           : new js.LiteralNull();
 
       return buildStaticHelperInvocation(
           function,
           <js.Expression>[value, isT, typeArgumentArray, asT]);
     } else if (type is TypeVariableType || type is FunctionType) {
-      registry.registerIsCheck(type);
-      //glue.registerIsCheck(type, registry);
+      registry.registerTypeUse(new TypeUse.isCheck(type));
 
       Element function = node.isTypeTest
           ? glue.getCheckSubtypeOfRuntimeType()
           : glue.getSubtypeOfRuntimeTypeCast();
 
       // The only type argument is the type held in the type variable.
       js.Expression typeValue = typeArguments.single;
 
       return buildStaticHelperInvocation(
           function,
           <js.Expression>[value, typeValue]);
     }
     return giveup(node, 'type check unimplemented for $type.');
   }
 
   @override
   js.Expression visitGetTypeTestProperty(tree_ir.GetTypeTestProperty node) {
     js.Expression object = visitExpression(node.object);
     DartType dartType = node.dartType;
     assert(dartType.isInterfaceType);
-    registry.registerIsCheck(dartType);
+    registry.registerTypeUse(new TypeUse.isCheck(dartType));
     //glue.registerIsCheck(dartType, registry);
     js.Expression property = glue.getTypeTestTag(dartType);
     return js.js(r'#.#', [object, property]);
   }
 
   @override
   js.Expression visitVariableUse(tree_ir.VariableUse node) {
     return buildVariableAccess(node.variable);
   }
 
@@ skipping 615 matching lines @@
   void registerDefaultParameterValues(ExecutableElement element) {
     if (element is! FunctionElement) return;
     FunctionElement function = element;
     if (function.isStatic) return; // Defaults are inlined at call sites.
     function.functionSignature.forEachOptionalParameter((param) {
       ConstantValue constant = glue.getDefaultParameterValue(param);
       registry.registerCompileTimeConstant(constant);
     });
   }
 }