Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -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" |
| 7 | #include "dex_verifier.h" |
| 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 | 63433ba | 2011-10-15 18:40:39 -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 | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 16 | |
| 17 | #define CHECK_REGS(...) do { \ |
| 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 | EXPECT_TRUE(REG(m, reg_bitmap, t[i])) << "Error: Reg " << i << " is not in RegisterMap"; \ |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 22 | } while(false) |
| 23 | |
| 24 | // << "Error: Reg " << i << " is not in RegisterMap"; |
| 25 | |
| 26 | struct ReferenceMap2Visitor : public Thread::StackVisitor { |
| 27 | ReferenceMap2Visitor() { |
| 28 | } |
| 29 | |
| 30 | void VisitFrame(const Frame& frame, uintptr_t pc) { |
| 31 | Method* m = frame.GetMethod(); |
Brian Carlstrom | 40381fb | 2011-10-19 14:13:40 -0700 | [diff] [blame] | 32 | if (!m || m->IsNative()) { |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 33 | return; |
| 34 | } |
| 35 | LOG(INFO) << "At " << PrettyMethod(m, false); |
| 36 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 37 | verifier::PcToReferenceMap map(m); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 38 | |
| 39 | if (!pc) { |
| 40 | // pc == NULL: m is either a native method or a phony method |
| 41 | return; |
| 42 | } |
| 43 | if (m->IsCalleeSaveMethod()) { |
| 44 | LOG(WARNING) << "no PC for " << PrettyMethod(m); |
| 45 | return; |
| 46 | } |
| 47 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 48 | const uint8_t* reg_bitmap = NULL; |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 49 | std::string m_name = m->GetName()->ToModifiedUtf8(); |
| 50 | |
| 51 | // Given the method name and the number of times the method has been called, |
| 52 | // we know the Dex registers with live reference values. Assert that what we |
| 53 | // find is what is expected. |
| 54 | if (m_name.compare("f") == 0) { |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 55 | reg_bitmap = map.FindBitMap(0x01U); |
| 56 | if (reg_bitmap) { |
| 57 | LOG(WARNING) << "Reg1: " << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 58 | CHECK_REGS(7); //v7: this |
| 59 | } |
| 60 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 61 | reg_bitmap = map.FindBitMap(0x02U); |
| 62 | if (reg_bitmap) { |
| 63 | LOG(WARNING) << "Reg2: " << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 64 | CHECK_REGS(7); //v7: this |
| 65 | } |
| 66 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 67 | reg_bitmap = map.FindBitMap(0x03U); |
| 68 | if (reg_bitmap) { |
| 69 | LOG(WARNING) << "Reg3: " << std::hex << reg_bitmap[0] << reg_bitmap[1]; |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 70 | CHECK_REGS(7); //v7: this |
| 71 | } |
| 72 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 73 | reg_bitmap = map.FindBitMap(0x05U); |
| 74 | if (reg_bitmap) { |
| 75 | LOG(WARNING) << "Reg4: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 76 | CHECK_REGS(0, 7); //v0: x, v7: this |
| 77 | } |
| 78 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 79 | reg_bitmap = map.FindBitMap(0x06U); |
| 80 | if (reg_bitmap) { |
| 81 | LOG(WARNING) << "Reg5: " << std::hex << reg_bitmap[0] << reg_bitmap[1]; |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 82 | CHECK_REGS(0, 7); //v0: x, v7: this |
| 83 | } |
| 84 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 85 | reg_bitmap = map.FindBitMap(0x08U); |
| 86 | if (reg_bitmap) { |
| 87 | LOG(WARNING) << "Reg6: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 88 | CHECK_REGS(0, 2, 7); //v0: x, v2: y, v7: this |
| 89 | } |
| 90 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 91 | reg_bitmap = map.FindBitMap(0x0bU); |
| 92 | if (reg_bitmap) { |
| 93 | LOG(WARNING) << "Reg7: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 94 | CHECK_REGS(0, 2, 7); //v0: x, v2: y, v7: this |
| 95 | } |
| 96 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 97 | reg_bitmap = map.FindBitMap(0x0cU); |
| 98 | if (reg_bitmap) { |
| 99 | LOG(WARNING) << "Reg8: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 100 | CHECK_REGS(0, 2, 7); //v0: x, v2: y, v7: this |
| 101 | } |
| 102 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 103 | reg_bitmap = map.FindBitMap(0x38U); |
| 104 | if (reg_bitmap) { |
| 105 | LOG(WARNING) << "Reg9: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 106 | CHECK_REGS(0, 2, 7); //v0: x, v2: y, v7: this |
| 107 | } |
| 108 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 109 | reg_bitmap = map.FindBitMap(0x39U); |
| 110 | if (reg_bitmap) { |
| 111 | LOG(WARNING) << "Reg10: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 112 | CHECK_REGS(0, 2, 7, 1); //v0: x, v2: y, v7: this, v1: ex |
| 113 | } |
| 114 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 115 | reg_bitmap = map.FindBitMap(0x3aU); |
| 116 | if (reg_bitmap) { |
| 117 | LOG(WARNING) << "Reg11: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 118 | CHECK_REGS(0, 2, 7, 1); //v0: x, v2: y, v7: this, v1: y |
| 119 | } |
| 120 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 121 | reg_bitmap = map.FindBitMap(0x16U); |
| 122 | if (reg_bitmap) { |
| 123 | LOG(WARNING) << "Reg12: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 124 | CHECK_REGS(0, 7, 1); //v0: x, v7: this, v1: y |
| 125 | } |
| 126 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 127 | reg_bitmap = map.FindBitMap(0x20U); |
| 128 | if (reg_bitmap) { |
| 129 | LOG(WARNING) << "Reg13: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 130 | CHECK_REGS(0, 7, 1); //v0: x, v7: this, v1: y |
| 131 | } |
| 132 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 133 | reg_bitmap = map.FindBitMap(0x22U); |
| 134 | if (reg_bitmap) { |
| 135 | LOG(WARNING) << "Reg14: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 136 | CHECK_REGS(0, 7, 1); //v0: x, v7: this, v1: y |
| 137 | } |
| 138 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 139 | reg_bitmap = map.FindBitMap(0x25U); |
| 140 | if (reg_bitmap) { |
| 141 | LOG(WARNING) << "Reg15: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 142 | CHECK_REGS(0); //v0: x, v7: this, v1: y |
| 143 | } |
| 144 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 145 | reg_bitmap = map.FindBitMap(0x26U); |
| 146 | if (reg_bitmap) { |
| 147 | LOG(WARNING) << "Reg16: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 148 | CHECK_REGS(0, 7, 1); //v0: y, v7: this, v1: y |
| 149 | } |
| 150 | |
Ian Rogers | d81871c | 2011-10-03 13:57:23 -0700 | [diff] [blame^] | 151 | reg_bitmap = map.FindBitMap(0x14U); |
| 152 | if (reg_bitmap) { |
| 153 | LOG(WARNING) << "Reg17: " << std::hex << *reg_bitmap << *(reg_bitmap+1); |
Shih-wei Liao | 63433ba | 2011-10-15 18:40:39 -0700 | [diff] [blame] | 154 | CHECK_REGS(0, 7); //v0: y, v7: this |
| 155 | } |
| 156 | } |
| 157 | |
| 158 | } |
| 159 | }; |
| 160 | |
| 161 | extern "C" |
| 162 | JNIEXPORT jint JNICALL Java_ReferenceMap_refmap(JNIEnv* env, jobject thisObj, jint count) { |
| 163 | // Visitor |
| 164 | ReferenceMap2Visitor mapper; |
| 165 | Thread::Current()->WalkStack(&mapper); |
| 166 | |
| 167 | return count + 1; |
| 168 | } |
| 169 | |
| 170 | } |