a3c8eebb08
Currently %OptimizeFunctionOnNextCall returns if there is the function is already optimized. This cl changes this function to allow tiering up till we reach top tier. That allows us to tier up from Turboprop to Turbofan using intrinsics. This cl also introduces a runtime-test function to check if turboprop-as-toptier or turboprop-as-midtier is enabled. Bug: chromium:1172797, v8:9684 Change-Id: Idbd99b816d4b93e4e619be5d4ccdfe89fc561a9e Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2682638 Commit-Queue: Mythri Alle <mythria@chromium.org> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org> Reviewed-by: Georg Neis <neis@chromium.org> Cr-Commit-Position: refs/heads/master@{#72668}
49 lines
1.1 KiB
JavaScript
49 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: --allow-natives-syntax --turboprop --opt --no-always-opt
|
|
|
|
|
|
var v_0 = {};
|
|
function f_0(o, v) {
|
|
o.f = v;
|
|
}
|
|
|
|
function f_1() {
|
|
return v_0.f;
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(f_0);
|
|
f_0(v_0, 42);
|
|
f_0(v_0, 42);
|
|
%OptimizeFunctionOnNextCall(f_0);
|
|
f_0(v_0, 42);
|
|
|
|
// TP tier up
|
|
%PrepareFunctionForOptimization(f_1);
|
|
f_1();
|
|
f_1();
|
|
%OptimizeFunctionOnNextCall(f_1);
|
|
f_1();
|
|
// Now TF tier up
|
|
%PrepareFunctionForOptimization(f_1);
|
|
f_1();
|
|
%TierupFunctionOnNextCall(f_1);
|
|
f_1();
|
|
|
|
assertOptimized(f_0);
|
|
// TODO(mythria): Add an option to assert on the optimization tier and assert
|
|
// f_1 is optimized with TurboFan.
|
|
assertOptimized(f_1);
|
|
// Store in f_0 should trigger a change to the constness of the field.
|
|
f_0(v_0, 53);
|
|
// f_0 does a eager deopt and lets the interpreter update the field constness.
|
|
assertUnoptimized(f_0);
|
|
if (!%IsTopTierTurboprop()) {
|
|
// f_1 has TurboFan code and should deopt because of dependency change.
|
|
assertUnoptimized(f_1);
|
|
}
|
|
assertEquals(v_0.f, 53);
|
|
assertEquals(f_1(), 53);
|