Initial import of v8-native WASM.

test/mjsunit/wasm/verify-function-simple.js

Index: test/mjsunit/wasm/verify-function-simple.js
diff --git a/test/mjsunit/wasm/verify-function-simple.js b/test/mjsunit/wasm/verify-function-simple.js
new file mode 100644
index 0000000000000000000000000000000000000000..4b7e57f91b7858f6c46d597cf3e9a36f04b55f5a
--- /dev/null
+++ b/test/mjsunit/wasm/verify-function-simple.js
@@ -0,0 +1,42 @@
+// Copyright 2015 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.
+
+load("test/mjsunit/wasm/wasm-constants.js");
+
+try {
+  var data = bytes(
+      0,       kAstStmt,  // signature
+      3,       0,         // local int32 count
+      4,       0,         // local int64 count
+      5,       0,         // local float32 count
+      6,       0,         // local float64 count
+      kExprNop            // body
+  );
+
+  WASM.verifyFunction(data);
+  print("ok");
+} catch (e) {
+  assertTrue(false);
+}
+
+
+var threw = false;
+try {
+  var data = bytes(
+      0,       kAstI32,   // signature
+      2,       0,         // local int32 count
+      3,       0,         // local int64 count
+      4,       0,         // local float32 count
+      5,       0,         // local float64 count
+      kExprBlock, 2, kExprNop, kExprNop  // body
+  );
+
+  WASM.verifyFunction(data);
+  print("not ok");
+} catch (e) {
+  print("ok: " + e);
+  threw = true;
+}
+
+assertTrue(threw);