9d7cd9b864
PR-URL: https://github.com/nodejs/node/pull/54077 Reviewed-By: Jiawen Geng <technicalcute@gmail.com> Reviewed-By: Richard Lau <rlau@redhat.com> Reviewed-By: Joyee Cheung <joyeec9h3@gmail.com> Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com>
46 lines
1.4 KiB
JavaScript
46 lines
1.4 KiB
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 --maglev --no-maglev-loop-peeling
|
|
|
|
// `h` is never inlined, and thus forces a Tagged use on its input.
|
|
function h(x) { return x; }
|
|
%NeverOptimizeFunction(h);
|
|
|
|
// `g` creates and returns a Phi that could be untagged.
|
|
function g(a) {
|
|
let i = a + 1;
|
|
for (; i < 100; i++) {
|
|
// Padding the bytecode a little bit to make the loop body larger.
|
|
// (basically, we want that the bytecode offset of the call to `h(v)` in `f`
|
|
// be contained this loop here).
|
|
h();
|
|
h();
|
|
h();
|
|
h();
|
|
}
|
|
return i;
|
|
}
|
|
|
|
function f(a) {
|
|
// `v` will be a loop Phis that has an input that itself is a loop phi that is
|
|
// coming from the loop of an inlined function.
|
|
let v = g(a);
|
|
for (let i = 0; i < 10; i++) {
|
|
v = v + 2;
|
|
}
|
|
// We now insert a tagged used of `v`. This should be recorded via
|
|
// RecordUseReprHint, which will record it in the Phi inputs of `v` as well;
|
|
// namely the `g(a)` input. Since this tagged use is not in the `g(a)`'s loop,
|
|
// it should not prevent the phi in `g(a)` from being untagged.
|
|
return h(v);
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(g);
|
|
%PrepareFunctionForOptimization(f);
|
|
assertEquals(120, f(2));
|
|
|
|
%OptimizeMaglevOnNextCall(f);
|
|
assertEquals(120, f(2));
|