stack.cc revision 7cc56a1fe81475d5126785c45606dd491dec2d8c
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 19e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers#include "arch/context.h" 20f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison#include "base/hex_dump.h" 216f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers#include "entrypoints/runtime_asm_entrypoints.h" 22ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom#include "mirror/art_method-inl.h" 234f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "mirror/class-inl.h" 242dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object.h" 252dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object-inl.h" 262dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object_array-inl.h" 277624d25dad2d1ba25969ae704fccf68649103ae5Vladimir Marko#include "quick/quick_method_frame_info.h" 28590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier#include "runtime.h" 29f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison#include "thread.h" 30bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes#include "thread_list.h" 314e30541a92381fb280cd0be9a1763b713ee4d64cMathieu Chartier#include "verify_object-inl.h" 321809a72a66d245ae598582d658b93a24ac3bf01eIan Rogers#include "vmap_table.h" 3368e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 3411d1b0c31ddd710d26068da8e0e4621002205b4bElliott Hughesnamespace art { 3511d1b0c31ddd710d26068da8e0e4621002205b4bElliott Hughes 3662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogersmirror::Object* ShadowFrame::GetThisObject() const { 37ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* m = GetMethod(); 3862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (m->IsStatic()) { 392cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier return nullptr; 4062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else if (m->IsNative()) { 4162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return GetVRegReference(0); 4262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 43bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 442cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier CHECK(code_item != nullptr) << PrettyMethod(m); 4562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers uint16_t reg = code_item->registers_size_ - code_item->ins_size_; 4662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return GetVRegReference(reg); 4762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 4862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers} 4962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers 50e701f48eb06fa59871412a11286429111270b211Jeff Haomirror::Object* ShadowFrame::GetThisObject(uint16_t num_ins) const { 51ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* m = GetMethod(); 52e701f48eb06fa59871412a11286429111270b211Jeff Hao if (m->IsStatic()) { 532cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier return nullptr; 54e701f48eb06fa59871412a11286429111270b211Jeff Hao } else { 558d44885106503f68e5b977c080df8ae6cc360497Jeff Hao return GetVRegReference(NumberOfVRegs() - num_ins); 56e701f48eb06fa59871412a11286429111270b211Jeff Hao } 57e701f48eb06fa59871412a11286429111270b211Jeff Hao} 58e701f48eb06fa59871412a11286429111270b211Jeff Hao 59ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYasize_t ManagedStack::NumJniShadowFrameReferences() const { 600399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t count = 0; 612cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = this; current_fragment != nullptr; 620399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_fragment = current_fragment->GetLink()) { 632cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (ShadowFrame* current_frame = current_fragment->top_shadow_frame_; current_frame != nullptr; 640399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_frame = current_frame->GetLink()) { 65ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa if (current_frame->GetMethod()->IsNative()) { 66ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa // The JNI ShadowFrame only contains references. (For indirect reference.) 67ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa count += current_frame->NumberOfVRegs(); 68ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa } 690399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 70efccc565091b3409ed1372615b4ea4e2f6c39323buzbee } 710399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return count; 72b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes} 73b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes 74ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogersbool ManagedStack::ShadowFramesContain(StackReference<mirror::Object>* shadow_frame_entry) const { 752cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = this; current_fragment != nullptr; 760399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_fragment = current_fragment->GetLink()) { 772cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (ShadowFrame* current_frame = current_fragment->top_shadow_frame_; current_frame != nullptr; 780399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_frame = current_frame->GetLink()) { 790399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (current_frame->Contains(shadow_frame_entry)) { 800399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return true; 810399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 820399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 830399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 840399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return false; 8568e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 8668e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 877a22fa657b972e8323692368975bc5a7be1cc0f5Ian RogersStackVisitor::StackVisitor(Thread* thread, Context* context) 882cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier : thread_(thread), cur_shadow_frame_(nullptr), 892cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier cur_quick_frame_(nullptr), cur_quick_frame_pc_(0), num_frames_(0), cur_depth_(0), 907a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers context_(context) { 9162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers DCHECK(thread == Thread::Current() || thread->IsSuspended()) << *thread; 927a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers} 937a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers 945cf98196d488437acd1e989c08a554ef697fded1Ian RogersStackVisitor::StackVisitor(Thread* thread, Context* context, size_t num_frames) 952cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier : thread_(thread), cur_shadow_frame_(nullptr), 962cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier cur_quick_frame_(nullptr), cur_quick_frame_pc_(0), num_frames_(num_frames), cur_depth_(0), 975cf98196d488437acd1e989c08a554ef697fded1Ian Rogers context_(context) { 985cf98196d488437acd1e989c08a554ef697fded1Ian Rogers DCHECK(thread == Thread::Current() || thread->IsSuspended()) << *thread; 995cf98196d488437acd1e989c08a554ef697fded1Ian Rogers} 1005cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 101b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allisonuint32_t StackVisitor::GetDexPc(bool abort_on_failure) const { 1022cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (cur_shadow_frame_ != nullptr) { 1030399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return cur_shadow_frame_->GetDexPC(); 1042cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } else if (cur_quick_frame_ != nullptr) { 105b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison return GetMethod()->ToDexPc(cur_quick_frame_pc_, abort_on_failure); 1060399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } else { 1070399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return 0; 1080399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 1090399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 1100399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers 111a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertzextern "C" mirror::Object* artQuickGetProxyThisObject(StackReference<mirror::ArtMethod>* sp) 112a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); 113a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz 11462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogersmirror::Object* StackVisitor::GetThisObject() const { 115ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* m = GetMethod(); 11662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (m->IsStatic()) { 1173946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray return nullptr; 11862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else if (m->IsNative()) { 1193946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray if (cur_quick_frame_ != nullptr) { 120eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier HandleScope* hs = reinterpret_cast<HandleScope*>( 1216f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers reinterpret_cast<char*>(cur_quick_frame_) + m->GetHandleScopeOffset().SizeValue()); 122eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier return hs->GetReference(0); 12362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 12462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return cur_shadow_frame_->GetVRegReference(0); 12562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 126a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } else if (m->IsProxyMethod()) { 127a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz if (cur_quick_frame_ != nullptr) { 128a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz return artQuickGetProxyThisObject(cur_quick_frame_); 129a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } else { 130a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz return cur_shadow_frame_->GetVRegReference(0); 131a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } 13262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 133bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 1343946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray if (code_item == nullptr) { 135e0dcd46314d07eeb332edea292f5110178e4e3d2Ian Rogers UNIMPLEMENTED(ERROR) << "Failed to determine this object of abstract or proxy method: " 13662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << PrettyMethod(m); 137e0dcd46314d07eeb332edea292f5110178e4e3d2Ian Rogers return nullptr; 13862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 13962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers uint16_t reg = code_item->registers_size_ - code_item->ins_size_; 14015b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t value = 0; 14115b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray bool success = GetVReg(m, reg, kReferenceVReg, &value); 14215b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray // We currently always guarantee the `this` object is live throughout the method. 14315b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray CHECK(success) << "Failed to read the this object in " << PrettyMethod(m); 14415b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray return reinterpret_cast<mirror::Object*>(value); 14562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 14662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 14762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers} 14862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers 1490c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogerssize_t StackVisitor::GetNativePcOffset() const { 1500c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers DCHECK(!IsShadowFrame()); 1516f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers return GetMethod()->NativeQuickPcOffset(cur_quick_frame_pc_); 1520c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers} 1530c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers 1540bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertzbool StackVisitor::GetVReg(mirror::ArtMethod* m, uint16_t vreg, VRegKind kind, 1550bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz uint32_t* val) const { 156c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 157c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably read registers without a context. 1582bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers DCHECK(m == GetMethod()); 1597cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 1607cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegFromOptimizedCode(m, vreg, kind, val); 1610ec569a3e653e0358fcb59c89f2aad708843db53Ian Rogers } else { 1627cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegFromQuickCode(m, vreg, kind, val); 1630399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 1640399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } else { 16596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 1660bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz *val = cur_shadow_frame_->GetVReg(vreg); 1670bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 1680399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 1696d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers} 1706d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers 1717cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetVRegFromQuickCode(mirror::ArtMethod* m, uint16_t vreg, VRegKind kind, 1727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t* val) const { 1737cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 1747cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 1757cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 1767cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 1777cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset; 1787cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 1797cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind, &vmap_offset)) { 1807cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 1817cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 1827cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg = vmap_table.ComputeRegister(spill_mask, vmap_offset, kind); 1837cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterIfAccessible(reg, kind, val); 1847cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 1857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 1862cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 1877cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 18815b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray *val = *GetVRegAddrFromQuickCode(cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 18915b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 1907cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 1917cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 1927cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 1937cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 1947cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetVRegFromOptimizedCode(mirror::ArtMethod* m, uint16_t vreg, VRegKind kind, 1957cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t* val) const { 1967cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 1977cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 1987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t native_pc_offset = m->NativeQuickPcOffset(cur_quick_frame_pc_); 1997cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz CodeInfo code_info = m->GetOptimizedCodeInfo(); 2007cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset); 2017cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 2022cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 2037cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 2047cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK_LT(vreg, code_item->registers_size_); 205fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray uint16_t number_of_dex_registers = code_item->registers_size_; 206a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain DexRegisterMap dex_register_map = 207fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers); 208fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray DexRegisterLocation::Kind location_kind = 209a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain dex_register_map.GetLocationKind(vreg, number_of_dex_registers, code_info); 2107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz switch (location_kind) { 211a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInStack: { 212a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain const int32_t offset = 213a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain dex_register_map.GetStackOffsetInBytes(vreg, number_of_dex_registers, code_info); 2147cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const uint8_t* addr = reinterpret_cast<const uint8_t*>(cur_quick_frame_) + offset; 2157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = *reinterpret_cast<const uint32_t*>(addr); 2167cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 2177cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 218a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInRegister: 219a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInFpuRegister: { 220a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain uint32_t reg = dex_register_map.GetMachineRegister(vreg, number_of_dex_registers, code_info); 2217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterIfAccessible(reg, kind, val); 2227cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 223a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kConstant: 224a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain *val = dex_register_map.GetConstant(vreg, number_of_dex_registers, code_info); 2257cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 226a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kNone: 2277cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 228a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain default: 229a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain LOG(FATAL) 230a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain << "Unexpected location kind" 231fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray << DexRegisterLocation::PrettyDescriptor( 232a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain dex_register_map.GetLocationInternalKind(vreg, number_of_dex_registers, code_info)); 233a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain UNREACHABLE(); 2347cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2357cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 2367cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 2377cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetRegisterIfAccessible(uint32_t reg, VRegKind kind, uint32_t* val) const { 2387cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 2397cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg, is_float)) { 2407cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 2417cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2427cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val = GetRegister(reg, is_float); 2437cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool target64 = Is64BitInstructionSet(kRuntimeISA); 2447cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 2457cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool wide_lo = (kind == kLongLoVReg) || (kind == kDoubleLoVReg); 2467cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool wide_hi = (kind == kLongHiVReg) || (kind == kDoubleHiVReg); 2477cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long = static_cast<int64_t>(ptr_val); 2487cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo) { 2497cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val = static_cast<uintptr_t>(Low32Bits(value_long)); 2507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else if (wide_hi) { 2517cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val = static_cast<uintptr_t>(High32Bits(value_long)); 2527cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2537cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2547cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = ptr_val; 2557cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 2567cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 2577cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 258c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertzbool StackVisitor::GetVRegPair(mirror::ArtMethod* m, uint16_t vreg, VRegKind kind_lo, 259c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz VRegKind kind_hi, uint64_t* val) const { 260c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (kind_lo == kLongLoVReg) { 261c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kLongHiVReg); 262c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else if (kind_lo == kDoubleLoVReg) { 263c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kDoubleHiVReg); 264c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 265c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz LOG(FATAL) << "Expected long or double: kind_lo=" << kind_lo << ", kind_hi=" << kind_hi; 2667cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz UNREACHABLE(); 267c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 268c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 269c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably read registers without a context. 270c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(m == GetMethod()); 2717cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 2727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegPairFromOptimizedCode(m, vreg, kind_lo, kind_hi, val); 273c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 2747cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegPairFromQuickCode(m, vreg, kind_lo, kind_hi, val); 275c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 276c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 27796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 278c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz *val = cur_shadow_frame_->GetVRegLong(vreg); 279c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz return true; 280c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 281c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz} 282c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz 2837cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetVRegPairFromQuickCode(mirror::ArtMethod* m, uint16_t vreg, VRegKind kind_lo, 2847cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_hi, uint64_t* val) const { 2857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 2867cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 2877cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 2887cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 2897cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset_lo, vmap_offset_hi; 2907cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 2917cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind_lo, &vmap_offset_lo) && 2927cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz vmap_table.IsInContext(vreg + 1, kind_hi, &vmap_offset_hi)) { 2937cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind_lo == kDoubleLoVReg); 2947cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 2957cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_lo = vmap_table.ComputeRegister(spill_mask, vmap_offset_lo, kind_lo); 2967cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_hi = vmap_table.ComputeRegister(spill_mask, vmap_offset_hi, kind_hi); 2977cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterPairIfAccessible(reg_lo, reg_hi, kind_lo, val); 2987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 2997cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 3002cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 3017cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 30215b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t* addr = GetVRegAddrFromQuickCode( 30315b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 30415b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 3057cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = *reinterpret_cast<uint64_t*>(addr); 3067cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 3077cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3087cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3097cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetVRegPairFromOptimizedCode(mirror::ArtMethod* m, uint16_t vreg, 3117cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_lo, VRegKind kind_hi, 3127cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t* val) const { 3137cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t low_32bits; 3147cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t high_32bits; 3157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool success = GetVRegFromOptimizedCode(m, vreg, kind_lo, &low_32bits); 3167cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz success &= GetVRegFromOptimizedCode(m, vreg + 1, kind_hi, &high_32bits); 3177cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (success) { 3187cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = (static_cast<uint64_t>(high_32bits) << 32) | static_cast<uint64_t>(low_32bits); 3197cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3207cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return success; 3217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3227cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3237cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetRegisterPairIfAccessible(uint32_t reg_lo, uint32_t reg_hi, 3247cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_lo, uint64_t* val) const { 3257cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind_lo == kDoubleLoVReg); 3267cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg_lo, is_float) || !IsAccessibleRegister(reg_hi, is_float)) { 3277cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 3287cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3297cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val_lo = GetRegister(reg_lo, is_float); 3307cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val_hi = GetRegister(reg_hi, is_float); 3317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool target64 = Is64BitInstructionSet(kRuntimeISA); 3327cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 3337cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long_lo = static_cast<int64_t>(ptr_val_lo); 3347cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long_hi = static_cast<int64_t>(ptr_val_hi); 3357cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val_lo = static_cast<uintptr_t>(Low32Bits(value_long_lo)); 3367cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val_hi = static_cast<uintptr_t>(High32Bits(value_long_hi)); 3377cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3387cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = (static_cast<uint64_t>(ptr_val_hi) << 32) | static_cast<uint32_t>(ptr_val_lo); 3397cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 3407cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3417cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3420bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertzbool StackVisitor::SetVReg(mirror::ArtMethod* m, uint16_t vreg, uint32_t new_value, 3432dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers VRegKind kind) { 344c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 3457cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably write registers without a context. 3467cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(m == GetMethod()); 3477cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 3487cc56a1fe81475d5126785c45606dd491dec2d8cNicolas Geoffray return false; 3497cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 3507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetVRegFromQuickCode(m, vreg, new_value, kind); 35196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz } 3526702243ea2332b566d8e8b871cc9db0906d835adMathieu Chartier } else { 3537cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz cur_shadow_frame_->SetVReg(vreg, new_value); 3540bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 3550ec569a3e653e0358fcb59c89f2aad708843db53Ian Rogers } 3567cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3577cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3587cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::SetVRegFromQuickCode(mirror::ArtMethod* m, uint16_t vreg, uint32_t new_value, 3597cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind) { 3607cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably write registers without a context. 3617cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(m == GetMethod()); 3627cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 3637cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 3647cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 3657cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 3667cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset; 3677cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 3687cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind, &vmap_offset)) { 3697cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 3707cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 3717cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg = vmap_table.ComputeRegister(spill_mask, vmap_offset, kind); 3727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetRegisterIfAccessible(reg, new_value, kind); 3730ec569a3e653e0358fcb59c89f2aad708843db53Ian Rogers } else { 3747cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 3752cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 3767cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 37715b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t* addr = GetVRegAddrFromQuickCode( 37815b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 37915b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 3807cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *addr = new_value; 3810bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 3820399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 383cccd84f1f972f1a260c3be418c8388a5d30cf59eElliott Hughes} 384cccd84f1f972f1a260c3be418c8388a5d30cf59eElliott Hughes 3857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::SetRegisterIfAccessible(uint32_t reg, uint32_t new_value, VRegKind kind) { 3867cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 3877cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg, is_float)) { 3887cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 3897cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3907cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool target64 = Is64BitInstructionSet(kRuntimeISA); 3917cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3927cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // Create a new value that can hold both low 32 and high 32 bits, in 3937cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // case we are running 64 bits. 3947cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t full_new_value = new_value; 3957cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // Deal with 32 or 64-bit wide registers in a way that builds on all targets. 3967cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 3977cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool wide_lo = (kind == kLongLoVReg) || (kind == kDoubleLoVReg); 3987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool wide_hi = (kind == kLongHiVReg) || (kind == kDoubleHiVReg); 3997cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo || wide_hi) { 4007cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t old_reg_val = GetRegister(reg, is_float); 4017cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t new_vreg_portion = static_cast<uint64_t>(new_value); 4027cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t old_reg_val_as_wide = static_cast<uint64_t>(old_reg_val); 4037cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t mask = 0xffffffff; 4047cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo) { 4057cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz mask = mask << 32; 4067cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 4077cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz new_vreg_portion = new_vreg_portion << 32; 4087cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4097cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz full_new_value = static_cast<uintptr_t>((old_reg_val_as_wide & mask) | new_vreg_portion); 4107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4117cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4127cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg, full_new_value, is_float); 4137cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 4147cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 4157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 416c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertzbool StackVisitor::SetVRegPair(mirror::ArtMethod* m, uint16_t vreg, uint64_t new_value, 417c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz VRegKind kind_lo, VRegKind kind_hi) { 418c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (kind_lo == kLongLoVReg) { 419c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kLongHiVReg); 420c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else if (kind_lo == kDoubleLoVReg) { 421c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kDoubleHiVReg); 422c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 423c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz LOG(FATAL) << "Expected long or double: kind_lo=" << kind_lo << ", kind_hi=" << kind_hi; 424c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 425c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 426c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably write registers without a context. 427c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(m == GetMethod()); 4287cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 4297cc56a1fe81475d5126785c45606dd491dec2d8cNicolas Geoffray return false; 430c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 4317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetVRegPairFromQuickCode(m, vreg, new_value, kind_lo, kind_hi); 432c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 433c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 43496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 435c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz cur_shadow_frame_->SetVRegLong(vreg, new_value); 436c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz return true; 437c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 438c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz} 439c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz 4402cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartierbool StackVisitor::SetVRegPairFromQuickCode( 4412cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier mirror::ArtMethod* m, uint16_t vreg, uint64_t new_value, VRegKind kind_lo, VRegKind kind_hi) { 4427cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 4437cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 4447cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 4457cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 4467cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset_lo, vmap_offset_hi; 4477cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 4487cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind_lo, &vmap_offset_lo) && 4497cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz vmap_table.IsInContext(vreg + 1, kind_hi, &vmap_offset_hi)) { 4507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind_lo == kDoubleLoVReg); 4517cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 4527cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_lo = vmap_table.ComputeRegister(spill_mask, vmap_offset_lo, kind_lo); 4537cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_hi = vmap_table.ComputeRegister(spill_mask, vmap_offset_hi, kind_hi); 4547cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetRegisterPairIfAccessible(reg_lo, reg_hi, new_value, is_float); 4557cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 4567cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 4572cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 4587cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 45915b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t* addr = GetVRegAddrFromQuickCode( 46015b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 46115b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 4627cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *reinterpret_cast<uint64_t*>(addr) = new_value; 4637cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 4647cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4657cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 4667cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 4677cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::SetRegisterPairIfAccessible(uint32_t reg_lo, uint32_t reg_hi, 4687cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t new_value, bool is_float) { 4697cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg_lo, is_float) || !IsAccessibleRegister(reg_hi, is_float)) { 4707cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 4717cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t new_value_lo = static_cast<uintptr_t>(new_value & 0xFFFFFFFF); 4737cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t new_value_hi = static_cast<uintptr_t>(new_value >> 32); 4747cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool target64 = Is64BitInstructionSet(kRuntimeISA); 4757cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // Deal with 32 or 64-bit wide registers in a way that builds on all targets. 4767cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 4777cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK_EQ(reg_lo, reg_hi); 4787cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg_lo, new_value, is_float); 4797cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 4807cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg_lo, new_value_lo, is_float); 4817cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg_hi, new_value_hi, is_float); 4827cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4837cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 4847cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 4857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 48696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzbool StackVisitor::IsAccessibleGPR(uint32_t reg) const { 48796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 48896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->IsAccessibleGPR(reg); 48996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz} 49096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz 491815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartieruintptr_t* StackVisitor::GetGPRAddress(uint32_t reg) const { 49296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 49396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 494815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier return context_->GetGPRAddress(reg); 495815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier} 496815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier 49796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzuintptr_t StackVisitor::GetGPR(uint32_t reg) const { 49896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 49996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 50096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->GetGPR(reg); 50196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz} 50296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz 50396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzvoid StackVisitor::SetGPR(uint32_t reg, uintptr_t value) { 50496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 50596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 50696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz context_->SetGPR(reg, value); 5070bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz} 5080bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz 50996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzbool StackVisitor::IsAccessibleFPR(uint32_t reg) const { 51096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 51196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->IsAccessibleFPR(reg); 5120bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz} 5130bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz 51496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzuintptr_t StackVisitor::GetFPR(uint32_t reg) const { 51596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 51696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 51796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->GetFPR(reg); 51868e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 51968e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 52096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzvoid StackVisitor::SetFPR(uint32_t reg, uintptr_t value) { 52196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 52296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 52396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz context_->SetFPR(reg, value); 5246702243ea2332b566d8e8b871cc9db0906d835adMathieu Chartier} 5256702243ea2332b566d8e8b871cc9db0906d835adMathieu Chartier 5260399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersuintptr_t StackVisitor::GetReturnPc() const { 52713735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* sp = reinterpret_cast<uint8_t*>(GetCurrentQuickFrame()); 5282cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(sp != nullptr); 5296f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers uint8_t* pc_addr = sp + GetMethod()->GetReturnPcOffset().SizeValue(); 5300399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return *reinterpret_cast<uintptr_t*>(pc_addr); 53168e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 53268e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 5330399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersvoid StackVisitor::SetReturnPc(uintptr_t new_ret_pc) { 53413735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* sp = reinterpret_cast<uint8_t*>(GetCurrentQuickFrame()); 5352cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier CHECK(sp != nullptr); 5366f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers uint8_t* pc_addr = sp + GetMethod()->GetReturnPcOffset().SizeValue(); 5370399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers *reinterpret_cast<uintptr_t*>(pc_addr) = new_ret_pc; 5380399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 539bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5407a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogerssize_t StackVisitor::ComputeNumFrames(Thread* thread) { 5410399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers struct NumFramesVisitor : public StackVisitor { 542277ccbd200ea43590dfc06a93ae184a765327ad0Andreas Gampe explicit NumFramesVisitor(Thread* thread_in) 5432cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier : StackVisitor(thread_in, nullptr), frames(0) {} 544bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5455cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE { 5460399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers frames++; 5470399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return true; 5480399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 54908fc03ae5dded4adc9b45b7014a4b9dfedbe95a6Elliott Hughes 5500399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t frames; 5510399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers }; 5527a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers NumFramesVisitor visitor(thread); 5530399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers visitor.WalkStack(true); 5540399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return visitor.frames; 5550399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 556bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5575cf98196d488437acd1e989c08a554ef697fded1Ian Rogersbool StackVisitor::GetNextMethodAndDexPc(mirror::ArtMethod** next_method, uint32_t* next_dex_pc) { 5585cf98196d488437acd1e989c08a554ef697fded1Ian Rogers struct HasMoreFramesVisitor : public StackVisitor { 5595cf98196d488437acd1e989c08a554ef697fded1Ian Rogers explicit HasMoreFramesVisitor(Thread* thread, size_t num_frames, size_t frame_height) 5605cf98196d488437acd1e989c08a554ef697fded1Ian Rogers : StackVisitor(thread, nullptr, num_frames), frame_height_(frame_height), 5615cf98196d488437acd1e989c08a554ef697fded1Ian Rogers found_frame_(false), has_more_frames_(false), next_method_(nullptr), next_dex_pc_(0) { 5625cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5635cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 5645cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 5655cf98196d488437acd1e989c08a554ef697fded1Ian Rogers if (found_frame_) { 5665cf98196d488437acd1e989c08a554ef697fded1Ian Rogers mirror::ArtMethod* method = GetMethod(); 5675cf98196d488437acd1e989c08a554ef697fded1Ian Rogers if (method != nullptr && !method->IsRuntimeMethod()) { 5685cf98196d488437acd1e989c08a554ef697fded1Ian Rogers has_more_frames_ = true; 5695cf98196d488437acd1e989c08a554ef697fded1Ian Rogers next_method_ = method; 5705cf98196d488437acd1e989c08a554ef697fded1Ian Rogers next_dex_pc_ = GetDexPc(); 5715cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return false; // End stack walk once next method is found. 5725cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5735cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } else if (GetFrameHeight() == frame_height_) { 5745cf98196d488437acd1e989c08a554ef697fded1Ian Rogers found_frame_ = true; 5755cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5765cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return true; 5775cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 5785cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 5795cf98196d488437acd1e989c08a554ef697fded1Ian Rogers size_t frame_height_; 5805cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool found_frame_; 5815cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool has_more_frames_; 5825cf98196d488437acd1e989c08a554ef697fded1Ian Rogers mirror::ArtMethod* next_method_; 5835cf98196d488437acd1e989c08a554ef697fded1Ian Rogers uint32_t next_dex_pc_; 5845cf98196d488437acd1e989c08a554ef697fded1Ian Rogers }; 5855cf98196d488437acd1e989c08a554ef697fded1Ian Rogers HasMoreFramesVisitor visitor(thread_, GetNumFrames(), GetFrameHeight()); 5865cf98196d488437acd1e989c08a554ef697fded1Ian Rogers visitor.WalkStack(true); 5875cf98196d488437acd1e989c08a554ef697fded1Ian Rogers *next_method = visitor.next_method_; 5885cf98196d488437acd1e989c08a554ef697fded1Ian Rogers *next_dex_pc = visitor.next_dex_pc_; 5895cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return visitor.has_more_frames_; 5905cf98196d488437acd1e989c08a554ef697fded1Ian Rogers} 5915cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 5927a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogersvoid StackVisitor::DescribeStack(Thread* thread) { 593306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers struct DescribeStackVisitor : public StackVisitor { 594277ccbd200ea43590dfc06a93ae184a765327ad0Andreas Gampe explicit DescribeStackVisitor(Thread* thread_in) 5952cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier : StackVisitor(thread_in, nullptr) {} 596306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers 5975cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 598306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers LOG(INFO) << "Frame Id=" << GetFrameId() << " " << DescribeLocation(); 599306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers return true; 600306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers } 601306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers }; 6027a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers DescribeStackVisitor visitor(thread); 603306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers visitor.WalkStack(true); 604306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers} 605306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers 60640e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogersstd::string StackVisitor::DescribeLocation() const { 60740e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers std::string result("Visiting method '"); 608ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* m = GetMethod(); 6092cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (m == nullptr) { 610306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers return "upcall"; 611306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers } 612306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers result += PrettyMethod(m); 613ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers result += StringPrintf("' at dex PC 0x%04x", GetDexPc()); 61440e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers if (!IsShadowFrame()) { 61540e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers result += StringPrintf(" (native PC %p)", reinterpret_cast<void*>(GetCurrentQuickFramePc())); 61640e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers } 61740e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers return result; 61840e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers} 61940e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers 620e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogersstatic instrumentation::InstrumentationStackFrame& GetInstrumentationStackFrame(Thread* thread, 621e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers uint32_t depth) { 622e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers CHECK_LT(depth, thread->GetInstrumentationStack()->size()); 623e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers return thread->GetInstrumentationStack()->at(depth); 6247a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers} 6257a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers 62600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogersvoid StackVisitor::SanityCheckFrame() const { 627ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (kIsDebugBuild) { 628ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers mirror::ArtMethod* method = GetMethod(); 629119c6bd97f7ac24b64eaf4e9333abb44acbf780fMathieu Chartier CHECK_EQ(method->GetClass(), mirror::ArtMethod::GetJavaLangReflectArtMethod()); 630ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (cur_quick_frame_ != nullptr) { 631ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers method->AssertPcIsWithinQuickCode(cur_quick_frame_pc_); 632ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers // Frame sanity. 633ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers size_t frame_size = method->GetFrameSizeInBytes(); 634ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_NE(frame_size, 0u); 6355b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // A rough guess at an upper size we expect to see for a frame. 6365b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // 256 registers 637eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier // 2 words HandleScope overhead 6385b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // 3+3 register spills 6395b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // TODO: this seems architecture specific for the case of JNI frames. 640ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom // TODO: 083-compiler-regressions ManyFloatArgs shows this estimate is wrong. 641ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom // const size_t kMaxExpectedFrameSize = (256 + 2 + 3 + 3) * sizeof(word); 642ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom const size_t kMaxExpectedFrameSize = 2 * KB; 643ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_LE(frame_size, kMaxExpectedFrameSize); 6446f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers size_t return_pc_offset = method->GetReturnPcOffset().SizeValue(); 645ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_LT(return_pc_offset, frame_size); 646ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers } 6470399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 6480399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 649bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 6500399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersvoid StackVisitor::WalkStack(bool include_transitions) { 6517a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers DCHECK(thread_ == Thread::Current() || thread_->IsSuspended()); 65262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK_EQ(cur_depth_, 0U); 65362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers bool exit_stubs_installed = Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled(); 654725a957985171d712d5c048cc3d00ff14968784bjeffhao uint32_t instrumentation_stack_depth = 0; 655f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison 6562cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = thread_->GetManagedStack(); 6572cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier current_fragment != nullptr; current_fragment = current_fragment->GetLink()) { 6580399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_shadow_frame_ = current_fragment->GetTopShadowFrame(); 6590399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_quick_frame_ = current_fragment->GetTopQuickFrame(); 6601d8cdbc5202378a5f1a4b3a1fba610675ed4dcd5Ian Rogers cur_quick_frame_pc_ = 0; 661f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison 6622cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (cur_quick_frame_ != nullptr) { // Handle quick stack frames. 6630399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // Can't be both a shadow and a quick fragment. 6642cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(current_fragment->GetTopShadowFrame() == nullptr); 665cf4035a4c41ccfcc3e89a0cee25f5218a11b0705Andreas Gampe mirror::ArtMethod* method = cur_quick_frame_->AsMirrorPtr(); 6662cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier while (method != nullptr) { 6675cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison SanityCheckFrame(); 6685cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison bool should_continue = VisitFrame(); 6695cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison if (UNLIKELY(!should_continue)) { 6705cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison return; 6710399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 6725cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison 6732cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (context_ != nullptr) { 6740399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers context_->FillCalleeSaves(*this); 6750399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 6760399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t frame_size = method->GetFrameSizeInBytes(); 6770399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // Compute PC for next stack frame from return PC. 6786f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers size_t return_pc_offset = method->GetReturnPcOffset(frame_size).SizeValue(); 67913735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* return_pc_addr = reinterpret_cast<uint8_t*>(cur_quick_frame_) + return_pc_offset; 6800399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers uintptr_t return_pc = *reinterpret_cast<uintptr_t*>(return_pc_addr); 68162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (UNLIKELY(exit_stubs_installed)) { 6820399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // While profiling, the return pc is restored from the side stack, except when walking 6830399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // the stack for an exception where the side stack will be unwound in VisitFrame. 6846f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers if (reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == return_pc) { 68574e256b8e442417d4ba2054c771c1e4f41062768Sebastien Hertz const instrumentation::InstrumentationStackFrame& instrumentation_frame = 686e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers GetInstrumentationStackFrame(thread_, instrumentation_stack_depth); 687725a957985171d712d5c048cc3d00ff14968784bjeffhao instrumentation_stack_depth++; 688fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao if (GetMethod() == Runtime::Current()->GetCalleeSaveMethod(Runtime::kSaveAll)) { 689fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao // Skip runtime save all callee frames which are used to deliver exceptions. 690fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao } else if (instrumentation_frame.interpreter_entry_) { 6912cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier mirror::ArtMethod* callee = 6922cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs); 693fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao CHECK_EQ(GetMethod(), callee) << "Expected: " << PrettyMethod(callee) << " Found: " 694138dbfc3336e379d74d157086f69a0fbe830089bSebastien Hertz << PrettyMethod(GetMethod()); 6959a916d3c0d0574d106c764e737c67b52988d6139Jeff Hao } else if (instrumentation_frame.method_ != GetMethod()) { 69662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers LOG(FATAL) << "Expected: " << PrettyMethod(instrumentation_frame.method_) 697138dbfc3336e379d74d157086f69a0fbe830089bSebastien Hertz << " Found: " << PrettyMethod(GetMethod()); 69862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 69962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (num_frames_ != 0) { 70062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // Check agreement of frame Ids only if num_frames_ is computed to avoid infinite 70162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // recursion. 70262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK(instrumentation_frame.frame_id_ == GetFrameId()) 70362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << "Expected: " << instrumentation_frame.frame_id_ 70462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << " Found: " << GetFrameId(); 70562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 706725a957985171d712d5c048cc3d00ff14968784bjeffhao return_pc = instrumentation_frame.return_pc_; 7070399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7080399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7090399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_quick_frame_pc_ = return_pc; 71013735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* next_frame = reinterpret_cast<uint8_t*>(cur_quick_frame_) + frame_size; 711cf4035a4c41ccfcc3e89a0cee25f5218a11b0705Andreas Gampe cur_quick_frame_ = reinterpret_cast<StackReference<mirror::ArtMethod>*>(next_frame); 7120399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_depth_++; 713cf4035a4c41ccfcc3e89a0cee25f5218a11b0705Andreas Gampe method = cur_quick_frame_->AsMirrorPtr(); 7146641ea12b98dda9ec45d29f20e43f85698b88a02jeffhao } 7152cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } else if (cur_shadow_frame_ != nullptr) { 7160399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers do { 7170399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers SanityCheckFrame(); 7180399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers bool should_continue = VisitFrame(); 7190399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (UNLIKELY(!should_continue)) { 7200399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return; 7210399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7220399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_depth_++; 7230399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_shadow_frame_ = cur_shadow_frame_->GetLink(); 7242cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } while (cur_shadow_frame_ != nullptr); 7250399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7260399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (include_transitions) { 7270399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers bool should_continue = VisitFrame(); 7280399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (!should_continue) { 7290399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return; 7300399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7310399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 73262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers cur_depth_++; 73362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 73462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (num_frames_ != 0) { 73562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK_EQ(cur_depth_, num_frames_); 7360399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 737bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes} 738bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 739e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartiervoid JavaFrameRootInfo::Describe(std::ostream& os) const { 740e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier const StackVisitor* visitor = stack_visitor_; 741e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier CHECK(visitor != nullptr); 742e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier os << "Type=" << GetType() << " thread_id=" << GetThreadId() << " location=" << 743e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier visitor->DescribeLocation() << " vreg=" << vreg_; 744e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier} 745e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier 74668e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} // namespace art 747