Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
| 3 | #include <stdio.h> |
| 4 | |
| 5 | #include "UniquePtr.h" |
| 6 | #include "class_linker.h" |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 7 | #include "dex_verifier.h" |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 8 | #include "object.h" |
| 9 | #include "jni.h" |
| 10 | |
| 11 | namespace art { |
| 12 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 13 | #define REG(method, reg_bitmap, reg) \ |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 14 | ( ((reg) < (method)->NumRegisters()) && \ |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 15 | (( *((reg_bitmap) + (reg)/8) >> ((reg) % 8) ) & 0x01) ) |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 16 | |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 17 | #define CHECK_REGS(...) do { \ |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 18 | int t[] = {__VA_ARGS__}; \ |
| 19 | int t_size = sizeof(t) / sizeof(*t); \ |
| 20 | for (int i = 0; i < t_size; ++i) \ |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 21 | CHECK(REG(m, reg_bitmap, t[i])) << "Error: Reg " << i << " is not in RegisterMap"; \ |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 22 | } while(false) |
| 23 | |
| 24 | static int gJava_StackWalk_refmap_calls = 0; |
| 25 | |
| 26 | struct ReferenceMapVisitor : public Thread::StackVisitor { |
| 27 | ReferenceMapVisitor() { |
| 28 | } |
| 29 | |
| 30 | void VisitFrame(const Frame& frame, uintptr_t pc) { |
| 31 | Method* m = frame.GetMethod(); |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 32 | CHECK(m != NULL); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 33 | LOG(INFO) << "At " << PrettyMethod(m, false); |
| 34 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 35 | if (m->IsCalleeSaveMethod() || m->IsNative()) { |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 36 | LOG(WARNING) << "no PC for " << PrettyMethod(m); |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 37 | CHECK_EQ(pc, 0u); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 38 | return; |
| 39 | } |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 40 | verifier::PcToReferenceMap map(m); |
| 41 | const uint8_t* reg_bitmap = map.FindBitMap(m->ToDexPC(pc)); |
| 42 | String* m_name = m->GetName(); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 43 | |
| 44 | // Given the method name and the number of times the method has been called, |
| 45 | // we know the Dex registers with live reference values. Assert that what we |
| 46 | // find is what is expected. |
Shih-wei Liao | d2b8abf | 2011-10-24 20:42:51 -0700 | [diff] [blame] | 47 | if (m_name->Equals("f")) { |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 48 | if (gJava_StackWalk_refmap_calls == 1) { |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 49 | CHECK_EQ(1U, m->ToDexPC(pc)); |
| 50 | CHECK_REGS(1); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 51 | } else { |
Elliott Hughes | f5a7a47 | 2011-10-07 14:31:02 -0700 | [diff] [blame] | 52 | CHECK_EQ(gJava_StackWalk_refmap_calls, 2); |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 53 | CHECK_EQ(5U, m->ToDexPC(pc)); |
| 54 | CHECK_REGS(1); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 55 | } |
Shih-wei Liao | d2b8abf | 2011-10-24 20:42:51 -0700 | [diff] [blame] | 56 | } else if (m_name->Equals("g")) { |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 57 | if (gJava_StackWalk_refmap_calls == 1) { |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 58 | CHECK_EQ(0xcU, m->ToDexPC(pc)); |
| 59 | CHECK_REGS(0, 2); // Note that v1 is not in the minimal root set |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 60 | } else { |
Elliott Hughes | f5a7a47 | 2011-10-07 14:31:02 -0700 | [diff] [blame] | 61 | CHECK_EQ(gJava_StackWalk_refmap_calls, 2); |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 62 | CHECK_EQ(0xcU, m->ToDexPC(pc)); |
| 63 | CHECK_REGS(0, 2); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 64 | } |
Shih-wei Liao | d2b8abf | 2011-10-24 20:42:51 -0700 | [diff] [blame] | 65 | } else if (m_name->Equals("shlemiel")) { |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 66 | if (gJava_StackWalk_refmap_calls == 1) { |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 67 | CHECK_EQ(0x380U, m->ToDexPC(pc)); |
| 68 | CHECK_REGS(2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 25); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 69 | } else { |
Elliott Hughes | f5a7a47 | 2011-10-07 14:31:02 -0700 | [diff] [blame] | 70 | CHECK_EQ(gJava_StackWalk_refmap_calls, 2); |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 71 | CHECK_EQ(0x380U, m->ToDexPC(pc)); |
| 72 | CHECK_REGS(2, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 25); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 73 | } |
| 74 | } |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame] | 75 | LOG(INFO) << reg_bitmap; |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 76 | } |
| 77 | }; |
| 78 | |
| 79 | extern "C" |
| 80 | JNIEXPORT jint JNICALL Java_StackWalk_refmap(JNIEnv* env, jobject thisObj, jint count) { |
Shih-wei Liao | 0839bdb | 2011-10-12 10:50:44 -0700 | [diff] [blame] | 81 | CHECK_EQ(count, 0); |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 82 | gJava_StackWalk_refmap_calls++; |
| 83 | |
| 84 | // Visitor |
| 85 | ReferenceMapVisitor mapper; |
| 86 | Thread::Current()->WalkStack(&mapper); |
| 87 | |
| 88 | return count + 1; |
| 89 | } |
| 90 | |
| 91 | extern "C" |
Brian Carlstrom | 92827a5 | 2011-10-10 15:50:01 -0700 | [diff] [blame] | 92 | JNIEXPORT jint JNICALL Java_StackWalk2_refmap2(JNIEnv* env, jobject thisObj, jint count) { |
Shih-wei Liao | 9407c60 | 2011-09-16 10:36:43 -0700 | [diff] [blame] | 93 | gJava_StackWalk_refmap_calls++; |
| 94 | |
| 95 | // Visitor |
| 96 | ReferenceMapVisitor mapper; |
| 97 | Thread::Current()->WalkStack(&mapper); |
| 98 | |
| 99 | return count + 1; |
| 100 | } |
| 101 | |
| 102 | } |