blob: 135e80624484794982dedf08bab8d7b4bc48439d [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
Brian Carlstromea46f952013-07-30 01:26:50 -070017#include "art_method.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080018
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +000019#include <algorithm>
Andreas Gampe479b1de2016-07-19 18:27:17 -070020#include <cstddef>
21
Andreas Gampe46ee31b2016-12-14 10:11:49 -080022#include "android-base/stringprintf.h"
Ulya Trafimovich5439f052020-07-29 10:03:46 +010023
Ian Rogerse63db272014-07-15 15:36:11 -070024#include "arch/context.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070025#include "art_method-inl.h"
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +000026#include "base/enums.h"
27#include "base/stl_util.h"
Hiroshi Yamauchi00370822015-08-18 14:47:25 -070028#include "class_linker-inl.h"
Vladimir Marko5868ada2020-05-12 11:50:34 +010029#include "class_root-inl.h"
Andreas Gampe2a5c4682015-08-14 08:22:54 -070030#include "debugger.h"
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -070031#include "dex/class_accessor-inl.h"
David Sehrb2ec9f52018-02-21 13:20:31 -080032#include "dex/descriptors_names.h"
David Sehr9e734c72018-01-04 17:56:19 -080033#include "dex/dex_file-inl.h"
34#include "dex/dex_file_exception_helpers.h"
35#include "dex/dex_instruction.h"
Andreas Gampead1aa632019-01-02 10:30:54 -080036#include "dex/signature-inl.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070037#include "entrypoints/runtime_asm_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070038#include "gc/accounting/card_table-inl.h"
David Brazdil85865692018-10-30 17:26:20 +000039#include "hidden_api.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080040#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080041#include "jit/jit.h"
42#include "jit/jit_code_cache.h"
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010043#include "jit/profiling_info.h"
Vladimir Markoa3ad0cd2018-05-04 10:06:38 +010044#include "jni/jni_internal.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070045#include "mirror/class-inl.h"
Vladimir Markobb206de2019-03-28 10:30:32 +000046#include "mirror/class_ext-inl.h"
Neil Fuller0e844392016-09-08 13:43:31 +010047#include "mirror/executable.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070048#include "mirror/object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070049#include "mirror/object_array-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070050#include "mirror/string.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000051#include "oat_file-inl.h"
Nicolas Geoffrayb041a402017-11-13 15:16:22 +000052#include "quicken_info.h"
Alex Lightd78ddec2017-04-18 15:20:38 -070053#include "runtime_callbacks.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070054#include "scoped_thread_state_change-inl.h"
Nicolas Geoffrayb02ba932017-07-13 15:53:54 +010055#include "vdex_file.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080056
57namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080058
Andreas Gampe46ee31b2016-12-14 10:11:49 -080059using android::base::StringPrintf;
60
Ian Rogers0177e532014-02-11 16:30:46 -080061extern "C" void art_quick_invoke_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
62 const char*);
Ian Rogers936b37f2014-02-14 00:52:24 -080063extern "C" void art_quick_invoke_static_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
64 const char*);
Jeff Hao5d917302013-02-27 17:57:33 -080065
Andrew Scull530f09a2020-07-22 11:52:06 +010066// Enforce that we have the right index for runtime methods.
Andreas Gampee2abbc62017-09-15 11:59:26 -070067static_assert(ArtMethod::kRuntimeMethodDexMethodIndex == dex::kDexNoIndex,
Andreas Gampec6ea7d02017-02-01 16:46:28 -080068 "Wrong runtime-method dex method index");
69
Alex Light97e78032017-06-27 17:51:55 -070070ArtMethod* ArtMethod::GetCanonicalMethod(PointerSize pointer_size) {
Alex Lightfd4a79c2019-06-21 08:45:16 -070071 if (LIKELY(!IsCopied())) {
Alex Light97e78032017-06-27 17:51:55 -070072 return this;
73 } else {
Vladimir Markoc7aa87e2018-05-24 15:19:52 +010074 ObjPtr<mirror::Class> declaring_class = GetDeclaringClass();
Vladimir Markoba118822017-06-12 15:41:56 +010075 DCHECK(declaring_class->IsInterface());
Vladimir Marko813a8632018-11-29 16:17:01 +000076 ArtMethod* ret = declaring_class->FindInterfaceMethod(GetDexCache(),
Vladimir Markoba118822017-06-12 15:41:56 +010077 GetDexMethodIndex(),
78 pointer_size);
Alex Light97e78032017-06-27 17:51:55 -070079 DCHECK(ret != nullptr);
80 return ret;
81 }
82}
83
Alex Light4ba388a2017-01-27 10:26:49 -080084ArtMethod* ArtMethod::GetNonObsoleteMethod() {
Alex Light4ba388a2017-01-27 10:26:49 -080085 if (LIKELY(!IsObsolete())) {
86 return this;
Vladimir Marko813a8632018-11-29 16:17:01 +000087 }
88 DCHECK_EQ(kRuntimePointerSize, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
89 if (IsDirect()) {
Alex Light4ba388a2017-01-27 10:26:49 -080090 return &GetDeclaringClass()->GetDirectMethodsSlice(kRuntimePointerSize)[GetMethodIndex()];
91 } else {
92 return GetDeclaringClass()->GetVTableEntry(GetMethodIndex(), kRuntimePointerSize);
93 }
94}
95
Mingyao Yange8fcd012017-01-20 10:43:30 -080096ArtMethod* ArtMethod::GetSingleImplementation(PointerSize pointer_size) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +010097 if (!IsAbstract()) {
Mingyao Yang063fc772016-08-02 11:02:54 -070098 // A non-abstract's single implementation is itself.
99 return this;
100 }
Mingyao Yange8fcd012017-01-20 10:43:30 -0800101 return reinterpret_cast<ArtMethod*>(GetDataPtrSize(pointer_size));
Mingyao Yang063fc772016-08-02 11:02:54 -0700102}
103
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700104ArtMethod* ArtMethod::FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
105 jobject jlr_method) {
Mathieu Chartier0795f232016-09-27 18:43:30 -0700106 ObjPtr<mirror::Executable> executable = soa.Decode<mirror::Executable>(jlr_method);
Neil Fuller0e844392016-09-08 13:43:31 +0100107 DCHECK(executable != nullptr);
108 return executable->GetArtMethod();
Ian Rogers62f05122014-03-21 11:21:29 -0700109}
110
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000111ObjPtr<mirror::DexCache> ArtMethod::GetObsoleteDexCache() {
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +0000112 PointerSize pointer_size = kRuntimePointerSize;
Alex Lighta01de592016-11-15 10:43:06 -0800113 DCHECK(!Runtime::Current()->IsAotCompiler()) << PrettyMethod();
114 DCHECK(IsObsolete());
115 ObjPtr<mirror::ClassExt> ext(GetDeclaringClass()->GetExtData());
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +0000116 ObjPtr<mirror::PointerArray> obsolete_methods(ext.IsNull() ? nullptr : ext->GetObsoleteMethods());
117 int32_t len = (obsolete_methods.IsNull() ? 0 : obsolete_methods->GetLength());
118 DCHECK(len == 0 || len == ext->GetObsoleteDexCaches()->GetLength())
119 << "len=" << len << " ext->GetObsoleteDexCaches()=" << ext->GetObsoleteDexCaches();
Alex Light0b772572016-12-02 17:27:31 -0800120 // Using kRuntimePointerSize (instead of using the image's pointer size) is fine since images
121 // should never have obsolete methods in them so they should always be the same.
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +0000122 DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Alex Lighta01de592016-11-15 10:43:06 -0800123 for (int32_t i = 0; i < len; i++) {
124 if (this == obsolete_methods->GetElementPtrSize<ArtMethod*>(i, pointer_size)) {
125 return ext->GetObsoleteDexCaches()->Get(i);
126 }
127 }
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +0000128 CHECK(GetDeclaringClass()->IsObsoleteObject())
129 << "This non-structurally obsolete method does not appear in the obsolete map of its class: "
130 << GetDeclaringClass()->PrettyClass() << " Searched " << len << " caches.";
131 CHECK_EQ(this,
132 std::clamp(this,
133 &(*GetDeclaringClass()->GetMethods(pointer_size).begin()),
134 &(*GetDeclaringClass()->GetMethods(pointer_size).end())))
135 << "class is marked as structurally obsolete method but not found in normal obsolete-map "
136 << "despite not being the original method pointer for " << GetDeclaringClass()->PrettyClass();
137 return GetDeclaringClass()->GetDexCache();
Alex Lighta01de592016-11-15 10:43:06 -0800138}
139
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000140uint16_t ArtMethod::FindObsoleteDexClassDefIndex() {
141 DCHECK(!Runtime::Current()->IsAotCompiler()) << PrettyMethod();
142 DCHECK(IsObsolete());
143 const DexFile* dex_file = GetDexFile();
144 const dex::TypeIndex declaring_class_type = dex_file->GetMethodId(GetDexMethodIndex()).class_idx_;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800145 const dex::ClassDef* class_def = dex_file->FindClassDef(declaring_class_type);
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000146 CHECK(class_def != nullptr);
147 return dex_file->GetIndexForClassDef(*class_def);
148}
149
Alex Light9139e002015-10-09 15:59:48 -0700150void ArtMethod::ThrowInvocationTimeError() {
151 DCHECK(!IsInvokable());
152 // NOTE: IsDefaultConflicting must be first since the actual method might or might not be abstract
153 // due to the way we select it.
154 if (IsDefaultConflicting()) {
155 ThrowIncompatibleClassChangeErrorForMethodConflict(this);
156 } else {
157 DCHECK(IsAbstract());
158 ThrowAbstractMethodError(this);
159 }
160}
161
Ian Rogersef7d42f2014-01-06 12:55:46 -0800162InvokeType ArtMethod::GetInvokeType() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800163 // TODO: kSuper?
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000164 if (IsStatic()) {
Nicolas Geoffray12abcbd2016-06-06 15:51:58 +0000165 return kStatic;
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000166 } else if (GetDeclaringClass()->IsInterface()) {
167 return kInterface;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800168 } else if (IsDirect()) {
169 return kDirect;
Orion Hodson43f0cdb2017-10-10 14:47:32 +0100170 } else if (IsPolymorphicSignature()) {
171 return kPolymorphic;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800172 } else {
173 return kVirtual;
174 }
175}
176
Vladimir Marko6e781582019-02-04 10:58:06 +0000177size_t ArtMethod::NumArgRegisters(const char* shorty) {
178 CHECK_NE(shorty[0], '\0');
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800179 uint32_t num_registers = 0;
Vladimir Marko6e781582019-02-04 10:58:06 +0000180 for (const char* s = shorty + 1; *s != '\0'; ++s) {
181 if (*s == 'D' || *s == 'J') {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800182 num_registers += 2;
183 } else {
184 num_registers += 1;
185 }
186 }
187 return num_registers;
188}
189
Alex Light6c8467f2015-11-20 15:03:26 -0800190bool ArtMethod::HasSameNameAndSignature(ArtMethod* other) {
Mathieu Chartier268764d2016-09-13 12:09:38 -0700191 ScopedAssertNoThreadSuspension ants("HasSameNameAndSignature");
Alex Light6c8467f2015-11-20 15:03:26 -0800192 const DexFile* dex_file = GetDexFile();
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800193 const dex::MethodId& mid = dex_file->GetMethodId(GetDexMethodIndex());
Alex Light6c8467f2015-11-20 15:03:26 -0800194 if (GetDexCache() == other->GetDexCache()) {
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800195 const dex::MethodId& mid2 = dex_file->GetMethodId(other->GetDexMethodIndex());
Ian Rogersf2247512014-12-02 16:17:08 -0800196 return mid.name_idx_ == mid2.name_idx_ && mid.proto_idx_ == mid2.proto_idx_;
197 }
Alex Light6c8467f2015-11-20 15:03:26 -0800198 const DexFile* dex_file2 = other->GetDexFile();
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800199 const dex::MethodId& mid2 = dex_file2->GetMethodId(other->GetDexMethodIndex());
Andreas Gampeb8bca302019-01-02 10:28:38 -0800200 if (!DexFile::StringEquals(dex_file, mid.name_idx_, dex_file2, mid2.name_idx_)) {
Ian Rogersf2247512014-12-02 16:17:08 -0800201 return false; // Name mismatch.
202 }
203 return dex_file->GetMethodSignature(mid) == dex_file2->GetMethodSignature(mid2);
204}
205
Andreas Gampe542451c2016-07-26 09:02:02 -0700206ArtMethod* ArtMethod::FindOverriddenMethod(PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800207 if (IsStatic()) {
Ian Rogersf2247512014-12-02 16:17:08 -0800208 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800209 }
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100210 ObjPtr<mirror::Class> declaring_class = GetDeclaringClass();
211 ObjPtr<mirror::Class> super_class = declaring_class->GetSuperClass();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800212 uint16_t method_index = GetMethodIndex();
Ian Rogersf2247512014-12-02 16:17:08 -0800213 ArtMethod* result = nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800214 // Did this method override a super class method? If so load the result from the super class'
215 // vtable
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700216 if (super_class->HasVTable() && method_index < super_class->GetVTableLength()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700217 result = super_class->GetVTableEntry(method_index, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800218 } else {
219 // Method didn't override superclass method so search interfaces
220 if (IsProxyMethod()) {
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100221 result = GetInterfaceMethodIfProxy(pointer_size);
222 DCHECK(result != nullptr);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800223 } else {
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000224 ObjPtr<mirror::IfTable> iftable = GetDeclaringClass()->GetIfTable();
Ian Rogersf2247512014-12-02 16:17:08 -0800225 for (size_t i = 0; i < iftable->Count() && result == nullptr; i++) {
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100226 ObjPtr<mirror::Class> interface = iftable->GetInterface(i);
Alex Light51a64d52015-12-17 13:55:59 -0800227 for (ArtMethod& interface_method : interface->GetVirtualMethods(pointer_size)) {
228 if (HasSameNameAndSignature(interface_method.GetInterfaceMethodIfProxy(pointer_size))) {
229 result = &interface_method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800230 break;
231 }
232 }
233 }
234 }
235 }
Alex Light6c8467f2015-11-20 15:03:26 -0800236 DCHECK(result == nullptr ||
Alex Light51a64d52015-12-17 13:55:59 -0800237 GetInterfaceMethodIfProxy(pointer_size)->HasSameNameAndSignature(
238 result->GetInterfaceMethodIfProxy(pointer_size)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800239 return result;
240}
241
Ian Rogerse0a02da2014-12-02 14:10:53 -0800242uint32_t ArtMethod::FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
243 uint32_t name_and_signature_idx) {
244 const DexFile* dexfile = GetDexFile();
245 const uint32_t dex_method_idx = GetDexMethodIndex();
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800246 const dex::MethodId& mid = dexfile->GetMethodId(dex_method_idx);
247 const dex::MethodId& name_and_sig_mid = other_dexfile.GetMethodId(name_and_signature_idx);
Ian Rogerse0a02da2014-12-02 14:10:53 -0800248 DCHECK_STREQ(dexfile->GetMethodName(mid), other_dexfile.GetMethodName(name_and_sig_mid));
249 DCHECK_EQ(dexfile->GetMethodSignature(mid), other_dexfile.GetMethodSignature(name_and_sig_mid));
250 if (dexfile == &other_dexfile) {
251 return dex_method_idx;
252 }
253 const char* mid_declaring_class_descriptor = dexfile->StringByTypeIdx(mid.class_idx_);
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800254 const dex::TypeId* other_type_id = other_dexfile.FindTypeId(mid_declaring_class_descriptor);
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700255 if (other_type_id != nullptr) {
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800256 const dex::MethodId* other_mid = other_dexfile.FindMethodId(
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700257 *other_type_id, other_dexfile.GetStringId(name_and_sig_mid.name_idx_),
258 other_dexfile.GetProtoId(name_and_sig_mid.proto_idx_));
259 if (other_mid != nullptr) {
260 return other_dexfile.GetIndexForMethodId(*other_mid);
Ian Rogerse0a02da2014-12-02 14:10:53 -0800261 }
262 }
Andreas Gampee2abbc62017-09-15 11:59:26 -0700263 return dex::kDexNoIndex;
Ian Rogerse0a02da2014-12-02 14:10:53 -0800264}
265
Mathieu Chartiere401d142015-04-22 13:56:20 -0700266uint32_t ArtMethod::FindCatchBlock(Handle<mirror::Class> exception_type,
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700267 uint32_t dex_pc, bool* has_no_move_exception) {
Jeff Haoaa961912014-04-22 13:54:32 -0700268 // Set aside the exception while we resolve its type.
269 Thread* self = Thread::Current();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700270 StackHandleScope<1> hs(self);
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000271 Handle<mirror::Throwable> exception(hs.NewHandle(self->GetException()));
Jeff Haoaa961912014-04-22 13:54:32 -0700272 self->ClearException();
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700273 // Default to handler not found.
Andreas Gampee2abbc62017-09-15 11:59:26 -0700274 uint32_t found_dex_pc = dex::kDexNoIndex;
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700275 // Iterate over the catch handlers associated with dex_pc.
David Sehr0225f8e2018-01-31 08:52:24 +0000276 CodeItemDataAccessor accessor(DexInstructionData());
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800277 for (CatchHandlerIterator it(accessor, dex_pc); it.HasNext(); it.Next()) {
Andreas Gampea5b09a62016-11-17 15:21:22 -0800278 dex::TypeIndex iter_type_idx = it.GetHandlerTypeIndex();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800279 // Catch all case
Andreas Gampea5b09a62016-11-17 15:21:22 -0800280 if (!iter_type_idx.IsValid()) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700281 found_dex_pc = it.GetHandlerAddress();
282 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800283 }
284 // Does this catch exception type apply?
Vladimir Markob45528c2017-07-27 14:14:28 +0100285 ObjPtr<mirror::Class> iter_exception_type = ResolveClassFromTypeIndex(iter_type_idx);
Ian Rogers822266b2014-05-29 16:55:06 -0700286 if (UNLIKELY(iter_exception_type == nullptr)) {
287 // Now have a NoClassDefFoundError as exception. Ignore in case the exception class was
288 // removed by a pro-guard like tool.
Andreas Gampe72b3e432014-05-13 21:42:05 -0700289 // Note: this is not RI behavior. RI would have failed when loading the class.
Ian Rogers822266b2014-05-29 16:55:06 -0700290 self->ClearException();
291 // Delete any long jump context as this routine is called during a stack walk which will
292 // release its in use context at the end.
293 delete self->GetLongJumpContext();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800294 LOG(WARNING) << "Unresolved exception class when finding catch block: "
Mathieu Chartiere401d142015-04-22 13:56:20 -0700295 << DescriptorToDot(GetTypeDescriptorFromTypeIdx(iter_type_idx));
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700296 } else if (iter_exception_type->IsAssignableFrom(exception_type.Get())) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700297 found_dex_pc = it.GetHandlerAddress();
298 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800299 }
300 }
Andreas Gampee2abbc62017-09-15 11:59:26 -0700301 if (found_dex_pc != dex::kDexNoIndex) {
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800302 const Instruction& first_catch_instr = accessor.InstructionAt(found_dex_pc);
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800303 *has_no_move_exception = (first_catch_instr.Opcode() != Instruction::MOVE_EXCEPTION);
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700304 }
Jeff Haoaa961912014-04-22 13:54:32 -0700305 // Put the exception back.
Andreas Gampefa4333d2017-02-14 11:10:34 -0800306 if (exception != nullptr) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000307 self->SetException(exception.Get());
Jeff Haoaa961912014-04-22 13:54:32 -0700308 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700309 return found_dex_pc;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800310}
311
Brian Carlstromea46f952013-07-30 01:26:50 -0700312void ArtMethod::Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result,
Ian Rogers0177e532014-02-11 16:30:46 -0800313 const char* shorty) {
Dave Allison648d7112014-07-25 16:15:27 -0700314 if (UNLIKELY(__builtin_frame_address(0) < self->GetStackEnd())) {
315 ThrowStackOverflowError(self);
316 return;
317 }
318
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800319 if (kIsDebugBuild) {
320 self->AssertThreadSuspensionIsAllowable();
321 CHECK_EQ(kRunnable, self->GetState());
Andreas Gampe542451c2016-07-26 09:02:02 -0700322 CHECK_STREQ(GetInterfaceMethodIfProxy(kRuntimePointerSize)->GetShorty(), shorty);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800323 }
324
325 // Push a transition back into managed code onto the linked list in thread.
326 ManagedStack fragment;
327 self->PushManagedStackFragment(&fragment);
328
Ian Rogers62d6c772013-02-27 08:32:07 -0800329 Runtime* runtime = Runtime::Current();
Jeff Hao74180ca2013-03-27 15:29:11 -0700330 // Call the invoke stub, passing everything as arguments.
Daniel Mihalyieb076692014-08-22 17:33:31 +0200331 // If the runtime is not yet started or it is required by the debugger, then perform the
Aart Bik01223202016-05-05 15:10:42 -0700332 // Invocation by the interpreter, explicitly forcing interpretation over JIT to prevent
333 // cycling around the various JIT/Interpreter methods that handle method invocation.
Alex Light3dacdd62019-03-12 15:45:47 +0000334 if (UNLIKELY(!runtime->IsStarted() ||
Alex Lightfc588092020-01-23 15:39:08 -0800335 (self->IsForceInterpreter() && !IsNative() && !IsProxyMethod() && IsInvokable()))) {
Ian Rogers5d27faf2014-05-02 17:17:18 -0700336 if (IsStatic()) {
Aart Bik01223202016-05-05 15:10:42 -0700337 art::interpreter::EnterInterpreterFromInvoke(
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700338 self, this, nullptr, args, result, /*stay_in_interpreter=*/ true);
Ian Rogers5d27faf2014-05-02 17:17:18 -0700339 } else {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700340 mirror::Object* receiver =
341 reinterpret_cast<StackReference<mirror::Object>*>(&args[0])->AsMirrorPtr();
Aart Bik01223202016-05-05 15:10:42 -0700342 art::interpreter::EnterInterpreterFromInvoke(
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700343 self, this, receiver, args + 1, result, /*stay_in_interpreter=*/ true);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800344 }
345 } else {
Andreas Gampe542451c2016-07-26 09:02:02 -0700346 DCHECK_EQ(runtime->GetClassLinker()->GetImagePointerSize(), kRuntimePointerSize);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700347
348 constexpr bool kLogInvocationStartAndReturn = false;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800349 bool have_quick_code = GetEntryPointFromQuickCompiledCode() != nullptr;
Elliott Hughes956af0f2014-12-11 14:34:28 -0800350 if (LIKELY(have_quick_code)) {
Jeff Hao790ad902013-05-22 15:02:08 -0700351 if (kLogInvocationStartAndReturn) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700352 LOG(INFO) << StringPrintf(
David Sehr709b0702016-10-13 09:12:37 -0700353 "Invoking '%s' quick code=%p static=%d", PrettyMethod().c_str(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700354 GetEntryPointFromQuickCompiledCode(), static_cast<int>(IsStatic() ? 1 : 0));
Jeff Hao790ad902013-05-22 15:02:08 -0700355 }
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700356
Elliott Hughes956af0f2014-12-11 14:34:28 -0800357 // Ensure that we won't be accidentally calling quick compiled code when -Xint.
Ulya Trafimovich5439f052020-07-29 10:03:46 +0100358 if (kIsDebugBuild && runtime->GetInstrumentation()->IsForcedInterpretOnly()) {
Calin Juravleffc87072016-04-20 14:22:09 +0100359 CHECK(!runtime->UseJitCompilation());
Alex Lightdb01a092017-04-03 15:39:55 -0700360 const void* oat_quick_code =
361 (IsNative() || !IsInvokable() || IsProxyMethod() || IsObsolete())
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100362 ? nullptr
363 : GetOatMethodQuickCode(runtime->GetClassLinker()->GetImagePointerSize());
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100364 CHECK(oat_quick_code == nullptr || oat_quick_code != GetEntryPointFromQuickCompiledCode())
David Sehr709b0702016-10-13 09:12:37 -0700365 << "Don't call compiled code when -Xint " << PrettyMethod();
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700366 }
367
Ulya Trafimovich5439f052020-07-29 10:03:46 +0100368 if (!IsStatic()) {
Ian Rogers0177e532014-02-11 16:30:46 -0800369 (*art_quick_invoke_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800370 } else {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800371 (*art_quick_invoke_static_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800372 }
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000373 if (UNLIKELY(self->GetException() == Thread::GetDeoptimizationException())) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200374 // Unusual case where we were running generated code and an
Jeff Hao790ad902013-05-22 15:02:08 -0700375 // exception was thrown to force the activations to be removed from the
376 // stack. Continue execution in the interpreter.
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000377 self->DeoptimizeWithDeoptimizationException(result);
Jeff Hao790ad902013-05-22 15:02:08 -0700378 }
379 if (kLogInvocationStartAndReturn) {
David Sehr709b0702016-10-13 09:12:37 -0700380 LOG(INFO) << StringPrintf("Returned '%s' quick code=%p", PrettyMethod().c_str(),
Elliott Hughes956af0f2014-12-11 14:34:28 -0800381 GetEntryPointFromQuickCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800382 }
383 } else {
David Sehr709b0702016-10-13 09:12:37 -0700384 LOG(INFO) << "Not invoking '" << PrettyMethod() << "' code=null";
Ian Rogersf2247512014-12-02 16:17:08 -0800385 if (result != nullptr) {
Jeff Hao5d917302013-02-27 17:57:33 -0800386 result->SetJ(0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800387 }
388 }
389 }
390
391 // Pop transition.
392 self->PopManagedStackFragment(fragment);
393}
394
Alex Light9139e002015-10-09 15:59:48 -0700395bool ArtMethod::IsOverridableByDefaultMethod() {
396 return GetDeclaringClass()->IsInterface();
397}
398
Orion Hodsoneb4d19b2017-11-06 15:49:23 +0000399bool ArtMethod::IsPolymorphicSignature() {
400 // Methods with a polymorphic signature have constraints that they
401 // are native and varargs and belong to either MethodHandle or VarHandle.
402 if (!IsNative() || !IsVarargs()) {
403 return false;
404 }
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100405 ObjPtr<mirror::ObjectArray<mirror::Class>> class_roots =
406 Runtime::Current()->GetClassLinker()->GetClassRoots();
407 ObjPtr<mirror::Class> cls = GetDeclaringClass();
408 return (cls == GetClassRoot<mirror::MethodHandle>(class_roots) ||
409 cls == GetClassRoot<mirror::VarHandle>(class_roots));
Orion Hodsoneb4d19b2017-11-06 15:49:23 +0000410}
411
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100412static uint32_t GetOatMethodIndexFromMethodIndex(const DexFile& dex_file,
413 uint16_t class_def_idx,
414 uint32_t method_idx) {
Mathieu Chartier18e26872018-06-04 17:19:02 -0700415 ClassAccessor accessor(dex_file, class_def_idx);
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -0700416 uint32_t class_def_method_index = 0u;
417 for (const ClassAccessor::Method& method : accessor.GetMethods()) {
418 if (method.GetIndex() == method_idx) {
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100419 return class_def_method_index;
420 }
421 class_def_method_index++;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100422 }
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100423 LOG(FATAL) << "Failed to find method index " << method_idx << " in " << dex_file.GetLocation();
424 UNREACHABLE();
425}
426
Alex Lighteee0bd42017-02-14 15:31:45 +0000427// We use the method's DexFile and declaring class name to find the OatMethod for an obsolete
428// method. This is extremely slow but we need it if we want to be able to have obsolete native
429// methods since we need this to find the size of its stack frames.
430//
431// NB We could (potentially) do this differently and rely on the way the transformation is applied
432// in order to use the entrypoint to find this information. However, for debugging reasons (most
433// notably making sure that new invokes of obsolete methods fail) we choose to instead get the data
434// directly from the dex file.
435static const OatFile::OatMethod FindOatMethodFromDexFileFor(ArtMethod* method, bool* found)
436 REQUIRES_SHARED(Locks::mutator_lock_) {
437 DCHECK(method->IsObsolete() && method->IsNative());
438 const DexFile* dex_file = method->GetDexFile();
439
440 // recreate the class_def_index from the descriptor.
441 std::string descriptor_storage;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800442 const dex::TypeId* declaring_class_type_id =
Alex Lighteee0bd42017-02-14 15:31:45 +0000443 dex_file->FindTypeId(method->GetDeclaringClass()->GetDescriptor(&descriptor_storage));
444 CHECK(declaring_class_type_id != nullptr);
445 dex::TypeIndex declaring_class_type_index = dex_file->GetIndexForTypeId(*declaring_class_type_id);
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800446 const dex::ClassDef* declaring_class_type_def =
Alex Lighteee0bd42017-02-14 15:31:45 +0000447 dex_file->FindClassDef(declaring_class_type_index);
448 CHECK(declaring_class_type_def != nullptr);
449 uint16_t declaring_class_def_index = dex_file->GetIndexForClassDef(*declaring_class_type_def);
450
451 size_t oat_method_index = GetOatMethodIndexFromMethodIndex(*dex_file,
452 declaring_class_def_index,
453 method->GetDexMethodIndex());
454
455 OatFile::OatClass oat_class = OatFile::FindOatClass(*dex_file,
456 declaring_class_def_index,
457 found);
458 if (!(*found)) {
459 return OatFile::OatMethod::Invalid();
460 }
461 return oat_class.GetOatMethod(oat_method_index);
462}
463
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100464static const OatFile::OatMethod FindOatMethodFor(ArtMethod* method,
465 PointerSize pointer_size,
466 bool* found)
467 REQUIRES_SHARED(Locks::mutator_lock_) {
Alex Lighteee0bd42017-02-14 15:31:45 +0000468 if (UNLIKELY(method->IsObsolete())) {
469 // We shouldn't be calling this with obsolete methods except for native obsolete methods for
470 // which we need to use the oat method to figure out how large the quick frame is.
471 DCHECK(method->IsNative()) << "We should only be finding the OatMethod of obsolete methods in "
472 << "order to allow stack walking. Other obsolete methods should "
473 << "never need to access this information.";
474 DCHECK_EQ(pointer_size, kRuntimePointerSize) << "Obsolete method in compiler!";
475 return FindOatMethodFromDexFileFor(method, found);
476 }
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100477 // Although we overwrite the trampoline of non-static methods, we may get here via the resolution
478 // method for direct methods (or virtual methods made direct).
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100479 ObjPtr<mirror::Class> declaring_class = method->GetDeclaringClass();
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100480 size_t oat_method_index;
481 if (method->IsStatic() || method->IsDirect()) {
482 // Simple case where the oat method index was stashed at load time.
483 oat_method_index = method->GetMethodIndex();
484 } else {
485 // Compute the oat_method_index by search for its position in the declared virtual methods.
486 oat_method_index = declaring_class->NumDirectMethods();
487 bool found_virtual = false;
488 for (ArtMethod& art_method : declaring_class->GetVirtualMethods(pointer_size)) {
489 // Check method index instead of identity in case of duplicate method definitions.
490 if (method->GetDexMethodIndex() == art_method.GetDexMethodIndex()) {
491 found_virtual = true;
492 break;
493 }
494 oat_method_index++;
495 }
496 CHECK(found_virtual) << "Didn't find oat method index for virtual method: "
David Sehr709b0702016-10-13 09:12:37 -0700497 << method->PrettyMethod();
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100498 }
499 DCHECK_EQ(oat_method_index,
Vladimir Marko813a8632018-11-29 16:17:01 +0000500 GetOatMethodIndexFromMethodIndex(declaring_class->GetDexFile(),
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100501 method->GetDeclaringClass()->GetDexClassDefIndex(),
502 method->GetDexMethodIndex()));
Vladimir Marko813a8632018-11-29 16:17:01 +0000503 OatFile::OatClass oat_class = OatFile::FindOatClass(declaring_class->GetDexFile(),
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100504 declaring_class->GetDexClassDefIndex(),
505 found);
506 if (!(*found)) {
507 return OatFile::OatMethod::Invalid();
508 }
509 return oat_class.GetOatMethod(oat_method_index);
510}
511
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700512bool ArtMethod::EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params) {
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000513 const DexFile* dex_file = GetDexFile();
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700514 const auto& method_id = dex_file->GetMethodId(GetDexMethodIndex());
515 const auto& proto_id = dex_file->GetMethodPrototype(method_id);
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800516 const dex::TypeList* proto_params = dex_file->GetProtoParameters(proto_id);
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700517 auto count = proto_params != nullptr ? proto_params->Size() : 0u;
Andreas Gampefa4333d2017-02-14 11:10:34 -0800518 auto param_len = params != nullptr ? params->GetLength() : 0u;
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700519 if (param_len != count) {
520 return false;
521 }
522 auto* cl = Runtime::Current()->GetClassLinker();
523 for (size_t i = 0; i < count; ++i) {
Vladimir Marko28e012a2017-12-07 11:22:59 +0000524 dex::TypeIndex type_idx = proto_params->GetTypeItem(i).type_idx_;
525 ObjPtr<mirror::Class> type = cl->ResolveType(type_idx, this);
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700526 if (type == nullptr) {
527 Thread::Current()->AssertPendingException();
528 return false;
529 }
530 if (type != params->GetWithoutChecks(i)) {
531 return false;
532 }
533 }
534 return true;
535}
536
Mathieu Chartier210531f2018-01-12 10:15:51 -0800537ArrayRef<const uint8_t> ArtMethod::GetQuickenedInfo() {
Vladimir Marko813a8632018-11-29 16:17:01 +0000538 const DexFile& dex_file = *GetDexFile();
Andreas Gampeb40d3612018-06-26 15:49:42 -0700539 const OatDexFile* oat_dex_file = dex_file.GetOatDexFile();
Hans Boehm206348c2018-12-05 11:11:33 -0800540 if (oat_dex_file == nullptr) {
Mathieu Chartier210531f2018-01-12 10:15:51 -0800541 return ArrayRef<const uint8_t>();
Nicolas Geoffray4acefd32016-10-24 13:14:58 +0100542 }
Hans Boehm206348c2018-12-05 11:11:33 -0800543 return oat_dex_file->GetQuickenedInfoOf(dex_file, GetDexMethodIndex());
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100544}
545
Nicolas Geoffrayb041a402017-11-13 15:16:22 +0000546uint16_t ArtMethod::GetIndexFromQuickening(uint32_t dex_pc) {
547 ArrayRef<const uint8_t> data = GetQuickenedInfo();
548 if (data.empty()) {
549 return DexFile::kDexNoIndex16;
550 }
551 QuickenInfoTable table(data);
552 uint32_t quicken_index = 0;
553 for (const DexInstructionPcPair& pair : DexInstructions()) {
554 if (pair.DexPc() == dex_pc) {
555 return table.GetData(quicken_index);
556 }
557 if (QuickenInfoTable::NeedsIndexForInstruction(&pair.Inst())) {
558 ++quicken_index;
559 }
560 }
561 return DexFile::kDexNoIndex16;
562}
563
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100564const OatQuickMethodHeader* ArtMethod::GetOatQuickMethodHeader(uintptr_t pc) {
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +0000565 // Our callers should make sure they don't pass the instrumentation exit pc,
566 // as this method does not look at the side instrumentation stack.
567 DCHECK_NE(pc, reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()));
568
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000569 if (IsRuntimeMethod()) {
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100570 return nullptr;
571 }
572
573 Runtime* runtime = Runtime::Current();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100574 const void* existing_entry_point = GetEntryPointFromQuickCompiledCode();
David Sehr709b0702016-10-13 09:12:37 -0700575 CHECK(existing_entry_point != nullptr) << PrettyMethod() << "@" << this;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100576 ClassLinker* class_linker = runtime->GetClassLinker();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100577
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000578 if (existing_entry_point == GetQuickProxyInvokeHandler()) {
579 DCHECK(IsProxyMethod() && !IsConstructor());
580 // The proxy entry point does not have any method header.
581 return nullptr;
582 }
583
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100584 // Check whether the current entry point contains this pc.
Vladimir Marko2196c652017-11-30 16:16:07 +0000585 if (!class_linker->IsQuickGenericJniStub(existing_entry_point) &&
586 !class_linker->IsQuickResolutionStub(existing_entry_point) &&
David Srbecky774232a2019-04-03 17:46:32 +0100587 !class_linker->IsQuickToInterpreterBridge(existing_entry_point) &&
588 existing_entry_point != GetQuickInstrumentationEntryPoint()) {
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100589 OatQuickMethodHeader* method_header =
590 OatQuickMethodHeader::FromEntryPoint(existing_entry_point);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100591
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100592 if (method_header->Contains(pc)) {
593 return method_header;
594 }
595 }
596
Nicolas Geoffray013d1ee2019-12-04 16:18:15 +0000597 if (OatQuickMethodHeader::NterpMethodHeader != nullptr &&
598 OatQuickMethodHeader::NterpMethodHeader->Contains(pc)) {
599 return OatQuickMethodHeader::NterpMethodHeader;
600 }
601
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100602 // Check whether the pc is in the JIT code cache.
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100603 jit::Jit* jit = runtime->GetJit();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100604 if (jit != nullptr) {
605 jit::JitCodeCache* code_cache = jit->GetCodeCache();
606 OatQuickMethodHeader* method_header = code_cache->LookupMethodHeader(pc, this);
607 if (method_header != nullptr) {
608 DCHECK(method_header->Contains(pc));
609 return method_header;
610 } else {
Nicolas Geoffray2a524bd2016-03-01 12:18:47 +0000611 DCHECK(!code_cache->ContainsPc(reinterpret_cast<const void*>(pc)))
David Sehr709b0702016-10-13 09:12:37 -0700612 << PrettyMethod()
Nicolas Geoffray2a524bd2016-03-01 12:18:47 +0000613 << ", pc=" << std::hex << pc
614 << ", entry_point=" << std::hex << reinterpret_cast<uintptr_t>(existing_entry_point)
615 << ", copy=" << std::boolalpha << IsCopied()
616 << ", proxy=" << std::boolalpha << IsProxyMethod();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100617 }
618 }
619
620 // The code has to be in an oat file.
621 bool found;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100622 OatFile::OatMethod oat_method =
623 FindOatMethodFor(this, class_linker->GetImagePointerSize(), &found);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100624 if (!found) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000625 if (IsNative()) {
626 // We are running the GenericJNI stub. The entrypoint may point
627 // to different entrypoints or to a JIT-compiled JNI stub.
628 DCHECK(class_linker->IsQuickGenericJniStub(existing_entry_point) ||
629 class_linker->IsQuickResolutionStub(existing_entry_point) ||
630 existing_entry_point == GetQuickInstrumentationEntryPoint() ||
631 (jit != nullptr && jit->GetCodeCache()->ContainsPc(existing_entry_point)));
Nicolas Geoffray49e43962015-10-28 16:16:16 +0000632 return nullptr;
633 }
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100634 // Only for unit tests.
635 // TODO(ngeoffray): Update these tests to pass the right pc?
636 return OatQuickMethodHeader::FromEntryPoint(existing_entry_point);
637 }
638 const void* oat_entry_point = oat_method.GetQuickCode();
639 if (oat_entry_point == nullptr || class_linker->IsQuickGenericJniStub(oat_entry_point)) {
David Sehr709b0702016-10-13 09:12:37 -0700640 DCHECK(IsNative()) << PrettyMethod();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100641 return nullptr;
642 }
643
644 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromEntryPoint(oat_entry_point);
645 if (pc == 0) {
646 // This is a downcall, it can only happen for a native method.
647 DCHECK(IsNative());
648 return method_header;
649 }
650
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100651 DCHECK(method_header->Contains(pc))
David Sehr709b0702016-10-13 09:12:37 -0700652 << PrettyMethod()
Roland Levillain0b671c02016-08-19 12:02:34 +0100653 << " " << std::hex << pc << " " << oat_entry_point
Mingyao Yang063fc772016-08-02 11:02:54 -0700654 << " " << (uintptr_t)(method_header->GetCode() + method_header->GetCodeSize());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100655 return method_header;
656}
657
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100658const void* ArtMethod::GetOatMethodQuickCode(PointerSize pointer_size) {
659 bool found;
660 OatFile::OatMethod oat_method = FindOatMethodFor(this, pointer_size, &found);
661 if (found) {
662 return oat_method.GetQuickCode();
663 }
664 return nullptr;
665}
666
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000667bool ArtMethod::HasAnyCompiledCode() {
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100668 if (IsNative() || !IsInvokable() || IsProxyMethod()) {
669 return false;
670 }
671
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000672 // Check whether the JIT has compiled it.
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100673 Runtime* runtime = Runtime::Current();
674 jit::Jit* jit = runtime->GetJit();
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000675 if (jit != nullptr && jit->GetCodeCache()->ContainsMethod(this)) {
676 return true;
677 }
678
679 // Check whether we have AOT code.
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100680 return GetOatMethodQuickCode(runtime->GetClassLinker()->GetImagePointerSize()) != nullptr;
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000681}
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000682
David Brazdil85865692018-10-30 17:26:20 +0000683void ArtMethod::SetIntrinsic(uint32_t intrinsic) {
684 // Currently we only do intrinsics for static/final methods or methods of final
685 // classes. We don't set kHasSingleImplementation for those methods.
686 DCHECK(IsStatic() || IsFinal() || GetDeclaringClass()->IsFinal()) <<
687 "Potential conflict with kAccSingleImplementation";
688 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
689 DCHECK_LE(intrinsic, kAccIntrinsicBits >> kAccFlagsShift);
690 uint32_t intrinsic_bits = intrinsic << kAccFlagsShift;
691 uint32_t new_value = (GetAccessFlags() & ~kAccIntrinsicBits) | kAccIntrinsic | intrinsic_bits;
692 if (kIsDebugBuild) {
693 uint32_t java_flags = (GetAccessFlags() & kAccJavaFlagsMask);
694 bool is_constructor = IsConstructor();
695 bool is_synchronized = IsSynchronized();
696 bool skip_access_checks = SkipAccessChecks();
697 bool is_fast_native = IsFastNative();
698 bool is_critical_native = IsCriticalNative();
699 bool is_copied = IsCopied();
700 bool is_miranda = IsMiranda();
701 bool is_default = IsDefault();
702 bool is_default_conflict = IsDefaultConflicting();
703 bool is_compilable = IsCompilable();
704 bool must_count_locks = MustCountLocks();
David Brazdil31cc2792019-04-10 00:31:15 +0100705 // Recompute flags instead of getting them from the current access flags because
706 // access flags may have been changed to deduplicate warning messages (b/129063331).
707 uint32_t hiddenapi_flags = hiddenapi::CreateRuntimeFlags(this);
David Brazdil85865692018-10-30 17:26:20 +0000708 SetAccessFlags(new_value);
709 DCHECK_EQ(java_flags, (GetAccessFlags() & kAccJavaFlagsMask));
710 DCHECK_EQ(is_constructor, IsConstructor());
711 DCHECK_EQ(is_synchronized, IsSynchronized());
712 DCHECK_EQ(skip_access_checks, SkipAccessChecks());
713 DCHECK_EQ(is_fast_native, IsFastNative());
714 DCHECK_EQ(is_critical_native, IsCriticalNative());
715 DCHECK_EQ(is_copied, IsCopied());
716 DCHECK_EQ(is_miranda, IsMiranda());
717 DCHECK_EQ(is_default, IsDefault());
718 DCHECK_EQ(is_default_conflict, IsDefaultConflicting());
719 DCHECK_EQ(is_compilable, IsCompilable());
720 DCHECK_EQ(must_count_locks, MustCountLocks());
721 // Only DCHECK that we have preserved the hidden API access flags if the
722 // original method was not on the whitelist. This is because the core image
David Brazdil31cc2792019-04-10 00:31:15 +0100723 // does not have the access flags set (b/77733081).
David Brazdil90faceb2018-12-14 14:36:15 +0000724 if ((hiddenapi_flags & kAccHiddenapiBits) != kAccPublicApi) {
David Brazdil85865692018-10-30 17:26:20 +0000725 DCHECK_EQ(hiddenapi_flags, hiddenapi::GetRuntimeFlags(this)) << PrettyMethod();
726 }
727 } else {
728 SetAccessFlags(new_value);
729 }
730}
731
David Brazdil904e75a2018-05-15 13:45:08 +0100732void ArtMethod::SetNotIntrinsic() {
733 if (!IsIntrinsic()) {
734 return;
735 }
736
David Brazdil85865692018-10-30 17:26:20 +0000737 // Read the existing hiddenapi flags.
738 uint32_t hiddenapi_runtime_flags = hiddenapi::GetRuntimeFlags(this);
David Brazdil904e75a2018-05-15 13:45:08 +0100739
740 // Clear intrinsic-related access flags.
741 ClearAccessFlags(kAccIntrinsic | kAccIntrinsicBits);
742
743 // Re-apply hidden API access flags now that the method is not an intrinsic.
David Brazdil85865692018-10-30 17:26:20 +0000744 SetAccessFlags(GetAccessFlags() | hiddenapi_runtime_flags);
745 DCHECK_EQ(hiddenapi_runtime_flags, hiddenapi::GetRuntimeFlags(this));
David Brazdil904e75a2018-05-15 13:45:08 +0100746}
747
Andreas Gampe542451c2016-07-26 09:02:02 -0700748void ArtMethod::CopyFrom(ArtMethod* src, PointerSize image_pointer_size) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000749 memcpy(reinterpret_cast<void*>(this), reinterpret_cast<const void*>(src),
750 Size(image_pointer_size));
751 declaring_class_ = GcRoot<mirror::Class>(const_cast<ArtMethod*>(src)->GetDeclaringClass());
752
753 // If the entry point of the method we are copying from is from JIT code, we just
Vladimir Marko2196c652017-11-30 16:16:07 +0000754 // put the entry point of the new method to interpreter or GenericJNI. We could set
755 // the entry point to the JIT code, but this would require taking the JIT code cache
756 // lock to notify it, which we do not want at this level.
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000757 Runtime* runtime = Runtime::Current();
Calin Juravleffc87072016-04-20 14:22:09 +0100758 if (runtime->UseJitCompilation()) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000759 if (runtime->GetJit()->GetCodeCache()->ContainsPc(GetEntryPointFromQuickCompiledCode())) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000760 SetEntryPointFromQuickCompiledCodePtrSize(
761 src->IsNative() ? GetQuickGenericJniStub() : GetQuickToInterpreterBridge(),
762 image_pointer_size);
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000763 }
764 }
765 // Clear the profiling info for the same reasons as the JIT code.
766 if (!src->IsNative()) {
767 SetProfilingInfoPtrSize(nullptr, image_pointer_size);
768 }
769 // Clear hotness to let the JIT properly decide when to compile this method.
770 hotness_count_ = 0;
771}
772
Andreas Gampe542451c2016-07-26 09:02:02 -0700773bool ArtMethod::IsImagePointerSize(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700774 // Hijack this function to get access to PtrSizedFieldsOffset.
775 //
776 // Ensure that PrtSizedFieldsOffset is correct. We rely here on usually having both 32-bit and
777 // 64-bit builds.
778 static_assert(std::is_standard_layout<ArtMethod>::value, "ArtMethod is not standard layout.");
Andreas Gampe542451c2016-07-26 09:02:02 -0700779 static_assert(
780 (sizeof(void*) != 4) ||
781 (offsetof(ArtMethod, ptr_sized_fields_) == PtrSizedFieldsOffset(PointerSize::k32)),
782 "Unexpected 32-bit class layout.");
783 static_assert(
784 (sizeof(void*) != 8) ||
785 (offsetof(ArtMethod, ptr_sized_fields_) == PtrSizedFieldsOffset(PointerSize::k64)),
786 "Unexpected 64-bit class layout.");
Andreas Gampe479b1de2016-07-19 18:27:17 -0700787
Andreas Gampe75f08852016-07-19 08:06:07 -0700788 Runtime* runtime = Runtime::Current();
789 if (runtime == nullptr) {
790 return true;
791 }
792 return runtime->GetClassLinker()->GetImagePointerSize() == pointer_size;
793}
794
David Sehr709b0702016-10-13 09:12:37 -0700795std::string ArtMethod::PrettyMethod(ArtMethod* m, bool with_signature) {
796 if (m == nullptr) {
797 return "null";
798 }
799 return m->PrettyMethod(with_signature);
800}
801
802std::string ArtMethod::PrettyMethod(bool with_signature) {
Vladimir Markob8a55f82017-09-21 16:21:43 +0100803 if (UNLIKELY(IsRuntimeMethod())) {
804 std::string result = GetDeclaringClassDescriptor();
805 result += '.';
806 result += GetName();
807 // Do not add "<no signature>" even if `with_signature` is true.
808 return result;
David Sehr709b0702016-10-13 09:12:37 -0700809 }
Vladimir Markob8a55f82017-09-21 16:21:43 +0100810 ArtMethod* m =
811 GetInterfaceMethodIfProxy(Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Alex Lightcbc9dda2018-12-07 15:38:29 -0800812 std::string res(m->GetDexFile()->PrettyMethod(m->GetDexMethodIndex(), with_signature));
813 if (with_signature && m->IsObsolete()) {
814 return "<OBSOLETE> " + res;
815 } else {
816 return res;
817 }
David Sehr709b0702016-10-13 09:12:37 -0700818}
819
820std::string ArtMethod::JniShortName() {
Alex Light888a59e2017-01-25 11:41:41 -0800821 return GetJniShortName(GetDeclaringClassDescriptor(), GetName());
David Sehr709b0702016-10-13 09:12:37 -0700822}
823
824std::string ArtMethod::JniLongName() {
825 std::string long_name;
826 long_name += JniShortName();
827 long_name += "__";
828
829 std::string signature(GetSignature().ToString());
830 signature.erase(0, 1);
831 signature.erase(signature.begin() + signature.find(')'), signature.end());
832
833 long_name += MangleForJni(signature);
834
835 return long_name;
836}
837
Eric Holkabdb4592019-05-16 08:33:12 -0700838const char* ArtMethod::GetRuntimeMethodName() {
839 Runtime* const runtime = Runtime::Current();
840 if (this == runtime->GetResolutionMethod()) {
841 return "<runtime internal resolution method>";
842 } else if (this == runtime->GetImtConflictMethod()) {
843 return "<runtime internal imt conflict method>";
844 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveAllCalleeSaves)) {
845 return "<runtime internal callee-save all registers method>";
846 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveRefsOnly)) {
847 return "<runtime internal callee-save reference registers method>";
848 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveRefsAndArgs)) {
849 return "<runtime internal callee-save reference and argument registers method>";
850 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveEverything)) {
851 return "<runtime internal save-every-register method>";
852 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveEverythingForClinit)) {
853 return "<runtime internal save-every-register method for clinit>";
854 } else if (this == runtime->GetCalleeSaveMethod(CalleeSaveType::kSaveEverythingForSuspendCheck)) {
855 return "<runtime internal save-every-register method for suspend check>";
856 } else {
857 return "<unknown runtime internal method>";
858 }
859}
860
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800861// AssertSharedHeld doesn't work in GetAccessFlags, so use a NO_THREAD_SAFETY_ANALYSIS helper.
862// TODO: Figure out why ASSERT_SHARED_CAPABILITY doesn't work.
863template <ReadBarrierOption kReadBarrierOption>
864ALWAYS_INLINE static inline void DoGetAccessFlagsHelper(ArtMethod* method)
865 NO_THREAD_SAFETY_ANALYSIS {
866 CHECK(method->IsRuntimeMethod() ||
867 method->GetDeclaringClass<kReadBarrierOption>()->IsIdxLoaded() ||
868 method->GetDeclaringClass<kReadBarrierOption>()->IsErroneous());
869}
870
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800871} // namespace art