cps-ir: Support foreign code.

pkg/compiler/lib/src/cps_ir/type_propagation.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.
 
 import 'optimizers.dart' show Pass, ParentVisitor;
 
 import '../constants/constant_system.dart';
 import '../constants/expressions.dart';
 import '../resolution/operators.dart';
 import '../constants/values.dart';
@@ skipping 1262 matching lines @@
 
   void visitSetField(SetField node) {
     setReachable(node.body);
   }
 
   void visitCreateBox(CreateBox node) {
     setValue(node, nonConstant(typeSystem.nonNullType));
   }
 
   void visitCreateInstance(CreateInstance node) {
-    setValue(node, nonConstant(typeSystem.nonNullExact(node.classElement)));
+    setValue(node, nonConstant(typeSystem.nonNullExact(node.classElement.declaration)));
   }
 
   void visitReifyRuntimeType(ReifyRuntimeType node) {
     setValue(node, nonConstant(typeSystem.typeType));
   }
 
   void visitReadTypeVariable(ReadTypeVariable node) {
     // TODO(karlklose): come up with a type marker for JS entities or switch to
     // real constants of type [Type].
     setValue(node, nonConstant());
   }
 
   @override
   visitTypeExpression(TypeExpression node) {
     // TODO(karlklose): come up with a type marker for JS entities or switch to
     // real constants of type [Type].
     setValue(node, nonConstant());
   }
 
   void visitCreateInvocationMirror(CreateInvocationMirror node) {
     // TODO(asgerf): Expose [Invocation] type.
     setValue(node, nonConstant(typeSystem.nonNullType));
   }
+
+  @override
+  visitForeignCode(ForeignCode node) {
+    if (node.continuation != null) {
+      Continuation continuation = node.continuation.definition;
+      setReachable(continuation);
+
+      assert(continuation.parameters.length == 1);
+      Parameter returnValue = continuation.parameters.first;
+      setValue(returnValue, nonConstant(node.type));
+    }
+    setValue(node, nonConstant());
+  }
 }
 
 /// Represents the abstract value of a primitive value at some point in the
 /// program. Abstract values of all kinds have a type [T].
 ///
 /// The different kinds of abstract values represents the knowledge about the
 /// constness of the value:
 ///   NOTHING:  cannot have any value
 ///   CONSTANT: is a constant. The value is stored in the [constant] field,
 ///             and the type of the constant is in the [type] field.
@@ skipping 116 matching lines @@
   ConstantExpression visitString(StringConstantValue constant, arg) {
     return new StringConstantExpression(
         constant.primitiveValue.slowToString());
   }
 
   @override
   ConstantExpression visitType(TypeConstantValue constant, arg) {
     throw new UnsupportedError("ConstantExpressionCreator.visitType");
   }
 }