blob: 893ab11bad7d016e4d918aa43425960f8743f7df [file] [log] [blame]
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +01001/*
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 "gc_map.h"
21#include "mirror/art_method-inl.h"
22#include "scoped_thread_state_change.h"
23#include "stack_map.h"
24
25namespace art {
26
27// Helper class for tests checking that the compiler keeps track of dex registers
28// holding references.
29class CheckReferenceMapVisitor : public StackVisitor {
30 public:
31 explicit CheckReferenceMapVisitor(Thread* thread) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
32 : StackVisitor(thread, nullptr) {}
33
34 bool VisitFrame() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
35 mirror::ArtMethod* m = GetMethod();
36 if (m->IsCalleeSaveMethod() || m->IsNative()) {
37 CHECK_EQ(GetDexPc(), DexFile::kDexNoIndex);
38 }
39
Ian Rogerscf7f1912014-10-22 22:06:39 -070040 if (m == nullptr || m->IsNative() || m->IsRuntimeMethod() || IsShadowFrame()) {
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010041 return true;
42 }
43
44 LOG(INFO) << "At " << PrettyMethod(m, false);
45
46 if (m->IsCalleeSaveMethod()) {
47 LOG(WARNING) << "no PC for " << PrettyMethod(m);
48 return true;
49 }
50
51 return false;
52 }
53
54 void CheckReferences(int* registers, int number_of_references, uint32_t native_pc_offset)
55 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -080056 if (GetMethod()->IsOptimized(sizeof(void*))) {
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010057 CheckOptimizedMethod(registers, number_of_references, native_pc_offset);
58 } else {
59 CheckQuickMethod(registers, number_of_references, native_pc_offset);
60 }
61 }
62
63 private:
64 void CheckOptimizedMethod(int* registers, int number_of_references, uint32_t native_pc_offset)
65 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
66 mirror::ArtMethod* m = GetMethod();
67 CodeInfo code_info = m->GetOptimizedCodeInfo();
68 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset);
Roland Levillaina2d8ec62015-03-12 15:25:29 +000069 DexRegisterMap dex_register_map =
70 code_info.GetDexRegisterMapOf(stack_map, m->GetCodeItem()->registers_size_);
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010071 MemoryRegion stack_mask = stack_map.GetStackMask();
72 uint32_t register_mask = stack_map.GetRegisterMask();
73 for (int i = 0; i < number_of_references; ++i) {
74 int reg = registers[i];
75 CHECK(reg < m->GetCodeItem()->registers_size_);
Roland Levillaina2d8ec62015-03-12 15:25:29 +000076 DexRegisterLocation location = dex_register_map.GetLocationKindAndValue(reg);
77 switch (location.GetKind()) {
78 case DexRegisterLocation::Kind::kNone:
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010079 // Not set, should not be a reference.
80 CHECK(false);
81 break;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000082 case DexRegisterLocation::Kind::kInStack:
83 DCHECK_EQ(location.GetValue() % kFrameSlotSize, 0);
84 CHECK(stack_mask.LoadBit(location.GetValue() / kFrameSlotSize));
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010085 break;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000086 case DexRegisterLocation::Kind::kInRegister:
87 CHECK_NE(register_mask & (1 << location.GetValue()), 0u);
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010088 break;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000089 case DexRegisterLocation::Kind::kInFpuRegister:
Nicolas Geoffray102cbed2014-10-15 18:31:05 +010090 // In Fpu register, should not be a reference.
91 CHECK(false);
92 break;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000093 case DexRegisterLocation::Kind::kConstant:
94 CHECK_EQ(location.GetValue(), 0);
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010095 break;
Roland Levillaina2d8ec62015-03-12 15:25:29 +000096 default:
97 LOG(FATAL) << "Unexpected location kind"
98 << DexRegisterLocation::PrettyDescriptor(location.GetInternalKind());
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +010099 }
100 }
101 }
102
103 void CheckQuickMethod(int* registers, int number_of_references, uint32_t native_pc_offset)
104 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
105 mirror::ArtMethod* m = GetMethod();
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800106 NativePcOffsetToReferenceMap map(m->GetNativeGcMap(sizeof(void*)));
Nicolas Geoffraye982f0b2014-08-13 02:11:24 +0100107 const uint8_t* ref_bitmap = map.FindBitMap(native_pc_offset);
108 CHECK(ref_bitmap);
109 for (int i = 0; i < number_of_references; ++i) {
110 int reg = registers[i];
111 CHECK(reg < m->GetCodeItem()->registers_size_);
112 CHECK((*((ref_bitmap) + reg / 8) >> (reg % 8) ) & 0x01)
113 << "Error: Reg @" << i << " is not in GC map";
114 }
115 }
116};
117
118} // namespace art
119
Nicolas Geoffray48a89612014-09-17 10:19:01 +0100120#endif // ART_RUNTIME_CHECK_REFERENCE_MAP_VISITOR_H_