Initial import of v8-native WASM.

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

+// 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);