Add UInt32 and UInt31 types to better infer bit operations.

sdk/lib/_internal/compiler/implementation/ssa/nodes.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 HVisitor<R> {
   R visitAdd(HAdd node);
   R visitBitAnd(HBitAnd node);
   R visitBitNot(HBitNot node);
@@ skipping 144 matching lines @@
   }
 
   HBasicBlock addNewLoopHeaderBlock(TargetElement target,
                                     List<LabelElement> labels) {
     HBasicBlock result = addNewBlock();
     result.loopInformation =
         new HLoopInformation(result, target, labels);
     return result;
   }
 
-  static TypeMask mapConstantTypeToSsaType(Constant constant,
-                                           Compiler compiler) {
-    JavaScriptBackend backend = compiler.backend;
-    if (constant.isNull()) return backend.nullType;
-    if (constant.isBool()) return backend.boolType;
-    if (constant.isInt()) return backend.intType;
-    if (constant.isDouble()) return backend.doubleType;
-    if (constant.isString()) return backend.stringType;
-    if (constant.isList()) return backend.readableArrayType;
-    if (constant.isFunction()) return backend.nonNullType;
-    if (constant.isSentinel()) return backend.nonNullType;
-    // TODO(sra): What is the type of the prototype of an interceptor?
-    if (constant.isInterceptor()) return backend.nonNullType;
-    ObjectConstant objectConstant = constant;
-    if (backend.isInterceptorClass(objectConstant.type.element)) {
-      return backend.nonNullType;
-    }
-    return new TypeMask.nonNullExact(objectConstant.type.element);
-  }
-
   HConstant addConstant(Constant constant, Compiler compiler) {
     HConstant result = constants[constant];
     if (result == null) {
-      TypeMask type = mapConstantTypeToSsaType(constant, compiler);
+      TypeMask type = constant.computeMask(compiler);
       result = new HConstant.internal(constant, type);
       entry.addAtExit(result);
       constants[constant] = result;
     } else if (result.block == null) {
       // The constant was not used anymore.
       entry.addAtExit(result);
     }
     return result;
   }
 
@@ skipping 715 matching lines @@
   bool canBePrimitiveString(Compiler compiler) {
     JavaScriptBackend backend = compiler.backend;
     return instructionType.contains(backend.jsStringClass, compiler);
   }
 
   bool isInteger(Compiler compiler) {
     return instructionType.containsOnlyInt(compiler)
         && !instructionType.isNullable;
   }
 
+  bool isUInt32(Compiler compiler) {
+    JavaScriptBackend backend = compiler.backend;
+    return !instructionType.isNullable
+        && instructionType.satisfies(backend.jsUInt32Class, compiler);
+  }
+
+  bool isUInt31(Compiler compiler) {
+    JavaScriptBackend backend = compiler.backend;
+    return !instructionType.isNullable
+        && instructionType.satisfies(backend.jsUInt31Class, compiler);
+  }
+
   bool isIntegerOrNull(Compiler compiler) {
     return instructionType.containsOnlyInt(compiler);
   }
 
   bool isNumber(Compiler compiler) {
     return instructionType.containsOnlyNum(compiler)
         && !instructionType.isNullable;
   }
 
   bool isNumberOrNull(Compiler compiler) {
@@ skipping 1904 matching lines @@
   HBasicBlock get start => expression.start;
   HBasicBlock get end {
     // We don't create a switch block if there are no cases.
     assert(!statements.isEmpty);
     return statements.last.end;
   }
 
   bool accept(HStatementInformationVisitor visitor) =>
       visitor.visitSwitchInfo(this);
 }