168e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes/* 268e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * Copyright (C) 2011 The Android Open Source Project 368e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * 468e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * Licensed under the Apache License, Version 2.0 (the "License"); 568e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * you may not use this file except in compliance with the License. 668e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * You may obtain a copy of the License at 768e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * 868e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * http://www.apache.org/licenses/LICENSE-2.0 968e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * 1068e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * Unless required by applicable law or agreed to in writing, software 1168e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * distributed under the License is distributed on an "AS IS" BASIS, 1268e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 1368e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * See the License for the specific language governing permissions and 1468e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes * limitations under the License. 1568e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes */ 1668e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 1768e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes#include "stack.h" 1868e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 1946ee31b67d7ee1bd085fbc240502053caa3cf8faAndreas Gampe#include "android-base/stringprintf.h" 2046ee31b67d7ee1bd085fbc240502053caa3cf8faAndreas Gampe 21e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers#include "arch/context.h" 22e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "art_method-inl.h" 23542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe#include "base/enums.h" 24f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison#include "base/hex_dump.h" 25d23eeef3492b53102eb8093524cf37e2b4c296dbNicolas Geoffray#include "entrypoints/entrypoint_utils-inl.h" 266f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers#include "entrypoints/runtime_asm_entrypoints.h" 27e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "gc/space/image_space.h" 28e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "gc/space/space-inl.h" 29524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray#include "jit/jit.h" 30524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray#include "jit/jit_code_cache.h" 31e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "linear_alloc.h" 324f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "mirror/class-inl.h" 332dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object-inl.h" 342dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object_array-inl.h" 35524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray#include "oat_quick_method_header.h" 367624d25dad2d1ba25969ae704fccf68649103ae5Vladimir Marko#include "quick/quick_method_frame_info.h" 37590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier#include "runtime.h" 38f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison#include "thread.h" 39bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes#include "thread_list.h" 4090b936ddda63139ff46a6755c3b83ad6e4ab4ac5Andreas Gampe#include "verify_object.h" 4168e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 4211d1b0c31ddd710d26068da8e0e4621002205b4bElliott Hughesnamespace art { 4311d1b0c31ddd710d26068da8e0e4621002205b4bElliott Hughes 4446ee31b67d7ee1bd085fbc240502053caa3cf8faAndreas Gampeusing android::base::StringPrintf; 4546ee31b67d7ee1bd085fbc240502053caa3cf8faAndreas Gampe 468405bfda04edd21156d4f8b88684f5c2ecbe8544Mathieu Chartierstatic constexpr bool kDebugStackWalk = false; 47e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier 4862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogersmirror::Object* ShadowFrame::GetThisObject() const { 49e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* m = GetMethod(); 5062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (m->IsStatic()) { 512cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier return nullptr; 5262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else if (m->IsNative()) { 5362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return GetVRegReference(0); 5462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 55bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 56709b070044354d9f47641f273edacaeeb0240ab7David Sehr CHECK(code_item != nullptr) << ArtMethod::PrettyMethod(m); 5762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers uint16_t reg = code_item->registers_size_ - code_item->ins_size_; 5862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return GetVRegReference(reg); 5962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 6062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers} 6162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers 62e701f48eb06fa59871412a11286429111270b211Jeff Haomirror::Object* ShadowFrame::GetThisObject(uint16_t num_ins) const { 63e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* m = GetMethod(); 64e701f48eb06fa59871412a11286429111270b211Jeff Hao if (m->IsStatic()) { 652cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier return nullptr; 66e701f48eb06fa59871412a11286429111270b211Jeff Hao } else { 678d44885106503f68e5b977c080df8ae6cc360497Jeff Hao return GetVRegReference(NumberOfVRegs() - num_ins); 68e701f48eb06fa59871412a11286429111270b211Jeff Hao } 69e701f48eb06fa59871412a11286429111270b211Jeff Hao} 70e701f48eb06fa59871412a11286429111270b211Jeff Hao 71ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYasize_t ManagedStack::NumJniShadowFrameReferences() const { 720399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t count = 0; 732cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = this; current_fragment != nullptr; 740399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_fragment = current_fragment->GetLink()) { 752cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (ShadowFrame* current_frame = current_fragment->top_shadow_frame_; current_frame != nullptr; 760399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_frame = current_frame->GetLink()) { 77ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa if (current_frame->GetMethod()->IsNative()) { 78ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa // The JNI ShadowFrame only contains references. (For indirect reference.) 79ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa count += current_frame->NumberOfVRegs(); 80ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa } 810399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 82efccc565091b3409ed1372615b4ea4e2f6c39323buzbee } 830399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return count; 84b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes} 85b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes 86ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogersbool ManagedStack::ShadowFramesContain(StackReference<mirror::Object>* shadow_frame_entry) const { 872cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = this; current_fragment != nullptr; 880399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_fragment = current_fragment->GetLink()) { 892cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (ShadowFrame* current_frame = current_fragment->top_shadow_frame_; current_frame != nullptr; 900399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_frame = current_frame->GetLink()) { 910399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (current_frame->Contains(shadow_frame_entry)) { 920399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return true; 930399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 940399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 950399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 960399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return false; 9768e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 9868e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 9902f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi YamauchiStackVisitor::StackVisitor(Thread* thread, 10002f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi Context* context, 10102f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi StackWalkKind walk_kind, 10202f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi bool check_suspended) 10302f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi : StackVisitor(thread, context, walk_kind, 0, check_suspended) {} 1048e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray 1058e5bd18fc665d7ec5461ea068e98740a65da754cNicolas GeoffrayStackVisitor::StackVisitor(Thread* thread, 1068e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray Context* context, 1078e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray StackWalkKind walk_kind, 10802f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi size_t num_frames, 10902f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi bool check_suspended) 1108e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : thread_(thread), 1118e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray walk_kind_(walk_kind), 1128e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_shadow_frame_(nullptr), 1138e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_quick_frame_(nullptr), 1148e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_quick_frame_pc_(0), 115524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray cur_oat_quick_method_header_(nullptr), 1168e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray num_frames_(num_frames), 1178e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_depth_(0), 11857f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray current_inlining_depth_(0), 11902f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi context_(context), 12002f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi check_suspended_(check_suspended) { 12102f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi if (check_suspended_) { 12202f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi DCHECK(thread == Thread::Current() || thread->IsSuspended()) << *thread; 12302f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi } 1245cf98196d488437acd1e989c08a554ef697fded1Ian Rogers} 1255cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 126e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu ChartierInlineInfo StackVisitor::GetCurrentInlineInfo() const { 127524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader(); 128524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint32_t native_pc_offset = method_header->NativeQuickPcOffset(cur_quick_frame_pc_); 129524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray CodeInfo code_info = method_header->GetOptimizedCodeInfo(); 13009ed09866da6d8c7448ef297c148bfa577a247c2David Srbecky CodeInfoEncoding encoding = code_info.ExtractEncoding(); 131f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding); 132e12997fbce8e22431be58cac9db2535f7b4a7ac3Nicolas Geoffray DCHECK(stack_map.IsValid()); 133f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil return code_info.GetInlineInfoOf(stack_map, encoding); 13457f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray} 13557f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 136e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu ChartierArtMethod* StackVisitor::GetMethod() const { 13757f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray if (cur_shadow_frame_ != nullptr) { 13857f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray return cur_shadow_frame_->GetMethod(); 13957f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } else if (cur_quick_frame_ != nullptr) { 14057f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray if (IsInInlinedFrame()) { 14157f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray size_t depth_in_stack_map = current_inlining_depth_ - 1; 142d23eeef3492b53102eb8093524cf37e2b4c296dbNicolas Geoffray InlineInfo inline_info = GetCurrentInlineInfo(); 14361b28a17d9b6e8e998103646e98e4a9772e11927David Srbecky const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader(); 14461b28a17d9b6e8e998103646e98e4a9772e11927David Srbecky CodeInfoEncoding encoding = method_header->GetOptimizedCodeInfo().ExtractEncoding(); 145cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier MethodInfo method_info = method_header->GetOptimizedMethodInfo(); 14645bf250d61de433c18ded824348e87bd4ffd7678Mathieu Chartier DCHECK(walk_kind_ != StackWalkKind::kSkipInlinedFrames); 147c6df1e3cbfa7313007ee5fd4a5a6657a28627313Nicolas Geoffray return GetResolvedMethod(*GetCurrentQuickFrame(), 148cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier method_info, 149c6df1e3cbfa7313007ee5fd4a5a6657a28627313Nicolas Geoffray inline_info, 150575d3e60c68b5cf481b615dde4a16283507b19edMathieu Chartier encoding.inline_info.encoding, 151c6df1e3cbfa7313007ee5fd4a5a6657a28627313Nicolas Geoffray depth_in_stack_map); 15257f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } else { 153e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier return *cur_quick_frame_; 15457f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 15557f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 156e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier return nullptr; 15757f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray} 15857f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 159b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allisonuint32_t StackVisitor::GetDexPc(bool abort_on_failure) const { 1602cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (cur_shadow_frame_ != nullptr) { 1610399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return cur_shadow_frame_->GetDexPC(); 1622cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } else if (cur_quick_frame_ != nullptr) { 16357f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray if (IsInInlinedFrame()) { 16457f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray size_t depth_in_stack_map = current_inlining_depth_ - 1; 16561b28a17d9b6e8e998103646e98e4a9772e11927David Srbecky const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader(); 16661b28a17d9b6e8e998103646e98e4a9772e11927David Srbecky CodeInfoEncoding encoding = method_header->GetOptimizedCodeInfo().ExtractEncoding(); 167575d3e60c68b5cf481b615dde4a16283507b19edMathieu Chartier return GetCurrentInlineInfo().GetDexPcAtDepth(encoding.inline_info.encoding, 16861b28a17d9b6e8e998103646e98e4a9772e11927David Srbecky depth_in_stack_map); 169524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } else if (cur_oat_quick_method_header_ == nullptr) { 170524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return DexFile::kDexNoIndex; 17157f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } else { 172524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return cur_oat_quick_method_header_->ToDexPc( 173524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray GetMethod(), cur_quick_frame_pc_, abort_on_failure); 17457f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 1750399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } else { 1760399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return 0; 1770399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 1780399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 1790399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers 180e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierextern "C" mirror::Object* artQuickGetProxyThisObject(ArtMethod** sp) 181bdf7f1c3ab65ccb70f62db5ab31dba060632d458Andreas Gampe REQUIRES_SHARED(Locks::mutator_lock_); 182a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz 18362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogersmirror::Object* StackVisitor::GetThisObject() const { 184542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe DCHECK_EQ(Runtime::Current()->GetClassLinker()->GetImagePointerSize(), kRuntimePointerSize); 185e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* m = GetMethod(); 18662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (m->IsStatic()) { 1873946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray return nullptr; 18862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else if (m->IsNative()) { 1893946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray if (cur_quick_frame_ != nullptr) { 190eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier HandleScope* hs = reinterpret_cast<HandleScope*>( 191524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray reinterpret_cast<char*>(cur_quick_frame_) + sizeof(ArtMethod*)); 192eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier return hs->GetReference(0); 19362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 19462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return cur_shadow_frame_->GetVRegReference(0); 19562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 1963a0909248e04b22c3981cbf617bc2502ed5b6380Nicolas Geoffray } else if (m->IsProxyMethod()) { 197a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz if (cur_quick_frame_ != nullptr) { 198a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz return artQuickGetProxyThisObject(cur_quick_frame_); 199a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } else { 200a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz return cur_shadow_frame_->GetVRegReference(0); 201a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } 20262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 203bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 2043946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray if (code_item == nullptr) { 205e0dcd46314d07eeb332edea292f5110178e4e3d2Ian Rogers UNIMPLEMENTED(ERROR) << "Failed to determine this object of abstract or proxy method: " 206709b070044354d9f47641f273edacaeeb0240ab7David Sehr << ArtMethod::PrettyMethod(m); 207e0dcd46314d07eeb332edea292f5110178e4e3d2Ian Rogers return nullptr; 20862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 20962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers uint16_t reg = code_item->registers_size_ - code_item->ins_size_; 21015b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t value = 0; 211b1d8c314b55bb2df2b2bb72a3daaf5db65b7ebc7Igor Murashkin bool success = GetVReg(m, reg, kReferenceVReg, &value); 21215b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray // We currently always guarantee the `this` object is live throughout the method. 213709b070044354d9f47641f273edacaeeb0240ab7David Sehr CHECK(success) << "Failed to read the this object in " << ArtMethod::PrettyMethod(m); 21415b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray return reinterpret_cast<mirror::Object*>(value); 21562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 21662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 21762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers} 21862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers 2190c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogerssize_t StackVisitor::GetNativePcOffset() const { 2200c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers DCHECK(!IsShadowFrame()); 221524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return GetCurrentOatQuickMethodHeader()->NativeQuickPcOffset(cur_quick_frame_pc_); 2220c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers} 2230c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers 22499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yangbool StackVisitor::GetVRegFromDebuggerShadowFrame(uint16_t vreg, 22599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang VRegKind kind, 22699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang uint32_t* val) const { 22799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang size_t frame_id = const_cast<StackVisitor*>(this)->GetFrameId(); 22899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang ShadowFrame* shadow_frame = thread_->FindDebuggerShadowFrame(frame_id); 22999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (shadow_frame != nullptr) { 23099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang bool* updated_vreg_flags = thread_->GetUpdatedVRegFlags(frame_id); 23199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang DCHECK(updated_vreg_flags != nullptr); 23299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (updated_vreg_flags[vreg]) { 23399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // Value is set by the debugger. 23499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (kind == kReferenceVReg) { 23599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang *val = static_cast<uint32_t>(reinterpret_cast<uintptr_t>( 23699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang shadow_frame->GetVRegReference(vreg))); 23799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } else { 23899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang *val = shadow_frame->GetVReg(vreg); 23999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 24099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return true; 24199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 24299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 24399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // No value is set by the debugger. 24499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return false; 24599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang} 24699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang 247e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierbool StackVisitor::GetVReg(ArtMethod* m, uint16_t vreg, VRegKind kind, uint32_t* val) const { 248c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 249c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably read registers without a context. 2502bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers DCHECK(m == GetMethod()); 25199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // Check if there is value set by the debugger. 25299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (GetVRegFromDebuggerShadowFrame(vreg, kind, val)) { 25399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return true; 25499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 2559d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko DCHECK(cur_oat_quick_method_header_->IsOptimized()); 2569d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko return GetVRegFromOptimizedCode(m, vreg, kind, val); 2570399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } else { 25896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 25909687447764a4d5d810df3d02532e4b141e7f2cdSebastien Hertz if (kind == kReferenceVReg) { 26009687447764a4d5d810df3d02532e4b141e7f2cdSebastien Hertz *val = static_cast<uint32_t>(reinterpret_cast<uintptr_t>( 26109687447764a4d5d810df3d02532e4b141e7f2cdSebastien Hertz cur_shadow_frame_->GetVRegReference(vreg))); 26209687447764a4d5d810df3d02532e4b141e7f2cdSebastien Hertz } else { 26309687447764a4d5d810df3d02532e4b141e7f2cdSebastien Hertz *val = cur_shadow_frame_->GetVReg(vreg); 26409687447764a4d5d810df3d02532e4b141e7f2cdSebastien Hertz } 2650bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 2660399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 2676d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers} 2686d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers 269e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierbool StackVisitor::GetVRegFromOptimizedCode(ArtMethod* m, uint16_t vreg, VRegKind kind, 2707cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t* val) const { 27157f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray DCHECK_EQ(m, GetMethod()); 2727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 273709b070044354d9f47641f273edacaeeb0240ab7David Sehr DCHECK(code_item != nullptr) << m->PrettyMethod(); // Can't be null or how would we compile 274709b070044354d9f47641f273edacaeeb0240ab7David Sehr // its instructions? 275fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray uint16_t number_of_dex_registers = code_item->registers_size_; 27657f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray DCHECK_LT(vreg, code_item->registers_size_); 277524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader(); 278524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray CodeInfo code_info = method_header->GetOptimizedCodeInfo(); 27909ed09866da6d8c7448ef297c148bfa577a247c2David Srbecky CodeInfoEncoding encoding = code_info.ExtractEncoding(); 28057f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 281524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint32_t native_pc_offset = method_header->NativeQuickPcOffset(cur_quick_frame_pc_); 282f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding); 283e12997fbce8e22431be58cac9db2535f7b4a7ac3Nicolas Geoffray DCHECK(stack_map.IsValid()); 28457f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray size_t depth_in_stack_map = current_inlining_depth_ - 1; 28557f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 28657f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray DexRegisterMap dex_register_map = IsInInlinedFrame() 287f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil ? code_info.GetDexRegisterMapAtDepth(depth_in_stack_map, 288f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil code_info.GetInlineInfoOf(stack_map, encoding), 289f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil encoding, 290f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil number_of_dex_registers) 291f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil : code_info.GetDexRegisterMapOf(stack_map, encoding, number_of_dex_registers); 29257f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 293012fc4e9d9b66b3ffb7838b0e29dadbb4863ee69Nicolas Geoffray if (!dex_register_map.IsValid()) { 294012fc4e9d9b66b3ffb7838b0e29dadbb4863ee69Nicolas Geoffray return false; 295012fc4e9d9b66b3ffb7838b0e29dadbb4863ee69Nicolas Geoffray } 296fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray DexRegisterLocation::Kind location_kind = 297f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil dex_register_map.GetLocationKind(vreg, number_of_dex_registers, code_info, encoding); 2987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz switch (location_kind) { 299a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInStack: { 300f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil const int32_t offset = dex_register_map.GetStackOffsetInBytes(vreg, 301f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil number_of_dex_registers, 302f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil code_info, 303f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil encoding); 3047cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const uint8_t* addr = reinterpret_cast<const uint8_t*>(cur_quick_frame_) + offset; 3057cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = *reinterpret_cast<const uint32_t*>(addr); 3067cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 3077cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 308a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInRegister: 309d9cb68e3212d31d61445fb7e8446f68991720009David Brazdil case DexRegisterLocation::Kind::kInRegisterHigh: 310d9cb68e3212d31d61445fb7e8446f68991720009David Brazdil case DexRegisterLocation::Kind::kInFpuRegister: 311d9cb68e3212d31d61445fb7e8446f68991720009David Brazdil case DexRegisterLocation::Kind::kInFpuRegisterHigh: { 312f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil uint32_t reg = 313f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil dex_register_map.GetMachineRegister(vreg, number_of_dex_registers, code_info, encoding); 3147cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterIfAccessible(reg, kind, val); 3157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 316a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kConstant: 317f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil *val = dex_register_map.GetConstant(vreg, number_of_dex_registers, code_info, encoding); 3187cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 319a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kNone: 3207cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 321a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain default: 322a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain LOG(FATAL) 3237dc11782ff0a5dffcd8108f256f8975f0b3e8076David Srbecky << "Unexpected location kind " 3247dc11782ff0a5dffcd8108f256f8975f0b3e8076David Srbecky << dex_register_map.GetLocationInternalKind(vreg, 3257dc11782ff0a5dffcd8108f256f8975f0b3e8076David Srbecky number_of_dex_registers, 3267dc11782ff0a5dffcd8108f256f8975f0b3e8076David Srbecky code_info, 3277dc11782ff0a5dffcd8108f256f8975f0b3e8076David Srbecky encoding); 328a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain UNREACHABLE(); 3297cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3307cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3327cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetRegisterIfAccessible(uint32_t reg, VRegKind kind, uint32_t* val) const { 3337cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 33477a48ae01bbc5b05ca009cf09e2fcb53e4c8ff23David Brazdil 335239d6eaff0cbb5c4c0139f7053a012758799f186Vladimir Marko if (kRuntimeISA == InstructionSet::kX86 && is_float) { 336239d6eaff0cbb5c4c0139f7053a012758799f186Vladimir Marko // X86 float registers are 64-bit and each XMM register is provided as two separate 337239d6eaff0cbb5c4c0139f7053a012758799f186Vladimir Marko // 32-bit registers by the context. 338239d6eaff0cbb5c4c0139f7053a012758799f186Vladimir Marko reg = (kind == kDoubleHiVReg) ? (2 * reg + 1) : (2 * reg); 339239d6eaff0cbb5c4c0139f7053a012758799f186Vladimir Marko } 34077a48ae01bbc5b05ca009cf09e2fcb53e4c8ff23David Brazdil 341986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic // MIPS32 float registers are used as 64-bit (for MIPS32r2 it is pair 342986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic // F(2n)-F(2n+1), and for MIPS32r6 it is 64-bit register F(2n)). When 343986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic // accessing upper 32-bits from double, reg + 1 should be used. 344986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic if ((kRuntimeISA == InstructionSet::kMips) && (kind == kDoubleHiVReg)) { 345986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic DCHECK_ALIGNED(reg, 2); 346986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic reg++; 347986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic } 348986660c7175b3a99268a7bc38f283a2b1161781bGoran Jakovljevic 3497cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg, is_float)) { 3507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 3517cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3527cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val = GetRegister(reg, is_float); 3537cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool target64 = Is64BitInstructionSet(kRuntimeISA); 3547cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 3557cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool wide_lo = (kind == kLongLoVReg) || (kind == kDoubleLoVReg); 3567cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool wide_hi = (kind == kLongHiVReg) || (kind == kDoubleHiVReg); 3577cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long = static_cast<int64_t>(ptr_val); 3587cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo) { 3597cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val = static_cast<uintptr_t>(Low32Bits(value_long)); 3607cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else if (wide_hi) { 3617cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val = static_cast<uintptr_t>(High32Bits(value_long)); 3627cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3637cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3647cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = ptr_val; 3657cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 3667cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3677cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 36899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yangbool StackVisitor::GetVRegPairFromDebuggerShadowFrame(uint16_t vreg, 36999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang VRegKind kind_lo, 37099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang VRegKind kind_hi, 37199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang uint64_t* val) const { 37299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang uint32_t low_32bits; 37399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang uint32_t high_32bits; 37499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang bool success = GetVRegFromDebuggerShadowFrame(vreg, kind_lo, &low_32bits); 37599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang success &= GetVRegFromDebuggerShadowFrame(vreg + 1, kind_hi, &high_32bits); 37699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (success) { 37799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang *val = (static_cast<uint64_t>(high_32bits) << 32) | static_cast<uint64_t>(low_32bits); 37899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 37999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return success; 38099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang} 38199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang 382e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierbool StackVisitor::GetVRegPair(ArtMethod* m, uint16_t vreg, VRegKind kind_lo, 383c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz VRegKind kind_hi, uint64_t* val) const { 384c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (kind_lo == kLongLoVReg) { 385c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kLongHiVReg); 386c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else if (kind_lo == kDoubleLoVReg) { 387c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kDoubleHiVReg); 388c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 389c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz LOG(FATAL) << "Expected long or double: kind_lo=" << kind_lo << ", kind_hi=" << kind_hi; 3907cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz UNREACHABLE(); 391c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 39299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // Check if there is value set by the debugger. 39399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (GetVRegPairFromDebuggerShadowFrame(vreg, kind_lo, kind_hi, val)) { 39499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return true; 39599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 396c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 397c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably read registers without a context. 398c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(m == GetMethod()); 3999d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko DCHECK(cur_oat_quick_method_header_->IsOptimized()); 4009d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko return GetVRegPairFromOptimizedCode(m, vreg, kind_lo, kind_hi, val); 401c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 40296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 403c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz *val = cur_shadow_frame_->GetVRegLong(vreg); 404c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz return true; 405c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 406c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz} 407c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz 408e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierbool StackVisitor::GetVRegPairFromOptimizedCode(ArtMethod* m, uint16_t vreg, 4097cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_lo, VRegKind kind_hi, 4107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t* val) const { 4117cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t low_32bits; 4127cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t high_32bits; 413b1d8c314b55bb2df2b2bb72a3daaf5db65b7ebc7Igor Murashkin bool success = GetVRegFromOptimizedCode(m, vreg, kind_lo, &low_32bits); 414b1d8c314b55bb2df2b2bb72a3daaf5db65b7ebc7Igor Murashkin success &= GetVRegFromOptimizedCode(m, vreg + 1, kind_hi, &high_32bits); 4157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (success) { 4167cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = (static_cast<uint64_t>(high_32bits) << 32) | static_cast<uint64_t>(low_32bits); 4177cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4187cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return success; 4197cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 4207cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 4217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetRegisterPairIfAccessible(uint32_t reg_lo, uint32_t reg_hi, 4227cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_lo, uint64_t* val) const { 4237cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind_lo == kDoubleLoVReg); 4247cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg_lo, is_float) || !IsAccessibleRegister(reg_hi, is_float)) { 4257cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 4267cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4277cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val_lo = GetRegister(reg_lo, is_float); 4287cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val_hi = GetRegister(reg_hi, is_float); 4297cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool target64 = Is64BitInstructionSet(kRuntimeISA); 4307cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 4317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long_lo = static_cast<int64_t>(ptr_val_lo); 4327cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long_hi = static_cast<int64_t>(ptr_val_hi); 4337cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val_lo = static_cast<uintptr_t>(Low32Bits(value_long_lo)); 4347cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val_hi = static_cast<uintptr_t>(High32Bits(value_long_hi)); 4357cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4367cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = (static_cast<uint64_t>(ptr_val_hi) << 32) | static_cast<uint32_t>(ptr_val_lo); 4377cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 4387cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 4397cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 440636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yangbool StackVisitor::SetVReg(ArtMethod* m, 441636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yang uint16_t vreg, 442636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yang uint32_t new_value, 4432dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers VRegKind kind) { 44499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang const DexFile::CodeItem* code_item = m->GetCodeItem(); 44599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (code_item == nullptr) { 44699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return false; 44799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 44899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang ShadowFrame* shadow_frame = GetCurrentShadowFrame(); 44999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (shadow_frame == nullptr) { 45099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // This is a compiled frame: we must prepare and update a shadow frame that will 45199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // be executed by the interpreter after deoptimization of the stack. 45299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang const size_t frame_id = GetFrameId(); 45399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang const uint16_t num_regs = code_item->registers_size_; 45499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang shadow_frame = thread_->FindOrCreateDebuggerShadowFrame(frame_id, num_regs, m, GetDexPc()); 45599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang CHECK(shadow_frame != nullptr); 45699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // Remember the vreg has been set for debugging and must not be overwritten by the 45799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // original value during deoptimization of the stack. 45899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang thread_->GetUpdatedVRegFlags(frame_id)[vreg] = true; 45999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 46099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (kind == kReferenceVReg) { 46199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang shadow_frame->SetVRegReference(vreg, reinterpret_cast<mirror::Object*>(new_value)); 46299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } else { 46399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang shadow_frame->SetVReg(vreg, new_value); 46499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 46599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return true; 46699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang} 46799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang 468636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yangbool StackVisitor::SetVRegPair(ArtMethod* m, 469636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yang uint16_t vreg, 470636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yang uint64_t new_value, 471636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yang VRegKind kind_lo, 472636b9252af8d8848dbf8f30b7e9638867b62c791Mingyao Yang VRegKind kind_hi) { 47399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (kind_lo == kLongLoVReg) { 47499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang DCHECK_EQ(kind_hi, kLongHiVReg); 47599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } else if (kind_lo == kDoubleLoVReg) { 47699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang DCHECK_EQ(kind_hi, kDoubleHiVReg); 47799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } else { 47899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang LOG(FATAL) << "Expected long or double: kind_lo=" << kind_lo << ", kind_hi=" << kind_hi; 47999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang UNREACHABLE(); 48099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 48199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang const DexFile::CodeItem* code_item = m->GetCodeItem(); 48299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (code_item == nullptr) { 48399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return false; 48499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 48599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang ShadowFrame* shadow_frame = GetCurrentShadowFrame(); 48699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang if (shadow_frame == nullptr) { 48799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // This is a compiled frame: we must prepare for deoptimization (see SetVRegFromDebugger). 48899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang const size_t frame_id = GetFrameId(); 48999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang const uint16_t num_regs = code_item->registers_size_; 49099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang shadow_frame = thread_->FindOrCreateDebuggerShadowFrame(frame_id, num_regs, m, GetDexPc()); 49199170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang CHECK(shadow_frame != nullptr); 49299170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // Remember the vreg pair has been set for debugging and must not be overwritten by the 49399170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang // original value during deoptimization of the stack. 49499170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang thread_->GetUpdatedVRegFlags(frame_id)[vreg] = true; 49599170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang thread_->GetUpdatedVRegFlags(frame_id)[vreg + 1] = true; 49699170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang } 49799170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang shadow_frame->SetVRegLong(vreg, new_value); 49899170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang return true; 49999170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang} 50099170c636dfae4908b102347cfe9f92bad1881ccMingyao Yang 50196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzbool StackVisitor::IsAccessibleGPR(uint32_t reg) const { 50296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 50396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->IsAccessibleGPR(reg); 50496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz} 50596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz 506815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartieruintptr_t* StackVisitor::GetGPRAddress(uint32_t reg) const { 50796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 50896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 509815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier return context_->GetGPRAddress(reg); 510815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier} 511815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier 51296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzuintptr_t StackVisitor::GetGPR(uint32_t reg) const { 51396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 51496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 51596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->GetGPR(reg); 51696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz} 51796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz 51896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzbool StackVisitor::IsAccessibleFPR(uint32_t reg) const { 51996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 52096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->IsAccessibleFPR(reg); 5210bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz} 5220bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz 52396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzuintptr_t StackVisitor::GetFPR(uint32_t reg) const { 52496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 52596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 52696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->GetFPR(reg); 52768e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 52868e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 5290399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersuintptr_t StackVisitor::GetReturnPc() const { 53013735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* sp = reinterpret_cast<uint8_t*>(GetCurrentQuickFrame()); 5312cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(sp != nullptr); 532524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint8_t* pc_addr = sp + GetCurrentQuickFrameInfo().GetReturnPcOffset(); 5330399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return *reinterpret_cast<uintptr_t*>(pc_addr); 53468e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 53568e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 5360399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersvoid StackVisitor::SetReturnPc(uintptr_t new_ret_pc) { 53713735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* sp = reinterpret_cast<uint8_t*>(GetCurrentQuickFrame()); 5382cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier CHECK(sp != nullptr); 539524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint8_t* pc_addr = sp + GetCurrentQuickFrameInfo().GetReturnPcOffset(); 5400399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers *reinterpret_cast<uintptr_t*>(pc_addr) = new_ret_pc; 5410399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 542bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5438e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffraysize_t StackVisitor::ComputeNumFrames(Thread* thread, StackWalkKind walk_kind) { 5440399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers struct NumFramesVisitor : public StackVisitor { 5458e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray NumFramesVisitor(Thread* thread_in, StackWalkKind walk_kind_in) 5468e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread_in, nullptr, walk_kind_in), frames(0) {} 547bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5485cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE { 5490399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers frames++; 5500399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return true; 5510399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 55208fc03ae5dded4adc9b45b7014a4b9dfedbe95a6Elliott Hughes 5530399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t frames; 5540399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers }; 5558e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray NumFramesVisitor visitor(thread, walk_kind); 5560399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers visitor.WalkStack(true); 5570399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return visitor.frames; 5580399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 559bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 560e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierbool StackVisitor::GetNextMethodAndDexPc(ArtMethod** next_method, uint32_t* next_dex_pc) { 5615cf98196d488437acd1e989c08a554ef697fded1Ian Rogers struct HasMoreFramesVisitor : public StackVisitor { 5628e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray HasMoreFramesVisitor(Thread* thread, 5638e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray StackWalkKind walk_kind, 5648e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray size_t num_frames, 5658e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray size_t frame_height) 5668e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread, nullptr, walk_kind, num_frames), 5678e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray frame_height_(frame_height), 5688e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray found_frame_(false), 5698e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray has_more_frames_(false), 5708e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray next_method_(nullptr), 5718e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray next_dex_pc_(0) { 5725cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5735cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 574bdf7f1c3ab65ccb70f62db5ab31dba060632d458Andreas Gampe bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) { 5755cf98196d488437acd1e989c08a554ef697fded1Ian Rogers if (found_frame_) { 576e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* method = GetMethod(); 5775cf98196d488437acd1e989c08a554ef697fded1Ian Rogers if (method != nullptr && !method->IsRuntimeMethod()) { 5785cf98196d488437acd1e989c08a554ef697fded1Ian Rogers has_more_frames_ = true; 5795cf98196d488437acd1e989c08a554ef697fded1Ian Rogers next_method_ = method; 5805cf98196d488437acd1e989c08a554ef697fded1Ian Rogers next_dex_pc_ = GetDexPc(); 5815cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return false; // End stack walk once next method is found. 5825cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5835cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } else if (GetFrameHeight() == frame_height_) { 5845cf98196d488437acd1e989c08a554ef697fded1Ian Rogers found_frame_ = true; 5855cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5865cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return true; 5875cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5885cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 5895cf98196d488437acd1e989c08a554ef697fded1Ian Rogers size_t frame_height_; 5905cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool found_frame_; 5915cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool has_more_frames_; 592e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* next_method_; 5935cf98196d488437acd1e989c08a554ef697fded1Ian Rogers uint32_t next_dex_pc_; 5945cf98196d488437acd1e989c08a554ef697fded1Ian Rogers }; 5958e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray HasMoreFramesVisitor visitor(thread_, walk_kind_, GetNumFrames(), GetFrameHeight()); 5965cf98196d488437acd1e989c08a554ef697fded1Ian Rogers visitor.WalkStack(true); 5975cf98196d488437acd1e989c08a554ef697fded1Ian Rogers *next_method = visitor.next_method_; 5985cf98196d488437acd1e989c08a554ef697fded1Ian Rogers *next_dex_pc = visitor.next_dex_pc_; 5995cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return visitor.has_more_frames_; 6005cf98196d488437acd1e989c08a554ef697fded1Ian Rogers} 6015cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 6027a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogersvoid StackVisitor::DescribeStack(Thread* thread) { 603306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers struct DescribeStackVisitor : public StackVisitor { 604277ccbd200ea43590dfc06a93ae184a765327ad0Andreas Gampe explicit DescribeStackVisitor(Thread* thread_in) 6058e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread_in, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames) {} 606306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers 607bdf7f1c3ab65ccb70f62db5ab31dba060632d458Andreas Gampe bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) { 608306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers LOG(INFO) << "Frame Id=" << GetFrameId() << " " << DescribeLocation(); 609306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers return true; 610306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers } 611306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers }; 6127a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers DescribeStackVisitor visitor(thread); 613306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers visitor.WalkStack(true); 614306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers} 615306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers 61640e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogersstd::string StackVisitor::DescribeLocation() const { 61740e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers std::string result("Visiting method '"); 618e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* m = GetMethod(); 6192cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (m == nullptr) { 620306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers return "upcall"; 621306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers } 622709b070044354d9f47641f273edacaeeb0240ab7David Sehr result += m->PrettyMethod(); 623ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers result += StringPrintf("' at dex PC 0x%04x", GetDexPc()); 62440e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers if (!IsShadowFrame()) { 62540e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers result += StringPrintf(" (native PC %p)", reinterpret_cast<void*>(GetCurrentQuickFramePc())); 62640e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers } 62740e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers return result; 62840e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers} 62940e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers 630dba61481035b7944173181ec9ee02aea41dd0e29Alex Lightvoid StackVisitor::SetMethod(ArtMethod* method) { 631dba61481035b7944173181ec9ee02aea41dd0e29Alex Light DCHECK(GetMethod() != nullptr); 632dba61481035b7944173181ec9ee02aea41dd0e29Alex Light if (cur_shadow_frame_ != nullptr) { 633dba61481035b7944173181ec9ee02aea41dd0e29Alex Light cur_shadow_frame_->SetMethod(method); 634dba61481035b7944173181ec9ee02aea41dd0e29Alex Light } else { 635dba61481035b7944173181ec9ee02aea41dd0e29Alex Light DCHECK(cur_quick_frame_ != nullptr); 636dba61481035b7944173181ec9ee02aea41dd0e29Alex Light CHECK(!IsInInlinedFrame()) << "We do not support setting inlined method's ArtMethod!"; 6371ebe4fe1a6cb0835197ee3a848d554b79ca9d367Alex Light *cur_quick_frame_ = method; 638dba61481035b7944173181ec9ee02aea41dd0e29Alex Light } 639dba61481035b7944173181ec9ee02aea41dd0e29Alex Light} 640dba61481035b7944173181ec9ee02aea41dd0e29Alex Light 641524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffraystatic void AssertPcIsWithinQuickCode(ArtMethod* method, uintptr_t pc) 642bdf7f1c3ab65ccb70f62db5ab31dba060632d458Andreas Gampe REQUIRES_SHARED(Locks::mutator_lock_) { 643524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (method->IsNative() || method->IsRuntimeMethod() || method->IsProxyMethod()) { 644524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return; 645524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 646524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 647524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (pc == reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc())) { 648524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return; 649524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 650524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 6513fb638e835454a74cf9a82edc64726c343e22e41Mingyao Yang Runtime* runtime = Runtime::Current(); 6523fb638e835454a74cf9a82edc64726c343e22e41Mingyao Yang if (runtime->UseJitCompilation() && 6533fb638e835454a74cf9a82edc64726c343e22e41Mingyao Yang runtime->GetJit()->GetCodeCache()->ContainsPc(reinterpret_cast<const void*>(pc))) { 6543fb638e835454a74cf9a82edc64726c343e22e41Mingyao Yang return; 6553fb638e835454a74cf9a82edc64726c343e22e41Mingyao Yang } 6563fb638e835454a74cf9a82edc64726c343e22e41Mingyao Yang 657524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray const void* code = method->GetEntryPointFromQuickCompiledCode(); 658db01a091aefbd78b56777f4c2e8c5e3f2d8c2712Alex Light if (code == GetQuickInstrumentationEntryPoint() || code == GetInvokeObsoleteMethodStub()) { 659524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return; 660524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 661524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 662524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 663524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (class_linker->IsQuickToInterpreterBridge(code) || 664524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray class_linker->IsQuickResolutionStub(code)) { 665524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return; 666524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 667524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 668ffc87076dda9878cb2cc098149bae441d38b9268Calin Juravle if (runtime->UseJitCompilation() && runtime->GetJit()->GetCodeCache()->ContainsPc(code)) { 669524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return; 670524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 671524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 672063fc772b5b8aed7d769cd7cccb6ddc7619326eeMingyao Yang uint32_t code_size = OatQuickMethodHeader::FromEntryPoint(code)->GetCodeSize(); 673524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uintptr_t code_start = reinterpret_cast<uintptr_t>(code); 674524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray CHECK(code_start <= pc && pc <= (code_start + code_size)) 675709b070044354d9f47641f273edacaeeb0240ab7David Sehr << method->PrettyMethod() 676524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray << " pc=" << std::hex << pc 6770d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain << " code_start=" << code_start 6780d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain << " code_size=" << code_size; 679524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray} 680524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 68100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogersvoid StackVisitor::SanityCheckFrame() const { 682ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (kIsDebugBuild) { 683e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* method = GetMethod(); 684e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier auto* declaring_class = method->GetDeclaringClass(); 685e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier // Runtime methods have null declaring class. 686e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier if (!method->IsRuntimeMethod()) { 687e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier CHECK(declaring_class != nullptr); 688e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier CHECK_EQ(declaring_class->GetClass(), declaring_class->GetClass()->GetClass()) 689e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier << declaring_class; 690e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } else { 691e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier CHECK(declaring_class == nullptr); 692e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 693951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier Runtime* const runtime = Runtime::Current(); 694951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier LinearAlloc* const linear_alloc = runtime->GetLinearAlloc(); 695951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier if (!linear_alloc->Contains(method)) { 696951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier // Check class linker linear allocs. 697951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier mirror::Class* klass = method->GetDeclaringClass(); 698951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier LinearAlloc* const class_linear_alloc = (klass != nullptr) 6995b83050affa6a3b1d3863c0b903f9d48fe4aefb2Mathieu Chartier ? runtime->GetClassLinker()->GetAllocatorForClassLoader(klass->GetClassLoader()) 700951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier : linear_alloc; 701951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier if (!class_linear_alloc->Contains(method)) { 702951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier // Check image space. 703951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier bool in_image = false; 704951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier for (auto& space : runtime->GetHeap()->GetContinuousSpaces()) { 705951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier if (space->IsImageSpace()) { 706951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier auto* image_space = space->AsImageSpace(); 707951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier const auto& header = image_space->GetImageHeader(); 708e42888f9df4163303244070c65d5229d3e201742Mathieu Chartier const ImageSection& methods = header.GetMethodsSection(); 709e42888f9df4163303244070c65d5229d3e201742Mathieu Chartier const ImageSection& runtime_methods = header.GetRuntimeMethodsSection(); 710e42888f9df4163303244070c65d5229d3e201742Mathieu Chartier const size_t offset = reinterpret_cast<const uint8_t*>(method) - image_space->Begin(); 711e42888f9df4163303244070c65d5229d3e201742Mathieu Chartier if (methods.Contains(offset) || runtime_methods.Contains(offset)) { 712951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier in_image = true; 713951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier break; 714951ec2c93c79c5539cbcc669566f0808d4460338Mathieu Chartier } 715e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 716e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 717709b070044354d9f47641f273edacaeeb0240ab7David Sehr CHECK(in_image) << method->PrettyMethod() << " not in linear alloc or image"; 718e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 719e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 720ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (cur_quick_frame_ != nullptr) { 721524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray AssertPcIsWithinQuickCode(method, cur_quick_frame_pc_); 722ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers // Frame sanity. 723524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray size_t frame_size = GetCurrentQuickFrameInfo().FrameSizeInBytes(); 724ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_NE(frame_size, 0u); 7255b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // A rough guess at an upper size we expect to see for a frame. 7265b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // 256 registers 727eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier // 2 words HandleScope overhead 7285b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // 3+3 register spills 7295b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // TODO: this seems architecture specific for the case of JNI frames. 730ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom // TODO: 083-compiler-regressions ManyFloatArgs shows this estimate is wrong. 731ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom // const size_t kMaxExpectedFrameSize = (256 + 2 + 3 + 3) * sizeof(word); 732ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom const size_t kMaxExpectedFrameSize = 2 * KB; 733709b070044354d9f47641f273edacaeeb0240ab7David Sehr CHECK_LE(frame_size, kMaxExpectedFrameSize) << method->PrettyMethod(); 734524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray size_t return_pc_offset = GetCurrentQuickFrameInfo().GetReturnPcOffset(); 735ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_LT(return_pc_offset, frame_size); 736ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers } 7370399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7380399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 739bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 740524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray// Counts the number of references in the parameter list of the corresponding method. 741524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray// Note: Thus does _not_ include "this" for non-static methods. 742524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffraystatic uint32_t GetNumberOfReferenceArgsWithoutReceiver(ArtMethod* method) 743bdf7f1c3ab65ccb70f62db5ab31dba060632d458Andreas Gampe REQUIRES_SHARED(Locks::mutator_lock_) { 744524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint32_t shorty_len; 745524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray const char* shorty = method->GetShorty(&shorty_len); 746524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint32_t refs = 0; 747524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray for (uint32_t i = 1; i < shorty_len ; ++i) { 748524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (shorty[i] == 'L') { 749524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray refs++; 750524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 751524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 752524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return refs; 753524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray} 754524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 755524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas GeoffrayQuickMethodFrameInfo StackVisitor::GetCurrentQuickFrameInfo() const { 756524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (cur_oat_quick_method_header_ != nullptr) { 757524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return cur_oat_quick_method_header_->GetFrameInfo(); 758524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 759524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 760524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray ArtMethod* method = GetMethod(); 761524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray Runtime* runtime = Runtime::Current(); 762524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 763524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (method->IsAbstract()) { 764fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko return runtime->GetCalleeSaveMethodFrameInfo(Runtime::kSaveRefsAndArgs); 765524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 766524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 767524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray // This goes before IsProxyMethod since runtime methods have a null declaring class. 768524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (method->IsRuntimeMethod()) { 769524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return runtime->GetRuntimeMethodFrameInfo(method); 770524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 771524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 772524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray if (method->IsProxyMethod()) { 77322cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray // There is only one direct method of a proxy class: the constructor. A direct method is 77422cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray // cloned from the original java.lang.reflect.Proxy and is executed as usual quick 77522cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray // compiled method without any stubs. Therefore the method must have a OatQuickMethodHeader. 77622cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray DCHECK(!method->IsDirect() && !method->IsConstructor()) 77722cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray << "Constructors of proxy classes must have a OatQuickMethodHeader"; 778fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko return runtime->GetCalleeSaveMethodFrameInfo(Runtime::kSaveRefsAndArgs); 779524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray } 780524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 78122cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray // The only remaining case is if the method is native and uses the generic JNI stub. 782524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray DCHECK(method->IsNative()); 78322cf3d361695ff1d585a8a412ebeade69749811fNicolas Geoffray ClassLinker* class_linker = runtime->GetClassLinker(); 784542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe const void* entry_point = runtime->GetInstrumentation()->GetQuickCodeFor(method, 785542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe kRuntimePointerSize); 786709b070044354d9f47641f273edacaeeb0240ab7David Sehr DCHECK(class_linker->IsQuickGenericJniStub(entry_point)) << method->PrettyMethod(); 787524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray // Generic JNI frame. 788524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint32_t handle_refs = GetNumberOfReferenceArgsWithoutReceiver(method) + 1; 789524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray size_t scope_size = HandleScope::SizeOf(handle_refs); 790fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko QuickMethodFrameInfo callee_info = 791fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko runtime->GetCalleeSaveMethodFrameInfo(Runtime::kSaveRefsAndArgs); 792524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 793524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray // Callee saves + handle scope + method ref + alignment 794524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray // Note: -sizeof(void*) since callee-save frame stores a whole method pointer. 795524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray size_t frame_size = RoundUp( 796524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray callee_info.FrameSizeInBytes() - sizeof(void*) + sizeof(ArtMethod*) + scope_size, 797524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray kStackAlignment); 798524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray return QuickMethodFrameInfo(frame_size, callee_info.CoreSpillMask(), callee_info.FpSpillMask()); 799524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray} 800524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 801585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampetemplate <StackVisitor::CountTransitions kCount> 8020399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersvoid StackVisitor::WalkStack(bool include_transitions) { 80302f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi if (check_suspended_) { 80402f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi DCHECK(thread_ == Thread::Current() || thread_->IsSuspended()); 80502f365f0fb74acf09ffb8f04a80d32ca1152ed8bHiroshi Yamauchi } 80662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK_EQ(cur_depth_, 0U); 80762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers bool exit_stubs_installed = Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled(); 808b81a9840b44480bfeacd74b8d9f51e06f295411dAlex Light uint32_t instrumentation_stack_depth = 0; 809b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz size_t inlined_frames_count = 0; 810f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison 8112cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = thread_->GetManagedStack(); 8122cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier current_fragment != nullptr; current_fragment = current_fragment->GetLink()) { 8130399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_shadow_frame_ = current_fragment->GetTopShadowFrame(); 8140399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_quick_frame_ = current_fragment->GetTopQuickFrame(); 8151d8cdbc5202378a5f1a4b3a1fba610675ed4dcd5Ian Rogers cur_quick_frame_pc_ = 0; 816524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray cur_oat_quick_method_header_ = nullptr; 817f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison 8182cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (cur_quick_frame_ != nullptr) { // Handle quick stack frames. 8190399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // Can't be both a shadow and a quick fragment. 8202cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(current_fragment->GetTopShadowFrame() == nullptr); 821e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier ArtMethod* method = *cur_quick_frame_; 8222cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier while (method != nullptr) { 823524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray cur_oat_quick_method_header_ = method->GetOatQuickMethodHeader(cur_quick_frame_pc_); 8245cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison SanityCheckFrame(); 82557f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 826c6df1e3cbfa7313007ee5fd4a5a6657a28627313Nicolas Geoffray if ((walk_kind_ == StackWalkKind::kIncludeInlinedFrames) 827524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray && (cur_oat_quick_method_header_ != nullptr) 828524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray && cur_oat_quick_method_header_->IsOptimized()) { 829524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray CodeInfo code_info = cur_oat_quick_method_header_->GetOptimizedCodeInfo(); 83009ed09866da6d8c7448ef297c148bfa577a247c2David Srbecky CodeInfoEncoding encoding = code_info.ExtractEncoding(); 831524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray uint32_t native_pc_offset = 832524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray cur_oat_quick_method_header_->NativeQuickPcOffset(cur_quick_frame_pc_); 833f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding); 834575d3e60c68b5cf481b615dde4a16283507b19edMathieu Chartier if (stack_map.IsValid() && stack_map.HasInlineInfo(encoding.stack_map.encoding)) { 835f677ebfd832c9c614fea5e6735725fec2f7a3f2aDavid Brazdil InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map, encoding); 83657f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray DCHECK_EQ(current_inlining_depth_, 0u); 837575d3e60c68b5cf481b615dde4a16283507b19edMathieu Chartier for (current_inlining_depth_ = inline_info.GetDepth(encoding.inline_info.encoding); 83857f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray current_inlining_depth_ != 0; 83957f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray --current_inlining_depth_) { 84057f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray bool should_continue = VisitFrame(); 84157f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray if (UNLIKELY(!should_continue)) { 84257f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray return; 84357f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 844d23eeef3492b53102eb8093524cf37e2b4c296dbNicolas Geoffray cur_depth_++; 845b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz inlined_frames_count++; 84657f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 84757f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 84857f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray } 84957f61612a6101a2d246727640676acf8d8a6b51cNicolas Geoffray 8505cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison bool should_continue = VisitFrame(); 8515cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison if (UNLIKELY(!should_continue)) { 8525cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison return; 8530399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 8545cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison 855524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray QuickMethodFrameInfo frame_info = GetCurrentQuickFrameInfo(); 8562cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (context_ != nullptr) { 857524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray context_->FillCalleeSaves(reinterpret_cast<uint8_t*>(cur_quick_frame_), frame_info); 8580399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 8590399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // Compute PC for next stack frame from return PC. 860524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray size_t frame_size = frame_info.FrameSizeInBytes(); 861524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray size_t return_pc_offset = frame_size - sizeof(void*); 86213735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* return_pc_addr = reinterpret_cast<uint8_t*>(cur_quick_frame_) + return_pc_offset; 8630399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers uintptr_t return_pc = *reinterpret_cast<uintptr_t*>(return_pc_addr); 864524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray 86562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (UNLIKELY(exit_stubs_installed)) { 8660399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // While profiling, the return pc is restored from the side stack, except when walking 8670399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // the stack for an exception where the side stack will be unwound in VisitFrame. 8686f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers if (reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == return_pc) { 869585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampe CHECK_LT(instrumentation_stack_depth, thread_->GetInstrumentationStack()->size()); 87074e256b8e442417d4ba2054c771c1e4f41062768Sebastien Hertz const instrumentation::InstrumentationStackFrame& instrumentation_frame = 871b81a9840b44480bfeacd74b8d9f51e06f295411dAlex Light thread_->GetInstrumentationStack()->at(instrumentation_stack_depth); 872725a957985171d712d5c048cc3d00ff14968784bjeffhao instrumentation_stack_depth++; 873fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko if (GetMethod() == 874fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko Runtime::Current()->GetCalleeSaveMethod(Runtime::kSaveAllCalleeSaves)) { 875fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao // Skip runtime save all callee frames which are used to deliver exceptions. 876fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao } else if (instrumentation_frame.interpreter_entry_) { 877fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko ArtMethod* callee = 878fd36f1f927c138575184a1f4c7ea4e7abb3e2dbfVladimir Marko Runtime::Current()->GetCalleeSaveMethod(Runtime::kSaveRefsAndArgs); 879709b070044354d9f47641f273edacaeeb0240ab7David Sehr CHECK_EQ(GetMethod(), callee) << "Expected: " << ArtMethod::PrettyMethod(callee) 880709b070044354d9f47641f273edacaeeb0240ab7David Sehr << " Found: " << ArtMethod::PrettyMethod(GetMethod()); 881b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz } else { 882eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light // Instrumentation generally doesn't distinguish between a method's obsolete and 883eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light // non-obsolete version. 884eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light CHECK_EQ(instrumentation_frame.method_->GetNonObsoleteMethod(), 885eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light GetMethod()->GetNonObsoleteMethod()) 886eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light << "Expected: " 887eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light << ArtMethod::PrettyMethod(instrumentation_frame.method_->GetNonObsoleteMethod()) 888eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light << " Found: " << ArtMethod::PrettyMethod(GetMethod()->GetNonObsoleteMethod()); 88962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 89062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (num_frames_ != 0) { 89162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // Check agreement of frame Ids only if num_frames_ is computed to avoid infinite 89262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // recursion. 893b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz size_t frame_id = instrumentation::Instrumentation::ComputeFrameId( 894b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz thread_, 895b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz cur_depth_, 896b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz inlined_frames_count); 897b2feaafd89813af69c65da95e0b51b1a4cecaf0bSebastien Hertz CHECK_EQ(instrumentation_frame.frame_id_, frame_id); 89862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 899725a957985171d712d5c048cc3d00ff14968784bjeffhao return_pc = instrumentation_frame.return_pc_; 9000399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 9010399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 9026bc4374e3fa00e3ee5e832e1761c43e0b8a71558Nicolas Geoffray 9030399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_quick_frame_pc_ = return_pc; 90413735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* next_frame = reinterpret_cast<uint8_t*>(cur_quick_frame_) + frame_size; 905e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier cur_quick_frame_ = reinterpret_cast<ArtMethod**>(next_frame); 906e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier 907e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier if (kDebugStackWalk) { 908709b070044354d9f47641f273edacaeeb0240ab7David Sehr LOG(INFO) << ArtMethod::PrettyMethod(method) << "@" << method << " size=" << frame_size 909524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray << std::boolalpha 910524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray << " optimized=" << (cur_oat_quick_method_header_ != nullptr && 911524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray cur_oat_quick_method_header_->IsOptimized()) 912e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier << " native=" << method->IsNative() 913524e7ea8cd17bad17bd9f3e0ccbb19ad0d4d9c02Nicolas Geoffray << std::noboolalpha 914e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier << " entrypoints=" << method->GetEntryPointFromQuickCompiledCode() 915eee0bd448ec057d3f224895ddb868786758eeb5bAlex Light << "," << (method->IsNative() ? method->GetEntryPointFromJni() : nullptr) 916e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier << " next=" << *cur_quick_frame_; 917e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 918e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier 919f040be6668b6566066fc4bf7c447569b5b46d670Andreas Gampe if (kCount == CountTransitions::kYes || !method->IsRuntimeMethod()) { 920f040be6668b6566066fc4bf7c447569b5b46d670Andreas Gampe cur_depth_++; 921f040be6668b6566066fc4bf7c447569b5b46d670Andreas Gampe } 922e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier method = *cur_quick_frame_; 9236641ea12b98dda9ec45d29f20e43f85698b88a02jeffhao } 9242cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } else if (cur_shadow_frame_ != nullptr) { 9250399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers do { 9260399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers SanityCheckFrame(); 9270399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers bool should_continue = VisitFrame(); 9280399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (UNLIKELY(!should_continue)) { 9290399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return; 9300399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 9310399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_depth_++; 9320399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_shadow_frame_ = cur_shadow_frame_->GetLink(); 9332cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } while (cur_shadow_frame_ != nullptr); 9340399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 9350399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (include_transitions) { 9360399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers bool should_continue = VisitFrame(); 9370399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (!should_continue) { 9380399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return; 9390399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 9400399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 941585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampe if (kCount == CountTransitions::kYes) { 942585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampe cur_depth_++; 943585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampe } 94462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 94562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (num_frames_ != 0) { 94662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK_EQ(cur_depth_, num_frames_); 9470399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 948bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes} 949bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 950585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampetemplate void StackVisitor::WalkStack<StackVisitor::CountTransitions::kYes>(bool); 951585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampetemplate void StackVisitor::WalkStack<StackVisitor::CountTransitions::kNo>(bool); 952585da955bc8e5040705dcfd941b2131025ebcef8Andreas Gampe 953e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartiervoid JavaFrameRootInfo::Describe(std::ostream& os) const { 954e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier const StackVisitor* visitor = stack_visitor_; 955e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier CHECK(visitor != nullptr); 956e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier os << "Type=" << GetType() << " thread_id=" << GetThreadId() << " location=" << 957e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier visitor->DescribeLocation() << " vreg=" << vreg_; 958e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier} 959e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier 960e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierint StackVisitor::GetVRegOffsetFromQuickCode(const DexFile::CodeItem* code_item, 961e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier uint32_t core_spills, uint32_t fp_spills, 962e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier size_t frame_size, int reg, InstructionSet isa) { 963542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe PointerSize pointer_size = InstructionSetPointerSize(isa); 964e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier if (kIsDebugBuild) { 965e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier auto* runtime = Runtime::Current(); 966e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier if (runtime != nullptr) { 967e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier CHECK_EQ(runtime->GetClassLinker()->GetImagePointerSize(), pointer_size); 968e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 969e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 97014d90579f013b374638b599361970557ed4b3f09Roland Levillain DCHECK_ALIGNED(frame_size, kStackAlignment); 971e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier DCHECK_NE(reg, -1); 972e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier int spill_size = POPCOUNT(core_spills) * GetBytesPerGprSpillLocation(isa) 973e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier + POPCOUNT(fp_spills) * GetBytesPerFprSpillLocation(isa) 974e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier + sizeof(uint32_t); // Filler. 975e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier int num_regs = code_item->registers_size_ - code_item->ins_size_; 976e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier int temp_threshold = code_item->registers_size_; 977e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier const int max_num_special_temps = 1; 978e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier if (reg == temp_threshold) { 979e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier // The current method pointer corresponds to special location on stack. 980e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier return 0; 981e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } else if (reg >= temp_threshold + max_num_special_temps) { 982e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier /* 983e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier * Special temporaries may have custom locations and the logic above deals with that. 984e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier * However, non-special temporaries are placed relative to the outs. 985e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier */ 986542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe int temps_start = code_item->outs_size_ * sizeof(uint32_t) 987542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe + static_cast<size_t>(pointer_size) /* art method */; 988e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier int relative_offset = (reg - (temp_threshold + max_num_special_temps)) * sizeof(uint32_t); 989e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier return temps_start + relative_offset; 990e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } else if (reg < num_regs) { 991e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier int locals_start = frame_size - spill_size - num_regs * sizeof(uint32_t); 992e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier return locals_start + (reg * sizeof(uint32_t)); 993e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } else { 994e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier // Handle ins. 995542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe return frame_size + ((reg - num_regs) * sizeof(uint32_t)) 996542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe + static_cast<size_t>(pointer_size) /* art method */; 997e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier } 998e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier} 999e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier 100056fdd0e63812764bbeb8cc52e376d3fd1f270052Andreas Gampevoid LockCountData::AddMonitor(Thread* self, mirror::Object* obj) { 100103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (obj == nullptr) { 100203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe return; 100303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 100403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 100503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // If there's an error during enter, we won't have locked the monitor. So check there's no 100603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // exception. 100703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (self->IsExceptionPending()) { 100803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe return; 100903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 101003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 101103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (monitors_ == nullptr) { 101203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe monitors_.reset(new std::vector<mirror::Object*>()); 101303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 101403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe monitors_->push_back(obj); 101503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe} 101603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 101756fdd0e63812764bbeb8cc52e376d3fd1f270052Andreas Gampevoid LockCountData::RemoveMonitorOrThrow(Thread* self, const mirror::Object* obj) { 101803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (obj == nullptr) { 101903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe return; 102003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 102103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe bool found_object = false; 102203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (monitors_ != nullptr) { 102303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // We need to remove one pointer to ref, as duplicates are used for counting recursive locks. 102403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // We arbitrarily choose the first one. 102503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe auto it = std::find(monitors_->begin(), monitors_->end(), obj); 102603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (it != monitors_->end()) { 102703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe monitors_->erase(it); 102803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe found_object = true; 102903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 103003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 103103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (!found_object) { 103203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // The object wasn't found. Time for an IllegalMonitorStateException. 103303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // The order here isn't fully clear. Assume that any other pending exception is swallowed. 103403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // TODO: Maybe make already pending exception a suppressed exception. 103503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe self->ClearException(); 103603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe self->ThrowNewExceptionF("Ljava/lang/IllegalMonitorStateException;", 103703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe "did not lock monitor on object of type '%s' before unlocking", 1038709b070044354d9f47641f273edacaeeb0240ab7David Sehr const_cast<mirror::Object*>(obj)->PrettyTypeOf().c_str()); 103903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 104003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe} 104103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 104203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe// Helper to unlock a monitor. Must be NO_THREAD_SAFETY_ANALYSIS, as we can't statically show 104303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe// that the object was locked. 104403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampevoid MonitorExitHelper(Thread* self, mirror::Object* obj) NO_THREAD_SAFETY_ANALYSIS { 104503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe DCHECK(self != nullptr); 104603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe DCHECK(obj != nullptr); 104703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe obj->MonitorExit(self); 104803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe} 104903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 105056fdd0e63812764bbeb8cc52e376d3fd1f270052Andreas Gampebool LockCountData::CheckAllMonitorsReleasedOrThrow(Thread* self) { 105103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe DCHECK(self != nullptr); 105203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (monitors_ != nullptr) { 105303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (!monitors_->empty()) { 105403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // There may be an exception pending, if the method is terminating abruptly. Clear it. 105503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // TODO: Should we add this as a suppressed exception? 105603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe self->ClearException(); 105703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 105803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // OK, there are monitors that are still locked. To enforce structured locking (and avoid 105903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // deadlocks) we unlock all of them before we raise the IllegalMonitorState exception. 106003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe for (mirror::Object* obj : *monitors_) { 106103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe MonitorExitHelper(self, obj); 106203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // If this raised an exception, ignore. TODO: Should we add this as suppressed 106303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // exceptions? 106403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe if (self->IsExceptionPending()) { 106503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe self->ClearException(); 106603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 106703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 106803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // Raise an exception, just give the first object as the sample. 106903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe mirror::Object* first = (*monitors_)[0]; 107003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe self->ThrowNewExceptionF("Ljava/lang/IllegalMonitorStateException;", 107103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe "did not unlock monitor on object of type '%s'", 1072709b070044354d9f47641f273edacaeeb0240ab7David Sehr mirror::Object::PrettyTypeOf(first).c_str()); 107303ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 107403ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe // To make sure this path is not triggered again, clean out the monitors. 107503ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe monitors_->clear(); 107603ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 107703ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe return false; 107803ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 107903ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe } 108003ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe return true; 108103ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe} 108203ec930faded5bbfa096533ce60b6893847922dbAndreas Gampe 108368e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} // namespace art 1084