[wasm] Introduce the TrapIf and TrapUnless operators to generate trap code.

src/compiler/instruction-selector-impl.h

 // 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.
 
 #ifndef V8_COMPILER_INSTRUCTION_SELECTOR_IMPL_H_
 #define V8_COMPILER_INSTRUCTION_SELECTOR_IMPL_H_
 
+#include "src/compiler/instruction-selector.h"
 #include "src/compiler/instruction.h"
-#include "src/compiler/instruction-selector.h"
 #include "src/compiler/linkage.h"
 #include "src/compiler/schedule.h"
 #include "src/macro-assembler.h"
 
 namespace v8 {
 namespace internal {
+
+class SourcePosition;
+
 namespace compiler {
 
 // Helper struct containing data about a table or lookup switch.
 struct SwitchInfo {
   int32_t min_value;           // minimum value of {case_values}
   int32_t max_value;           // maximum value of {case_values}
   size_t value_range;          // |max_value - min_value| + 1
   size_t case_count;           // number of cases
   int32_t* case_values;        // actual case values, unsorted
   BasicBlock** case_branches;  // basic blocks corresponding to case values
@@ skipping 312 matching lines @@
                                          DeoptimizeReason reason,
                                          Node* frame_state) {
     return FlagsContinuation(condition, reason, frame_state);
   }
 
   // Creates a new flags continuation for a boolean value.
   static FlagsContinuation ForSet(FlagsCondition condition, Node* result) {
     return FlagsContinuation(condition, result);
   }
 
+  // Creates a new flags continuation for a wasm trap.
+  static FlagsContinuation ForTrap(FlagsCondition condition,
+                                   Runtime::FunctionId trap_id,
+                                   SourcePosition* source_position,
+                                   Node* result) {
+    return FlagsContinuation(condition, trap_id, source_position, result);
+  }
+
   bool IsNone() const { return mode_ == kFlags_none; }
   bool IsBranch() const { return mode_ == kFlags_branch; }
   bool IsDeoptimize() const { return mode_ == kFlags_deoptimize; }
   bool IsSet() const { return mode_ == kFlags_set; }
+  bool IsTrap() const { return mode_ == kFlags_trap; }
   FlagsCondition condition() const {
     DCHECK(!IsNone());
     return condition_;
   }
   DeoptimizeReason reason() const {
     DCHECK(IsDeoptimize());
     return reason_;
   }
   Node* frame_state() const {
     DCHECK(IsDeoptimize());
     return frame_state_or_result_;
   }
   Node* result() const {
     DCHECK(IsSet());
     return frame_state_or_result_;
   }
+  int trap_id() const {
+    DCHECK(IsTrap());
+    return trap_id_;
+  }
+  SourcePosition* source_position() const {
+    DCHECK(IsTrap());
+    return source_position_;
+  }
   BasicBlock* true_block() const {
     DCHECK(IsBranch());
     return true_block_;
   }
   BasicBlock* false_block() const {
     DCHECK(IsBranch());
     return false_block_;
   }
 
   void Negate() {
@@ skipping 52 matching lines @@
         frame_state_or_result_(frame_state) {
     DCHECK_NOT_NULL(frame_state);
   }
   FlagsContinuation(FlagsCondition condition, Node* result)
       : mode_(kFlags_set),
         condition_(condition),
         frame_state_or_result_(result) {
     DCHECK_NOT_NULL(result);
   }
 
+  FlagsContinuation(FlagsCondition condition, int32_t trap_id,
+                    SourcePosition* source_position, Node* result)
+      : mode_(kFlags_trap),
+        condition_(condition),
+        frame_state_or_result_(result),
+        trap_id_(trap_id),
+        source_position_(source_position) {
+    DCHECK_NOT_NULL(result);
+  }
+
   FlagsMode const mode_;
   FlagsCondition condition_;
   DeoptimizeReason reason_;      // Only value if mode_ == kFlags_deoptimize
   Node* frame_state_or_result_;  // Only valid if mode_ == kFlags_deoptimize
                                  // or mode_ == kFlags_set.
   BasicBlock* true_block_;       // Only valid if mode_ == kFlags_branch.
   BasicBlock* false_block_;      // Only valid if mode_ == kFlags_branch.
+  int32_t trap_id_;              // Only valid if mode_ == kFlags_trap.
+  SourcePosition* source_position_;  // Only valid if mode_ == kFlags_trap.
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_INSTRUCTION_SELECTOR_IMPL_H_