Model exceptional edges from call nodes in TurboFan.

src/compiler/schedule.cc

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/schedule.h"
 
 #include "src/compiler/node.h"
 #include "src/compiler/node-properties.h"
 #include "src/ostreams.h"
 
@@ skipping 82 matching lines @@
   return b1;
 }
 
 
 std::ostream& operator<<(std::ostream& os, const BasicBlock::Control& c) {
   switch (c) {
     case BasicBlock::kNone:
       return os << "none";
     case BasicBlock::kGoto:
       return os << "goto";
+    case BasicBlock::kCall:
+      return os << "call";
     case BasicBlock::kBranch:
       return os << "branch";
     case BasicBlock::kSwitch:
       return os << "switch";
     case BasicBlock::kReturn:
       return os << "return";
     case BasicBlock::kThrow:
       return os << "throw";
   }
   UNREACHABLE();
@@ skipping 80 matching lines @@
 }
 
 
 void Schedule::AddGoto(BasicBlock* block, BasicBlock* succ) {
   DCHECK(block->control() == BasicBlock::kNone);
   block->set_control(BasicBlock::kGoto);
   AddSuccessor(block, succ);
 }
 
 
+void Schedule::AddCall(BasicBlock* block, Node* call, BasicBlock* success_block,
+                       BasicBlock* exception_block) {
+  DCHECK(block->control() == BasicBlock::kNone);

[Benedikt Meurer, 2015/02/17 18:31:39]

Nit: Use DCHECK_EQ here.

[Michael Starzinger, 2015/02/18 14:03:56]

Done. Here, and throughout this file in general.

+  DCHECK(call->opcode() == IrOpcode::kCall);

[Benedikt Meurer, 2015/02/17 18:31:39]

Nit: Use DCHECK_EQ here.

[Michael Starzinger, 2015/02/18 14:03:56]

Done.

+  block->set_control(BasicBlock::kCall);
+  AddSuccessor(block, success_block);
+  AddSuccessor(block, exception_block);
+  SetControlInput(block, call);
+}
+
+
 void Schedule::AddBranch(BasicBlock* block, Node* branch, BasicBlock* tblock,
                          BasicBlock* fblock) {
   DCHECK(block->control() == BasicBlock::kNone);
   DCHECK(branch->opcode() == IrOpcode::kBranch);
   block->set_control(BasicBlock::kBranch);
   AddSuccessor(block, tblock);
   AddSuccessor(block, fblock);
   SetControlInput(block, branch);
 }
 
@@ skipping 133 matching lines @@
       }
       os << "\n";
     }
   }
   return os;
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8