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" 203d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier#include "art_method-inl.h" 21f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison#include "base/hex_dump.h" 226f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers#include "entrypoints/runtime_asm_entrypoints.h" 2350030ef998be09789da4a9a56738362852068f12Mathieu Chartier#include "gc_map.h" 243d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier#include "gc/space/image_space.h" 253d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier#include "gc/space/space-inl.h" 263d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier#include "linear_alloc.h" 274f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "mirror/class-inl.h" 282dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object-inl.h" 292dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object_array-inl.h" 307624d25dad2d1ba25969ae704fccf68649103ae5Vladimir Marko#include "quick/quick_method_frame_info.h" 31590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier#include "runtime.h" 32f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison#include "thread.h" 33bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes#include "thread_list.h" 344e30541a92381fb280cd0be9a1763b713ee4d64cMathieu Chartier#include "verify_object-inl.h" 351809a72a66d245ae598582d658b93a24ac3bf01eIan Rogers#include "vmap_table.h" 3668e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 3711d1b0c31ddd710d26068da8e0e4621002205b4bElliott Hughesnamespace art { 3811d1b0c31ddd710d26068da8e0e4621002205b4bElliott Hughes 393d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierstatic constexpr bool kDebugStackWalk = false; 403d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier 4162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogersmirror::Object* ShadowFrame::GetThisObject() const { 423d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* m = GetMethod(); 4362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (m->IsStatic()) { 442cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier return nullptr; 4562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else if (m->IsNative()) { 4662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return GetVRegReference(0); 4762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 48bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 492cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier CHECK(code_item != nullptr) << PrettyMethod(m); 5062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers uint16_t reg = code_item->registers_size_ - code_item->ins_size_; 5162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return GetVRegReference(reg); 5262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 5362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers} 5462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers 55e701f48eb06fa59871412a11286429111270b211Jeff Haomirror::Object* ShadowFrame::GetThisObject(uint16_t num_ins) const { 563d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* m = GetMethod(); 57e701f48eb06fa59871412a11286429111270b211Jeff Hao if (m->IsStatic()) { 582cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier return nullptr; 59e701f48eb06fa59871412a11286429111270b211Jeff Hao } else { 608d44885106503f68e5b977c080df8ae6cc360497Jeff Hao return GetVRegReference(NumberOfVRegs() - num_ins); 61e701f48eb06fa59871412a11286429111270b211Jeff Hao } 62e701f48eb06fa59871412a11286429111270b211Jeff Hao} 63e701f48eb06fa59871412a11286429111270b211Jeff Hao 64ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYasize_t ManagedStack::NumJniShadowFrameReferences() const { 650399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t count = 0; 662cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = this; current_fragment != nullptr; 670399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_fragment = current_fragment->GetLink()) { 682cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (ShadowFrame* current_frame = current_fragment->top_shadow_frame_; current_frame != nullptr; 690399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_frame = current_frame->GetLink()) { 70ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa if (current_frame->GetMethod()->IsNative()) { 71ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa // The JNI ShadowFrame only contains references. (For indirect reference.) 72ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa count += current_frame->NumberOfVRegs(); 73ce4cc0d1818e872c1c7f3c3519a82259afd5c288TDYa } 740399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 75efccc565091b3409ed1372615b4ea4e2f6c39323buzbee } 760399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return count; 77b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes} 78b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes 79ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogersbool ManagedStack::ShadowFramesContain(StackReference<mirror::Object>* shadow_frame_entry) const { 802cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = this; current_fragment != nullptr; 810399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_fragment = current_fragment->GetLink()) { 822cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (ShadowFrame* current_frame = current_fragment->top_shadow_frame_; current_frame != nullptr; 830399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers current_frame = current_frame->GetLink()) { 840399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (current_frame->Contains(shadow_frame_entry)) { 850399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return true; 860399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 870399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 880399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 890399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return false; 9068e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 9168e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 928e5bd18fc665d7ec5461ea068e98740a65da754cNicolas GeoffrayStackVisitor::StackVisitor(Thread* thread, Context* context, StackWalkKind walk_kind) 938e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread, context, walk_kind, 0) {} 948e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray 958e5bd18fc665d7ec5461ea068e98740a65da754cNicolas GeoffrayStackVisitor::StackVisitor(Thread* thread, 968e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray Context* context, 978e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray StackWalkKind walk_kind, 988e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray size_t num_frames) 998e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : thread_(thread), 1008e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray walk_kind_(walk_kind), 1018e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_shadow_frame_(nullptr), 1028e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_quick_frame_(nullptr), 1038e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_quick_frame_pc_(0), 1048e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray num_frames_(num_frames), 1058e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray cur_depth_(0), 1065cf98196d488437acd1e989c08a554ef697fded1Ian Rogers context_(context) { 1075cf98196d488437acd1e989c08a554ef697fded1Ian Rogers DCHECK(thread == Thread::Current() || thread->IsSuspended()) << *thread; 1085cf98196d488437acd1e989c08a554ef697fded1Ian Rogers} 1095cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 110b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allisonuint32_t StackVisitor::GetDexPc(bool abort_on_failure) const { 1112cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (cur_shadow_frame_ != nullptr) { 1120399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return cur_shadow_frame_->GetDexPC(); 1132cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } else if (cur_quick_frame_ != nullptr) { 114b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison return GetMethod()->ToDexPc(cur_quick_frame_pc_, abort_on_failure); 1150399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } else { 1160399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return 0; 1170399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 1180399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 1190399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers 1203d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierextern "C" mirror::Object* artQuickGetProxyThisObject(ArtMethod** sp) 121a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); 122a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz 12362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogersmirror::Object* StackVisitor::GetThisObject() const { 1243d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier DCHECK_EQ(Runtime::Current()->GetClassLinker()->GetImagePointerSize(), sizeof(void*)); 1253d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* m = GetMethod(); 12662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (m->IsStatic()) { 1273946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray return nullptr; 12862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else if (m->IsNative()) { 1293946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray if (cur_quick_frame_ != nullptr) { 130eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier HandleScope* hs = reinterpret_cast<HandleScope*>( 1316f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers reinterpret_cast<char*>(cur_quick_frame_) + m->GetHandleScopeOffset().SizeValue()); 132eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier return hs->GetReference(0); 13362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 13462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers return cur_shadow_frame_->GetVRegReference(0); 13562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 136a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } else if (m->IsProxyMethod()) { 137a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz if (cur_quick_frame_ != nullptr) { 138a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz return artQuickGetProxyThisObject(cur_quick_frame_); 139a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } else { 140a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz return cur_shadow_frame_->GetVRegReference(0); 141a836bc9760419af4a515f96c66100a39e865f3b9Sebastien Hertz } 14262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 143bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 1443946844c34ad965515f677084b07d663d70ad1b8Nicolas Geoffray if (code_item == nullptr) { 145e0dcd46314d07eeb332edea292f5110178e4e3d2Ian Rogers UNIMPLEMENTED(ERROR) << "Failed to determine this object of abstract or proxy method: " 14662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << PrettyMethod(m); 147e0dcd46314d07eeb332edea292f5110178e4e3d2Ian Rogers return nullptr; 14862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } else { 14962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers uint16_t reg = code_item->registers_size_ - code_item->ins_size_; 15015b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t value = 0; 15115b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray bool success = GetVReg(m, reg, kReferenceVReg, &value); 15215b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray // We currently always guarantee the `this` object is live throughout the method. 15315b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray CHECK(success) << "Failed to read the this object in " << PrettyMethod(m); 15415b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray return reinterpret_cast<mirror::Object*>(value); 15562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 15662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 15762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers} 15862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers 1590c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogerssize_t StackVisitor::GetNativePcOffset() const { 1600c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers DCHECK(!IsShadowFrame()); 1616f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers return GetMethod()->NativeQuickPcOffset(cur_quick_frame_pc_); 1620c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers} 1630c7abda482f53db3d153c073d1c7a145f84e0626Ian Rogers 1643d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::IsReferenceVReg(ArtMethod* m, uint16_t vreg) { 16550030ef998be09789da4a9a56738362852068f12Mathieu Chartier // Process register map (which native and runtime methods don't have) 16650030ef998be09789da4a9a56738362852068f12Mathieu Chartier if (m->IsNative() || m->IsRuntimeMethod() || m->IsProxyMethod()) { 16750030ef998be09789da4a9a56738362852068f12Mathieu Chartier return false; 16850030ef998be09789da4a9a56738362852068f12Mathieu Chartier } 16950030ef998be09789da4a9a56738362852068f12Mathieu Chartier if (m->IsOptimized(sizeof(void*))) { 17050030ef998be09789da4a9a56738362852068f12Mathieu Chartier return true; // TODO: Implement. 17150030ef998be09789da4a9a56738362852068f12Mathieu Chartier } 17250030ef998be09789da4a9a56738362852068f12Mathieu Chartier const uint8_t* native_gc_map = m->GetNativeGcMap(sizeof(void*)); 17350030ef998be09789da4a9a56738362852068f12Mathieu Chartier CHECK(native_gc_map != nullptr) << PrettyMethod(m); 17450030ef998be09789da4a9a56738362852068f12Mathieu Chartier const DexFile::CodeItem* code_item = m->GetCodeItem(); 17550030ef998be09789da4a9a56738362852068f12Mathieu Chartier // Can't be null or how would we compile its instructions? 17650030ef998be09789da4a9a56738362852068f12Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); 17750030ef998be09789da4a9a56738362852068f12Mathieu Chartier NativePcOffsetToReferenceMap map(native_gc_map); 17850030ef998be09789da4a9a56738362852068f12Mathieu Chartier size_t num_regs = std::min(map.RegWidth() * 8, static_cast<size_t>(code_item->registers_size_)); 17950030ef998be09789da4a9a56738362852068f12Mathieu Chartier const uint8_t* reg_bitmap = nullptr; 18050030ef998be09789da4a9a56738362852068f12Mathieu Chartier if (num_regs > 0) { 18150030ef998be09789da4a9a56738362852068f12Mathieu Chartier Runtime* runtime = Runtime::Current(); 18250030ef998be09789da4a9a56738362852068f12Mathieu Chartier const void* entry_point = runtime->GetInstrumentation()->GetQuickCodeFor(m, sizeof(void*)); 18350030ef998be09789da4a9a56738362852068f12Mathieu Chartier uintptr_t native_pc_offset = m->NativeQuickPcOffset(GetCurrentQuickFramePc(), entry_point); 18450030ef998be09789da4a9a56738362852068f12Mathieu Chartier reg_bitmap = map.FindBitMap(native_pc_offset); 18550030ef998be09789da4a9a56738362852068f12Mathieu Chartier DCHECK(reg_bitmap != nullptr); 18650030ef998be09789da4a9a56738362852068f12Mathieu Chartier } 18750030ef998be09789da4a9a56738362852068f12Mathieu Chartier // Does this register hold a reference? 18850030ef998be09789da4a9a56738362852068f12Mathieu Chartier return vreg < num_regs && TestBitmap(vreg, reg_bitmap); 18950030ef998be09789da4a9a56738362852068f12Mathieu Chartier} 19050030ef998be09789da4a9a56738362852068f12Mathieu Chartier 1913d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetVReg(ArtMethod* m, uint16_t vreg, VRegKind kind, uint32_t* val) const { 192c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 193c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably read registers without a context. 1942bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers DCHECK(m == GetMethod()); 1957cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 1967cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegFromOptimizedCode(m, vreg, kind, val); 1970ec569a3e653e0358fcb59c89f2aad708843db53Ian Rogers } else { 1987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegFromQuickCode(m, vreg, kind, val); 1990399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 2000399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } else { 20196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 2020bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz *val = cur_shadow_frame_->GetVReg(vreg); 2030bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 2040399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 2056d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers} 2066d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers 2073d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetVRegFromQuickCode(ArtMethod* m, uint16_t vreg, VRegKind kind, 2087cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t* val) const { 2097cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 2107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 2117cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 2127cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 2137cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset; 2147cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 2157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind, &vmap_offset)) { 2167cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 2177cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 2187cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg = vmap_table.ComputeRegister(spill_mask, vmap_offset, kind); 2197cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterIfAccessible(reg, kind, val); 2207cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 2217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 2222cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 2237cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 22415b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray *val = *GetVRegAddrFromQuickCode(cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 22515b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 2267cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 2277cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2287cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 2297cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 2303d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetVRegFromOptimizedCode(ArtMethod* m, uint16_t vreg, VRegKind kind, 2317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t* val) const { 2327cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 2337cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 2347cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t native_pc_offset = m->NativeQuickPcOffset(cur_quick_frame_pc_); 2357cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz CodeInfo code_info = m->GetOptimizedCodeInfo(); 2367cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset); 2377cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 2382cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 2397cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 2407cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK_LT(vreg, code_item->registers_size_); 241fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray uint16_t number_of_dex_registers = code_item->registers_size_; 242a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain DexRegisterMap dex_register_map = 243fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray code_info.GetDexRegisterMapOf(stack_map, number_of_dex_registers); 244fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray DexRegisterLocation::Kind location_kind = 245a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain dex_register_map.GetLocationKind(vreg, number_of_dex_registers, code_info); 2467cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz switch (location_kind) { 247a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInStack: { 248a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain const int32_t offset = 249a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain dex_register_map.GetStackOffsetInBytes(vreg, number_of_dex_registers, code_info); 2507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const uint8_t* addr = reinterpret_cast<const uint8_t*>(cur_quick_frame_) + offset; 2517cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = *reinterpret_cast<const uint32_t*>(addr); 2527cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 2537cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 254a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInRegister: 255a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kInFpuRegister: { 256a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain uint32_t reg = dex_register_map.GetMachineRegister(vreg, number_of_dex_registers, code_info); 2577cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterIfAccessible(reg, kind, val); 2587cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 259a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kConstant: 260a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain *val = dex_register_map.GetConstant(vreg, number_of_dex_registers, code_info); 2617cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 262a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain case DexRegisterLocation::Kind::kNone: 2637cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 264a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain default: 265a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain LOG(FATAL) 266a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain << "Unexpected location kind" 267fead4e4f397455aa31905b2982d4d861126ab89dNicolas Geoffray << DexRegisterLocation::PrettyDescriptor( 268a552e1c0584b8ab63150510286478c68cdbce13fRoland Levillain dex_register_map.GetLocationInternalKind(vreg, number_of_dex_registers, code_info)); 269a2d8ec6876325e89e5d82f5dbeca59f96ced3ec1Roland Levillain UNREACHABLE(); 2707cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2717cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 2727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 2737cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetRegisterIfAccessible(uint32_t reg, VRegKind kind, uint32_t* val) const { 2747cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 2757cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg, is_float)) { 2767cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 2777cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2787cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val = GetRegister(reg, is_float); 2797cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool target64 = Is64BitInstructionSet(kRuntimeISA); 2807cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 2817cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool wide_lo = (kind == kLongLoVReg) || (kind == kDoubleLoVReg); 2827cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool wide_hi = (kind == kLongHiVReg) || (kind == kDoubleHiVReg); 2837cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long = static_cast<int64_t>(ptr_val); 2847cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo) { 2857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val = static_cast<uintptr_t>(Low32Bits(value_long)); 2867cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else if (wide_hi) { 2877cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val = static_cast<uintptr_t>(High32Bits(value_long)); 2887cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2897cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 2907cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = ptr_val; 2917cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 2927cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 2937cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 2943d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetVRegPair(ArtMethod* m, uint16_t vreg, VRegKind kind_lo, 295c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz VRegKind kind_hi, uint64_t* val) const { 296c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (kind_lo == kLongLoVReg) { 297c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kLongHiVReg); 298c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else if (kind_lo == kDoubleLoVReg) { 299c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kDoubleHiVReg); 300c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 301c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz LOG(FATAL) << "Expected long or double: kind_lo=" << kind_lo << ", kind_hi=" << kind_hi; 3027cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz UNREACHABLE(); 303c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 304c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 305c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably read registers without a context. 306c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(m == GetMethod()); 3077cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 3087cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegPairFromOptimizedCode(m, vreg, kind_lo, kind_hi, val); 309c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 3107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetVRegPairFromQuickCode(m, vreg, kind_lo, kind_hi, val); 311c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 312c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 31396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 314c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz *val = cur_shadow_frame_->GetVRegLong(vreg); 315c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz return true; 316c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 317c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz} 318c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz 3193d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetVRegPairFromQuickCode(ArtMethod* m, uint16_t vreg, VRegKind kind_lo, 3207cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_hi, uint64_t* val) const { 3217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 3227cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 3237cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 3247cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 3257cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset_lo, vmap_offset_hi; 3267cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 3277cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind_lo, &vmap_offset_lo) && 3287cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz vmap_table.IsInContext(vreg + 1, kind_hi, &vmap_offset_hi)) { 3297cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind_lo == kDoubleLoVReg); 3307cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 3317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_lo = vmap_table.ComputeRegister(spill_mask, vmap_offset_lo, kind_lo); 3327cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_hi = vmap_table.ComputeRegister(spill_mask, vmap_offset_hi, kind_hi); 3337cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return GetRegisterPairIfAccessible(reg_lo, reg_hi, kind_lo, val); 3347cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 3357cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 3362cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 3377cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 33815b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t* addr = GetVRegAddrFromQuickCode( 33915b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 34015b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 3417cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = *reinterpret_cast<uint64_t*>(addr); 3427cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 3437cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3447cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3457cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3463d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetVRegPairFromOptimizedCode(ArtMethod* m, uint16_t vreg, 3477cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_lo, VRegKind kind_hi, 3487cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t* val) const { 3497cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t low_32bits; 3507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t high_32bits; 3517cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool success = GetVRegFromOptimizedCode(m, vreg, kind_lo, &low_32bits); 3527cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz success &= GetVRegFromOptimizedCode(m, vreg + 1, kind_hi, &high_32bits); 3537cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (success) { 3547cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = (static_cast<uint64_t>(high_32bits) << 32) | static_cast<uint64_t>(low_32bits); 3557cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3567cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return success; 3577cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3587cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3597cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::GetRegisterPairIfAccessible(uint32_t reg_lo, uint32_t reg_hi, 3607cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind_lo, uint64_t* val) const { 3617cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind_lo == kDoubleLoVReg); 3627cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg_lo, is_float) || !IsAccessibleRegister(reg_hi, is_float)) { 3637cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 3647cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3657cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val_lo = GetRegister(reg_lo, is_float); 3667cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t ptr_val_hi = GetRegister(reg_hi, is_float); 3677cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool target64 = Is64BitInstructionSet(kRuntimeISA); 3687cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 3697cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long_lo = static_cast<int64_t>(ptr_val_lo); 3707cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz int64_t value_long_hi = static_cast<int64_t>(ptr_val_hi); 3717cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val_lo = static_cast<uintptr_t>(Low32Bits(value_long_lo)); 3727cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz ptr_val_hi = static_cast<uintptr_t>(High32Bits(value_long_hi)); 3737cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 3747cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *val = (static_cast<uint64_t>(ptr_val_hi) << 32) | static_cast<uint32_t>(ptr_val_lo); 3757cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 3767cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3777cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3783d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::SetVReg(ArtMethod* m, uint16_t vreg, uint32_t new_value, 3792dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers VRegKind kind) { 380c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 3817cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably write registers without a context. 3827cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(m == GetMethod()); 3837cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 3847cc56a1fe81475d5126785c45606dd491dec2d8cNicolas Geoffray return false; 3857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 3867cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetVRegFromQuickCode(m, vreg, new_value, kind); 38796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz } 3886702243ea2332b566d8e8b871cc9db0906d835adMathieu Chartier } else { 3897cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz cur_shadow_frame_->SetVReg(vreg, new_value); 3900bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 3910ec569a3e653e0358fcb59c89f2aad708843db53Ian Rogers } 3927cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 3937cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 3943d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::SetVRegFromQuickCode(ArtMethod* m, uint16_t vreg, uint32_t new_value, 3957cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz VRegKind kind) { 3967cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably write registers without a context. 3977cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(m == GetMethod()); 3987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 3997cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 4007cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 4017cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 4027cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset; 4037cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 4047cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind, &vmap_offset)) { 4057cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 4067cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 4077cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg = vmap_table.ComputeRegister(spill_mask, vmap_offset, kind); 4087cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetRegisterIfAccessible(reg, new_value, kind); 4090ec569a3e653e0358fcb59c89f2aad708843db53Ian Rogers } else { 4107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 4112cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 4127cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 41315b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t* addr = GetVRegAddrFromQuickCode( 41415b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 41515b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 4167cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *addr = new_value; 4170bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz return true; 4180399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 419cccd84f1f972f1a260c3be418c8388a5d30cf59eElliott Hughes} 420cccd84f1f972f1a260c3be418c8388a5d30cf59eElliott Hughes 4217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::SetRegisterIfAccessible(uint32_t reg, uint32_t new_value, VRegKind kind) { 4227cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool is_float = (kind == kFloatVReg) || (kind == kDoubleLoVReg) || (kind == kDoubleHiVReg); 4237cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg, is_float)) { 4247cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 4257cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4267cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const bool target64 = Is64BitInstructionSet(kRuntimeISA); 4277cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 4287cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // Create a new value that can hold both low 32 and high 32 bits, in 4297cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // case we are running 64 bits. 4307cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t full_new_value = new_value; 4317cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // Deal with 32 or 64-bit wide registers in a way that builds on all targets. 4327cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 4337cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool wide_lo = (kind == kLongLoVReg) || (kind == kDoubleLoVReg); 4347cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool wide_hi = (kind == kLongHiVReg) || (kind == kDoubleHiVReg); 4357cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo || wide_hi) { 4367cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t old_reg_val = GetRegister(reg, is_float); 4377cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t new_vreg_portion = static_cast<uint64_t>(new_value); 4387cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t old_reg_val_as_wide = static_cast<uint64_t>(old_reg_val); 4397cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t mask = 0xffffffff; 4407cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (wide_lo) { 4417cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz mask = mask << 32; 4427cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 4437cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz new_vreg_portion = new_vreg_portion << 32; 4447cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4457cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz full_new_value = static_cast<uintptr_t>((old_reg_val_as_wide & mask) | new_vreg_portion); 4467cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4477cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 4487cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg, full_new_value, is_float); 4497cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 4507cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 4517cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 4523d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::SetVRegPair(ArtMethod* m, uint16_t vreg, uint64_t new_value, 453c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz VRegKind kind_lo, VRegKind kind_hi) { 454c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (kind_lo == kLongLoVReg) { 455c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kLongHiVReg); 456c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else if (kind_lo == kDoubleLoVReg) { 457c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK_EQ(kind_hi, kDoubleHiVReg); 458c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 459c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz LOG(FATAL) << "Expected long or double: kind_lo=" << kind_lo << ", kind_hi=" << kind_hi; 460c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 461c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz if (cur_quick_frame_ != nullptr) { 462c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(context_ != nullptr); // You can't reliably write registers without a context. 463c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz DCHECK(m == GetMethod()); 4647cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (m->IsOptimized(sizeof(void*))) { 4657cc56a1fe81475d5126785c45606dd491dec2d8cNicolas Geoffray return false; 466c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 4677cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetVRegPairFromQuickCode(m, vreg, new_value, kind_lo, kind_hi); 468c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 469c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } else { 47096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_shadow_frame_ != nullptr); 471c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz cur_shadow_frame_->SetVRegLong(vreg, new_value); 472c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz return true; 473c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz } 474c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz} 475c901dd7bdc80b953d04100ef2f54b8d1ca5f466bSebastien Hertz 4762cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartierbool StackVisitor::SetVRegPairFromQuickCode( 4773d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* m, uint16_t vreg, uint64_t new_value, VRegKind kind_lo, VRegKind kind_hi) { 4787cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const void* code_pointer = m->GetQuickOatCodePointer(sizeof(void*)); 4797cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK(code_pointer != nullptr); 4807cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const VmapTable vmap_table(m->GetVmapTable(code_pointer, sizeof(void*))); 4817cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz QuickMethodFrameInfo frame_info = m->GetQuickFrameInfo(code_pointer); 4827cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t vmap_offset_lo, vmap_offset_hi; 4837cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // TODO: IsInContext stops before spotting floating point registers. 4847cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (vmap_table.IsInContext(vreg, kind_lo, &vmap_offset_lo) && 4857cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz vmap_table.IsInContext(vreg + 1, kind_hi, &vmap_offset_hi)) { 4867cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool is_float = (kind_lo == kDoubleLoVReg); 4877cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t spill_mask = is_float ? frame_info.FpSpillMask() : frame_info.CoreSpillMask(); 4887cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_lo = vmap_table.ComputeRegister(spill_mask, vmap_offset_lo, kind_lo); 4897cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint32_t reg_hi = vmap_table.ComputeRegister(spill_mask, vmap_offset_hi, kind_hi); 4907cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return SetRegisterPairIfAccessible(reg_lo, reg_hi, new_value, is_float); 4917cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 4927cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz const DexFile::CodeItem* code_item = m->GetCodeItem(); 4932cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(code_item != nullptr) << PrettyMethod(m); // Can't be null or how would we compile 4947cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // its instructions? 49515b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray uint32_t* addr = GetVRegAddrFromQuickCode( 49615b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray cur_quick_frame_, code_item, frame_info.CoreSpillMask(), 49715b9d5274399736ac09705f0507df24fac4f00c1Nicolas Geoffray frame_info.FpSpillMask(), frame_info.FrameSizeInBytes(), vreg); 4987cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz *reinterpret_cast<uint64_t*>(addr) = new_value; 4997cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 5007cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 5017cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 5027cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 5037cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertzbool StackVisitor::SetRegisterPairIfAccessible(uint32_t reg_lo, uint32_t reg_hi, 5047cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uint64_t new_value, bool is_float) { 5057cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (!IsAccessibleRegister(reg_lo, is_float) || !IsAccessibleRegister(reg_hi, is_float)) { 5067cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return false; 5077cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 5087cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t new_value_lo = static_cast<uintptr_t>(new_value & 0xFFFFFFFF); 5097cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz uintptr_t new_value_hi = static_cast<uintptr_t>(new_value >> 32); 5107cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz bool target64 = Is64BitInstructionSet(kRuntimeISA); 5117cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz // Deal with 32 or 64-bit wide registers in a way that builds on all targets. 5127cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz if (target64) { 5137cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz DCHECK_EQ(reg_lo, reg_hi); 5147cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg_lo, new_value, is_float); 5157cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } else { 5167cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg_lo, new_value_lo, is_float); 5177cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz SetRegister(reg_hi, new_value_hi, is_float); 5187cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz } 5197cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz return true; 5207cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz} 5217cde48c56df5b57aed524cce44c902bc720f2d6cSebastien Hertz 52296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzbool StackVisitor::IsAccessibleGPR(uint32_t reg) const { 52396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 52496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->IsAccessibleGPR(reg); 52596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz} 52696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz 527815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartieruintptr_t* StackVisitor::GetGPRAddress(uint32_t reg) const { 52896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 52996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 530815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier return context_->GetGPRAddress(reg); 531815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier} 532815873ecc312b1d231acce71e1a16f42cdaf09f2Mathieu Chartier 53396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzuintptr_t StackVisitor::GetGPR(uint32_t reg) const { 53496ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 53596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 53696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->GetGPR(reg); 53796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz} 53896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz 53996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzvoid StackVisitor::SetGPR(uint32_t reg, uintptr_t value) { 54096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 54196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 54296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz context_->SetGPR(reg, value); 5430bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz} 5440bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz 54596ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzbool StackVisitor::IsAccessibleFPR(uint32_t reg) const { 54696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 54796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->IsAccessibleFPR(reg); 5480bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz} 5490bcb2902ec21393d71c94e63aa6733cb5311a0ccSebastien Hertz 55096ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzuintptr_t StackVisitor::GetFPR(uint32_t reg) const { 55196ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 55296ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 55396ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz return context_->GetFPR(reg); 55468e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 55568e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 55696ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertzvoid StackVisitor::SetFPR(uint32_t reg, uintptr_t value) { 55796ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(cur_quick_frame_ != nullptr) << "This is a quick frame routine"; 55896ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz DCHECK(context_ != nullptr); 55996ba8dc82e7bd859106af837623fe8b2e9e772c3Sebastien Hertz context_->SetFPR(reg, value); 5606702243ea2332b566d8e8b871cc9db0906d835adMathieu Chartier} 5616702243ea2332b566d8e8b871cc9db0906d835adMathieu Chartier 5620399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersuintptr_t StackVisitor::GetReturnPc() const { 56313735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* sp = reinterpret_cast<uint8_t*>(GetCurrentQuickFrame()); 5642cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(sp != nullptr); 5656f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers uint8_t* pc_addr = sp + GetMethod()->GetReturnPcOffset().SizeValue(); 5660399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return *reinterpret_cast<uintptr_t*>(pc_addr); 56768e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} 56868e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes 5690399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersvoid StackVisitor::SetReturnPc(uintptr_t new_ret_pc) { 57013735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* sp = reinterpret_cast<uint8_t*>(GetCurrentQuickFrame()); 5712cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier CHECK(sp != nullptr); 5726f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers uint8_t* pc_addr = sp + GetMethod()->GetReturnPcOffset().SizeValue(); 5730399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers *reinterpret_cast<uintptr_t*>(pc_addr) = new_ret_pc; 5740399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 575bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5768e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffraysize_t StackVisitor::ComputeNumFrames(Thread* thread, StackWalkKind walk_kind) { 5770399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers struct NumFramesVisitor : public StackVisitor { 5788e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray NumFramesVisitor(Thread* thread_in, StackWalkKind walk_kind_in) 5798e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread_in, nullptr, walk_kind_in), frames(0) {} 580bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5815cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE { 5820399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers frames++; 5830399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return true; 5840399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 58508fc03ae5dded4adc9b45b7014a4b9dfedbe95a6Elliott Hughes 5860399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t frames; 5870399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers }; 5888e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray NumFramesVisitor visitor(thread, walk_kind); 5890399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers visitor.WalkStack(true); 5900399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return visitor.frames; 5910399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 592bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 5933d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierbool StackVisitor::GetNextMethodAndDexPc(ArtMethod** next_method, uint32_t* next_dex_pc) { 5945cf98196d488437acd1e989c08a554ef697fded1Ian Rogers struct HasMoreFramesVisitor : public StackVisitor { 5958e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray HasMoreFramesVisitor(Thread* thread, 5968e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray StackWalkKind walk_kind, 5978e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray size_t num_frames, 5988e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray size_t frame_height) 5998e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread, nullptr, walk_kind, num_frames), 6008e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray frame_height_(frame_height), 6018e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray found_frame_(false), 6028e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray has_more_frames_(false), 6038e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray next_method_(nullptr), 6048e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray next_dex_pc_(0) { 6055cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 6065cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 6075cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 6085cf98196d488437acd1e989c08a554ef697fded1Ian Rogers if (found_frame_) { 6093d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* method = GetMethod(); 6105cf98196d488437acd1e989c08a554ef697fded1Ian Rogers if (method != nullptr && !method->IsRuntimeMethod()) { 6115cf98196d488437acd1e989c08a554ef697fded1Ian Rogers has_more_frames_ = true; 6125cf98196d488437acd1e989c08a554ef697fded1Ian Rogers next_method_ = method; 6135cf98196d488437acd1e989c08a554ef697fded1Ian Rogers next_dex_pc_ = GetDexPc(); 6145cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return false; // End stack walk once next method is found. 6155cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 6165cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } else if (GetFrameHeight() == frame_height_) { 6175cf98196d488437acd1e989c08a554ef697fded1Ian Rogers found_frame_ = true; 6185cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 6195cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return true; 6205cf98196d488437acd1e989c08a554ef697fded1Ian Rogers } 6215cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 6225cf98196d488437acd1e989c08a554ef697fded1Ian Rogers size_t frame_height_; 6235cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool found_frame_; 6245cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool has_more_frames_; 6253d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* next_method_; 6265cf98196d488437acd1e989c08a554ef697fded1Ian Rogers uint32_t next_dex_pc_; 6275cf98196d488437acd1e989c08a554ef697fded1Ian Rogers }; 6288e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray HasMoreFramesVisitor visitor(thread_, walk_kind_, GetNumFrames(), GetFrameHeight()); 6295cf98196d488437acd1e989c08a554ef697fded1Ian Rogers visitor.WalkStack(true); 6305cf98196d488437acd1e989c08a554ef697fded1Ian Rogers *next_method = visitor.next_method_; 6315cf98196d488437acd1e989c08a554ef697fded1Ian Rogers *next_dex_pc = visitor.next_dex_pc_; 6325cf98196d488437acd1e989c08a554ef697fded1Ian Rogers return visitor.has_more_frames_; 6335cf98196d488437acd1e989c08a554ef697fded1Ian Rogers} 6345cf98196d488437acd1e989c08a554ef697fded1Ian Rogers 6357a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogersvoid StackVisitor::DescribeStack(Thread* thread) { 636306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers struct DescribeStackVisitor : public StackVisitor { 637277ccbd200ea43590dfc06a93ae184a765327ad0Andreas Gampe explicit DescribeStackVisitor(Thread* thread_in) 6388e5bd18fc665d7ec5461ea068e98740a65da754cNicolas Geoffray : StackVisitor(thread_in, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames) {} 639306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers 6405cf98196d488437acd1e989c08a554ef697fded1Ian Rogers bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 641306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers LOG(INFO) << "Frame Id=" << GetFrameId() << " " << DescribeLocation(); 642306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers return true; 643306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers } 644306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers }; 6457a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers DescribeStackVisitor visitor(thread); 646306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers visitor.WalkStack(true); 647306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers} 648306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers 64940e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogersstd::string StackVisitor::DescribeLocation() const { 65040e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers std::string result("Visiting method '"); 6513d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* m = GetMethod(); 6522cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (m == nullptr) { 653306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers return "upcall"; 654306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers } 655306057fd278d75bf3794bd5243a3b6652c487d18Ian Rogers result += PrettyMethod(m); 656ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers result += StringPrintf("' at dex PC 0x%04x", GetDexPc()); 65740e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers if (!IsShadowFrame()) { 65840e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers result += StringPrintf(" (native PC %p)", reinterpret_cast<void*>(GetCurrentQuickFramePc())); 65940e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers } 66040e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers return result; 66140e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers} 66240e3bacfd57bca2ca39c1caec64680bd0ed4a16dIan Rogers 663e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogersstatic instrumentation::InstrumentationStackFrame& GetInstrumentationStackFrame(Thread* thread, 664e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers uint32_t depth) { 665e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers CHECK_LT(depth, thread->GetInstrumentationStack()->size()); 666e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers return thread->GetInstrumentationStack()->at(depth); 6677a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers} 6687a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers 66900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogersvoid StackVisitor::SanityCheckFrame() const { 670ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (kIsDebugBuild) { 6713d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* method = GetMethod(); 6723d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier auto* declaring_class = method->GetDeclaringClass(); 6733d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier // Runtime methods have null declaring class. 6743d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (!method->IsRuntimeMethod()) { 6753d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier CHECK(declaring_class != nullptr); 6763d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier CHECK_EQ(declaring_class->GetClass(), declaring_class->GetClass()->GetClass()) 6773d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << declaring_class; 6783d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } else { 6793d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier CHECK(declaring_class == nullptr); 6803d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 6813d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier auto* runtime = Runtime::Current(); 6823d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier auto* la = runtime->GetLinearAlloc(); 6833d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (!la->Contains(method)) { 6843d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier // Check image space. 6853d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier bool in_image = false; 6863d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier for (auto& space : runtime->GetHeap()->GetContinuousSpaces()) { 6873d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (space->IsImageSpace()) { 6883d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier auto* image_space = space->AsImageSpace(); 6893d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier const auto& header = image_space->GetImageHeader(); 6903d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier const auto* methods = &header.GetMethodsSection(); 6913d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (methods->Contains(reinterpret_cast<const uint8_t*>(method) - image_space->Begin())) { 6923d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier in_image = true; 6933d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier break; 6943d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 6953d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 6963d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 6973d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier CHECK(in_image) << PrettyMethod(method) << " not in linear alloc or image"; 6983d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 699ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (cur_quick_frame_ != nullptr) { 700ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers method->AssertPcIsWithinQuickCode(cur_quick_frame_pc_); 701ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers // Frame sanity. 702ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers size_t frame_size = method->GetFrameSizeInBytes(); 703ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_NE(frame_size, 0u); 7045b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // A rough guess at an upper size we expect to see for a frame. 7055b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // 256 registers 706eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier // 2 words HandleScope overhead 7075b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // 3+3 register spills 7085b417b97bd0e89ecd16d2215e0ff2eca5284e013Andreas Gampe // TODO: this seems architecture specific for the case of JNI frames. 709ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom // TODO: 083-compiler-regressions ManyFloatArgs shows this estimate is wrong. 710ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom // const size_t kMaxExpectedFrameSize = (256 + 2 + 3 + 3) * sizeof(word); 711ed08bd41321b9347ce3b21e64a5084fb36234e9eBrian Carlstrom const size_t kMaxExpectedFrameSize = 2 * KB; 712ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_LE(frame_size, kMaxExpectedFrameSize); 7136f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers size_t return_pc_offset = method->GetReturnPcOffset().SizeValue(); 714ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CHECK_LT(return_pc_offset, frame_size); 715ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers } 7160399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7170399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers} 718bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 7190399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogersvoid StackVisitor::WalkStack(bool include_transitions) { 7207a22fa657b972e8323692368975bc5a7be1cc0f5Ian Rogers DCHECK(thread_ == Thread::Current() || thread_->IsSuspended()); 72162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK_EQ(cur_depth_, 0U); 72262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers bool exit_stubs_installed = Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled(); 723725a957985171d712d5c048cc3d00ff14968784bjeffhao uint32_t instrumentation_stack_depth = 0; 724f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison 7252cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier for (const ManagedStack* current_fragment = thread_->GetManagedStack(); 7262cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier current_fragment != nullptr; current_fragment = current_fragment->GetLink()) { 7270399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_shadow_frame_ = current_fragment->GetTopShadowFrame(); 7280399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_quick_frame_ = current_fragment->GetTopQuickFrame(); 7291d8cdbc5202378a5f1a4b3a1fba610675ed4dcd5Ian Rogers cur_quick_frame_pc_ = 0; 730f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison 7312cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (cur_quick_frame_ != nullptr) { // Handle quick stack frames. 7320399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // Can't be both a shadow and a quick fragment. 7332cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier DCHECK(current_fragment->GetTopShadowFrame() == nullptr); 7343d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* method = *cur_quick_frame_; 7352cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier while (method != nullptr) { 7365cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison SanityCheckFrame(); 7375cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison bool should_continue = VisitFrame(); 7385cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison if (UNLIKELY(!should_continue)) { 7395cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison return; 7400399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7415cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison 7422cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier if (context_ != nullptr) { 7430399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers context_->FillCalleeSaves(*this); 7440399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7450399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers size_t frame_size = method->GetFrameSizeInBytes(); 7460399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // Compute PC for next stack frame from return PC. 7476f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers size_t return_pc_offset = method->GetReturnPcOffset(frame_size).SizeValue(); 74813735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* return_pc_addr = reinterpret_cast<uint8_t*>(cur_quick_frame_) + return_pc_offset; 7490399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers uintptr_t return_pc = *reinterpret_cast<uintptr_t*>(return_pc_addr); 75062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (UNLIKELY(exit_stubs_installed)) { 7510399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // While profiling, the return pc is restored from the side stack, except when walking 7520399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers // the stack for an exception where the side stack will be unwound in VisitFrame. 7536f3dbbadf4ce66982eb3d400e0a74cb73eb034f3Ian Rogers if (reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == return_pc) { 75474e256b8e442417d4ba2054c771c1e4f41062768Sebastien Hertz const instrumentation::InstrumentationStackFrame& instrumentation_frame = 755e63db27db913f1a88e2095a1ee8239b2bb9124e8Ian Rogers GetInstrumentationStackFrame(thread_, instrumentation_stack_depth); 756725a957985171d712d5c048cc3d00ff14968784bjeffhao instrumentation_stack_depth++; 757fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao if (GetMethod() == Runtime::Current()->GetCalleeSaveMethod(Runtime::kSaveAll)) { 758fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao // Skip runtime save all callee frames which are used to deliver exceptions. 759fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao } else if (instrumentation_frame.interpreter_entry_) { 7603d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier ArtMethod* callee = Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs); 761fb2802da02337309ac64970e06c90bb3b1b1de3fJeff Hao CHECK_EQ(GetMethod(), callee) << "Expected: " << PrettyMethod(callee) << " Found: " 762138dbfc3336e379d74d157086f69a0fbe830089bSebastien Hertz << PrettyMethod(GetMethod()); 7639a916d3c0d0574d106c764e737c67b52988d6139Jeff Hao } else if (instrumentation_frame.method_ != GetMethod()) { 76462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers LOG(FATAL) << "Expected: " << PrettyMethod(instrumentation_frame.method_) 765138dbfc3336e379d74d157086f69a0fbe830089bSebastien Hertz << " Found: " << PrettyMethod(GetMethod()); 76662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 76762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (num_frames_ != 0) { 76862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // Check agreement of frame Ids only if num_frames_ is computed to avoid infinite 76962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // recursion. 77062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK(instrumentation_frame.frame_id_ == GetFrameId()) 77162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << "Expected: " << instrumentation_frame.frame_id_ 77262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << " Found: " << GetFrameId(); 77362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 774725a957985171d712d5c048cc3d00ff14968784bjeffhao return_pc = instrumentation_frame.return_pc_; 7750399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7760399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 7770399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_quick_frame_pc_ = return_pc; 77813735955f39b3b304c37d2b2840663c131262c18Ian Rogers uint8_t* next_frame = reinterpret_cast<uint8_t*>(cur_quick_frame_) + frame_size; 7793d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier cur_quick_frame_ = reinterpret_cast<ArtMethod**>(next_frame); 7803d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier 7813d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (kDebugStackWalk) { 7823d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier LOG(INFO) << PrettyMethod(method) << "@" << method << " size=" << frame_size 7833d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << " optimized=" << method->IsOptimized(sizeof(void*)) 7843d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << " native=" << method->IsNative() 7853d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << " entrypoints=" << method->GetEntryPointFromQuickCompiledCode() 7863d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << "," << method->GetEntryPointFromJni() 7873d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << "," << method->GetEntryPointFromInterpreter() 7883d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier << " next=" << *cur_quick_frame_; 7893d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 7903d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier 7910399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_depth_++; 7923d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier method = *cur_quick_frame_; 7936641ea12b98dda9ec45d29f20e43f85698b88a02jeffhao } 7942cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } else if (cur_shadow_frame_ != nullptr) { 7950399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers do { 7960399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers SanityCheckFrame(); 7970399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers bool should_continue = VisitFrame(); 7980399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (UNLIKELY(!should_continue)) { 7990399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return; 8000399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 8010399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_depth_++; 8020399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers cur_shadow_frame_ = cur_shadow_frame_->GetLink(); 8032cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier } while (cur_shadow_frame_ != nullptr); 8040399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 8050399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (include_transitions) { 8060399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers bool should_continue = VisitFrame(); 8070399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers if (!should_continue) { 8080399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers return; 8090399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 8100399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 81162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers cur_depth_++; 81262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 81362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers if (num_frames_ != 0) { 81462d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers CHECK_EQ(cur_depth_, num_frames_); 8150399dde18753aa9bd2bd0d7cf60beef154d164a4Ian Rogers } 816bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes} 817bfe487be25652c5456236661b9d9c3579d2296c1Elliott Hughes 818e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartiervoid JavaFrameRootInfo::Describe(std::ostream& os) const { 819e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier const StackVisitor* visitor = stack_visitor_; 820e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier CHECK(visitor != nullptr); 821e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier os << "Type=" << GetType() << " thread_id=" << GetThreadId() << " location=" << 822e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier visitor->DescribeLocation() << " vreg=" << vreg_; 823e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier} 824e34fa1df67fbe0173b4ea9abddcc3ae3d0537037Mathieu Chartier 8253d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartierint StackVisitor::GetVRegOffsetFromQuickCode(const DexFile::CodeItem* code_item, 8263d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier uint32_t core_spills, uint32_t fp_spills, 8273d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier size_t frame_size, int reg, InstructionSet isa) { 8283d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier size_t pointer_size = InstructionSetPointerSize(isa); 8293d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (kIsDebugBuild) { 8303d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier auto* runtime = Runtime::Current(); 8313d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (runtime != nullptr) { 8323d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier CHECK_EQ(runtime->GetClassLinker()->GetImagePointerSize(), pointer_size); 8333d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 8343d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 8353d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier DCHECK_EQ(frame_size & (kStackAlignment - 1), 0U); 8363d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier DCHECK_NE(reg, -1); 8373d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier int spill_size = POPCOUNT(core_spills) * GetBytesPerGprSpillLocation(isa) 8383d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier + POPCOUNT(fp_spills) * GetBytesPerFprSpillLocation(isa) 8393d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier + sizeof(uint32_t); // Filler. 8403d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier int num_regs = code_item->registers_size_ - code_item->ins_size_; 8413d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier int temp_threshold = code_item->registers_size_; 8423d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier const int max_num_special_temps = 1; 8433d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier if (reg == temp_threshold) { 8443d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier // The current method pointer corresponds to special location on stack. 8453d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier return 0; 8463d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } else if (reg >= temp_threshold + max_num_special_temps) { 8473d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier /* 8483d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier * Special temporaries may have custom locations and the logic above deals with that. 8493d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier * However, non-special temporaries are placed relative to the outs. 8503d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier */ 8513d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier int temps_start = code_item->outs_size_ * sizeof(uint32_t) + pointer_size /* art method */; 8523d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier int relative_offset = (reg - (temp_threshold + max_num_special_temps)) * sizeof(uint32_t); 8533d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier return temps_start + relative_offset; 8543d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } else if (reg < num_regs) { 8553d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier int locals_start = frame_size - spill_size - num_regs * sizeof(uint32_t); 8563d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier return locals_start + (reg * sizeof(uint32_t)); 8573d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } else { 8583d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier // Handle ins. 8593d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier return frame_size + ((reg - num_regs) * sizeof(uint32_t)) + pointer_size /* art method */; 8603d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier } 8613d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier} 8623d21bdf8894e780d349c481e5c9e29fe1556051cMathieu Chartier 86368e76526e98432625464022cb26f66b9ef6f5af4Elliott Hughes} // namespace art 864