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