dart2js cps: Compute intercepted classes in optimize_interceptors.

pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart

 // Copyright (c) 2013, 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 dart2js.ir_nodes;
 
 import 'dart:collection';
 import 'cps_fragment.dart' show CpsFragment;
 import '../constants/values.dart' as values;
 import '../dart_types.dart' show DartType, InterfaceType, TypeVariableType;
 import '../elements/elements.dart';
@@ skipping 1466 matching lines @@
 /// - the input is an intercepted value but is bypassed by [interceptedClasses]
 ///
 /// The [flags] field indicates which of the above cases may happen, with
 /// additional special cases for null (which can either by intercepted or
 /// bypassed).
 class Interceptor extends Primitive {
   final Reference<Primitive> input;
   final Set<ClassElement> interceptedClasses = new Set<ClassElement>();
   final SourceInformation sourceInformation;
 
-  /// The input was a self-interceptor.
-  static const int SELF_INTERCEPT = 1 << 0;
-
-  /// A non-null value was mapped to an interceptor that was mentioned in
-  /// [interceptedClasses].
-  static const int NON_NULL_INTERCEPT_EXACT = 1 << 1;
-
-  /// A non-null value was mapped to an interceptor that is a subclass of
-  /// one mentioned in [interceptedClasses].
-  static const int NON_NULL_INTERCEPT_SUBCLASS = 1 << 2;
-
-  /// A non-null intercepted value was bypassed because none of its supertypes
-  /// were mentioned in [interceptedClasses].
-  static const int NON_NULL_BYPASS = 1 << 3;
-
-  /// Null was returned as-is.
-  static const int NULL_BYPASS = 1 << 4;
-
-  /// Null was mapped to JSNull, which was mentioned in [interceptedClasses].
-  static const int NULL_INTERCEPT_EXACT = 1 << 5;
-
-  /// Null was mapped to JSNull, because a superclass thereof (the interceptor
-  /// root class) was mentioned in [interceptedClasses].
-  static const int NULL_INTERCEPT_SUBCLASS = 1 << 6;
-
-  static const int NON_NULL_INTERCEPT = NON_NULL_INTERCEPT_EXACT |
-                                        NON_NULL_INTERCEPT_SUBCLASS;
-  static const int NULL_INTERCEPT = NULL_INTERCEPT_EXACT |
-                                    NULL_INTERCEPT_SUBCLASS;
-  static const int NULL = NULL_BYPASS |
-                          NULL_INTERCEPT;
-  static const int INTERCEPT_EXACT = NON_NULL_INTERCEPT_EXACT |
-                                     NULL_INTERCEPT_EXACT;
-  static const int INTERCEPT_SUBCLASS = NON_NULL_INTERCEPT_SUBCLASS |
-                                        NULL_INTERCEPT_SUBCLASS;
-  static const int INTERCEPT = NULL_INTERCEPT | NON_NULL_INTERCEPT;
-  static const int BYPASS = NULL_BYPASS | NON_NULL_BYPASS;
-
-  static const int ALL_FLAGS = SELF_INTERCEPT | BYPASS | INTERCEPT;
-
-  /// Which of the above cases may happen at runtime. Set by type propagation.
-  int flags = ALL_FLAGS;
-
-  void clearFlag(int flag) {
-    flags &= ~flag;
-  }
-
-  bool get isAlwaysIntercepted => flags & ~INTERCEPT == 0;
-  bool get isAlwaysNullOrIntercepted => flags & ~(NULL | INTERCEPT) == 0;
-
-  /// If the value is intercepted, it always matches exactly a class in
-  /// [interceptedClasses].
-  bool get isInterceptedClassAlwaysExact {
-    return flags & (INTERCEPT & ~INTERCEPT_EXACT) == 0;
-  }
-
   Interceptor(Primitive input, this.sourceInformation)
       : this.input = new Reference<Primitive>(input);
 
   accept(Visitor visitor) => visitor.visitInterceptor(this);
 
   bool get hasValue => true;
   bool get isSafeForElimination => true;
   bool get isSafeForReordering => true;
 
   void setParentPointers() {
@@ skipping 1284 matching lines @@
     plug(new Branch.loose(_definitions.getCopy(node.condition),
         _copies[node.trueContinuation.definition],
         _copies[node.falseContinuation.definition])
       ..isStrictCheck = node.isStrictCheck);
   }
 
   visitUnreachable(Unreachable node) {
     plug(new Unreachable());
   }
 }