9dccfea020
The deoptimizer (and probably various other places) cannot deal properly with recursive function inlining, so we disallow it in TurboFan as well. We might want to reconsider that decision at some point in the future. R=jarin@chromium.org Review URL: https://codereview.chromium.org/1211243007 Cr-Commit-Position: refs/heads/master@{#29374}
579 lines
15 KiB
C++
579 lines
15 KiB
C++
// Copyright 2014 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.
|
|
|
|
#include "src/v8.h"
|
|
|
|
#include "test/cctest/compiler/function-tester.h"
|
|
|
|
#if V8_TURBOFAN_TARGET
|
|
|
|
using namespace v8::internal;
|
|
using namespace v8::internal::compiler;
|
|
|
|
namespace {
|
|
|
|
// Helper to determine inline count via JavaScriptFrame::GetFunctions.
|
|
// Note that a count of 1 indicates that no inlining has occured.
|
|
void AssertInlineCount(const v8::FunctionCallbackInfo<v8::Value>& args) {
|
|
StackTraceFrameIterator it(CcTest::i_isolate());
|
|
int frames_seen = 0;
|
|
JavaScriptFrame* topmost = it.frame();
|
|
while (!it.done()) {
|
|
JavaScriptFrame* frame = it.frame();
|
|
List<JSFunction*> functions(2);
|
|
frame->GetFunctions(&functions);
|
|
PrintF("%d %s, inline count: %d\n", frames_seen,
|
|
frame->function()->shared()->DebugName()->ToCString().get(),
|
|
functions.length());
|
|
frames_seen++;
|
|
it.Advance();
|
|
}
|
|
List<JSFunction*> functions(2);
|
|
topmost->GetFunctions(&functions);
|
|
CHECK_EQ(args[0]->ToInt32(args.GetIsolate())->Value(), functions.length());
|
|
}
|
|
|
|
|
|
void InstallAssertInlineCountHelper(v8::Isolate* isolate) {
|
|
v8::Local<v8::Context> context = isolate->GetCurrentContext();
|
|
v8::Local<v8::FunctionTemplate> t =
|
|
v8::FunctionTemplate::New(isolate, AssertInlineCount);
|
|
context->Global()->Set(v8_str("AssertInlineCount"), t->GetFunction());
|
|
}
|
|
|
|
|
|
const uint32_t kRestrictedInliningFlags =
|
|
CompilationInfo::kContextSpecializing | CompilationInfo::kTypingEnabled;
|
|
|
|
const uint32_t kInlineFlags = CompilationInfo::kInliningEnabled |
|
|
CompilationInfo::kContextSpecializing |
|
|
CompilationInfo::kTypingEnabled;
|
|
|
|
} // namespace
|
|
|
|
|
|
TEST(SimpleInlining) {
|
|
FunctionTester T(
|
|
"(function(){"
|
|
" function foo(s) { AssertInlineCount(2); return s; };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(1), T.Val(1), T.Val(2));
|
|
}
|
|
|
|
|
|
TEST(SimpleInliningDeopt) {
|
|
FunctionTester T(
|
|
"(function(){"
|
|
" function foo(s) { %DeoptimizeFunction(bar); return s; };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(1), T.Val(1), T.Val(2));
|
|
}
|
|
|
|
|
|
TEST(SimpleInliningDeoptSelf) {
|
|
FunctionTester T(
|
|
"(function(){"
|
|
" function foo(s) { %_DeoptimizeNow(); return s; };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(1), T.Val(1), T.Val(2));
|
|
}
|
|
|
|
|
|
TEST(SimpleInliningContext) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) { AssertInlineCount(2); var x = 12; return s + x; };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(13), T.Val(1), T.Val(2));
|
|
}
|
|
|
|
|
|
TEST(SimpleInliningContextDeopt) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) {"
|
|
" AssertInlineCount(2); %DeoptimizeFunction(bar); var x = 12;"
|
|
" return s + x;"
|
|
" };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(13), T.Val(1), T.Val(2));
|
|
}
|
|
|
|
|
|
TEST(CaptureContext) {
|
|
FunctionTester T(
|
|
"var f = (function () {"
|
|
" var x = 42;"
|
|
" function bar(s) { return x + s; };"
|
|
" return (function (s) { return bar(s); });"
|
|
"})();"
|
|
"(function (s) { return f(s) })",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42 + 12), T.Val(12), T.undefined());
|
|
}
|
|
|
|
|
|
// TODO(sigurds) For now we do not inline any native functions. If we do at
|
|
// some point, change this test.
|
|
TEST(DontInlineEval) {
|
|
FunctionTester T(
|
|
"var x = 42;"
|
|
"(function () {"
|
|
" function bar(s, t) { return eval(\"AssertInlineCount(1); x\") };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42), T.Val("x"), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(InlineOmitArguments) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 42;"
|
|
" function bar(s, t, u, v) { AssertInlineCount(2); return x + s; };"
|
|
" return (function (s,t) { return bar(s); });"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42 + 12), T.Val(12), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(InlineOmitArgumentsDeopt) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s,t,u,v) { AssertInlineCount(2);"
|
|
" %DeoptimizeFunction(bar); return baz(); };"
|
|
" function bar() { return foo(11); };"
|
|
" function baz() { return foo.arguments.length == 1 &&"
|
|
" foo.arguments[0] == 11; }"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value(), T.Val(12), T.Val(14));
|
|
}
|
|
|
|
|
|
TEST(InlineSurplusArguments) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 42;"
|
|
" function foo(s) { AssertInlineCount(2); return x + s; };"
|
|
" function bar(s,t) { return foo(s,t,13); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42 + 12), T.Val(12), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(InlineSurplusArgumentsDeopt) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) { AssertInlineCount(2); %DeoptimizeFunction(bar);"
|
|
" return baz(); };"
|
|
" function bar() { return foo(13, 14, 15); };"
|
|
" function baz() { return foo.arguments.length == 3 &&"
|
|
" foo.arguments[0] == 13 &&"
|
|
" foo.arguments[1] == 14 &&"
|
|
" foo.arguments[2] == 15; }"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value(), T.Val(12), T.Val(14));
|
|
}
|
|
|
|
|
|
TEST(InlineTwice) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 42;"
|
|
" function bar(s) { AssertInlineCount(2); return x + s; };"
|
|
" return (function (s,t) { return bar(s) + bar(t); });"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(2 * 42 + 12 + 4), T.Val(12), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineTwiceDependent) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 42;"
|
|
" function foo(s) { AssertInlineCount(2); return x + s; };"
|
|
" function bar(s,t) { return foo(foo(s)); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42 + 42 + 12), T.Val(12), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineTwiceDependentDiamond) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 41;"
|
|
" function foo(s) { AssertInlineCount(2); if (s % 2 == 0) {"
|
|
" return x - s } else { return x + s; } };"
|
|
" function bar(s,t) { return foo(foo(s)); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(-11), T.Val(11), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineTwiceDependentDiamondDifferent) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 41;"
|
|
" function foo(s,t) { AssertInlineCount(2); if (s % 2 == 0) {"
|
|
" return x - s * t } else { return x + s * t; } };"
|
|
" function bar(s,t) { return foo(foo(s, 3), 5); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(-329), T.Val(11), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineLoopGuardedEmpty) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) { AssertInlineCount(2); if (s) while (s); return s; };"
|
|
" function bar(s,t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(0.0), T.Val(0.0), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineLoopGuardedOnce) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s,t) { AssertInlineCount(2); if (t > 0) while (s > 0) {"
|
|
" s = s - 1; }; return s; };"
|
|
" function bar(s,t) { return foo(s,t); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(0.0), T.Val(11), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineLoopGuardedTwice) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s,t) { AssertInlineCount(2); if (t > 0) while (s > 0) {"
|
|
" s = s - 1; }; return s; };"
|
|
" function bar(s,t) { return foo(foo(s,t),t); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(0.0), T.Val(11), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineLoopUnguardedEmpty) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) { AssertInlineCount(2); while (s); return s; };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(0.0), T.Val(0.0), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineLoopUnguardedOnce) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) { AssertInlineCount(2); while (s) {"
|
|
" s = s - 1; }; return s; };"
|
|
" function bar(s, t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(0.0), T.Val(0.0), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineLoopUnguardedTwice) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s) { AssertInlineCount(2); while (s > 0) {"
|
|
" s = s - 1; }; return s; };"
|
|
" function bar(s,t) { return foo(foo(s,t),t); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(0.0), T.Val(0.0), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineStrictIntoNonStrict) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = Object.create({}, { y: { value:42, writable:false } });"
|
|
" function foo(s) { 'use strict';"
|
|
" x.y = 9; };"
|
|
" function bar(s,t) { return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckThrows(T.undefined(), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(InlineNonStrictIntoStrict) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = Object.create({}, { y: { value:42, writable:false } });"
|
|
" function foo(s) { x.y = 9; return x.y; };"
|
|
" function bar(s,t) { \'use strict\'; return foo(s); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42), T.undefined(), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(InlineIntrinsicIsSmi) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 42;"
|
|
" function bar(s,t) { return %_IsSmi(x); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value(), T.Val(12), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineIntrinsicIsNonNegativeSmi) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = 42;"
|
|
" function bar(s,t) { return %_IsNonNegativeSmi(x); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value(), T.Val(12), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineIntrinsicIsArray) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" var x = [1,2,3];"
|
|
" function bar(s,t) { return %_IsArray(x); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value(), T.Val(12), T.Val(4));
|
|
|
|
FunctionTester T2(
|
|
"(function () {"
|
|
" var x = 32;"
|
|
" function bar(s,t) { return %_IsArray(x); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
T2.CheckCall(T.false_value(), T.Val(12), T.Val(4));
|
|
|
|
FunctionTester T3(
|
|
"(function () {"
|
|
" var x = bar;"
|
|
" function bar(s,t) { return %_IsArray(x); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
T3.CheckCall(T.false_value(), T.Val(12), T.Val(4));
|
|
}
|
|
|
|
|
|
TEST(InlineWithArguments) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s,t,u) { AssertInlineCount(2);"
|
|
" return foo.arguments.length == 3 &&"
|
|
" foo.arguments[0] == 13 &&"
|
|
" foo.arguments[1] == 14 &&"
|
|
" foo.arguments[2] == 15;"
|
|
" }"
|
|
" function bar() { return foo(13, 14, 15); };"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value(), T.Val(12), T.Val(14));
|
|
}
|
|
|
|
|
|
TEST(InlineBuiltin) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s,t,u) { AssertInlineCount(2); return true; }"
|
|
" function bar() { return foo(); };"
|
|
" %SetForceInlineFlag(foo);"
|
|
" return bar;"
|
|
"})();",
|
|
kRestrictedInliningFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value());
|
|
}
|
|
|
|
|
|
TEST(InlineNestedBuiltin) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(s,t,u) { AssertInlineCount(3); return true; }"
|
|
" function baz(s,t,u) { return foo(s,t,u); }"
|
|
" function bar() { return baz(); };"
|
|
" %SetForceInlineFlag(foo);"
|
|
" %SetForceInlineFlag(baz);"
|
|
" return bar;"
|
|
"})();",
|
|
kRestrictedInliningFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.true_value());
|
|
}
|
|
|
|
|
|
TEST(StrongModeArity) {
|
|
FLAG_strong_mode = true;
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(x, y) { 'use strong'; return x; }"
|
|
" function bar(x, y) { return foo(x); }"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
T.CheckThrows(T.undefined(), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(StrongModeArityOuter) {
|
|
FLAG_strong_mode = true;
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" 'use strong';"
|
|
" function foo(x, y) { return x; }"
|
|
" function bar(x, y) { return foo(x); }"
|
|
" return bar;"
|
|
"})();",
|
|
kInlineFlags);
|
|
T.CheckThrows(T.undefined(), T.undefined());
|
|
}
|
|
|
|
|
|
TEST(InlineSelfRecursive) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function foo(x) { "
|
|
" AssertInlineCount(1);"
|
|
" if (x == 1) return foo(12);"
|
|
" return x;"
|
|
" }"
|
|
" return foo;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(12), T.Val(1));
|
|
}
|
|
|
|
|
|
TEST(InlineMutuallyRecursive) {
|
|
FunctionTester T(
|
|
"(function () {"
|
|
" function bar(x) { AssertInlineCount(2); return foo(x); }"
|
|
" function foo(x) { "
|
|
" if (x == 1) return bar(42);"
|
|
" return x;"
|
|
" }"
|
|
" return foo;"
|
|
"})();",
|
|
kInlineFlags);
|
|
|
|
InstallAssertInlineCountHelper(CcTest::isolate());
|
|
T.CheckCall(T.Val(42), T.Val(1));
|
|
}
|
|
|
|
#endif // V8_TURBOFAN_TARGET
|