2017-04-06 09:49:38 +00: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.
|
|
|
|
|
|
|
|
load("test/mjsunit/wasm/wasm-module-builder.js");
|
|
|
|
|
2018-11-06 12:53:26 +00:00
|
|
|
async function assertCompiles(buffer) {
|
|
|
|
var module = await WebAssembly.compile(buffer);
|
|
|
|
assertInstanceof(module, WebAssembly.Module);
|
2017-04-06 09:49:38 +00:00
|
|
|
}
|
|
|
|
|
2019-02-01 13:51:23 +00:00
|
|
|
function assertCompileError(buffer, msg) {
|
|
|
|
assertEquals('string', typeof msg);
|
2019-02-06 13:09:43 +00:00
|
|
|
return assertThrowsAsync(
|
|
|
|
WebAssembly.compile(buffer), WebAssembly.CompileError,
|
|
|
|
'WebAssembly.compile(): ' + msg);
|
2017-04-06 09:49:38 +00:00
|
|
|
}
|
|
|
|
|
2017-10-25 14:12:49 +00: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-04-30 09:03:38 +00:00
|
|
|
|
2017-10-25 14:12:49 +00: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-04-30 09:03:38 +00:00
|
|
|
|
2017-10-25 14:12:49 +00: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);
|
2017-04-30 09:03:38 +00:00
|
|
|
|
2017-10-25 14:12:49 +00:00
|
|
|
let kNumCompiles = 3;
|
2017-04-30 09:03:38 +00:00
|
|
|
|
|
|
|
// 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-02-01 13:51:23 +00:00
|
|
|
await assertCompileError(bad_buffer, 'BufferSource argument is empty');
|
2017-04-30 09:03:38 +00:00
|
|
|
}
|
2017-05-10 16:18:55 +00:00
|
|
|
}());
|
2017-04-30 09:03:38 +00:00
|
|
|
|
2017-10-25 14:12:49 +00:00
|
|
|
assertPromiseResult(async function badFunctionInTheMiddle() {
|
2017-04-30 09:03:38 +00:00
|
|
|
// 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-08-02 08:23:36 +00:00
|
|
|
// between, since the HandleScope was left.
|
2017-04-30 09:03:38 +00: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-02-01 13:51:23 +00:00
|
|
|
await assertCompileError(
|
|
|
|
buffer,
|
2019-03-14 14:27:12 +00:00
|
|
|
'Compiling function #10:\"bad\" failed: ' +
|
2019-02-01 13:51:23 +00:00
|
|
|
'expected 1 elements on the stack for fallthru to @1, found 0 @+94');
|
2017-05-10 16:18:55 +00:00
|
|
|
}());
|
2018-10-24 11:48:01 +00: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}});
|
|
|
|
}());
|