Add type testing and casting support.

runtime/vm/intermediate_language.cc

 // 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.
 
 #include "vm/intermediate_language.h"
 
 #include "vm/object.h"
 #include "vm/os.h"
 #include "vm/scopes.h"
 
@@ skipping 66 matching lines @@
 Instruction* ReturnInstr::Print() const {
   OS::Print("    return ");
   value_->Print();
   return NULL;
 }
 
 
 Instruction* BranchInstr::Print() const {
   OS::Print("    if ");
   value_->Print();
-  OS::Print(" goto(%d, %d)", true_successor_->GetBlockNumber(),
-            false_successor_->GetBlockNumber());
+  OS::Print(" goto(%d, %d)", true_successor_->block_number(),
+            false_successor_->block_number());
   return NULL;
 }
 
 
 Instruction* JoinEntryInstr::Print() const {
-  OS::Print("%2d: [join]", block_number_);
+  OS::Print("%2d: [join]", block_number());
   return successor_;
 }
 
 
 Instruction* TargetEntryInstr::Print() const {
   OS::Print("%2d: [target]", block_number_);
   return successor_;
 }
 
 
-void DoInstr::Postorder(GrowableArray<Instruction*>* block_entries) {
+void DoInstr::Postorder(GrowableArray<BlockEntryInstr*>* block_entries) {
   flip_mark();
   if (successor_->mark() != mark()) successor_->Postorder(block_entries);
 }
 
 
-void BindInstr::Postorder(GrowableArray<Instruction*>* block_entries) {
+void BindInstr::Postorder(GrowableArray<BlockEntryInstr*>* block_entries) {
   flip_mark();
   if (successor_->mark() != mark()) successor_->Postorder(block_entries);
 }
 
 
-void ReturnInstr::Postorder(GrowableArray<Instruction*>* block_entries) {
+void ReturnInstr::Postorder(GrowableArray<BlockEntryInstr*>* block_entries) {
   flip_mark();
 }
 
 
-void BranchInstr::Postorder(GrowableArray<Instruction*>* block_entries) {
+void BranchInstr::Postorder(GrowableArray<BlockEntryInstr*>* block_entries) {
   flip_mark();
   // Visit the false successor before the true successor so they appear in
   // true/false order in reverse postorder.
   if (false_successor_->mark() != mark()) {
     false_successor_->Postorder(block_entries);
   }
   if (true_successor_->mark() != mark()) {
     true_successor_->Postorder(block_entries);
   }
 }
 
 
-void JoinEntryInstr::Postorder(GrowableArray<Instruction*>* block_entries) {
+void JoinEntryInstr::Postorder(GrowableArray<BlockEntryInstr*>* block_entries) {
   flip_mark();
   if (successor_->mark() != mark()) successor_->Postorder(block_entries);
   block_entries->Add(this);
 }
 
 
-void TargetEntryInstr::Postorder(GrowableArray<Instruction*>* block_entries) {
+void TargetEntryInstr::Postorder(
+    GrowableArray<BlockEntryInstr*>* block_entries) {
   flip_mark();
   if (successor_->mark() != mark()) successor_->Postorder(block_entries);
   block_entries->Add(this);
 }
 
 
 }  // namespace dart