30 lines
970 B
JavaScript
30 lines
970 B
JavaScript
|
// Copyright 2024 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: --allow-natives-syntax
|
||
|
|
|
||
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
||
|
|
|
||
|
|
const builder = new WasmModuleBuilder();
|
||
|
|
let $array1 = builder.addArray(kWasmI16, true, kNoSuperType, true);
|
||
|
|
let $sig4 = builder.addType(kSig_i_i);
|
||
|
|
let main19 = builder.addFunction(undefined, $sig4);
|
||
|
|
|
||
|
|
main19.addBody([
|
||
|
|
kExprRefNull, kAnyRefCode,
|
||
|
|
kGCPrefix, kExprRefCastNull, $array1,
|
||
|
|
kExprI32Const, 42,
|
||
|
|
kExprI32Const, 42,
|
||
|
|
kGCPrefix, kExprArraySet, $array1,
|
||
|
|
kExprRefNull, kAnyRefCode,
|
||
|
|
kGCPrefix, kExprRefTestNull, kI31RefCode,
|
||
|
|
]);
|
||
|
|
|
||
|
|
builder.addExport('main', main19.index);
|
||
|
|
|
||
|
|
const instance = builder.instantiate({});
|
||
|
|
assertTraps(kTrapNullDereference, () => instance.exports.main(0));
|
||
|
|
%WasmTierUpFunction(instance.exports.main);
|
||
|
|
assertTraps(kTrapNullDereference, () => instance.exports.main(0));
|