1 /* 2 * Copyright (C) 2011 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #ifndef ART_RUNTIME_CHECK_REFERENCE_MAP_VISITOR_H_ 18 #define ART_RUNTIME_CHECK_REFERENCE_MAP_VISITOR_H_ 19 20 #include "art_method-inl.h" 21 #include "dex/code_item_accessors-inl.h" 22 #include "dex/dex_file_types.h" 23 #include "oat_quick_method_header.h" 24 #include "scoped_thread_state_change-inl.h" 25 #include "stack.h" 26 #include "stack_map.h" 27 28 namespace art { 29 30 // Helper class for tests checking that the compiler keeps track of dex registers 31 // holding references. 32 class CheckReferenceMapVisitor : public StackVisitor { 33 public: CheckReferenceMapVisitor(Thread * thread)34 explicit CheckReferenceMapVisitor(Thread* thread) REQUIRES_SHARED(Locks::mutator_lock_) 35 : StackVisitor(thread, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames) {} 36 VisitFrame()37 bool VisitFrame() REQUIRES_SHARED(Locks::mutator_lock_) { 38 ArtMethod* m = GetMethod(); 39 if (m->IsCalleeSaveMethod() || m->IsNative()) { 40 CHECK_EQ(GetDexPc(), dex::kDexNoIndex); 41 } 42 43 // If the method is not compiled, continue the stack walk. 44 if (m == nullptr || 45 m->IsNative() || 46 m->IsRuntimeMethod() || 47 IsShadowFrame() || 48 !GetCurrentOatQuickMethodHeader()->IsOptimized()) { 49 return true; 50 } 51 52 LOG(INFO) << "At " << m->PrettyMethod(false); 53 54 if (m->IsCalleeSaveMethod()) { 55 LOG(WARNING) << "no PC for " << m->PrettyMethod(); 56 return true; 57 } 58 59 return false; 60 } 61 CheckReferences(int * registers,int number_of_references,uint32_t dex_pc,uint32_t native_pc_offset,bool search_for_valid_stack_map)62 void CheckReferences(int* registers, 63 int number_of_references, 64 uint32_t dex_pc, 65 uint32_t native_pc_offset, 66 bool search_for_valid_stack_map) 67 REQUIRES_SHARED(Locks::mutator_lock_) { 68 CHECK(GetCurrentOatQuickMethodHeader()->IsOptimized()); 69 CheckOptimizedMethod( 70 registers, number_of_references, dex_pc, native_pc_offset, search_for_valid_stack_map); 71 } 72 73 private: CheckOptimizedMethod(int * registers,int number_of_references,uint32_t dex_pc,uint32_t native_pc_offset,bool search_for_valid_stack_map)74 void CheckOptimizedMethod(int* registers, 75 int number_of_references, 76 uint32_t dex_pc, 77 uint32_t native_pc_offset, 78 bool search_for_valid_stack_map) 79 REQUIRES_SHARED(Locks::mutator_lock_) { 80 ArtMethod* m = GetMethod(); 81 CodeInfo code_info(GetCurrentOatQuickMethodHeader()); 82 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset); 83 if (search_for_valid_stack_map && !code_info.GetStackMaskOf(stack_map).IsValid()) { 84 for (StackMap map : code_info.GetStackMaps()) { 85 if (map.GetDexPc() == dex_pc && code_info.GetStackMaskOf(map).IsValid()) { 86 stack_map = map; 87 break; 88 } 89 } 90 } 91 CodeItemDataAccessor accessor(m->DexInstructionData()); 92 uint16_t number_of_dex_registers = accessor.RegistersSize(); 93 94 if (!Runtime::Current()->IsAsyncDeoptimizeable(GetCurrentQuickFramePc())) { 95 // We can only guarantee dex register info presence for debuggable methods. 96 return; 97 } 98 99 DexRegisterMap dex_register_map = code_info.GetDexRegisterMapOf(stack_map); 100 DCHECK_EQ(dex_register_map.size(), number_of_dex_registers); 101 uint32_t register_mask = code_info.GetRegisterMaskOf(stack_map); 102 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(stack_map); 103 for (int i = 0; i < number_of_references; ++i) { 104 int reg = registers[i]; 105 CHECK_LT(reg, accessor.RegistersSize()); 106 DexRegisterLocation location = dex_register_map[reg]; 107 switch (location.GetKind()) { 108 case DexRegisterLocation::Kind::kNone: 109 // Not set, should not be a reference. 110 CHECK(false); 111 break; 112 case DexRegisterLocation::Kind::kInStack: 113 CHECK(stack_mask.IsValid()); 114 DCHECK_EQ(location.GetValue() % kFrameSlotSize, 0); 115 CHECK(stack_mask.LoadBit(location.GetValue() / kFrameSlotSize)); 116 break; 117 case DexRegisterLocation::Kind::kInRegister: 118 case DexRegisterLocation::Kind::kInRegisterHigh: 119 CHECK_NE(register_mask & (1 << location.GetValue()), 0u); 120 break; 121 case DexRegisterLocation::Kind::kInFpuRegister: 122 case DexRegisterLocation::Kind::kInFpuRegisterHigh: 123 // In Fpu register, should not be a reference. 124 CHECK(false); 125 break; 126 case DexRegisterLocation::Kind::kConstant: 127 CHECK_EQ(location.GetValue(), 0); 128 break; 129 default: 130 LOG(FATAL) << "Unexpected location kind " << location.GetKind(); 131 } 132 } 133 } 134 }; 135 136 } // namespace art 137 138 #endif // ART_RUNTIME_CHECK_REFERENCE_MAP_VISITOR_H_ 139