WIP: wasm oob trap handling experiments

src/compiler/machine-operator.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/machine-operator.h"
 
 #include "src/base/lazy-instance.h"
 #include "src/compiler/opcodes.h"
 #include "src/compiler/operator.h"
 
@@ skipping 18 matching lines @@
 
 
 std::ostream& operator<<(std::ostream& os, StoreRepresentation rep) {
   return os << "(" << rep.representation() << " : " << rep.write_barrier_kind()
             << ")";
 }
 
 
 LoadRepresentation LoadRepresentationOf(Operator const* op) {
   DCHECK(IrOpcode::kLoad == op->opcode() ||
+         IrOpcode::kTrapableLoad == op->opcode() ||
          IrOpcode::kAtomicLoad == op->opcode());
   return OpParameter<LoadRepresentation>(op);
 }
 
 
 StoreRepresentation const& StoreRepresentationOf(Operator const* op) {
   DCHECK_EQ(IrOpcode::kStore, op->opcode());
   return OpParameter<StoreRepresentation>(op);
 }
 
@@ skipping 444 matching lines @@
               "UnalignedLoad", 2, 1, 1, 1, 1, 0, MachineType::Type()) {}     \
   };                                                                         \
   struct CheckedLoad##Type##Operator final                                   \
       : public Operator1<CheckedLoadRepresentation> {                        \
     CheckedLoad##Type##Operator()                                            \
         : Operator1<CheckedLoadRepresentation>(                              \
               IrOpcode::kCheckedLoad,                                        \
               Operator::kNoDeopt | Operator::kNoThrow | Operator::kNoWrite,  \
               "CheckedLoad", 3, 1, 1, 1, 1, 0, MachineType::Type()) {}       \
   };                                                                         \
+  struct TrapableLoad##Type##Operator final                                  \
+      : public Operator1<TrapableLoadRepresentation> {                       \
+    TrapableLoad##Type##Operator()                                           \
+        : Operator1<TrapableLoadRepresentation>(                             \
+              IrOpcode::kTrapableLoad,                                       \
+              Operator::kNoDeopt | Operator::kNoThrow | Operator::kNoWrite,  \
+              "TrapableLoad", 4, 1, 1, 1, 1, 0, MachineType::Type()) {}      \
+  };                                                                         \
   Load##Type##Operator kLoad##Type;                                          \
   UnalignedLoad##Type##Operator kUnalignedLoad##Type;                        \
-  CheckedLoad##Type##Operator kCheckedLoad##Type;
+  CheckedLoad##Type##Operator kCheckedLoad##Type;                            \
+  TrapableLoad##Type##Operator kTrapableLoad##Type;
   MACHINE_TYPE_LIST(LOAD)
 #undef LOAD
 
 #define STACKSLOT(Type)                                                      \
   struct StackSlot##Type##Operator final                                     \
       : public Operator1<MachineRepresentation> {                            \
     StackSlot##Type##Operator()                                              \
         : Operator1<MachineRepresentation>(                                  \
               IrOpcode::kStackSlot, Operator::kNoDeopt | Operator::kNoThrow, \
               "StackSlot", 0, 0, 0, 1, 0, 0,                                 \
@@ skipping 174 matching lines @@
 #define LOAD(Type)                  \
   if (rep == MachineType::Type()) { \
     return &cache_.kLoad##Type;     \
   }
     MACHINE_TYPE_LIST(LOAD)
 #undef LOAD
   UNREACHABLE();
   return nullptr;
 }
 
+const Operator* MachineOperatorBuilder::TrapableLoad(LoadRepresentation rep) {
+#define LOAD(Type)                      \
+  if (rep == MachineType::Type()) {     \
+    return &cache_.kTrapableLoad##Type; \
+  }
+  MACHINE_TYPE_LIST(LOAD)
+#undef LOAD
+  UNREACHABLE();
+  return nullptr;
+}
+
 const Operator* MachineOperatorBuilder::StackSlot(MachineRepresentation rep) {
 #define STACKSLOT(Type)                              \
   if (rep == MachineType::Type().representation()) { \
     return &cache_.kStackSlot##Type;                 \
   }
   MACHINE_TYPE_LIST(STACKSLOT)
 #undef STACKSLOT
   UNREACHABLE();
   return nullptr;
 }
@@ skipping 82 matching lines @@
   }
   ATOMIC_REPRESENTATION_LIST(STORE)
 #undef STORE
   UNREACHABLE();
   return nullptr;
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8