Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 1 | // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 5 | #include "src/frames-inl.h" |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 6 | #include "test/cctest/cctest.h" |
| 7 | #include "test/cctest/compiler/function-tester.h" |
| 8 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | namespace v8 { |
| 10 | namespace internal { |
| 11 | namespace compiler { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 12 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 13 | static void IsOptimized(const v8::FunctionCallbackInfo<v8::Value>& args) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 14 | JavaScriptFrameIterator it(CcTest::i_isolate()); |
| 15 | JavaScriptFrame* frame = it.frame(); |
| 16 | return args.GetReturnValue().Set(frame->is_optimized()); |
| 17 | } |
| 18 | |
| 19 | |
| 20 | static void InstallIsOptimizedHelper(v8::Isolate* isolate) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 21 | v8::Local<v8::Context> context = isolate->GetCurrentContext(); |
| 22 | v8::Local<v8::FunctionTemplate> t = |
| 23 | v8::FunctionTemplate::New(isolate, IsOptimized); |
| 24 | CHECK(context->Global() |
| 25 | ->Set(context, v8_str("IsOptimized"), |
| 26 | t->GetFunction(context).ToLocalChecked()) |
| 27 | .FromJust()); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 28 | } |
| 29 | |
| 30 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 31 | TEST(DeoptSimple) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 32 | FLAG_allow_natives_syntax = true; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 33 | |
| 34 | FunctionTester T( |
| 35 | "(function f(a) {" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 36 | " var b = 1;" |
| 37 | " if (!IsOptimized()) return 0;" |
| 38 | " %DeoptimizeFunction(f);" |
| 39 | " if (IsOptimized()) return 0;" |
| 40 | " return a + b;" |
| 41 | "})"); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 42 | |
| 43 | InstallIsOptimizedHelper(CcTest::isolate()); |
| 44 | T.CheckCall(T.Val(2), T.Val(1)); |
| 45 | } |
| 46 | |
| 47 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 48 | TEST(DeoptSimpleInExpr) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 49 | FLAG_allow_natives_syntax = true; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 50 | |
| 51 | FunctionTester T( |
| 52 | "(function f(a) {" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 53 | " var b = 1;" |
| 54 | " var c = 2;" |
| 55 | " if (!IsOptimized()) return 0;" |
| 56 | " var d = b + (%DeoptimizeFunction(f), c);" |
| 57 | " if (IsOptimized()) return 0;" |
| 58 | " return d + a;" |
| 59 | "})"); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 60 | |
| 61 | InstallIsOptimizedHelper(CcTest::isolate()); |
| 62 | T.CheckCall(T.Val(6), T.Val(3)); |
| 63 | } |
| 64 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 65 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 66 | TEST(DeoptExceptionHandlerCatch) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 67 | FLAG_allow_natives_syntax = true; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 68 | |
| 69 | FunctionTester T( |
| 70 | "(function f() {" |
| 71 | " var is_opt = IsOptimized;" |
| 72 | " try {" |
| 73 | " DeoptAndThrow(f);" |
| 74 | " } catch (e) {" |
| 75 | " return is_opt();" |
| 76 | " }" |
| 77 | "})"); |
| 78 | |
| 79 | CompileRun("function DeoptAndThrow(f) { %DeoptimizeFunction(f); throw 0; }"); |
| 80 | InstallIsOptimizedHelper(CcTest::isolate()); |
| 81 | T.CheckCall(T.false_value()); |
| 82 | } |
| 83 | |
| 84 | |
| 85 | TEST(DeoptExceptionHandlerFinally) { |
| 86 | FLAG_allow_natives_syntax = true; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 87 | |
| 88 | FunctionTester T( |
| 89 | "(function f() {" |
| 90 | " var is_opt = IsOptimized;" |
| 91 | " try {" |
| 92 | " DeoptAndThrow(f);" |
| 93 | " } finally {" |
| 94 | " return is_opt();" |
| 95 | " }" |
| 96 | "})"); |
| 97 | |
| 98 | CompileRun("function DeoptAndThrow(f) { %DeoptimizeFunction(f); throw 0; }"); |
| 99 | InstallIsOptimizedHelper(CcTest::isolate()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 100 | T.CheckCall(T.false_value()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 101 | } |
| 102 | |
| 103 | |
| 104 | TEST(DeoptTrivial) { |
| 105 | FLAG_allow_natives_syntax = true; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 106 | |
| 107 | FunctionTester T( |
| 108 | "(function foo() {" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 109 | " %DeoptimizeFunction(foo);" |
| 110 | " return 1;" |
| 111 | "})"); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 112 | |
| 113 | T.CheckCall(T.Val(1)); |
| 114 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 115 | |
| 116 | } // namespace compiler |
| 117 | } // namespace internal |
| 118 | } // namespace v8 |