Model exceptional edges from call nodes in TurboFan.

src/compiler/node-properties.h

 // 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.
 
 #ifndef V8_COMPILER_NODE_PROPERTIES_H_
 #define V8_COMPILER_NODE_PROPERTIES_H_
 
 #include "src/compiler/node.h"
 #include "src/types.h"
 
@@ skipping 63 matching lines @@
   // ---------------------------------------------------------------------------
   // Miscellaneous mutators.
 
   static void ReplaceContextInput(Node* node, Node* context);
   static void ReplaceControlInput(Node* node, Node* control);
   static void ReplaceEffectInput(Node* node, Node* effect, int index = 0);
   static void ReplaceFrameStateInput(Node* node, Node* frame_state);
   static void RemoveNonValueInputs(Node* node);
 
   // Replace value uses of {node} with {value} and effect uses of {node} with
-  // {effect}. If {effect == NULL}, then use the effect input to {node}.
+  // {effect}. If {effect == NULL}, then use the effect input to {node}. All
+  // control uses will be relaxed assuming {node} cannot throw.
   static void ReplaceWithValue(Node* node, Node* value, Node* effect = nullptr);
 
 
   // ---------------------------------------------------------------------------
   // Miscellaneous utilities.
 
   static Node* FindProjection(Node* node, size_t projection_index);
 
   // Collect the branch-related projections from a node, such as IfTrue,
-  // IfFalse, IfValue and IfDefault.
+  // IfFalse, IfSuccess, IfException, IfValue and IfDefault.
   //  - Branch: [ IfTrue, IfFalse ]
+  //  - Call  : [ IfSuccess, IfException ]
   //  - Switch: [ IfValue, ..., IfDefault ]
   static void CollectControlProjections(Node* node, Node** proj, size_t count);
 
 
   // ---------------------------------------------------------------------------
   // Type Bounds.
 
   static bool IsTyped(Node* node) {
     Bounds const bounds = node->bounds();
     DCHECK(!bounds.lower == !bounds.upper);
@@ skipping 13 matching lines @@
 
  private:
   static inline bool IsInputRange(Edge edge, int first, int count);
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_NODE_PROPERTIES_H_