c4113c4705
Changes: - Remove TypeCheckBranchResult. Change TypeCheckBranch() to return bool. Refactor call sites to reflect this (decouple current code reachability check from type check). - Unify TypeCheckBranch(), TypeCheckFallthrough(), and the type-checking part of Return() into TypeCheckStackAgainstMerge(). - Make sure all TypeCheck* functions are only called within VALIDATE. - In graph-builder-interface, rename end_env -> merge_env to reflect its function for loops. - Change expected error messages in some tests. Change-Id: I857edc18db9c2454ad12d539ffe7a10e96367710 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2839560 Reviewed-by: Clemens Backes <clemensb@chromium.org> Commit-Queue: Manos Koukoutos <manoskouk@chromium.org> Cr-Commit-Position: refs/heads/master@{#74100}
34 lines
1.1 KiB
JavaScript
34 lines
1.1 KiB
JavaScript
// Copyright 2020 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: --liftoff --no-wasm-tier-up --wasm-staging
|
|
|
|
load('test/mjsunit/wasm/wasm-module-builder.js');
|
|
|
|
(function() {
|
|
const builder = new WasmModuleBuilder();
|
|
builder.addMemory(16, 32, false);
|
|
builder.addType(makeSig([kWasmI32, kWasmI32, kWasmI32], [kWasmI32]));
|
|
// Generate function 1 (out of 1).
|
|
builder.addFunction(undefined, 0 /* sig */)
|
|
.addBodyWithEnd([
|
|
// signature: i_iii
|
|
// body:
|
|
kExprI32Const, 0x20,
|
|
kExprI64LoadMem, 0x00, 0xce, 0xf2, 0xff, 0x01,
|
|
kExprBlock, kWasmF32, // @9 f32
|
|
kExprI32Const, 0x04,
|
|
kExprI32Const, 0x01,
|
|
kExprBrTable, 0x01, 0x01, 0x00, // entries=1
|
|
kExprEnd, // @19
|
|
kExprUnreachable,
|
|
kExprEnd, // @21
|
|
]);
|
|
builder.addExport('main', 0);
|
|
assertThrows(
|
|
() => {builder.toModule()}, WebAssembly.CompileError,
|
|
'WebAssembly.Module(): Compiling function #0:\"main\" failed: ' +
|
|
'type error in branch[0] (expected f32, got i32) @+57');
|
|
})();
|