blob: 44a2f3dac11d0c7a20b33f7c682b6a70bb7be37f [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>
Mathieu Chartier7f8678e2019-08-30 16:22:28 -070021#include <limits>
Andreas Gampe479b1de2016-07-19 18:27:17 -070022
Andreas Gampe57943812017-12-06 21:39:13 -080023#include <android-base/logging.h>
Andreas Gampe7458a7a2019-01-02 10:32:11 -080024#include <jni.h>
Andreas Gampe57943812017-12-06 21:39:13 -080025
Mathieu Chartier210531f2018-01-12 10:15:51 -080026#include "base/array_ref.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010027#include "base/bit_utils.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010028#include "base/casts.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070029#include "base/enums.h"
Andreas Gampe57943812017-12-06 21:39:13 -080030#include "base/macros.h"
Andreas Gampedcc528d2017-12-07 13:37:10 -080031#include "base/runtime_debug.h"
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080032#include "dex/dex_file_structs.h"
David Sehr8c0961f2018-01-23 16:11:38 -080033#include "dex/modifiers.h"
David Sehr67bf42e2018-02-26 16:43:04 -080034#include "dex/primitive.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070035#include "gc_root.h"
Mathieu Chartier28357fa2016-10-18 16:27:40 -070036#include "obj_ptr.h"
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070037#include "offsets.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070038#include "read_barrier_option.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039
40namespace art {
41
Andreas Gampefe613a72019-05-01 15:54:20 -070042class CodeItemDataAccessor;
43class CodeItemDebugInfoAccessor;
44class CodeItemInstructionAccessor;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080045class DexFile;
David Sehr9323e6e2016-09-13 08:58:35 -070046template<class T> class Handle;
Andreas Gampe75a7db62016-09-26 12:04:26 -070047class ImtConflictTable;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070048enum InvokeType : uint32_t;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080049union JValue;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010050class OatQuickMethodHeader;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010051class ProfilingInfo;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070052class ScopedObjectAccessAlreadyRunnable;
Jeff Hao16743632013-05-08 10:59:04 -070053class ShadowFrame;
Andreas Gampeb79674c2019-05-14 16:16:46 -070054class Signature;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080055
56namespace mirror {
Mathieu Chartiere401d142015-04-22 13:56:20 -070057class Array;
58class Class;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070059class ClassLoader;
60class DexCache;
Mathieu Chartiere42888f2016-04-14 10:49:19 -070061class IfTable;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070062class Object;
63template <typename MirrorType> class ObjectArray;
Mathieu Chartiere401d142015-04-22 13:56:20 -070064class PointerArray;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070065class String;
Orion Hodsonb9b7d912021-02-24 09:24:47 +000066
67template <typename T> struct NativeDexCachePair;
68using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
69using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Mathieu Chartiere401d142015-04-22 13:56:20 -070070} // namespace mirror
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080071
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010072class ArtMethod final {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080073 public:
Andreas Gampeaea05c12017-05-19 08:45:02 -070074 // Should the class state be checked on sensitive operations?
75 DECLARE_RUNTIME_DEBUG_FLAG(kCheckDeclaringClassState);
Andreas Gampeb1106e22017-02-23 11:34:48 -080076
Andreas Gampec6ea7d02017-02-01 16:46:28 -080077 // The runtime dex_method_index is kDexNoIndex. To lower dependencies, we use this
78 // constexpr, and ensure that the value is correct in art_method.cc.
79 static constexpr uint32_t kRuntimeMethodDexMethodIndex = 0xFFFFFFFF;
80
Nicolas Geoffray47171752020-08-31 15:03:20 +010081 ArtMethod() : access_flags_(0), dex_method_index_(0),
Andreas Gampe479b1de2016-07-19 18:27:17 -070082 method_index_(0), hotness_count_(0) { }
Mathieu Chartiere401d142015-04-22 13:56:20 -070083
Andreas Gampe542451c2016-07-26 09:02:02 -070084 ArtMethod(ArtMethod* src, PointerSize image_pointer_size) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +000085 CopyFrom(src, image_pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -070086 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -070087
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070088 static ArtMethod* FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
89 jobject jlr_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070090 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62f05122014-03-21 11:21:29 -070091
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080092 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Vladimir Markod93e3742018-07-18 10:58:13 +010093 ALWAYS_INLINE ObjPtr<mirror::Class> GetDeclaringClass() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080094
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080095 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Vladimir Markod93e3742018-07-18 10:58:13 +010096 ALWAYS_INLINE ObjPtr<mirror::Class> GetDeclaringClassUnchecked()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070097 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -070098
Mathieu Chartier8c19d242017-03-06 12:35:10 -080099 mirror::CompressedReference<mirror::Object>* GetDeclaringClassAddressWithoutBarrier() {
100 return declaring_class_.AddressWithoutBarrier();
101 }
102
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700103 void SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700104 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800105
Vladimir Markod93e3742018-07-18 10:58:13 +0100106 bool CASDeclaringClass(ObjPtr<mirror::Class> expected_class, ObjPtr<mirror::Class> desired_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700107 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -0700108
David Srbecky56de89a2018-10-01 15:32:20 +0100109 static constexpr MemberOffset DeclaringClassOffset() {
Brian Carlstromea46f952013-07-30 01:26:50 -0700110 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, declaring_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800111 }
112
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000113 uint32_t GetAccessFlags() const {
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800114 return access_flags_.load(std::memory_order_relaxed);
115 }
Jeff Hao5d917302013-02-27 17:57:33 -0800116
Mingyao Yang063fc772016-08-02 11:02:54 -0700117 // This version should only be called when it's certain there is no
118 // concurrency so there is no need to guarantee atomicity. For example,
119 // before the method is linked.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000120 void SetAccessFlags(uint32_t new_access_flags) REQUIRES_SHARED(Locks::mutator_lock_) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700121 access_flags_.store(new_access_flags, std::memory_order_relaxed);
122 }
123
David Srbecky56de89a2018-10-01 15:32:20 +0100124 static constexpr MemberOffset AccessFlagsOffset() {
Vladimir Marko5122e6b2017-08-17 16:10:09 +0100125 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, access_flags_));
126 }
127
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800128 // Approximate what kind of method call would be used for this method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700129 InvokeType GetInvokeType() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800130
131 // Returns true if the method is declared public.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000132 bool IsPublic() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800133 return (GetAccessFlags() & kAccPublic) != 0;
134 }
135
136 // Returns true if the method is declared private.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000137 bool IsPrivate() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800138 return (GetAccessFlags() & kAccPrivate) != 0;
139 }
140
141 // Returns true if the method is declared static.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000142 bool IsStatic() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800143 return (GetAccessFlags() & kAccStatic) != 0;
144 }
145
Orion Hodson6c4921b2016-09-21 15:41:06 +0100146 // Returns true if the method is a constructor according to access flags.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000147 bool IsConstructor() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800148 return (GetAccessFlags() & kAccConstructor) != 0;
149 }
150
Orion Hodson6c4921b2016-09-21 15:41:06 +0100151 // Returns true if the method is a class initializer according to access flags.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000152 bool IsClassInitializer() const {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700153 return IsConstructor() && IsStatic();
154 }
155
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800156 // Returns true if the method is static, private, or a constructor.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000157 bool IsDirect() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800158 return IsDirect(GetAccessFlags());
159 }
160
161 static bool IsDirect(uint32_t access_flags) {
Andreas Gampecbc96b82015-09-30 20:05:24 +0000162 constexpr uint32_t direct = kAccStatic | kAccPrivate | kAccConstructor;
163 return (access_flags & direct) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800164 }
165
166 // Returns true if the method is declared synchronized.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000167 bool IsSynchronized() const {
Andreas Gampecbc96b82015-09-30 20:05:24 +0000168 constexpr uint32_t synchonized = kAccSynchronized | kAccDeclaredSynchronized;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800169 return (GetAccessFlags() & synchonized) != 0;
170 }
171
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000172 bool IsFinal() const {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100173 return (GetAccessFlags() & kAccFinal) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800174 }
175
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000176 bool IsIntrinsic() const {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100177 return (GetAccessFlags() & kAccIntrinsic) != 0;
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100178 }
179
Mingyao Yang063fc772016-08-02 11:02:54 -0700180 ALWAYS_INLINE void SetIntrinsic(uint32_t intrinsic) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100181
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000182 uint32_t GetIntrinsic() const {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100183 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
184 static_assert(IsPowerOfTwo((kAccIntrinsicBits >> kAccFlagsShift) + 1),
185 "kAccIntrinsicBits are not continuous");
186 static_assert((kAccIntrinsic & kAccIntrinsicBits) == 0,
187 "kAccIntrinsic overlaps kAccIntrinsicBits");
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100188 DCHECK(IsIntrinsic());
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100189 return (GetAccessFlags() & kAccIntrinsicBits) >> kAccFlagsShift;
190 }
191
David Brazdil904e75a2018-05-15 13:45:08 +0100192 void SetNotIntrinsic() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100193
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000194 bool IsCopied() const {
Vladimir Markode0d0de2021-03-18 14:12:35 +0000195 // We do not have intrinsics for any default methods and therefore intrinsics are never copied.
196 // So we are using a flag from the intrinsic flags range and need to check `kAccIntrinsic` too.
197 static_assert((kAccCopied & kAccIntrinsicBits) != 0,
198 "kAccCopied deliberately overlaps intrinsic bits");
199 const bool copied = (GetAccessFlags() & (kAccIntrinsic | kAccCopied)) == kAccCopied;
Alex Light36121492016-02-22 13:43:29 -0800200 // (IsMiranda() || IsDefaultConflicting()) implies copied
201 DCHECK(!(IsMiranda() || IsDefaultConflicting()) || copied)
202 << "Miranda or default-conflict methods must always be copied.";
203 return copied;
Alex Lightfcea56f2016-02-17 11:59:05 -0800204 }
205
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000206 bool IsMiranda() const {
Vladimir Markode0d0de2021-03-18 14:12:35 +0000207 // Miranda methods are marked as copied and abstract but not default.
208 // We need to check the kAccIntrinsic too, see `IsCopied()`.
209 static constexpr uint32_t kMask = kAccIntrinsic | kAccCopied | kAccAbstract | kAccDefault;
210 static constexpr uint32_t kValue = kAccCopied | kAccAbstract;
211 return (GetAccessFlags() & kMask) == kValue;
212 }
213
214 // A default conflict method is a special sentinel method that stands for a conflict between
215 // multiple default methods. It cannot be invoked, throwing an IncompatibleClassChangeError
216 // if one attempts to do so.
217 bool IsDefaultConflicting() const {
218 // Default conflct methods are marked as copied, abstract and default.
219 // We need to check the kAccIntrinsic too, see `IsCopied()`.
220 static constexpr uint32_t kMask = kAccIntrinsic | kAccCopied | kAccAbstract | kAccDefault;
221 static constexpr uint32_t kValue = kAccCopied | kAccAbstract | kAccDefault;
222 return (GetAccessFlags() & kMask) == kValue;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800223 }
224
Alex Light9139e002015-10-09 15:59:48 -0700225 // Returns true if invoking this method will not throw an AbstractMethodError or
226 // IncompatibleClassChangeError.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000227 bool IsInvokable() const {
Vladimir Markode0d0de2021-03-18 14:12:35 +0000228 // Default conflicting methods are marked with `kAccAbstract` (as well as `kAccCopied`
229 // and `kAccDefault`) but they are not considered abstract, see `IsAbstract()`.
230 DCHECK_EQ((GetAccessFlags() & kAccAbstract) == 0, !IsDefaultConflicting() && !IsAbstract());
231 return (GetAccessFlags() & kAccAbstract) == 0;
Alex Light9139e002015-10-09 15:59:48 -0700232 }
233
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000234 bool IsPreCompiled() const {
Vladimir Marko3907ce02021-03-19 15:37:38 +0000235 // kAccCompileDontBother and kAccPreCompiled overlap with kAccIntrinsicBits.
236 // Intrinsics should be compiled in primary boot image, not pre-compiled by JIT.
237 static_assert((kAccCompileDontBother & kAccIntrinsicBits) != 0);
238 static_assert((kAccPreCompiled & kAccIntrinsicBits) != 0);
239 static constexpr uint32_t kMask = kAccIntrinsic | kAccCompileDontBother | kAccPreCompiled;
240 static constexpr uint32_t kValue = kAccCompileDontBother | kAccPreCompiled;
241 return (GetAccessFlags() & kMask) == kValue;
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100242 }
243
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000244 void SetPreCompiled() REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100245 DCHECK(IsInvokable());
246 DCHECK(IsCompilable());
Nicolas Geoffray32384402019-07-17 20:06:44 +0100247 AddAccessFlags(kAccPreCompiled | kAccCompileDontBother);
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100248 }
249
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000250 void ClearPreCompiled() REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray32384402019-07-17 20:06:44 +0100251 ClearAccessFlags(kAccPreCompiled | kAccCompileDontBother);
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100252 }
253
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000254 bool IsCompilable() const {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100255 if (IsIntrinsic()) {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100256 // kAccCompileDontBother overlaps with kAccIntrinsicBits.
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100257 return true;
258 }
Nicolas Geoffray32384402019-07-17 20:06:44 +0100259 if (IsPreCompiled()) {
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100260 return true;
261 }
Nicolas Geoffray250a3782016-04-20 16:27:53 +0100262 return (GetAccessFlags() & kAccCompileDontBother) == 0;
263 }
264
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000265 void ClearDontCompile() REQUIRES_SHARED(Locks::mutator_lock_) {
Alex Lightc2d0c962019-10-23 14:14:25 -0700266 DCHECK(!IsMiranda());
267 ClearAccessFlags(kAccCompileDontBother);
268 }
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000269
270 void SetDontCompile() REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100271 DCHECK(!IsMiranda());
Alex Lightfcbafb32017-02-02 15:09:54 -0800272 AddAccessFlags(kAccCompileDontBother);
273 }
274
Alex Lighteb7c1442015-08-31 13:17:42 -0700275 // This is set by the class linker.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000276 bool IsDefault() const {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100277 static_assert((kAccDefault & (kAccIntrinsic | kAccIntrinsicBits)) == 0,
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100278 "kAccDefault conflicts with intrinsic modifier");
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100279 return (GetAccessFlags() & kAccDefault) != 0;
Alex Lighteb7c1442015-08-31 13:17:42 -0700280 }
281
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000282 bool IsObsolete() const {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100283 return (GetAccessFlags() & kAccObsoleteMethod) != 0;
Alex Lighta01de592016-11-15 10:43:06 -0800284 }
285
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000286 void SetIsObsolete() REQUIRES_SHARED(Locks::mutator_lock_) {
Alex Lightfcbafb32017-02-02 15:09:54 -0800287 AddAccessFlags(kAccObsoleteMethod);
Alex Lightdba61482016-12-21 08:20:29 -0800288 }
289
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000290 bool IsNative() const {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100291 return (GetAccessFlags() & kAccNative) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800292 }
293
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100294 // Checks to see if the method was annotated with @dalvik.annotation.optimization.FastNative.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000295 bool IsFastNative() const {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100296 // The presence of the annotation is checked by ClassLinker and recorded in access flags.
297 // The kAccFastNative flag value is used with a different meaning for non-native methods,
298 // so we need to check the kAccNative flag as well.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000299 constexpr uint32_t mask = kAccFastNative | kAccNative;
Ian Rogers16ce0922014-01-10 14:59:36 -0800300 return (GetAccessFlags() & mask) == mask;
Ian Rogers1eb512d2013-10-18 15:42:20 -0700301 }
302
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100303 // Checks to see if the method was annotated with @dalvik.annotation.optimization.CriticalNative.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000304 bool IsCriticalNative() const {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100305 // The presence of the annotation is checked by ClassLinker and recorded in access flags.
306 // The kAccCriticalNative flag value is used with a different meaning for non-native methods,
307 // so we need to check the kAccNative flag as well.
308 constexpr uint32_t mask = kAccCriticalNative | kAccNative;
309 return (GetAccessFlags() & mask) == mask;
310 }
311
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000312 bool IsAbstract() const {
Vladimir Markode0d0de2021-03-18 14:12:35 +0000313 // Default confliciting methods have `kAccAbstract` set but they are not actually abstract.
314 return (GetAccessFlags() & kAccAbstract) != 0 && !IsDefaultConflicting();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800315 }
316
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000317 bool IsSynthetic() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800318 return (GetAccessFlags() & kAccSynthetic) != 0;
319 }
320
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000321 bool IsVarargs() const {
Orion Hodsoncfa325e2016-10-13 10:25:54 +0100322 return (GetAccessFlags() & kAccVarargs) != 0;
323 }
324
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700325 bool IsProxyMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800326
Orion Hodson81daf3d2020-09-03 14:01:51 +0100327 bool IsSignaturePolymorphic() REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodson43f0cdb2017-10-10 14:47:32 +0100328
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000329 bool UseFastInterpreterToInterpreterInvoke() const {
David Srbecky9581e612018-10-30 14:29:43 +0000330 // The bit is applicable only if the method is not intrinsic.
331 constexpr uint32_t mask = kAccFastInterpreterToInterpreterInvoke | kAccIntrinsic;
332 return (GetAccessFlags() & mask) == kAccFastInterpreterToInterpreterInvoke;
333 }
334
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000335 void SetFastInterpreterToInterpreterInvokeFlag() REQUIRES_SHARED(Locks::mutator_lock_) {
David Srbecky9581e612018-10-30 14:29:43 +0000336 DCHECK(!IsIntrinsic());
337 AddAccessFlags(kAccFastInterpreterToInterpreterInvoke);
338 }
339
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000340 void ClearFastInterpreterToInterpreterInvokeFlag() REQUIRES_SHARED(Locks::mutator_lock_) {
David Srbecky9581e612018-10-30 14:29:43 +0000341 if (!IsIntrinsic()) {
342 ClearAccessFlags(kAccFastInterpreterToInterpreterInvoke);
343 }
344 }
345
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000346 bool SkipAccessChecks() const {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100347 // The kAccSkipAccessChecks flag value is used with a different meaning for native methods,
348 // so we need to check the kAccNative flag as well.
349 return (GetAccessFlags() & (kAccSkipAccessChecks | kAccNative)) == kAccSkipAccessChecks;
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200350 }
351
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000352 void SetSkipAccessChecks() REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100353 // SkipAccessChecks() is applicable only to non-native methods.
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100354 DCHECK(!IsNative());
Mingyao Yang063fc772016-08-02 11:02:54 -0700355 AddAccessFlags(kAccSkipAccessChecks);
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200356 }
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000357 void ClearSkipAccessChecks() REQUIRES_SHARED(Locks::mutator_lock_) {
Alex Lightb1eebde2019-10-22 16:30:47 +0000358 // SkipAccessChecks() is applicable only to non-native methods.
359 DCHECK(!IsNative());
360 ClearAccessFlags(kAccSkipAccessChecks);
361 }
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200362
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000363 bool PreviouslyWarm() const {
Vladimir Markodd446b12021-05-20 14:35:51 +0100364 // kAccPreviouslyWarm overlaps with kAccIntrinsicBits. Return true for intrinsics.
365 constexpr uint32_t mask = kAccPreviouslyWarm | kAccIntrinsic;
366 return (GetAccessFlags() & mask) != 0u;
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100367 }
368
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000369 void SetPreviouslyWarm() REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100370 if (IsIntrinsic()) {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100371 // kAccPreviouslyWarm overlaps with kAccIntrinsicBits.
372 return;
373 }
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100374 AddAccessFlags(kAccPreviouslyWarm);
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100375 }
376
Andreas Gampe56fdd0e2016-04-28 14:56:54 -0700377 // Should this method be run in the interpreter and count locks (e.g., failed structured-
378 // locking verification)?
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000379 bool MustCountLocks() const {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100380 if (IsIntrinsic()) {
381 return false;
382 }
Andreas Gampe56fdd0e2016-04-28 14:56:54 -0700383 return (GetAccessFlags() & kAccMustCountLocks) != 0;
384 }
385
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000386 void ClearMustCountLocks() REQUIRES_SHARED(Locks::mutator_lock_) {
Alex Lightc2d0c962019-10-23 14:14:25 -0700387 ClearAccessFlags(kAccMustCountLocks);
388 }
389
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000390 void SetMustCountLocks() REQUIRES_SHARED(Locks::mutator_lock_) {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100391 AddAccessFlags(kAccMustCountLocks);
Alex Lightb1eebde2019-10-22 16:30:47 +0000392 ClearAccessFlags(kAccSkipAccessChecks);
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100393 }
394
Nicolas Geoffray40cd07c2021-03-15 18:33:23 +0000395 bool HasNterpEntryPointFastPathFlag() const {
396 constexpr uint32_t mask = kAccNative | kAccNterpEntryPointFastPathFlag;
397 return (GetAccessFlags() & mask) == kAccNterpEntryPointFastPathFlag;
398 }
399
400 void SetNterpEntryPointFastPathFlag() REQUIRES_SHARED(Locks::mutator_lock_) {
401 DCHECK(!IsNative());
402 AddAccessFlags(kAccNterpEntryPointFastPathFlag);
403 }
404
Nicolas Geoffray43c9cd72021-03-10 15:09:19 +0000405 void SetNterpInvokeFastPathFlag() REQUIRES_SHARED(Locks::mutator_lock_) {
406 AddAccessFlags(kAccNterpInvokeFastPathFlag);
407 }
408
Alex Lighteb7c1442015-08-31 13:17:42 -0700409 // Returns true if this method could be overridden by a default method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700410 bool IsOverridableByDefaultMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -0700411
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700412 bool CheckIncompatibleClassChange(InvokeType type) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800413
Alex Light9139e002015-10-09 15:59:48 -0700414 // Throws the error that would result from trying to invoke this method (i.e.
415 // IncompatibleClassChangeError or AbstractMethodError). Only call if !IsInvokable();
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700416 void ThrowInvocationTimeError() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light9139e002015-10-09 15:59:48 -0700417
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700418 uint16_t GetMethodIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800419
Mathieu Chartier9f3629d2014-10-28 18:23:02 -0700420 // Doesn't do erroneous / unresolved class checks.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700421 uint16_t GetMethodIndexDuringLinking() REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier9f3629d2014-10-28 18:23:02 -0700422
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700423 size_t GetVtableIndex() REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800424 return GetMethodIndex();
425 }
426
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700427 void SetMethodIndex(uint16_t new_method_index) REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100428 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700429 method_index_ = new_method_index;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800430 }
431
David Srbecky56de89a2018-10-01 15:32:20 +0100432 static constexpr MemberOffset DexMethodIndexOffset() {
Andreas Gampe5d08fcc2017-06-05 17:56:46 -0700433 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, dex_method_index_));
Vladimir Markoc1363122015-04-09 14:13:13 +0100434 }
435
David Srbecky56de89a2018-10-01 15:32:20 +0100436 static constexpr MemberOffset MethodIndexOffset() {
Andreas Gampe5d08fcc2017-06-05 17:56:46 -0700437 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, method_index_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800438 }
439
Nicolas Geoffraya00b54b2019-12-03 14:36:42 +0000440 static constexpr MemberOffset ImtIndexOffset() {
441 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, imt_index_));
442 }
443
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800444 // Number of 32bit registers that would be required to hold all the arguments
Vladimir Marko6e781582019-02-04 10:58:06 +0000445 static size_t NumArgRegisters(const char* shorty);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800446
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000447 ALWAYS_INLINE uint32_t GetDexMethodIndex() const {
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000448 return dex_method_index_;
449 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800450
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000451 void SetDexMethodIndex(uint32_t new_idx) REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100452 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700453 dex_method_index_ = new_idx;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800454 }
455
Vladimir Markod93e3742018-07-18 10:58:13 +0100456 // Lookup the Class from the type index into this method's dex cache.
Vladimir Markob45528c2017-07-27 14:14:28 +0100457 ObjPtr<mirror::Class> LookupResolvedClassFromTypeIndex(dex::TypeIndex type_idx)
458 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markod93e3742018-07-18 10:58:13 +0100459 // Resolve the Class from the type index into this method's dex cache.
Vladimir Markob45528c2017-07-27 14:14:28 +0100460 ObjPtr<mirror::Class> ResolveClassFromTypeIndex(dex::TypeIndex type_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700461 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersa0485602014-12-02 15:48:04 -0800462
Alex Light6c8467f2015-11-20 15:03:26 -0800463 // Returns true if this method has the same name and signature of the other method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700464 bool HasSameNameAndSignature(ArtMethod* other) REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light6c8467f2015-11-20 15:03:26 -0800465
Ian Rogerse0a02da2014-12-02 14:10:53 -0800466 // Find the method that this method overrides.
Andreas Gampe542451c2016-07-26 09:02:02 -0700467 ArtMethod* FindOverriddenMethod(PointerSize pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700468 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800469
Ian Rogerse0a02da2014-12-02 14:10:53 -0800470 // Find the method index for this method within other_dexfile. If this method isn't present then
Andreas Gampee2abbc62017-09-15 11:59:26 -0700471 // return dex::kDexNoIndex. The name_and_signature_idx MUST refer to a MethodId with the same
Ian Rogerse0a02da2014-12-02 14:10:53 -0800472 // name and signature in the other_dexfile, such as the method index used to resolve this method
473 // in the other_dexfile.
474 uint32_t FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
475 uint32_t name_and_signature_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700476 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogerse0a02da2014-12-02 14:10:53 -0800477
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700478 void Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result, const char* shorty)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700479 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800480
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000481 const void* GetEntryPointFromQuickCompiledCode() const {
Andreas Gampe542451c2016-07-26 09:02:02 -0700482 return GetEntryPointFromQuickCompiledCodePtrSize(kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800483 }
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000484 ALWAYS_INLINE
485 const void* GetEntryPointFromQuickCompiledCodePtrSize(PointerSize pointer_size) const {
Vladimir Marko05792b92015-08-03 11:56:49 +0100486 return GetNativePointer<const void*>(
Mathieu Chartier2d721012014-11-10 11:08:06 -0800487 EntryPointFromQuickCompiledCodeOffset(pointer_size), pointer_size);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800488 }
489
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000490 void SetEntryPointFromQuickCompiledCode(const void* entry_point_from_quick_compiled_code)
491 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier2d721012014-11-10 11:08:06 -0800492 SetEntryPointFromQuickCompiledCodePtrSize(entry_point_from_quick_compiled_code,
Andreas Gampe542451c2016-07-26 09:02:02 -0700493 kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800494 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800495 ALWAYS_INLINE void SetEntryPointFromQuickCompiledCodePtrSize(
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000496 const void* entry_point_from_quick_compiled_code, PointerSize pointer_size)
497 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100498 SetNativePointer(EntryPointFromQuickCompiledCodeOffset(pointer_size),
Andreas Gampe542451c2016-07-26 09:02:02 -0700499 entry_point_from_quick_compiled_code,
500 pointer_size);
David Srbecky9581e612018-10-30 14:29:43 +0000501 // We might want to invoke compiled code, so don't use the fast path.
502 ClearFastInterpreterToInterpreterInvokeFlag();
Ian Rogersef7d42f2014-01-06 12:55:46 -0800503 }
504
David Srbecky56de89a2018-10-01 15:32:20 +0100505 static constexpr MemberOffset DataOffset(PointerSize pointer_size) {
Mathieu Chartiereace4582014-11-24 18:29:54 -0800506 return MemberOffset(PtrSizedFieldsOffset(pointer_size) + OFFSETOF_MEMBER(
Andreas Gampe542451c2016-07-26 09:02:02 -0700507 PtrSizedFields, data_) / sizeof(void*) * static_cast<size_t>(pointer_size));
Andreas Gampe75f08852016-07-19 08:06:07 -0700508 }
509
David Srbecky56de89a2018-10-01 15:32:20 +0100510 static constexpr MemberOffset EntryPointFromJniOffset(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700511 return DataOffset(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800512 }
513
David Srbecky56de89a2018-10-01 15:32:20 +0100514 static constexpr MemberOffset EntryPointFromQuickCompiledCodeOffset(PointerSize pointer_size) {
Mathieu Chartiereace4582014-11-24 18:29:54 -0800515 return MemberOffset(PtrSizedFieldsOffset(pointer_size) + OFFSETOF_MEMBER(
Andreas Gampe542451c2016-07-26 09:02:02 -0700516 PtrSizedFields, entry_point_from_quick_compiled_code_) / sizeof(void*)
517 * static_cast<size_t>(pointer_size));
Mathieu Chartier2d721012014-11-10 11:08:06 -0800518 }
519
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000520 ImtConflictTable* GetImtConflictTable(PointerSize pointer_size) const {
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000521 DCHECK(IsRuntimeMethod());
Andreas Gampe75f08852016-07-19 08:06:07 -0700522 return reinterpret_cast<ImtConflictTable*>(GetDataPtrSize(pointer_size));
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000523 }
524
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000525 ALWAYS_INLINE void SetImtConflictTable(ImtConflictTable* table, PointerSize pointer_size)
526 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700527 DCHECK(IsRuntimeMethod());
528 SetDataPtrSize(table, pointer_size);
529 }
530
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300531 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Mingyao Yang063fc772016-08-02 11:02:54 -0700532 ALWAYS_INLINE bool HasSingleImplementation() REQUIRES_SHARED(Locks::mutator_lock_);
533
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000534 ALWAYS_INLINE void SetHasSingleImplementation(bool single_impl)
535 REQUIRES_SHARED(Locks::mutator_lock_) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700536 DCHECK(!IsIntrinsic()) << "conflict with intrinsic bits";
537 if (single_impl) {
538 AddAccessFlags(kAccSingleImplementation);
539 } else {
540 ClearAccessFlags(kAccSingleImplementation);
541 }
542 }
543
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000544 ALWAYS_INLINE bool HasSingleImplementationFlag() const {
545 return (GetAccessFlags() & kAccSingleImplementation) != 0;
546 }
547
Alex Light97e78032017-06-27 17:51:55 -0700548 // Takes a method and returns a 'canonical' one if the method is default (and therefore
549 // potentially copied from some other class). For example, this ensures that the debugger does not
550 // get confused as to which method we are in.
551 ArtMethod* GetCanonicalMethod(PointerSize pointer_size = kRuntimePointerSize)
552 REQUIRES_SHARED(Locks::mutator_lock_);
553
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100554 ArtMethod* GetSingleImplementation(PointerSize pointer_size);
Mingyao Yang063fc772016-08-02 11:02:54 -0700555
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000556 ALWAYS_INLINE void SetSingleImplementation(ArtMethod* method, PointerSize pointer_size)
557 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100558 DCHECK(!IsNative());
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300559 // Non-abstract method's single implementation is just itself.
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100560 DCHECK(IsAbstract());
Mingyao Yang063fc772016-08-02 11:02:54 -0700561 SetDataPtrSize(method, pointer_size);
562 }
563
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000564 void* GetEntryPointFromJni() const {
Andreas Gampe75f08852016-07-19 08:06:07 -0700565 DCHECK(IsNative());
Andreas Gampe542451c2016-07-26 09:02:02 -0700566 return GetEntryPointFromJniPtrSize(kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800567 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100568
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000569 ALWAYS_INLINE void* GetEntryPointFromJniPtrSize(PointerSize pointer_size) const {
Andreas Gampe75f08852016-07-19 08:06:07 -0700570 return GetDataPtrSize(pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800571 }
572
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000573 void SetEntryPointFromJni(const void* entrypoint)
574 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Marko86c87522020-05-11 16:55:55 +0100575 // The resolution method also has a JNI entrypoint for direct calls from
576 // compiled code to the JNI dlsym lookup stub for @CriticalNative.
577 DCHECK(IsNative() || IsRuntimeMethod());
Andreas Gampe542451c2016-07-26 09:02:02 -0700578 SetEntryPointFromJniPtrSize(entrypoint, kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800579 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100580
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000581 ALWAYS_INLINE void SetEntryPointFromJniPtrSize(const void* entrypoint, PointerSize pointer_size)
582 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700583 SetDataPtrSize(entrypoint, pointer_size);
584 }
585
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000586 ALWAYS_INLINE void* GetDataPtrSize(PointerSize pointer_size) const {
Andreas Gampe75f08852016-07-19 08:06:07 -0700587 DCHECK(IsImagePointerSize(pointer_size));
588 return GetNativePointer<void*>(DataOffset(pointer_size), pointer_size);
589 }
590
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000591 ALWAYS_INLINE void SetDataPtrSize(const void* data, PointerSize pointer_size)
592 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700593 DCHECK(IsImagePointerSize(pointer_size));
594 SetNativePointer(DataOffset(pointer_size), data, pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800595 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800596
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800597 // Is this a CalleSaveMethod or ResolutionMethod and therefore doesn't adhere to normal
598 // conventions for a method of managed code. Returns false for Proxy methods.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000599 ALWAYS_INLINE bool IsRuntimeMethod() const {
Roland Levillainfa854e42018-02-07 13:09:55 +0000600 return dex_method_index_ == kRuntimeMethodDexMethodIndex;
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800601 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800602
Nicolas Geoffray47171752020-08-31 15:03:20 +0100603 bool HasCodeItem() REQUIRES_SHARED(Locks::mutator_lock_) {
604 return !IsRuntimeMethod() && !IsNative() && !IsProxyMethod() && !IsAbstract();
605 }
606
Nicolas Geoffraye1d2dce2020-09-21 10:06:31 +0100607 void SetCodeItem(const dex::CodeItem* code_item) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray47171752020-08-31 15:03:20 +0100608
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800609 // Is this a hand crafted method used for something like describing callee saves?
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700610 bool IsCalleeSaveMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800611
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700612 bool IsResolutionMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800613
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700614 bool IsImtUnimplementedMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700615
Ian Rogersc449aa82013-07-29 14:35:46 -0700616 // Find the catch block for the given exception type and dex_pc. When a catch block is found,
617 // indicates whether the found catch block is responsible for clearing the exception or whether
618 // a move-exception instruction is present.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700619 uint32_t FindCatchBlock(Handle<mirror::Class> exception_type, uint32_t dex_pc,
620 bool* has_no_move_exception)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700621 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800622
Mathieu Chartierda7c6502015-07-23 16:01:26 -0700623 // NO_THREAD_SAFETY_ANALYSIS since we don't know what the callback requires.
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700624 template<ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename RootVisitorType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700625 void VisitRoots(RootVisitorType& visitor, PointerSize pointer_size) NO_THREAD_SAFETY_ANALYSIS;
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800626
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700627 const DexFile* GetDexFile() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700628
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700629 const char* GetDeclaringClassDescriptor() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700630
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800631 ALWAYS_INLINE const char* GetShorty() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700632
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700633 const char* GetShorty(uint32_t* out_length) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700634
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700635 const Signature GetSignature() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700636
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700637 ALWAYS_INLINE const char* GetName() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700638
Eric Holkabdb4592019-05-16 08:33:12 -0700639 ALWAYS_INLINE std::string_view GetNameView() REQUIRES_SHARED(Locks::mutator_lock_);
640
Vladimir Marko18090d12018-06-01 16:53:12 +0100641 ObjPtr<mirror::String> ResolveNameString() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6b14d552014-10-28 21:50:58 -0700642
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800643 const dex::CodeItem* GetCodeItem() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700644
Vladimir Marko942fd312017-01-16 20:52:19 +0000645 bool IsResolvedTypeIdx(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700646
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700647 int32_t GetLineNumFromDexPC(uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700648
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800649 const dex::ProtoId& GetPrototype() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700650
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800651 const dex::TypeList* GetParameterTypeList() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700652
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700653 const char* GetDeclaringClassSourceFile() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700654
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700655 uint16_t GetClassDefIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700656
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800657 const dex::ClassDef& GetClassDef() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700658
Orion Hodson58143d22018-02-20 08:44:20 +0000659 ALWAYS_INLINE size_t GetNumberOfParameters() REQUIRES_SHARED(Locks::mutator_lock_);
660
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700661 const char* GetReturnTypeDescriptor() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700662
Alex Lightd7661582017-05-01 13:48:16 -0700663 ALWAYS_INLINE Primitive::Type GetReturnTypePrimitive() REQUIRES_SHARED(Locks::mutator_lock_);
664
Andreas Gampea5b09a62016-11-17 15:21:22 -0800665 const char* GetTypeDescriptorFromTypeIdx(dex::TypeIndex type_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700666 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700667
Vladimir Markob45528c2017-07-27 14:14:28 +0100668 // Lookup return type.
669 ObjPtr<mirror::Class> LookupResolvedReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
670 // Resolve return type. May cause thread suspension due to GetClassFromTypeIdx
671 // calling ResolveType this caused a large number of bugs at call sites.
672 ObjPtr<mirror::Class> ResolveReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersded66a02014-10-28 18:12:55 -0700673
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000674 ObjPtr<mirror::ClassLoader> GetClassLoader() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700675
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800676 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000677 ObjPtr<mirror::DexCache> GetDexCache() REQUIRES_SHARED(Locks::mutator_lock_);
678 ObjPtr<mirror::DexCache> GetObsoleteDexCache() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700679
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000680 ALWAYS_INLINE ArtMethod* GetInterfaceMethodForProxyUnchecked(PointerSize pointer_size)
681 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe542451c2016-07-26 09:02:02 -0700682 ALWAYS_INLINE ArtMethod* GetInterfaceMethodIfProxy(PointerSize pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700683 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700684
Alex Light4ba388a2017-01-27 10:26:49 -0800685 ArtMethod* GetNonObsoleteMethod() REQUIRES_SHARED(Locks::mutator_lock_);
686
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700687 // May cause thread suspension due to class resolution.
688 bool EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700689 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700690
Vladimir Marko14632852015-08-17 12:07:23 +0100691 // Size of an instance of this native class.
Andreas Gampe542451c2016-07-26 09:02:02 -0700692 static size_t Size(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700693 return PtrSizedFieldsOffset(pointer_size) +
Andreas Gampe542451c2016-07-26 09:02:02 -0700694 (sizeof(PtrSizedFields) / sizeof(void*)) * static_cast<size_t>(pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800695 }
696
Vladimir Marko14632852015-08-17 12:07:23 +0100697 // Alignment of an instance of this native class.
Andreas Gampe542451c2016-07-26 09:02:02 -0700698 static size_t Alignment(PointerSize pointer_size) {
Vladimir Markocf36d492015-08-12 19:27:26 +0100699 // The ArtMethod alignment is the same as image pointer size. This differs from
Vladimir Marko14632852015-08-17 12:07:23 +0100700 // alignof(ArtMethod) if cross-compiling with pointer_size != sizeof(void*).
Andreas Gampe542451c2016-07-26 09:02:02 -0700701 return static_cast<size_t>(pointer_size);
Vladimir Markocf36d492015-08-12 19:27:26 +0100702 }
703
Andreas Gampe542451c2016-07-26 09:02:02 -0700704 void CopyFrom(ArtMethod* src, PointerSize image_pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700705 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700706
Vladimir Markodd446b12021-05-20 14:35:51 +0100707 ALWAYS_INLINE void SetCounter(uint16_t hotness_count);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100708
Vladimir Markodd446b12021-05-20 14:35:51 +0100709 ALWAYS_INLINE uint16_t GetCounter();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100710
Mathieu Chartier7f8678e2019-08-30 16:22:28 -0700711 ALWAYS_INLINE static constexpr uint16_t MaxCounter() {
712 return std::numeric_limits<decltype(hotness_count_)>::max();
713 }
714
David Srbeckye36e7f22018-11-14 14:21:23 +0000715 ALWAYS_INLINE uint32_t GetImtIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Bill Buzbee1d011d92016-04-04 16:59:29 +0000716
David Srbeckye36e7f22018-11-14 14:21:23 +0000717 void CalculateAndSetImtIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Bill Buzbee1d011d92016-04-04 16:59:29 +0000718
David Srbecky56de89a2018-10-01 15:32:20 +0100719 static constexpr MemberOffset HotnessCountOffset() {
Nicolas Geoffray8d728322018-01-18 22:44:32 +0000720 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, hotness_count_));
721 }
722
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100723 // Returns the method header for the compiled code containing 'pc'. Note that runtime
724 // methods will return null for this method, as they are not oat based.
725 const OatQuickMethodHeader* GetOatQuickMethodHeader(uintptr_t pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700726 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100727
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100728 // Get compiled code for the method, return null if no code exists.
729 const void* GetOatMethodQuickCode(PointerSize pointer_size)
730 REQUIRES_SHARED(Locks::mutator_lock_);
731
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000732 // Returns whether the method has any compiled code, JIT or AOT.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700733 bool HasAnyCompiledCode() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000734
David Sehr709b0702016-10-13 09:12:37 -0700735 // Returns a human-readable signature for 'm'. Something like "a.b.C.m" or
736 // "a.b.C.m(II)V" (depending on the value of 'with_signature').
737 static std::string PrettyMethod(ArtMethod* m, bool with_signature = true)
738 REQUIRES_SHARED(Locks::mutator_lock_);
739 std::string PrettyMethod(bool with_signature = true)
740 REQUIRES_SHARED(Locks::mutator_lock_);
741 // Returns the JNI native function name for the non-overloaded method 'm'.
742 std::string JniShortName()
743 REQUIRES_SHARED(Locks::mutator_lock_);
744 // Returns the JNI native function name for the overloaded method 'm'.
745 std::string JniLongName()
746 REQUIRES_SHARED(Locks::mutator_lock_);
747
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800748 // Update entry points by passing them through the visitor.
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100749 template <typename Visitor>
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000750 ALWAYS_INLINE void UpdateEntrypoints(const Visitor& visitor, PointerSize pointer_size)
751 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800752
David Sehra49e0532017-08-25 08:05:29 -0700753 // Visit the individual members of an ArtMethod. Used by imgdiag.
754 // As imgdiag does not support mixing instruction sets or pointer sizes (e.g., using imgdiag32
755 // to inspect 64-bit images, etc.), we can go beneath the accessors directly to the class members.
756 template <typename VisitorFunc>
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000757 void VisitMembers(VisitorFunc& visitor) REQUIRES_SHARED(Locks::mutator_lock_) {
David Sehra49e0532017-08-25 08:05:29 -0700758 DCHECK(IsImagePointerSize(kRuntimePointerSize));
759 visitor(this, &declaring_class_, "declaring_class_");
760 visitor(this, &access_flags_, "access_flags_");
David Sehra49e0532017-08-25 08:05:29 -0700761 visitor(this, &dex_method_index_, "dex_method_index_");
762 visitor(this, &method_index_, "method_index_");
763 visitor(this, &hotness_count_, "hotness_count_");
764 visitor(this, &ptr_sized_fields_.data_, "ptr_sized_fields_.data_");
765 visitor(this,
766 &ptr_sized_fields_.entry_point_from_quick_compiled_code_,
767 "ptr_sized_fields_.entry_point_from_quick_compiled_code_");
768 }
769
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800770 // Returns the dex instructions of the code item for the art method. Returns an empty array for
771 // the null code item case.
772 ALWAYS_INLINE CodeItemInstructionAccessor DexInstructions()
Mathieu Chartier69147f12017-11-06 20:02:24 -0800773 REQUIRES_SHARED(Locks::mutator_lock_);
774
David Sehr0225f8e2018-01-31 08:52:24 +0000775 // Returns the dex code item data section of the DexFile for the art method.
776 ALWAYS_INLINE CodeItemDataAccessor DexInstructionData()
777 REQUIRES_SHARED(Locks::mutator_lock_);
778
779 // Returns the dex code item debug info section of the DexFile for the art method.
780 ALWAYS_INLINE CodeItemDebugInfoAccessor DexInstructionDebugInfo()
781 REQUIRES_SHARED(Locks::mutator_lock_);
782
Vladimir Marko4df2d802018-09-27 16:42:44 +0000783 GcRoot<mirror::Class>& DeclaringClassRoot() {
784 return declaring_class_;
785 }
786
Mathieu Chartier2d721012014-11-10 11:08:06 -0800787 protected:
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800788 // Field order required by test "ValidateFieldOrderOfJavaCppUnionClasses".
Ian Rogersef7d42f2014-01-06 12:55:46 -0800789 // The class we are a part of.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700790 GcRoot<mirror::Class> declaring_class_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800791
Ian Rogersef7d42f2014-01-06 12:55:46 -0800792 // Access flags; low 16 bits are defined by spec.
Mingyao Yang063fc772016-08-02 11:02:54 -0700793 // Getting and setting this flag needs to be atomic when concurrency is
794 // possible, e.g. after this method's class is linked. Such as when setting
795 // verifier flags and single-implementation flag.
796 std::atomic<std::uint32_t> access_flags_;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800797
798 /* Dex file fields. The defining dex file is available via declaring_class_->dex_cache_ */
799
Ian Rogersef7d42f2014-01-06 12:55:46 -0800800 // Index into method_ids of the dex file associated with this method.
801 uint32_t dex_method_index_;
802
803 /* End of dex file fields. */
804
805 // Entry within a dispatch table for this method. For static/direct methods the index is into
806 // the declaringClass.directMethods, for virtual methods the vtable and for interface methods the
807 // ifTable.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100808 uint16_t method_index_;
809
David Srbeckye36e7f22018-11-14 14:21:23 +0000810 union {
811 // Non-abstract methods: The hotness we measure for this method. Not atomic,
812 // as we allow missing increments: if the method is hot, we will see it eventually.
813 uint16_t hotness_count_;
Nicolas Geoffrayd5a86952021-01-19 10:35:54 +0000814 // Abstract methods: IMT index.
David Srbeckye36e7f22018-11-14 14:21:23 +0000815 uint16_t imt_index_;
816 };
Ian Rogersef7d42f2014-01-06 12:55:46 -0800817
Mathieu Chartiereace4582014-11-24 18:29:54 -0800818 // Fake padding field gets inserted here.
Mathieu Chartier2d721012014-11-10 11:08:06 -0800819
820 // Must be the last fields in the method.
Andreas Gampe479b1de2016-07-19 18:27:17 -0700821 struct PtrSizedFields {
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000822 // Depending on the method type, the data is
823 // - native method: pointer to the JNI function registered to this method
824 // or a function to resolve the JNI function,
Vladimir Marko86c87522020-05-11 16:55:55 +0100825 // - resolution method: pointer to a function to resolve the method and
826 // the JNI function for @CriticalNative.
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000827 // - conflict method: ImtConflictTable,
828 // - abstract/interface method: the single-implementation if any,
829 // - proxy method: the original interface method or constructor,
Nicolas Geoffray47171752020-08-31 15:03:20 +0100830 // - other methods: during AOT the code item offset, at runtime a pointer
831 // to the code item.
Andreas Gampe75f08852016-07-19 08:06:07 -0700832 void* data_;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800833
834 // Method dispatch from quick compiled code invokes this pointer which may cause bridging into
Elliott Hughes956af0f2014-12-11 14:34:28 -0800835 // the interpreter.
Mathieu Chartier2d721012014-11-10 11:08:06 -0800836 void* entry_point_from_quick_compiled_code_;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800837 } ptr_sized_fields_;
838
Mathieu Chartier02e25112013-08-14 16:14:24 -0700839 private:
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000840 uint16_t FindObsoleteDexClassDefIndex() REQUIRES_SHARED(Locks::mutator_lock_);
841
Andreas Gampe542451c2016-07-26 09:02:02 -0700842 static constexpr size_t PtrSizedFieldsOffset(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700843 // Round up to pointer size for padding field. Tested in art_method.cc.
Andreas Gampe542451c2016-07-26 09:02:02 -0700844 return RoundUp(offsetof(ArtMethod, hotness_count_) + sizeof(hotness_count_),
845 static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700846 }
847
Andreas Gampe75f08852016-07-19 08:06:07 -0700848 // Compare given pointer size to the image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -0700849 static bool IsImagePointerSize(PointerSize pointer_size);
Andreas Gampe75f08852016-07-19 08:06:07 -0700850
Vladimir Markob45528c2017-07-27 14:14:28 +0100851 dex::TypeIndex GetReturnTypeIndex() REQUIRES_SHARED(Locks::mutator_lock_);
852
Mathieu Chartiere401d142015-04-22 13:56:20 -0700853 template<typename T>
Andreas Gampe542451c2016-07-26 09:02:02 -0700854 ALWAYS_INLINE T GetNativePointer(MemberOffset offset, PointerSize pointer_size) const {
Vladimir Marko05792b92015-08-03 11:56:49 +0100855 static_assert(std::is_pointer<T>::value, "T must be a pointer type");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700856 const auto addr = reinterpret_cast<uintptr_t>(this) + offset.Uint32Value();
Andreas Gampe542451c2016-07-26 09:02:02 -0700857 if (pointer_size == PointerSize::k32) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700858 return reinterpret_cast<T>(*reinterpret_cast<const uint32_t*>(addr));
859 } else {
860 auto v = *reinterpret_cast<const uint64_t*>(addr);
Vladimir Marko05792b92015-08-03 11:56:49 +0100861 return reinterpret_cast<T>(dchecked_integral_cast<uintptr_t>(v));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700862 }
863 }
864
865 template<typename T>
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000866 ALWAYS_INLINE void SetNativePointer(MemberOffset offset, T new_value, PointerSize pointer_size)
867 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100868 static_assert(std::is_pointer<T>::value, "T must be a pointer type");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700869 const auto addr = reinterpret_cast<uintptr_t>(this) + offset.Uint32Value();
Andreas Gampe542451c2016-07-26 09:02:02 -0700870 if (pointer_size == PointerSize::k32) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700871 uintptr_t ptr = reinterpret_cast<uintptr_t>(new_value);
Vladimir Marko05792b92015-08-03 11:56:49 +0100872 *reinterpret_cast<uint32_t*>(addr) = dchecked_integral_cast<uint32_t>(ptr);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700873 } else {
874 *reinterpret_cast<uint64_t*>(addr) = reinterpret_cast<uintptr_t>(new_value);
875 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800876 }
877
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100878 static inline bool IsValidIntrinsicUpdate(uint32_t modifier) {
879 return (((modifier & kAccIntrinsic) == kAccIntrinsic) &&
880 (((modifier & ~(kAccIntrinsic | kAccIntrinsicBits)) == 0)));
881 }
882
883 static inline bool OverlapsIntrinsicBits(uint32_t modifier) {
884 return (modifier & kAccIntrinsicBits) != 0;
885 }
886
887 // This setter guarantees atomicity.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000888 void AddAccessFlags(uint32_t flag) REQUIRES_SHARED(Locks::mutator_lock_) {
Hans Boehm65a01a72019-12-30 14:07:03 -0800889 DCHECK(!IsIntrinsic() || !OverlapsIntrinsicBits(flag) || IsValidIntrinsicUpdate(flag));
890 // None of the readers rely ordering.
891 access_flags_.fetch_or(flag, std::memory_order_relaxed);
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100892 }
893
894 // This setter guarantees atomicity.
Nicolas Geoffrayf05f04b2019-10-31 11:50:41 +0000895 void ClearAccessFlags(uint32_t flag) REQUIRES_SHARED(Locks::mutator_lock_) {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100896 DCHECK(!IsIntrinsic() || !OverlapsIntrinsicBits(flag) || IsValidIntrinsicUpdate(flag));
Hans Boehm65a01a72019-12-30 14:07:03 -0800897 access_flags_.fetch_and(~flag, std::memory_order_relaxed);
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100898 }
899
Eric Holkabdb4592019-05-16 08:33:12 -0700900 // Used by GetName and GetNameView to share common code.
901 const char* GetRuntimeMethodName() REQUIRES_SHARED(Locks::mutator_lock_);
902
Mathieu Chartiere401d142015-04-22 13:56:20 -0700903 DISALLOW_COPY_AND_ASSIGN(ArtMethod); // Need to use CopyFrom to deal with 32 vs 64 bits.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800904};
905
Alex Lightd78ddec2017-04-18 15:20:38 -0700906class MethodCallback {
907 public:
908 virtual ~MethodCallback() {}
909
910 virtual void RegisterNativeMethod(ArtMethod* method,
911 const void* original_implementation,
912 /*out*/void** new_implementation)
913 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
914};
915
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800916} // namespace art
917
Mathieu Chartiere401d142015-04-22 13:56:20 -0700918#endif // ART_RUNTIME_ART_METHOD_H_