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