[wasm] Syntax- and Type-aware Fuzzer

test/mjsunit/regress/wasm/ast-fuzz-2.js

+// Copyright 2017 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");
+load("test/mjsunit/wasm/wasm-module-builder.js");
+
+(function() {
+  var builder = new WasmModuleBuilder();
+  builder.addMemory(32, 32, false);
+  builder.addFunction("test", kSig_i_iii)
+    .addBodyWithEnd([
+// body:
+kExprBlock, 0x7e,   // @1 i64
+  kExprI64Const, 0xa2, 0xed, 0xdd, 0xc5, 0xaa, 0xd4, 0xa8, 0xbb, 0xb7, 0x7f,
+  kExprEnd,   // @14
+kExprI64Const, 0xba, 0xaa, 0x81, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x00,
+kExprI64Const, 0xa2, 0xc5, 0x8a, 0x95, 0xaa, 0xd4, 0xa8, 0x80, 0x80, 0x00,
+kExprI64Const, 0xa2, 0xc5, 0x8a, 0x85, 0x80, 0x80, 0x80, 0x80, 0x80, 0x00,
+kExprI64Mul,
+kExprI64Const, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x00,
+kExprI64Const, 0xa2, 0xc5, 0x8a, 0x95, 0xaa, 0xd4, 0xa8, 0x80, 0x80, 0x00,
+kExprI64Mul,
+kExprI64Add,
+kExprI64Mul,
+kExprI64Mul,
+kExprI64Const, 0xef, 0xff, 0x8b, 0x95, 0x8a, 0x80, 0x80, 0x80, 0x80, 0x00,
+kExprI64GeS,
+kExprEnd,   // @87
+            ])
+            .exportFunc();
+  var module = builder.instantiate();
+  assertEquals(1, module.exports.test(1, 2, 3));
+})();