blob: 5b9d03b7fa01af5cdda59d3a22ebc59df8b21f8c [file] [log] [blame]
Ian Rogers306057f2012-11-26 12:45:53 -08001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Mathieu Chartiere401d142015-04-22 13:56:20 -070017#include "art_method-inl.h"
Andreas Gampef3d1f942015-05-18 21:41:13 -070018#include "base/logging.h"
Ian Rogers306057f2012-11-26 12:45:53 -080019#include "callee_save_frame.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070020#include "dex_file-inl.h"
Ian Rogers306057f2012-11-26 12:45:53 -080021#include "interpreter/interpreter.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070022#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080023#include "mirror/object_array-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070024#include "mirror/object-inl.h"
Andreas Gampe639bdd12015-06-03 11:22:45 -070025#include "quick_exception_handler.h"
Ian Rogers306057f2012-11-26 12:45:53 -080026#include "thread.h"
27#include "verifier/method_verifier.h"
28
29namespace art {
30
Mingyao Yangf711f2c2016-05-23 12:29:39 -070031NO_RETURN static void artDeoptimizeImpl(Thread* self, bool single_frame)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070032 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampef3d1f942015-05-18 21:41:13 -070033 if (VLOG_IS_ON(deopt)) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -070034 if (single_frame) {
35 // Deopt logging will be in DeoptimizeSingleFrame. It is there to take advantage of the
36 // specialized visitor that will show whether a method is Quick or Shadow.
37 } else {
38 LOG(INFO) << "Deopting:";
39 self->Dump(LOG(INFO));
40 }
Andreas Gampef3d1f942015-05-18 21:41:13 -070041 }
42
Sebastien Hertz07474662015-08-25 15:12:33 +000043 self->AssertHasDeoptimizationContext();
Mingyao Yangf711f2c2016-05-23 12:29:39 -070044 QuickExceptionHandler exception_handler(self, true);
45 if (single_frame) {
46 exception_handler.DeoptimizeSingleFrame();
47 } else {
48 exception_handler.DeoptimizeStack();
49 }
50 uintptr_t return_pc = exception_handler.UpdateInstrumentationStack();
51 if (exception_handler.IsFullFragmentDone()) {
52 exception_handler.DoLongJump(true);
53 } else {
54 exception_handler.DeoptimizePartialFragmentFixup(return_pc);
55 // We cannot smash the caller-saves, as we need the ArtMethod in a parameter register that would
56 // be caller-saved. This has the downside that we cannot track incorrect register usage down the
57 // line.
58 exception_handler.DoLongJump(false);
59 }
Ian Rogers306057f2012-11-26 12:45:53 -080060}
61
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070062extern "C" NO_RETURN void artDeoptimize(Thread* self) REQUIRES_SHARED(Locks::mutator_lock_) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -070063 ScopedQuickEntrypointChecks sqec(self);
64 artDeoptimizeImpl(self, false);
65}
66
67// This is called directly from compiled code by an HDepptimize.
Sebastien Hertz07474662015-08-25 15:12:33 +000068extern "C" NO_RETURN void artDeoptimizeFromCompiledCode(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070069 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz07474662015-08-25 15:12:33 +000070 ScopedQuickEntrypointChecks sqec(self);
71 // Before deoptimizing to interpreter, we must push the deoptimization context.
72 JValue return_value;
73 return_value.SetJ(0); // we never deoptimize from compiled code with an invoke result.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010074 self->PushDeoptimizationContext(return_value, false, /* from_code */ true, self->GetException());
Mingyao Yangf711f2c2016-05-23 12:29:39 -070075 artDeoptimizeImpl(self, true);
Sebastien Hertz07474662015-08-25 15:12:33 +000076}
77
Ian Rogers306057f2012-11-26 12:45:53 -080078} // namespace art