Optimize DateTime properties

pkg/compiler/lib/src/inferrer/type_graph_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.
 
 part of type_graph_inferrer;
 
 /**
  * Common class for all nodes in the graph. The current nodes are:
  *
  * - Concrete types
@@ skipping 786 matching lines @@
     bool isPositiveInt(info) {
       return info.type.satisfies(
           classWorld.backend.positiveIntImplementation, classWorld);
     }
 
     String name = selector.name;
     // We are optimizing for the cases that are not expressed in the
     // Dart code, for example:
     // int + int -> int
     // uint31 | uint31 -> uint31
-    if (name == '*' || name == '+' || name == '%' || name == 'remainder' ||
+    if (name == '*' || name == '+' ||name == '%' || name == 'remainder' ||
         name == '~/') {
       if (isPositiveInt(receiver) &&
           arguments.hasOnePositionalArgumentThatMatches(isPositiveInt)) {
-        return inferrer.types.positiveIntType;
+        // uint31 + uint31 -> uint32
+        if (name == '+' && isUInt31(receiver) &&
+            arguments.hasOnePositionalArgumentThatMatches(isUInt31)) {
+          return inferrer.types.uint32Type;
+        } else {
+          return inferrer.types.positiveIntType;
+        }
       } else if (arguments.hasOnePositionalArgumentThatMatches(isInt)) {
         return inferrer.types.intType;
       } else if (arguments.hasOnePositionalArgumentThatMatches(isEmpty)) {
         return inferrer.types.nonNullEmptyType;
       } else {
         return null;
       }
     } else if (name == '|' || name == '^') {
       if (isUInt31(receiver) &&
           arguments.hasOnePositionalArgumentThatMatches(isUInt31)) {
@@ skipping 725 matching lines @@
   T visitConcreteTypeInformation(ConcreteTypeInformation info);
   T visitStringLiteralTypeInformation(StringLiteralTypeInformation info);
   T visitClosureCallSiteTypeInformation(ClosureCallSiteTypeInformation info);
   T visitStaticCallSiteTypeInformation(StaticCallSiteTypeInformation info);
   T visitDynamicCallSiteTypeInformation(DynamicCallSiteTypeInformation info);
   T visitMemberTypeInformation(MemberTypeInformation info);
   T visitParameterTypeInformation(ParameterTypeInformation info);
   T visitClosureTypeInformation(ClosureTypeInformation info);
   T visitAwaitTypeInformation(AwaitTypeInformation info);
 }