[builtins] support exception handling in TFJ builtins

src/compiler/raw-machine-assembler.cc

 // Copyright 2014 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/raw-machine-assembler.h"
 
 #include "src/code-factory.h"
 #include "src/compiler/node-properties.h"
 #include "src/compiler/pipeline.h"
 #include "src/compiler/scheduler.h"
@@ skipping 67 matching lines @@
 
 
 void RawMachineAssembler::Branch(Node* condition, RawMachineLabel* true_val,
                                  RawMachineLabel* false_val) {
   DCHECK(current_block_ != schedule()->end());
   Node* branch = MakeNode(common()->Branch(), 1, &condition);
   schedule()->AddBranch(CurrentBlock(), branch, Use(true_val), Use(false_val));
   current_block_ = nullptr;
 }
 
+void RawMachineAssembler::BranchIfException(Node* node,
+                                            RawMachineLabel* if_exception) {
+  RawMachineLabel success, call, exception;
+  DCHECK_NE(schedule()->end(), current_block_);
+  DCHECK(!node->op()->HasProperty(Operator::kNoThrow));
+
+  Goto(&call);
+  Bind(&call);
+  schedule()->AddCall(CurrentBlock(), node, Use(&success), Use(&exception));
+  current_block_ = nullptr;
+
+  Bind(&exception);
+  {
+    const Operator* op = common()->IfException();
+    Node* args[] = {node, node};
+    Node* on_exception = MakeNode(op, arraysize(args), args);
+    schedule()->AddNode(CurrentBlock(), on_exception);
+    Goto(if_exception);
+  }
+
+  Bind(&success);
+}
+
 void RawMachineAssembler::Switch(Node* index, RawMachineLabel* default_label,
                                  const int32_t* case_values,
                                  RawMachineLabel** case_labels,
                                  size_t case_count) {
   DCHECK_NE(schedule()->end(), current_block_);
   size_t succ_count = case_count + 1;
   Node* switch_node = AddNode(common()->Switch(succ_count), index);
   BasicBlock** succ_blocks = zone()->NewArray<BasicBlock*>(succ_count);
   for (size_t index = 0; index < case_count; ++index) {
     int32_t case_value = case_values[index];
@@ skipping 414 matching lines @@
   // The raw machine assembler nodes do not have effect and control inputs,
   // so we disable checking input counts here.
   return graph()->NewNodeUnchecked(op, input_count, inputs);
 }
 
 RawMachineLabel::~RawMachineLabel() { DCHECK(bound_ || !used_); }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8