2017-06-06 10:28:14 +02:00
|
|
|
// 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.
|
|
|
|
|
2021-08-29 14:20:49 +02:00
|
|
|
d8.file.execute("test/mjsunit/wasm/wasm-module-builder.js");
|
2017-06-06 10:28:14 +02:00
|
|
|
|
2019-03-12 09:01:49 +01:00
|
|
|
async function assertCompiles(buffer) {
|
|
|
|
var module = await WebAssembly.compile(buffer);
|
|
|
|
assertInstanceof(module, WebAssembly.Module);
|
2017-06-06 10:28:14 +02:00
|
|
|
}
|
|
|
|
|
2019-03-15 18:35:06 +05:30
|
|
|
function assertCompileError(buffer, msg) {
|
2022-09-21 13:28:42 +02:00
|
|
|
if (typeof msg == 'string') {
|
|
|
|
msg = 'WebAssembly.compile(): ' + msg;
|
|
|
|
} else {
|
|
|
|
assertInstanceof(msg, RegExp);
|
|
|
|
}
|
2019-03-15 18:35:06 +05:30
|
|
|
return assertThrowsAsync(
|
2022-09-21 13:28:42 +02:00
|
|
|
WebAssembly.compile(buffer), WebAssembly.CompileError, msg);
|
2017-06-06 10:28:14 +02:00
|
|
|
}
|
|
|
|
|
2017-08-01 11:36:44 -05:00
|
|
|
assertPromiseResult(async function basicCompile() {
|
|
|
|
let ok_buffer = (() => {
|
|
|
|
var builder = new WasmModuleBuilder();
|
|
|
|
builder.addFunction('f', kSig_i_v)
|
|
|
|
.addBody([kExprI32Const, 42])
|
|
|
|
.exportAs('f');
|
|
|
|
return builder.toBuffer();
|
|
|
|
})();
|
2017-06-06 10:28:14 +02:00
|
|
|
|
2017-08-01 11:36:44 -05:00
|
|
|
// The OK buffer validates and can be made into a module.
|
|
|
|
assertTrue(WebAssembly.validate(ok_buffer));
|
|
|
|
let ok_module = new WebAssembly.Module(ok_buffer);
|
|
|
|
assertTrue(ok_module instanceof WebAssembly.Module);
|
2017-06-06 10:28:14 +02:00
|
|
|
|
2017-08-01 11:36:44 -05:00
|
|
|
// The bad buffer does not validate and cannot be made into a module.
|
|
|
|
let bad_buffer = new ArrayBuffer(0);
|
|
|
|
assertFalse(WebAssembly.validate(bad_buffer));
|
|
|
|
assertThrows(
|
|
|
|
() => new WebAssembly.Module(bad_buffer), WebAssembly.CompileError);
|
|
|
|
|
|
|
|
let kNumCompiles = 3;
|
|
|
|
|
|
|
|
// Three compilations of the OK module should succeed.
|
|
|
|
for (var i = 0; i < kNumCompiles; i++) {
|
|
|
|
await assertCompiles(ok_buffer);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Three compilations of the bad module should fail.
|
|
|
|
for (var i = 0; i < kNumCompiles; i++) {
|
2019-03-15 18:35:06 +05:30
|
|
|
await assertCompileError(bad_buffer, 'BufferSource argument is empty');
|
2017-08-01 11:36:44 -05:00
|
|
|
}
|
|
|
|
}());
|
|
|
|
|
|
|
|
assertPromiseResult(async function badFunctionInTheMiddle() {
|
|
|
|
// We had an error where an exception was generated by a background task and
|
|
|
|
// later thrown in a foreground task. The handle to the exception died
|
2017-10-18 15:03:02 -07:00
|
|
|
// between, since the HandleScope was left.
|
2017-08-01 11:36:44 -05:00
|
|
|
// This test reproduced that error.
|
|
|
|
let builder = new WasmModuleBuilder();
|
|
|
|
let sig = builder.addType(kSig_i_v);
|
|
|
|
for (var i = 0; i < 10; ++i) {
|
|
|
|
builder.addFunction('a' + i, sig).addBody([kExprI32Const, 42]);
|
|
|
|
}
|
|
|
|
builder.addFunction('bad', sig).addBody([]);
|
|
|
|
for (var i = 0; i < 10; ++i) {
|
|
|
|
builder.addFunction('b' + i, sig).addBody([kExprI32Const, 42]);
|
|
|
|
}
|
|
|
|
let buffer = builder.toBuffer();
|
2019-03-15 18:35:06 +05:30
|
|
|
await assertCompileError(
|
|
|
|
buffer,
|
2019-05-28 08:46:21 -04:00
|
|
|
'Compiling function #10:\"bad\" failed: ' +
|
2021-07-14 11:30:07 +02:00
|
|
|
'expected 1 elements on the stack for fallthru, found 0 @+94');
|
2017-08-01 11:36:44 -05:00
|
|
|
}());
|
2018-11-09 12:12:17 +01:00
|
|
|
|
|
|
|
assertPromiseResult(async function importWithoutCode() {
|
|
|
|
// Regression test for https://crbug.com/898310.
|
|
|
|
let builder = new WasmModuleBuilder();
|
|
|
|
builder.addImport('m', 'q', kSig_i_i);
|
|
|
|
await builder.asyncInstantiate({'m': {'q': i => i}});
|
|
|
|
}());
|
2022-09-21 13:28:42 +02:00
|
|
|
|
|
|
|
assertPromiseResult(async function invalidSectionCode() {
|
|
|
|
let kInvalidSectionCode = 61;
|
|
|
|
let builder = new WasmModuleBuilder();
|
|
|
|
builder.addExplicitSection([kInvalidSectionCode, 0]);
|
|
|
|
let buffer = builder.toBuffer();
|
|
|
|
|
|
|
|
// Async and streaming decoder disagree on the error message, so accept both.
|
|
|
|
await assertCompileError(buffer, /(unknown|invalid) section code/);
|
|
|
|
}());
|