blob: c1fac364bbd4a632821a6063530706cd5baa2c42 [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"
David Sehr8f4b0562018-03-02 12:01:51 -080024#include "base/utils.h"
Hiroshi Yamauchi00370822015-08-18 14:47:25 -070025#include "class_linker-inl.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010026#include "common_throws.h"
David Sehr9e734c72018-01-04 17:56:19 -080027#include "dex/code_item_accessors-inl.h"
28#include "dex/dex_file-inl.h"
29#include "dex/dex_file_annotations.h"
30#include "dex/dex_file_types.h"
David Sehr8c0961f2018-01-23 16:11:38 -080031#include "dex/invoke_type.h"
David Sehr67bf42e2018-02-26 16:43:04 -080032#include "dex/primitive.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070033#include "gc_root-inl.h"
David Brazdil87144352018-01-24 12:50:01 +000034#include "intrinsics_enum.h"
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010035#include "jit/profiling_info.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070036#include "mirror/class-inl.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010037#include "mirror/dex_cache-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070038#include "mirror/object-inl.h"
39#include "mirror/object_array.h"
Nicolas Geoffray4c0b4bc2017-03-17 13:08:26 +000040#include "mirror/string.h"
Vladimir Marko96c6ab92014-04-08 14:00:50 +010041#include "oat.h"
Mathieu Chartier28357fa2016-10-18 16:27:40 -070042#include "obj_ptr-inl.h"
Vladimir Marko7624d252014-05-02 14:40:15 +010043#include "quick/quick_method_frame_info.h"
Alex Lightd7661582017-05-01 13:48:16 -070044#include "read_barrier-inl.h"
Vladimir Marko7624d252014-05-02 14:40:15 +010045#include "runtime-inl.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070046#include "scoped_thread_state_change-inl.h"
Andreas Gampeb486a982017-06-01 13:45:54 -070047#include "thread-current-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080048
49namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080050
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080051template <ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -070052inline mirror::Class* ArtMethod::GetDeclaringClassUnchecked() {
Hiroshi Yamauchi3f64f252015-06-12 18:35:06 -070053 GcRootSource gc_root_source(this);
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080054 return declaring_class_.Read<kReadBarrierOption>(&gc_root_source);
Mingyao Yang98d1cc82014-05-15 17:02:16 -070055}
56
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080057template <ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -070058inline mirror::Class* ArtMethod::GetDeclaringClass() {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080059 mirror::Class* result = GetDeclaringClassUnchecked<kReadBarrierOption>();
Mathieu Chartiere401d142015-04-22 13:56:20 -070060 if (kIsDebugBuild) {
61 if (!IsRuntimeMethod()) {
62 CHECK(result != nullptr) << this;
Andreas Gampeb1106e22017-02-23 11:34:48 -080063 if (kCheckDeclaringClassState) {
Nicolas Geoffray4c0b4bc2017-03-17 13:08:26 +000064 if (!(result->IsIdxLoaded() || result->IsErroneous())) {
65 LOG(FATAL_WITHOUT_ABORT) << "Class status: " << result->GetStatus();
66 LOG(FATAL) << result->PrettyClass();
67 }
Andreas Gampeb1106e22017-02-23 11:34:48 -080068 }
Mathieu Chartiere401d142015-04-22 13:56:20 -070069 } else {
70 CHECK(result == nullptr) << this;
71 }
72 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080073 return result;
74}
75
Mathieu Chartier28357fa2016-10-18 16:27:40 -070076inline void ArtMethod::SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070077 declaring_class_ = GcRoot<mirror::Class>(new_declaring_class);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080078}
79
Mathieu Chartier10e5ea92015-08-13 12:56:31 -070080inline bool ArtMethod::CASDeclaringClass(mirror::Class* expected_class,
81 mirror::Class* desired_class) {
82 GcRoot<mirror::Class> expected_root(expected_class);
83 GcRoot<mirror::Class> desired_root(desired_class);
Orion Hodson4557b382018-01-03 11:47:54 +000084 auto atomic_root_class = reinterpret_cast<Atomic<GcRoot<mirror::Class>>*>(&declaring_class_);
85 return atomic_root_class->CompareAndSetStrongSequentiallyConsistent(expected_root, desired_root);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -070086}
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
Orion Hodsona2649fc2018-02-20 08:44:20 +0000298inline size_t ArtMethod::GetNumberOfParameters() {
299 constexpr size_t return_type_count = 1u;
300 return strlen(GetShorty()) - return_type_count;
301}
302
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700303inline const char* ArtMethod::GetReturnTypeDescriptor() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700304 DCHECK(!IsProxyMethod());
305 const DexFile* dex_file = GetDexFile();
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000306 return dex_file->GetTypeDescriptor(dex_file->GetTypeId(GetReturnTypeIndex()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700307}
308
Alex Lightd7661582017-05-01 13:48:16 -0700309inline Primitive::Type ArtMethod::GetReturnTypePrimitive() {
310 return Primitive::GetType(GetReturnTypeDescriptor()[0]);
311}
312
Andreas Gampea5b09a62016-11-17 15:21:22 -0800313inline const char* ArtMethod::GetTypeDescriptorFromTypeIdx(dex::TypeIndex type_idx) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700314 DCHECK(!IsProxyMethod());
315 const DexFile* dex_file = GetDexFile();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700316 return dex_file->GetTypeDescriptor(dex_file->GetTypeId(type_idx));
317}
318
319inline mirror::ClassLoader* ArtMethod::GetClassLoader() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700320 DCHECK(!IsProxyMethod());
321 return GetDeclaringClass()->GetClassLoader();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700322}
323
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800324template <ReadBarrierOption kReadBarrierOption>
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700325inline mirror::DexCache* ArtMethod::GetDexCache() {
Vladimir Marko2196c652017-11-30 16:16:07 +0000326 if (LIKELY(!IsObsolete<kReadBarrierOption>())) {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800327 mirror::Class* klass = GetDeclaringClass<kReadBarrierOption>();
328 return klass->GetDexCache<kDefaultVerifyFlags, kReadBarrierOption>();
Alex Lightdba61482016-12-21 08:20:29 -0800329 } else {
330 DCHECK(!IsProxyMethod());
331 return GetObsoleteDexCache();
Alex Lighta01de592016-11-15 10:43:06 -0800332 }
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700333}
334
Ian Rogers03b6eaf2014-10-28 09:34:57 -0700335inline bool ArtMethod::IsProxyMethod() {
Roland Levillainfa854e42018-02-07 13:09:55 +0000336 DCHECK(!IsRuntimeMethod()) << "ArtMethod::IsProxyMethod called on a runtime method";
Mathieu Chartier90c5a9b2017-02-01 13:10:06 -0800337 // Avoid read barrier since the from-space version of the class will have the correct proxy class
338 // flags since they are constant for the lifetime of the class.
339 return GetDeclaringClass<kWithoutReadBarrier>()->IsProxyClass();
Ian Rogers03b6eaf2014-10-28 09:34:57 -0700340}
341
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000342inline ArtMethod* ArtMethod::GetInterfaceMethodForProxyUnchecked(PointerSize pointer_size) {
343 DCHECK(IsProxyMethod());
344 // Do not check IsAssignableFrom() here as it relies on raw reference comparison
345 // which may give false negatives while visiting references for a non-CC moving GC.
346 return reinterpret_cast<ArtMethod*>(GetDataPtrSize(pointer_size));
347}
348
Andreas Gampe542451c2016-07-26 09:02:02 -0700349inline ArtMethod* ArtMethod::GetInterfaceMethodIfProxy(PointerSize pointer_size) {
Ian Rogers03b6eaf2014-10-28 09:34:57 -0700350 if (LIKELY(!IsProxyMethod())) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700351 return this;
352 }
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000353 ArtMethod* interface_method = GetInterfaceMethodForProxyUnchecked(pointer_size);
354 // We can check that the proxy class implements the interface only if the proxy class
355 // is resolved, otherwise the interface table is not yet initialized.
356 DCHECK(!GetDeclaringClass()->IsResolved() ||
357 interface_method->GetDeclaringClass()->IsAssignableFrom(GetDeclaringClass()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700358 return interface_method;
359}
360
Vladimir Markob45528c2017-07-27 14:14:28 +0100361inline dex::TypeIndex ArtMethod::GetReturnTypeIndex() {
Ian Rogersded66a02014-10-28 18:12:55 -0700362 DCHECK(!IsProxyMethod());
363 const DexFile* dex_file = GetDexFile();
364 const DexFile::MethodId& method_id = dex_file->GetMethodId(GetDexMethodIndex());
365 const DexFile::ProtoId& proto_id = dex_file->GetMethodPrototype(method_id);
Vladimir Markob45528c2017-07-27 14:14:28 +0100366 return proto_id.return_type_idx_;
367}
368
369inline ObjPtr<mirror::Class> ArtMethod::LookupResolvedReturnType() {
370 return LookupResolvedClassFromTypeIndex(GetReturnTypeIndex());
371}
372
373inline ObjPtr<mirror::Class> ArtMethod::ResolveReturnType() {
374 return ResolveClassFromTypeIndex(GetReturnTypeIndex());
Ian Rogersded66a02014-10-28 18:12:55 -0700375}
376
Alexey Grebenkinab2ce842018-02-01 19:09:59 +0300377template <ReadBarrierOption kReadBarrierOption>
Mingyao Yang063fc772016-08-02 11:02:54 -0700378inline bool ArtMethod::HasSingleImplementation() {
Alexey Grebenkinab2ce842018-02-01 19:09:59 +0300379 if (IsFinal<kReadBarrierOption>() || GetDeclaringClass<kReadBarrierOption>()->IsFinal()) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700380 // We don't set kAccSingleImplementation for these cases since intrinsic
381 // can use the flag also.
382 return true;
383 }
Alexey Grebenkinab2ce842018-02-01 19:09:59 +0300384 return (GetAccessFlags<kReadBarrierOption>() & kAccSingleImplementation) != 0;
Mingyao Yang063fc772016-08-02 11:02:54 -0700385}
386
David Brazdil14c212a2018-04-23 13:50:38 +0100387inline HiddenApiAccessFlags::ApiList ArtMethod::GetHiddenApiAccessFlags()
388 REQUIRES_SHARED(Locks::mutator_lock_) {
David Brazdil49dded02018-04-19 12:41:04 +0100389 if (UNLIKELY(IsIntrinsic())) {
390 switch (static_cast<Intrinsics>(GetIntrinsic())) {
391 case Intrinsics::kSystemArrayCopyChar:
392 case Intrinsics::kStringGetCharsNoCheck:
393 case Intrinsics::kReferenceGetReferent:
394 // These intrinsics are on the light greylist and will fail a DCHECK in
395 // SetIntrinsic() if their flags change on the respective dex methods.
396 // Note that the DCHECK currently won't fail if the dex methods are
397 // whitelisted, e.g. in the core image (b/77733081). As a result, we
398 // might print warnings but we won't change the semantics.
399 return HiddenApiAccessFlags::kLightGreylist;
400 case Intrinsics::kVarHandleFullFence:
401 case Intrinsics::kVarHandleAcquireFence:
402 case Intrinsics::kVarHandleReleaseFence:
403 case Intrinsics::kVarHandleLoadLoadFence:
404 case Intrinsics::kVarHandleStoreStoreFence:
405 case Intrinsics::kVarHandleCompareAndExchange:
406 case Intrinsics::kVarHandleCompareAndExchangeAcquire:
407 case Intrinsics::kVarHandleCompareAndExchangeRelease:
408 case Intrinsics::kVarHandleCompareAndSet:
409 case Intrinsics::kVarHandleGet:
410 case Intrinsics::kVarHandleGetAcquire:
411 case Intrinsics::kVarHandleGetAndAdd:
412 case Intrinsics::kVarHandleGetAndAddAcquire:
413 case Intrinsics::kVarHandleGetAndAddRelease:
414 case Intrinsics::kVarHandleGetAndBitwiseAnd:
415 case Intrinsics::kVarHandleGetAndBitwiseAndAcquire:
416 case Intrinsics::kVarHandleGetAndBitwiseAndRelease:
417 case Intrinsics::kVarHandleGetAndBitwiseOr:
418 case Intrinsics::kVarHandleGetAndBitwiseOrAcquire:
419 case Intrinsics::kVarHandleGetAndBitwiseOrRelease:
420 case Intrinsics::kVarHandleGetAndBitwiseXor:
421 case Intrinsics::kVarHandleGetAndBitwiseXorAcquire:
422 case Intrinsics::kVarHandleGetAndBitwiseXorRelease:
423 case Intrinsics::kVarHandleGetAndSet:
424 case Intrinsics::kVarHandleGetAndSetAcquire:
425 case Intrinsics::kVarHandleGetAndSetRelease:
426 case Intrinsics::kVarHandleGetOpaque:
427 case Intrinsics::kVarHandleGetVolatile:
428 case Intrinsics::kVarHandleSet:
429 case Intrinsics::kVarHandleSetOpaque:
430 case Intrinsics::kVarHandleSetRelease:
431 case Intrinsics::kVarHandleSetVolatile:
432 case Intrinsics::kVarHandleWeakCompareAndSet:
433 case Intrinsics::kVarHandleWeakCompareAndSetAcquire:
434 case Intrinsics::kVarHandleWeakCompareAndSetPlain:
435 case Intrinsics::kVarHandleWeakCompareAndSetRelease:
436 // These intrinsics are on the blacklist and will fail a DCHECK in
437 // SetIntrinsic() if their flags change on the respective dex methods.
438 // Note that the DCHECK currently won't fail if the dex methods are
439 // whitelisted, e.g. in the core image (b/77733081). Given that they are
440 // exclusively VarHandle intrinsics, they should not be used outside
441 // tests that do not enable hidden API checks.
442 return HiddenApiAccessFlags::kBlacklist;
443 default:
444 // Remaining intrinsics are public API. We DCHECK that in SetIntrinsic().
445 return HiddenApiAccessFlags::kWhitelist;
446 }
447 } else {
448 return HiddenApiAccessFlags::DecodeFromRuntime(GetAccessFlags());
David Brazdilaa129ff2018-01-30 16:11:02 +0000449 }
450}
451
Mingyao Yang063fc772016-08-02 11:02:54 -0700452inline void ArtMethod::SetIntrinsic(uint32_t intrinsic) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700453 // Currently we only do intrinsics for static/final methods or methods of final
454 // classes. We don't set kHasSingleImplementation for those methods.
455 DCHECK(IsStatic() || IsFinal() || GetDeclaringClass()->IsFinal()) <<
456 "Potential conflict with kAccSingleImplementation";
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100457 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
458 DCHECK_LE(intrinsic, kAccIntrinsicBits >> kAccFlagsShift);
459 uint32_t intrinsic_bits = intrinsic << kAccFlagsShift;
460 uint32_t new_value = (GetAccessFlags() & ~kAccIntrinsicBits) | kAccIntrinsic | intrinsic_bits;
Mingyao Yang063fc772016-08-02 11:02:54 -0700461 if (kIsDebugBuild) {
462 uint32_t java_flags = (GetAccessFlags() & kAccJavaFlagsMask);
463 bool is_constructor = IsConstructor();
464 bool is_synchronized = IsSynchronized();
465 bool skip_access_checks = SkipAccessChecks();
466 bool is_fast_native = IsFastNative();
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100467 bool is_critical_native = IsCriticalNative();
Mingyao Yang063fc772016-08-02 11:02:54 -0700468 bool is_copied = IsCopied();
469 bool is_miranda = IsMiranda();
470 bool is_default = IsDefault();
471 bool is_default_conflict = IsDefaultConflicting();
472 bool is_compilable = IsCompilable();
473 bool must_count_locks = MustCountLocks();
David Brazdil49dded02018-04-19 12:41:04 +0100474 HiddenApiAccessFlags::ApiList hidden_api_flags = GetHiddenApiAccessFlags();
Mingyao Yang063fc772016-08-02 11:02:54 -0700475 SetAccessFlags(new_value);
476 DCHECK_EQ(java_flags, (GetAccessFlags() & kAccJavaFlagsMask));
477 DCHECK_EQ(is_constructor, IsConstructor());
478 DCHECK_EQ(is_synchronized, IsSynchronized());
479 DCHECK_EQ(skip_access_checks, SkipAccessChecks());
480 DCHECK_EQ(is_fast_native, IsFastNative());
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100481 DCHECK_EQ(is_critical_native, IsCriticalNative());
Mingyao Yang063fc772016-08-02 11:02:54 -0700482 DCHECK_EQ(is_copied, IsCopied());
483 DCHECK_EQ(is_miranda, IsMiranda());
484 DCHECK_EQ(is_default, IsDefault());
485 DCHECK_EQ(is_default_conflict, IsDefaultConflicting());
486 DCHECK_EQ(is_compilable, IsCompilable());
487 DCHECK_EQ(must_count_locks, MustCountLocks());
David Brazdil49dded02018-04-19 12:41:04 +0100488 // Only DCHECK that we have preserved the hidden API access flags if the
489 // original method was not on the whitelist. This is because the core image
490 // does not have the access flags set (b/77733081). It is fine to hard-code
491 // these because (a) warnings on greylist do not change semantics, and
492 // (b) only VarHandle intrinsics are blacklisted at the moment and they
493 // should not be used outside tests with disabled API checks.
494 if (hidden_api_flags != HiddenApiAccessFlags::kWhitelist) {
495 DCHECK_EQ(hidden_api_flags, GetHiddenApiAccessFlags());
David Brazdil87144352018-01-24 12:50:01 +0000496 }
Mingyao Yang063fc772016-08-02 11:02:54 -0700497 } else {
498 SetAccessFlags(new_value);
499 }
500}
501
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700502template<ReadBarrierOption kReadBarrierOption, typename RootVisitorType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700503void ArtMethod::VisitRoots(RootVisitorType& visitor, PointerSize pointer_size) {
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700504 if (LIKELY(!declaring_class_.IsNull())) {
505 visitor.VisitRoot(declaring_class_.AddressWithoutBarrier());
506 mirror::Class* klass = declaring_class_.Read<kReadBarrierOption>();
Nicolas Geoffraydec3a122016-02-13 12:38:36 +0000507 if (UNLIKELY(klass->IsProxyClass())) {
508 // For normal methods, dex cache shortcuts will be visited through the declaring class.
509 // However, for proxies we need to keep the interface method alive, so we visit its roots.
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000510 ArtMethod* interface_method = GetInterfaceMethodForProxyUnchecked(pointer_size);
Nicolas Geoffraydec3a122016-02-13 12:38:36 +0000511 DCHECK(interface_method != nullptr);
Nicolas Geoffraydec3a122016-02-13 12:38:36 +0000512 interface_method->VisitRoots(visitor, pointer_size);
513 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100514 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800515}
516
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800517template <typename Visitor>
Vladimir Marko5122e6b2017-08-17 16:10:09 +0100518inline void ArtMethod::UpdateObjectsForImageRelocation(const Visitor& visitor) {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800519 mirror::Class* old_class = GetDeclaringClassUnchecked<kWithoutReadBarrier>();
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800520 mirror::Class* new_class = visitor(old_class);
521 if (old_class != new_class) {
522 SetDeclaringClass(new_class);
523 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800524}
525
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800526template <ReadBarrierOption kReadBarrierOption, typename Visitor>
Andreas Gampe542451c2016-07-26 09:02:02 -0700527inline void ArtMethod::UpdateEntrypoints(const Visitor& visitor, PointerSize pointer_size) {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800528 if (IsNative<kReadBarrierOption>()) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800529 const void* old_native_code = GetEntryPointFromJniPtrSize(pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800530 const void* new_native_code = visitor(old_native_code);
531 if (old_native_code != new_native_code) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800532 SetEntryPointFromJniPtrSize(new_native_code, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800533 }
534 } else {
Andreas Gampe75f08852016-07-19 08:06:07 -0700535 DCHECK(GetDataPtrSize(pointer_size) == nullptr);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800536 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800537 const void* old_code = GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800538 const void* new_code = visitor(old_code);
539 if (old_code != new_code) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800540 SetEntryPointFromQuickCompiledCodePtrSize(new_code, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800541 }
542}
543
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800544inline CodeItemInstructionAccessor ArtMethod::DexInstructions() {
David Sehr0225f8e2018-01-31 08:52:24 +0000545 return CodeItemInstructionAccessor(*GetDexFile(), GetCodeItem());
546}
547
548inline CodeItemDataAccessor ArtMethod::DexInstructionData() {
549 return CodeItemDataAccessor(*GetDexFile(), GetCodeItem());
550}
551
552inline CodeItemDebugInfoAccessor ArtMethod::DexInstructionDebugInfo() {
553 return CodeItemDebugInfoAccessor(*GetDexFile(), GetCodeItem(), GetDexMethodIndex());
Mathieu Chartier69147f12017-11-06 20:02:24 -0800554}
555
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800556} // namespace art
557
Mathieu Chartiere401d142015-04-22 13:56:20 -0700558#endif // ART_RUNTIME_ART_METHOD_INL_H_