Add type propagation phase in optimizing compiler (work in progress).

runtime/vm/il_printer.h

 // 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.
 
 #ifndef VM_IL_PRINTER_H_
 #define VM_IL_PRINTER_H_
 
 #include "vm/intermediate_language.h"
 
 namespace dart {
@@ skipping 10 matching lines @@
 
  private:
   intptr_t position_;
   char* buffer_;
   const intptr_t size_;
 
   DISALLOW_COPY_AND_ASSIGN(BufferFormatter);
 };
 
 
+class ParsedFunction;
+
+
 // Graph printing.
 class FlowGraphPrinter : public ValueObject {
  public:
   FlowGraphPrinter(const Function& function,
                    const GrowableArray<BlockEntryInstr*>& block_order,
                    bool print_locations = false)
       : function_(function),
         block_order_(block_order),
         print_locations_(print_locations) { }
 
   // Print the instructions in a block terminated by newlines.  Add "goto N"
   // to the end of the block if it ends with an unconditional jump to
   // another block and that block is not next in reverse postorder.
   void PrintBlocks();
   void PrintInstruction(Instruction* instr);
   static void PrintComputation(Computation* comp);
+  static void PrintTypeCheck(const ParsedFunction& parsed_function,
+                             intptr_t token_pos,
+                             Value* value,
+                             const AbstractType& dst_type,
+                             const String& dst_name,
+                             bool eliminated);
 
  private:
   const Function& function_;
   const GrowableArray<BlockEntryInstr*>& block_order_;
   const bool print_locations_;
 };
 
 
 class FlowGraphVisualizer : public ValueObject {
  public:
@@ skipping 11 matching lines @@
   const Function& function_;
   const GrowableArray<BlockEntryInstr*>& block_order_;
   intptr_t indent_;
 
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisualizer);
 };
 
 }  // namespace dart
 
 #endif  // VM_IL_PRINTER_H_