Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 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 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_MIRROR_CLASS_INL_H_ |
| 18 | #define ART_RUNTIME_MIRROR_CLASS_INL_H_ |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 19 | |
| 20 | #include "class.h" |
| 21 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 22 | #include "art_field-inl.h" |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 23 | #include "art_method.h" |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 24 | #include "art_method-inl.h" |
Ian Rogers | 4f6ad8a | 2013-03-18 15:27:28 -0700 | [diff] [blame] | 25 | #include "class_loader.h" |
Vladimir Marko | 23a2821 | 2014-01-09 19:24:37 +0000 | [diff] [blame] | 26 | #include "common_throws.h" |
Ian Rogers | 4f6ad8a | 2013-03-18 15:27:28 -0700 | [diff] [blame] | 27 | #include "dex_cache.h" |
Mathieu Chartier | f832284 | 2014-05-16 10:59:25 -0700 | [diff] [blame] | 28 | #include "dex_file.h" |
Hiroshi Yamauchi | 3b4c189 | 2013-09-12 21:33:12 -0700 | [diff] [blame] | 29 | #include "gc/heap-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 30 | #include "iftable.h" |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 31 | #include "object_array-inl.h" |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 32 | #include "read_barrier-inl.h" |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 33 | #include "reference-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 34 | #include "runtime.h" |
| 35 | #include "string.h" |
Vladimir Marko | 80afd02 | 2015-05-19 18:08:00 +0100 | [diff] [blame] | 36 | #include "utils.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 37 | |
| 38 | namespace art { |
| 39 | namespace mirror { |
| 40 | |
Hiroshi Yamauchi | 25023c7 | 2014-05-09 11:45:53 -0700 | [diff] [blame] | 41 | template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption> |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 42 | inline uint32_t Class::GetObjectSize() { |
Vladimir Marko | 3481ba2 | 2015-04-13 12:22:36 +0100 | [diff] [blame] | 43 | // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator. |
| 44 | DCHECK((!IsVariableSize<kVerifyFlags, kReadBarrierOption>())) << " class=" << PrettyTypeOf(this); |
Hiroshi Yamauchi | e01a520 | 2015-03-19 12:35:04 -0700 | [diff] [blame] | 45 | return GetField32(ObjectSizeOffset()); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 46 | } |
| 47 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 48 | inline Class* Class::GetSuperClass() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 49 | // Can only get super class for loaded classes (hack for when runtime is |
| 50 | // initializing) |
Brian Carlstrom | 073278c | 2014-02-19 15:21:21 -0800 | [diff] [blame] | 51 | DCHECK(IsLoaded() || IsErroneous() || !Runtime::Current()->IsStarted()) << IsLoaded(); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 52 | return GetFieldObject<Class>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 53 | } |
| 54 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 55 | inline ClassLoader* Class::GetClassLoader() { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 56 | return GetFieldObject<ClassLoader>(OFFSET_OF_OBJECT_MEMBER(Class, class_loader_)); |
Ian Rogers | 4f6ad8a | 2013-03-18 15:27:28 -0700 | [diff] [blame] | 57 | } |
| 58 | |
Mathieu Chartier | c2f4d02 | 2014-03-03 16:11:42 -0800 | [diff] [blame] | 59 | template<VerifyObjectFlags kVerifyFlags> |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 60 | inline DexCache* Class::GetDexCache() { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 61 | return GetFieldObject<DexCache, kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_)); |
Ian Rogers | 4f6ad8a | 2013-03-18 15:27:28 -0700 | [diff] [blame] | 62 | } |
| 63 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 64 | inline ArtMethod* Class::GetDirectMethodsPtr() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 65 | DCHECK(IsLoaded() || IsErroneous()); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 66 | return GetDirectMethodsPtrUnchecked(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 67 | } |
| 68 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 69 | inline ArtMethod* Class::GetDirectMethodsPtrUnchecked() { |
| 70 | return reinterpret_cast<ArtMethod*>(GetField64(OFFSET_OF_OBJECT_MEMBER(Class, direct_methods_))); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 71 | } |
| 72 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 73 | inline ArtMethod* Class::GetVirtualMethodsPtrUnchecked() { |
| 74 | return reinterpret_cast<ArtMethod*>(GetField64(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_))); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 75 | } |
| 76 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 77 | inline void Class::SetDirectMethodsPtr(ArtMethod* new_direct_methods) { |
| 78 | DCHECK(GetDirectMethodsPtrUnchecked() == nullptr); |
| 79 | SetDirectMethodsPtrUnchecked(new_direct_methods); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 80 | } |
| 81 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 82 | inline void Class::SetDirectMethodsPtrUnchecked(ArtMethod* new_direct_methods) { |
| 83 | SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, direct_methods_), |
| 84 | reinterpret_cast<uint64_t>(new_direct_methods)); |
| 85 | } |
| 86 | |
| 87 | inline ArtMethod* Class::GetDirectMethodUnchecked(size_t i, size_t pointer_size) { |
| 88 | CheckPointerSize(pointer_size); |
| 89 | auto* methods = GetDirectMethodsPtrUnchecked(); |
| 90 | DCHECK(methods != nullptr); |
| 91 | return reinterpret_cast<ArtMethod*>(reinterpret_cast<uintptr_t>(methods) + |
| 92 | ArtMethod::ObjectSize(pointer_size) * i); |
| 93 | } |
| 94 | |
| 95 | inline ArtMethod* Class::GetDirectMethod(size_t i, size_t pointer_size) { |
| 96 | CheckPointerSize(pointer_size); |
| 97 | auto* methods = GetDirectMethodsPtr(); |
| 98 | DCHECK(methods != nullptr); |
| 99 | return reinterpret_cast<ArtMethod*>(reinterpret_cast<uintptr_t>(methods) + |
| 100 | ArtMethod::ObjectSize(pointer_size) * i); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 101 | } |
| 102 | |
Mathieu Chartier | 4e30541 | 2014-02-19 10:54:44 -0800 | [diff] [blame] | 103 | template<VerifyObjectFlags kVerifyFlags> |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 104 | inline ArtMethod* Class::GetVirtualMethodsPtr() { |
| 105 | DCHECK(IsLoaded<kVerifyFlags>() || IsErroneous<kVerifyFlags>()); |
| 106 | return GetVirtualMethodsPtrUnchecked(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 107 | } |
| 108 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 109 | inline void Class::SetVirtualMethodsPtr(ArtMethod* new_virtual_methods) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 110 | // TODO: we reassign virtual methods to grow the table for miranda |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 111 | // methods.. they should really just be assigned once. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 112 | SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_), |
| 113 | reinterpret_cast<uint64_t>(new_virtual_methods)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 114 | } |
| 115 | |
Mathieu Chartier | 4e30541 | 2014-02-19 10:54:44 -0800 | [diff] [blame] | 116 | template<VerifyObjectFlags kVerifyFlags> |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 117 | inline ArtMethod* Class::GetVirtualMethod(size_t i, size_t pointer_size) { |
| 118 | CheckPointerSize(pointer_size); |
Hiroshi Yamauchi | f4c15a1 | 2014-10-20 16:56:58 -0700 | [diff] [blame] | 119 | DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>()) |
| 120 | << PrettyClass(this) << " status=" << GetStatus(); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 121 | return GetVirtualMethodUnchecked(i, pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 122 | } |
| 123 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 124 | inline ArtMethod* Class::GetVirtualMethodDuringLinking(size_t i, size_t pointer_size) { |
| 125 | CheckPointerSize(pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 126 | DCHECK(IsLoaded() || IsErroneous()); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 127 | return GetVirtualMethodUnchecked(i, pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 128 | } |
| 129 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 130 | inline ArtMethod* Class::GetVirtualMethodUnchecked(size_t i, size_t pointer_size) { |
| 131 | CheckPointerSize(pointer_size); |
| 132 | auto* methods = GetVirtualMethodsPtrUnchecked(); |
| 133 | DCHECK(methods != nullptr); |
| 134 | return reinterpret_cast<ArtMethod*>(reinterpret_cast<uintptr_t>(methods) + |
| 135 | ArtMethod::ObjectSize(pointer_size) * i); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 136 | } |
| 137 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 138 | inline PointerArray* Class::GetVTable() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 139 | DCHECK(IsResolved() || IsErroneous()); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 140 | return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 141 | } |
| 142 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 143 | inline PointerArray* Class::GetVTableDuringLinking() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 144 | DCHECK(IsLoaded() || IsErroneous()); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 145 | return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 146 | } |
| 147 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 148 | inline void Class::SetVTable(PointerArray* new_vtable) { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 149 | SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_), new_vtable); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 150 | } |
| 151 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 152 | inline MemberOffset Class::EmbeddedImTableEntryOffset(uint32_t i, size_t pointer_size) { |
| 153 | DCHECK_LT(i, kImtSize); |
| 154 | return MemberOffset( |
| 155 | EmbeddedImTableOffset(pointer_size).Uint32Value() + i * ImTableEntrySize(pointer_size)); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 156 | } |
| 157 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 158 | inline ArtMethod* Class::GetEmbeddedImTableEntry(uint32_t i, size_t pointer_size) { |
| 159 | DCHECK(ShouldHaveEmbeddedImtAndVTable()); |
| 160 | return GetFieldPtrWithSize<ArtMethod*>( |
| 161 | EmbeddedImTableEntryOffset(i, pointer_size), pointer_size); |
| 162 | } |
| 163 | |
| 164 | inline void Class::SetEmbeddedImTableEntry(uint32_t i, ArtMethod* method, size_t pointer_size) { |
| 165 | DCHECK(ShouldHaveEmbeddedImtAndVTable()); |
| 166 | SetFieldPtrWithSize<false>(EmbeddedImTableEntryOffset(i, pointer_size), method, pointer_size); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 167 | } |
| 168 | |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 169 | inline bool Class::HasVTable() { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 170 | return GetVTable() != nullptr || ShouldHaveEmbeddedImtAndVTable(); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 171 | } |
| 172 | |
| 173 | inline int32_t Class::GetVTableLength() { |
| 174 | if (ShouldHaveEmbeddedImtAndVTable()) { |
| 175 | return GetEmbeddedVTableLength(); |
| 176 | } |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 177 | return GetVTable() != nullptr ? GetVTable()->GetLength() : 0; |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 178 | } |
| 179 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 180 | inline ArtMethod* Class::GetVTableEntry(uint32_t i, size_t pointer_size) { |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 181 | if (ShouldHaveEmbeddedImtAndVTable()) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 182 | return GetEmbeddedVTableEntry(i, pointer_size); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 183 | } |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 184 | auto* vtable = GetVTable(); |
| 185 | DCHECK(vtable != nullptr); |
| 186 | return vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 187 | } |
| 188 | |
| 189 | inline int32_t Class::GetEmbeddedVTableLength() { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 190 | return GetField32(MemberOffset(EmbeddedVTableLengthOffset())); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 191 | } |
| 192 | |
| 193 | inline void Class::SetEmbeddedVTableLength(int32_t len) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 194 | SetField32<false>(MemberOffset(EmbeddedVTableLengthOffset()), len); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 195 | } |
| 196 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 197 | inline MemberOffset Class::EmbeddedVTableEntryOffset(uint32_t i, size_t pointer_size) { |
| 198 | return MemberOffset( |
| 199 | EmbeddedVTableOffset(pointer_size).Uint32Value() + i * VTableEntrySize(pointer_size)); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 200 | } |
| 201 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 202 | inline ArtMethod* Class::GetEmbeddedVTableEntry(uint32_t i, size_t pointer_size) { |
| 203 | return GetFieldPtrWithSize<ArtMethod*>(EmbeddedVTableEntryOffset(i, pointer_size), pointer_size); |
| 204 | } |
| 205 | |
| 206 | inline void Class::SetEmbeddedVTableEntryUnchecked( |
| 207 | uint32_t i, ArtMethod* method, size_t pointer_size) { |
| 208 | SetFieldPtrWithSize<false>(EmbeddedVTableEntryOffset(i, pointer_size), method, pointer_size); |
| 209 | } |
| 210 | |
| 211 | inline void Class::SetEmbeddedVTableEntry(uint32_t i, ArtMethod* method, size_t pointer_size) { |
| 212 | auto* vtable = GetVTableDuringLinking(); |
| 213 | CHECK_EQ(method, vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size)); |
| 214 | SetEmbeddedVTableEntryUnchecked(i, method, pointer_size); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 215 | } |
| 216 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 217 | inline bool Class::Implements(Class* klass) { |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 218 | DCHECK(klass != nullptr); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 219 | DCHECK(klass->IsInterface()) << PrettyClass(this); |
| 220 | // All interfaces implemented directly and by our superclass, and |
| 221 | // recursively all super-interfaces of those interfaces, are listed |
| 222 | // in iftable_, so we can just do a linear scan through that. |
| 223 | int32_t iftable_count = GetIfTableCount(); |
| 224 | IfTable* iftable = GetIfTable(); |
| 225 | for (int32_t i = 0; i < iftable_count; i++) { |
| 226 | if (iftable->GetInterface(i) == klass) { |
| 227 | return true; |
| 228 | } |
| 229 | } |
| 230 | return false; |
| 231 | } |
| 232 | |
| 233 | // Determine whether "this" is assignable from "src", where both of these |
| 234 | // are array classes. |
| 235 | // |
| 236 | // Consider an array class, e.g. Y[][], where Y is a subclass of X. |
| 237 | // Y[][] = Y[][] --> true (identity) |
| 238 | // X[][] = Y[][] --> true (element superclass) |
| 239 | // Y = Y[][] --> false |
| 240 | // Y[] = Y[][] --> false |
| 241 | // Object = Y[][] --> true (everything is an object) |
| 242 | // Object[] = Y[][] --> true |
| 243 | // Object[][] = Y[][] --> true |
| 244 | // Object[][][] = Y[][] --> false (too many []s) |
| 245 | // Serializable = Y[][] --> true (all arrays are Serializable) |
| 246 | // Serializable[] = Y[][] --> true |
| 247 | // Serializable[][] = Y[][] --> false (unless Y is Serializable) |
| 248 | // |
| 249 | // Don't forget about primitive types. |
| 250 | // Object[] = int[] --> false |
| 251 | // |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 252 | inline bool Class::IsArrayAssignableFromArray(Class* src) { |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 253 | DCHECK(IsArrayClass()) << PrettyClass(this); |
| 254 | DCHECK(src->IsArrayClass()) << PrettyClass(src); |
| 255 | return GetComponentType()->IsAssignableFrom(src->GetComponentType()); |
| 256 | } |
| 257 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 258 | inline bool Class::IsAssignableFromArray(Class* src) { |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 259 | DCHECK(!IsInterface()) << PrettyClass(this); // handled first in IsAssignableFrom |
| 260 | DCHECK(src->IsArrayClass()) << PrettyClass(src); |
| 261 | if (!IsArrayClass()) { |
| 262 | // If "this" is not also an array, it must be Object. |
| 263 | // src's super should be java_lang_Object, since it is an array. |
| 264 | Class* java_lang_Object = src->GetSuperClass(); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 265 | DCHECK(java_lang_Object != nullptr) << PrettyClass(src); |
| 266 | DCHECK(java_lang_Object->GetSuperClass() == nullptr) << PrettyClass(src); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 267 | return this == java_lang_Object; |
| 268 | } |
| 269 | return IsArrayAssignableFromArray(src); |
| 270 | } |
| 271 | |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 272 | template <bool throw_on_failure, bool use_referrers_cache> |
| 273 | inline bool Class::ResolvedFieldAccessTest(Class* access_to, ArtField* field, |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 274 | uint32_t field_idx, DexCache* dex_cache) { |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 275 | DCHECK_EQ(use_referrers_cache, dex_cache == nullptr); |
Vladimir Marko | 23a2821 | 2014-01-09 19:24:37 +0000 | [diff] [blame] | 276 | if (UNLIKELY(!this->CanAccess(access_to))) { |
| 277 | // The referrer class can't access the field's declaring class but may still be able |
| 278 | // to access the field if the FieldId specifies an accessible subclass of the declaring |
| 279 | // class rather than the declaring class itself. |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 280 | DexCache* referrer_dex_cache = use_referrers_cache ? this->GetDexCache() : dex_cache; |
Vladimir Marko | 23a2821 | 2014-01-09 19:24:37 +0000 | [diff] [blame] | 281 | uint32_t class_idx = referrer_dex_cache->GetDexFile()->GetFieldId(field_idx).class_idx_; |
| 282 | // The referenced class has already been resolved with the field, get it from the dex cache. |
| 283 | Class* dex_access_to = referrer_dex_cache->GetResolvedType(class_idx); |
| 284 | DCHECK(dex_access_to != nullptr); |
| 285 | if (UNLIKELY(!this->CanAccess(dex_access_to))) { |
| 286 | if (throw_on_failure) { |
| 287 | ThrowIllegalAccessErrorClass(this, dex_access_to); |
| 288 | } |
| 289 | return false; |
| 290 | } |
| 291 | DCHECK_EQ(this->CanAccessMember(access_to, field->GetAccessFlags()), |
| 292 | this->CanAccessMember(dex_access_to, field->GetAccessFlags())); |
| 293 | } |
| 294 | if (LIKELY(this->CanAccessMember(access_to, field->GetAccessFlags()))) { |
| 295 | return true; |
| 296 | } |
| 297 | if (throw_on_failure) { |
| 298 | ThrowIllegalAccessErrorField(this, field); |
| 299 | } |
| 300 | return false; |
| 301 | } |
| 302 | |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 303 | template <bool throw_on_failure, bool use_referrers_cache, InvokeType throw_invoke_type> |
| 304 | inline bool Class::ResolvedMethodAccessTest(Class* access_to, ArtMethod* method, |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 305 | uint32_t method_idx, DexCache* dex_cache) { |
Andreas Gampe | 575e78c | 2014-11-03 23:41:03 -0800 | [diff] [blame] | 306 | static_assert(throw_on_failure || throw_invoke_type == kStatic, "Non-default throw invoke type"); |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 307 | DCHECK_EQ(use_referrers_cache, dex_cache == nullptr); |
Vladimir Marko | 23a2821 | 2014-01-09 19:24:37 +0000 | [diff] [blame] | 308 | if (UNLIKELY(!this->CanAccess(access_to))) { |
| 309 | // The referrer class can't access the method's declaring class but may still be able |
| 310 | // to access the method if the MethodId specifies an accessible subclass of the declaring |
| 311 | // class rather than the declaring class itself. |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 312 | DexCache* referrer_dex_cache = use_referrers_cache ? this->GetDexCache() : dex_cache; |
Vladimir Marko | 23a2821 | 2014-01-09 19:24:37 +0000 | [diff] [blame] | 313 | uint32_t class_idx = referrer_dex_cache->GetDexFile()->GetMethodId(method_idx).class_idx_; |
| 314 | // The referenced class has already been resolved with the method, get it from the dex cache. |
| 315 | Class* dex_access_to = referrer_dex_cache->GetResolvedType(class_idx); |
| 316 | DCHECK(dex_access_to != nullptr); |
| 317 | if (UNLIKELY(!this->CanAccess(dex_access_to))) { |
| 318 | if (throw_on_failure) { |
| 319 | ThrowIllegalAccessErrorClassForMethodDispatch(this, dex_access_to, |
| 320 | method, throw_invoke_type); |
| 321 | } |
| 322 | return false; |
| 323 | } |
| 324 | DCHECK_EQ(this->CanAccessMember(access_to, method->GetAccessFlags()), |
| 325 | this->CanAccessMember(dex_access_to, method->GetAccessFlags())); |
| 326 | } |
| 327 | if (LIKELY(this->CanAccessMember(access_to, method->GetAccessFlags()))) { |
| 328 | return true; |
| 329 | } |
| 330 | if (throw_on_failure) { |
| 331 | ThrowIllegalAccessErrorMethod(this, method); |
| 332 | } |
| 333 | return false; |
| 334 | } |
| 335 | |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 336 | inline bool Class::CanAccessResolvedField(Class* access_to, ArtField* field, |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 337 | DexCache* dex_cache, uint32_t field_idx) { |
| 338 | return ResolvedFieldAccessTest<false, false>(access_to, field, field_idx, dex_cache); |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 339 | } |
| 340 | |
| 341 | inline bool Class::CheckResolvedFieldAccess(Class* access_to, ArtField* field, |
| 342 | uint32_t field_idx) { |
| 343 | return ResolvedFieldAccessTest<true, true>(access_to, field, field_idx, nullptr); |
| 344 | } |
| 345 | |
| 346 | inline bool Class::CanAccessResolvedMethod(Class* access_to, ArtMethod* method, |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 347 | DexCache* dex_cache, uint32_t method_idx) { |
| 348 | return ResolvedMethodAccessTest<false, false, kStatic>(access_to, method, method_idx, dex_cache); |
Vladimir Marko | 8978643 | 2014-01-31 15:03:55 +0000 | [diff] [blame] | 349 | } |
| 350 | |
| 351 | template <InvokeType throw_invoke_type> |
| 352 | inline bool Class::CheckResolvedMethodAccess(Class* access_to, ArtMethod* method, |
| 353 | uint32_t method_idx) { |
| 354 | return ResolvedMethodAccessTest<true, true, throw_invoke_type>(access_to, method, method_idx, |
| 355 | nullptr); |
| 356 | } |
| 357 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 358 | inline bool Class::IsSubClass(Class* klass) { |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 359 | DCHECK(!IsInterface()) << PrettyClass(this); |
| 360 | DCHECK(!IsArrayClass()) << PrettyClass(this); |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 361 | Class* current = this; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 362 | do { |
| 363 | if (current == klass) { |
| 364 | return true; |
| 365 | } |
| 366 | current = current->GetSuperClass(); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 367 | } while (current != nullptr); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 368 | return false; |
| 369 | } |
| 370 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 371 | inline ArtMethod* Class::FindVirtualMethodForInterface(ArtMethod* method, size_t pointer_size) { |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 372 | Class* declaring_class = method->GetDeclaringClass(); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 373 | DCHECK(declaring_class != nullptr) << PrettyClass(this); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 374 | DCHECK(declaring_class->IsInterface()) << PrettyMethod(method); |
| 375 | // TODO cache to improve lookup speed |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 376 | const int32_t iftable_count = GetIfTableCount(); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 377 | IfTable* iftable = GetIfTable(); |
| 378 | for (int32_t i = 0; i < iftable_count; i++) { |
| 379 | if (iftable->GetInterface(i) == declaring_class) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 380 | return iftable->GetMethodArray(i)->GetElementPtrSize<ArtMethod*>( |
| 381 | method->GetMethodIndex(), pointer_size); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 382 | } |
| 383 | } |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 384 | return nullptr; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 385 | } |
| 386 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 387 | inline ArtMethod* Class::FindVirtualMethodForVirtual(ArtMethod* method, size_t pointer_size) { |
Sameer Abu Asal | 02c4223 | 2013-04-30 12:09:45 -0700 | [diff] [blame] | 388 | DCHECK(!method->GetDeclaringClass()->IsInterface() || method->IsMiranda()); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 389 | // The argument method may from a super class. |
| 390 | // Use the index to a potentially overridden one for this instance's class. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 391 | return GetVTableEntry(method->GetMethodIndex(), pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 392 | } |
| 393 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 394 | inline ArtMethod* Class::FindVirtualMethodForSuper(ArtMethod* method, size_t pointer_size) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 395 | DCHECK(!method->GetDeclaringClass()->IsInterface()); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 396 | return GetSuperClass()->GetVTableEntry(method->GetMethodIndex(), pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 397 | } |
| 398 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 399 | inline ArtMethod* Class::FindVirtualMethodForVirtualOrInterface(ArtMethod* method, |
| 400 | size_t pointer_size) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 401 | if (method->IsDirect()) { |
| 402 | return method; |
| 403 | } |
Jeff Hao | 201803f | 2013-11-20 18:11:39 -0800 | [diff] [blame] | 404 | if (method->GetDeclaringClass()->IsInterface() && !method->IsMiranda()) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 405 | return FindVirtualMethodForInterface(method, pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 406 | } |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 407 | return FindVirtualMethodForVirtual(method, pointer_size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 408 | } |
| 409 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 410 | inline IfTable* Class::GetIfTable() { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 411 | return GetFieldObject<IfTable>(OFFSET_OF_OBJECT_MEMBER(Class, iftable_)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 412 | } |
| 413 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 414 | inline int32_t Class::GetIfTableCount() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 415 | IfTable* iftable = GetIfTable(); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 416 | if (iftable == nullptr) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 417 | return 0; |
| 418 | } |
| 419 | return iftable->Count(); |
| 420 | } |
| 421 | |
| 422 | inline void Class::SetIfTable(IfTable* new_iftable) { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 423 | SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, iftable_), new_iftable); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 424 | } |
| 425 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 426 | inline ArtField* Class::GetIFields() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 427 | DCHECK(IsLoaded() || IsErroneous()); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 428 | return GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 429 | } |
| 430 | |
Vladimir Marko | 76649e8 | 2014-11-10 18:32:59 +0000 | [diff] [blame] | 431 | inline MemberOffset Class::GetFirstReferenceInstanceFieldOffset() { |
| 432 | Class* super_class = GetSuperClass(); |
| 433 | return (super_class != nullptr) |
| 434 | ? MemberOffset(RoundUp(super_class->GetObjectSize(), |
| 435 | sizeof(mirror::HeapReference<mirror::Object>))) |
| 436 | : ClassOffset(); |
| 437 | } |
| 438 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 439 | inline MemberOffset Class::GetFirstReferenceStaticFieldOffset(size_t pointer_size) { |
Vladimir Marko | 76649e8 | 2014-11-10 18:32:59 +0000 | [diff] [blame] | 440 | DCHECK(IsResolved()); |
| 441 | uint32_t base = sizeof(mirror::Class); // Static fields come after the class. |
| 442 | if (ShouldHaveEmbeddedImtAndVTable()) { |
| 443 | // Static fields come after the embedded tables. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 444 | base = mirror::Class::ComputeClassSize( |
| 445 | true, GetEmbeddedVTableLength(), 0, 0, 0, 0, 0, pointer_size); |
Vladimir Marko | 76649e8 | 2014-11-10 18:32:59 +0000 | [diff] [blame] | 446 | } |
| 447 | return MemberOffset(base); |
| 448 | } |
| 449 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 450 | inline MemberOffset Class::GetFirstReferenceStaticFieldOffsetDuringLinking(size_t pointer_size) { |
Vladimir Marko | 76649e8 | 2014-11-10 18:32:59 +0000 | [diff] [blame] | 451 | DCHECK(IsLoaded()); |
| 452 | uint32_t base = sizeof(mirror::Class); // Static fields come after the class. |
| 453 | if (ShouldHaveEmbeddedImtAndVTable()) { |
| 454 | // Static fields come after the embedded tables. |
| 455 | base = mirror::Class::ComputeClassSize(true, GetVTableDuringLinking()->GetLength(), |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 456 | 0, 0, 0, 0, 0, pointer_size); |
Vladimir Marko | 76649e8 | 2014-11-10 18:32:59 +0000 | [diff] [blame] | 457 | } |
| 458 | return MemberOffset(base); |
| 459 | } |
| 460 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 461 | inline void Class::SetIFields(ArtField* new_ifields) { |
| 462 | DCHECK(GetIFieldsUnchecked() == nullptr); |
| 463 | return SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 464 | } |
| 465 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 466 | inline void Class::SetIFieldsUnchecked(ArtField* new_ifields) { |
| 467 | SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields); |
| 468 | } |
| 469 | |
| 470 | inline ArtField* Class::GetSFieldsUnchecked() { |
| 471 | return GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)); |
| 472 | } |
| 473 | |
| 474 | inline ArtField* Class::GetIFieldsUnchecked() { |
| 475 | return GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_)); |
| 476 | } |
| 477 | |
| 478 | inline ArtField* Class::GetSFields() { |
Mathieu Chartier | 987ca8b | 2015-03-15 14:19:14 -0700 | [diff] [blame] | 479 | DCHECK(IsLoaded() || IsErroneous()) << GetStatus(); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 480 | return GetSFieldsUnchecked(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 481 | } |
| 482 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 483 | inline void Class::SetSFields(ArtField* new_sfields) { |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 484 | DCHECK((IsRetired() && new_sfields == nullptr) || |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 485 | GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)) == nullptr); |
| 486 | SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 487 | } |
| 488 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 489 | inline void Class::SetSFieldsUnchecked(ArtField* new_sfields) { |
| 490 | SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 491 | } |
| 492 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 493 | inline ArtField* Class::GetStaticField(uint32_t i) { |
| 494 | DCHECK_LT(i, NumStaticFields()); |
| 495 | return &GetSFields()[i]; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 496 | } |
| 497 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 498 | inline ArtField* Class::GetInstanceField(uint32_t i) { |
| 499 | DCHECK_LT(i, NumInstanceFields()); |
| 500 | return &GetIFields()[i]; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 501 | } |
| 502 | |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 503 | template<VerifyObjectFlags kVerifyFlags> |
| 504 | inline uint32_t Class::GetReferenceInstanceOffsets() { |
| 505 | DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>()); |
| 506 | return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_)); |
| 507 | } |
| 508 | |
| 509 | inline void Class::SetClinitThreadId(pid_t new_clinit_thread_id) { |
| 510 | if (Runtime::Current()->IsActiveTransaction()) { |
| 511 | SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id); |
| 512 | } else { |
| 513 | SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id); |
| 514 | } |
| 515 | } |
| 516 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 517 | inline void Class::SetVerifyErrorClass(Class* klass) { |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 518 | CHECK(klass != nullptr) << PrettyClass(this); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 519 | if (Runtime::Current()->IsActiveTransaction()) { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 520 | SetFieldObject<true>(OFFSET_OF_OBJECT_MEMBER(Class, verify_error_class_), klass); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 521 | } else { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 522 | SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, verify_error_class_), klass); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 523 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 524 | } |
| 525 | |
Mathieu Chartier | 4e30541 | 2014-02-19 10:54:44 -0800 | [diff] [blame] | 526 | template<VerifyObjectFlags kVerifyFlags> |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 527 | inline uint32_t Class::GetAccessFlags() { |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 528 | // Check class is loaded/retired or this is java.lang.String that has a |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 529 | // circularity issue during loading the names of its members |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 530 | DCHECK(IsIdxLoaded<kVerifyFlags>() || IsRetired<kVerifyFlags>() || |
Mathieu Chartier | 4e30541 | 2014-02-19 10:54:44 -0800 | [diff] [blame] | 531 | IsErroneous<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>() || |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 532 | this == String::GetJavaLangString()) |
Andreas Gampe | a692866 | 2014-12-12 11:06:00 -0800 | [diff] [blame] | 533 | << "IsIdxLoaded=" << IsIdxLoaded<kVerifyFlags>() |
| 534 | << " IsRetired=" << IsRetired<kVerifyFlags>() |
| 535 | << " IsErroneous=" << |
| 536 | IsErroneous<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>() |
| 537 | << " IsString=" << (this == String::GetJavaLangString()) |
Andreas Gampe | a692866 | 2014-12-12 11:06:00 -0800 | [diff] [blame] | 538 | << " descriptor=" << PrettyDescriptor(this); |
Hiroshi Yamauchi | e01a520 | 2015-03-19 12:35:04 -0700 | [diff] [blame] | 539 | return GetField32<kVerifyFlags>(AccessFlagsOffset()); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 540 | } |
| 541 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 542 | inline String* Class::GetName() { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 543 | return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(Class, name_)); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 544 | } |
| 545 | inline void Class::SetName(String* name) { |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 546 | if (Runtime::Current()->IsActiveTransaction()) { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 547 | SetFieldObject<true>(OFFSET_OF_OBJECT_MEMBER(Class, name_), name); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 548 | } else { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 549 | SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, name_), name); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 550 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 551 | } |
| 552 | |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 553 | template<VerifyObjectFlags kVerifyFlags> |
| 554 | inline Primitive::Type Class::GetPrimitiveType() { |
Roland Levillain | 33d6903 | 2015-06-18 18:20:59 +0100 | [diff] [blame] | 555 | static_assert(sizeof(Primitive::Type) == sizeof(int32_t), |
| 556 | "art::Primitive::Type and int32_t have different sizes."); |
Hiroshi Yamauchi | f0edfc3 | 2014-09-25 11:46:46 -0700 | [diff] [blame] | 557 | int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_)); |
| 558 | Primitive::Type type = static_cast<Primitive::Type>(v32 & 0xFFFF); |
| 559 | DCHECK_EQ(static_cast<size_t>(v32 >> 16), Primitive::ComponentSizeShift(type)); |
| 560 | return type; |
| 561 | } |
| 562 | |
| 563 | template<VerifyObjectFlags kVerifyFlags> |
| 564 | inline size_t Class::GetPrimitiveTypeSizeShift() { |
Roland Levillain | 33d6903 | 2015-06-18 18:20:59 +0100 | [diff] [blame] | 565 | static_assert(sizeof(Primitive::Type) == sizeof(int32_t), |
| 566 | "art::Primitive::Type and int32_t have different sizes."); |
Hiroshi Yamauchi | f0edfc3 | 2014-09-25 11:46:46 -0700 | [diff] [blame] | 567 | int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_)); |
| 568 | size_t size_shift = static_cast<Primitive::Type>(v32 >> 16); |
| 569 | DCHECK_EQ(size_shift, Primitive::ComponentSizeShift(static_cast<Primitive::Type>(v32 & 0xFFFF))); |
| 570 | return size_shift; |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 571 | } |
| 572 | |
Hiroshi Yamauchi | 3b4c189 | 2013-09-12 21:33:12 -0700 | [diff] [blame] | 573 | inline void Class::CheckObjectAlloc() { |
Hiroshi Yamauchi | 4cd662e | 2014-04-03 16:28:10 -0700 | [diff] [blame] | 574 | DCHECK(!IsArrayClass()) |
| 575 | << PrettyClass(this) |
| 576 | << "A array shouldn't be allocated through this " |
| 577 | << "as it requires a pre-fence visitor that sets the class size."; |
| 578 | DCHECK(!IsClassClass()) |
| 579 | << PrettyClass(this) |
| 580 | << "A class object shouldn't be allocated through this " |
| 581 | << "as it requires a pre-fence visitor that sets the class size."; |
Jeff Hao | 848f70a | 2014-01-15 13:49:50 -0800 | [diff] [blame] | 582 | DCHECK(!IsStringClass()) |
| 583 | << PrettyClass(this) |
| 584 | << "A string shouldn't be allocated through this " |
| 585 | << "as it requires a pre-fence visitor that sets the class size."; |
Hiroshi Yamauchi | 967a0ad | 2013-09-10 16:24:21 -0700 | [diff] [blame] | 586 | DCHECK(IsInstantiable()) << PrettyClass(this); |
| 587 | // TODO: decide whether we want this check. It currently fails during bootstrap. |
| 588 | // DCHECK(!Runtime::Current()->IsStarted() || IsInitializing()) << PrettyClass(this); |
| 589 | DCHECK_GE(this->object_size_, sizeof(Object)); |
Hiroshi Yamauchi | 3b4c189 | 2013-09-12 21:33:12 -0700 | [diff] [blame] | 590 | } |
| 591 | |
Mathieu Chartier | 8668c3c | 2014-04-24 16:48:11 -0700 | [diff] [blame] | 592 | template<bool kIsInstrumented, bool kCheckAddFinalizer> |
Mathieu Chartier | cbb2d20 | 2013-11-14 17:45:16 -0800 | [diff] [blame] | 593 | inline Object* Class::Alloc(Thread* self, gc::AllocatorType allocator_type) { |
Hiroshi Yamauchi | 3b4c189 | 2013-09-12 21:33:12 -0700 | [diff] [blame] | 594 | CheckObjectAlloc(); |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 595 | gc::Heap* heap = Runtime::Current()->GetHeap(); |
Mathieu Chartier | 8668c3c | 2014-04-24 16:48:11 -0700 | [diff] [blame] | 596 | const bool add_finalizer = kCheckAddFinalizer && IsFinalizable(); |
| 597 | if (!kCheckAddFinalizer) { |
| 598 | DCHECK(!IsFinalizable()); |
| 599 | } |
| 600 | mirror::Object* obj = |
| 601 | heap->AllocObjectWithAllocator<kIsInstrumented, false>(self, this, this->object_size_, |
| 602 | allocator_type, VoidFunctor()); |
| 603 | if (add_finalizer && LIKELY(obj != nullptr)) { |
| 604 | heap->AddFinalizerReference(self, &obj); |
Pavel Vyssotski | 3ac90da | 2014-12-02 19:54:50 +0600 | [diff] [blame] | 605 | if (UNLIKELY(self->IsExceptionPending())) { |
| 606 | // Failed to allocate finalizer reference, it means that the whole allocation failed. |
| 607 | obj = nullptr; |
| 608 | } |
Mathieu Chartier | 8668c3c | 2014-04-24 16:48:11 -0700 | [diff] [blame] | 609 | } |
| 610 | return obj; |
Mathieu Chartier | cbb2d20 | 2013-11-14 17:45:16 -0800 | [diff] [blame] | 611 | } |
| 612 | |
| 613 | inline Object* Class::AllocObject(Thread* self) { |
| 614 | return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentAllocator()); |
| 615 | } |
| 616 | |
| 617 | inline Object* Class::AllocNonMovableObject(Thread* self) { |
| 618 | return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentNonMovingAllocator()); |
Hiroshi Yamauchi | 967a0ad | 2013-09-10 16:24:21 -0700 | [diff] [blame] | 619 | } |
| 620 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 621 | inline uint32_t Class::ComputeClassSize(bool has_embedded_tables, |
| 622 | uint32_t num_vtable_entries, |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 623 | uint32_t num_8bit_static_fields, |
| 624 | uint32_t num_16bit_static_fields, |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 625 | uint32_t num_32bit_static_fields, |
| 626 | uint32_t num_64bit_static_fields, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 627 | uint32_t num_ref_static_fields, |
| 628 | size_t pointer_size) { |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 629 | // Space used by java.lang.Class and its instance fields. |
| 630 | uint32_t size = sizeof(Class); |
| 631 | // Space used by embedded tables. |
| 632 | if (has_embedded_tables) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 633 | const uint32_t embedded_imt_size = kImtSize * ImTableEntrySize(pointer_size); |
| 634 | const uint32_t embedded_vtable_size = num_vtable_entries * VTableEntrySize(pointer_size); |
| 635 | size = RoundUp(size + sizeof(uint32_t) /* embedded vtable len */, pointer_size) + |
| 636 | embedded_imt_size + embedded_vtable_size; |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 637 | } |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 638 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 639 | // Space used by reference statics. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 640 | size += num_ref_static_fields * sizeof(HeapReference<Object>); |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 641 | if (!IsAligned<8>(size) && num_64bit_static_fields > 0) { |
| 642 | uint32_t gap = 8 - (size & 0x7); |
| 643 | size += gap; // will be padded |
| 644 | // Shuffle 4-byte fields forward. |
| 645 | while (gap >= sizeof(uint32_t) && num_32bit_static_fields != 0) { |
| 646 | --num_32bit_static_fields; |
| 647 | gap -= sizeof(uint32_t); |
| 648 | } |
| 649 | // Shuffle 2-byte fields forward. |
| 650 | while (gap >= sizeof(uint16_t) && num_16bit_static_fields != 0) { |
| 651 | --num_16bit_static_fields; |
| 652 | gap -= sizeof(uint16_t); |
| 653 | } |
| 654 | // Shuffle byte fields forward. |
| 655 | while (gap >= sizeof(uint8_t) && num_8bit_static_fields != 0) { |
| 656 | --num_8bit_static_fields; |
| 657 | gap -= sizeof(uint8_t); |
Mingyao Yang | 2cdbad7 | 2014-07-16 10:44:41 -0700 | [diff] [blame] | 658 | } |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 659 | } |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 660 | // Guaranteed to be at least 4 byte aligned. No need for further alignments. |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 661 | // Space used for primitive static fields. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 662 | size += num_8bit_static_fields * sizeof(uint8_t) + num_16bit_static_fields * sizeof(uint16_t) + |
| 663 | num_32bit_static_fields * sizeof(uint32_t) + num_64bit_static_fields * sizeof(uint64_t); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 664 | return size; |
| 665 | } |
| 666 | |
Mathieu Chartier | 407f702 | 2014-02-18 14:37:05 -0800 | [diff] [blame] | 667 | template <bool kVisitClass, typename Visitor> |
| 668 | inline void Class::VisitReferences(mirror::Class* klass, const Visitor& visitor) { |
Mathieu Chartier | 52e4b43 | 2014-06-10 11:22:31 -0700 | [diff] [blame] | 669 | VisitInstanceFieldsReferences<kVisitClass>(klass, visitor); |
Hiroshi Yamauchi | 2cd334a | 2015-01-09 14:03:35 -0800 | [diff] [blame] | 670 | // Right after a class is allocated, but not yet loaded |
Igor Murashkin | c449e8b | 2015-06-10 15:56:42 -0700 | [diff] [blame] | 671 | // (kStatusNotReady, see ClassLinker::LoadClass()), GC may find it |
Hiroshi Yamauchi | 2cd334a | 2015-01-09 14:03:35 -0800 | [diff] [blame] | 672 | // and scan it. IsTemp() may call Class::GetAccessFlags() but may |
| 673 | // fail in the DCHECK in Class::GetAccessFlags() because the class |
| 674 | // status is kStatusNotReady. To avoid it, rely on IsResolved() |
| 675 | // only. This is fine because a temp class never goes into the |
| 676 | // kStatusResolved state. |
| 677 | if (IsResolved()) { |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 678 | // Temp classes don't ever populate imt/vtable or static fields and they are not even |
Hiroshi Yamauchi | f4c15a1 | 2014-10-20 16:56:58 -0700 | [diff] [blame] | 679 | // allocated with the right size for those. Also, unresolved classes don't have fields |
| 680 | // linked yet. |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 681 | VisitStaticFieldsReferences<kVisitClass>(this, visitor); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 682 | } |
Mathieu Chartier | da7c650 | 2015-07-23 16:01:26 -0700 | [diff] [blame] | 683 | // Since this class is reachable, we must also visit the associated roots when we scan it. |
| 684 | VisitNativeRoots(visitor, Runtime::Current()->GetClassLinker()->GetImagePointerSize()); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 685 | } |
| 686 | |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 687 | template<ReadBarrierOption kReadBarrierOption> |
| 688 | inline bool Class::IsReferenceClass() const { |
| 689 | return this == Reference::GetJavaLangRefReference<kReadBarrierOption>(); |
| 690 | } |
| 691 | |
Hiroshi Yamauchi | 25023c7 | 2014-05-09 11:45:53 -0700 | [diff] [blame] | 692 | template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption> |
| 693 | inline bool Class::IsClassClass() { |
| 694 | Class* java_lang_Class = GetClass<kVerifyFlags, kReadBarrierOption>()-> |
| 695 | template GetClass<kVerifyFlags, kReadBarrierOption>(); |
| 696 | return this == java_lang_Class; |
| 697 | } |
| 698 | |
Mathieu Chartier | f832284 | 2014-05-16 10:59:25 -0700 | [diff] [blame] | 699 | inline const DexFile& Class::GetDexFile() { |
| 700 | return *GetDexCache()->GetDexFile(); |
| 701 | } |
| 702 | |
| 703 | inline bool Class::DescriptorEquals(const char* match) { |
Ian Rogers | 1ff3c98 | 2014-08-12 02:30:58 -0700 | [diff] [blame] | 704 | if (IsArrayClass()) { |
Mathieu Chartier | f832284 | 2014-05-16 10:59:25 -0700 | [diff] [blame] | 705 | return match[0] == '[' && GetComponentType()->DescriptorEquals(match + 1); |
Ian Rogers | 1ff3c98 | 2014-08-12 02:30:58 -0700 | [diff] [blame] | 706 | } else if (IsPrimitive()) { |
Mathieu Chartier | f832284 | 2014-05-16 10:59:25 -0700 | [diff] [blame] | 707 | return strcmp(Primitive::Descriptor(GetPrimitiveType()), match) == 0; |
Ian Rogers | 1ff3c98 | 2014-08-12 02:30:58 -0700 | [diff] [blame] | 708 | } else if (IsProxyClass()) { |
Vladimir Marko | 3481ba2 | 2015-04-13 12:22:36 +0100 | [diff] [blame] | 709 | return ProxyDescriptorEquals(match); |
Mathieu Chartier | f832284 | 2014-05-16 10:59:25 -0700 | [diff] [blame] | 710 | } else { |
| 711 | const DexFile& dex_file = GetDexFile(); |
| 712 | const DexFile::TypeId& type_id = dex_file.GetTypeId(GetClassDef()->class_idx_); |
| 713 | return strcmp(dex_file.GetTypeDescriptor(type_id), match) == 0; |
| 714 | } |
| 715 | } |
| 716 | |
Sebastien Hertz | 4e99b3d | 2014-06-24 14:35:40 +0200 | [diff] [blame] | 717 | inline void Class::AssertInitializedOrInitializingInThread(Thread* self) { |
| 718 | if (kIsDebugBuild && !IsInitialized()) { |
| 719 | CHECK(IsInitializing()) << PrettyClass(this) << " is not initializing: " << GetStatus(); |
| 720 | CHECK_EQ(GetClinitThreadId(), self->GetTid()) << PrettyClass(this) |
| 721 | << " is initializing in a different thread"; |
| 722 | } |
| 723 | } |
| 724 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 725 | inline ObjectArray<Class>* Class::GetInterfaces() { |
| 726 | CHECK(IsProxyClass()); |
| 727 | // First static field. |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 728 | auto* field = GetStaticField(0); |
| 729 | DCHECK_STREQ(field->GetName(), "interfaces"); |
| 730 | MemberOffset field_offset = field->GetOffset(); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 731 | return GetFieldObject<ObjectArray<Class>>(field_offset); |
| 732 | } |
| 733 | |
| 734 | inline ObjectArray<ObjectArray<Class>>* Class::GetThrows() { |
| 735 | CHECK(IsProxyClass()); |
| 736 | // Second static field. |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 737 | auto* field = GetStaticField(1); |
| 738 | DCHECK_STREQ(field->GetName(), "throws"); |
| 739 | MemberOffset field_offset = field->GetOffset(); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 740 | return GetFieldObject<ObjectArray<ObjectArray<Class>>>(field_offset); |
| 741 | } |
| 742 | |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 743 | inline MemberOffset Class::GetDisableIntrinsicFlagOffset() { |
| 744 | CHECK(IsReferenceClass()); |
| 745 | // First static field |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 746 | auto* field = GetStaticField(0); |
| 747 | DCHECK_STREQ(field->GetName(), "disableIntrinsic"); |
| 748 | return field->GetOffset(); |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 749 | } |
| 750 | |
| 751 | inline MemberOffset Class::GetSlowPathFlagOffset() { |
| 752 | CHECK(IsReferenceClass()); |
| 753 | // Second static field |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 754 | auto* field = GetStaticField(1); |
| 755 | DCHECK_STREQ(field->GetName(), "slowPathEnabled"); |
| 756 | return field->GetOffset(); |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 757 | } |
| 758 | |
| 759 | inline bool Class::GetSlowPathEnabled() { |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 760 | return GetFieldBoolean(GetSlowPathFlagOffset()); |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 761 | } |
| 762 | |
| 763 | inline void Class::SetSlowPath(bool enabled) { |
Mathieu Chartier | 3100080 | 2015-06-14 14:14:37 -0700 | [diff] [blame] | 764 | SetFieldBoolean<false, false>(GetSlowPathFlagOffset(), enabled); |
Fred Shih | 4ee7a66 | 2014-07-11 09:59:27 -0700 | [diff] [blame] | 765 | } |
| 766 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 767 | inline void Class::InitializeClassVisitor::operator()( |
| 768 | mirror::Object* obj, size_t usable_size) const { |
| 769 | DCHECK_LE(class_size_, usable_size); |
| 770 | // Avoid AsClass as object is not yet in live bitmap or allocation stack. |
| 771 | mirror::Class* klass = down_cast<mirror::Class*>(obj); |
| 772 | // DCHECK(klass->IsClass()); |
| 773 | klass->SetClassSize(class_size_); |
| 774 | klass->SetPrimitiveType(Primitive::kPrimNot); // Default to not being primitive. |
| 775 | klass->SetDexClassDefIndex(DexFile::kDexNoIndex16); // Default to no valid class def index. |
| 776 | klass->SetDexTypeIndex(DexFile::kDexNoIndex16); // Default to no valid type index. |
| 777 | } |
| 778 | |
Andreas Gampe | 4849859 | 2014-09-10 19:48:05 -0700 | [diff] [blame] | 779 | inline void Class::SetAccessFlags(uint32_t new_access_flags) { |
| 780 | // Called inside a transaction when setting pre-verified flag during boot image compilation. |
| 781 | if (Runtime::Current()->IsActiveTransaction()) { |
| 782 | SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, access_flags_), new_access_flags); |
| 783 | } else { |
| 784 | SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, access_flags_), new_access_flags); |
| 785 | } |
| 786 | } |
| 787 | |
Mathieu Chartier | 2d2621a | 2014-10-23 16:48:06 -0700 | [diff] [blame] | 788 | inline uint32_t Class::NumDirectInterfaces() { |
| 789 | if (IsPrimitive()) { |
| 790 | return 0; |
| 791 | } else if (IsArrayClass()) { |
| 792 | return 2; |
| 793 | } else if (IsProxyClass()) { |
| 794 | mirror::ObjectArray<mirror::Class>* interfaces = GetInterfaces(); |
| 795 | return interfaces != nullptr ? interfaces->GetLength() : 0; |
| 796 | } else { |
| 797 | const DexFile::TypeList* interfaces = GetInterfaceTypeList(); |
| 798 | if (interfaces == nullptr) { |
| 799 | return 0; |
| 800 | } else { |
| 801 | return interfaces->Size(); |
| 802 | } |
| 803 | } |
| 804 | } |
| 805 | |
Mathieu Chartier | eace458 | 2014-11-24 18:29:54 -0800 | [diff] [blame] | 806 | inline void Class::SetDexCacheStrings(ObjectArray<String>* new_dex_cache_strings) { |
| 807 | SetFieldObject<false>(DexCacheStringsOffset(), new_dex_cache_strings); |
| 808 | } |
| 809 | |
| 810 | inline ObjectArray<String>* Class::GetDexCacheStrings() { |
| 811 | return GetFieldObject<ObjectArray<String>>(DexCacheStringsOffset()); |
| 812 | } |
| 813 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 814 | template<class Visitor> |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 815 | void mirror::Class::VisitNativeRoots(Visitor& visitor, size_t pointer_size) { |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 816 | ArtField* const sfields = GetSFieldsUnchecked(); |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 817 | // Since we visit class roots while we may be writing these fields, check against null. |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 818 | if (sfields != nullptr) { |
| 819 | for (size_t i = 0, count = NumStaticFields(); i < count; ++i) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 820 | auto* f = &sfields[i]; |
Mathieu Chartier | da7c650 | 2015-07-23 16:01:26 -0700 | [diff] [blame] | 821 | // Visit roots first in case the declaring class gets moved. |
| 822 | f->VisitRoots(visitor); |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 823 | if (kIsDebugBuild && IsResolved()) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 824 | CHECK_EQ(f->GetDeclaringClass(), this) << GetStatus(); |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 825 | } |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 826 | } |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 827 | } |
| 828 | ArtField* const ifields = GetIFieldsUnchecked(); |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 829 | if (ifields != nullptr) { |
| 830 | for (size_t i = 0, count = NumInstanceFields(); i < count; ++i) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 831 | auto* f = &ifields[i]; |
Mathieu Chartier | da7c650 | 2015-07-23 16:01:26 -0700 | [diff] [blame] | 832 | // Visit roots first in case the declaring class gets moved. |
| 833 | f->VisitRoots(visitor); |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 834 | if (kIsDebugBuild && IsResolved()) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 835 | CHECK_EQ(f->GetDeclaringClass(), this) << GetStatus(); |
Mathieu Chartier | d3ed9a3 | 2015-04-10 14:23:35 -0700 | [diff] [blame] | 836 | } |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 837 | } |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 838 | } |
Mathieu Chartier | 1de19d0 | 2015-07-09 18:31:35 -0700 | [diff] [blame] | 839 | // We may see GetDirectMethodsPtr() == null with NumDirectMethods() != 0 if the root marking |
| 840 | // thread reads a null DirectMethodsBegin() but a non null DirectMethodsBegin() due to a race |
| 841 | // SetDirectMethodsPtr from class linking. Same for virtual methods. |
| 842 | // In this case, it is safe to avoid marking the roots since we must be either the CC or CMS. If |
| 843 | // we are CMS then the roots are already marked through other sources, otherwise the roots are |
| 844 | // already marked due to the to-space invariant. |
Mathieu Chartier | 22a07b9 | 2015-07-10 15:00:20 -0700 | [diff] [blame] | 845 | // Unchecked versions since we may visit roots of classes that aren't yet loaded. |
| 846 | if (GetDirectMethodsPtrUnchecked() != nullptr) { |
Mathieu Chartier | 1de19d0 | 2015-07-09 18:31:35 -0700 | [diff] [blame] | 847 | for (auto& m : GetDirectMethods(pointer_size)) { |
| 848 | m.VisitRoots(visitor); |
| 849 | } |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 850 | } |
Mathieu Chartier | 22a07b9 | 2015-07-10 15:00:20 -0700 | [diff] [blame] | 851 | if (GetVirtualMethodsPtrUnchecked() != nullptr) { |
Mathieu Chartier | 1de19d0 | 2015-07-09 18:31:35 -0700 | [diff] [blame] | 852 | for (auto& m : GetVirtualMethods(pointer_size)) { |
| 853 | m.VisitRoots(visitor); |
| 854 | } |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 855 | } |
| 856 | } |
| 857 | |
| 858 | inline StrideIterator<ArtMethod> Class::DirectMethodsBegin(size_t pointer_size) { |
| 859 | CheckPointerSize(pointer_size); |
| 860 | auto* methods = GetDirectMethodsPtrUnchecked(); |
| 861 | auto stride = ArtMethod::ObjectSize(pointer_size); |
| 862 | return StrideIterator<ArtMethod>(reinterpret_cast<uintptr_t>(methods), stride); |
| 863 | } |
| 864 | |
| 865 | inline StrideIterator<ArtMethod> Class::DirectMethodsEnd(size_t pointer_size) { |
| 866 | CheckPointerSize(pointer_size); |
| 867 | auto* methods = GetDirectMethodsPtrUnchecked(); |
| 868 | auto stride = ArtMethod::ObjectSize(pointer_size); |
| 869 | auto count = NumDirectMethods(); |
| 870 | return StrideIterator<ArtMethod>(reinterpret_cast<uintptr_t>(methods) + stride * count, stride); |
| 871 | } |
| 872 | |
| 873 | inline IterationRange<StrideIterator<ArtMethod>> Class::GetDirectMethods(size_t pointer_size) { |
| 874 | CheckPointerSize(pointer_size); |
| 875 | return MakeIterationRange(DirectMethodsBegin(pointer_size), DirectMethodsEnd(pointer_size)); |
| 876 | } |
| 877 | |
| 878 | inline StrideIterator<ArtMethod> Class::VirtualMethodsBegin(size_t pointer_size) { |
| 879 | CheckPointerSize(pointer_size); |
| 880 | auto* methods = GetVirtualMethodsPtrUnchecked(); |
| 881 | auto stride = ArtMethod::ObjectSize(pointer_size); |
| 882 | return StrideIterator<ArtMethod>(reinterpret_cast<uintptr_t>(methods), stride); |
| 883 | } |
| 884 | |
| 885 | inline StrideIterator<ArtMethod> Class::VirtualMethodsEnd(size_t pointer_size) { |
| 886 | CheckPointerSize(pointer_size); |
| 887 | auto* methods = GetVirtualMethodsPtrUnchecked(); |
| 888 | auto stride = ArtMethod::ObjectSize(pointer_size); |
| 889 | auto count = NumVirtualMethods(); |
| 890 | return StrideIterator<ArtMethod>(reinterpret_cast<uintptr_t>(methods) + stride * count, stride); |
| 891 | } |
| 892 | |
| 893 | inline IterationRange<StrideIterator<ArtMethod>> Class::GetVirtualMethods(size_t pointer_size) { |
| 894 | return MakeIterationRange(VirtualMethodsBegin(pointer_size), VirtualMethodsEnd(pointer_size)); |
| 895 | } |
| 896 | |
| 897 | inline MemberOffset Class::EmbeddedImTableOffset(size_t pointer_size) { |
| 898 | CheckPointerSize(pointer_size); |
| 899 | // Round up since we want the embedded imt and vtable to be pointer size aligned in case 64 bits. |
| 900 | // Add 32 bits for embedded vtable length. |
| 901 | return MemberOffset( |
| 902 | RoundUp(EmbeddedVTableLengthOffset().Uint32Value() + sizeof(uint32_t), pointer_size)); |
| 903 | } |
| 904 | |
| 905 | inline MemberOffset Class::EmbeddedVTableOffset(size_t pointer_size) { |
| 906 | CheckPointerSize(pointer_size); |
| 907 | return MemberOffset(EmbeddedImTableOffset(pointer_size).Uint32Value() + |
| 908 | kImtSize * ImTableEntrySize(pointer_size)); |
| 909 | } |
| 910 | |
| 911 | inline void Class::CheckPointerSize(size_t pointer_size) { |
| 912 | DCHECK(ValidPointerSize(pointer_size)) << pointer_size; |
| 913 | DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize()); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 914 | } |
| 915 | |
Calin Juravle | 2e76830 | 2015-07-28 14:41:11 +0000 | [diff] [blame^] | 916 | template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption> |
| 917 | inline Class* Class::GetComponentType() { |
| 918 | return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(ComponentTypeOffset()); |
| 919 | } |
| 920 | |
| 921 | template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption> |
| 922 | inline bool Class::IsArrayClass() { |
| 923 | return GetComponentType<kVerifyFlags, kReadBarrierOption>() != nullptr; |
| 924 | } |
| 925 | |
| 926 | inline bool Class::IsAssignableFrom(Class* src) { |
| 927 | DCHECK(src != nullptr); |
| 928 | if (this == src) { |
| 929 | // Can always assign to things of the same type. |
| 930 | return true; |
| 931 | } else if (IsObjectClass()) { |
| 932 | // Can assign any reference to java.lang.Object. |
| 933 | return !src->IsPrimitive(); |
| 934 | } else if (IsInterface()) { |
| 935 | return src->Implements(this); |
| 936 | } else if (src->IsArrayClass()) { |
| 937 | return IsAssignableFromArray(src); |
| 938 | } else { |
| 939 | return !src->IsInterface() && src->IsSubClass(this); |
| 940 | } |
| 941 | } |
| 942 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 943 | } // namespace mirror |
| 944 | } // namespace art |
| 945 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 946 | #endif // ART_RUNTIME_MIRROR_CLASS_INL_H_ |