dart2js cps: Introduce some built-in operators in type propagation.

tests/compiler/dart2js/backend_dart/sexpr_unstringifier.dart

 // Copyright (c) 2014, 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.
 
 // SExpressionUnstringifier implements the inverse operation to
 // [SExpressionStringifier].
 
 library sexpr_unstringifier;
 
 import 'package:compiler/src/constants/expressions.dart';
@@ skipping 131 matching lines @@
 
   // Primitives
   static const String CONSTANT = "Constant";
   static const String CREATE_FUNCTION = "CreateFunction";
   static const String GET_MUTABLE_VARIABLE = "GetMutableVariable";
   static const String LITERAL_LIST = "LiteralList";
   static const String LITERAL_MAP = "LiteralMap";
   static const String REIFY_TYPE_VAR = "ReifyTypeVar";
   static const String GET_STATIC = "GetStatic";
   static const String TYPE_TEST = "TypeTest";
+  static const String APPLY_BUILTIN_OPERATOR = "ApplyBuiltinOperator";
 
   // Other
   static const String FUNCTION_DEFINITION = "FunctionDefinition";
   static const String IS_TRUE = "IsTrue";
 
   // Constants
   static const String BOOL = "Bool";
   static const String DOUBLE = "Double";
   static const String INT = "Int";
   static const String NULL = "Null";
@@ skipping 421 matching lines @@
     assert(value != null);
 
     dart_types.DartType type = new DummyNamedType(tokens.read());
 
     List<ir.Primitive> typeArguments = parsePrimitiveList();
 
     tokens.consumeEnd();
     return new TypeTest(value, type, typeArguments);
   }
 
+  /// (ApplyBuiltinOperator operator args)
+  ApplyBuiltinOperator parseApplyBuiltinOperator() {
+    tokens.consumeStart(APPLY_BUILTIN_OPERATOR);
+
+    String operatorName = tokens.read();
+    BuiltinOperator operator;
+    for (BuiltinOperator op in BuiltinOperator.values) {
+      if (op.toString() == operatorName) {
+        operator = op;
+        break;
+      }
+    }
+    assert(operator != null);
+    List<ir.Primitive> arguments = parsePrimitiveList();
+
+    tokens.consumeEnd();
+    return new ApplyBuiltinOperator(operator, arguments);
+  }
+
   /// (SetStatic field value body)
   SetStatic parseSetStatic() {
     tokens.consumeStart(SET_STATIC);
 
     Element fieldElement = new DummyElement(tokens.read());
     Primitive value = name2variable[tokens.read()];
     assert(value != null);
     Expression body = parseExpression();
 
     tokens.consumeEnd();
@@ skipping 52 matching lines @@
       case LITERAL_LIST:
         return parseLiteralList();
       case LITERAL_MAP:
         return parseLiteralMap();
       case REIFY_TYPE_VAR:
         return parseReifyTypeVar();
       case GET_STATIC:
         return parseGetStatic();
       case TYPE_TEST:
         return parseTypeTest();
+      case APPLY_BUILTIN_OPERATOR:
+        return parseApplyBuiltinOperator();
       default:
         assert(false);
     }
 
     return null;
   }
 
   /// (Constant (constant))
   Constant parseConstant() {
     tokens.consumeStart(CONSTANT);
@@ skipping 116 matching lines @@
   /// (GetStatic field)
   GetStatic parseGetStatic() {
     tokens.consumeStart(GET_STATIC);
 
     Element field = new DummyElement(tokens.read());
 
     tokens.consumeEnd();
     return new GetStatic(field, null);
   }
 }