Commit aaac2f8e authored by Jaroslav Sevcik's avatar Jaroslav Sevcik Committed by Commit Bot

[Test] Test case for the GC failure with non-patching lazy deopt.

Bug: v8:6563
Change-Id: Id4578b90133ef4a6797233ff0e859ddc3dfbb54f
Reviewed-on: https://chromium-review.googlesource.com/599848
Commit-Queue: Jaroslav Sevcik <jarin@chromium.org>
Reviewed-by: 's avatarMichael Starzinger <mstarzinger@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47165}
parent 10817205
// Copyright 2017 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: --expose-gc --allow-natives-syntax --verify-heap
var o = { f : 0 };
var shouldDeopt = true;
// This tests a scenario where a function has an embedded object reference,
// the function is lazy-deoptimized, the object is then collected, but the
// code object keeps the dangling pointer.
function deopt() {
if (shouldDeopt) {
// Change the global object. This deoptimizes function f because
// it optimistically embedded the reference to o as a constant.
o = { f : 2 };
// Collect the original object o; at this point, f should invalidate
// its invalid reference to the original object.
gc();
}
}
// Forwarding function to make sure that function f is not the topomost
// optimized frame (GC treats reference from topmost optimized code strongly).
function dummy_opt() { deopt(); }
function dummy() { dummy_opt(); }
%NeverOptimizeFunction(deopt);
%NeverOptimizeFunction(dummy);
// When optimized, the function f embeds the constant reference
// to the original object o.
function f() {
dummy();
return o.f;
}
shouldDeopt = false;
f();
f();
%OptimizeFunctionOnNextCall(f);
%OptimizeFunctionOnNextCall(dummy_opt);
shouldDeopt = true;
assertEquals(2, f());
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment