blob: 23c1fe94934c6c1aa8665638563a9aa461963458 [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_H_
18#define ART_RUNTIME_ART_METHOD_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
Andreas Gampe479b1de2016-07-19 18:27:17 -070020#include <cstddef>
21
Andreas Gampe57943812017-12-06 21:39:13 -080022#include <android-base/logging.h>
Andreas Gampe7458a7a2019-01-02 10:32:11 -080023#include <jni.h>
Andreas Gampe57943812017-12-06 21:39:13 -080024
Mathieu Chartier210531f2018-01-12 10:15:51 -080025#include "base/array_ref.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010026#include "base/bit_utils.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010027#include "base/casts.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070028#include "base/enums.h"
Andreas Gampe57943812017-12-06 21:39:13 -080029#include "base/macros.h"
Andreas Gampedcc528d2017-12-07 13:37:10 -080030#include "base/runtime_debug.h"
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080031#include "dex/dex_file_structs.h"
David Sehr8c0961f2018-01-23 16:11:38 -080032#include "dex/modifiers.h"
David Sehr67bf42e2018-02-26 16:43:04 -080033#include "dex/primitive.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070034#include "gc_root.h"
Mathieu Chartier28357fa2016-10-18 16:27:40 -070035#include "obj_ptr.h"
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070036#include "offsets.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070037#include "read_barrier_option.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080038
39namespace art {
40
Andreas Gampefe613a72019-05-01 15:54:20 -070041class CodeItemDataAccessor;
42class CodeItemDebugInfoAccessor;
43class CodeItemInstructionAccessor;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080044class DexFile;
David Sehr9323e6e2016-09-13 08:58:35 -070045template<class T> class Handle;
Andreas Gampe75a7db62016-09-26 12:04:26 -070046class ImtConflictTable;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070047enum InvokeType : uint32_t;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080048union JValue;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010049class OatQuickMethodHeader;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010050class ProfilingInfo;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070051class ScopedObjectAccessAlreadyRunnable;
Jeff Hao16743632013-05-08 10:59:04 -070052class ShadowFrame;
Andreas Gampeb79674c2019-05-14 16:16:46 -070053class Signature;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080054
55namespace mirror {
Mathieu Chartiere401d142015-04-22 13:56:20 -070056class Array;
57class Class;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070058class ClassLoader;
59class DexCache;
Mathieu Chartiere42888f2016-04-14 10:49:19 -070060class IfTable;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070061class Object;
62template <typename MirrorType> class ObjectArray;
Mathieu Chartiere401d142015-04-22 13:56:20 -070063class PointerArray;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070064class String;
Vladimir Marko07bfbac2017-07-06 14:55:02 +010065
66template <typename T> struct NativeDexCachePair;
67using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
68using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Mathieu Chartiere401d142015-04-22 13:56:20 -070069} // namespace mirror
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080070
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010071class ArtMethod final {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080072 public:
Andreas Gampeaea05c12017-05-19 08:45:02 -070073 // Should the class state be checked on sensitive operations?
74 DECLARE_RUNTIME_DEBUG_FLAG(kCheckDeclaringClassState);
Andreas Gampeb1106e22017-02-23 11:34:48 -080075
Andreas Gampec6ea7d02017-02-01 16:46:28 -080076 // The runtime dex_method_index is kDexNoIndex. To lower dependencies, we use this
77 // constexpr, and ensure that the value is correct in art_method.cc.
78 static constexpr uint32_t kRuntimeMethodDexMethodIndex = 0xFFFFFFFF;
79
Mathieu Chartiere401d142015-04-22 13:56:20 -070080 ArtMethod() : access_flags_(0), dex_code_item_offset_(0), dex_method_index_(0),
Andreas Gampe479b1de2016-07-19 18:27:17 -070081 method_index_(0), hotness_count_(0) { }
Mathieu Chartiere401d142015-04-22 13:56:20 -070082
Andreas Gampe542451c2016-07-26 09:02:02 -070083 ArtMethod(ArtMethod* src, PointerSize image_pointer_size) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +000084 CopyFrom(src, image_pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -070085 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -070086
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070087 static ArtMethod* FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
88 jobject jlr_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070089 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62f05122014-03-21 11:21:29 -070090
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080091 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Vladimir Markod93e3742018-07-18 10:58:13 +010092 ALWAYS_INLINE ObjPtr<mirror::Class> GetDeclaringClass() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080093
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080094 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Vladimir Markod93e3742018-07-18 10:58:13 +010095 ALWAYS_INLINE ObjPtr<mirror::Class> GetDeclaringClassUnchecked()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070096 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -070097
Mathieu Chartier8c19d242017-03-06 12:35:10 -080098 mirror::CompressedReference<mirror::Object>* GetDeclaringClassAddressWithoutBarrier() {
99 return declaring_class_.AddressWithoutBarrier();
100 }
101
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700102 void SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700103 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800104
Vladimir Markod93e3742018-07-18 10:58:13 +0100105 bool CASDeclaringClass(ObjPtr<mirror::Class> expected_class, ObjPtr<mirror::Class> desired_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700106 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -0700107
David Srbecky56de89a2018-10-01 15:32:20 +0100108 static constexpr MemberOffset DeclaringClassOffset() {
Brian Carlstromea46f952013-07-30 01:26:50 -0700109 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, declaring_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800110 }
111
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800112 uint32_t GetAccessFlags() {
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800113 return access_flags_.load(std::memory_order_relaxed);
114 }
Jeff Hao5d917302013-02-27 17:57:33 -0800115
Mingyao Yang063fc772016-08-02 11:02:54 -0700116 // This version should only be called when it's certain there is no
117 // concurrency so there is no need to guarantee atomicity. For example,
118 // before the method is linked.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700119 void SetAccessFlags(uint32_t new_access_flags) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700120 access_flags_.store(new_access_flags, std::memory_order_relaxed);
121 }
122
David Srbecky56de89a2018-10-01 15:32:20 +0100123 static constexpr MemberOffset AccessFlagsOffset() {
Vladimir Marko5122e6b2017-08-17 16:10:09 +0100124 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, access_flags_));
125 }
126
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800127 // Approximate what kind of method call would be used for this method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700128 InvokeType GetInvokeType() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800129
130 // Returns true if the method is declared public.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000131 bool IsPublic() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800132 return (GetAccessFlags() & kAccPublic) != 0;
133 }
134
135 // Returns true if the method is declared private.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000136 bool IsPrivate() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800137 return (GetAccessFlags() & kAccPrivate) != 0;
138 }
139
140 // Returns true if the method is declared static.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000141 bool IsStatic() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800142 return (GetAccessFlags() & kAccStatic) != 0;
143 }
144
Orion Hodson6c4921b2016-09-21 15:41:06 +0100145 // Returns true if the method is a constructor according to access flags.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000146 bool IsConstructor() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800147 return (GetAccessFlags() & kAccConstructor) != 0;
148 }
149
Orion Hodson6c4921b2016-09-21 15:41:06 +0100150 // Returns true if the method is a class initializer according to access flags.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000151 bool IsClassInitializer() {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700152 return IsConstructor() && IsStatic();
153 }
154
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800155 // Returns true if the method is static, private, or a constructor.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000156 bool IsDirect() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800157 return IsDirect(GetAccessFlags());
158 }
159
160 static bool IsDirect(uint32_t access_flags) {
Andreas Gampecbc96b82015-09-30 20:05:24 +0000161 constexpr uint32_t direct = kAccStatic | kAccPrivate | kAccConstructor;
162 return (access_flags & direct) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800163 }
164
165 // Returns true if the method is declared synchronized.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000166 bool IsSynchronized() {
167 constexpr uint32_t synchonized = kAccSynchronized | kAccDeclaredSynchronized;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800168 return (GetAccessFlags() & synchonized) != 0;
169 }
170
Andreas Gampecbc96b82015-09-30 20:05:24 +0000171 bool IsFinal() {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100172 return (GetAccessFlags() & kAccFinal) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800173 }
174
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100175 bool IsIntrinsic() {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100176 return (GetAccessFlags() & kAccIntrinsic) != 0;
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100177 }
178
Mingyao Yang063fc772016-08-02 11:02:54 -0700179 ALWAYS_INLINE void SetIntrinsic(uint32_t intrinsic) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100180
181 uint32_t GetIntrinsic() {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100182 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
183 static_assert(IsPowerOfTwo((kAccIntrinsicBits >> kAccFlagsShift) + 1),
184 "kAccIntrinsicBits are not continuous");
185 static_assert((kAccIntrinsic & kAccIntrinsicBits) == 0,
186 "kAccIntrinsic overlaps kAccIntrinsicBits");
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100187 DCHECK(IsIntrinsic());
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100188 return (GetAccessFlags() & kAccIntrinsicBits) >> kAccFlagsShift;
189 }
190
David Brazdil904e75a2018-05-15 13:45:08 +0100191 void SetNotIntrinsic() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100192
Alex Light36121492016-02-22 13:43:29 -0800193 bool IsCopied() {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100194 static_assert((kAccCopied & (kAccIntrinsic | kAccIntrinsicBits)) == 0,
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100195 "kAccCopied conflicts with intrinsic modifier");
Alex Light36121492016-02-22 13:43:29 -0800196 const bool copied = (GetAccessFlags() & kAccCopied) != 0;
197 // (IsMiranda() || IsDefaultConflicting()) implies copied
198 DCHECK(!(IsMiranda() || IsDefaultConflicting()) || copied)
199 << "Miranda or default-conflict methods must always be copied.";
200 return copied;
Alex Lightfcea56f2016-02-17 11:59:05 -0800201 }
202
Andreas Gampecbc96b82015-09-30 20:05:24 +0000203 bool IsMiranda() {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100204 // The kAccMiranda flag value is used with a different meaning for native methods,
205 // so we need to check the kAccNative flag as well.
206 return (GetAccessFlags() & (kAccNative | kAccMiranda)) == kAccMiranda;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800207 }
208
Alex Light9139e002015-10-09 15:59:48 -0700209 // Returns true if invoking this method will not throw an AbstractMethodError or
210 // IncompatibleClassChangeError.
211 bool IsInvokable() {
212 return !IsAbstract() && !IsDefaultConflicting();
213 }
214
Nicolas Geoffray250a3782016-04-20 16:27:53 +0100215 bool IsCompilable() {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100216 if (IsIntrinsic()) {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100217 // kAccCompileDontBother overlaps with kAccIntrinsicBits.
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100218 return true;
219 }
Nicolas Geoffray250a3782016-04-20 16:27:53 +0100220 return (GetAccessFlags() & kAccCompileDontBother) == 0;
221 }
222
Alex Lightfcbafb32017-02-02 15:09:54 -0800223 void SetDontCompile() {
224 AddAccessFlags(kAccCompileDontBother);
225 }
226
Alex Light9139e002015-10-09 15:59:48 -0700227 // A default conflict method is a special sentinel method that stands for a conflict between
228 // multiple default methods. It cannot be invoked, throwing an IncompatibleClassChangeError if one
229 // attempts to do so.
230 bool IsDefaultConflicting() {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100231 if (IsIntrinsic()) {
232 return false;
233 }
Alex Light9139e002015-10-09 15:59:48 -0700234 return (GetAccessFlags() & kAccDefaultConflict) != 0u;
235 }
236
Alex Lighteb7c1442015-08-31 13:17:42 -0700237 // This is set by the class linker.
238 bool IsDefault() {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100239 static_assert((kAccDefault & (kAccIntrinsic | kAccIntrinsicBits)) == 0,
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100240 "kAccDefault conflicts with intrinsic modifier");
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100241 return (GetAccessFlags() & kAccDefault) != 0;
Alex Lighteb7c1442015-08-31 13:17:42 -0700242 }
243
Alex Lighta01de592016-11-15 10:43:06 -0800244 bool IsObsolete() {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100245 return (GetAccessFlags() & kAccObsoleteMethod) != 0;
Alex Lighta01de592016-11-15 10:43:06 -0800246 }
247
Alex Lightdba61482016-12-21 08:20:29 -0800248 void SetIsObsolete() {
Alex Lightfcbafb32017-02-02 15:09:54 -0800249 AddAccessFlags(kAccObsoleteMethod);
Alex Lightdba61482016-12-21 08:20:29 -0800250 }
251
Andreas Gampecbc96b82015-09-30 20:05:24 +0000252 bool IsNative() {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100253 return (GetAccessFlags() & kAccNative) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800254 }
255
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100256 // Checks to see if the method was annotated with @dalvik.annotation.optimization.FastNative.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000257 bool IsFastNative() {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100258 // The presence of the annotation is checked by ClassLinker and recorded in access flags.
259 // The kAccFastNative flag value is used with a different meaning for non-native methods,
260 // so we need to check the kAccNative flag as well.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000261 constexpr uint32_t mask = kAccFastNative | kAccNative;
Ian Rogers16ce0922014-01-10 14:59:36 -0800262 return (GetAccessFlags() & mask) == mask;
Ian Rogers1eb512d2013-10-18 15:42:20 -0700263 }
264
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100265 // Checks to see if the method was annotated with @dalvik.annotation.optimization.CriticalNative.
266 bool IsCriticalNative() {
267 // The presence of the annotation is checked by ClassLinker and recorded in access flags.
268 // The kAccCriticalNative flag value is used with a different meaning for non-native methods,
269 // so we need to check the kAccNative flag as well.
270 constexpr uint32_t mask = kAccCriticalNative | kAccNative;
271 return (GetAccessFlags() & mask) == mask;
272 }
273
Andreas Gampecbc96b82015-09-30 20:05:24 +0000274 bool IsAbstract() {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100275 return (GetAccessFlags() & kAccAbstract) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800276 }
277
Andreas Gampecbc96b82015-09-30 20:05:24 +0000278 bool IsSynthetic() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800279 return (GetAccessFlags() & kAccSynthetic) != 0;
280 }
281
Orion Hodsoncfa325e2016-10-13 10:25:54 +0100282 bool IsVarargs() {
283 return (GetAccessFlags() & kAccVarargs) != 0;
284 }
285
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700286 bool IsProxyMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800287
Orion Hodsoneb4d19b2017-11-06 15:49:23 +0000288 bool IsPolymorphicSignature() REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodson43f0cdb2017-10-10 14:47:32 +0100289
David Srbecky9581e612018-10-30 14:29:43 +0000290 bool UseFastInterpreterToInterpreterInvoke() {
291 // The bit is applicable only if the method is not intrinsic.
292 constexpr uint32_t mask = kAccFastInterpreterToInterpreterInvoke | kAccIntrinsic;
293 return (GetAccessFlags() & mask) == kAccFastInterpreterToInterpreterInvoke;
294 }
295
296 void SetFastInterpreterToInterpreterInvokeFlag() {
297 DCHECK(!IsIntrinsic());
298 AddAccessFlags(kAccFastInterpreterToInterpreterInvoke);
299 }
300
301 void ClearFastInterpreterToInterpreterInvokeFlag() {
302 if (!IsIntrinsic()) {
303 ClearAccessFlags(kAccFastInterpreterToInterpreterInvoke);
304 }
305 }
306
Igor Murashkindf707e42016-02-02 16:56:50 -0800307 bool SkipAccessChecks() {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100308 // The kAccSkipAccessChecks flag value is used with a different meaning for native methods,
309 // so we need to check the kAccNative flag as well.
310 return (GetAccessFlags() & (kAccSkipAccessChecks | kAccNative)) == kAccSkipAccessChecks;
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200311 }
312
Igor Murashkindf707e42016-02-02 16:56:50 -0800313 void SetSkipAccessChecks() {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100314 // SkipAccessChecks() is applicable only to non-native methods.
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100315 DCHECK(!IsNative());
Mingyao Yang063fc772016-08-02 11:02:54 -0700316 AddAccessFlags(kAccSkipAccessChecks);
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200317 }
318
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100319 bool PreviouslyWarm() {
320 if (IsIntrinsic()) {
321 // kAccPreviouslyWarm overlaps with kAccIntrinsicBits.
322 return true;
323 }
324 return (GetAccessFlags() & kAccPreviouslyWarm) != 0;
325 }
326
327 void SetPreviouslyWarm() {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100328 if (IsIntrinsic()) {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100329 // kAccPreviouslyWarm overlaps with kAccIntrinsicBits.
330 return;
331 }
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100332 AddAccessFlags(kAccPreviouslyWarm);
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100333 }
334
Andreas Gampe56fdd0e2016-04-28 14:56:54 -0700335 // Should this method be run in the interpreter and count locks (e.g., failed structured-
336 // locking verification)?
337 bool MustCountLocks() {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100338 if (IsIntrinsic()) {
339 return false;
340 }
Andreas Gampe56fdd0e2016-04-28 14:56:54 -0700341 return (GetAccessFlags() & kAccMustCountLocks) != 0;
342 }
343
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100344 void SetMustCountLocks() {
345 AddAccessFlags(kAccMustCountLocks);
346 }
347
Alex Lighteb7c1442015-08-31 13:17:42 -0700348 // Returns true if this method could be overridden by a default method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700349 bool IsOverridableByDefaultMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -0700350
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700351 bool CheckIncompatibleClassChange(InvokeType type) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800352
Alex Light9139e002015-10-09 15:59:48 -0700353 // Throws the error that would result from trying to invoke this method (i.e.
354 // IncompatibleClassChangeError or AbstractMethodError). Only call if !IsInvokable();
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700355 void ThrowInvocationTimeError() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light9139e002015-10-09 15:59:48 -0700356
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700357 uint16_t GetMethodIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800358
Mathieu Chartier9f3629d2014-10-28 18:23:02 -0700359 // Doesn't do erroneous / unresolved class checks.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700360 uint16_t GetMethodIndexDuringLinking() REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier9f3629d2014-10-28 18:23:02 -0700361
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700362 size_t GetVtableIndex() REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800363 return GetMethodIndex();
364 }
365
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700366 void SetMethodIndex(uint16_t new_method_index) REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100367 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700368 method_index_ = new_method_index;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800369 }
370
David Srbecky56de89a2018-10-01 15:32:20 +0100371 static constexpr MemberOffset DexMethodIndexOffset() {
Andreas Gampe5d08fcc2017-06-05 17:56:46 -0700372 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, dex_method_index_));
Vladimir Markoc1363122015-04-09 14:13:13 +0100373 }
374
David Srbecky56de89a2018-10-01 15:32:20 +0100375 static constexpr MemberOffset MethodIndexOffset() {
Andreas Gampe5d08fcc2017-06-05 17:56:46 -0700376 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, method_index_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800377 }
378
Mathieu Chartiere401d142015-04-22 13:56:20 -0700379 uint32_t GetCodeItemOffset() {
380 return dex_code_item_offset_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800381 }
382
Mathieu Chartiere401d142015-04-22 13:56:20 -0700383 void SetCodeItemOffset(uint32_t new_code_off) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100384 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700385 dex_code_item_offset_ = new_code_off;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800386 }
387
388 // Number of 32bit registers that would be required to hold all the arguments
Vladimir Marko6e781582019-02-04 10:58:06 +0000389 static size_t NumArgRegisters(const char* shorty);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800390
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100391 ALWAYS_INLINE uint32_t GetDexMethodIndex() {
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000392 return dex_method_index_;
393 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800394
Mathieu Chartiere401d142015-04-22 13:56:20 -0700395 void SetDexMethodIndex(uint32_t new_idx) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100396 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700397 dex_method_index_ = new_idx;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800398 }
399
Vladimir Markod93e3742018-07-18 10:58:13 +0100400 // Lookup the Class from the type index into this method's dex cache.
Vladimir Markob45528c2017-07-27 14:14:28 +0100401 ObjPtr<mirror::Class> LookupResolvedClassFromTypeIndex(dex::TypeIndex type_idx)
402 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markod93e3742018-07-18 10:58:13 +0100403 // Resolve the Class from the type index into this method's dex cache.
Vladimir Markob45528c2017-07-27 14:14:28 +0100404 ObjPtr<mirror::Class> ResolveClassFromTypeIndex(dex::TypeIndex type_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700405 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersa0485602014-12-02 15:48:04 -0800406
Alex Light6c8467f2015-11-20 15:03:26 -0800407 // Returns true if this method has the same name and signature of the other method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700408 bool HasSameNameAndSignature(ArtMethod* other) REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light6c8467f2015-11-20 15:03:26 -0800409
Ian Rogerse0a02da2014-12-02 14:10:53 -0800410 // Find the method that this method overrides.
Andreas Gampe542451c2016-07-26 09:02:02 -0700411 ArtMethod* FindOverriddenMethod(PointerSize pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700412 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800413
Ian Rogerse0a02da2014-12-02 14:10:53 -0800414 // Find the method index for this method within other_dexfile. If this method isn't present then
Andreas Gampee2abbc62017-09-15 11:59:26 -0700415 // return dex::kDexNoIndex. The name_and_signature_idx MUST refer to a MethodId with the same
Ian Rogerse0a02da2014-12-02 14:10:53 -0800416 // name and signature in the other_dexfile, such as the method index used to resolve this method
417 // in the other_dexfile.
418 uint32_t FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
419 uint32_t name_and_signature_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700420 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogerse0a02da2014-12-02 14:10:53 -0800421
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700422 void Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result, const char* shorty)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700423 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800424
Mathieu Chartiere401d142015-04-22 13:56:20 -0700425 const void* GetEntryPointFromQuickCompiledCode() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700426 return GetEntryPointFromQuickCompiledCodePtrSize(kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800427 }
Andreas Gampe542451c2016-07-26 09:02:02 -0700428 ALWAYS_INLINE const void* GetEntryPointFromQuickCompiledCodePtrSize(PointerSize pointer_size) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100429 return GetNativePointer<const void*>(
Mathieu Chartier2d721012014-11-10 11:08:06 -0800430 EntryPointFromQuickCompiledCodeOffset(pointer_size), pointer_size);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800431 }
432
Mathieu Chartiere401d142015-04-22 13:56:20 -0700433 void SetEntryPointFromQuickCompiledCode(const void* entry_point_from_quick_compiled_code) {
Mathieu Chartier2d721012014-11-10 11:08:06 -0800434 SetEntryPointFromQuickCompiledCodePtrSize(entry_point_from_quick_compiled_code,
Andreas Gampe542451c2016-07-26 09:02:02 -0700435 kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800436 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800437 ALWAYS_INLINE void SetEntryPointFromQuickCompiledCodePtrSize(
Andreas Gampe542451c2016-07-26 09:02:02 -0700438 const void* entry_point_from_quick_compiled_code, PointerSize pointer_size) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100439 SetNativePointer(EntryPointFromQuickCompiledCodeOffset(pointer_size),
Andreas Gampe542451c2016-07-26 09:02:02 -0700440 entry_point_from_quick_compiled_code,
441 pointer_size);
David Srbecky9581e612018-10-30 14:29:43 +0000442 // We might want to invoke compiled code, so don't use the fast path.
443 ClearFastInterpreterToInterpreterInvokeFlag();
Ian Rogersef7d42f2014-01-06 12:55:46 -0800444 }
445
Alex Lightd78ddec2017-04-18 15:20:38 -0700446 // Registers the native method and returns the new entry point. NB The returned entry point might
447 // be different from the native_method argument if some MethodCallback modifies it.
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100448 const void* RegisterNative(const void* native_method)
Alex Lightd78ddec2017-04-18 15:20:38 -0700449 REQUIRES_SHARED(Locks::mutator_lock_) WARN_UNUSED;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800450
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700451 void UnregisterNative() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800452
David Srbecky56de89a2018-10-01 15:32:20 +0100453 static constexpr MemberOffset DataOffset(PointerSize pointer_size) {
Mathieu Chartiereace4582014-11-24 18:29:54 -0800454 return MemberOffset(PtrSizedFieldsOffset(pointer_size) + OFFSETOF_MEMBER(
Andreas Gampe542451c2016-07-26 09:02:02 -0700455 PtrSizedFields, data_) / sizeof(void*) * static_cast<size_t>(pointer_size));
Andreas Gampe75f08852016-07-19 08:06:07 -0700456 }
457
David Srbecky56de89a2018-10-01 15:32:20 +0100458 static constexpr MemberOffset EntryPointFromJniOffset(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700459 return DataOffset(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800460 }
461
David Srbecky56de89a2018-10-01 15:32:20 +0100462 static constexpr MemberOffset EntryPointFromQuickCompiledCodeOffset(PointerSize pointer_size) {
Mathieu Chartiereace4582014-11-24 18:29:54 -0800463 return MemberOffset(PtrSizedFieldsOffset(pointer_size) + OFFSETOF_MEMBER(
Andreas Gampe542451c2016-07-26 09:02:02 -0700464 PtrSizedFields, entry_point_from_quick_compiled_code_) / sizeof(void*)
465 * static_cast<size_t>(pointer_size));
Mathieu Chartier2d721012014-11-10 11:08:06 -0800466 }
467
Andreas Gampe542451c2016-07-26 09:02:02 -0700468 ImtConflictTable* GetImtConflictTable(PointerSize pointer_size) {
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000469 DCHECK(IsRuntimeMethod());
Andreas Gampe75f08852016-07-19 08:06:07 -0700470 return reinterpret_cast<ImtConflictTable*>(GetDataPtrSize(pointer_size));
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000471 }
472
Andreas Gampe542451c2016-07-26 09:02:02 -0700473 ALWAYS_INLINE void SetImtConflictTable(ImtConflictTable* table, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700474 DCHECK(IsRuntimeMethod());
475 SetDataPtrSize(table, pointer_size);
476 }
477
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000478 ProfilingInfo* GetProfilingInfo(PointerSize pointer_size) REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray226805d2018-12-14 10:59:02 +0000479 if (UNLIKELY(IsNative() || IsProxyMethod() || !IsInvokable())) {
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000480 return nullptr;
481 }
Andreas Gampe75f08852016-07-19 08:06:07 -0700482 return reinterpret_cast<ProfilingInfo*>(GetDataPtrSize(pointer_size));
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000483 }
484
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000485 ALWAYS_INLINE void SetProfilingInfo(ProfilingInfo* info) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700486 SetDataPtrSize(info, kRuntimePointerSize);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000487 }
488
Andreas Gampe542451c2016-07-26 09:02:02 -0700489 ALWAYS_INLINE void SetProfilingInfoPtrSize(ProfilingInfo* info, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700490 SetDataPtrSize(info, pointer_size);
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000491 }
492
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000493 static MemberOffset ProfilingInfoOffset() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700494 DCHECK(IsImagePointerSize(kRuntimePointerSize));
495 return DataOffset(kRuntimePointerSize);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000496 }
497
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300498 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Mingyao Yang063fc772016-08-02 11:02:54 -0700499 ALWAYS_INLINE bool HasSingleImplementation() REQUIRES_SHARED(Locks::mutator_lock_);
500
501 ALWAYS_INLINE void SetHasSingleImplementation(bool single_impl) {
502 DCHECK(!IsIntrinsic()) << "conflict with intrinsic bits";
503 if (single_impl) {
504 AddAccessFlags(kAccSingleImplementation);
505 } else {
506 ClearAccessFlags(kAccSingleImplementation);
507 }
508 }
509
Alex Light97e78032017-06-27 17:51:55 -0700510 // Takes a method and returns a 'canonical' one if the method is default (and therefore
511 // potentially copied from some other class). For example, this ensures that the debugger does not
512 // get confused as to which method we are in.
513 ArtMethod* GetCanonicalMethod(PointerSize pointer_size = kRuntimePointerSize)
514 REQUIRES_SHARED(Locks::mutator_lock_);
515
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100516 ArtMethod* GetSingleImplementation(PointerSize pointer_size);
Mingyao Yang063fc772016-08-02 11:02:54 -0700517
518 ALWAYS_INLINE void SetSingleImplementation(ArtMethod* method, PointerSize pointer_size) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100519 DCHECK(!IsNative());
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300520 // Non-abstract method's single implementation is just itself.
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100521 DCHECK(IsAbstract());
Mingyao Yang063fc772016-08-02 11:02:54 -0700522 SetDataPtrSize(method, pointer_size);
523 }
524
Mathieu Chartiere401d142015-04-22 13:56:20 -0700525 void* GetEntryPointFromJni() {
Andreas Gampe75f08852016-07-19 08:06:07 -0700526 DCHECK(IsNative());
Andreas Gampe542451c2016-07-26 09:02:02 -0700527 return GetEntryPointFromJniPtrSize(kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800528 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100529
Andreas Gampe542451c2016-07-26 09:02:02 -0700530 ALWAYS_INLINE void* GetEntryPointFromJniPtrSize(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700531 return GetDataPtrSize(pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800532 }
533
Andreas Gampecbc96b82015-09-30 20:05:24 +0000534 void SetEntryPointFromJni(const void* entrypoint) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100535 DCHECK(IsNative());
Andreas Gampe542451c2016-07-26 09:02:02 -0700536 SetEntryPointFromJniPtrSize(entrypoint, kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800537 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100538
Andreas Gampe542451c2016-07-26 09:02:02 -0700539 ALWAYS_INLINE void SetEntryPointFromJniPtrSize(const void* entrypoint, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700540 SetDataPtrSize(entrypoint, pointer_size);
541 }
542
Andreas Gampe542451c2016-07-26 09:02:02 -0700543 ALWAYS_INLINE void* GetDataPtrSize(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700544 DCHECK(IsImagePointerSize(pointer_size));
545 return GetNativePointer<void*>(DataOffset(pointer_size), pointer_size);
546 }
547
Andreas Gampe542451c2016-07-26 09:02:02 -0700548 ALWAYS_INLINE void SetDataPtrSize(const void* data, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700549 DCHECK(IsImagePointerSize(pointer_size));
550 SetNativePointer(DataOffset(pointer_size), data, pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800551 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800552
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800553 // Is this a CalleSaveMethod or ResolutionMethod and therefore doesn't adhere to normal
554 // conventions for a method of managed code. Returns false for Proxy methods.
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800555 ALWAYS_INLINE bool IsRuntimeMethod() {
Roland Levillainfa854e42018-02-07 13:09:55 +0000556 return dex_method_index_ == kRuntimeMethodDexMethodIndex;
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800557 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800558
559 // Is this a hand crafted method used for something like describing callee saves?
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700560 bool IsCalleeSaveMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800561
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700562 bool IsResolutionMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800563
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700564 bool IsImtUnimplementedMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700565
Ian Rogersc449aa82013-07-29 14:35:46 -0700566 // Find the catch block for the given exception type and dex_pc. When a catch block is found,
567 // indicates whether the found catch block is responsible for clearing the exception or whether
568 // a move-exception instruction is present.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700569 uint32_t FindCatchBlock(Handle<mirror::Class> exception_type, uint32_t dex_pc,
570 bool* has_no_move_exception)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700571 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800572
Mathieu Chartierda7c6502015-07-23 16:01:26 -0700573 // NO_THREAD_SAFETY_ANALYSIS since we don't know what the callback requires.
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700574 template<ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename RootVisitorType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700575 void VisitRoots(RootVisitorType& visitor, PointerSize pointer_size) NO_THREAD_SAFETY_ANALYSIS;
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800576
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700577 const DexFile* GetDexFile() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700578
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700579 const char* GetDeclaringClassDescriptor() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700580
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800581 ALWAYS_INLINE const char* GetShorty() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700582
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700583 const char* GetShorty(uint32_t* out_length) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700584
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700585 const Signature GetSignature() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700586
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700587 ALWAYS_INLINE const char* GetName() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700588
Vladimir Marko18090d12018-06-01 16:53:12 +0100589 ObjPtr<mirror::String> ResolveNameString() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6b14d552014-10-28 21:50:58 -0700590
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800591 const dex::CodeItem* GetCodeItem() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700592
Vladimir Marko942fd312017-01-16 20:52:19 +0000593 bool IsResolvedTypeIdx(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700594
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700595 int32_t GetLineNumFromDexPC(uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700596
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800597 const dex::ProtoId& GetPrototype() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700598
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800599 const dex::TypeList* GetParameterTypeList() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700600
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700601 const char* GetDeclaringClassSourceFile() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700602
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700603 uint16_t GetClassDefIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700604
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800605 const dex::ClassDef& GetClassDef() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700606
Orion Hodson58143d22018-02-20 08:44:20 +0000607 ALWAYS_INLINE size_t GetNumberOfParameters() REQUIRES_SHARED(Locks::mutator_lock_);
608
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700609 const char* GetReturnTypeDescriptor() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700610
Alex Lightd7661582017-05-01 13:48:16 -0700611 ALWAYS_INLINE Primitive::Type GetReturnTypePrimitive() REQUIRES_SHARED(Locks::mutator_lock_);
612
Andreas Gampea5b09a62016-11-17 15:21:22 -0800613 const char* GetTypeDescriptorFromTypeIdx(dex::TypeIndex type_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700614 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700615
Vladimir Markob45528c2017-07-27 14:14:28 +0100616 // Lookup return type.
617 ObjPtr<mirror::Class> LookupResolvedReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
618 // Resolve return type. May cause thread suspension due to GetClassFromTypeIdx
619 // calling ResolveType this caused a large number of bugs at call sites.
620 ObjPtr<mirror::Class> ResolveReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersded66a02014-10-28 18:12:55 -0700621
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000622 ObjPtr<mirror::ClassLoader> GetClassLoader() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700623
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800624 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000625 ObjPtr<mirror::DexCache> GetDexCache() REQUIRES_SHARED(Locks::mutator_lock_);
626 ObjPtr<mirror::DexCache> GetObsoleteDexCache() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700627
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000628 ALWAYS_INLINE ArtMethod* GetInterfaceMethodForProxyUnchecked(PointerSize pointer_size)
629 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe542451c2016-07-26 09:02:02 -0700630 ALWAYS_INLINE ArtMethod* GetInterfaceMethodIfProxy(PointerSize pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700631 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700632
Alex Light4ba388a2017-01-27 10:26:49 -0800633 ArtMethod* GetNonObsoleteMethod() REQUIRES_SHARED(Locks::mutator_lock_);
634
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700635 // May cause thread suspension due to class resolution.
636 bool EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700637 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700638
Vladimir Marko14632852015-08-17 12:07:23 +0100639 // Size of an instance of this native class.
Andreas Gampe542451c2016-07-26 09:02:02 -0700640 static size_t Size(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700641 return PtrSizedFieldsOffset(pointer_size) +
Andreas Gampe542451c2016-07-26 09:02:02 -0700642 (sizeof(PtrSizedFields) / sizeof(void*)) * static_cast<size_t>(pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800643 }
644
Vladimir Marko14632852015-08-17 12:07:23 +0100645 // Alignment of an instance of this native class.
Andreas Gampe542451c2016-07-26 09:02:02 -0700646 static size_t Alignment(PointerSize pointer_size) {
Vladimir Markocf36d492015-08-12 19:27:26 +0100647 // The ArtMethod alignment is the same as image pointer size. This differs from
Vladimir Marko14632852015-08-17 12:07:23 +0100648 // alignof(ArtMethod) if cross-compiling with pointer_size != sizeof(void*).
Andreas Gampe542451c2016-07-26 09:02:02 -0700649 return static_cast<size_t>(pointer_size);
Vladimir Markocf36d492015-08-12 19:27:26 +0100650 }
651
Andreas Gampe542451c2016-07-26 09:02:02 -0700652 void CopyFrom(ArtMethod* src, PointerSize image_pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700653 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700654
David Srbeckye36e7f22018-11-14 14:21:23 +0000655 ALWAYS_INLINE void SetCounter(int16_t hotness_count) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100656
David Srbeckye36e7f22018-11-14 14:21:23 +0000657 ALWAYS_INLINE uint16_t GetCounter() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100658
David Srbeckye36e7f22018-11-14 14:21:23 +0000659 ALWAYS_INLINE uint32_t GetImtIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Bill Buzbee1d011d92016-04-04 16:59:29 +0000660
David Srbeckye36e7f22018-11-14 14:21:23 +0000661 void CalculateAndSetImtIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Bill Buzbee1d011d92016-04-04 16:59:29 +0000662
David Srbecky56de89a2018-10-01 15:32:20 +0100663 static constexpr MemberOffset HotnessCountOffset() {
Nicolas Geoffray8d728322018-01-18 22:44:32 +0000664 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, hotness_count_));
665 }
666
Mathieu Chartier210531f2018-01-12 10:15:51 -0800667 ArrayRef<const uint8_t> GetQuickenedInfo() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb041a402017-11-13 15:16:22 +0000668 uint16_t GetIndexFromQuickening(uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100669
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100670 // Returns the method header for the compiled code containing 'pc'. Note that runtime
671 // methods will return null for this method, as they are not oat based.
672 const OatQuickMethodHeader* GetOatQuickMethodHeader(uintptr_t pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700673 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100674
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100675 // Get compiled code for the method, return null if no code exists.
676 const void* GetOatMethodQuickCode(PointerSize pointer_size)
677 REQUIRES_SHARED(Locks::mutator_lock_);
678
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000679 // Returns whether the method has any compiled code, JIT or AOT.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700680 bool HasAnyCompiledCode() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000681
David Sehr709b0702016-10-13 09:12:37 -0700682 // Returns a human-readable signature for 'm'. Something like "a.b.C.m" or
683 // "a.b.C.m(II)V" (depending on the value of 'with_signature').
684 static std::string PrettyMethod(ArtMethod* m, bool with_signature = true)
685 REQUIRES_SHARED(Locks::mutator_lock_);
686 std::string PrettyMethod(bool with_signature = true)
687 REQUIRES_SHARED(Locks::mutator_lock_);
688 // Returns the JNI native function name for the non-overloaded method 'm'.
689 std::string JniShortName()
690 REQUIRES_SHARED(Locks::mutator_lock_);
691 // Returns the JNI native function name for the overloaded method 'm'.
692 std::string JniLongName()
693 REQUIRES_SHARED(Locks::mutator_lock_);
694
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800695 // Update entry points by passing them through the visitor.
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100696 template <typename Visitor>
Andreas Gampe542451c2016-07-26 09:02:02 -0700697 ALWAYS_INLINE void UpdateEntrypoints(const Visitor& visitor, PointerSize pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800698
David Sehra49e0532017-08-25 08:05:29 -0700699 // Visit the individual members of an ArtMethod. Used by imgdiag.
700 // As imgdiag does not support mixing instruction sets or pointer sizes (e.g., using imgdiag32
701 // to inspect 64-bit images, etc.), we can go beneath the accessors directly to the class members.
702 template <typename VisitorFunc>
703 void VisitMembers(VisitorFunc& visitor) {
704 DCHECK(IsImagePointerSize(kRuntimePointerSize));
705 visitor(this, &declaring_class_, "declaring_class_");
706 visitor(this, &access_flags_, "access_flags_");
707 visitor(this, &dex_code_item_offset_, "dex_code_item_offset_");
708 visitor(this, &dex_method_index_, "dex_method_index_");
709 visitor(this, &method_index_, "method_index_");
710 visitor(this, &hotness_count_, "hotness_count_");
711 visitor(this, &ptr_sized_fields_.data_, "ptr_sized_fields_.data_");
712 visitor(this,
713 &ptr_sized_fields_.entry_point_from_quick_compiled_code_,
714 "ptr_sized_fields_.entry_point_from_quick_compiled_code_");
715 }
716
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800717 // Returns the dex instructions of the code item for the art method. Returns an empty array for
718 // the null code item case.
719 ALWAYS_INLINE CodeItemInstructionAccessor DexInstructions()
Mathieu Chartier69147f12017-11-06 20:02:24 -0800720 REQUIRES_SHARED(Locks::mutator_lock_);
721
David Sehr0225f8e2018-01-31 08:52:24 +0000722 // Returns the dex code item data section of the DexFile for the art method.
723 ALWAYS_INLINE CodeItemDataAccessor DexInstructionData()
724 REQUIRES_SHARED(Locks::mutator_lock_);
725
726 // Returns the dex code item debug info section of the DexFile for the art method.
727 ALWAYS_INLINE CodeItemDebugInfoAccessor DexInstructionDebugInfo()
728 REQUIRES_SHARED(Locks::mutator_lock_);
729
Vladimir Marko4df2d802018-09-27 16:42:44 +0000730 GcRoot<mirror::Class>& DeclaringClassRoot() {
731 return declaring_class_;
732 }
733
Mathieu Chartier2d721012014-11-10 11:08:06 -0800734 protected:
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800735 // Field order required by test "ValidateFieldOrderOfJavaCppUnionClasses".
Ian Rogersef7d42f2014-01-06 12:55:46 -0800736 // The class we are a part of.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700737 GcRoot<mirror::Class> declaring_class_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800738
Ian Rogersef7d42f2014-01-06 12:55:46 -0800739 // Access flags; low 16 bits are defined by spec.
Mingyao Yang063fc772016-08-02 11:02:54 -0700740 // Getting and setting this flag needs to be atomic when concurrency is
741 // possible, e.g. after this method's class is linked. Such as when setting
742 // verifier flags and single-implementation flag.
743 std::atomic<std::uint32_t> access_flags_;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800744
745 /* Dex file fields. The defining dex file is available via declaring_class_->dex_cache_ */
746
747 // Offset to the CodeItem.
748 uint32_t dex_code_item_offset_;
749
750 // Index into method_ids of the dex file associated with this method.
751 uint32_t dex_method_index_;
752
753 /* End of dex file fields. */
754
755 // Entry within a dispatch table for this method. For static/direct methods the index is into
756 // the declaringClass.directMethods, for virtual methods the vtable and for interface methods the
757 // ifTable.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100758 uint16_t method_index_;
759
David Srbeckye36e7f22018-11-14 14:21:23 +0000760 union {
761 // Non-abstract methods: The hotness we measure for this method. Not atomic,
762 // as we allow missing increments: if the method is hot, we will see it eventually.
763 uint16_t hotness_count_;
764 // Abstract methods: IMT index (bitwise negated) or zero if it was not cached.
765 // The negation is needed to distinguish zero index and missing cached entry.
766 uint16_t imt_index_;
767 };
Ian Rogersef7d42f2014-01-06 12:55:46 -0800768
Mathieu Chartiereace4582014-11-24 18:29:54 -0800769 // Fake padding field gets inserted here.
Mathieu Chartier2d721012014-11-10 11:08:06 -0800770
771 // Must be the last fields in the method.
Andreas Gampe479b1de2016-07-19 18:27:17 -0700772 struct PtrSizedFields {
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000773 // Depending on the method type, the data is
774 // - native method: pointer to the JNI function registered to this method
775 // or a function to resolve the JNI function,
776 // - conflict method: ImtConflictTable,
777 // - abstract/interface method: the single-implementation if any,
778 // - proxy method: the original interface method or constructor,
779 // - other methods: the profiling data.
Andreas Gampe75f08852016-07-19 08:06:07 -0700780 void* data_;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800781
782 // Method dispatch from quick compiled code invokes this pointer which may cause bridging into
Elliott Hughes956af0f2014-12-11 14:34:28 -0800783 // the interpreter.
Mathieu Chartier2d721012014-11-10 11:08:06 -0800784 void* entry_point_from_quick_compiled_code_;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800785 } ptr_sized_fields_;
786
Mathieu Chartier02e25112013-08-14 16:14:24 -0700787 private:
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000788 uint16_t FindObsoleteDexClassDefIndex() REQUIRES_SHARED(Locks::mutator_lock_);
789
Andreas Gampe542451c2016-07-26 09:02:02 -0700790 static constexpr size_t PtrSizedFieldsOffset(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700791 // Round up to pointer size for padding field. Tested in art_method.cc.
Andreas Gampe542451c2016-07-26 09:02:02 -0700792 return RoundUp(offsetof(ArtMethod, hotness_count_) + sizeof(hotness_count_),
793 static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700794 }
795
Andreas Gampe75f08852016-07-19 08:06:07 -0700796 // Compare given pointer size to the image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -0700797 static bool IsImagePointerSize(PointerSize pointer_size);
Andreas Gampe75f08852016-07-19 08:06:07 -0700798
Vladimir Markob45528c2017-07-27 14:14:28 +0100799 dex::TypeIndex GetReturnTypeIndex() REQUIRES_SHARED(Locks::mutator_lock_);
800
Mathieu Chartiere401d142015-04-22 13:56:20 -0700801 template<typename T>
Andreas Gampe542451c2016-07-26 09:02:02 -0700802 ALWAYS_INLINE T GetNativePointer(MemberOffset offset, PointerSize pointer_size) const {
Vladimir Marko05792b92015-08-03 11:56:49 +0100803 static_assert(std::is_pointer<T>::value, "T must be a pointer type");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700804 const auto addr = reinterpret_cast<uintptr_t>(this) + offset.Uint32Value();
Andreas Gampe542451c2016-07-26 09:02:02 -0700805 if (pointer_size == PointerSize::k32) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700806 return reinterpret_cast<T>(*reinterpret_cast<const uint32_t*>(addr));
807 } else {
808 auto v = *reinterpret_cast<const uint64_t*>(addr);
Vladimir Marko05792b92015-08-03 11:56:49 +0100809 return reinterpret_cast<T>(dchecked_integral_cast<uintptr_t>(v));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700810 }
811 }
812
813 template<typename T>
Andreas Gampe542451c2016-07-26 09:02:02 -0700814 ALWAYS_INLINE void SetNativePointer(MemberOffset offset, T new_value, PointerSize pointer_size) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100815 static_assert(std::is_pointer<T>::value, "T must be a pointer type");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700816 const auto addr = reinterpret_cast<uintptr_t>(this) + offset.Uint32Value();
Andreas Gampe542451c2016-07-26 09:02:02 -0700817 if (pointer_size == PointerSize::k32) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700818 uintptr_t ptr = reinterpret_cast<uintptr_t>(new_value);
Vladimir Marko05792b92015-08-03 11:56:49 +0100819 *reinterpret_cast<uint32_t*>(addr) = dchecked_integral_cast<uint32_t>(ptr);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700820 } else {
821 *reinterpret_cast<uint64_t*>(addr) = reinterpret_cast<uintptr_t>(new_value);
822 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800823 }
824
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100825 static inline bool IsValidIntrinsicUpdate(uint32_t modifier) {
826 return (((modifier & kAccIntrinsic) == kAccIntrinsic) &&
827 (((modifier & ~(kAccIntrinsic | kAccIntrinsicBits)) == 0)));
828 }
829
830 static inline bool OverlapsIntrinsicBits(uint32_t modifier) {
831 return (modifier & kAccIntrinsicBits) != 0;
832 }
833
834 // This setter guarantees atomicity.
835 void AddAccessFlags(uint32_t flag) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100836 DCHECK(!IsIntrinsic() ||
Nicolas Geoffray34088e12018-03-08 10:56:09 +0000837 !OverlapsIntrinsicBits(flag) ||
838 IsValidIntrinsicUpdate(flag));
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100839 uint32_t old_access_flags;
840 uint32_t new_access_flags;
841 do {
842 old_access_flags = access_flags_.load(std::memory_order_relaxed);
843 new_access_flags = old_access_flags | flag;
844 } while (!access_flags_.compare_exchange_weak(old_access_flags, new_access_flags));
845 }
846
847 // This setter guarantees atomicity.
848 void ClearAccessFlags(uint32_t flag) {
849 DCHECK(!IsIntrinsic() || !OverlapsIntrinsicBits(flag) || IsValidIntrinsicUpdate(flag));
850 uint32_t old_access_flags;
851 uint32_t new_access_flags;
852 do {
853 old_access_flags = access_flags_.load(std::memory_order_relaxed);
854 new_access_flags = old_access_flags & ~flag;
855 } while (!access_flags_.compare_exchange_weak(old_access_flags, new_access_flags));
856 }
857
Mathieu Chartiere401d142015-04-22 13:56:20 -0700858 DISALLOW_COPY_AND_ASSIGN(ArtMethod); // Need to use CopyFrom to deal with 32 vs 64 bits.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800859};
860
Alex Lightd78ddec2017-04-18 15:20:38 -0700861class MethodCallback {
862 public:
863 virtual ~MethodCallback() {}
864
865 virtual void RegisterNativeMethod(ArtMethod* method,
866 const void* original_implementation,
867 /*out*/void** new_implementation)
868 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
869};
870
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800871} // namespace art
872
Mathieu Chartiere401d142015-04-22 13:56:20 -0700873#endif // ART_RUNTIME_ART_METHOD_H_