src/stack_walk_refmap.cc

// Copyright 2011 Google Inc. All Rights Reserved.

#include <stdio.h>

#include "UniquePtr.h"
#include "class_linker.h"
#include "dex_verifier.h"
#include "object.h"
#include "jni.h"

namespace art {

#define REG(method, reg_vector, reg) \
  ( ((reg) < (method)->NumRegisters()) &&                       \
    (( *((reg_vector) + (reg)/8) >> ((reg) % 8) ) & 0x01) )

#define CHECK_REGS(...) do {          \
    int t[] = {__VA_ARGS__};             \
    int t_size = sizeof(t) / sizeof(*t);      \
    for (int i = 0; i < t_size; ++i)          \
      EXPECT_TRUE(REG(m, reg_vector, t[i])) << "Error: Reg " << i << " is not in RegisterMap"; \
  } while(false)

// << "Error: Reg " << i << " is not in RegisterMap";

struct ReferenceMap2Visitor : public Thread::StackVisitor {
  ReferenceMap2Visitor() {
  }

  void VisitFrame(const Frame& frame, uintptr_t pc) {
    Method* m = frame.GetMethod();
    if (!m ||m->IsNative()) {
      return;
    }
    LOG(INFO) << "At " << PrettyMethod(m, false);

    art::DexVerifier::RegisterMap* map = new art::DexVerifier::RegisterMap(
        m->GetRegisterMapHeader(),
        m->GetRegisterMapData());

    if (!pc) {
      // pc == NULL: m is either a native method or a phony method
      return;
    }
    if (m->IsCalleeSaveMethod()) {
      LOG(WARNING) << "no PC for " << PrettyMethod(m);
      return;
    }

    const uint8_t* reg_vector = NULL;
    std::string m_name = m->GetName()->ToModifiedUtf8();

    // Given the method name and the number of times the method has been called,
    // we know the Dex registers with live reference values. Assert that what we
    // find is what is expected.
    if (m_name.compare("f") == 0) {
      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x01U);
      if (reg_vector) {
        LOG(WARNING) << "Reg1: " << *reg_vector << *(reg_vector+1);
        CHECK_REGS(7);  //v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x02U);
      if (reg_vector) {
        LOG(WARNING) << "Reg2: " << *reg_vector << *(reg_vector+1);
        CHECK_REGS(7);  //v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x03U);
      if (reg_vector) {
        LOG(WARNING) << "Reg3: " << std::hex << reg_vector[0] << reg_vector[1];
        CHECK_REGS(7);  //v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x05U);
      if (reg_vector) {
        LOG(WARNING) << "Reg4: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 7);  //v0: x, v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x06U);
      if (reg_vector) {
        LOG(WARNING) << "Reg5: " << std::hex << reg_vector[0] << reg_vector[1];
        CHECK_REGS(0, 7);  //v0: x, v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x08U);
      if (reg_vector) {
        LOG(WARNING) << "Reg6: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 2, 7);  //v0: x, v2: y, v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x0bU);
      if (reg_vector) {
        LOG(WARNING) << "Reg7: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 2, 7);  //v0: x, v2: y, v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x0cU);
      if (reg_vector) {
        LOG(WARNING) << "Reg8: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 2, 7);  //v0: x, v2: y, v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x38U);
      if (reg_vector) {
        LOG(WARNING) << "Reg9: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 2, 7);  //v0: x, v2: y, v7: this
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x39U);
      if (reg_vector) {
        LOG(WARNING) << "Reg10: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 2, 7, 1);  //v0: x, v2: y, v7: this, v1: ex
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x3aU);
      if (reg_vector) {
        LOG(WARNING) << "Reg11: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 2, 7, 1);  //v0: x, v2: y, v7: this, v1: y
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x16U);
      if (reg_vector) {
        LOG(WARNING) << "Reg12: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 7, 1);  //v0: x, v7: this, v1: y
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x20U);
      if (reg_vector) {
        LOG(WARNING) << "Reg13: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 7, 1);  //v0: x, v7: this, v1: y
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x22U);
      if (reg_vector) {
        LOG(WARNING) << "Reg14: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 7, 1);  //v0: x, v7: this, v1: y
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x25U);
      if (reg_vector) {
        LOG(WARNING) << "Reg15: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0);  //v0: x, v7: this, v1: y
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x26U);
      if (reg_vector) {
        LOG(WARNING) << "Reg16: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 7, 1);  //v0: y, v7: this, v1: y
      }

      reg_vector = art::DexVerifier::RegisterMapGetLine(map, 0x14U);
      if (reg_vector) {
        LOG(WARNING) << "Reg17: " << std::hex << *reg_vector << *(reg_vector+1);
        CHECK_REGS(0, 7);  //v0: y, v7: this
      }
    }

  }
};

extern "C"
JNIEXPORT jint JNICALL Java_ReferenceMap_refmap(JNIEnv* env, jobject thisObj, jint count) {
  // Visitor
  ReferenceMap2Visitor mapper;
  Thread::Current()->WalkStack(&mapper);

  return count + 1;
}

}