30 lines
838 B
JavaScript
30 lines
838 B
JavaScript
|
// Copyright 2023 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.
|
||
|
|
|
||
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
||
|
|
|
||
|
|
let builder = new WasmModuleBuilder();
|
||
|
|
|
||
|
|
let struct_type = builder.addStruct([makeField(kWasmI32, true)]);
|
||
|
|
|
||
|
|
builder.addFunction('main', kSig_v_v).exportFunc()
|
||
|
|
.addBody([
|
||
|
|
kExprRefNull, struct_type,
|
||
|
|
kExprRefAsNonNull,
|
||
|
|
kGCPrefix, kExprStructGet, struct_type, 0,
|
||
|
|
kExprDrop,
|
||
|
|
kExprI32Const, 1,
|
||
|
|
...wasmF32Const(42),
|
||
|
|
kExprF32Const, 0xd7, 0xff, 0xff, 0xff, // -nan:0x7fffd7
|
||
|
|
kExprF32Gt,
|
||
|
|
kExprI32DivU,
|
||
|
|
kExprIf, kWasmVoid,
|
||
|
|
kExprUnreachable,
|
||
|
|
kExprEnd,
|
||
|
|
]);
|
||
|
|
|
||
|
|
let main = builder.instantiate().exports.main;
|
||
|
|
assertThrows(
|
||
|
|
() => main(), WebAssembly.RuntimeError, /dereferencing a null pointer/);
|