Line data    Source code

       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             : 
       5             : #include "src/frames-inl.h"
       6             : #include "test/cctest/cctest.h"
       7             : #include "test/cctest/compiler/function-tester.h"
       8             : 
       9             : namespace v8 {
      10             : namespace internal {
      11             : namespace compiler {
      12             : 
      13          60 : static void IsOptimized(const v8::FunctionCallbackInfo<v8::Value>& args) {
      14          30 :   JavaScriptFrameIterator it(CcTest::i_isolate());
      15             :   JavaScriptFrame* frame = it.frame();
      16          60 :   return args.GetReturnValue().Set(frame->is_optimized());
      17             : }
      18             : 
      19             : 
      20          20 : static void InstallIsOptimizedHelper(v8::Isolate* isolate) {
      21          20 :   v8::Local<v8::Context> context = isolate->GetCurrentContext();
      22             :   v8::Local<v8::FunctionTemplate> t =
      23          20 :       v8::FunctionTemplate::New(isolate, IsOptimized);
      24         100 :   CHECK(context->Global()
      25             :             ->Set(context, v8_str("IsOptimized"),
      26             :                   t->GetFunction(context).ToLocalChecked())
      27             :             .FromJust());
      28          20 : }
      29             : 
      30             : 
      31       28342 : TEST(DeoptSimple) {
      32           5 :   FLAG_allow_natives_syntax = true;
      33             : 
      34             :   FunctionTester T(
      35             :       "(function f(a) {"
      36             :       "  var b = 1;"
      37             :       "  if (!IsOptimized()) return 0;"
      38             :       "  %DeoptimizeFunction(f);"
      39             :       "  if (IsOptimized()) return 0;"
      40             :       "  return a + b;"
      41           5 :       "})");
      42             : 
      43           5 :   InstallIsOptimizedHelper(CcTest::isolate());
      44           5 :   T.CheckCall(T.Val(2), T.Val(1));
      45           5 : }
      46             : 
      47             : 
      48       28342 : TEST(DeoptSimpleInExpr) {
      49           5 :   FLAG_allow_natives_syntax = true;
      50             : 
      51             :   FunctionTester T(
      52             :       "(function f(a) {"
      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           5 :       "})");
      60             : 
      61           5 :   InstallIsOptimizedHelper(CcTest::isolate());
      62           5 :   T.CheckCall(T.Val(6), T.Val(3));
      63           5 : }
      64             : 
      65             : 
      66       28342 : TEST(DeoptExceptionHandlerCatch) {
      67           5 :   FLAG_allow_natives_syntax = true;
      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           5 :       "})");
      78             : 
      79             :   CompileRun("function DeoptAndThrow(f) { %DeoptimizeFunction(f); throw 0; }");
      80           5 :   InstallIsOptimizedHelper(CcTest::isolate());
      81           5 :   T.CheckCall(T.false_value());
      82           5 : }
      83             : 
      84             : 
      85       28342 : TEST(DeoptExceptionHandlerFinally) {
      86           5 :   FLAG_allow_natives_syntax = true;
      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           5 :       "})");
      97             : 
      98             :   CompileRun("function DeoptAndThrow(f) { %DeoptimizeFunction(f); throw 0; }");
      99           5 :   InstallIsOptimizedHelper(CcTest::isolate());
     100           5 :   T.CheckCall(T.false_value());
     101           5 : }
     102             : 
     103             : 
     104       28342 : TEST(DeoptTrivial) {
     105           5 :   FLAG_allow_natives_syntax = true;
     106             : 
     107             :   FunctionTester T(
     108             :       "(function foo() {"
     109             :       "  %DeoptimizeFunction(foo);"
     110             :       "  return 1;"
     111           5 :       "})");
     112             : 
     113           5 :   T.CheckCall(T.Val(1));
     114           5 : }
     115             : 
     116             : }  // namespace compiler
     117             : }  // namespace internal
     118       85011 : }  // namespace v8