blob: 869394c388b124590f1e65fb9a31ac0d5ad2845e [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
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
Mathieu Chartiere401d142015-04-22 13:56:20 -070017#ifndef ART_RUNTIME_ART_METHOD_INL_H_
18#define ART_RUNTIME_ART_METHOD_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
Brian Carlstromea46f952013-07-30 01:26:50 -070020#include "art_method.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080021
Andreas Gampe58a5af82014-07-31 16:23:49 -070022#include "art_field.h"
Andreas Gampe8228cdf2017-05-30 15:03:54 -070023#include "base/callee_save_type.h"
Hiroshi Yamauchi00370822015-08-18 14:47:25 -070024#include "class_linker-inl.h"
Mathieu Chartier69147f12017-11-06 20:02:24 -080025#include "code_item_accessors-inl.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010026#include "common_throws.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070027#include "dex_file-inl.h"
David Sehr9323e6e2016-09-13 08:58:35 -070028#include "dex_file_annotations.h"
Andreas Gampee2abbc62017-09-15 11:59:26 -070029#include "dex_file_types.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070030#include "gc_root-inl.h"
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070031#include "invoke_type.h"
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010032#include "jit/profiling_info.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070033#include "mirror/class-inl.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010034#include "mirror/dex_cache-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070035#include "mirror/object-inl.h"
36#include "mirror/object_array.h"
Nicolas Geoffray4c0b4bc2017-03-17 13:08:26 +000037#include "mirror/string.h"
Vladimir Marko96c6ab92014-04-08 14:00:50 +010038#include "oat.h"
Mathieu Chartier28357fa2016-10-18 16:27:40 -070039#include "obj_ptr-inl.h"
Alex Lightd7661582017-05-01 13:48:16 -070040#include "primitive.h"
Vladimir Marko7624d252014-05-02 14:40:15 +010041#include "quick/quick_method_frame_info.h"
Alex Lightd7661582017-05-01 13:48:16 -070042#include "read_barrier-inl.h"
Vladimir Marko7624d252014-05-02 14:40:15 +010043#include "runtime-inl.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070044#include "scoped_thread_state_change-inl.h"
Andreas Gampeb486a982017-06-01 13:45:54 -070045#include "thread-current-inl.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010046#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047
48namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080049
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080050template <ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -070051inline mirror::Class* ArtMethod::GetDeclaringClassUnchecked() {
Hiroshi Yamauchi3f64f252015-06-12 18:35:06 -070052 GcRootSource gc_root_source(this);
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080053 return declaring_class_.Read<kReadBarrierOption>(&gc_root_source);
Mingyao Yang98d1cc82014-05-15 17:02:16 -070054}
55
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080056template <ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -070057inline mirror::Class* ArtMethod::GetDeclaringClass() {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080058 mirror::Class* result = GetDeclaringClassUnchecked<kReadBarrierOption>();
Mathieu Chartiere401d142015-04-22 13:56:20 -070059 if (kIsDebugBuild) {
60 if (!IsRuntimeMethod()) {
61 CHECK(result != nullptr) << this;
Andreas Gampeb1106e22017-02-23 11:34:48 -080062 if (kCheckDeclaringClassState) {
Nicolas Geoffray4c0b4bc2017-03-17 13:08:26 +000063 if (!(result->IsIdxLoaded() || result->IsErroneous())) {
64 LOG(FATAL_WITHOUT_ABORT) << "Class status: " << result->GetStatus();
65 LOG(FATAL) << result->PrettyClass();
66 }
Andreas Gampeb1106e22017-02-23 11:34:48 -080067 }
Mathieu Chartiere401d142015-04-22 13:56:20 -070068 } else {
69 CHECK(result == nullptr) << this;
70 }
71 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080072 return result;
73}
74
Mathieu Chartier28357fa2016-10-18 16:27:40 -070075inline void ArtMethod::SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070076 declaring_class_ = GcRoot<mirror::Class>(new_declaring_class);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080077}
78
Mathieu Chartier10e5ea92015-08-13 12:56:31 -070079inline bool ArtMethod::CASDeclaringClass(mirror::Class* expected_class,
80 mirror::Class* desired_class) {
81 GcRoot<mirror::Class> expected_root(expected_class);
82 GcRoot<mirror::Class> desired_root(desired_class);
83 return reinterpret_cast<Atomic<GcRoot<mirror::Class>>*>(&declaring_class_)->
84 CompareExchangeStrongSequentiallyConsistent(
85 expected_root, desired_root);
86}
87
Ian Rogersef7d42f2014-01-06 12:55:46 -080088inline uint16_t ArtMethod::GetMethodIndex() {
Vladimir Marko72ab6842017-01-20 19:32:50 +000089 DCHECK(IsRuntimeMethod() || GetDeclaringClass()->IsResolved());
Mathieu Chartiere401d142015-04-22 13:56:20 -070090 return method_index_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080091}
92
Mathieu Chartier9f3629d2014-10-28 18:23:02 -070093inline uint16_t ArtMethod::GetMethodIndexDuringLinking() {
Mathieu Chartiere401d142015-04-22 13:56:20 -070094 return method_index_;
Mathieu Chartier9f3629d2014-10-28 18:23:02 -070095}
96
Vladimir Marko2196c652017-11-30 16:16:07 +000097template <ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080098inline uint32_t ArtMethod::GetDexMethodIndex() {
Andreas Gampeb1106e22017-02-23 11:34:48 -080099 if (kCheckDeclaringClassState) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000100 CHECK(IsRuntimeMethod() ||
101 GetDeclaringClass<kReadBarrierOption>()->IsIdxLoaded() ||
102 GetDeclaringClass<kReadBarrierOption>()->IsErroneous());
Andreas Gampeb1106e22017-02-23 11:34:48 -0800103 }
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000104 return GetDexMethodIndexUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800105}
106
Vladimir Markob45528c2017-07-27 14:14:28 +0100107inline ObjPtr<mirror::Class> ArtMethod::LookupResolvedClassFromTypeIndex(dex::TypeIndex type_idx) {
Vladimir Marko4098a7a2017-11-06 16:00:51 +0000108 ScopedAssertNoThreadSuspension ants(__FUNCTION__);
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000109 ObjPtr<mirror::Class> type =
110 Runtime::Current()->GetClassLinker()->LookupResolvedType(type_idx, this);
111 DCHECK(!Thread::Current()->IsExceptionPending());
112 return type;
Vladimir Markob45528c2017-07-27 14:14:28 +0100113}
114
115inline ObjPtr<mirror::Class> ArtMethod::ResolveClassFromTypeIndex(dex::TypeIndex type_idx) {
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000116 ObjPtr<mirror::Class> type = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, this);
117 DCHECK_EQ(type == nullptr, Thread::Current()->IsExceptionPending());
118 return type;
Ian Rogersa0485602014-12-02 15:48:04 -0800119}
120
Brian Carlstromea46f952013-07-30 01:26:50 -0700121inline bool ArtMethod::CheckIncompatibleClassChange(InvokeType type) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800122 switch (type) {
123 case kStatic:
124 return !IsStatic();
125 case kDirect:
126 return !IsDirect() || IsStatic();
127 case kVirtual: {
Alex Lightd6e0fa92016-10-17 13:02:39 -0700128 // We have an error if we are direct or a non-copied (i.e. not part of a real class) interface
129 // method.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700130 mirror::Class* methods_class = GetDeclaringClass();
Alex Lightd6e0fa92016-10-17 13:02:39 -0700131 return IsDirect() || (methods_class->IsInterface() && !IsCopied());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800132 }
133 case kSuper:
Andreas Gampe8f252e62014-08-25 20:46:31 -0700134 // Constructors and static methods are called with invoke-direct.
Alex Light705ad492015-09-21 11:36:30 -0700135 return IsConstructor() || IsStatic();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800136 case kInterface: {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700137 mirror::Class* methods_class = GetDeclaringClass();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800138 return IsDirect() || !(methods_class->IsInterface() || methods_class->IsObjectClass());
139 }
140 default:
141 LOG(FATAL) << "Unreachable - invocation type: " << type;
Ian Rogers2c4257b2014-10-24 14:20:06 -0700142 UNREACHABLE();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800143 }
144}
145
Ian Rogersef7d42f2014-01-06 12:55:46 -0800146inline bool ArtMethod::IsCalleeSaveMethod() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800147 if (!IsRuntimeMethod()) {
148 return false;
149 }
150 Runtime* runtime = Runtime::Current();
151 bool result = false;
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700152 for (uint32_t i = 0; i < static_cast<uint32_t>(CalleeSaveType::kLastCalleeSaveType); i++) {
153 if (this == runtime->GetCalleeSaveMethod(CalleeSaveType(i))) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800154 result = true;
155 break;
156 }
157 }
158 return result;
159}
160
Ian Rogersef7d42f2014-01-06 12:55:46 -0800161inline bool ArtMethod::IsResolutionMethod() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800162 bool result = this == Runtime::Current()->GetResolutionMethod();
163 // Check that if we do think it is phony it looks like the resolution method.
164 DCHECK(!result || IsRuntimeMethod());
165 return result;
166}
Jeff Hao88474b42013-10-23 16:24:40 -0700167
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700168inline bool ArtMethod::IsImtUnimplementedMethod() {
169 bool result = this == Runtime::Current()->GetImtUnimplementedMethod();
170 // Check that if we do think it is phony it looks like the imt unimplemented method.
171 DCHECK(!result || IsRuntimeMethod());
172 return result;
173}
174
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700175inline const DexFile* ArtMethod::GetDexFile() {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800176 // It is safe to avoid the read barrier here since the dex file is constant, so if we read the
177 // from-space dex file pointer it will be equal to the to-space copy.
178 return GetDexCache<kWithoutReadBarrier>()->GetDexFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700179}
180
181inline const char* ArtMethod::GetDeclaringClassDescriptor() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700182 uint32_t dex_method_idx = GetDexMethodIndex();
Andreas Gampee2abbc62017-09-15 11:59:26 -0700183 if (UNLIKELY(dex_method_idx == dex::kDexNoIndex)) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700184 return "<runtime method>";
185 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700186 DCHECK(!IsProxyMethod());
187 const DexFile* dex_file = GetDexFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700188 return dex_file->GetMethodDeclaringClassDescriptor(dex_file->GetMethodId(dex_method_idx));
189}
190
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800191inline const char* ArtMethod::GetShorty() {
192 uint32_t unused_length;
193 return GetShorty(&unused_length);
194}
195
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700196inline const char* ArtMethod::GetShorty(uint32_t* out_length) {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000197 DCHECK(!IsProxyMethod());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700198 const DexFile* dex_file = GetDexFile();
Vladimir Marko2196c652017-11-30 16:16:07 +0000199 // Don't do a read barrier in the DCHECK() inside GetDexMethodIndex() as GetShorty()
200 // can be called when the declaring class is about to be unloaded and cannot be added
201 // to the mark stack (subsequent GC assertion would fail).
202 // It is safe to avoid the read barrier as the ArtMethod is constructed with a declaring
203 // Class already satisfying the DCHECK() inside GetDexMethodIndex(), so even if that copy
204 // of declaring class becomes a from-space object, it shall satisfy the DCHECK().
205 return dex_file->GetMethodShorty(dex_file->GetMethodId(GetDexMethodIndex<kWithoutReadBarrier>()),
206 out_length);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700207}
208
209inline const Signature ArtMethod::GetSignature() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700210 uint32_t dex_method_idx = GetDexMethodIndex();
Andreas Gampee2abbc62017-09-15 11:59:26 -0700211 if (dex_method_idx != dex::kDexNoIndex) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700212 DCHECK(!IsProxyMethod());
213 const DexFile* dex_file = GetDexFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700214 return dex_file->GetMethodSignature(dex_file->GetMethodId(dex_method_idx));
215 }
216 return Signature::NoSignature();
217}
218
Ian Rogers1ff3c982014-08-12 02:30:58 -0700219inline const char* ArtMethod::GetName() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700220 uint32_t dex_method_idx = GetDexMethodIndex();
Andreas Gampee2abbc62017-09-15 11:59:26 -0700221 if (LIKELY(dex_method_idx != dex::kDexNoIndex)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700222 DCHECK(!IsProxyMethod());
223 const DexFile* dex_file = GetDexFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700224 return dex_file->GetMethodName(dex_file->GetMethodId(dex_method_idx));
225 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700226 Runtime* const runtime = Runtime::Current();
227 if (this == runtime->GetResolutionMethod()) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700228 return "<runtime internal resolution method>";
Mathieu Chartiere401d142015-04-22 13:56:20 -0700229 } else if (this == runtime->GetImtConflictMethod()) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700230 return "<runtime internal imt conflict method>";
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700231 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveAllCalleeSaves)) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700232 return "<runtime internal callee-save all registers method>";
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700233 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveRefsOnly)) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700234 return "<runtime internal callee-save reference registers method>";
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700235 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveRefsAndArgs)) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700236 return "<runtime internal callee-save reference and argument registers method>";
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700237 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveEverything)) {
238 return "<runtime internal save-every-register method>";
Mingyao Yang0a87a652017-04-12 13:43:15 -0700239 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveEverythingForClinit)) {
240 return "<runtime internal save-every-register method for clinit>";
241 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveEverythingForSuspendCheck)) {
242 return "<runtime internal save-every-register method for suspend check>";
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700243 } else {
244 return "<unknown runtime internal method>";
245 }
246}
247
248inline const DexFile::CodeItem* ArtMethod::GetCodeItem() {
Alex Lightdba61482016-12-21 08:20:29 -0800249 return GetDexFile()->GetCodeItem(GetCodeItemOffset());
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700250}
251
Vladimir Marko942fd312017-01-16 20:52:19 +0000252inline bool ArtMethod::IsResolvedTypeIdx(dex::TypeIndex type_idx) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700253 DCHECK(!IsProxyMethod());
Vladimir Markob45528c2017-07-27 14:14:28 +0100254 return LookupResolvedClassFromTypeIndex(type_idx) != nullptr;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700255}
256
257inline int32_t ArtMethod::GetLineNumFromDexPC(uint32_t dex_pc) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700258 DCHECK(!IsProxyMethod());
Andreas Gampee2abbc62017-09-15 11:59:26 -0700259 if (dex_pc == dex::kDexNoIndex) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700260 return IsNative() ? -2 : -1;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700261 }
David Sehr9323e6e2016-09-13 08:58:35 -0700262 return annotations::GetLineNumFromPC(GetDexFile(), this, dex_pc);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700263}
264
265inline const DexFile::ProtoId& ArtMethod::GetPrototype() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700266 DCHECK(!IsProxyMethod());
267 const DexFile* dex_file = GetDexFile();
268 return dex_file->GetMethodPrototype(dex_file->GetMethodId(GetDexMethodIndex()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700269}
270
271inline const DexFile::TypeList* ArtMethod::GetParameterTypeList() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000272 DCHECK(!IsProxyMethod());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700273 const DexFile* dex_file = GetDexFile();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000274 const DexFile::ProtoId& proto = dex_file->GetMethodPrototype(
275 dex_file->GetMethodId(GetDexMethodIndex()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700276 return dex_file->GetProtoParameters(proto);
277}
278
279inline const char* ArtMethod::GetDeclaringClassSourceFile() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700280 DCHECK(!IsProxyMethod());
281 return GetDeclaringClass()->GetSourceFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700282}
283
284inline uint16_t ArtMethod::GetClassDefIndex() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700285 DCHECK(!IsProxyMethod());
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000286 if (LIKELY(!IsObsolete())) {
287 return GetDeclaringClass()->GetDexClassDefIndex();
288 } else {
289 return FindObsoleteDexClassDefIndex();
290 }
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700291}
292
293inline const DexFile::ClassDef& ArtMethod::GetClassDef() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700294 DCHECK(!IsProxyMethod());
295 return GetDexFile()->GetClassDef(GetClassDefIndex());
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700296}
297
298inline const char* ArtMethod::GetReturnTypeDescriptor() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700299 DCHECK(!IsProxyMethod());
300 const DexFile* dex_file = GetDexFile();
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000301 return dex_file->GetTypeDescriptor(dex_file->GetTypeId(GetReturnTypeIndex()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700302}
303
Alex Lightd7661582017-05-01 13:48:16 -0700304inline Primitive::Type ArtMethod::GetReturnTypePrimitive() {
305 return Primitive::GetType(GetReturnTypeDescriptor()[0]);
306}
307
Andreas Gampea5b09a62016-11-17 15:21:22 -0800308inline const char* ArtMethod::GetTypeDescriptorFromTypeIdx(dex::TypeIndex type_idx) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700309 DCHECK(!IsProxyMethod());
310 const DexFile* dex_file = GetDexFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700311 return dex_file->GetTypeDescriptor(dex_file->GetTypeId(type_idx));
312}
313
314inline mirror::ClassLoader* ArtMethod::GetClassLoader() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700315 DCHECK(!IsProxyMethod());
316 return GetDeclaringClass()->GetClassLoader();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700317}
318
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800319template <ReadBarrierOption kReadBarrierOption>
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700320inline mirror::DexCache* ArtMethod::GetDexCache() {
Vladimir Marko2196c652017-11-30 16:16:07 +0000321 if (LIKELY(!IsObsolete<kReadBarrierOption>())) {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800322 mirror::Class* klass = GetDeclaringClass<kReadBarrierOption>();
323 return klass->GetDexCache<kDefaultVerifyFlags, kReadBarrierOption>();
Alex Lightdba61482016-12-21 08:20:29 -0800324 } else {
325 DCHECK(!IsProxyMethod());
326 return GetObsoleteDexCache();
Alex Lighta01de592016-11-15 10:43:06 -0800327 }
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700328}
329
Ian Rogers03b6eaf2014-10-28 09:34:57 -0700330inline bool ArtMethod::IsProxyMethod() {
Mathieu Chartier90c5a9b2017-02-01 13:10:06 -0800331 // Avoid read barrier since the from-space version of the class will have the correct proxy class
332 // flags since they are constant for the lifetime of the class.
333 return GetDeclaringClass<kWithoutReadBarrier>()->IsProxyClass();
Ian Rogers03b6eaf2014-10-28 09:34:57 -0700334}
335
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000336inline ArtMethod* ArtMethod::GetInterfaceMethodForProxyUnchecked(PointerSize pointer_size) {
337 DCHECK(IsProxyMethod());
338 // Do not check IsAssignableFrom() here as it relies on raw reference comparison
339 // which may give false negatives while visiting references for a non-CC moving GC.
340 return reinterpret_cast<ArtMethod*>(GetDataPtrSize(pointer_size));
341}
342
Andreas Gampe542451c2016-07-26 09:02:02 -0700343inline ArtMethod* ArtMethod::GetInterfaceMethodIfProxy(PointerSize pointer_size) {
Ian Rogers03b6eaf2014-10-28 09:34:57 -0700344 if (LIKELY(!IsProxyMethod())) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700345 return this;
346 }
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000347 ArtMethod* interface_method = GetInterfaceMethodForProxyUnchecked(pointer_size);
348 // We can check that the proxy class implements the interface only if the proxy class
349 // is resolved, otherwise the interface table is not yet initialized.
350 DCHECK(!GetDeclaringClass()->IsResolved() ||
351 interface_method->GetDeclaringClass()->IsAssignableFrom(GetDeclaringClass()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700352 return interface_method;
353}
354
Vladimir Markob45528c2017-07-27 14:14:28 +0100355inline dex::TypeIndex ArtMethod::GetReturnTypeIndex() {
Ian Rogersded66a02014-10-28 18:12:55 -0700356 DCHECK(!IsProxyMethod());
357 const DexFile* dex_file = GetDexFile();
358 const DexFile::MethodId& method_id = dex_file->GetMethodId(GetDexMethodIndex());
359 const DexFile::ProtoId& proto_id = dex_file->GetMethodPrototype(method_id);
Vladimir Markob45528c2017-07-27 14:14:28 +0100360 return proto_id.return_type_idx_;
361}
362
363inline ObjPtr<mirror::Class> ArtMethod::LookupResolvedReturnType() {
364 return LookupResolvedClassFromTypeIndex(GetReturnTypeIndex());
365}
366
367inline ObjPtr<mirror::Class> ArtMethod::ResolveReturnType() {
368 return ResolveClassFromTypeIndex(GetReturnTypeIndex());
Ian Rogersded66a02014-10-28 18:12:55 -0700369}
370
Mingyao Yang063fc772016-08-02 11:02:54 -0700371inline bool ArtMethod::HasSingleImplementation() {
372 if (IsFinal() || GetDeclaringClass()->IsFinal()) {
373 // We don't set kAccSingleImplementation for these cases since intrinsic
374 // can use the flag also.
375 return true;
376 }
377 return (GetAccessFlags() & kAccSingleImplementation) != 0;
378}
379
380inline void ArtMethod::SetIntrinsic(uint32_t intrinsic) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700381 // Currently we only do intrinsics for static/final methods or methods of final
382 // classes. We don't set kHasSingleImplementation for those methods.
383 DCHECK(IsStatic() || IsFinal() || GetDeclaringClass()->IsFinal()) <<
384 "Potential conflict with kAccSingleImplementation";
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100385 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
386 DCHECK_LE(intrinsic, kAccIntrinsicBits >> kAccFlagsShift);
387 uint32_t intrinsic_bits = intrinsic << kAccFlagsShift;
388 uint32_t new_value = (GetAccessFlags() & ~kAccIntrinsicBits) | kAccIntrinsic | intrinsic_bits;
Mingyao Yang063fc772016-08-02 11:02:54 -0700389 if (kIsDebugBuild) {
390 uint32_t java_flags = (GetAccessFlags() & kAccJavaFlagsMask);
391 bool is_constructor = IsConstructor();
392 bool is_synchronized = IsSynchronized();
393 bool skip_access_checks = SkipAccessChecks();
394 bool is_fast_native = IsFastNative();
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100395 bool is_critical_native = IsCriticalNative();
Mingyao Yang063fc772016-08-02 11:02:54 -0700396 bool is_copied = IsCopied();
397 bool is_miranda = IsMiranda();
398 bool is_default = IsDefault();
399 bool is_default_conflict = IsDefaultConflicting();
400 bool is_compilable = IsCompilable();
401 bool must_count_locks = MustCountLocks();
402 SetAccessFlags(new_value);
403 DCHECK_EQ(java_flags, (GetAccessFlags() & kAccJavaFlagsMask));
404 DCHECK_EQ(is_constructor, IsConstructor());
405 DCHECK_EQ(is_synchronized, IsSynchronized());
406 DCHECK_EQ(skip_access_checks, SkipAccessChecks());
407 DCHECK_EQ(is_fast_native, IsFastNative());
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100408 DCHECK_EQ(is_critical_native, IsCriticalNative());
Mingyao Yang063fc772016-08-02 11:02:54 -0700409 DCHECK_EQ(is_copied, IsCopied());
410 DCHECK_EQ(is_miranda, IsMiranda());
411 DCHECK_EQ(is_default, IsDefault());
412 DCHECK_EQ(is_default_conflict, IsDefaultConflicting());
413 DCHECK_EQ(is_compilable, IsCompilable());
414 DCHECK_EQ(must_count_locks, MustCountLocks());
415 } else {
416 SetAccessFlags(new_value);
417 }
418}
419
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700420template<ReadBarrierOption kReadBarrierOption, typename RootVisitorType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700421void ArtMethod::VisitRoots(RootVisitorType& visitor, PointerSize pointer_size) {
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700422 if (LIKELY(!declaring_class_.IsNull())) {
423 visitor.VisitRoot(declaring_class_.AddressWithoutBarrier());
424 mirror::Class* klass = declaring_class_.Read<kReadBarrierOption>();
Nicolas Geoffraydec3a122016-02-13 12:38:36 +0000425 if (UNLIKELY(klass->IsProxyClass())) {
426 // For normal methods, dex cache shortcuts will be visited through the declaring class.
427 // However, for proxies we need to keep the interface method alive, so we visit its roots.
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000428 ArtMethod* interface_method = GetInterfaceMethodForProxyUnchecked(pointer_size);
Nicolas Geoffraydec3a122016-02-13 12:38:36 +0000429 DCHECK(interface_method != nullptr);
Nicolas Geoffraydec3a122016-02-13 12:38:36 +0000430 interface_method->VisitRoots(visitor, pointer_size);
431 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100432 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800433}
434
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800435template <typename Visitor>
Vladimir Marko5122e6b2017-08-17 16:10:09 +0100436inline void ArtMethod::UpdateObjectsForImageRelocation(const Visitor& visitor) {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800437 mirror::Class* old_class = GetDeclaringClassUnchecked<kWithoutReadBarrier>();
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800438 mirror::Class* new_class = visitor(old_class);
439 if (old_class != new_class) {
440 SetDeclaringClass(new_class);
441 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800442}
443
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800444template <ReadBarrierOption kReadBarrierOption, typename Visitor>
Andreas Gampe542451c2016-07-26 09:02:02 -0700445inline void ArtMethod::UpdateEntrypoints(const Visitor& visitor, PointerSize pointer_size) {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800446 if (IsNative<kReadBarrierOption>()) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800447 const void* old_native_code = GetEntryPointFromJniPtrSize(pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800448 const void* new_native_code = visitor(old_native_code);
449 if (old_native_code != new_native_code) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800450 SetEntryPointFromJniPtrSize(new_native_code, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800451 }
452 } else {
Andreas Gampe75f08852016-07-19 08:06:07 -0700453 DCHECK(GetDataPtrSize(pointer_size) == nullptr);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800454 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800455 const void* old_code = GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800456 const void* new_code = visitor(old_code);
457 if (old_code != new_code) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800458 SetEntryPointFromQuickCompiledCodePtrSize(new_code, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800459 }
460}
461
Mathieu Chartier69147f12017-11-06 20:02:24 -0800462inline IterationRange<DexInstructionIterator> ArtMethod::DexInstructions() {
463 CodeItemInstructionAccessor accessor(this);
464 return { accessor.begin(),
465 accessor.end() };
466}
467
468inline IterationRange<DexInstructionIterator> ArtMethod::NullableDexInstructions() {
469 CodeItemInstructionAccessor accessor(CodeItemInstructionAccessor::CreateNullable(this));
470 return { accessor.begin(),
471 accessor.end() };
472}
473
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800474} // namespace art
475
Mathieu Chartiere401d142015-04-22 13:56:20 -0700476#endif // ART_RUNTIME_ART_METHOD_INL_H_