blob: 9056d96f79d8e32fb7acfb7b22b05bf3cf259246 [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"
Ian Rogers5cf98192014-05-29 21:31:50 -070022#include "dex_instruction.h"
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020023#include "entrypoints/entrypoint_utils.h"
Andreas Gampe639bdd12015-06-03 11:22:45 -070024#include "entrypoints/quick/quick_entrypoints_enum.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070025#include "entrypoints/runtime_asm_entrypoints.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070026#include "handle_scope-inl.h"
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +000027#include "jit/jit.h"
28#include "jit/jit_code_cache.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070029#include "mirror/class-inl.h"
30#include "mirror/class_loader.h"
31#include "mirror/throwable.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010032#include "oat_quick_method_header.h"
Vladimir Marko3a21e382016-09-02 12:38:38 +010033#include "stack.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010034#include "stack_map.h"
Ian Rogers5cf98192014-05-29 21:31:50 -070035#include "verifier/method_verifier.h"
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010036
37namespace art {
38
Ian Rogers5cf98192014-05-29 21:31:50 -070039static constexpr bool kDebugExceptionDelivery = false;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070040static constexpr size_t kInvalidFrameDepth = 0xffffffff;
Ian Rogers5cf98192014-05-29 21:31:50 -070041
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020042QuickExceptionHandler::QuickExceptionHandler(Thread* self, bool is_deoptimization)
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010043 : self_(self),
44 context_(self->GetLongJumpContext()),
45 is_deoptimization_(is_deoptimization),
46 method_tracing_active_(is_deoptimization ||
47 Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled()),
48 handler_quick_frame_(nullptr),
49 handler_quick_frame_pc_(0),
50 handler_method_header_(nullptr),
51 handler_quick_arg0_(0),
52 handler_method_(nullptr),
53 handler_dex_pc_(0),
54 clear_exception_(false),
Mingyao Yangf711f2c2016-05-23 12:29:39 -070055 handler_frame_depth_(kInvalidFrameDepth),
56 full_fragment_done_(false) {}
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010057
Sebastien Hertz520633b2015-09-08 17:03:36 +020058// Finds catch handler.
Ian Rogers5cf98192014-05-29 21:31:50 -070059class CatchBlockStackVisitor FINAL : public StackVisitor {
60 public:
61 CatchBlockStackVisitor(Thread* self, Context* context, Handle<mirror::Throwable>* exception,
62 QuickExceptionHandler* exception_handler)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070063 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010064 : StackVisitor(self, context, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010065 exception_(exception),
Ian Rogers5cf98192014-05-29 21:31:50 -070066 exception_handler_(exception_handler) {
67 }
68
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070069 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070070 ArtMethod* method = GetMethod();
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070071 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Ian Rogers5cf98192014-05-29 21:31:50 -070072 if (method == nullptr) {
73 // This is the upcall, we remember the frame and last pc so that we may long jump to them.
74 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
75 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010076 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Ian Rogers5cf98192014-05-29 21:31:50 -070077 uint32_t next_dex_pc;
Mathieu Chartiere401d142015-04-22 13:56:20 -070078 ArtMethod* next_art_method;
Ian Rogers5cf98192014-05-29 21:31:50 -070079 bool has_next = GetNextMethodAndDexPc(&next_art_method, &next_dex_pc);
80 // Report the method that did the down call as the handler.
81 exception_handler_->SetHandlerDexPc(next_dex_pc);
82 exception_handler_->SetHandlerMethod(next_art_method);
83 if (!has_next) {
84 // No next method? Check exception handler is set up for the unhandled exception handler
85 // case.
86 DCHECK_EQ(0U, exception_handler_->GetHandlerDexPc());
87 DCHECK(nullptr == exception_handler_->GetHandlerMethod());
88 }
89 return false; // End stack walk.
90 }
91 if (method->IsRuntimeMethod()) {
92 // Ignore callee save method.
93 DCHECK(method->IsCalleeSaveMethod());
94 return true;
95 }
Mathieu Chartiere401d142015-04-22 13:56:20 -070096 return HandleTryItems(method);
Ian Rogers5cf98192014-05-29 21:31:50 -070097 }
98
99 private:
Mathieu Chartiere401d142015-04-22 13:56:20 -0700100 bool HandleTryItems(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700101 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers5cf98192014-05-29 21:31:50 -0700102 uint32_t dex_pc = DexFile::kDexNoIndex;
103 if (!method->IsNative()) {
104 dex_pc = GetDexPc();
105 }
106 if (dex_pc != DexFile::kDexNoIndex) {
107 bool clear_exception = false;
Sebastien Hertz26f72862015-09-15 09:52:07 +0200108 StackHandleScope<1> hs(GetThread());
Ian Rogers5cf98192014-05-29 21:31:50 -0700109 Handle<mirror::Class> to_find(hs.NewHandle((*exception_)->GetClass()));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700110 uint32_t found_dex_pc = method->FindCatchBlock(to_find, dex_pc, &clear_exception);
Ian Rogers5cf98192014-05-29 21:31:50 -0700111 exception_handler_->SetClearException(clear_exception);
112 if (found_dex_pc != DexFile::kDexNoIndex) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700113 exception_handler_->SetHandlerMethod(method);
Ian Rogers5cf98192014-05-29 21:31:50 -0700114 exception_handler_->SetHandlerDexPc(found_dex_pc);
David Brazdil72f7b882015-09-15 17:00:52 +0100115 exception_handler_->SetHandlerQuickFramePc(
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100116 GetCurrentOatQuickMethodHeader()->ToNativeQuickPc(
117 method, found_dex_pc, /* is_catch_handler */ true));
Ian Rogers5cf98192014-05-29 21:31:50 -0700118 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100119 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Ian Rogers5cf98192014-05-29 21:31:50 -0700120 return false; // End stack walk.
Mingyao Yang99170c62015-07-06 11:10:37 -0700121 } else if (UNLIKELY(GetThread()->HasDebuggerShadowFrames())) {
122 // We are going to unwind this frame. Did we prepare a shadow frame for debugging?
123 size_t frame_id = GetFrameId();
124 ShadowFrame* frame = GetThread()->FindDebuggerShadowFrame(frame_id);
125 if (frame != nullptr) {
126 // We will not execute this shadow frame so we can safely deallocate it.
127 GetThread()->RemoveDebuggerShadowFrameMapping(frame_id);
128 ShadowFrame::DeleteDeoptimizedFrame(frame);
129 }
Ian Rogers5cf98192014-05-29 21:31:50 -0700130 }
131 }
132 return true; // Continue stack walk.
133 }
134
Ian Rogers5cf98192014-05-29 21:31:50 -0700135 // The exception we're looking for the catch block of.
136 Handle<mirror::Throwable>* exception_;
137 // The quick exception handler we're visiting for.
138 QuickExceptionHandler* const exception_handler_;
139
140 DISALLOW_COPY_AND_ASSIGN(CatchBlockStackVisitor);
141};
142
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000143void QuickExceptionHandler::FindCatch(mirror::Throwable* exception) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200144 DCHECK(!is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700145 if (kDebugExceptionDelivery) {
146 mirror::String* msg = exception->GetDetailMessage();
147 std::string str_msg(msg != nullptr ? msg->ToModifiedUtf8() : "");
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700148 self_->DumpStack(LOG_STREAM(INFO) << "Delivering exception: " << PrettyTypeOf(exception)
Ian Rogers5cf98192014-05-29 21:31:50 -0700149 << ": " << str_msg << "\n");
150 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700151 StackHandleScope<1> hs(self_);
152 Handle<mirror::Throwable> exception_ref(hs.NewHandle(exception));
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200153
Sebastien Hertz520633b2015-09-08 17:03:36 +0200154 // Walk the stack to find catch handler.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700155 CatchBlockStackVisitor visitor(self_, context_, &exception_ref, this);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100156 visitor.WalkStack(true);
157
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200158 if (kDebugExceptionDelivery) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700159 if (*handler_quick_frame_ == nullptr) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100160 LOG(INFO) << "Handler is upcall";
Ian Rogers5cf98192014-05-29 21:31:50 -0700161 }
162 if (handler_method_ != nullptr) {
David Sehr9323e6e2016-09-13 08:58:35 -0700163 const DexFile* dex_file = handler_method_->GetDeclaringClass()->GetDexCache()->GetDexFile();
164 int line_number = annotations::GetLineNumFromPC(dex_file, handler_method_, handler_dex_pc_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700165 LOG(INFO) << "Handler: " << PrettyMethod(handler_method_) << " (line: " << line_number << ")";
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100166 }
167 }
168 if (clear_exception_) {
169 // Exception was cleared as part of delivery.
170 DCHECK(!self_->IsExceptionPending());
171 } else {
172 // Put exception back in root set with clear throw location.
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000173 self_->SetException(exception_ref.Get());
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100174 }
David Brazdil77a48ae2015-09-15 12:34:04 +0000175 // If the handler is in optimized code, we need to set the catch environment.
176 if (*handler_quick_frame_ != nullptr &&
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100177 handler_method_header_ != nullptr &&
178 handler_method_header_->IsOptimized()) {
David Brazdil77a48ae2015-09-15 12:34:04 +0000179 SetCatchEnvironmentForOptimizedHandler(&visitor);
180 }
181}
182
183static VRegKind ToVRegKind(DexRegisterLocation::Kind kind) {
184 // Slightly hacky since we cannot map DexRegisterLocationKind and VRegKind
185 // one to one. However, StackVisitor::GetVRegFromOptimizedCode only needs to
186 // distinguish between core/FPU registers and low/high bits on 64-bit.
187 switch (kind) {
188 case DexRegisterLocation::Kind::kConstant:
189 case DexRegisterLocation::Kind::kInStack:
190 // VRegKind is ignored.
191 return VRegKind::kUndefined;
192
193 case DexRegisterLocation::Kind::kInRegister:
194 // Selects core register. For 64-bit registers, selects low 32 bits.
195 return VRegKind::kLongLoVReg;
196
197 case DexRegisterLocation::Kind::kInRegisterHigh:
198 // Selects core register. For 64-bit registers, selects high 32 bits.
199 return VRegKind::kLongHiVReg;
200
201 case DexRegisterLocation::Kind::kInFpuRegister:
202 // Selects FPU register. For 64-bit registers, selects low 32 bits.
203 return VRegKind::kDoubleLoVReg;
204
205 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
206 // Selects FPU register. For 64-bit registers, selects high 32 bits.
207 return VRegKind::kDoubleHiVReg;
208
209 default:
David Srbecky7dc11782016-02-25 13:23:56 +0000210 LOG(FATAL) << "Unexpected vreg location " << kind;
David Brazdil77a48ae2015-09-15 12:34:04 +0000211 UNREACHABLE();
212 }
213}
214
215void QuickExceptionHandler::SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor) {
216 DCHECK(!is_deoptimization_);
217 DCHECK(*handler_quick_frame_ != nullptr) << "Method should not be called on upcall exceptions";
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100218 DCHECK(handler_method_ != nullptr && handler_method_header_->IsOptimized());
David Brazdil77a48ae2015-09-15 12:34:04 +0000219
220 if (kDebugExceptionDelivery) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700221 self_->DumpStack(LOG_STREAM(INFO) << "Setting catch phis: ");
David Brazdil77a48ae2015-09-15 12:34:04 +0000222 }
223
224 const size_t number_of_vregs = handler_method_->GetCodeItem()->registers_size_;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100225 CodeInfo code_info = handler_method_header_->GetOptimizedCodeInfo();
David Srbecky09ed0982016-02-12 21:58:43 +0000226 CodeInfoEncoding encoding = code_info.ExtractEncoding();
David Brazdil77a48ae2015-09-15 12:34:04 +0000227
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000228 // Find stack map of the catch block.
229 StackMap catch_stack_map = code_info.GetCatchStackMapForDexPc(GetHandlerDexPc(), encoding);
230 DCHECK(catch_stack_map.IsValid());
231 DexRegisterMap catch_vreg_map =
232 code_info.GetDexRegisterMapOf(catch_stack_map, encoding, number_of_vregs);
233 if (!catch_vreg_map.IsValid()) {
234 return;
235 }
236
David Brazdil77a48ae2015-09-15 12:34:04 +0000237 // Find stack map of the throwing instruction.
238 StackMap throw_stack_map =
239 code_info.GetStackMapForNativePcOffset(stack_visitor->GetNativePcOffset(), encoding);
240 DCHECK(throw_stack_map.IsValid());
241 DexRegisterMap throw_vreg_map =
242 code_info.GetDexRegisterMapOf(throw_stack_map, encoding, number_of_vregs);
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000243 DCHECK(throw_vreg_map.IsValid());
David Brazdil77a48ae2015-09-15 12:34:04 +0000244
245 // Copy values between them.
246 for (uint16_t vreg = 0; vreg < number_of_vregs; ++vreg) {
247 DexRegisterLocation::Kind catch_location =
248 catch_vreg_map.GetLocationKind(vreg, number_of_vregs, code_info, encoding);
249 if (catch_location == DexRegisterLocation::Kind::kNone) {
250 continue;
251 }
252 DCHECK(catch_location == DexRegisterLocation::Kind::kInStack);
253
254 // Get vreg value from its current location.
255 uint32_t vreg_value;
256 VRegKind vreg_kind = ToVRegKind(throw_vreg_map.GetLocationKind(vreg,
257 number_of_vregs,
258 code_info,
259 encoding));
260 bool get_vreg_success = stack_visitor->GetVReg(stack_visitor->GetMethod(),
261 vreg,
262 vreg_kind,
263 &vreg_value);
264 CHECK(get_vreg_success) << "VReg " << vreg << " was optimized out ("
265 << "method=" << PrettyMethod(stack_visitor->GetMethod()) << ", "
266 << "dex_pc=" << stack_visitor->GetDexPc() << ", "
267 << "native_pc_offset=" << stack_visitor->GetNativePcOffset() << ")";
268
269 // Copy value to the catch phi's stack slot.
270 int32_t slot_offset = catch_vreg_map.GetStackOffsetInBytes(vreg,
271 number_of_vregs,
272 code_info,
273 encoding);
274 ArtMethod** frame_top = stack_visitor->GetCurrentQuickFrame();
275 uint8_t* slot_address = reinterpret_cast<uint8_t*>(frame_top) + slot_offset;
276 uint32_t* slot_ptr = reinterpret_cast<uint32_t*>(slot_address);
277 *slot_ptr = vreg_value;
278 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200279}
280
Ian Rogers5cf98192014-05-29 21:31:50 -0700281// Prepares deoptimization.
282class DeoptimizeStackVisitor FINAL : public StackVisitor {
283 public:
Andreas Gampe639bdd12015-06-03 11:22:45 -0700284 DeoptimizeStackVisitor(Thread* self,
285 Context* context,
286 QuickExceptionHandler* exception_handler,
287 bool single_frame)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700288 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100289 : StackVisitor(self, context, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100290 exception_handler_(exception_handler),
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700291 prev_shadow_frame_(nullptr),
Andreas Gampe639bdd12015-06-03 11:22:45 -0700292 stacked_shadow_frame_pushed_(false),
293 single_frame_deopt_(single_frame),
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100294 single_frame_done_(false),
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000295 single_frame_deopt_method_(nullptr),
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700296 single_frame_deopt_quick_method_header_(nullptr),
297 callee_method_(nullptr) {
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100298 }
299
300 ArtMethod* GetSingleFrameDeoptMethod() const {
301 return single_frame_deopt_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700302 }
303
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000304 const OatQuickMethodHeader* GetSingleFrameDeoptQuickMethodHeader() const {
305 return single_frame_deopt_quick_method_header_;
306 }
307
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700308 void FinishStackWalk() REQUIRES_SHARED(Locks::mutator_lock_) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700309 // This is the upcall, or the next full frame in single-frame deopt, or the
310 // code isn't deoptimizeable. We remember the frame and last pc so that we
311 // may long jump to them.
312 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
313 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
314 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
315 if (!stacked_shadow_frame_pushed_) {
316 // In case there is no deoptimized shadow frame for this upcall, we still
317 // need to push a nullptr to the stack since there is always a matching pop after
318 // the long jump.
319 GetThread()->PushStackedShadowFrame(nullptr,
320 StackedShadowFrameType::kDeoptimizationShadowFrame);
321 stacked_shadow_frame_pushed_ = true;
322 }
323 if (GetMethod() == nullptr) {
324 exception_handler_->SetFullFragmentDone(true);
325 } else {
326 CHECK(callee_method_ != nullptr) << art::PrettyMethod(GetMethod(), false);
327 exception_handler_->SetHandlerQuickArg0(reinterpret_cast<uintptr_t>(callee_method_));
328 }
329 }
330
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700331 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700332 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700333 ArtMethod* method = GetMethod();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700334 if (method == nullptr || single_frame_done_) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700335 FinishStackWalk();
Ian Rogers5cf98192014-05-29 21:31:50 -0700336 return false; // End stack walk.
337 } else if (method->IsRuntimeMethod()) {
338 // Ignore callee save method.
339 DCHECK(method->IsCalleeSaveMethod());
340 return true;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200341 } else if (method->IsNative()) {
342 // If we return from JNI with a pending exception and want to deoptimize, we need to skip
343 // the native method.
344 // The top method is a runtime method, the native method comes next.
345 CHECK_EQ(GetFrameDepth(), 1U);
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700346 callee_method_ = method;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200347 return true;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700348 } else if (!single_frame_deopt_ &&
349 !Runtime::Current()->IsDeoptimizeable(GetCurrentQuickFramePc())) {
350 // We hit some code that's not deoptimizeable. However, Single-frame deoptimization triggered
351 // from compiled code is always allowed since HDeoptimize always saves the full environment.
352 FinishStackWalk();
353 return false; // End stack walk.
Ian Rogers5cf98192014-05-29 21:31:50 -0700354 } else {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100355 // Check if a shadow frame already exists for debugger's set-local-value purpose.
356 const size_t frame_id = GetFrameId();
357 ShadowFrame* new_frame = GetThread()->FindDebuggerShadowFrame(frame_id);
358 const bool* updated_vregs;
359 const size_t num_regs = method->GetCodeItem()->registers_size_;
360 if (new_frame == nullptr) {
361 new_frame = ShadowFrame::CreateDeoptimizedFrame(num_regs, nullptr, method, GetDexPc());
362 updated_vregs = nullptr;
363 } else {
364 updated_vregs = GetThread()->GetUpdatedVRegFlags(frame_id);
365 DCHECK(updated_vregs != nullptr);
366 }
Andreas Gampebf9611f2016-03-25 16:58:00 -0700367 HandleOptimizingDeoptimization(method, new_frame, updated_vregs);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100368 if (updated_vregs != nullptr) {
369 // Calling Thread::RemoveDebuggerShadowFrameMapping will also delete the updated_vregs
370 // array so this must come after we processed the frame.
371 GetThread()->RemoveDebuggerShadowFrameMapping(frame_id);
372 DCHECK(GetThread()->FindDebuggerShadowFrame(frame_id) == nullptr);
373 }
374 if (prev_shadow_frame_ != nullptr) {
375 prev_shadow_frame_->SetLink(new_frame);
376 } else {
377 // Will be popped after the long jump after DeoptimizeStack(),
378 // right before interpreter::EnterInterpreterFromDeoptimize().
379 stacked_shadow_frame_pushed_ = true;
380 GetThread()->PushStackedShadowFrame(
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700381 new_frame, StackedShadowFrameType::kDeoptimizationShadowFrame);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100382 }
383 prev_shadow_frame_ = new_frame;
384
Andreas Gampe639bdd12015-06-03 11:22:45 -0700385 if (single_frame_deopt_ && !IsInInlinedFrame()) {
386 // Single-frame deopt ends at the first non-inlined frame and needs to store that method.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700387 single_frame_done_ = true;
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100388 single_frame_deopt_method_ = method;
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000389 single_frame_deopt_quick_method_header_ = GetCurrentOatQuickMethodHeader();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700390 }
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700391 callee_method_ = method;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700392 return true;
Ian Rogers5cf98192014-05-29 21:31:50 -0700393 }
394 }
395
396 private:
Nicolas Geoffray33856502015-10-20 15:52:58 +0100397 void HandleOptimizingDeoptimization(ArtMethod* m,
398 ShadowFrame* new_frame,
399 const bool* updated_vregs)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700400 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100401 const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader();
402 CodeInfo code_info = method_header->GetOptimizedCodeInfo();
403 uintptr_t native_pc_offset = method_header->NativeQuickPcOffset(GetCurrentQuickFramePc());
David Srbecky09ed0982016-02-12 21:58:43 +0000404 CodeInfoEncoding encoding = code_info.ExtractEncoding();
Nicolas Geoffray33856502015-10-20 15:52:58 +0100405 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding);
406 const size_t number_of_vregs = m->GetCodeItem()->registers_size_;
David Srbecky09ed0982016-02-12 21:58:43 +0000407 uint32_t register_mask = stack_map.GetRegisterMask(encoding.stack_map_encoding);
David Brazdilefc3f022015-10-28 12:19:06 -0500408 DexRegisterMap vreg_map = IsInInlinedFrame()
409 ? code_info.GetDexRegisterMapAtDepth(GetCurrentInliningDepth() - 1,
410 code_info.GetInlineInfoOf(stack_map, encoding),
411 encoding,
412 number_of_vregs)
413 : code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_vregs);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100414
Nicolas Geoffray012fc4e2016-01-08 15:58:19 +0000415 if (!vreg_map.IsValid()) {
416 return;
417 }
418
Nicolas Geoffray33856502015-10-20 15:52:58 +0100419 for (uint16_t vreg = 0; vreg < number_of_vregs; ++vreg) {
420 if (updated_vregs != nullptr && updated_vregs[vreg]) {
421 // Keep the value set by debugger.
422 continue;
423 }
424
425 DexRegisterLocation::Kind location =
426 vreg_map.GetLocationKind(vreg, number_of_vregs, code_info, encoding);
427 static constexpr uint32_t kDeadValue = 0xEBADDE09;
428 uint32_t value = kDeadValue;
429 bool is_reference = false;
430
431 switch (location) {
432 case DexRegisterLocation::Kind::kInStack: {
433 const int32_t offset = vreg_map.GetStackOffsetInBytes(vreg,
434 number_of_vregs,
435 code_info,
436 encoding);
437 const uint8_t* addr = reinterpret_cast<const uint8_t*>(GetCurrentQuickFrame()) + offset;
438 value = *reinterpret_cast<const uint32_t*>(addr);
439 uint32_t bit = (offset >> 2);
David Srbecky09ed0982016-02-12 21:58:43 +0000440 if (stack_map.GetNumberOfStackMaskBits(encoding.stack_map_encoding) > bit &&
441 stack_map.GetStackMaskBit(encoding.stack_map_encoding, bit)) {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100442 is_reference = true;
443 }
444 break;
445 }
446 case DexRegisterLocation::Kind::kInRegister:
447 case DexRegisterLocation::Kind::kInRegisterHigh:
448 case DexRegisterLocation::Kind::kInFpuRegister:
449 case DexRegisterLocation::Kind::kInFpuRegisterHigh: {
450 uint32_t reg = vreg_map.GetMachineRegister(vreg, number_of_vregs, code_info, encoding);
451 bool result = GetRegisterIfAccessible(reg, ToVRegKind(location), &value);
452 CHECK(result);
453 if (location == DexRegisterLocation::Kind::kInRegister) {
454 if (((1u << reg) & register_mask) != 0) {
455 is_reference = true;
456 }
457 }
458 break;
459 }
460 case DexRegisterLocation::Kind::kConstant: {
461 value = vreg_map.GetConstant(vreg, number_of_vregs, code_info, encoding);
462 if (value == 0) {
463 // Make it a reference for extra safety.
464 is_reference = true;
465 }
466 break;
467 }
468 case DexRegisterLocation::Kind::kNone: {
469 break;
470 }
471 default: {
472 LOG(FATAL)
David Srbecky7dc11782016-02-25 13:23:56 +0000473 << "Unexpected location kind "
474 << vreg_map.GetLocationInternalKind(vreg,
475 number_of_vregs,
476 code_info,
477 encoding);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100478 UNREACHABLE();
479 }
480 }
481 if (is_reference) {
482 new_frame->SetVRegReference(vreg, reinterpret_cast<mirror::Object*>(value));
483 } else {
484 new_frame->SetVReg(vreg, value);
485 }
486 }
487 }
488
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200489 static VRegKind GetVRegKind(uint16_t reg, const std::vector<int32_t>& kinds) {
490 return static_cast<VRegKind>(kinds.at(reg * 2));
491 }
492
Ian Rogers5cf98192014-05-29 21:31:50 -0700493 QuickExceptionHandler* const exception_handler_;
494 ShadowFrame* prev_shadow_frame_;
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700495 bool stacked_shadow_frame_pushed_;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700496 const bool single_frame_deopt_;
497 bool single_frame_done_;
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100498 ArtMethod* single_frame_deopt_method_;
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000499 const OatQuickMethodHeader* single_frame_deopt_quick_method_header_;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700500 ArtMethod* callee_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700501
502 DISALLOW_COPY_AND_ASSIGN(DeoptimizeStackVisitor);
503};
504
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700505void QuickExceptionHandler::PrepareForLongJumpToInvokeStubOrInterpreterBridge() {
506 if (full_fragment_done_) {
507 // Restore deoptimization exception. When returning from the invoke stub,
508 // ArtMethod::Invoke() will see the special exception to know deoptimization
509 // is needed.
510 self_->SetException(Thread::GetDeoptimizationException());
511 } else {
512 // PC needs to be of the quick-to-interpreter bridge.
513 int32_t offset;
Andreas Gampe542451c2016-07-26 09:02:02 -0700514 offset = GetThreadOffset<kRuntimePointerSize>(kQuickQuickToInterpreterBridge).Int32Value();
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700515 handler_quick_frame_pc_ = *reinterpret_cast<uintptr_t*>(
516 reinterpret_cast<uint8_t*>(self_) + offset);
517 }
518}
519
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200520void QuickExceptionHandler::DeoptimizeStack() {
521 DCHECK(is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700522 if (kDebugExceptionDelivery) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700523 self_->DumpStack(LOG_STREAM(INFO) << "Deoptimizing: ");
Ian Rogers5cf98192014-05-29 21:31:50 -0700524 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200525
Andreas Gampe639bdd12015-06-03 11:22:45 -0700526 DeoptimizeStackVisitor visitor(self_, context_, this, false);
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200527 visitor.WalkStack(true);
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700528 PrepareForLongJumpToInvokeStubOrInterpreterBridge();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100529}
530
Andreas Gampe639bdd12015-06-03 11:22:45 -0700531void QuickExceptionHandler::DeoptimizeSingleFrame() {
532 DCHECK(is_deoptimization_);
533
534 if (VLOG_IS_ON(deopt) || kDebugExceptionDelivery) {
535 LOG(INFO) << "Single-frame deopting:";
536 DumpFramesWithType(self_, true);
537 }
538
539 DeoptimizeStackVisitor visitor(self_, context_, this, true);
540 visitor.WalkStack(true);
541
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000542 // Compiled code made an explicit deoptimization.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100543 ArtMethod* deopt_method = visitor.GetSingleFrameDeoptMethod();
544 DCHECK(deopt_method != nullptr);
Calin Juravleffc87072016-04-20 14:22:09 +0100545 if (Runtime::Current()->UseJitCompilation()) {
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000546 Runtime::Current()->GetJit()->GetCodeCache()->InvalidateCompiledCodeFor(
Nicolas Geoffrayb52de242016-02-19 12:43:12 +0000547 deopt_method, visitor.GetSingleFrameDeoptQuickMethodHeader());
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000548 } else {
549 // Transfer the code to interpreter.
550 Runtime::Current()->GetInstrumentation()->UpdateMethodsCode(
551 deopt_method, GetQuickToInterpreterBridge());
552 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100553
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700554 PrepareForLongJumpToInvokeStubOrInterpreterBridge();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700555}
556
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700557void QuickExceptionHandler::DeoptimizePartialFragmentFixup(uintptr_t return_pc) {
558 // At this point, the instrumentation stack has been updated. We need to install
559 // the real return pc on stack, in case instrumentation stub is stored there,
560 // so that the interpreter bridge code can return to the right place.
561 if (return_pc != 0) {
562 uintptr_t* pc_addr = reinterpret_cast<uintptr_t*>(handler_quick_frame_);
563 CHECK(pc_addr != nullptr);
564 pc_addr--;
565 *reinterpret_cast<uintptr_t*>(pc_addr) = return_pc;
566 }
Andreas Gampe639bdd12015-06-03 11:22:45 -0700567
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700568 // Architecture-dependent work. This is to get the LR right for x86 and x86-64.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700569 if (kRuntimeISA == InstructionSet::kX86 || kRuntimeISA == InstructionSet::kX86_64) {
570 // On x86, the return address is on the stack, so just reuse it. Otherwise we would have to
571 // change how longjump works.
572 handler_quick_frame_ = reinterpret_cast<ArtMethod**>(
573 reinterpret_cast<uintptr_t>(handler_quick_frame_) - sizeof(void*));
574 }
575}
576
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100577// Unwinds all instrumentation stack frame prior to catch handler or upcall.
578class InstrumentationStackVisitor : public StackVisitor {
579 public:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700580 InstrumentationStackVisitor(Thread* self, size_t frame_depth)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700581 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100582 : StackVisitor(self, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Ian Rogerscf7f1912014-10-22 22:06:39 -0700583 frame_depth_(frame_depth),
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100584 instrumentation_frames_to_pop_(0) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700585 CHECK_NE(frame_depth_, kInvalidFrameDepth);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100586 }
587
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700588 bool VisitFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700589 size_t current_frame_depth = GetFrameDepth();
590 if (current_frame_depth < frame_depth_) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100591 CHECK(GetMethod() != nullptr);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700592 if (UNLIKELY(reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == GetReturnPc())) {
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100593 if (!IsInInlinedFrame()) {
594 // We do not count inlined frames, because we do not instrument them. The reason we
595 // include them in the stack walking is the check against `frame_depth_`, which is
596 // given to us by a visitor that visits inlined frames.
597 ++instrumentation_frames_to_pop_;
598 }
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100599 }
600 return true;
601 } else {
602 // We reached the frame of the catch handler or the upcall.
603 return false;
604 }
605 }
606
607 size_t GetInstrumentationFramesToPop() const {
608 return instrumentation_frames_to_pop_;
609 }
610
611 private:
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700612 const size_t frame_depth_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100613 size_t instrumentation_frames_to_pop_;
614
615 DISALLOW_COPY_AND_ASSIGN(InstrumentationStackVisitor);
616};
617
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700618uintptr_t QuickExceptionHandler::UpdateInstrumentationStack() {
619 uintptr_t return_pc = 0;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100620 if (method_tracing_active_) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700621 InstrumentationStackVisitor visitor(self_, handler_frame_depth_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100622 visitor.WalkStack(true);
623
624 size_t instrumentation_frames_to_pop = visitor.GetInstrumentationFramesToPop();
625 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
626 for (size_t i = 0; i < instrumentation_frames_to_pop; ++i) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700627 return_pc = instrumentation->PopMethodForUnwind(self_, is_deoptimization_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100628 }
629 }
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700630 return return_pc;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100631}
632
Andreas Gampe639bdd12015-06-03 11:22:45 -0700633void QuickExceptionHandler::DoLongJump(bool smash_caller_saves) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100634 // Place context back on thread so it will be available when we continue.
635 self_->ReleaseLongJumpContext(context_);
636 context_->SetSP(reinterpret_cast<uintptr_t>(handler_quick_frame_));
637 CHECK_NE(handler_quick_frame_pc_, 0u);
638 context_->SetPC(handler_quick_frame_pc_);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700639 context_->SetArg0(handler_quick_arg0_);
640 if (smash_caller_saves) {
641 context_->SmashCallerSaves();
642 }
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100643 context_->DoLongJump();
Andreas Gampe794ad762015-02-23 08:12:24 -0800644 UNREACHABLE();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100645}
646
Andreas Gampe639bdd12015-06-03 11:22:45 -0700647// Prints out methods with their type of frame.
648class DumpFramesWithTypeStackVisitor FINAL : public StackVisitor {
649 public:
Chih-Hung Hsieh471118e2016-04-29 14:27:41 -0700650 explicit DumpFramesWithTypeStackVisitor(Thread* self, bool show_details = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700651 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampe639bdd12015-06-03 11:22:45 -0700652 : StackVisitor(self, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
653 show_details_(show_details) {}
654
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700655 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe639bdd12015-06-03 11:22:45 -0700656 ArtMethod* method = GetMethod();
657 if (show_details_) {
658 LOG(INFO) << "|> pc = " << std::hex << GetCurrentQuickFramePc();
659 LOG(INFO) << "|> addr = " << std::hex << reinterpret_cast<uintptr_t>(GetCurrentQuickFrame());
660 if (GetCurrentQuickFrame() != nullptr && method != nullptr) {
661 LOG(INFO) << "|> ret = " << std::hex << GetReturnPc();
662 }
663 }
664 if (method == nullptr) {
665 // Transition, do go on, we want to unwind over bridges, all the way.
666 if (show_details_) {
667 LOG(INFO) << "N <transition>";
668 }
669 return true;
670 } else if (method->IsRuntimeMethod()) {
671 if (show_details_) {
672 LOG(INFO) << "R " << PrettyMethod(method, true);
673 }
674 return true;
675 } else {
676 bool is_shadow = GetCurrentShadowFrame() != nullptr;
677 LOG(INFO) << (is_shadow ? "S" : "Q")
678 << ((!is_shadow && IsInInlinedFrame()) ? "i" : " ")
679 << " "
680 << PrettyMethod(method, true);
681 return true; // Go on.
682 }
683 }
684
685 private:
686 bool show_details_;
687
688 DISALLOW_COPY_AND_ASSIGN(DumpFramesWithTypeStackVisitor);
689};
690
691void QuickExceptionHandler::DumpFramesWithType(Thread* self, bool details) {
692 DumpFramesWithTypeStackVisitor visitor(self, details);
693 visitor.WalkStack(true);
694}
695
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100696} // namespace art