[wasm] Implement WebAssembly.validate()

test/mjsunit/wasm/instantiate-module-basic.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.
 
 // Flags: --expose-wasm
 
 load("test/mjsunit/wasm/wasm-constants.js");
 load("test/mjsunit/wasm/wasm-module-builder.js");
 
 let kReturnValue = 117;
@@ skipping 44 matching lines @@
 // Deprecated experimental API.
 CheckInstance(Wasm.instantiateModule(buffer));
 
 // Official API
 let module = new WebAssembly.Module(buffer);
 CheckInstance(new WebAssembly.Instance(module));
 
 let promise = WebAssembly.compile(buffer);
 promise.then(module => CheckInstance(new WebAssembly.Instance(module)));
 
+// Check that validate works correctly for a module.
+assertTrue(WebAssembly.validate(buffer));
+assertFalse(WebAssembly.validate(bytes(88, 88, 88, 88, 88, 88, 88, 88)));
+
 // Negative tests.
 (function InvalidModules() {
   print("InvalidModules...");
   let invalid_cases = [undefined, 1, "", "a", {some:1, obj: "b"}];
   let len = invalid_cases.length;
   for (var i = 0; i < len; ++i) {
     try {
-      let instance = new WebAssembly.Instance(1);
+      let instance = new WebAssembly.Instance(invalid_cases[i]);
       assertUnreachable("should not be able to instantiate invalid modules.");
     } catch (e) {
       assertContains("Argument 0", e.toString());
     }
   }
 })();
 
 // Compile async an invalid blob.
 (function InvalidBinaryAsyncCompilation() {
   print("InvalidBinaryAsyncCompilation...");
@@ skipping 122 matching lines @@
   view_1[0] = 1;
   view_2[0] = 1000;
 
   var module = new WebAssembly.Module(builder.toBuffer());
   var i1 = new WebAssembly.Instance(module, null, mem_1);
   var i2 = new WebAssembly.Instance(module, null, mem_2);
 
   assertEquals(1, i1.exports.f());
   assertEquals(1000, i2.exports.f());
 })();