918fe04351
PR-URL: https://github.com/nodejs/node/pull/58070 Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com> Reviewed-By: Darshan Sen <raisinten@gmail.com> Reviewed-By: Joyee Cheung <joyeec9h3@gmail.com> Reviewed-By: Rafael Gonzaga <rafael.nunu@hotmail.com>
52 lines
2.0 KiB
JavaScript
52 lines
2.0 KiB
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.
|
|
|
|
// Flags: --no-liftoff --no-wasm-lazy-compilation
|
|
|
|
// This tests an issue where we created phis for rtts in Turboshaft, but then
|
|
// assumed every rtt is an RttCanonOp. This is fixed by resolving Phis to
|
|
// identical RttCanonOps to their argument.
|
|
// To reproduce we need:
|
|
// - A loop with an allocation and an identical allocation after the loop. The
|
|
// loop allocation has to dominate the outer allocation, but not its copies
|
|
// after unrolling.
|
|
// - An inner loop which gets eliminated by peeling. This is required so that
|
|
// the outer loop is not peeled, but then is unrolled.
|
|
// This way the outer allocation's RttCanonOp will be value-eliminated to the
|
|
// loop allocation, which will then be duplicated during unrolling, which will
|
|
// result in the outer allocation using a Phi as rtt.
|
|
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
|
|
|
const builder = new WasmModuleBuilder();
|
|
|
|
let struct_type = builder.addStruct([makeField(kWasmI32, true)]);
|
|
|
|
builder.addFunction("main", makeSig([kWasmI32], [wasmRefNullType(struct_type),
|
|
wasmRefNullType(struct_type)]))
|
|
.addLocals(wasmRefNullType(struct_type), 1)
|
|
.addLocals(kWasmI32, 2)
|
|
.addBody([
|
|
kExprLoop, kWasmVoid,
|
|
kExprLocalGet, 0, kExprI32Const, 0, kExprI32LtS, kExprBrIf, 0,
|
|
kExprLocalGet, 0,
|
|
kGCPrefix, kExprStructNew, struct_type,
|
|
kExprLocalSet, 1,
|
|
kExprI32Const, 0, kExprLocalSet, 3,
|
|
kExprLoop, kWasmVoid,
|
|
kExprLocalGet, 3, kExprI32Const, 1, kExprI32Add, kExprLocalSet, 3,
|
|
kExprLocalGet, 3, kExprI32Const, 1, kExprI32LtS,
|
|
kExprBrIf, 0,
|
|
kExprEnd,
|
|
kExprLocalGet, 2, kExprI32Const, 1, kExprI32Add, kExprLocalSet, 2,
|
|
kExprLocalGet, 2, kExprI32Const, 10, kExprI32LtS,
|
|
kExprBrIf, 0,
|
|
kExprEnd,
|
|
kExprLocalGet, 0,
|
|
kGCPrefix, kExprStructNew, struct_type,
|
|
kExprLocalGet, 1
|
|
])
|
|
|
|
builder.instantiate();
|