blob: df9b3aa852f67f90b108ee78cc856c1fceb50894 [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
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010022#include "base/bit_utils.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010023#include "base/casts.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070024#include "base/enums.h"
Mathieu Chartier69147f12017-11-06 20:02:24 -080025#include "base/iteration_range.h"
Andreas Gampeaea05c12017-05-19 08:45:02 -070026#include "base/logging.h"
Jeff Hao790ad902013-05-22 15:02:08 -070027#include "dex_file.h"
Mathieu Chartier69147f12017-11-06 20:02:24 -080028#include "dex_instruction_iterator.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070029#include "gc_root.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030#include "modifiers.h"
Mathieu Chartier28357fa2016-10-18 16:27:40 -070031#include "obj_ptr.h"
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070032#include "offsets.h"
Alex Lightd7661582017-05-01 13:48:16 -070033#include "primitive.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070034#include "read_barrier_option.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035
36namespace art {
37
David Sehr9323e6e2016-09-13 08:58:35 -070038template<class T> class Handle;
Andreas Gampe75a7db62016-09-26 12:04:26 -070039class ImtConflictTable;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070040enum InvokeType : uint32_t;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041union JValue;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010042class OatQuickMethodHeader;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010043class ProfilingInfo;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070044class ScopedObjectAccessAlreadyRunnable;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080045class StringPiece;
Jeff Hao16743632013-05-08 10:59:04 -070046class ShadowFrame;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047
48namespace mirror {
Mathieu Chartiere401d142015-04-22 13:56:20 -070049class Array;
50class Class;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070051class ClassLoader;
52class DexCache;
Mathieu Chartiere42888f2016-04-14 10:49:19 -070053class IfTable;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070054class Object;
55template <typename MirrorType> class ObjectArray;
Mathieu Chartiere401d142015-04-22 13:56:20 -070056class PointerArray;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070057class String;
Vladimir Marko07bfbac2017-07-06 14:55:02 +010058
59template <typename T> struct NativeDexCachePair;
60using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
61using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Mathieu Chartiere401d142015-04-22 13:56:20 -070062} // namespace mirror
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080063
Mathieu Chartiere401d142015-04-22 13:56:20 -070064class ArtMethod FINAL {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080065 public:
Andreas Gampeaea05c12017-05-19 08:45:02 -070066 // Should the class state be checked on sensitive operations?
67 DECLARE_RUNTIME_DEBUG_FLAG(kCheckDeclaringClassState);
Andreas Gampeb1106e22017-02-23 11:34:48 -080068
Andreas Gampec6ea7d02017-02-01 16:46:28 -080069 // The runtime dex_method_index is kDexNoIndex. To lower dependencies, we use this
70 // constexpr, and ensure that the value is correct in art_method.cc.
71 static constexpr uint32_t kRuntimeMethodDexMethodIndex = 0xFFFFFFFF;
72
Mathieu Chartiere401d142015-04-22 13:56:20 -070073 ArtMethod() : access_flags_(0), dex_code_item_offset_(0), dex_method_index_(0),
Andreas Gampe479b1de2016-07-19 18:27:17 -070074 method_index_(0), hotness_count_(0) { }
Mathieu Chartiere401d142015-04-22 13:56:20 -070075
Andreas Gampe542451c2016-07-26 09:02:02 -070076 ArtMethod(ArtMethod* src, PointerSize image_pointer_size) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +000077 CopyFrom(src, image_pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -070078 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -070079
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070080 static ArtMethod* FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
81 jobject jlr_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070082 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62f05122014-03-21 11:21:29 -070083
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080084 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070085 ALWAYS_INLINE mirror::Class* GetDeclaringClass() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080086
Mathieu Chartiere7f75f32016-02-01 16:08:15 -080087 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Mathieu Chartiere401d142015-04-22 13:56:20 -070088 ALWAYS_INLINE mirror::Class* GetDeclaringClassUnchecked()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070089 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -070090
Mathieu Chartier8c19d242017-03-06 12:35:10 -080091 mirror::CompressedReference<mirror::Object>* GetDeclaringClassAddressWithoutBarrier() {
92 return declaring_class_.AddressWithoutBarrier();
93 }
94
Mathieu Chartier28357fa2016-10-18 16:27:40 -070095 void SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070096 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080097
Mathieu Chartier10e5ea92015-08-13 12:56:31 -070098 bool CASDeclaringClass(mirror::Class* expected_class, mirror::Class* desired_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070099 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -0700100
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800101 static MemberOffset DeclaringClassOffset() {
Brian Carlstromea46f952013-07-30 01:26:50 -0700102 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, declaring_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800103 }
104
Andreas Gampecbc96b82015-09-30 20:05:24 +0000105 // Note: GetAccessFlags acquires the mutator lock in debug mode to check that it is not called for
106 // a proxy method.
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800107 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800108 uint32_t GetAccessFlags() {
109 if (kCheckDeclaringClassState) {
110 GetAccessFlagsDCheck<kReadBarrierOption>();
111 }
112 return access_flags_.load(std::memory_order_relaxed);
113 }
Jeff Hao5d917302013-02-27 17:57:33 -0800114
Mingyao Yang063fc772016-08-02 11:02:54 -0700115 // This version should only be called when it's certain there is no
116 // concurrency so there is no need to guarantee atomicity. For example,
117 // before the method is linked.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700118 void SetAccessFlags(uint32_t new_access_flags) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700119 access_flags_.store(new_access_flags, std::memory_order_relaxed);
120 }
121
Vladimir Marko5122e6b2017-08-17 16:10:09 +0100122 static MemberOffset AccessFlagsOffset() {
123 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, access_flags_));
124 }
125
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800126 // Approximate what kind of method call would be used for this method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700127 InvokeType GetInvokeType() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800128
129 // Returns true if the method is declared public.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000130 bool IsPublic() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800131 return (GetAccessFlags() & kAccPublic) != 0;
132 }
133
134 // Returns true if the method is declared private.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000135 bool IsPrivate() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800136 return (GetAccessFlags() & kAccPrivate) != 0;
137 }
138
139 // Returns true if the method is declared static.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000140 bool IsStatic() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800141 return (GetAccessFlags() & kAccStatic) != 0;
142 }
143
Orion Hodson6c4921b2016-09-21 15:41:06 +0100144 // Returns true if the method is a constructor according to access flags.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000145 bool IsConstructor() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800146 return (GetAccessFlags() & kAccConstructor) != 0;
147 }
148
Orion Hodson6c4921b2016-09-21 15:41:06 +0100149 // Returns true if the method is a class initializer according to access flags.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000150 bool IsClassInitializer() {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700151 return IsConstructor() && IsStatic();
152 }
153
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800154 // Returns true if the method is static, private, or a constructor.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000155 bool IsDirect() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800156 return IsDirect(GetAccessFlags());
157 }
158
159 static bool IsDirect(uint32_t access_flags) {
Andreas Gampecbc96b82015-09-30 20:05:24 +0000160 constexpr uint32_t direct = kAccStatic | kAccPrivate | kAccConstructor;
161 return (access_flags & direct) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800162 }
163
164 // Returns true if the method is declared synchronized.
Andreas Gampecbc96b82015-09-30 20:05:24 +0000165 bool IsSynchronized() {
166 constexpr uint32_t synchonized = kAccSynchronized | kAccDeclaredSynchronized;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800167 return (GetAccessFlags() & synchonized) != 0;
168 }
169
Andreas Gampecbc96b82015-09-30 20:05:24 +0000170 bool IsFinal() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800171 return (GetAccessFlags() & kAccFinal) != 0;
172 }
173
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100174 bool IsIntrinsic() {
175 return (GetAccessFlags() & kAccIntrinsic) != 0;
176 }
177
Mingyao Yang063fc772016-08-02 11:02:54 -0700178 ALWAYS_INLINE void SetIntrinsic(uint32_t intrinsic) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100179
180 uint32_t GetIntrinsic() {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100181 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
182 static_assert(IsPowerOfTwo((kAccIntrinsicBits >> kAccFlagsShift) + 1),
183 "kAccIntrinsicBits are not continuous");
184 static_assert((kAccIntrinsic & kAccIntrinsicBits) == 0,
185 "kAccIntrinsic overlaps kAccIntrinsicBits");
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100186 DCHECK(IsIntrinsic());
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100187 return (GetAccessFlags() & kAccIntrinsicBits) >> kAccFlagsShift;
188 }
189
190 void SetNotIntrinsic() REQUIRES_SHARED(Locks::mutator_lock_) {
191 ClearAccessFlags(kAccIntrinsic | kAccIntrinsicBits);
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100192 }
193
Alex Light36121492016-02-22 13:43:29 -0800194 bool IsCopied() {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100195 static_assert((kAccCopied & (kAccIntrinsic | kAccIntrinsicBits)) == 0,
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100196 "kAccCopied conflicts with intrinsic modifier");
Alex Light36121492016-02-22 13:43:29 -0800197 const bool copied = (GetAccessFlags() & kAccCopied) != 0;
198 // (IsMiranda() || IsDefaultConflicting()) implies copied
199 DCHECK(!(IsMiranda() || IsDefaultConflicting()) || copied)
200 << "Miranda or default-conflict methods must always be copied.";
201 return copied;
Alex Lightfcea56f2016-02-17 11:59:05 -0800202 }
203
Andreas Gampecbc96b82015-09-30 20:05:24 +0000204 bool IsMiranda() {
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100205 static_assert((kAccMiranda & (kAccIntrinsic | kAccIntrinsicBits)) == 0,
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100206 "kAccMiranda conflicts with intrinsic modifier");
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800207 return (GetAccessFlags() & kAccMiranda) != 0;
208 }
209
Alex Light9139e002015-10-09 15:59:48 -0700210 // Returns true if invoking this method will not throw an AbstractMethodError or
211 // IncompatibleClassChangeError.
212 bool IsInvokable() {
213 return !IsAbstract() && !IsDefaultConflicting();
214 }
215
Nicolas Geoffray250a3782016-04-20 16:27:53 +0100216 bool IsCompilable() {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100217 if (IsIntrinsic()) {
218 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");
Alex Lighteb7c1442015-08-31 13:17:42 -0700241 return (GetAccessFlags() & kAccDefault) != 0;
242 }
243
Alex Lighta01de592016-11-15 10:43:06 -0800244 bool IsObsolete() {
Alex Light7532d582017-02-13 16:36:06 -0800245 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
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800252 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Andreas Gampecbc96b82015-09-30 20:05:24 +0000253 bool IsNative() {
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800254 return (GetAccessFlags<kReadBarrierOption>() & kAccNative) != 0;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800255 }
256
Andreas Gampecbc96b82015-09-30 20:05:24 +0000257 bool IsFastNative() {
258 constexpr uint32_t mask = kAccFastNative | kAccNative;
Ian Rogers16ce0922014-01-10 14:59:36 -0800259 return (GetAccessFlags() & mask) == mask;
Ian Rogers1eb512d2013-10-18 15:42:20 -0700260 }
261
Andreas Gampecbc96b82015-09-30 20:05:24 +0000262 bool IsAbstract() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800263 return (GetAccessFlags() & kAccAbstract) != 0;
264 }
265
Andreas Gampecbc96b82015-09-30 20:05:24 +0000266 bool IsSynthetic() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800267 return (GetAccessFlags() & kAccSynthetic) != 0;
268 }
269
Orion Hodsoncfa325e2016-10-13 10:25:54 +0100270 bool IsVarargs() {
271 return (GetAccessFlags() & kAccVarargs) != 0;
272 }
273
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700274 bool IsProxyMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800275
Orion Hodsoneb4d19b2017-11-06 15:49:23 +0000276 bool IsPolymorphicSignature() REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodson43f0cdb2017-10-10 14:47:32 +0100277
Igor Murashkindf707e42016-02-02 16:56:50 -0800278 bool SkipAccessChecks() {
279 return (GetAccessFlags() & kAccSkipAccessChecks) != 0;
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200280 }
281
Igor Murashkindf707e42016-02-02 16:56:50 -0800282 void SetSkipAccessChecks() {
Mingyao Yang063fc772016-08-02 11:02:54 -0700283 AddAccessFlags(kAccSkipAccessChecks);
Sebastien Hertz233ea8e2013-06-06 11:57:09 +0200284 }
285
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100286 bool PreviouslyWarm() {
287 if (IsIntrinsic()) {
288 // kAccPreviouslyWarm overlaps with kAccIntrinsicBits.
289 return true;
290 }
291 return (GetAccessFlags() & kAccPreviouslyWarm) != 0;
292 }
293
294 void SetPreviouslyWarm() {
295 if (IsIntrinsic()) {
296 // kAccPreviouslyWarm overlaps with kAccIntrinsicBits.
297 return;
298 }
299 AddAccessFlags(kAccPreviouslyWarm);
300 }
301
Andreas Gampe56fdd0e2016-04-28 14:56:54 -0700302 // Should this method be run in the interpreter and count locks (e.g., failed structured-
303 // locking verification)?
304 bool MustCountLocks() {
Nicolas Geoffray762869d2016-07-15 15:28:35 +0100305 if (IsIntrinsic()) {
306 return false;
307 }
Andreas Gampe56fdd0e2016-04-28 14:56:54 -0700308 return (GetAccessFlags() & kAccMustCountLocks) != 0;
309 }
310
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100311 void SetMustCountLocks() {
312 AddAccessFlags(kAccMustCountLocks);
313 }
314
Igor Murashkin9d4b6da2016-07-29 09:51:58 -0700315 // Checks to see if the method was annotated with @dalvik.annotation.optimization.FastNative
316 // -- Independent of kAccFastNative access flags.
317 bool IsAnnotatedWithFastNative();
318
Igor Murashkin367f3dd2016-09-01 17:00:24 -0700319 // Checks to see if the method was annotated with @dalvik.annotation.optimization.CriticalNative
320 // -- Unrelated to the GC notion of "critical".
321 bool IsAnnotatedWithCriticalNative();
322
Alex Lighteb7c1442015-08-31 13:17:42 -0700323 // Returns true if this method could be overridden by a default method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700324 bool IsOverridableByDefaultMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -0700325
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700326 bool CheckIncompatibleClassChange(InvokeType type) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800327
Alex Light9139e002015-10-09 15:59:48 -0700328 // Throws the error that would result from trying to invoke this method (i.e.
329 // IncompatibleClassChangeError or AbstractMethodError). Only call if !IsInvokable();
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700330 void ThrowInvocationTimeError() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light9139e002015-10-09 15:59:48 -0700331
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700332 uint16_t GetMethodIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800333
Mathieu Chartier9f3629d2014-10-28 18:23:02 -0700334 // Doesn't do erroneous / unresolved class checks.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700335 uint16_t GetMethodIndexDuringLinking() REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier9f3629d2014-10-28 18:23:02 -0700336
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700337 size_t GetVtableIndex() REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800338 return GetMethodIndex();
339 }
340
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700341 void SetMethodIndex(uint16_t new_method_index) REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100342 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700343 method_index_ = new_method_index;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800344 }
345
Vladimir Markoc1363122015-04-09 14:13:13 +0100346 static MemberOffset DexMethodIndexOffset() {
Andreas Gampe5d08fcc2017-06-05 17:56:46 -0700347 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, dex_method_index_));
Vladimir Markoc1363122015-04-09 14:13:13 +0100348 }
349
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800350 static MemberOffset MethodIndexOffset() {
Andreas Gampe5d08fcc2017-06-05 17:56:46 -0700351 return MemberOffset(OFFSETOF_MEMBER(ArtMethod, method_index_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800352 }
353
Mathieu Chartiere401d142015-04-22 13:56:20 -0700354 uint32_t GetCodeItemOffset() {
355 return dex_code_item_offset_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800356 }
357
Mathieu Chartiere401d142015-04-22 13:56:20 -0700358 void SetCodeItemOffset(uint32_t new_code_off) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100359 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700360 dex_code_item_offset_ = new_code_off;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800361 }
362
363 // Number of 32bit registers that would be required to hold all the arguments
364 static size_t NumArgRegisters(const StringPiece& shorty);
365
Nicolas Geoffray5d37c152017-01-12 13:25:19 +0000366 ALWAYS_INLINE uint32_t GetDexMethodIndexUnchecked() {
367 return dex_method_index_;
368 }
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700369 ALWAYS_INLINE uint32_t GetDexMethodIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800370
Mathieu Chartiere401d142015-04-22 13:56:20 -0700371 void SetDexMethodIndex(uint32_t new_idx) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100372 // Not called within a transaction.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700373 dex_method_index_ = new_idx;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800374 }
375
Vladimir Markob45528c2017-07-27 14:14:28 +0100376 // Lookup the Class* from the type index into this method's dex cache.
377 ObjPtr<mirror::Class> LookupResolvedClassFromTypeIndex(dex::TypeIndex type_idx)
378 REQUIRES_SHARED(Locks::mutator_lock_);
379 // Resolve the Class* from the type index into this method's dex cache.
380 ObjPtr<mirror::Class> ResolveClassFromTypeIndex(dex::TypeIndex type_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700381 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersa0485602014-12-02 15:48:04 -0800382
Alex Light6c8467f2015-11-20 15:03:26 -0800383 // Returns true if this method has the same name and signature of the other method.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700384 bool HasSameNameAndSignature(ArtMethod* other) REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light6c8467f2015-11-20 15:03:26 -0800385
Ian Rogerse0a02da2014-12-02 14:10:53 -0800386 // Find the method that this method overrides.
Andreas Gampe542451c2016-07-26 09:02:02 -0700387 ArtMethod* FindOverriddenMethod(PointerSize pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700388 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800389
Ian Rogerse0a02da2014-12-02 14:10:53 -0800390 // Find the method index for this method within other_dexfile. If this method isn't present then
Andreas Gampee2abbc62017-09-15 11:59:26 -0700391 // return dex::kDexNoIndex. The name_and_signature_idx MUST refer to a MethodId with the same
Ian Rogerse0a02da2014-12-02 14:10:53 -0800392 // name and signature in the other_dexfile, such as the method index used to resolve this method
393 // in the other_dexfile.
394 uint32_t FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
395 uint32_t name_and_signature_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700396 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogerse0a02da2014-12-02 14:10:53 -0800397
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700398 void Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result, const char* shorty)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700399 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800400
Mathieu Chartiere401d142015-04-22 13:56:20 -0700401 const void* GetEntryPointFromQuickCompiledCode() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700402 return GetEntryPointFromQuickCompiledCodePtrSize(kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800403 }
Andreas Gampe542451c2016-07-26 09:02:02 -0700404 ALWAYS_INLINE const void* GetEntryPointFromQuickCompiledCodePtrSize(PointerSize pointer_size) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100405 return GetNativePointer<const void*>(
Mathieu Chartier2d721012014-11-10 11:08:06 -0800406 EntryPointFromQuickCompiledCodeOffset(pointer_size), pointer_size);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800407 }
408
Mathieu Chartiere401d142015-04-22 13:56:20 -0700409 void SetEntryPointFromQuickCompiledCode(const void* entry_point_from_quick_compiled_code) {
Mathieu Chartier2d721012014-11-10 11:08:06 -0800410 SetEntryPointFromQuickCompiledCodePtrSize(entry_point_from_quick_compiled_code,
Andreas Gampe542451c2016-07-26 09:02:02 -0700411 kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800412 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800413 ALWAYS_INLINE void SetEntryPointFromQuickCompiledCodePtrSize(
Andreas Gampe542451c2016-07-26 09:02:02 -0700414 const void* entry_point_from_quick_compiled_code, PointerSize pointer_size) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100415 SetNativePointer(EntryPointFromQuickCompiledCodeOffset(pointer_size),
Andreas Gampe542451c2016-07-26 09:02:02 -0700416 entry_point_from_quick_compiled_code,
417 pointer_size);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800418 }
419
Alex Lightd78ddec2017-04-18 15:20:38 -0700420 // Registers the native method and returns the new entry point. NB The returned entry point might
421 // be different from the native_method argument if some MethodCallback modifies it.
422 const void* RegisterNative(const void* native_method, bool is_fast)
423 REQUIRES_SHARED(Locks::mutator_lock_) WARN_UNUSED;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800424
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700425 void UnregisterNative() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800426
Andreas Gampe542451c2016-07-26 09:02:02 -0700427 static MemberOffset DataOffset(PointerSize pointer_size) {
Mathieu Chartiereace4582014-11-24 18:29:54 -0800428 return MemberOffset(PtrSizedFieldsOffset(pointer_size) + OFFSETOF_MEMBER(
Andreas Gampe542451c2016-07-26 09:02:02 -0700429 PtrSizedFields, data_) / sizeof(void*) * static_cast<size_t>(pointer_size));
Andreas Gampe75f08852016-07-19 08:06:07 -0700430 }
431
Andreas Gampe542451c2016-07-26 09:02:02 -0700432 static MemberOffset EntryPointFromJniOffset(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700433 return DataOffset(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800434 }
435
Andreas Gampe542451c2016-07-26 09:02:02 -0700436 static MemberOffset EntryPointFromQuickCompiledCodeOffset(PointerSize pointer_size) {
Mathieu Chartiereace4582014-11-24 18:29:54 -0800437 return MemberOffset(PtrSizedFieldsOffset(pointer_size) + OFFSETOF_MEMBER(
Andreas Gampe542451c2016-07-26 09:02:02 -0700438 PtrSizedFields, entry_point_from_quick_compiled_code_) / sizeof(void*)
439 * static_cast<size_t>(pointer_size));
Mathieu Chartier2d721012014-11-10 11:08:06 -0800440 }
441
Andreas Gampe542451c2016-07-26 09:02:02 -0700442 ImtConflictTable* GetImtConflictTable(PointerSize pointer_size) {
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000443 DCHECK(IsRuntimeMethod());
Andreas Gampe75f08852016-07-19 08:06:07 -0700444 return reinterpret_cast<ImtConflictTable*>(GetDataPtrSize(pointer_size));
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000445 }
446
Andreas Gampe542451c2016-07-26 09:02:02 -0700447 ALWAYS_INLINE void SetImtConflictTable(ImtConflictTable* table, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700448 DCHECK(IsRuntimeMethod());
449 SetDataPtrSize(table, pointer_size);
450 }
451
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000452 ProfilingInfo* GetProfilingInfo(PointerSize pointer_size) REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffraya7920672017-06-23 09:41:20 +0100453 // Don't do a read barrier in the DCHECK, as GetProfilingInfo is called in places
454 // where the declaring class is treated as a weak reference (accessing it with
455 // a read barrier would either prevent unloading the class, or crash the runtime if
456 // the GC wants to unload it).
457 DCHECK(!IsNative<kWithoutReadBarrier>());
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000458 if (UNLIKELY(IsProxyMethod())) {
459 return nullptr;
460 }
Andreas Gampe75f08852016-07-19 08:06:07 -0700461 return reinterpret_cast<ProfilingInfo*>(GetDataPtrSize(pointer_size));
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000462 }
463
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000464 ALWAYS_INLINE void SetProfilingInfo(ProfilingInfo* info) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700465 SetDataPtrSize(info, kRuntimePointerSize);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000466 }
467
Andreas Gampe542451c2016-07-26 09:02:02 -0700468 ALWAYS_INLINE void SetProfilingInfoPtrSize(ProfilingInfo* info, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700469 SetDataPtrSize(info, pointer_size);
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000470 }
471
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000472 static MemberOffset ProfilingInfoOffset() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700473 DCHECK(IsImagePointerSize(kRuntimePointerSize));
474 return DataOffset(kRuntimePointerSize);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000475 }
476
Mingyao Yang063fc772016-08-02 11:02:54 -0700477 ALWAYS_INLINE bool HasSingleImplementation() REQUIRES_SHARED(Locks::mutator_lock_);
478
479 ALWAYS_INLINE void SetHasSingleImplementation(bool single_impl) {
480 DCHECK(!IsIntrinsic()) << "conflict with intrinsic bits";
481 if (single_impl) {
482 AddAccessFlags(kAccSingleImplementation);
483 } else {
484 ClearAccessFlags(kAccSingleImplementation);
485 }
486 }
487
Alex Light97e78032017-06-27 17:51:55 -0700488 // Takes a method and returns a 'canonical' one if the method is default (and therefore
489 // potentially copied from some other class). For example, this ensures that the debugger does not
490 // get confused as to which method we are in.
491 ArtMethod* GetCanonicalMethod(PointerSize pointer_size = kRuntimePointerSize)
492 REQUIRES_SHARED(Locks::mutator_lock_);
493
Mingyao Yange8fcd012017-01-20 10:43:30 -0800494 ArtMethod* GetSingleImplementation(PointerSize pointer_size)
Mingyao Yang063fc772016-08-02 11:02:54 -0700495 REQUIRES_SHARED(Locks::mutator_lock_);
496
497 ALWAYS_INLINE void SetSingleImplementation(ArtMethod* method, PointerSize pointer_size) {
498 DCHECK(!IsNative());
499 DCHECK(IsAbstract()); // Non-abstract method's single implementation is just itself.
500 SetDataPtrSize(method, pointer_size);
501 }
502
Mathieu Chartiere401d142015-04-22 13:56:20 -0700503 void* GetEntryPointFromJni() {
Andreas Gampe75f08852016-07-19 08:06:07 -0700504 DCHECK(IsNative());
Andreas Gampe542451c2016-07-26 09:02:02 -0700505 return GetEntryPointFromJniPtrSize(kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800506 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100507
Andreas Gampe542451c2016-07-26 09:02:02 -0700508 ALWAYS_INLINE void* GetEntryPointFromJniPtrSize(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700509 return GetDataPtrSize(pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800510 }
511
Andreas Gampecbc96b82015-09-30 20:05:24 +0000512 void SetEntryPointFromJni(const void* entrypoint) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100513 DCHECK(IsNative());
Andreas Gampe542451c2016-07-26 09:02:02 -0700514 SetEntryPointFromJniPtrSize(entrypoint, kRuntimePointerSize);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800515 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100516
Andreas Gampe542451c2016-07-26 09:02:02 -0700517 ALWAYS_INLINE void SetEntryPointFromJniPtrSize(const void* entrypoint, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700518 SetDataPtrSize(entrypoint, pointer_size);
519 }
520
Andreas Gampe542451c2016-07-26 09:02:02 -0700521 ALWAYS_INLINE void* GetDataPtrSize(PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700522 DCHECK(IsImagePointerSize(pointer_size));
523 return GetNativePointer<void*>(DataOffset(pointer_size), pointer_size);
524 }
525
Andreas Gampe542451c2016-07-26 09:02:02 -0700526 ALWAYS_INLINE void SetDataPtrSize(const void* data, PointerSize pointer_size) {
Andreas Gampe75f08852016-07-19 08:06:07 -0700527 DCHECK(IsImagePointerSize(pointer_size));
528 SetNativePointer(DataOffset(pointer_size), data, pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800529 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800530
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800531 // Is this a CalleSaveMethod or ResolutionMethod and therefore doesn't adhere to normal
532 // conventions for a method of managed code. Returns false for Proxy methods.
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800533 ALWAYS_INLINE bool IsRuntimeMethod() {
534 return dex_method_index_ == kRuntimeMethodDexMethodIndex;;
535 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800536
537 // Is this a hand crafted method used for something like describing callee saves?
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700538 bool IsCalleeSaveMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800539
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700540 bool IsResolutionMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800541
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700542 bool IsImtUnimplementedMethod() REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700543
Ian Rogersc449aa82013-07-29 14:35:46 -0700544 // Find the catch block for the given exception type and dex_pc. When a catch block is found,
545 // indicates whether the found catch block is responsible for clearing the exception or whether
546 // a move-exception instruction is present.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700547 uint32_t FindCatchBlock(Handle<mirror::Class> exception_type, uint32_t dex_pc,
548 bool* has_no_move_exception)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700549 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800550
Mathieu Chartierda7c6502015-07-23 16:01:26 -0700551 // NO_THREAD_SAFETY_ANALYSIS since we don't know what the callback requires.
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700552 template<ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename RootVisitorType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700553 void VisitRoots(RootVisitorType& visitor, PointerSize pointer_size) NO_THREAD_SAFETY_ANALYSIS;
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800554
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700555 const DexFile* GetDexFile() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700556
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700557 const char* GetDeclaringClassDescriptor() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700558
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800559 ALWAYS_INLINE const char* GetShorty() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700560
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700561 const char* GetShorty(uint32_t* out_length) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700562
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700563 const Signature GetSignature() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700564
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700565 ALWAYS_INLINE const char* GetName() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700566
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700567 mirror::String* GetNameAsString(Thread* self) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6b14d552014-10-28 21:50:58 -0700568
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700569 const DexFile::CodeItem* GetCodeItem() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700570
Vladimir Marko942fd312017-01-16 20:52:19 +0000571 bool IsResolvedTypeIdx(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700572
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700573 int32_t GetLineNumFromDexPC(uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700574
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700575 const DexFile::ProtoId& GetPrototype() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700576
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700577 const DexFile::TypeList* GetParameterTypeList() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700578
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700579 const char* GetDeclaringClassSourceFile() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700580
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700581 uint16_t GetClassDefIndex() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700582
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700583 const DexFile::ClassDef& GetClassDef() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700584
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700585 const char* GetReturnTypeDescriptor() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700586
Alex Lightd7661582017-05-01 13:48:16 -0700587 ALWAYS_INLINE Primitive::Type GetReturnTypePrimitive() REQUIRES_SHARED(Locks::mutator_lock_);
588
Andreas Gampea5b09a62016-11-17 15:21:22 -0800589 const char* GetTypeDescriptorFromTypeIdx(dex::TypeIndex type_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700590 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700591
Vladimir Markob45528c2017-07-27 14:14:28 +0100592 // Lookup return type.
593 ObjPtr<mirror::Class> LookupResolvedReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
594 // Resolve return type. May cause thread suspension due to GetClassFromTypeIdx
595 // calling ResolveType this caused a large number of bugs at call sites.
596 ObjPtr<mirror::Class> ResolveReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersded66a02014-10-28 18:12:55 -0700597
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700598 mirror::ClassLoader* GetClassLoader() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700599
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800600 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700601 mirror::DexCache* GetDexCache() REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighta01de592016-11-15 10:43:06 -0800602 mirror::DexCache* GetObsoleteDexCache() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700603
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000604 ALWAYS_INLINE ArtMethod* GetInterfaceMethodForProxyUnchecked(PointerSize pointer_size)
605 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe542451c2016-07-26 09:02:02 -0700606 ALWAYS_INLINE ArtMethod* GetInterfaceMethodIfProxy(PointerSize pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700607 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700608
Alex Light4ba388a2017-01-27 10:26:49 -0800609 ArtMethod* GetNonObsoleteMethod() REQUIRES_SHARED(Locks::mutator_lock_);
610
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700611 // May cause thread suspension due to class resolution.
612 bool EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700613 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700614
Vladimir Marko14632852015-08-17 12:07:23 +0100615 // Size of an instance of this native class.
Andreas Gampe542451c2016-07-26 09:02:02 -0700616 static size_t Size(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700617 return PtrSizedFieldsOffset(pointer_size) +
Andreas Gampe542451c2016-07-26 09:02:02 -0700618 (sizeof(PtrSizedFields) / sizeof(void*)) * static_cast<size_t>(pointer_size);
Mathieu Chartier2d721012014-11-10 11:08:06 -0800619 }
620
Vladimir Marko14632852015-08-17 12:07:23 +0100621 // Alignment of an instance of this native class.
Andreas Gampe542451c2016-07-26 09:02:02 -0700622 static size_t Alignment(PointerSize pointer_size) {
Vladimir Markocf36d492015-08-12 19:27:26 +0100623 // The ArtMethod alignment is the same as image pointer size. This differs from
Vladimir Marko14632852015-08-17 12:07:23 +0100624 // alignof(ArtMethod) if cross-compiling with pointer_size != sizeof(void*).
Andreas Gampe542451c2016-07-26 09:02:02 -0700625 return static_cast<size_t>(pointer_size);
Vladimir Markocf36d492015-08-12 19:27:26 +0100626 }
627
Andreas Gampe542451c2016-07-26 09:02:02 -0700628 void CopyFrom(ArtMethod* src, PointerSize image_pointer_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700629 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700630
Bill Buzbee1d011d92016-04-04 16:59:29 +0000631 // Note, hotness_counter_ updates are non-atomic but it doesn't need to be precise. Also,
632 // given that the counter is only 16 bits wide we can expect wrap-around in some
633 // situations. Consumers of hotness_count_ must be able to deal with that.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100634 uint16_t IncrementCounter() {
635 return ++hotness_count_;
636 }
637
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100638 void ClearCounter() {
639 hotness_count_ = 0;
640 }
641
Bill Buzbee1d011d92016-04-04 16:59:29 +0000642 void SetCounter(int16_t hotness_count) {
643 hotness_count_ = hotness_count;
644 }
645
646 uint16_t GetCounter() const {
647 return hotness_count_;
648 }
649
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100650 const uint8_t* GetQuickenedInfo(PointerSize pointer_size) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100651
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100652 // Returns the method header for the compiled code containing 'pc'. Note that runtime
653 // methods will return null for this method, as they are not oat based.
654 const OatQuickMethodHeader* GetOatQuickMethodHeader(uintptr_t pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700655 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100656
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100657 // Get compiled code for the method, return null if no code exists.
658 const void* GetOatMethodQuickCode(PointerSize pointer_size)
659 REQUIRES_SHARED(Locks::mutator_lock_);
660
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000661 // Returns whether the method has any compiled code, JIT or AOT.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700662 bool HasAnyCompiledCode() REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000663
David Sehr709b0702016-10-13 09:12:37 -0700664 // Returns a human-readable signature for 'm'. Something like "a.b.C.m" or
665 // "a.b.C.m(II)V" (depending on the value of 'with_signature').
666 static std::string PrettyMethod(ArtMethod* m, bool with_signature = true)
667 REQUIRES_SHARED(Locks::mutator_lock_);
668 std::string PrettyMethod(bool with_signature = true)
669 REQUIRES_SHARED(Locks::mutator_lock_);
670 // Returns the JNI native function name for the non-overloaded method 'm'.
671 std::string JniShortName()
672 REQUIRES_SHARED(Locks::mutator_lock_);
673 // Returns the JNI native function name for the overloaded method 'm'.
674 std::string JniLongName()
675 REQUIRES_SHARED(Locks::mutator_lock_);
676
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800677 // Update heap objects and non-entrypoint pointers by the passed in visitor for image relocation.
678 // Does not use read barrier.
679 template <typename Visitor>
Vladimir Marko5122e6b2017-08-17 16:10:09 +0100680 ALWAYS_INLINE void UpdateObjectsForImageRelocation(const Visitor& visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700681 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800682
683 // Update entry points by passing them through the visitor.
Mathieu Chartiere7f75f32016-02-01 16:08:15 -0800684 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor>
Andreas Gampe542451c2016-07-26 09:02:02 -0700685 ALWAYS_INLINE void UpdateEntrypoints(const Visitor& visitor, PointerSize pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800686
David Sehra49e0532017-08-25 08:05:29 -0700687 // Visit the individual members of an ArtMethod. Used by imgdiag.
688 // As imgdiag does not support mixing instruction sets or pointer sizes (e.g., using imgdiag32
689 // to inspect 64-bit images, etc.), we can go beneath the accessors directly to the class members.
690 template <typename VisitorFunc>
691 void VisitMembers(VisitorFunc& visitor) {
692 DCHECK(IsImagePointerSize(kRuntimePointerSize));
693 visitor(this, &declaring_class_, "declaring_class_");
694 visitor(this, &access_flags_, "access_flags_");
695 visitor(this, &dex_code_item_offset_, "dex_code_item_offset_");
696 visitor(this, &dex_method_index_, "dex_method_index_");
697 visitor(this, &method_index_, "method_index_");
698 visitor(this, &hotness_count_, "hotness_count_");
699 visitor(this, &ptr_sized_fields_.data_, "ptr_sized_fields_.data_");
700 visitor(this,
701 &ptr_sized_fields_.entry_point_from_quick_compiled_code_,
702 "ptr_sized_fields_.entry_point_from_quick_compiled_code_");
703 }
704
Mathieu Chartier69147f12017-11-06 20:02:24 -0800705 // Returns the dex instructions of the code item for the art method. Must not be called on null
706 // code items.
707 ALWAYS_INLINE IterationRange<DexInstructionIterator> DexInstructions()
708 REQUIRES_SHARED(Locks::mutator_lock_);
709
710 // Handles a null code item by returning iterators that have a null address.
711 ALWAYS_INLINE IterationRange<DexInstructionIterator> NullableDexInstructions()
712 REQUIRES_SHARED(Locks::mutator_lock_);
713
Mathieu Chartier2d721012014-11-10 11:08:06 -0800714 protected:
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800715 // Field order required by test "ValidateFieldOrderOfJavaCppUnionClasses".
Ian Rogersef7d42f2014-01-06 12:55:46 -0800716 // The class we are a part of.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700717 GcRoot<mirror::Class> declaring_class_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800718
Ian Rogersef7d42f2014-01-06 12:55:46 -0800719 // Access flags; low 16 bits are defined by spec.
Mingyao Yang063fc772016-08-02 11:02:54 -0700720 // Getting and setting this flag needs to be atomic when concurrency is
721 // possible, e.g. after this method's class is linked. Such as when setting
722 // verifier flags and single-implementation flag.
723 std::atomic<std::uint32_t> access_flags_;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800724
725 /* Dex file fields. The defining dex file is available via declaring_class_->dex_cache_ */
726
727 // Offset to the CodeItem.
728 uint32_t dex_code_item_offset_;
729
730 // Index into method_ids of the dex file associated with this method.
731 uint32_t dex_method_index_;
732
733 /* End of dex file fields. */
734
735 // Entry within a dispatch table for this method. For static/direct methods the index is into
736 // the declaringClass.directMethods, for virtual methods the vtable and for interface methods the
737 // ifTable.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100738 uint16_t method_index_;
739
Bill Buzbee1d011d92016-04-04 16:59:29 +0000740 // The hotness we measure for this method. Managed by the interpreter. Not atomic, as we allow
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100741 // missing increments: if the method is hot, we will see it eventually.
742 uint16_t hotness_count_;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800743
Mathieu Chartiereace4582014-11-24 18:29:54 -0800744 // Fake padding field gets inserted here.
Mathieu Chartier2d721012014-11-10 11:08:06 -0800745
746 // Must be the last fields in the method.
Andreas Gampe479b1de2016-07-19 18:27:17 -0700747 struct PtrSizedFields {
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000748 // Depending on the method type, the data is
749 // - native method: pointer to the JNI function registered to this method
750 // or a function to resolve the JNI function,
751 // - conflict method: ImtConflictTable,
752 // - abstract/interface method: the single-implementation if any,
753 // - proxy method: the original interface method or constructor,
754 // - other methods: the profiling data.
Andreas Gampe75f08852016-07-19 08:06:07 -0700755 void* data_;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800756
757 // Method dispatch from quick compiled code invokes this pointer which may cause bridging into
Elliott Hughes956af0f2014-12-11 14:34:28 -0800758 // the interpreter.
Mathieu Chartier2d721012014-11-10 11:08:06 -0800759 void* entry_point_from_quick_compiled_code_;
Mathieu Chartier2d721012014-11-10 11:08:06 -0800760 } ptr_sized_fields_;
761
Mathieu Chartier02e25112013-08-14 16:14:24 -0700762 private:
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000763 uint16_t FindObsoleteDexClassDefIndex() REQUIRES_SHARED(Locks::mutator_lock_);
764
Andreas Gampe542451c2016-07-26 09:02:02 -0700765 static constexpr size_t PtrSizedFieldsOffset(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700766 // Round up to pointer size for padding field. Tested in art_method.cc.
Andreas Gampe542451c2016-07-26 09:02:02 -0700767 return RoundUp(offsetof(ArtMethod, hotness_count_) + sizeof(hotness_count_),
768 static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700769 }
770
Andreas Gampe75f08852016-07-19 08:06:07 -0700771 // Compare given pointer size to the image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -0700772 static bool IsImagePointerSize(PointerSize pointer_size);
Andreas Gampe75f08852016-07-19 08:06:07 -0700773
Vladimir Markob45528c2017-07-27 14:14:28 +0100774 dex::TypeIndex GetReturnTypeIndex() REQUIRES_SHARED(Locks::mutator_lock_);
775
Mathieu Chartiere401d142015-04-22 13:56:20 -0700776 template<typename T>
Andreas Gampe542451c2016-07-26 09:02:02 -0700777 ALWAYS_INLINE T GetNativePointer(MemberOffset offset, PointerSize pointer_size) const {
Vladimir Marko05792b92015-08-03 11:56:49 +0100778 static_assert(std::is_pointer<T>::value, "T must be a pointer type");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700779 const auto addr = reinterpret_cast<uintptr_t>(this) + offset.Uint32Value();
Andreas Gampe542451c2016-07-26 09:02:02 -0700780 if (pointer_size == PointerSize::k32) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700781 return reinterpret_cast<T>(*reinterpret_cast<const uint32_t*>(addr));
782 } else {
783 auto v = *reinterpret_cast<const uint64_t*>(addr);
Vladimir Marko05792b92015-08-03 11:56:49 +0100784 return reinterpret_cast<T>(dchecked_integral_cast<uintptr_t>(v));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700785 }
786 }
787
788 template<typename T>
Andreas Gampe542451c2016-07-26 09:02:02 -0700789 ALWAYS_INLINE void SetNativePointer(MemberOffset offset, T new_value, PointerSize pointer_size) {
Vladimir Marko05792b92015-08-03 11:56:49 +0100790 static_assert(std::is_pointer<T>::value, "T must be a pointer type");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700791 const auto addr = reinterpret_cast<uintptr_t>(this) + offset.Uint32Value();
Andreas Gampe542451c2016-07-26 09:02:02 -0700792 if (pointer_size == PointerSize::k32) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700793 uintptr_t ptr = reinterpret_cast<uintptr_t>(new_value);
Vladimir Marko05792b92015-08-03 11:56:49 +0100794 *reinterpret_cast<uint32_t*>(addr) = dchecked_integral_cast<uint32_t>(ptr);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700795 } else {
796 *reinterpret_cast<uint64_t*>(addr) = reinterpret_cast<uintptr_t>(new_value);
797 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800798 }
799
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800800 template <ReadBarrierOption kReadBarrierOption> void GetAccessFlagsDCheck();
801
Orion Hodsoncfcc9cf2017-09-29 15:07:27 +0100802 static inline bool IsValidIntrinsicUpdate(uint32_t modifier) {
803 return (((modifier & kAccIntrinsic) == kAccIntrinsic) &&
804 (((modifier & ~(kAccIntrinsic | kAccIntrinsicBits)) == 0)));
805 }
806
807 static inline bool OverlapsIntrinsicBits(uint32_t modifier) {
808 return (modifier & kAccIntrinsicBits) != 0;
809 }
810
811 // This setter guarantees atomicity.
812 void AddAccessFlags(uint32_t flag) {
813 DCHECK(!IsIntrinsic() || !OverlapsIntrinsicBits(flag) || IsValidIntrinsicUpdate(flag));
814 uint32_t old_access_flags;
815 uint32_t new_access_flags;
816 do {
817 old_access_flags = access_flags_.load(std::memory_order_relaxed);
818 new_access_flags = old_access_flags | flag;
819 } while (!access_flags_.compare_exchange_weak(old_access_flags, new_access_flags));
820 }
821
822 // This setter guarantees atomicity.
823 void ClearAccessFlags(uint32_t flag) {
824 DCHECK(!IsIntrinsic() || !OverlapsIntrinsicBits(flag) || IsValidIntrinsicUpdate(flag));
825 uint32_t old_access_flags;
826 uint32_t new_access_flags;
827 do {
828 old_access_flags = access_flags_.load(std::memory_order_relaxed);
829 new_access_flags = old_access_flags & ~flag;
830 } while (!access_flags_.compare_exchange_weak(old_access_flags, new_access_flags));
831 }
832
Mathieu Chartiere401d142015-04-22 13:56:20 -0700833 DISALLOW_COPY_AND_ASSIGN(ArtMethod); // Need to use CopyFrom to deal with 32 vs 64 bits.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800834};
835
Alex Lightd78ddec2017-04-18 15:20:38 -0700836class MethodCallback {
837 public:
838 virtual ~MethodCallback() {}
839
840 virtual void RegisterNativeMethod(ArtMethod* method,
841 const void* original_implementation,
842 /*out*/void** new_implementation)
843 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
844};
845
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800846} // namespace art
847
Mathieu Chartiere401d142015-04-22 13:56:20 -0700848#endif // ART_RUNTIME_ART_METHOD_H_