dart2js cps: Add path-sensitive types by inserting refinement IR nodes.

pkg/compiler/lib/src/cps_ir/cps_ir_nodes_sexpr.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.
 
 library dart2js.ir_nodes_sexpr;
 
 import '../constants/values.dart';
 import '../util/util.dart';
 import 'cps_ir_nodes.dart';
 import '../universe/universe.dart' show Selector, CallStructure;
@@ skipping 343 matching lines @@
     String value = access(node.value);
     return '(SetIndex $object $index $value)';
   }
 
   @override
   String visitAwait(Await node) {
     String value = access(node.input);
     String continuation = access(node.continuation);
     return '(Await $value $continuation)';
   }
+
+  @override
+  String visitRefinement(Refinement node) {
+    String value = access(node.value);
+    return '(Refinement $value (${node.type}))';

[Kevin Millikin (Google), 2015/09/03 10:21:06]

We were only using the extra parens for variable arity parts of the term as a
parsing aid.  I'd rather drop them here since there's only one type..

[asgerf, 2015/09/03 12:31:39]

Done.

+  }
 }
 
 class ConstantStringifier extends ConstantValueVisitor<String, Null> {
   // Some of these methods are unimplemented because we haven't had a need
   // to print such constants.  When printing is implemented, the corresponding
   // parsing support should be added to SExpressionUnstringifier.parseConstant
   // in the dart2js tests (currently in the file
   // tests/compiler/dart2js/backend_dart/sexpr_unstringifier.dart).
 
   String _failWith(ConstantValue constant) {
@@ skipping 94 matching lines @@
   void setReturnContinuation(Continuation node) {
     assert(!_names.containsKey(node) || _names[node] == 'return');
     _names[node] = 'return';
   }
 
   String getName(Node node) {
     if (!_names.containsKey(node)) return 'MISSING_NAME';
     return _names[node];
   }
 }