Add UInt32 and UInt31 types to better infer bit operations.

tests/compiler/dart2js/simple_inferrer_test.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.
 
 import 'package:expect/expect.dart';
 import "package:async_helper/async_helper.dart";
 import
     '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
     show TypeMask;
 
@@ skipping 699 matching lines @@
       Expect.equals(
           type,
           typesInferrer.getReturnTypeOfElement(element).simplify(compiler),
           name);
     }
     var interceptorType =
         findTypeMask(compiler, 'Interceptor', 'nonNullSubclass');
 
     checkReturn('returnNum1', typesTask.numType);
     checkReturn('returnNum2', typesTask.numType);
-    checkReturn('returnInt1', typesTask.intType);
-    checkReturn('returnInt2', typesTask.intType);
+    checkReturn('returnInt1', typesTask.uint31Type);
+    checkReturn('returnInt2', typesTask.uint31Type);
     checkReturn('returnDouble', typesTask.doubleType);
     checkReturn('returnGiveUp', interceptorType);
     checkReturn('returnInt5', typesTask.intType);
     checkReturn('returnInt6', typesTask.intType);
-    checkReturn('returnIntOrNull', typesTask.intType.nullable());
-    checkReturn('returnInt3', typesTask.intType);
+    checkReturn('returnIntOrNull', typesTask.uint31Type.nullable());
+    checkReturn('returnInt3', typesTask.uint31Type);
     checkReturn('returnDynamic', typesTask.dynamicType);
-    checkReturn('returnInt4', typesTask.intType);
+    checkReturn('returnInt4', typesTask.uint31Type);
     checkReturn('returnInt7', typesTask.intType);
     checkReturn('returnInt8', typesTask.intType);
     checkReturn('returnEmpty1', const TypeMask.nonNullEmpty());
     checkReturn('returnEmpty2', const TypeMask.nonNullEmpty());
     TypeMask intType = new TypeMask.nonNullSubtype(compiler.intClass);
     checkReturn('testIsCheck1', intType);
     checkReturn('testIsCheck2', intType);
     checkReturn('testIsCheck3', intType.nullable());
     checkReturn('testIsCheck4', intType);
     checkReturn('testIsCheck5', intType);
@@ skipping 14 matching lines @@
     checkReturn('testIsCheck20', typesTask.dynamicType.nonNullable());
     checkReturn('testIsCheck21', typesTask.dynamicType);
     checkReturn('testIsCheck22', typesTask.dynamicType);
     checkReturn('testIsCheck23', intType);
     checkReturn('testIsCheck24', intType);
     checkReturn('testIsCheck25', typesTask.dynamicType);
     checkReturn('testIsCheck26', intType);
     checkReturn('testIsCheck27', intType);
     checkReturn('testIsCheck28', typesTask.dynamicType);
     checkReturn('testIsCheck29', typesTask.dynamicType);
-    checkReturn('testIf1', typesTask.intType.nullable());
-    checkReturn('testIf2', typesTask.intType.nullable());
+    checkReturn('testIf1', typesTask.uint31Type.nullable());
+    checkReturn('testIf2', typesTask.uint31Type.nullable());
     checkReturn('returnAsString',
         new TypeMask.subtype(compiler.stringClass));
-    checkReturn('returnIntAsNum', typesTask.intType);
+    checkReturn('returnIntAsNum', typesTask.uint31Type);
     checkReturn('returnAsTypedef', typesTask.functionType.nullable());
     checkReturn('returnTopLevelGetter', typesTask.intType);
     checkReturn('testDeadCode', typesTask.intType);
-    checkReturn('testLabeledIf', typesTask.intType.nullable());
+    checkReturn('testLabeledIf', typesTask.uint31Type.nullable());
     checkReturn('testSwitch1', typesTask.intType
         .union(typesTask.doubleType, compiler)
         .nullable().simplify(compiler));
-    checkReturn('testSwitch2', typesTask.intType);
+    checkReturn('testSwitch2', typesTask.uint31Type);
     checkReturn('testSwitch3', interceptorType.nullable());
-    checkReturn('testSwitch4', typesTask.intType);
-    checkReturn('testSwitch5', typesTask.intType);
+    checkReturn('testSwitch4', typesTask.uint31Type);
+    checkReturn('testSwitch5', typesTask.uint31Type);
     checkReturn('testContinue1', interceptorType.nullable());
     checkReturn('testBreak1', interceptorType.nullable());
     checkReturn('testContinue2', interceptorType.nullable());
     checkReturn('testBreak2', typesTask.intType.nullable());
-    checkReturn('testReturnElementOfConstList1', typesTask.intType);
-    checkReturn('testReturnElementOfConstList2', typesTask.intType);
-    checkReturn('testReturnItselfOrInt', typesTask.intType);
+    checkReturn('testReturnElementOfConstList1', typesTask.uint31Type);
+    checkReturn('testReturnElementOfConstList2', typesTask.uint31Type);
+    checkReturn('testReturnItselfOrInt', typesTask.uint31Type);
     checkReturn('testReturnInvokeDynamicGetter', typesTask.dynamicType);
 
     checkReturn('testDoWhile1', typesTask.stringType);
     checkReturn('testDoWhile2', typesTask.nullType);
-    checkReturn('testDoWhile3', typesTask.intType);
+    checkReturn('testDoWhile3', typesTask.uint31Type);
     checkReturn('testDoWhile4', typesTask.numType);
 
     checkReturnInClass(String className, String methodName, type) {
       var cls = findElement(compiler, className);
       var element = cls.lookupLocalMember(methodName);
       Expect.equals(type,
           typesInferrer.getReturnTypeOfElement(element).simplify(compiler));
     }
 
     checkReturnInClass('A', 'returnInt1', typesTask.intType);
@@ skipping 20 matching lines @@
       Expect.equals(new TypeMask.nonNullExact(cls),
                     typesInferrer.getReturnTypeOfElement(element));
     }
     checkFactoryConstructor('A', '');
 
     checkReturn('testCascade1', typesTask.growableListType);
     checkReturn('testCascade2', new TypeMask.nonNullExact(
         findElement(compiler, 'CascadeHelper')));
     checkReturn('testSpecialization1', typesTask.numType);
     checkReturn('testSpecialization2', typesTask.dynamicType);
-    checkReturn('testSpecialization3', typesTask.intType.nullable());
+    checkReturn('testSpecialization3', typesTask.uint31Type.nullable());
     checkReturn('testReturnNull1', typesTask.nullType);
     checkReturn('testReturnNull2', typesTask.nullType);
     checkReturn('testReturnNull3', typesTask.dynamicType);
     checkReturn('testReturnNull4', typesTask.nullType);
     checkReturn('testReturnNull5', typesTask.nullType);
     checkReturn('testReturnNull6', typesTask.dynamicType);
   }));
 }