blob: ad08fa0fa908803226542486c84f35cc968917bb [file] [log] [blame]
Sebastien Hertzd45a1f52014-01-09 14:56:54 +01001/*
2 * Copyright (C) 2014 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
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020017#include "quick_exception_handler.h"
18
Ian Rogerse63db272014-07-15 15:36:11 -070019#include "arch/context.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070020#include "art_method-inl.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070021#include "base/enums.h"
Andreas Gampe170331f2017-12-07 18:41:03 -080022#include "base/logging.h" // For VLOG_IS_ON.
David Sehr9e734c72018-01-04 17:56:19 -080023#include "dex/dex_file_types.h"
24#include "dex/dex_instruction.h"
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020025#include "entrypoints/entrypoint_utils.h"
Andreas Gampe639bdd12015-06-03 11:22:45 -070026#include "entrypoints/quick/quick_entrypoints_enum.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070027#include "entrypoints/runtime_asm_entrypoints.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070028#include "handle_scope-inl.h"
Vladimir Marko55c12cd2018-05-22 15:33:48 +010029#include "interpreter/shadow_frame-inl.h"
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +000030#include "jit/jit.h"
31#include "jit/jit_code_cache.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070032#include "mirror/class-inl.h"
33#include "mirror/class_loader.h"
34#include "mirror/throwable.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010035#include "oat_quick_method_header.h"
Vladimir Marko3a21e382016-09-02 12:38:38 +010036#include "stack.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010037#include "stack_map.h"
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010038
39namespace art {
40
Ian Rogers5cf98192014-05-29 21:31:50 -070041static constexpr bool kDebugExceptionDelivery = false;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070042static constexpr size_t kInvalidFrameDepth = 0xffffffff;
Ian Rogers5cf98192014-05-29 21:31:50 -070043
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020044QuickExceptionHandler::QuickExceptionHandler(Thread* self, bool is_deoptimization)
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010045 : self_(self),
46 context_(self->GetLongJumpContext()),
47 is_deoptimization_(is_deoptimization),
48 method_tracing_active_(is_deoptimization ||
49 Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled()),
50 handler_quick_frame_(nullptr),
51 handler_quick_frame_pc_(0),
52 handler_method_header_(nullptr),
53 handler_quick_arg0_(0),
54 handler_method_(nullptr),
55 handler_dex_pc_(0),
56 clear_exception_(false),
Mingyao Yangf711f2c2016-05-23 12:29:39 -070057 handler_frame_depth_(kInvalidFrameDepth),
58 full_fragment_done_(false) {}
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010059
Sebastien Hertz520633b2015-09-08 17:03:36 +020060// Finds catch handler.
Ian Rogers5cf98192014-05-29 21:31:50 -070061class CatchBlockStackVisitor FINAL : public StackVisitor {
62 public:
63 CatchBlockStackVisitor(Thread* self, Context* context, Handle<mirror::Throwable>* exception,
64 QuickExceptionHandler* exception_handler)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070065 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010066 : StackVisitor(self, context, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010067 exception_(exception),
Ian Rogers5cf98192014-05-29 21:31:50 -070068 exception_handler_(exception_handler) {
69 }
70
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070071 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070072 ArtMethod* method = GetMethod();
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070073 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Ian Rogers5cf98192014-05-29 21:31:50 -070074 if (method == nullptr) {
75 // This is the upcall, we remember the frame and last pc so that we may long jump to them.
76 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
77 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010078 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Ian Rogers5cf98192014-05-29 21:31:50 -070079 uint32_t next_dex_pc;
Mathieu Chartiere401d142015-04-22 13:56:20 -070080 ArtMethod* next_art_method;
Ian Rogers5cf98192014-05-29 21:31:50 -070081 bool has_next = GetNextMethodAndDexPc(&next_art_method, &next_dex_pc);
82 // Report the method that did the down call as the handler.
83 exception_handler_->SetHandlerDexPc(next_dex_pc);
84 exception_handler_->SetHandlerMethod(next_art_method);
85 if (!has_next) {
86 // No next method? Check exception handler is set up for the unhandled exception handler
87 // case.
88 DCHECK_EQ(0U, exception_handler_->GetHandlerDexPc());
89 DCHECK(nullptr == exception_handler_->GetHandlerMethod());
90 }
91 return false; // End stack walk.
92 }
93 if (method->IsRuntimeMethod()) {
94 // Ignore callee save method.
95 DCHECK(method->IsCalleeSaveMethod());
96 return true;
97 }
Mathieu Chartiere401d142015-04-22 13:56:20 -070098 return HandleTryItems(method);
Ian Rogers5cf98192014-05-29 21:31:50 -070099 }
100
101 private:
Mathieu Chartiere401d142015-04-22 13:56:20 -0700102 bool HandleTryItems(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700103 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampee2abbc62017-09-15 11:59:26 -0700104 uint32_t dex_pc = dex::kDexNoIndex;
Ian Rogers5cf98192014-05-29 21:31:50 -0700105 if (!method->IsNative()) {
106 dex_pc = GetDexPc();
107 }
Andreas Gampee2abbc62017-09-15 11:59:26 -0700108 if (dex_pc != dex::kDexNoIndex) {
Ian Rogers5cf98192014-05-29 21:31:50 -0700109 bool clear_exception = false;
Sebastien Hertz26f72862015-09-15 09:52:07 +0200110 StackHandleScope<1> hs(GetThread());
Ian Rogers5cf98192014-05-29 21:31:50 -0700111 Handle<mirror::Class> to_find(hs.NewHandle((*exception_)->GetClass()));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700112 uint32_t found_dex_pc = method->FindCatchBlock(to_find, dex_pc, &clear_exception);
Ian Rogers5cf98192014-05-29 21:31:50 -0700113 exception_handler_->SetClearException(clear_exception);
Andreas Gampee2abbc62017-09-15 11:59:26 -0700114 if (found_dex_pc != dex::kDexNoIndex) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700115 exception_handler_->SetHandlerMethod(method);
Ian Rogers5cf98192014-05-29 21:31:50 -0700116 exception_handler_->SetHandlerDexPc(found_dex_pc);
David Brazdil72f7b882015-09-15 17:00:52 +0100117 exception_handler_->SetHandlerQuickFramePc(
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100118 GetCurrentOatQuickMethodHeader()->ToNativeQuickPc(
119 method, found_dex_pc, /* is_catch_handler */ true));
Ian Rogers5cf98192014-05-29 21:31:50 -0700120 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100121 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Ian Rogers5cf98192014-05-29 21:31:50 -0700122 return false; // End stack walk.
Mingyao Yang99170c62015-07-06 11:10:37 -0700123 } else if (UNLIKELY(GetThread()->HasDebuggerShadowFrames())) {
124 // We are going to unwind this frame. Did we prepare a shadow frame for debugging?
125 size_t frame_id = GetFrameId();
126 ShadowFrame* frame = GetThread()->FindDebuggerShadowFrame(frame_id);
127 if (frame != nullptr) {
128 // We will not execute this shadow frame so we can safely deallocate it.
129 GetThread()->RemoveDebuggerShadowFrameMapping(frame_id);
130 ShadowFrame::DeleteDeoptimizedFrame(frame);
131 }
Ian Rogers5cf98192014-05-29 21:31:50 -0700132 }
133 }
134 return true; // Continue stack walk.
135 }
136
Ian Rogers5cf98192014-05-29 21:31:50 -0700137 // The exception we're looking for the catch block of.
138 Handle<mirror::Throwable>* exception_;
139 // The quick exception handler we're visiting for.
140 QuickExceptionHandler* const exception_handler_;
141
142 DISALLOW_COPY_AND_ASSIGN(CatchBlockStackVisitor);
143};
144
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800145void QuickExceptionHandler::FindCatch(ObjPtr<mirror::Throwable> exception) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200146 DCHECK(!is_deoptimization_);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700147 StackHandleScope<1> hs(self_);
148 Handle<mirror::Throwable> exception_ref(hs.NewHandle(exception));
Vladimir Marko61aa0622018-03-13 17:01:09 +0000149 if (kDebugExceptionDelivery) {
150 ObjPtr<mirror::String> msg = exception_ref->GetDetailMessage();
151 std::string str_msg(msg != nullptr ? msg->ToModifiedUtf8() : "");
152 self_->DumpStack(LOG_STREAM(INFO) << "Delivering exception: " << exception_ref->PrettyTypeOf()
153 << ": " << str_msg << "\n");
154 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200155
Sebastien Hertz520633b2015-09-08 17:03:36 +0200156 // Walk the stack to find catch handler.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700157 CatchBlockStackVisitor visitor(self_, context_, &exception_ref, this);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100158 visitor.WalkStack(true);
159
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200160 if (kDebugExceptionDelivery) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700161 if (*handler_quick_frame_ == nullptr) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100162 LOG(INFO) << "Handler is upcall";
Ian Rogers5cf98192014-05-29 21:31:50 -0700163 }
164 if (handler_method_ != nullptr) {
David Sehr9323e6e2016-09-13 08:58:35 -0700165 const DexFile* dex_file = handler_method_->GetDeclaringClass()->GetDexCache()->GetDexFile();
166 int line_number = annotations::GetLineNumFromPC(dex_file, handler_method_, handler_dex_pc_);
David Sehr709b0702016-10-13 09:12:37 -0700167 LOG(INFO) << "Handler: " << handler_method_->PrettyMethod() << " (line: "
168 << line_number << ")";
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100169 }
170 }
Roland Levillainb77b6982017-06-08 18:03:48 +0100171 // Exception was cleared as part of delivery.
172 DCHECK(!self_->IsExceptionPending());
173 if (!clear_exception_) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100174 // Put exception back in root set with clear throw location.
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000175 self_->SetException(exception_ref.Get());
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100176 }
David Brazdil77a48ae2015-09-15 12:34:04 +0000177 // If the handler is in optimized code, we need to set the catch environment.
178 if (*handler_quick_frame_ != nullptr &&
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100179 handler_method_header_ != nullptr &&
180 handler_method_header_->IsOptimized()) {
David Brazdil77a48ae2015-09-15 12:34:04 +0000181 SetCatchEnvironmentForOptimizedHandler(&visitor);
182 }
183}
184
185static VRegKind ToVRegKind(DexRegisterLocation::Kind kind) {
186 // Slightly hacky since we cannot map DexRegisterLocationKind and VRegKind
187 // one to one. However, StackVisitor::GetVRegFromOptimizedCode only needs to
188 // distinguish between core/FPU registers and low/high bits on 64-bit.
189 switch (kind) {
190 case DexRegisterLocation::Kind::kConstant:
191 case DexRegisterLocation::Kind::kInStack:
192 // VRegKind is ignored.
193 return VRegKind::kUndefined;
194
195 case DexRegisterLocation::Kind::kInRegister:
196 // Selects core register. For 64-bit registers, selects low 32 bits.
197 return VRegKind::kLongLoVReg;
198
199 case DexRegisterLocation::Kind::kInRegisterHigh:
200 // Selects core register. For 64-bit registers, selects high 32 bits.
201 return VRegKind::kLongHiVReg;
202
203 case DexRegisterLocation::Kind::kInFpuRegister:
204 // Selects FPU register. For 64-bit registers, selects low 32 bits.
205 return VRegKind::kDoubleLoVReg;
206
207 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
208 // Selects FPU register. For 64-bit registers, selects high 32 bits.
209 return VRegKind::kDoubleHiVReg;
210
211 default:
David Srbecky7dc11782016-02-25 13:23:56 +0000212 LOG(FATAL) << "Unexpected vreg location " << kind;
David Brazdil77a48ae2015-09-15 12:34:04 +0000213 UNREACHABLE();
214 }
215}
216
217void QuickExceptionHandler::SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor) {
218 DCHECK(!is_deoptimization_);
219 DCHECK(*handler_quick_frame_ != nullptr) << "Method should not be called on upcall exceptions";
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100220 DCHECK(handler_method_ != nullptr && handler_method_header_->IsOptimized());
David Brazdil77a48ae2015-09-15 12:34:04 +0000221
222 if (kDebugExceptionDelivery) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700223 self_->DumpStack(LOG_STREAM(INFO) << "Setting catch phis: ");
David Brazdil77a48ae2015-09-15 12:34:04 +0000224 }
225
David Sehr0225f8e2018-01-31 08:52:24 +0000226 CodeItemDataAccessor accessor(handler_method_->DexInstructionData());
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800227 const size_t number_of_vregs = accessor.RegistersSize();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100228 CodeInfo code_info = handler_method_header_->GetOptimizedCodeInfo();
David Srbecky09ed0982016-02-12 21:58:43 +0000229 CodeInfoEncoding encoding = code_info.ExtractEncoding();
David Brazdil77a48ae2015-09-15 12:34:04 +0000230
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000231 // Find stack map of the catch block.
232 StackMap catch_stack_map = code_info.GetCatchStackMapForDexPc(GetHandlerDexPc(), encoding);
233 DCHECK(catch_stack_map.IsValid());
234 DexRegisterMap catch_vreg_map =
235 code_info.GetDexRegisterMapOf(catch_stack_map, encoding, number_of_vregs);
236 if (!catch_vreg_map.IsValid()) {
237 return;
238 }
239
David Brazdil77a48ae2015-09-15 12:34:04 +0000240 // Find stack map of the throwing instruction.
241 StackMap throw_stack_map =
242 code_info.GetStackMapForNativePcOffset(stack_visitor->GetNativePcOffset(), encoding);
243 DCHECK(throw_stack_map.IsValid());
244 DexRegisterMap throw_vreg_map =
245 code_info.GetDexRegisterMapOf(throw_stack_map, encoding, number_of_vregs);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000246 DCHECK(throw_vreg_map.IsValid());
David Brazdil77a48ae2015-09-15 12:34:04 +0000247
248 // Copy values between them.
249 for (uint16_t vreg = 0; vreg < number_of_vregs; ++vreg) {
250 DexRegisterLocation::Kind catch_location =
251 catch_vreg_map.GetLocationKind(vreg, number_of_vregs, code_info, encoding);
252 if (catch_location == DexRegisterLocation::Kind::kNone) {
253 continue;
254 }
255 DCHECK(catch_location == DexRegisterLocation::Kind::kInStack);
256
257 // Get vreg value from its current location.
258 uint32_t vreg_value;
259 VRegKind vreg_kind = ToVRegKind(throw_vreg_map.GetLocationKind(vreg,
260 number_of_vregs,
261 code_info,
262 encoding));
263 bool get_vreg_success = stack_visitor->GetVReg(stack_visitor->GetMethod(),
264 vreg,
265 vreg_kind,
266 &vreg_value);
267 CHECK(get_vreg_success) << "VReg " << vreg << " was optimized out ("
David Sehr709b0702016-10-13 09:12:37 -0700268 << "method=" << ArtMethod::PrettyMethod(stack_visitor->GetMethod())
269 << ", dex_pc=" << stack_visitor->GetDexPc() << ", "
David Brazdil77a48ae2015-09-15 12:34:04 +0000270 << "native_pc_offset=" << stack_visitor->GetNativePcOffset() << ")";
271
272 // Copy value to the catch phi's stack slot.
273 int32_t slot_offset = catch_vreg_map.GetStackOffsetInBytes(vreg,
274 number_of_vregs,
275 code_info,
276 encoding);
277 ArtMethod** frame_top = stack_visitor->GetCurrentQuickFrame();
278 uint8_t* slot_address = reinterpret_cast<uint8_t*>(frame_top) + slot_offset;
279 uint32_t* slot_ptr = reinterpret_cast<uint32_t*>(slot_address);
280 *slot_ptr = vreg_value;
281 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200282}
283
Ian Rogers5cf98192014-05-29 21:31:50 -0700284// Prepares deoptimization.
285class DeoptimizeStackVisitor FINAL : public StackVisitor {
286 public:
Andreas Gampe639bdd12015-06-03 11:22:45 -0700287 DeoptimizeStackVisitor(Thread* self,
288 Context* context,
289 QuickExceptionHandler* exception_handler,
290 bool single_frame)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700291 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100292 : StackVisitor(self, context, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100293 exception_handler_(exception_handler),
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700294 prev_shadow_frame_(nullptr),
Andreas Gampe639bdd12015-06-03 11:22:45 -0700295 stacked_shadow_frame_pushed_(false),
296 single_frame_deopt_(single_frame),
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100297 single_frame_done_(false),
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000298 single_frame_deopt_method_(nullptr),
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700299 single_frame_deopt_quick_method_header_(nullptr),
300 callee_method_(nullptr) {
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100301 }
302
303 ArtMethod* GetSingleFrameDeoptMethod() const {
304 return single_frame_deopt_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700305 }
306
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000307 const OatQuickMethodHeader* GetSingleFrameDeoptQuickMethodHeader() const {
308 return single_frame_deopt_quick_method_header_;
309 }
310
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700311 void FinishStackWalk() REQUIRES_SHARED(Locks::mutator_lock_) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700312 // This is the upcall, or the next full frame in single-frame deopt, or the
313 // code isn't deoptimizeable. We remember the frame and last pc so that we
314 // may long jump to them.
315 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
316 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
317 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
318 if (!stacked_shadow_frame_pushed_) {
319 // In case there is no deoptimized shadow frame for this upcall, we still
320 // need to push a nullptr to the stack since there is always a matching pop after
321 // the long jump.
322 GetThread()->PushStackedShadowFrame(nullptr,
323 StackedShadowFrameType::kDeoptimizationShadowFrame);
324 stacked_shadow_frame_pushed_ = true;
325 }
326 if (GetMethod() == nullptr) {
327 exception_handler_->SetFullFragmentDone(true);
328 } else {
David Sehr709b0702016-10-13 09:12:37 -0700329 CHECK(callee_method_ != nullptr) << GetMethod()->PrettyMethod(false);
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700330 exception_handler_->SetHandlerQuickArg0(reinterpret_cast<uintptr_t>(callee_method_));
331 }
332 }
333
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700334 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700335 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700336 ArtMethod* method = GetMethod();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700337 if (method == nullptr || single_frame_done_) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700338 FinishStackWalk();
Ian Rogers5cf98192014-05-29 21:31:50 -0700339 return false; // End stack walk.
340 } else if (method->IsRuntimeMethod()) {
341 // Ignore callee save method.
342 DCHECK(method->IsCalleeSaveMethod());
343 return true;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200344 } else if (method->IsNative()) {
345 // If we return from JNI with a pending exception and want to deoptimize, we need to skip
346 // the native method.
347 // The top method is a runtime method, the native method comes next.
348 CHECK_EQ(GetFrameDepth(), 1U);
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700349 callee_method_ = method;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200350 return true;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700351 } else if (!single_frame_deopt_ &&
Nicolas Geoffray433b79a2017-01-30 20:54:45 +0000352 !Runtime::Current()->IsAsyncDeoptimizeable(GetCurrentQuickFramePc())) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700353 // We hit some code that's not deoptimizeable. However, Single-frame deoptimization triggered
354 // from compiled code is always allowed since HDeoptimize always saves the full environment.
Nicolas Geoffray433b79a2017-01-30 20:54:45 +0000355 LOG(WARNING) << "Got request to deoptimize un-deoptimizable method "
356 << method->PrettyMethod();
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700357 FinishStackWalk();
358 return false; // End stack walk.
Ian Rogers5cf98192014-05-29 21:31:50 -0700359 } else {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100360 // Check if a shadow frame already exists for debugger's set-local-value purpose.
361 const size_t frame_id = GetFrameId();
362 ShadowFrame* new_frame = GetThread()->FindDebuggerShadowFrame(frame_id);
363 const bool* updated_vregs;
David Sehr0225f8e2018-01-31 08:52:24 +0000364 CodeItemDataAccessor accessor(method->DexInstructionData());
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800365 const size_t num_regs = accessor.RegistersSize();
Nicolas Geoffray33856502015-10-20 15:52:58 +0100366 if (new_frame == nullptr) {
367 new_frame = ShadowFrame::CreateDeoptimizedFrame(num_regs, nullptr, method, GetDexPc());
368 updated_vregs = nullptr;
369 } else {
370 updated_vregs = GetThread()->GetUpdatedVRegFlags(frame_id);
371 DCHECK(updated_vregs != nullptr);
372 }
Andreas Gampebf9611f2016-03-25 16:58:00 -0700373 HandleOptimizingDeoptimization(method, new_frame, updated_vregs);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100374 if (updated_vregs != nullptr) {
375 // Calling Thread::RemoveDebuggerShadowFrameMapping will also delete the updated_vregs
376 // array so this must come after we processed the frame.
377 GetThread()->RemoveDebuggerShadowFrameMapping(frame_id);
378 DCHECK(GetThread()->FindDebuggerShadowFrame(frame_id) == nullptr);
379 }
380 if (prev_shadow_frame_ != nullptr) {
381 prev_shadow_frame_->SetLink(new_frame);
382 } else {
383 // Will be popped after the long jump after DeoptimizeStack(),
384 // right before interpreter::EnterInterpreterFromDeoptimize().
385 stacked_shadow_frame_pushed_ = true;
386 GetThread()->PushStackedShadowFrame(
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700387 new_frame, StackedShadowFrameType::kDeoptimizationShadowFrame);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100388 }
389 prev_shadow_frame_ = new_frame;
390
Andreas Gampe639bdd12015-06-03 11:22:45 -0700391 if (single_frame_deopt_ && !IsInInlinedFrame()) {
392 // Single-frame deopt ends at the first non-inlined frame and needs to store that method.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700393 single_frame_done_ = true;
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100394 single_frame_deopt_method_ = method;
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000395 single_frame_deopt_quick_method_header_ = GetCurrentOatQuickMethodHeader();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700396 }
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700397 callee_method_ = method;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700398 return true;
Ian Rogers5cf98192014-05-29 21:31:50 -0700399 }
400 }
401
402 private:
Nicolas Geoffray33856502015-10-20 15:52:58 +0100403 void HandleOptimizingDeoptimization(ArtMethod* m,
404 ShadowFrame* new_frame,
405 const bool* updated_vregs)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700406 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100407 const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader();
408 CodeInfo code_info = method_header->GetOptimizedCodeInfo();
409 uintptr_t native_pc_offset = method_header->NativeQuickPcOffset(GetCurrentQuickFramePc());
David Srbecky09ed0982016-02-12 21:58:43 +0000410 CodeInfoEncoding encoding = code_info.ExtractEncoding();
Nicolas Geoffray33856502015-10-20 15:52:58 +0100411 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding);
David Sehr0225f8e2018-01-31 08:52:24 +0000412 CodeItemDataAccessor accessor(m->DexInstructionData());
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800413 const size_t number_of_vregs = accessor.RegistersSize();
Mathieu Chartier1a20b682017-01-31 14:25:16 -0800414 uint32_t register_mask = code_info.GetRegisterMaskOf(encoding, stack_map);
David Srbecky45aa5982016-03-18 02:15:09 +0000415 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(encoding, stack_map);
David Brazdilefc3f022015-10-28 12:19:06 -0500416 DexRegisterMap vreg_map = IsInInlinedFrame()
417 ? code_info.GetDexRegisterMapAtDepth(GetCurrentInliningDepth() - 1,
418 code_info.GetInlineInfoOf(stack_map, encoding),
419 encoding,
420 number_of_vregs)
421 : code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_vregs);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100422
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000423 if (!vreg_map.IsValid()) {
424 return;
425 }
426
Nicolas Geoffray33856502015-10-20 15:52:58 +0100427 for (uint16_t vreg = 0; vreg < number_of_vregs; ++vreg) {
428 if (updated_vregs != nullptr && updated_vregs[vreg]) {
429 // Keep the value set by debugger.
430 continue;
431 }
432
433 DexRegisterLocation::Kind location =
434 vreg_map.GetLocationKind(vreg, number_of_vregs, code_info, encoding);
435 static constexpr uint32_t kDeadValue = 0xEBADDE09;
436 uint32_t value = kDeadValue;
437 bool is_reference = false;
438
439 switch (location) {
440 case DexRegisterLocation::Kind::kInStack: {
441 const int32_t offset = vreg_map.GetStackOffsetInBytes(vreg,
442 number_of_vregs,
443 code_info,
444 encoding);
445 const uint8_t* addr = reinterpret_cast<const uint8_t*>(GetCurrentQuickFrame()) + offset;
446 value = *reinterpret_cast<const uint32_t*>(addr);
447 uint32_t bit = (offset >> 2);
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800448 if (bit < encoding.stack_mask.encoding.BitSize() && stack_mask.LoadBit(bit)) {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100449 is_reference = true;
450 }
451 break;
452 }
453 case DexRegisterLocation::Kind::kInRegister:
454 case DexRegisterLocation::Kind::kInRegisterHigh:
455 case DexRegisterLocation::Kind::kInFpuRegister:
456 case DexRegisterLocation::Kind::kInFpuRegisterHigh: {
457 uint32_t reg = vreg_map.GetMachineRegister(vreg, number_of_vregs, code_info, encoding);
458 bool result = GetRegisterIfAccessible(reg, ToVRegKind(location), &value);
459 CHECK(result);
460 if (location == DexRegisterLocation::Kind::kInRegister) {
461 if (((1u << reg) & register_mask) != 0) {
462 is_reference = true;
463 }
464 }
465 break;
466 }
467 case DexRegisterLocation::Kind::kConstant: {
468 value = vreg_map.GetConstant(vreg, number_of_vregs, code_info, encoding);
469 if (value == 0) {
470 // Make it a reference for extra safety.
471 is_reference = true;
472 }
473 break;
474 }
475 case DexRegisterLocation::Kind::kNone: {
476 break;
477 }
478 default: {
479 LOG(FATAL)
David Srbecky7dc11782016-02-25 13:23:56 +0000480 << "Unexpected location kind "
481 << vreg_map.GetLocationInternalKind(vreg,
482 number_of_vregs,
483 code_info,
484 encoding);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100485 UNREACHABLE();
486 }
487 }
488 if (is_reference) {
489 new_frame->SetVRegReference(vreg, reinterpret_cast<mirror::Object*>(value));
490 } else {
491 new_frame->SetVReg(vreg, value);
492 }
493 }
494 }
495
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200496 static VRegKind GetVRegKind(uint16_t reg, const std::vector<int32_t>& kinds) {
497 return static_cast<VRegKind>(kinds.at(reg * 2));
498 }
499
Ian Rogers5cf98192014-05-29 21:31:50 -0700500 QuickExceptionHandler* const exception_handler_;
501 ShadowFrame* prev_shadow_frame_;
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700502 bool stacked_shadow_frame_pushed_;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700503 const bool single_frame_deopt_;
504 bool single_frame_done_;
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100505 ArtMethod* single_frame_deopt_method_;
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000506 const OatQuickMethodHeader* single_frame_deopt_quick_method_header_;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700507 ArtMethod* callee_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700508
509 DISALLOW_COPY_AND_ASSIGN(DeoptimizeStackVisitor);
510};
511
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700512void QuickExceptionHandler::PrepareForLongJumpToInvokeStubOrInterpreterBridge() {
513 if (full_fragment_done_) {
514 // Restore deoptimization exception. When returning from the invoke stub,
515 // ArtMethod::Invoke() will see the special exception to know deoptimization
516 // is needed.
517 self_->SetException(Thread::GetDeoptimizationException());
518 } else {
519 // PC needs to be of the quick-to-interpreter bridge.
520 int32_t offset;
Andreas Gampe542451c2016-07-26 09:02:02 -0700521 offset = GetThreadOffset<kRuntimePointerSize>(kQuickQuickToInterpreterBridge).Int32Value();
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700522 handler_quick_frame_pc_ = *reinterpret_cast<uintptr_t*>(
523 reinterpret_cast<uint8_t*>(self_) + offset);
524 }
525}
526
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200527void QuickExceptionHandler::DeoptimizeStack() {
528 DCHECK(is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700529 if (kDebugExceptionDelivery) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700530 self_->DumpStack(LOG_STREAM(INFO) << "Deoptimizing: ");
Ian Rogers5cf98192014-05-29 21:31:50 -0700531 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200532
Andreas Gampe639bdd12015-06-03 11:22:45 -0700533 DeoptimizeStackVisitor visitor(self_, context_, this, false);
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200534 visitor.WalkStack(true);
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700535 PrepareForLongJumpToInvokeStubOrInterpreterBridge();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100536}
537
Nicolas Geoffray4e92c3c2017-05-08 09:34:26 +0100538void QuickExceptionHandler::DeoptimizeSingleFrame(DeoptimizationKind kind) {
Andreas Gampe639bdd12015-06-03 11:22:45 -0700539 DCHECK(is_deoptimization_);
540
Andreas Gampe639bdd12015-06-03 11:22:45 -0700541 DeoptimizeStackVisitor visitor(self_, context_, this, true);
542 visitor.WalkStack(true);
543
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000544 // Compiled code made an explicit deoptimization.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100545 ArtMethod* deopt_method = visitor.GetSingleFrameDeoptMethod();
546 DCHECK(deopt_method != nullptr);
Nicolas Geoffray646d6382017-08-09 10:50:00 +0100547 if (VLOG_IS_ON(deopt) || kDebugExceptionDelivery) {
548 LOG(INFO) << "Single-frame deopting: "
549 << deopt_method->PrettyMethod()
550 << " due to "
551 << GetDeoptimizationKindName(kind);
552 DumpFramesWithType(self_, /* details */ true);
553 }
Calin Juravleffc87072016-04-20 14:22:09 +0100554 if (Runtime::Current()->UseJitCompilation()) {
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000555 Runtime::Current()->GetJit()->GetCodeCache()->InvalidateCompiledCodeFor(
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000556 deopt_method, visitor.GetSingleFrameDeoptQuickMethodHeader());
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000557 } else {
558 // Transfer the code to interpreter.
559 Runtime::Current()->GetInstrumentation()->UpdateMethodsCode(
560 deopt_method, GetQuickToInterpreterBridge());
561 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100562
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700563 PrepareForLongJumpToInvokeStubOrInterpreterBridge();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700564}
565
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700566void QuickExceptionHandler::DeoptimizePartialFragmentFixup(uintptr_t return_pc) {
567 // At this point, the instrumentation stack has been updated. We need to install
568 // the real return pc on stack, in case instrumentation stub is stored there,
569 // so that the interpreter bridge code can return to the right place.
570 if (return_pc != 0) {
571 uintptr_t* pc_addr = reinterpret_cast<uintptr_t*>(handler_quick_frame_);
572 CHECK(pc_addr != nullptr);
573 pc_addr--;
574 *reinterpret_cast<uintptr_t*>(pc_addr) = return_pc;
575 }
Andreas Gampe639bdd12015-06-03 11:22:45 -0700576
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700577 // Architecture-dependent work. This is to get the LR right for x86 and x86-64.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700578 if (kRuntimeISA == InstructionSet::kX86 || kRuntimeISA == InstructionSet::kX86_64) {
579 // On x86, the return address is on the stack, so just reuse it. Otherwise we would have to
580 // change how longjump works.
581 handler_quick_frame_ = reinterpret_cast<ArtMethod**>(
582 reinterpret_cast<uintptr_t>(handler_quick_frame_) - sizeof(void*));
583 }
584}
585
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100586// Unwinds all instrumentation stack frame prior to catch handler or upcall.
587class InstrumentationStackVisitor : public StackVisitor {
588 public:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700589 InstrumentationStackVisitor(Thread* self, size_t frame_depth)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700590 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100591 : StackVisitor(self, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Ian Rogerscf7f1912014-10-22 22:06:39 -0700592 frame_depth_(frame_depth),
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100593 instrumentation_frames_to_pop_(0) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700594 CHECK_NE(frame_depth_, kInvalidFrameDepth);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100595 }
596
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700597 bool VisitFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700598 size_t current_frame_depth = GetFrameDepth();
599 if (current_frame_depth < frame_depth_) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100600 CHECK(GetMethod() != nullptr);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700601 if (UNLIKELY(reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == GetReturnPc())) {
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100602 if (!IsInInlinedFrame()) {
603 // We do not count inlined frames, because we do not instrument them. The reason we
604 // include them in the stack walking is the check against `frame_depth_`, which is
605 // given to us by a visitor that visits inlined frames.
606 ++instrumentation_frames_to_pop_;
607 }
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100608 }
609 return true;
610 } else {
611 // We reached the frame of the catch handler or the upcall.
612 return false;
613 }
614 }
615
616 size_t GetInstrumentationFramesToPop() const {
617 return instrumentation_frames_to_pop_;
618 }
619
620 private:
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700621 const size_t frame_depth_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100622 size_t instrumentation_frames_to_pop_;
623
624 DISALLOW_COPY_AND_ASSIGN(InstrumentationStackVisitor);
625};
626
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700627uintptr_t QuickExceptionHandler::UpdateInstrumentationStack() {
628 uintptr_t return_pc = 0;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100629 if (method_tracing_active_) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700630 InstrumentationStackVisitor visitor(self_, handler_frame_depth_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100631 visitor.WalkStack(true);
632
633 size_t instrumentation_frames_to_pop = visitor.GetInstrumentationFramesToPop();
634 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
635 for (size_t i = 0; i < instrumentation_frames_to_pop; ++i) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700636 return_pc = instrumentation->PopMethodForUnwind(self_, is_deoptimization_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100637 }
638 }
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700639 return return_pc;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100640}
641
Andreas Gampe639bdd12015-06-03 11:22:45 -0700642void QuickExceptionHandler::DoLongJump(bool smash_caller_saves) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100643 // Place context back on thread so it will be available when we continue.
644 self_->ReleaseLongJumpContext(context_);
645 context_->SetSP(reinterpret_cast<uintptr_t>(handler_quick_frame_));
646 CHECK_NE(handler_quick_frame_pc_, 0u);
647 context_->SetPC(handler_quick_frame_pc_);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700648 context_->SetArg0(handler_quick_arg0_);
649 if (smash_caller_saves) {
650 context_->SmashCallerSaves();
651 }
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100652 context_->DoLongJump();
Andreas Gampe794ad762015-02-23 08:12:24 -0800653 UNREACHABLE();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100654}
655
Andreas Gampe639bdd12015-06-03 11:22:45 -0700656// Prints out methods with their type of frame.
657class DumpFramesWithTypeStackVisitor FINAL : public StackVisitor {
658 public:
Chih-Hung Hsieh471118e2016-04-29 14:27:41 -0700659 explicit DumpFramesWithTypeStackVisitor(Thread* self, bool show_details = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700660 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampe639bdd12015-06-03 11:22:45 -0700661 : StackVisitor(self, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
662 show_details_(show_details) {}
663
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700664 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe639bdd12015-06-03 11:22:45 -0700665 ArtMethod* method = GetMethod();
666 if (show_details_) {
667 LOG(INFO) << "|> pc = " << std::hex << GetCurrentQuickFramePc();
668 LOG(INFO) << "|> addr = " << std::hex << reinterpret_cast<uintptr_t>(GetCurrentQuickFrame());
669 if (GetCurrentQuickFrame() != nullptr && method != nullptr) {
670 LOG(INFO) << "|> ret = " << std::hex << GetReturnPc();
671 }
672 }
673 if (method == nullptr) {
674 // Transition, do go on, we want to unwind over bridges, all the way.
675 if (show_details_) {
676 LOG(INFO) << "N <transition>";
677 }
678 return true;
679 } else if (method->IsRuntimeMethod()) {
680 if (show_details_) {
David Sehr709b0702016-10-13 09:12:37 -0700681 LOG(INFO) << "R " << method->PrettyMethod(true);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700682 }
683 return true;
684 } else {
685 bool is_shadow = GetCurrentShadowFrame() != nullptr;
686 LOG(INFO) << (is_shadow ? "S" : "Q")
687 << ((!is_shadow && IsInInlinedFrame()) ? "i" : " ")
688 << " "
David Sehr709b0702016-10-13 09:12:37 -0700689 << method->PrettyMethod(true);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700690 return true; // Go on.
691 }
692 }
693
694 private:
695 bool show_details_;
696
697 DISALLOW_COPY_AND_ASSIGN(DumpFramesWithTypeStackVisitor);
698};
699
700void QuickExceptionHandler::DumpFramesWithType(Thread* self, bool details) {
701 DumpFramesWithTypeStackVisitor visitor(self, details);
702 visitor.WalkStack(true);
703}
704
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100705} // namespace art