blob: 9cb37eed58784f0be2f11a043763fd250c55b1b1 [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"
Ian Rogers5cf98192014-05-29 21:31:50 -070021#include "dex_instruction.h"
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020022#include "entrypoints/entrypoint_utils.h"
Andreas Gampe639bdd12015-06-03 11:22:45 -070023#include "entrypoints/quick/quick_entrypoints_enum.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070024#include "entrypoints/runtime_asm_entrypoints.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070025#include "handle_scope-inl.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070026#include "mirror/class-inl.h"
27#include "mirror/class_loader.h"
28#include "mirror/throwable.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010029#include "oat_quick_method_header.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010030#include "stack_map.h"
Ian Rogers5cf98192014-05-29 21:31:50 -070031#include "verifier/method_verifier.h"
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010032
33namespace art {
34
Ian Rogers5cf98192014-05-29 21:31:50 -070035static constexpr bool kDebugExceptionDelivery = false;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070036static constexpr size_t kInvalidFrameDepth = 0xffffffff;
Ian Rogers5cf98192014-05-29 21:31:50 -070037
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020038QuickExceptionHandler::QuickExceptionHandler(Thread* self, bool is_deoptimization)
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010039 : self_(self),
40 context_(self->GetLongJumpContext()),
41 is_deoptimization_(is_deoptimization),
42 method_tracing_active_(is_deoptimization ||
43 Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled()),
44 handler_quick_frame_(nullptr),
45 handler_quick_frame_pc_(0),
46 handler_method_header_(nullptr),
47 handler_quick_arg0_(0),
48 handler_method_(nullptr),
49 handler_dex_pc_(0),
50 clear_exception_(false),
51 handler_frame_depth_(kInvalidFrameDepth) {}
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010052
Sebastien Hertz520633b2015-09-08 17:03:36 +020053// Finds catch handler.
Ian Rogers5cf98192014-05-29 21:31:50 -070054class CatchBlockStackVisitor FINAL : public StackVisitor {
55 public:
56 CatchBlockStackVisitor(Thread* self, Context* context, Handle<mirror::Throwable>* exception,
57 QuickExceptionHandler* exception_handler)
Mathieu Chartier90443472015-07-16 20:32:27 -070058 SHARED_REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010059 : StackVisitor(self, context, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010060 exception_(exception),
Ian Rogers5cf98192014-05-29 21:31:50 -070061 exception_handler_(exception_handler) {
62 }
63
Mathieu Chartier90443472015-07-16 20:32:27 -070064 bool VisitFrame() OVERRIDE SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070065 ArtMethod* method = GetMethod();
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070066 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Ian Rogers5cf98192014-05-29 21:31:50 -070067 if (method == nullptr) {
68 // This is the upcall, we remember the frame and last pc so that we may long jump to them.
69 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
70 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010071 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Ian Rogers5cf98192014-05-29 21:31:50 -070072 uint32_t next_dex_pc;
Mathieu Chartiere401d142015-04-22 13:56:20 -070073 ArtMethod* next_art_method;
Ian Rogers5cf98192014-05-29 21:31:50 -070074 bool has_next = GetNextMethodAndDexPc(&next_art_method, &next_dex_pc);
75 // Report the method that did the down call as the handler.
76 exception_handler_->SetHandlerDexPc(next_dex_pc);
77 exception_handler_->SetHandlerMethod(next_art_method);
78 if (!has_next) {
79 // No next method? Check exception handler is set up for the unhandled exception handler
80 // case.
81 DCHECK_EQ(0U, exception_handler_->GetHandlerDexPc());
82 DCHECK(nullptr == exception_handler_->GetHandlerMethod());
83 }
84 return false; // End stack walk.
85 }
86 if (method->IsRuntimeMethod()) {
87 // Ignore callee save method.
88 DCHECK(method->IsCalleeSaveMethod());
89 return true;
90 }
Mathieu Chartiere401d142015-04-22 13:56:20 -070091 return HandleTryItems(method);
Ian Rogers5cf98192014-05-29 21:31:50 -070092 }
93
94 private:
Mathieu Chartiere401d142015-04-22 13:56:20 -070095 bool HandleTryItems(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -070096 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers5cf98192014-05-29 21:31:50 -070097 uint32_t dex_pc = DexFile::kDexNoIndex;
98 if (!method->IsNative()) {
99 dex_pc = GetDexPc();
100 }
101 if (dex_pc != DexFile::kDexNoIndex) {
102 bool clear_exception = false;
Sebastien Hertz26f72862015-09-15 09:52:07 +0200103 StackHandleScope<1> hs(GetThread());
Ian Rogers5cf98192014-05-29 21:31:50 -0700104 Handle<mirror::Class> to_find(hs.NewHandle((*exception_)->GetClass()));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700105 uint32_t found_dex_pc = method->FindCatchBlock(to_find, dex_pc, &clear_exception);
Ian Rogers5cf98192014-05-29 21:31:50 -0700106 exception_handler_->SetClearException(clear_exception);
107 if (found_dex_pc != DexFile::kDexNoIndex) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700108 exception_handler_->SetHandlerMethod(method);
Ian Rogers5cf98192014-05-29 21:31:50 -0700109 exception_handler_->SetHandlerDexPc(found_dex_pc);
David Brazdil72f7b882015-09-15 17:00:52 +0100110 exception_handler_->SetHandlerQuickFramePc(
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100111 GetCurrentOatQuickMethodHeader()->ToNativeQuickPc(
112 method, found_dex_pc, /* is_catch_handler */ true));
Ian Rogers5cf98192014-05-29 21:31:50 -0700113 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100114 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Ian Rogers5cf98192014-05-29 21:31:50 -0700115 return false; // End stack walk.
Mingyao Yang99170c62015-07-06 11:10:37 -0700116 } else if (UNLIKELY(GetThread()->HasDebuggerShadowFrames())) {
117 // We are going to unwind this frame. Did we prepare a shadow frame for debugging?
118 size_t frame_id = GetFrameId();
119 ShadowFrame* frame = GetThread()->FindDebuggerShadowFrame(frame_id);
120 if (frame != nullptr) {
121 // We will not execute this shadow frame so we can safely deallocate it.
122 GetThread()->RemoveDebuggerShadowFrameMapping(frame_id);
123 ShadowFrame::DeleteDeoptimizedFrame(frame);
124 }
Ian Rogers5cf98192014-05-29 21:31:50 -0700125 }
126 }
127 return true; // Continue stack walk.
128 }
129
Ian Rogers5cf98192014-05-29 21:31:50 -0700130 // The exception we're looking for the catch block of.
131 Handle<mirror::Throwable>* exception_;
132 // The quick exception handler we're visiting for.
133 QuickExceptionHandler* const exception_handler_;
134
135 DISALLOW_COPY_AND_ASSIGN(CatchBlockStackVisitor);
136};
137
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000138void QuickExceptionHandler::FindCatch(mirror::Throwable* exception) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200139 DCHECK(!is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700140 if (kDebugExceptionDelivery) {
141 mirror::String* msg = exception->GetDetailMessage();
142 std::string str_msg(msg != nullptr ? msg->ToModifiedUtf8() : "");
143 self_->DumpStack(LOG(INFO) << "Delivering exception: " << PrettyTypeOf(exception)
144 << ": " << str_msg << "\n");
145 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700146 StackHandleScope<1> hs(self_);
147 Handle<mirror::Throwable> exception_ref(hs.NewHandle(exception));
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200148
Sebastien Hertz520633b2015-09-08 17:03:36 +0200149 // Walk the stack to find catch handler.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700150 CatchBlockStackVisitor visitor(self_, context_, &exception_ref, this);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100151 visitor.WalkStack(true);
152
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200153 if (kDebugExceptionDelivery) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700154 if (*handler_quick_frame_ == nullptr) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100155 LOG(INFO) << "Handler is upcall";
Ian Rogers5cf98192014-05-29 21:31:50 -0700156 }
157 if (handler_method_ != nullptr) {
158 const DexFile& dex_file = *handler_method_->GetDeclaringClass()->GetDexCache()->GetDexFile();
159 int line_number = dex_file.GetLineNumFromPC(handler_method_, handler_dex_pc_);
160 LOG(INFO) << "Handler: " << PrettyMethod(handler_method_) << " (line: " << line_number << ")";
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100161 }
162 }
163 if (clear_exception_) {
164 // Exception was cleared as part of delivery.
165 DCHECK(!self_->IsExceptionPending());
166 } else {
167 // Put exception back in root set with clear throw location.
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000168 self_->SetException(exception_ref.Get());
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100169 }
David Brazdil77a48ae2015-09-15 12:34:04 +0000170 // If the handler is in optimized code, we need to set the catch environment.
171 if (*handler_quick_frame_ != nullptr &&
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100172 handler_method_header_ != nullptr &&
173 handler_method_header_->IsOptimized()) {
David Brazdil77a48ae2015-09-15 12:34:04 +0000174 SetCatchEnvironmentForOptimizedHandler(&visitor);
175 }
176}
177
178static VRegKind ToVRegKind(DexRegisterLocation::Kind kind) {
179 // Slightly hacky since we cannot map DexRegisterLocationKind and VRegKind
180 // one to one. However, StackVisitor::GetVRegFromOptimizedCode only needs to
181 // distinguish between core/FPU registers and low/high bits on 64-bit.
182 switch (kind) {
183 case DexRegisterLocation::Kind::kConstant:
184 case DexRegisterLocation::Kind::kInStack:
185 // VRegKind is ignored.
186 return VRegKind::kUndefined;
187
188 case DexRegisterLocation::Kind::kInRegister:
189 // Selects core register. For 64-bit registers, selects low 32 bits.
190 return VRegKind::kLongLoVReg;
191
192 case DexRegisterLocation::Kind::kInRegisterHigh:
193 // Selects core register. For 64-bit registers, selects high 32 bits.
194 return VRegKind::kLongHiVReg;
195
196 case DexRegisterLocation::Kind::kInFpuRegister:
197 // Selects FPU register. For 64-bit registers, selects low 32 bits.
198 return VRegKind::kDoubleLoVReg;
199
200 case DexRegisterLocation::Kind::kInFpuRegisterHigh:
201 // Selects FPU register. For 64-bit registers, selects high 32 bits.
202 return VRegKind::kDoubleHiVReg;
203
204 default:
205 LOG(FATAL) << "Unexpected vreg location "
206 << DexRegisterLocation::PrettyDescriptor(kind);
207 UNREACHABLE();
208 }
209}
210
211void QuickExceptionHandler::SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor) {
212 DCHECK(!is_deoptimization_);
213 DCHECK(*handler_quick_frame_ != nullptr) << "Method should not be called on upcall exceptions";
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100214 DCHECK(handler_method_ != nullptr && handler_method_header_->IsOptimized());
David Brazdil77a48ae2015-09-15 12:34:04 +0000215
216 if (kDebugExceptionDelivery) {
217 self_->DumpStack(LOG(INFO) << "Setting catch phis: ");
218 }
219
220 const size_t number_of_vregs = handler_method_->GetCodeItem()->registers_size_;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100221 CodeInfo code_info = handler_method_header_->GetOptimizedCodeInfo();
David Brazdil77a48ae2015-09-15 12:34:04 +0000222 StackMapEncoding encoding = code_info.ExtractEncoding();
223
224 // Find stack map of the throwing instruction.
225 StackMap throw_stack_map =
226 code_info.GetStackMapForNativePcOffset(stack_visitor->GetNativePcOffset(), encoding);
227 DCHECK(throw_stack_map.IsValid());
228 DexRegisterMap throw_vreg_map =
229 code_info.GetDexRegisterMapOf(throw_stack_map, encoding, number_of_vregs);
230
231 // 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
237 // Copy values between them.
238 for (uint16_t vreg = 0; vreg < number_of_vregs; ++vreg) {
239 DexRegisterLocation::Kind catch_location =
240 catch_vreg_map.GetLocationKind(vreg, number_of_vregs, code_info, encoding);
241 if (catch_location == DexRegisterLocation::Kind::kNone) {
242 continue;
243 }
244 DCHECK(catch_location == DexRegisterLocation::Kind::kInStack);
245
246 // Get vreg value from its current location.
247 uint32_t vreg_value;
248 VRegKind vreg_kind = ToVRegKind(throw_vreg_map.GetLocationKind(vreg,
249 number_of_vregs,
250 code_info,
251 encoding));
252 bool get_vreg_success = stack_visitor->GetVReg(stack_visitor->GetMethod(),
253 vreg,
254 vreg_kind,
255 &vreg_value);
256 CHECK(get_vreg_success) << "VReg " << vreg << " was optimized out ("
257 << "method=" << PrettyMethod(stack_visitor->GetMethod()) << ", "
258 << "dex_pc=" << stack_visitor->GetDexPc() << ", "
259 << "native_pc_offset=" << stack_visitor->GetNativePcOffset() << ")";
260
261 // Copy value to the catch phi's stack slot.
262 int32_t slot_offset = catch_vreg_map.GetStackOffsetInBytes(vreg,
263 number_of_vregs,
264 code_info,
265 encoding);
266 ArtMethod** frame_top = stack_visitor->GetCurrentQuickFrame();
267 uint8_t* slot_address = reinterpret_cast<uint8_t*>(frame_top) + slot_offset;
268 uint32_t* slot_ptr = reinterpret_cast<uint32_t*>(slot_address);
269 *slot_ptr = vreg_value;
270 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200271}
272
Ian Rogers5cf98192014-05-29 21:31:50 -0700273// Prepares deoptimization.
274class DeoptimizeStackVisitor FINAL : public StackVisitor {
275 public:
Andreas Gampe639bdd12015-06-03 11:22:45 -0700276 DeoptimizeStackVisitor(Thread* self,
277 Context* context,
278 QuickExceptionHandler* exception_handler,
279 bool single_frame)
Mathieu Chartier90443472015-07-16 20:32:27 -0700280 SHARED_REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100281 : StackVisitor(self, context, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100282 exception_handler_(exception_handler),
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700283 prev_shadow_frame_(nullptr),
Andreas Gampe639bdd12015-06-03 11:22:45 -0700284 stacked_shadow_frame_pushed_(false),
285 single_frame_deopt_(single_frame),
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100286 single_frame_done_(false),
287 single_frame_deopt_method_(nullptr) {
288 }
289
290 ArtMethod* GetSingleFrameDeoptMethod() const {
291 return single_frame_deopt_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700292 }
293
Mathieu Chartier90443472015-07-16 20:32:27 -0700294 bool VisitFrame() OVERRIDE SHARED_REQUIRES(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700295 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700296 ArtMethod* method = GetMethod();
Andreas Gampe639bdd12015-06-03 11:22:45 -0700297 if (method == nullptr || single_frame_done_) {
298 // This is the upcall (or the next full frame in single-frame deopt), we remember the frame
299 // and last pc so that we may long jump to them.
Ian Rogers5cf98192014-05-29 21:31:50 -0700300 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
301 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100302 exception_handler_->SetHandlerMethodHeader(GetCurrentOatQuickMethodHeader());
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700303 if (!stacked_shadow_frame_pushed_) {
304 // In case there is no deoptimized shadow frame for this upcall, we still
305 // need to push a nullptr to the stack since there is always a matching pop after
306 // the long jump.
Sebastien Hertz26f72862015-09-15 09:52:07 +0200307 GetThread()->PushStackedShadowFrame(nullptr,
308 StackedShadowFrameType::kDeoptimizationShadowFrame);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700309 stacked_shadow_frame_pushed_ = true;
310 }
Ian Rogers5cf98192014-05-29 21:31:50 -0700311 return false; // End stack walk.
312 } else if (method->IsRuntimeMethod()) {
313 // Ignore callee save method.
314 DCHECK(method->IsCalleeSaveMethod());
315 return true;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200316 } else if (method->IsNative()) {
317 // If we return from JNI with a pending exception and want to deoptimize, we need to skip
318 // the native method.
319 // The top method is a runtime method, the native method comes next.
320 CHECK_EQ(GetFrameDepth(), 1U);
321 return true;
Ian Rogers5cf98192014-05-29 21:31:50 -0700322 } else {
Nicolas Geoffray33856502015-10-20 15:52:58 +0100323 // Check if a shadow frame already exists for debugger's set-local-value purpose.
324 const size_t frame_id = GetFrameId();
325 ShadowFrame* new_frame = GetThread()->FindDebuggerShadowFrame(frame_id);
326 const bool* updated_vregs;
327 const size_t num_regs = method->GetCodeItem()->registers_size_;
328 if (new_frame == nullptr) {
329 new_frame = ShadowFrame::CreateDeoptimizedFrame(num_regs, nullptr, method, GetDexPc());
330 updated_vregs = nullptr;
331 } else {
332 updated_vregs = GetThread()->GetUpdatedVRegFlags(frame_id);
333 DCHECK(updated_vregs != nullptr);
334 }
335 if (GetCurrentOatQuickMethodHeader()->IsOptimized()) {
336 HandleOptimizingDeoptimization(method, new_frame, updated_vregs);
337 } else {
338 HandleQuickDeoptimization(method, new_frame, updated_vregs);
339 }
340 if (updated_vregs != nullptr) {
341 // Calling Thread::RemoveDebuggerShadowFrameMapping will also delete the updated_vregs
342 // array so this must come after we processed the frame.
343 GetThread()->RemoveDebuggerShadowFrameMapping(frame_id);
344 DCHECK(GetThread()->FindDebuggerShadowFrame(frame_id) == nullptr);
345 }
346 if (prev_shadow_frame_ != nullptr) {
347 prev_shadow_frame_->SetLink(new_frame);
348 } else {
349 // Will be popped after the long jump after DeoptimizeStack(),
350 // right before interpreter::EnterInterpreterFromDeoptimize().
351 stacked_shadow_frame_pushed_ = true;
352 GetThread()->PushStackedShadowFrame(
353 new_frame,
354 single_frame_deopt_
355 ? StackedShadowFrameType::kSingleFrameDeoptimizationShadowFrame
356 : StackedShadowFrameType::kDeoptimizationShadowFrame);
357 }
358 prev_shadow_frame_ = new_frame;
359
Andreas Gampe639bdd12015-06-03 11:22:45 -0700360 if (single_frame_deopt_ && !IsInInlinedFrame()) {
361 // Single-frame deopt ends at the first non-inlined frame and needs to store that method.
362 exception_handler_->SetHandlerQuickArg0(reinterpret_cast<uintptr_t>(method));
363 single_frame_done_ = true;
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100364 single_frame_deopt_method_ = method;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700365 }
366 return true;
Ian Rogers5cf98192014-05-29 21:31:50 -0700367 }
368 }
369
370 private:
Nicolas Geoffray33856502015-10-20 15:52:58 +0100371 void HandleOptimizingDeoptimization(ArtMethod* m,
372 ShadowFrame* new_frame,
373 const bool* updated_vregs)
374 SHARED_REQUIRES(Locks::mutator_lock_) {
375 const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader();
376 CodeInfo code_info = method_header->GetOptimizedCodeInfo();
377 uintptr_t native_pc_offset = method_header->NativeQuickPcOffset(GetCurrentQuickFramePc());
378 StackMapEncoding encoding = code_info.ExtractEncoding();
379 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding);
380 const size_t number_of_vregs = m->GetCodeItem()->registers_size_;
Nicolas Geoffray33856502015-10-20 15:52:58 +0100381 MemoryRegion stack_mask = stack_map.GetStackMask(encoding);
382 uint32_t register_mask = stack_map.GetRegisterMask(encoding);
David Brazdilefc3f022015-10-28 12:19:06 -0500383 DexRegisterMap vreg_map = IsInInlinedFrame()
384 ? code_info.GetDexRegisterMapAtDepth(GetCurrentInliningDepth() - 1,
385 code_info.GetInlineInfoOf(stack_map, encoding),
386 encoding,
387 number_of_vregs)
388 : code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_vregs);
Nicolas Geoffray33856502015-10-20 15:52:58 +0100389
390 for (uint16_t vreg = 0; vreg < number_of_vregs; ++vreg) {
391 if (updated_vregs != nullptr && updated_vregs[vreg]) {
392 // Keep the value set by debugger.
393 continue;
394 }
395
396 DexRegisterLocation::Kind location =
397 vreg_map.GetLocationKind(vreg, number_of_vregs, code_info, encoding);
398 static constexpr uint32_t kDeadValue = 0xEBADDE09;
399 uint32_t value = kDeadValue;
400 bool is_reference = false;
401
402 switch (location) {
403 case DexRegisterLocation::Kind::kInStack: {
404 const int32_t offset = vreg_map.GetStackOffsetInBytes(vreg,
405 number_of_vregs,
406 code_info,
407 encoding);
408 const uint8_t* addr = reinterpret_cast<const uint8_t*>(GetCurrentQuickFrame()) + offset;
409 value = *reinterpret_cast<const uint32_t*>(addr);
410 uint32_t bit = (offset >> 2);
411 if (stack_mask.size_in_bits() > bit && stack_mask.LoadBit(bit)) {
412 is_reference = true;
413 }
414 break;
415 }
416 case DexRegisterLocation::Kind::kInRegister:
417 case DexRegisterLocation::Kind::kInRegisterHigh:
418 case DexRegisterLocation::Kind::kInFpuRegister:
419 case DexRegisterLocation::Kind::kInFpuRegisterHigh: {
420 uint32_t reg = vreg_map.GetMachineRegister(vreg, number_of_vregs, code_info, encoding);
421 bool result = GetRegisterIfAccessible(reg, ToVRegKind(location), &value);
422 CHECK(result);
423 if (location == DexRegisterLocation::Kind::kInRegister) {
424 if (((1u << reg) & register_mask) != 0) {
425 is_reference = true;
426 }
427 }
428 break;
429 }
430 case DexRegisterLocation::Kind::kConstant: {
431 value = vreg_map.GetConstant(vreg, number_of_vregs, code_info, encoding);
432 if (value == 0) {
433 // Make it a reference for extra safety.
434 is_reference = true;
435 }
436 break;
437 }
438 case DexRegisterLocation::Kind::kNone: {
439 break;
440 }
441 default: {
442 LOG(FATAL)
443 << "Unexpected location kind"
444 << DexRegisterLocation::PrettyDescriptor(
445 vreg_map.GetLocationInternalKind(vreg,
446 number_of_vregs,
447 code_info,
448 encoding));
449 UNREACHABLE();
450 }
451 }
452 if (is_reference) {
453 new_frame->SetVRegReference(vreg, reinterpret_cast<mirror::Object*>(value));
454 } else {
455 new_frame->SetVReg(vreg, value);
456 }
457 }
458 }
459
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200460 static VRegKind GetVRegKind(uint16_t reg, const std::vector<int32_t>& kinds) {
461 return static_cast<VRegKind>(kinds.at(reg * 2));
462 }
463
Nicolas Geoffray33856502015-10-20 15:52:58 +0100464 void HandleQuickDeoptimization(ArtMethod* m,
465 ShadowFrame* new_frame,
466 const bool* updated_vregs)
467 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700468 const DexFile::CodeItem* code_item = m->GetCodeItem();
Sebastien Hertz520633b2015-09-08 17:03:36 +0200469 CHECK(code_item != nullptr) << "No code item for " << PrettyMethod(m);
Ian Rogers5cf98192014-05-29 21:31:50 -0700470 uint16_t num_regs = code_item->registers_size_;
471 uint32_t dex_pc = GetDexPc();
Nicolas Geoffray33856502015-10-20 15:52:58 +0100472 StackHandleScope<2> hs(GetThread()); // Dex cache and class loader.
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700473 mirror::Class* declaring_class = m->GetDeclaringClass();
474 Handle<mirror::DexCache> h_dex_cache(hs.NewHandle(declaring_class->GetDexCache()));
475 Handle<mirror::ClassLoader> h_class_loader(hs.NewHandle(declaring_class->GetClassLoader()));
Sebastien Hertz26f72862015-09-15 09:52:07 +0200476 verifier::MethodVerifier verifier(GetThread(), h_dex_cache->GetDexFile(), h_dex_cache,
477 h_class_loader, &m->GetClassDef(), code_item,
478 m->GetDexMethodIndex(), m, m->GetAccessFlags(), true, true,
479 true, true);
Andreas Gampe2e04bb22015-02-10 15:37:27 -0800480 bool verifier_success = verifier.Verify();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700481 CHECK(verifier_success) << PrettyMethod(m);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700482 {
Sebastien Hertz26f72862015-09-15 09:52:07 +0200483 ScopedStackedShadowFramePusher pusher(GetThread(), new_frame,
Sebastien Hertzf7958692015-06-09 14:09:14 +0200484 StackedShadowFrameType::kShadowFrameUnderConstruction);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700485 const std::vector<int32_t> kinds(verifier.DescribeVRegs(dex_pc));
Nicolas Geoffray15b9d522015-03-12 15:05:13 +0000486
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700487 // Markers for dead values, used when the verifier knows a Dex register is undefined,
488 // or when the compiler knows the register has not been initialized, or is not used
489 // anymore in the method.
490 static constexpr uint32_t kDeadValue = 0xEBADDE09;
491 static constexpr uint64_t kLongDeadValue = 0xEBADDE09EBADDE09;
492 for (uint16_t reg = 0; reg < num_regs; ++reg) {
Mingyao Yang99170c62015-07-06 11:10:37 -0700493 if (updated_vregs != nullptr && updated_vregs[reg]) {
494 // Keep the value set by debugger.
495 continue;
496 }
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700497 VRegKind kind = GetVRegKind(reg, kinds);
498 switch (kind) {
499 case kUndefined:
Nicolas Geoffray15b9d522015-03-12 15:05:13 +0000500 new_frame->SetVReg(reg, kDeadValue);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700501 break;
502 case kConstant:
503 new_frame->SetVReg(reg, kinds.at((reg * 2) + 1));
504 break;
505 case kReferenceVReg: {
506 uint32_t value = 0;
507 // Check IsReferenceVReg in case the compiled GC map doesn't agree with the verifier.
508 // We don't want to copy a stale reference into the shadow frame as a reference.
509 // b/20736048
510 if (GetVReg(m, reg, kind, &value) && IsReferenceVReg(m, reg)) {
511 new_frame->SetVRegReference(reg, reinterpret_cast<mirror::Object*>(value));
512 } else {
513 new_frame->SetVReg(reg, kDeadValue);
514 }
515 break;
Nicolas Geoffray15b9d522015-03-12 15:05:13 +0000516 }
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700517 case kLongLoVReg:
518 if (GetVRegKind(reg + 1, kinds) == kLongHiVReg) {
519 // Treat it as a "long" register pair.
520 uint64_t value = 0;
521 if (GetVRegPair(m, reg, kLongLoVReg, kLongHiVReg, &value)) {
522 new_frame->SetVRegLong(reg, value);
523 } else {
524 new_frame->SetVRegLong(reg, kLongDeadValue);
525 }
526 } else {
527 uint32_t value = 0;
528 if (GetVReg(m, reg, kind, &value)) {
529 new_frame->SetVReg(reg, value);
530 } else {
531 new_frame->SetVReg(reg, kDeadValue);
532 }
533 }
534 break;
535 case kLongHiVReg:
536 if (GetVRegKind(reg - 1, kinds) == kLongLoVReg) {
537 // Nothing to do: we treated it as a "long" register pair.
538 } else {
539 uint32_t value = 0;
540 if (GetVReg(m, reg, kind, &value)) {
541 new_frame->SetVReg(reg, value);
542 } else {
543 new_frame->SetVReg(reg, kDeadValue);
544 }
545 }
546 break;
547 case kDoubleLoVReg:
548 if (GetVRegKind(reg + 1, kinds) == kDoubleHiVReg) {
549 uint64_t value = 0;
550 if (GetVRegPair(m, reg, kDoubleLoVReg, kDoubleHiVReg, &value)) {
551 // Treat it as a "double" register pair.
552 new_frame->SetVRegLong(reg, value);
553 } else {
554 new_frame->SetVRegLong(reg, kLongDeadValue);
555 }
556 } else {
557 uint32_t value = 0;
558 if (GetVReg(m, reg, kind, &value)) {
559 new_frame->SetVReg(reg, value);
560 } else {
561 new_frame->SetVReg(reg, kDeadValue);
562 }
563 }
564 break;
565 case kDoubleHiVReg:
566 if (GetVRegKind(reg - 1, kinds) == kDoubleLoVReg) {
567 // Nothing to do: we treated it as a "double" register pair.
568 } else {
569 uint32_t value = 0;
570 if (GetVReg(m, reg, kind, &value)) {
571 new_frame->SetVReg(reg, value);
572 } else {
573 new_frame->SetVReg(reg, kDeadValue);
574 }
575 }
576 break;
577 default:
578 uint32_t value = 0;
579 if (GetVReg(m, reg, kind, &value)) {
580 new_frame->SetVReg(reg, value);
581 } else {
582 new_frame->SetVReg(reg, kDeadValue);
583 }
584 break;
Nicolas Geoffray15b9d522015-03-12 15:05:13 +0000585 }
Ian Rogers5cf98192014-05-29 21:31:50 -0700586 }
587 }
Ian Rogers5cf98192014-05-29 21:31:50 -0700588 }
589
Ian Rogers5cf98192014-05-29 21:31:50 -0700590 QuickExceptionHandler* const exception_handler_;
591 ShadowFrame* prev_shadow_frame_;
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700592 bool stacked_shadow_frame_pushed_;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700593 const bool single_frame_deopt_;
594 bool single_frame_done_;
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100595 ArtMethod* single_frame_deopt_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700596
597 DISALLOW_COPY_AND_ASSIGN(DeoptimizeStackVisitor);
598};
599
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200600void QuickExceptionHandler::DeoptimizeStack() {
601 DCHECK(is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700602 if (kDebugExceptionDelivery) {
603 self_->DumpStack(LOG(INFO) << "Deoptimizing: ");
604 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200605
Andreas Gampe639bdd12015-06-03 11:22:45 -0700606 DeoptimizeStackVisitor visitor(self_, context_, this, false);
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200607 visitor.WalkStack(true);
608
609 // Restore deoptimization exception
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000610 self_->SetException(Thread::GetDeoptimizationException());
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100611}
612
Andreas Gampe639bdd12015-06-03 11:22:45 -0700613void QuickExceptionHandler::DeoptimizeSingleFrame() {
614 DCHECK(is_deoptimization_);
615
616 if (VLOG_IS_ON(deopt) || kDebugExceptionDelivery) {
617 LOG(INFO) << "Single-frame deopting:";
618 DumpFramesWithType(self_, true);
619 }
620
621 DeoptimizeStackVisitor visitor(self_, context_, this, true);
622 visitor.WalkStack(true);
623
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100624 // Compiled code made an explicit deoptimization. Transfer the code
625 // to interpreter and clear the counter to JIT the method again.
626 ArtMethod* deopt_method = visitor.GetSingleFrameDeoptMethod();
627 DCHECK(deopt_method != nullptr);
628 deopt_method->ClearCounter();
629 Runtime::Current()->GetInstrumentation()->UpdateMethodsCode(
630 deopt_method, GetQuickToInterpreterBridge());
631
Andreas Gampe639bdd12015-06-03 11:22:45 -0700632 // PC needs to be of the quick-to-interpreter bridge.
633 int32_t offset;
634 #ifdef __LP64__
635 offset = GetThreadOffset<8>(kQuickQuickToInterpreterBridge).Int32Value();
636 #else
637 offset = GetThreadOffset<4>(kQuickQuickToInterpreterBridge).Int32Value();
638 #endif
639 handler_quick_frame_pc_ = *reinterpret_cast<uintptr_t*>(
640 reinterpret_cast<uint8_t*>(self_) + offset);
641}
642
643void QuickExceptionHandler::DeoptimizeSingleFrameArchDependentFixup() {
644 // Architecture-dependent work. This is to get the LR right for x86 and x86-64.
645
646 if (kRuntimeISA == InstructionSet::kX86 || kRuntimeISA == InstructionSet::kX86_64) {
647 // On x86, the return address is on the stack, so just reuse it. Otherwise we would have to
648 // change how longjump works.
649 handler_quick_frame_ = reinterpret_cast<ArtMethod**>(
650 reinterpret_cast<uintptr_t>(handler_quick_frame_) - sizeof(void*));
651 }
652}
653
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100654// Unwinds all instrumentation stack frame prior to catch handler or upcall.
655class InstrumentationStackVisitor : public StackVisitor {
656 public:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700657 InstrumentationStackVisitor(Thread* self, size_t frame_depth)
Mathieu Chartier90443472015-07-16 20:32:27 -0700658 SHARED_REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100659 : StackVisitor(self, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Ian Rogerscf7f1912014-10-22 22:06:39 -0700660 frame_depth_(frame_depth),
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100661 instrumentation_frames_to_pop_(0) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700662 CHECK_NE(frame_depth_, kInvalidFrameDepth);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100663 }
664
Mathieu Chartier90443472015-07-16 20:32:27 -0700665 bool VisitFrame() SHARED_REQUIRES(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700666 size_t current_frame_depth = GetFrameDepth();
667 if (current_frame_depth < frame_depth_) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100668 CHECK(GetMethod() != nullptr);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700669 if (UNLIKELY(reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == GetReturnPc())) {
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100670 if (!IsInInlinedFrame()) {
671 // We do not count inlined frames, because we do not instrument them. The reason we
672 // include them in the stack walking is the check against `frame_depth_`, which is
673 // given to us by a visitor that visits inlined frames.
674 ++instrumentation_frames_to_pop_;
675 }
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100676 }
677 return true;
678 } else {
679 // We reached the frame of the catch handler or the upcall.
680 return false;
681 }
682 }
683
684 size_t GetInstrumentationFramesToPop() const {
685 return instrumentation_frames_to_pop_;
686 }
687
688 private:
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700689 const size_t frame_depth_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100690 size_t instrumentation_frames_to_pop_;
691
692 DISALLOW_COPY_AND_ASSIGN(InstrumentationStackVisitor);
693};
694
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200695void QuickExceptionHandler::UpdateInstrumentationStack() {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100696 if (method_tracing_active_) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700697 InstrumentationStackVisitor visitor(self_, handler_frame_depth_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100698 visitor.WalkStack(true);
699
700 size_t instrumentation_frames_to_pop = visitor.GetInstrumentationFramesToPop();
701 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
702 for (size_t i = 0; i < instrumentation_frames_to_pop; ++i) {
703 instrumentation->PopMethodForUnwind(self_, is_deoptimization_);
704 }
705 }
706}
707
Andreas Gampe639bdd12015-06-03 11:22:45 -0700708void QuickExceptionHandler::DoLongJump(bool smash_caller_saves) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100709 // Place context back on thread so it will be available when we continue.
710 self_->ReleaseLongJumpContext(context_);
711 context_->SetSP(reinterpret_cast<uintptr_t>(handler_quick_frame_));
712 CHECK_NE(handler_quick_frame_pc_, 0u);
713 context_->SetPC(handler_quick_frame_pc_);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700714 context_->SetArg0(handler_quick_arg0_);
715 if (smash_caller_saves) {
716 context_->SmashCallerSaves();
717 }
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100718 context_->DoLongJump();
Andreas Gampe794ad762015-02-23 08:12:24 -0800719 UNREACHABLE();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100720}
721
Andreas Gampe639bdd12015-06-03 11:22:45 -0700722// Prints out methods with their type of frame.
723class DumpFramesWithTypeStackVisitor FINAL : public StackVisitor {
724 public:
725 DumpFramesWithTypeStackVisitor(Thread* self, bool show_details = false)
726 SHARED_REQUIRES(Locks::mutator_lock_)
727 : StackVisitor(self, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
728 show_details_(show_details) {}
729
730 bool VisitFrame() OVERRIDE SHARED_REQUIRES(Locks::mutator_lock_) {
731 ArtMethod* method = GetMethod();
732 if (show_details_) {
733 LOG(INFO) << "|> pc = " << std::hex << GetCurrentQuickFramePc();
734 LOG(INFO) << "|> addr = " << std::hex << reinterpret_cast<uintptr_t>(GetCurrentQuickFrame());
735 if (GetCurrentQuickFrame() != nullptr && method != nullptr) {
736 LOG(INFO) << "|> ret = " << std::hex << GetReturnPc();
737 }
738 }
739 if (method == nullptr) {
740 // Transition, do go on, we want to unwind over bridges, all the way.
741 if (show_details_) {
742 LOG(INFO) << "N <transition>";
743 }
744 return true;
745 } else if (method->IsRuntimeMethod()) {
746 if (show_details_) {
747 LOG(INFO) << "R " << PrettyMethod(method, true);
748 }
749 return true;
750 } else {
751 bool is_shadow = GetCurrentShadowFrame() != nullptr;
752 LOG(INFO) << (is_shadow ? "S" : "Q")
753 << ((!is_shadow && IsInInlinedFrame()) ? "i" : " ")
754 << " "
755 << PrettyMethod(method, true);
756 return true; // Go on.
757 }
758 }
759
760 private:
761 bool show_details_;
762
763 DISALLOW_COPY_AND_ASSIGN(DumpFramesWithTypeStackVisitor);
764};
765
766void QuickExceptionHandler::DumpFramesWithType(Thread* self, bool details) {
767 DumpFramesWithTypeStackVisitor visitor(self, details);
768 visitor.WalkStack(true);
769}
770
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100771} // namespace art