Optimize DateTime properties

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 'package:compiler/src/types/types.dart' show TypeMask;
 import 'type_mask_test_helper.dart';
 
 import 'compiler_helper.dart';
@@ skipping 564 matching lines @@
   returnInt2() => new A().myField += 4;
   returnInt3() => ++new A()[0];
   returnInt4() => new A()[0] += 42;
   returnInt5() => ++super.myField;
   returnInt6() => super.myField += 4;
   returnInt7() => ++super[0];
   returnInt8() => super[0] += 54;
   returnInt9() => super.myField;
 }
 
+class C {
+  var myField = 42;
+  C();
+
+  returnInt1() => ++myField;
+  returnInt2() => ++this.myField;
+  returnInt3() => this.myField += 42;
+  returnInt4() => myField += 42;
+  operator[](index) => myField;
+  operator[]= (index, value) {}
+  returnInt5() => ++this[0];
+  returnInt6() => this[0] += 1;
+}
+
 testCascade1() {
   return [1, 2, 3]..add(4)..add(5);
 }
 
 testCascade2() {
   return new CascadeHelper()
       ..a = "hello"
       ..b = 42
       ..i += 1;
 }
@@ skipping 82 matching lines @@
 
   new B()..returnInt1()
          ..returnInt2()
          ..returnInt3()
          ..returnInt4()
          ..returnInt5()
          ..returnInt6()
          ..returnInt7()
          ..returnInt8()
          ..returnInt9();
+
+  new C()..returnInt1()
+         ..returnInt2()
+         ..returnInt3()
+         ..returnInt4()
+         ..returnInt5()
+         ..returnInt6();
   testReturnElementOfConstList1();
   testReturnElementOfConstList2();
   testReturnItselfOrInt(topLevelGetter());
   testReturnInvokeDynamicGetter();
   testCascade1();
   testCascade2();
   testSpecialization1();
   testSpecialization2();
   testSpecialization3();
   testReturnNull1(topLevelGetter());
@@ skipping 23 matching lines @@
     }
     var interceptorType =
         findTypeMask(compiler, 'Interceptor', 'nonNullSubclass');
 
     checkReturn('returnNum1', typesTask.numType);
     checkReturn('returnNum2', typesTask.numType);
     checkReturn('returnInt1', typesTask.uint31Type);
     checkReturn('returnInt2', typesTask.uint31Type);
     checkReturn('returnDouble', typesTask.doubleType);
     checkReturn('returnGiveUp', interceptorType);
-    checkReturn('returnInt5', typesTask.positiveIntType);
-    checkReturn('returnInt6', typesTask.positiveIntType);
+    checkReturn('returnInt5', typesTask.uint32Type);  // uint31+uint31->uint32
+    checkReturn('returnInt6', typesTask.uint32Type);  // uint31+uint31->uint32
     checkReturn('returnIntOrNull', typesTask.uint31Type.nullable());
     checkReturn('returnInt3', typesTask.uint31Type);
     checkReturn('returnDynamic', typesTask.dynamicType);
     checkReturn('returnInt4', typesTask.uint31Type);
     checkReturn('returnInt7', typesTask.positiveIntType);
     checkReturn('returnInt8', typesTask.positiveIntType);
     checkReturn('returnEmpty1', const TypeMask.nonNullEmpty());
     checkReturn('returnEmpty2', const TypeMask.nonNullEmpty());
     TypeMask intType = new TypeMask.nonNullSubtype(compiler.intClass,
         compiler.world);
@@ skipping 40 matching lines @@
             .union(typesTask.doubleType, compiler.world)
             .nullable(),
         compiler));
     checkReturn('testSwitch2', typesTask.uint31Type);
     checkReturn('testSwitch3', interceptorType.nullable());
     checkReturn('testSwitch4', typesTask.uint31Type);
     checkReturn('testSwitch5', typesTask.uint31Type);
     checkReturn('testContinue1', interceptorType.nullable());
     checkReturn('testBreak1', interceptorType.nullable());
     checkReturn('testContinue2', interceptorType.nullable());
-    checkReturn('testBreak2', typesTask.positiveIntType.nullable());
+    checkReturn('testBreak2', typesTask.uint32Type.nullable());
     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.uint31Type);
     checkReturn('testDoWhile4', typesTask.numType);
 
     checkReturnInClass(String className, String methodName, type) {
       var cls = findElement(compiler, className);
       var element = cls.lookupLocalMember(methodName);
       Expect.equals(type,
           simplify(typesInferrer.getReturnTypeOfElement(element), compiler),
           '$className:$methodName');
     }
 
-    checkReturnInClass('A', 'returnInt1', typesTask.positiveIntType);
-    checkReturnInClass('A', 'returnInt2', typesTask.positiveIntType);
-    checkReturnInClass('A', 'returnInt3', typesTask.positiveIntType);
-    checkReturnInClass('A', 'returnInt4', typesTask.positiveIntType);
-    checkReturnInClass('A', 'returnInt5', typesTask.positiveIntType);
-    checkReturnInClass('A', 'returnInt6', typesTask.positiveIntType);
+    checkReturnInClass('A', 'returnInt1', typesTask.uint32Type);
+    checkReturnInClass('A', 'returnInt2', typesTask.uint32Type);
+    checkReturnInClass('A', 'returnInt3', typesTask.uint32Type);
+    checkReturnInClass('A', 'returnInt4', typesTask.uint32Type);
+    checkReturnInClass('A', 'returnInt5', typesTask.uint32Type);
+    checkReturnInClass('A', 'returnInt6', typesTask.uint32Type);
     checkReturnInClass('A', '==', interceptorType);
 
-    checkReturnInClass('B', 'returnInt1', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt2', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt3', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt4', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt5', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt6', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt7', typesTask.positiveIntType);
-    checkReturnInClass('B', 'returnInt8', typesTask.positiveIntType);
+    checkReturnInClass('B', 'returnInt1', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt2', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt3', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt4', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt5', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt6', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt7', typesTask.uint32Type);
+    checkReturnInClass('B', 'returnInt8', typesTask.uint32Type);
     checkReturnInClass('B', 'returnInt9', typesTask.uint31Type);
 
+    checkReturnInClass('C', 'returnInt1', typesTask.positiveIntType);
+    checkReturnInClass('C', 'returnInt2', typesTask.positiveIntType);
+    checkReturnInClass('C', 'returnInt3', typesTask.positiveIntType);
+    checkReturnInClass('C', 'returnInt4', typesTask.positiveIntType);
+    checkReturnInClass('C', 'returnInt5', typesTask.positiveIntType);
+    checkReturnInClass('C', 'returnInt6', typesTask.positiveIntType);
+
     checkFactoryConstructor(String className, String factoryName) {
       var cls = findElement(compiler, className);
       var element = cls.localLookup(factoryName);
       Expect.equals(new TypeMask.nonNullExact(cls, world),
                     typesInferrer.getReturnTypeOfElement(element));
     }
     checkFactoryConstructor('A', '');
 
     checkReturn('testCascade1', typesTask.growableListType);
     checkReturn('testCascade2', new TypeMask.nonNullExact(
         findElement(compiler, 'CascadeHelper'), world));
     checkReturn('testSpecialization1', typesTask.numType);
     checkReturn('testSpecialization2', typesTask.dynamicType);
     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);
     checkReturn('testReturnNotEquals', typesTask.boolType);
   }));
 }