Implement dynamic function checks.

dart/sdk/lib/_internal/compiler/implementation/ssa/nodes.dart

 // Copyright (c) 2012, 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 ssa;
 
 abstract class HVisitor<R> {
   R visitAdd(HAdd node);
   R visitBitAnd(HBitAnd node);
   R visitBitNot(HBitNot node);
@@ skipping 49 matching lines @@
   R visitStringConcat(HStringConcat node);
   R visitStringify(HStringify node);
   R visitSubtract(HSubtract node);
   R visitSwitch(HSwitch node);
   R visitThis(HThis node);
   R visitThrow(HThrow node);
   R visitThrowExpression(HThrowExpression node);
   R visitTry(HTry node);
   R visitTypeConversion(HTypeConversion node);
   R visitTypeKnown(HTypeKnown node);
+  R visitFunctionType(HFunctionType node);
+  R visitReadTypeVariable(HReadTypeVariable node);
 }
 
 abstract class HGraphVisitor {
   visitDominatorTree(HGraph graph) {
     void visitBasicBlockAndSuccessors(HBasicBlock block) {
       visitBasicBlock(block);
       List dominated = block.dominatedBlocks;
       for (int i = 0; i < dominated.length; i++) {
         visitBasicBlockAndSuccessors(dominated[i]);
       }
@@ skipping 259 matching lines @@
   visitStaticStore(HStaticStore node) => visitInstruction(node);
   visitStringConcat(HStringConcat node) => visitInstruction(node);
   visitStringify(HStringify node) => visitInstruction(node);
   visitThis(HThis node) => visitParameterValue(node);
   visitThrow(HThrow node) => visitControlFlow(node);
   visitThrowExpression(HThrowExpression node) => visitInstruction(node);
   visitTry(HTry node) => visitControlFlow(node);
   visitIs(HIs node) => visitInstruction(node);
   visitTypeConversion(HTypeConversion node) => visitCheck(node);
   visitTypeKnown(HTypeKnown node) => visitCheck(node);
+  visitFunctionType(HFunctionType node) => visitInstruction(node);
+  visitReadTypeVariable(HReadTypeVariable node) => visitInstruction(node);
 }
 
 class SubGraph {
   // The first and last block of the sub-graph.
   final HBasicBlock start;
   final HBasicBlock end;
 
   const SubGraph(this.start, this.end);
 
   bool contains(HBasicBlock block) {
@@ skipping 2351 matching lines @@
                        this.finallyBlock);
 
   HBasicBlock get start => body.start;
   HBasicBlock get end =>
       finallyBlock == null ? catchBlock.end : finallyBlock.end;
 
   bool accept(HStatementInformationVisitor visitor) =>
     visitor.visitTryInfo(this);
 }
 
-
-
 class HSwitchBlockInformation implements HStatementInformation {
   final HExpressionInformation expression;
   final List<List<Constant>> matchExpressions;
   final List<HStatementInformation> statements;
   final TargetElement target;
   final List<LabelElement> labels;
 
   HSwitchBlockInformation(this.expression,
                           this.matchExpressions,
                           this.statements,
                           this.target,
                           this.labels);
 
   HBasicBlock get start => expression.start;
   HBasicBlock get end {
     // We don't create a switch block if there are no cases.
     assert(!statements.isEmpty);
     return statements.last.end;
   }
 
   bool accept(HStatementInformationVisitor visitor) =>
       visitor.visitSwitchInfo(this);
 }
+
+class HReadTypeVariable extends HInstruction {
+  /// The type variable being read.
+  final TypeVariableType dartType;
+
+  final bool hasReceiver;
+
+  HReadTypeVariable(this.dartType, HInstruction receiver)
+      : hasReceiver = true,
+        super(<HInstruction>[receiver]);
+
+  HReadTypeVariable.noReceiver(this.dartType, HInstruction typeArguments)
+      : hasReceiver = false,
+        super(<HInstruction>[typeArguments]);
+
+  accept(HVisitor visitor) => visitor.visitReadTypeVariable(this);
+}
+
+class HFunctionType extends HInstruction {

[ngeoffray, 2013/11/01 13:54:02]

Could you remind me why can't you just do a new like we do for regular
allocations?

[ahe, 2013/11/04 17:23:45]

I'm not sure how this interacts with GVN. Also, I'd like to turn some of these
into compile-time constants.

+  final FunctionType dartType;
+
+  HFunctionType(List<HInstruction> typeVariables, this.dartType)
+      : super(typeVariables) {
+    /* Element */ sourceElement = null;
+    /* SourceFileLocation */  sourcePosition = null;
+  }
+
+  accept(HVisitor visitor) => visitor.visitFunctionType(this);
+}