[WIP] TrapHandler 2014/11/27.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index b30b72786b9beaf574dd09d2bd0ec4ebf888cf09..693eb5c186bdfcca959d18e3f3bccafe061ca899 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -656,6 +656,19 @@ void Verifier::Visitor::Pre(Node* node) {
       CheckNotTyped(node);
       break;
 
+    case IrOpcode::kLoadBuffer:
+      break;
+    case IrOpcode::kStoreBuffer:
+      CheckNotTyped(node);
+      break;
+    case IrOpcode::kBoundsCheck:
+      // (Integral32, Unsigned32) -> Unsigned32
+      // TODO(rossberg): Can we haz something that works in this file?!$*#@
+      // CheckValueInputIs(node, 0, Type::Integral32());
+      // CheckValueInputIs(node, 1, Type::Unsigned32());
+      // CheckUpperIs(node, Type::Unsigned32());
+      break;
+
     // Machine operators
     // -----------------------
     case IrOpcode::kLoad:
@@ -975,6 +988,7 @@ void ScheduleVerifier::Run(Schedule* schedule) {
     }
   }
 }
-}
-}
-}  // namespace v8::internal::compiler
+
+}  // namespace compiler
+}  // namespace internal
+}  // namespace v8