2024-08-14 20:41:00 +02:00
|
|
|
// 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.
|
|
|
|
|
2025-04-29 08:03:15 +02:00
|
|
|
// Flags: --allow-natives-syntax --turbolev --turbofan
|
2024-08-14 20:41:00 +02:00
|
|
|
|
|
|
|
function dematerialized_duplicated(n) {
|
|
|
|
let o1 = { x : 42 };
|
|
|
|
let o2 = { x : o1, y : o1, z : undefined };
|
|
|
|
o2.z = o2;
|
|
|
|
if (n < 0) {
|
|
|
|
// We won't execute this code when collecting feedback, which means that
|
|
|
|
// Maglev will do an unconditional deopt here (and {o1} and {o2} will thus
|
|
|
|
// have no use besides the frame state for this deopt).
|
|
|
|
n + 5;
|
|
|
|
return [ o1, o2 ];
|
|
|
|
}
|
|
|
|
return n + 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
%PrepareFunctionForOptimization(dematerialized_duplicated);
|
|
|
|
assertEquals(7, dematerialized_duplicated(5));
|
|
|
|
assertEquals(7, dematerialized_duplicated(5));
|
|
|
|
|
|
|
|
%OptimizeFunctionOnNextCall(dematerialized_duplicated);
|
|
|
|
assertEquals(7, dematerialized_duplicated(5));
|
|
|
|
|
|
|
|
let [o1, o2] = dematerialized_duplicated(-1);
|
|
|
|
assertSame(o1, o2.x);
|
|
|
|
assertSame(o1, o2.y);
|
|
|
|
assertSame(o2.x, o2.y);
|
|
|
|
assertSame(o2, o2.z);
|