blob: abfdd5547dce075a1d5a941897a7bbef2aadf59e [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
Andreas Gampe479b1de2016-07-19 18:27:17 -070019#include <cstddef>
20
Andreas Gampe46ee31b2016-12-14 10:11:49 -080021#include "android-base/stringprintf.h"
22
Ian Rogerse63db272014-07-15 15:36:11 -070023#include "arch/context.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070024#include "art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "base/stringpiece.h"
Hiroshi Yamauchi00370822015-08-18 14:47:25 -070026#include "class_linker-inl.h"
Vladimir Markoc7aa87e2018-05-24 15:19:52 +010027#include "class_root.h"
Andreas Gampe2a5c4682015-08-14 08:22:54 -070028#include "debugger.h"
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -070029#include "dex/class_accessor-inl.h"
David Sehrb2ec9f52018-02-21 13:20:31 -080030#include "dex/descriptors_names.h"
David Sehr9e734c72018-01-04 17:56:19 -080031#include "dex/dex_file-inl.h"
32#include "dex/dex_file_exception_helpers.h"
33#include "dex/dex_instruction.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070034#include "entrypoints/runtime_asm_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070035#include "gc/accounting/card_table-inl.h"
David Brazdil85865692018-10-30 17:26:20 +000036#include "hidden_api.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080038#include "jit/jit.h"
39#include "jit/jit_code_cache.h"
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010040#include "jit/profiling_info.h"
Vladimir Markoa3ad0cd2018-05-04 10:06:38 +010041#include "jni/jni_internal.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070042#include "mirror/class-inl.h"
Alex Lighta01de592016-11-15 10:43:06 -080043#include "mirror/class_ext.h"
Neil Fuller0e844392016-09-08 13:43:31 +010044#include "mirror/executable.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070045#include "mirror/object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070046#include "mirror/object_array-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070047#include "mirror/string.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000048#include "oat_file-inl.h"
Nicolas Geoffrayb041a402017-11-13 15:16:22 +000049#include "quicken_info.h"
Alex Lightd78ddec2017-04-18 15:20:38 -070050#include "runtime_callbacks.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070051#include "scoped_thread_state_change-inl.h"
Nicolas Geoffrayb02ba932017-07-13 15:53:54 +010052#include "vdex_file.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080053
54namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080055
Andreas Gampe46ee31b2016-12-14 10:11:49 -080056using android::base::StringPrintf;
57
Ian Rogers0177e532014-02-11 16:30:46 -080058extern "C" void art_quick_invoke_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
59 const char*);
Ian Rogers936b37f2014-02-14 00:52:24 -080060extern "C" void art_quick_invoke_static_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
61 const char*);
Jeff Hao5d917302013-02-27 17:57:33 -080062
Andreas Gampec6ea7d02017-02-01 16:46:28 -080063// Enforce that we he have the right index for runtime methods.
Andreas Gampee2abbc62017-09-15 11:59:26 -070064static_assert(ArtMethod::kRuntimeMethodDexMethodIndex == dex::kDexNoIndex,
Andreas Gampec6ea7d02017-02-01 16:46:28 -080065 "Wrong runtime-method dex method index");
66
Alex Light97e78032017-06-27 17:51:55 -070067ArtMethod* ArtMethod::GetCanonicalMethod(PointerSize pointer_size) {
68 if (LIKELY(!IsDefault())) {
69 return this;
70 } else {
Vladimir Markoc7aa87e2018-05-24 15:19:52 +010071 ObjPtr<mirror::Class> declaring_class = GetDeclaringClass();
Vladimir Markoba118822017-06-12 15:41:56 +010072 DCHECK(declaring_class->IsInterface());
73 ArtMethod* ret = declaring_class->FindInterfaceMethod(declaring_class->GetDexCache(),
74 GetDexMethodIndex(),
75 pointer_size);
Alex Light97e78032017-06-27 17:51:55 -070076 DCHECK(ret != nullptr);
77 return ret;
78 }
79}
80
Alex Light4ba388a2017-01-27 10:26:49 -080081ArtMethod* ArtMethod::GetNonObsoleteMethod() {
82 DCHECK_EQ(kRuntimePointerSize, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
83 if (LIKELY(!IsObsolete())) {
84 return this;
85 } else if (IsDirect()) {
86 return &GetDeclaringClass()->GetDirectMethodsSlice(kRuntimePointerSize)[GetMethodIndex()];
87 } else {
88 return GetDeclaringClass()->GetVTableEntry(GetMethodIndex(), kRuntimePointerSize);
89 }
90}
91
Mingyao Yange8fcd012017-01-20 10:43:30 -080092ArtMethod* ArtMethod::GetSingleImplementation(PointerSize pointer_size) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +010093 if (!IsAbstract()) {
Mingyao Yang063fc772016-08-02 11:02:54 -070094 // A non-abstract's single implementation is itself.
95 return this;
96 }
Mingyao Yange8fcd012017-01-20 10:43:30 -080097 return reinterpret_cast<ArtMethod*>(GetDataPtrSize(pointer_size));
Mingyao Yang063fc772016-08-02 11:02:54 -070098}
99
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700100ArtMethod* ArtMethod::FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
101 jobject jlr_method) {
Mathieu Chartier0795f232016-09-27 18:43:30 -0700102 ObjPtr<mirror::Executable> executable = soa.Decode<mirror::Executable>(jlr_method);
Neil Fuller0e844392016-09-08 13:43:31 +0100103 DCHECK(executable != nullptr);
104 return executable->GetArtMethod();
Ian Rogers62f05122014-03-21 11:21:29 -0700105}
106
Alex Lighta01de592016-11-15 10:43:06 -0800107mirror::DexCache* ArtMethod::GetObsoleteDexCache() {
108 DCHECK(!Runtime::Current()->IsAotCompiler()) << PrettyMethod();
109 DCHECK(IsObsolete());
110 ObjPtr<mirror::ClassExt> ext(GetDeclaringClass()->GetExtData());
111 CHECK(!ext.IsNull());
112 ObjPtr<mirror::PointerArray> obsolete_methods(ext->GetObsoleteMethods());
113 CHECK(!obsolete_methods.IsNull());
114 DCHECK(ext->GetObsoleteDexCaches() != nullptr);
115 int32_t len = obsolete_methods->GetLength();
116 DCHECK_EQ(len, ext->GetObsoleteDexCaches()->GetLength());
Alex Light0b772572016-12-02 17:27:31 -0800117 // Using kRuntimePointerSize (instead of using the image's pointer size) is fine since images
118 // should never have obsolete methods in them so they should always be the same.
Alex Lighta01de592016-11-15 10:43:06 -0800119 PointerSize pointer_size = kRuntimePointerSize;
120 DCHECK_EQ(kRuntimePointerSize, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
121 for (int32_t i = 0; i < len; i++) {
122 if (this == obsolete_methods->GetElementPtrSize<ArtMethod*>(i, pointer_size)) {
123 return ext->GetObsoleteDexCaches()->Get(i);
124 }
125 }
126 LOG(FATAL) << "This method does not appear in the obsolete map of its class!";
127 UNREACHABLE();
128}
129
Alex Lightf2f1c9d2017-03-15 15:35:46 +0000130uint16_t ArtMethod::FindObsoleteDexClassDefIndex() {
131 DCHECK(!Runtime::Current()->IsAotCompiler()) << PrettyMethod();
132 DCHECK(IsObsolete());
133 const DexFile* dex_file = GetDexFile();
134 const dex::TypeIndex declaring_class_type = dex_file->GetMethodId(GetDexMethodIndex()).class_idx_;
135 const DexFile::ClassDef* class_def = dex_file->FindClassDef(declaring_class_type);
136 CHECK(class_def != nullptr);
137 return dex_file->GetIndexForClassDef(*class_def);
138}
139
Alex Light9139e002015-10-09 15:59:48 -0700140void ArtMethod::ThrowInvocationTimeError() {
141 DCHECK(!IsInvokable());
142 // NOTE: IsDefaultConflicting must be first since the actual method might or might not be abstract
143 // due to the way we select it.
144 if (IsDefaultConflicting()) {
145 ThrowIncompatibleClassChangeErrorForMethodConflict(this);
146 } else {
147 DCHECK(IsAbstract());
148 ThrowAbstractMethodError(this);
149 }
150}
151
Ian Rogersef7d42f2014-01-06 12:55:46 -0800152InvokeType ArtMethod::GetInvokeType() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800153 // TODO: kSuper?
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000154 if (IsStatic()) {
Nicolas Geoffray12abcbd2016-06-06 15:51:58 +0000155 return kStatic;
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000156 } else if (GetDeclaringClass()->IsInterface()) {
157 return kInterface;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800158 } else if (IsDirect()) {
159 return kDirect;
Orion Hodson43f0cdb2017-10-10 14:47:32 +0100160 } else if (IsPolymorphicSignature()) {
161 return kPolymorphic;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800162 } else {
163 return kVirtual;
164 }
165}
166
Brian Carlstromea46f952013-07-30 01:26:50 -0700167size_t ArtMethod::NumArgRegisters(const StringPiece& shorty) {
Ian Rogers6b604a12014-09-25 15:35:37 -0700168 CHECK_LE(1U, shorty.length());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800169 uint32_t num_registers = 0;
Ian Rogers6b604a12014-09-25 15:35:37 -0700170 for (size_t i = 1; i < shorty.length(); ++i) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800171 char ch = shorty[i];
172 if (ch == 'D' || ch == 'J') {
173 num_registers += 2;
174 } else {
175 num_registers += 1;
176 }
177 }
178 return num_registers;
179}
180
Alex Light6c8467f2015-11-20 15:03:26 -0800181bool ArtMethod::HasSameNameAndSignature(ArtMethod* other) {
Mathieu Chartier268764d2016-09-13 12:09:38 -0700182 ScopedAssertNoThreadSuspension ants("HasSameNameAndSignature");
Alex Light6c8467f2015-11-20 15:03:26 -0800183 const DexFile* dex_file = GetDexFile();
184 const DexFile::MethodId& mid = dex_file->GetMethodId(GetDexMethodIndex());
185 if (GetDexCache() == other->GetDexCache()) {
186 const DexFile::MethodId& mid2 = dex_file->GetMethodId(other->GetDexMethodIndex());
Ian Rogersf2247512014-12-02 16:17:08 -0800187 return mid.name_idx_ == mid2.name_idx_ && mid.proto_idx_ == mid2.proto_idx_;
188 }
Alex Light6c8467f2015-11-20 15:03:26 -0800189 const DexFile* dex_file2 = other->GetDexFile();
190 const DexFile::MethodId& mid2 = dex_file2->GetMethodId(other->GetDexMethodIndex());
Ian Rogersf2247512014-12-02 16:17:08 -0800191 if (!DexFileStringEquals(dex_file, mid.name_idx_, dex_file2, mid2.name_idx_)) {
192 return false; // Name mismatch.
193 }
194 return dex_file->GetMethodSignature(mid) == dex_file2->GetMethodSignature(mid2);
195}
196
Andreas Gampe542451c2016-07-26 09:02:02 -0700197ArtMethod* ArtMethod::FindOverriddenMethod(PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800198 if (IsStatic()) {
Ian Rogersf2247512014-12-02 16:17:08 -0800199 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800200 }
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100201 ObjPtr<mirror::Class> declaring_class = GetDeclaringClass();
202 ObjPtr<mirror::Class> super_class = declaring_class->GetSuperClass();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800203 uint16_t method_index = GetMethodIndex();
Ian Rogersf2247512014-12-02 16:17:08 -0800204 ArtMethod* result = nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800205 // Did this method override a super class method? If so load the result from the super class'
206 // vtable
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700207 if (super_class->HasVTable() && method_index < super_class->GetVTableLength()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700208 result = super_class->GetVTableEntry(method_index, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800209 } else {
210 // Method didn't override superclass method so search interfaces
211 if (IsProxyMethod()) {
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100212 result = GetInterfaceMethodIfProxy(pointer_size);
213 DCHECK(result != nullptr);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800214 } else {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700215 mirror::IfTable* iftable = GetDeclaringClass()->GetIfTable();
Ian Rogersf2247512014-12-02 16:17:08 -0800216 for (size_t i = 0; i < iftable->Count() && result == nullptr; i++) {
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100217 ObjPtr<mirror::Class> interface = iftable->GetInterface(i);
Alex Light51a64d52015-12-17 13:55:59 -0800218 for (ArtMethod& interface_method : interface->GetVirtualMethods(pointer_size)) {
219 if (HasSameNameAndSignature(interface_method.GetInterfaceMethodIfProxy(pointer_size))) {
220 result = &interface_method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800221 break;
222 }
223 }
224 }
225 }
226 }
Alex Light6c8467f2015-11-20 15:03:26 -0800227 DCHECK(result == nullptr ||
Alex Light51a64d52015-12-17 13:55:59 -0800228 GetInterfaceMethodIfProxy(pointer_size)->HasSameNameAndSignature(
229 result->GetInterfaceMethodIfProxy(pointer_size)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800230 return result;
231}
232
Ian Rogerse0a02da2014-12-02 14:10:53 -0800233uint32_t ArtMethod::FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
234 uint32_t name_and_signature_idx) {
235 const DexFile* dexfile = GetDexFile();
236 const uint32_t dex_method_idx = GetDexMethodIndex();
237 const DexFile::MethodId& mid = dexfile->GetMethodId(dex_method_idx);
238 const DexFile::MethodId& name_and_sig_mid = other_dexfile.GetMethodId(name_and_signature_idx);
239 DCHECK_STREQ(dexfile->GetMethodName(mid), other_dexfile.GetMethodName(name_and_sig_mid));
240 DCHECK_EQ(dexfile->GetMethodSignature(mid), other_dexfile.GetMethodSignature(name_and_sig_mid));
241 if (dexfile == &other_dexfile) {
242 return dex_method_idx;
243 }
244 const char* mid_declaring_class_descriptor = dexfile->StringByTypeIdx(mid.class_idx_);
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700245 const DexFile::TypeId* other_type_id = other_dexfile.FindTypeId(mid_declaring_class_descriptor);
246 if (other_type_id != nullptr) {
247 const DexFile::MethodId* other_mid = other_dexfile.FindMethodId(
248 *other_type_id, other_dexfile.GetStringId(name_and_sig_mid.name_idx_),
249 other_dexfile.GetProtoId(name_and_sig_mid.proto_idx_));
250 if (other_mid != nullptr) {
251 return other_dexfile.GetIndexForMethodId(*other_mid);
Ian Rogerse0a02da2014-12-02 14:10:53 -0800252 }
253 }
Andreas Gampee2abbc62017-09-15 11:59:26 -0700254 return dex::kDexNoIndex;
Ian Rogerse0a02da2014-12-02 14:10:53 -0800255}
256
Mathieu Chartiere401d142015-04-22 13:56:20 -0700257uint32_t ArtMethod::FindCatchBlock(Handle<mirror::Class> exception_type,
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700258 uint32_t dex_pc, bool* has_no_move_exception) {
Jeff Haoaa961912014-04-22 13:54:32 -0700259 // Set aside the exception while we resolve its type.
260 Thread* self = Thread::Current();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700261 StackHandleScope<1> hs(self);
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000262 Handle<mirror::Throwable> exception(hs.NewHandle(self->GetException()));
Jeff Haoaa961912014-04-22 13:54:32 -0700263 self->ClearException();
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700264 // Default to handler not found.
Andreas Gampee2abbc62017-09-15 11:59:26 -0700265 uint32_t found_dex_pc = dex::kDexNoIndex;
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700266 // Iterate over the catch handlers associated with dex_pc.
David Sehr0225f8e2018-01-31 08:52:24 +0000267 CodeItemDataAccessor accessor(DexInstructionData());
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800268 for (CatchHandlerIterator it(accessor, dex_pc); it.HasNext(); it.Next()) {
Andreas Gampea5b09a62016-11-17 15:21:22 -0800269 dex::TypeIndex iter_type_idx = it.GetHandlerTypeIndex();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800270 // Catch all case
Andreas Gampea5b09a62016-11-17 15:21:22 -0800271 if (!iter_type_idx.IsValid()) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700272 found_dex_pc = it.GetHandlerAddress();
273 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800274 }
275 // Does this catch exception type apply?
Vladimir Markob45528c2017-07-27 14:14:28 +0100276 ObjPtr<mirror::Class> iter_exception_type = ResolveClassFromTypeIndex(iter_type_idx);
Ian Rogers822266b2014-05-29 16:55:06 -0700277 if (UNLIKELY(iter_exception_type == nullptr)) {
278 // Now have a NoClassDefFoundError as exception. Ignore in case the exception class was
279 // removed by a pro-guard like tool.
Andreas Gampe72b3e432014-05-13 21:42:05 -0700280 // Note: this is not RI behavior. RI would have failed when loading the class.
Ian Rogers822266b2014-05-29 16:55:06 -0700281 self->ClearException();
282 // Delete any long jump context as this routine is called during a stack walk which will
283 // release its in use context at the end.
284 delete self->GetLongJumpContext();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800285 LOG(WARNING) << "Unresolved exception class when finding catch block: "
Mathieu Chartiere401d142015-04-22 13:56:20 -0700286 << DescriptorToDot(GetTypeDescriptorFromTypeIdx(iter_type_idx));
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700287 } else if (iter_exception_type->IsAssignableFrom(exception_type.Get())) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700288 found_dex_pc = it.GetHandlerAddress();
289 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800290 }
291 }
Andreas Gampee2abbc62017-09-15 11:59:26 -0700292 if (found_dex_pc != dex::kDexNoIndex) {
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800293 const Instruction& first_catch_instr = accessor.InstructionAt(found_dex_pc);
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800294 *has_no_move_exception = (first_catch_instr.Opcode() != Instruction::MOVE_EXCEPTION);
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700295 }
Jeff Haoaa961912014-04-22 13:54:32 -0700296 // Put the exception back.
Andreas Gampefa4333d2017-02-14 11:10:34 -0800297 if (exception != nullptr) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000298 self->SetException(exception.Get());
Jeff Haoaa961912014-04-22 13:54:32 -0700299 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700300 return found_dex_pc;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800301}
302
Brian Carlstromea46f952013-07-30 01:26:50 -0700303void ArtMethod::Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result,
Ian Rogers0177e532014-02-11 16:30:46 -0800304 const char* shorty) {
Dave Allison648d7112014-07-25 16:15:27 -0700305 if (UNLIKELY(__builtin_frame_address(0) < self->GetStackEnd())) {
306 ThrowStackOverflowError(self);
307 return;
308 }
309
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800310 if (kIsDebugBuild) {
311 self->AssertThreadSuspensionIsAllowable();
312 CHECK_EQ(kRunnable, self->GetState());
Andreas Gampe542451c2016-07-26 09:02:02 -0700313 CHECK_STREQ(GetInterfaceMethodIfProxy(kRuntimePointerSize)->GetShorty(), shorty);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800314 }
315
316 // Push a transition back into managed code onto the linked list in thread.
317 ManagedStack fragment;
318 self->PushManagedStackFragment(&fragment);
319
Ian Rogers62d6c772013-02-27 08:32:07 -0800320 Runtime* runtime = Runtime::Current();
Jeff Hao74180ca2013-03-27 15:29:11 -0700321 // Call the invoke stub, passing everything as arguments.
Daniel Mihalyieb076692014-08-22 17:33:31 +0200322 // If the runtime is not yet started or it is required by the debugger, then perform the
Aart Bik01223202016-05-05 15:10:42 -0700323 // Invocation by the interpreter, explicitly forcing interpretation over JIT to prevent
324 // cycling around the various JIT/Interpreter methods that handle method invocation.
Daniel Mihalyieb076692014-08-22 17:33:31 +0200325 if (UNLIKELY(!runtime->IsStarted() || Dbg::IsForcedInterpreterNeededForCalling(self, this))) {
Ian Rogers5d27faf2014-05-02 17:17:18 -0700326 if (IsStatic()) {
Aart Bik01223202016-05-05 15:10:42 -0700327 art::interpreter::EnterInterpreterFromInvoke(
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700328 self, this, nullptr, args, result, /*stay_in_interpreter=*/ true);
Ian Rogers5d27faf2014-05-02 17:17:18 -0700329 } else {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700330 mirror::Object* receiver =
331 reinterpret_cast<StackReference<mirror::Object>*>(&args[0])->AsMirrorPtr();
Aart Bik01223202016-05-05 15:10:42 -0700332 art::interpreter::EnterInterpreterFromInvoke(
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700333 self, this, receiver, args + 1, result, /*stay_in_interpreter=*/ true);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800334 }
335 } else {
Andreas Gampe542451c2016-07-26 09:02:02 -0700336 DCHECK_EQ(runtime->GetClassLinker()->GetImagePointerSize(), kRuntimePointerSize);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700337
338 constexpr bool kLogInvocationStartAndReturn = false;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800339 bool have_quick_code = GetEntryPointFromQuickCompiledCode() != nullptr;
Elliott Hughes956af0f2014-12-11 14:34:28 -0800340 if (LIKELY(have_quick_code)) {
Jeff Hao790ad902013-05-22 15:02:08 -0700341 if (kLogInvocationStartAndReturn) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700342 LOG(INFO) << StringPrintf(
David Sehr709b0702016-10-13 09:12:37 -0700343 "Invoking '%s' quick code=%p static=%d", PrettyMethod().c_str(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700344 GetEntryPointFromQuickCompiledCode(), static_cast<int>(IsStatic() ? 1 : 0));
Jeff Hao790ad902013-05-22 15:02:08 -0700345 }
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700346
Elliott Hughes956af0f2014-12-11 14:34:28 -0800347 // Ensure that we won't be accidentally calling quick compiled code when -Xint.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800348 if (kIsDebugBuild && runtime->GetInstrumentation()->IsForcedInterpretOnly()) {
Calin Juravleffc87072016-04-20 14:22:09 +0100349 CHECK(!runtime->UseJitCompilation());
Alex Lightdb01a092017-04-03 15:39:55 -0700350 const void* oat_quick_code =
351 (IsNative() || !IsInvokable() || IsProxyMethod() || IsObsolete())
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100352 ? nullptr
353 : GetOatMethodQuickCode(runtime->GetClassLinker()->GetImagePointerSize());
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100354 CHECK(oat_quick_code == nullptr || oat_quick_code != GetEntryPointFromQuickCompiledCode())
David Sehr709b0702016-10-13 09:12:37 -0700355 << "Don't call compiled code when -Xint " << PrettyMethod();
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700356 }
357
Elliott Hughes956af0f2014-12-11 14:34:28 -0800358 if (!IsStatic()) {
Ian Rogers0177e532014-02-11 16:30:46 -0800359 (*art_quick_invoke_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800360 } else {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800361 (*art_quick_invoke_static_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800362 }
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000363 if (UNLIKELY(self->GetException() == Thread::GetDeoptimizationException())) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200364 // Unusual case where we were running generated code and an
Jeff Hao790ad902013-05-22 15:02:08 -0700365 // exception was thrown to force the activations to be removed from the
366 // stack. Continue execution in the interpreter.
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000367 self->DeoptimizeWithDeoptimizationException(result);
Jeff Hao790ad902013-05-22 15:02:08 -0700368 }
369 if (kLogInvocationStartAndReturn) {
David Sehr709b0702016-10-13 09:12:37 -0700370 LOG(INFO) << StringPrintf("Returned '%s' quick code=%p", PrettyMethod().c_str(),
Elliott Hughes956af0f2014-12-11 14:34:28 -0800371 GetEntryPointFromQuickCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800372 }
373 } else {
David Sehr709b0702016-10-13 09:12:37 -0700374 LOG(INFO) << "Not invoking '" << PrettyMethod() << "' code=null";
Ian Rogersf2247512014-12-02 16:17:08 -0800375 if (result != nullptr) {
Jeff Hao5d917302013-02-27 17:57:33 -0800376 result->SetJ(0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800377 }
378 }
379 }
380
381 // Pop transition.
382 self->PopManagedStackFragment(fragment);
383}
384
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100385const void* ArtMethod::RegisterNative(const void* native_method) {
David Sehr709b0702016-10-13 09:12:37 -0700386 CHECK(IsNative()) << PrettyMethod();
David Sehr709b0702016-10-13 09:12:37 -0700387 CHECK(native_method != nullptr) << PrettyMethod();
Alex Lightd78ddec2017-04-18 15:20:38 -0700388 void* new_native_method = nullptr;
389 Runtime::Current()->GetRuntimeCallbacks()->RegisterNativeMethod(this,
390 native_method,
391 /*out*/&new_native_method);
392 SetEntryPointFromJni(new_native_method);
393 return new_native_method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800394}
395
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700396void ArtMethod::UnregisterNative() {
Vladimir Markob0a6aee2017-10-27 10:34:04 +0100397 CHECK(IsNative()) << PrettyMethod();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800398 // restore stub to lookup native pointer via dlsym
Alex Lightd78ddec2017-04-18 15:20:38 -0700399 SetEntryPointFromJni(GetJniDlsymLookupStub());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800400}
401
Alex Light9139e002015-10-09 15:59:48 -0700402bool ArtMethod::IsOverridableByDefaultMethod() {
403 return GetDeclaringClass()->IsInterface();
404}
405
Orion Hodsoneb4d19b2017-11-06 15:49:23 +0000406bool ArtMethod::IsPolymorphicSignature() {
407 // Methods with a polymorphic signature have constraints that they
408 // are native and varargs and belong to either MethodHandle or VarHandle.
409 if (!IsNative() || !IsVarargs()) {
410 return false;
411 }
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100412 ObjPtr<mirror::ObjectArray<mirror::Class>> class_roots =
413 Runtime::Current()->GetClassLinker()->GetClassRoots();
414 ObjPtr<mirror::Class> cls = GetDeclaringClass();
415 return (cls == GetClassRoot<mirror::MethodHandle>(class_roots) ||
416 cls == GetClassRoot<mirror::VarHandle>(class_roots));
Orion Hodsoneb4d19b2017-11-06 15:49:23 +0000417}
418
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100419static uint32_t GetOatMethodIndexFromMethodIndex(const DexFile& dex_file,
420 uint16_t class_def_idx,
421 uint32_t method_idx) {
Mathieu Chartier18e26872018-06-04 17:19:02 -0700422 ClassAccessor accessor(dex_file, class_def_idx);
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -0700423 uint32_t class_def_method_index = 0u;
424 for (const ClassAccessor::Method& method : accessor.GetMethods()) {
425 if (method.GetIndex() == method_idx) {
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100426 return class_def_method_index;
427 }
428 class_def_method_index++;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100429 }
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100430 LOG(FATAL) << "Failed to find method index " << method_idx << " in " << dex_file.GetLocation();
431 UNREACHABLE();
432}
433
Alex Lighteee0bd42017-02-14 15:31:45 +0000434// We use the method's DexFile and declaring class name to find the OatMethod for an obsolete
435// method. This is extremely slow but we need it if we want to be able to have obsolete native
436// methods since we need this to find the size of its stack frames.
437//
438// NB We could (potentially) do this differently and rely on the way the transformation is applied
439// in order to use the entrypoint to find this information. However, for debugging reasons (most
440// notably making sure that new invokes of obsolete methods fail) we choose to instead get the data
441// directly from the dex file.
442static const OatFile::OatMethod FindOatMethodFromDexFileFor(ArtMethod* method, bool* found)
443 REQUIRES_SHARED(Locks::mutator_lock_) {
444 DCHECK(method->IsObsolete() && method->IsNative());
445 const DexFile* dex_file = method->GetDexFile();
446
447 // recreate the class_def_index from the descriptor.
448 std::string descriptor_storage;
449 const DexFile::TypeId* declaring_class_type_id =
450 dex_file->FindTypeId(method->GetDeclaringClass()->GetDescriptor(&descriptor_storage));
451 CHECK(declaring_class_type_id != nullptr);
452 dex::TypeIndex declaring_class_type_index = dex_file->GetIndexForTypeId(*declaring_class_type_id);
453 const DexFile::ClassDef* declaring_class_type_def =
454 dex_file->FindClassDef(declaring_class_type_index);
455 CHECK(declaring_class_type_def != nullptr);
456 uint16_t declaring_class_def_index = dex_file->GetIndexForClassDef(*declaring_class_type_def);
457
458 size_t oat_method_index = GetOatMethodIndexFromMethodIndex(*dex_file,
459 declaring_class_def_index,
460 method->GetDexMethodIndex());
461
462 OatFile::OatClass oat_class = OatFile::FindOatClass(*dex_file,
463 declaring_class_def_index,
464 found);
465 if (!(*found)) {
466 return OatFile::OatMethod::Invalid();
467 }
468 return oat_class.GetOatMethod(oat_method_index);
469}
470
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100471static const OatFile::OatMethod FindOatMethodFor(ArtMethod* method,
472 PointerSize pointer_size,
473 bool* found)
474 REQUIRES_SHARED(Locks::mutator_lock_) {
Alex Lighteee0bd42017-02-14 15:31:45 +0000475 if (UNLIKELY(method->IsObsolete())) {
476 // We shouldn't be calling this with obsolete methods except for native obsolete methods for
477 // which we need to use the oat method to figure out how large the quick frame is.
478 DCHECK(method->IsNative()) << "We should only be finding the OatMethod of obsolete methods in "
479 << "order to allow stack walking. Other obsolete methods should "
480 << "never need to access this information.";
481 DCHECK_EQ(pointer_size, kRuntimePointerSize) << "Obsolete method in compiler!";
482 return FindOatMethodFromDexFileFor(method, found);
483 }
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100484 // Although we overwrite the trampoline of non-static methods, we may get here via the resolution
485 // method for direct methods (or virtual methods made direct).
Vladimir Markoc7aa87e2018-05-24 15:19:52 +0100486 ObjPtr<mirror::Class> declaring_class = method->GetDeclaringClass();
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100487 size_t oat_method_index;
488 if (method->IsStatic() || method->IsDirect()) {
489 // Simple case where the oat method index was stashed at load time.
490 oat_method_index = method->GetMethodIndex();
491 } else {
492 // Compute the oat_method_index by search for its position in the declared virtual methods.
493 oat_method_index = declaring_class->NumDirectMethods();
494 bool found_virtual = false;
495 for (ArtMethod& art_method : declaring_class->GetVirtualMethods(pointer_size)) {
496 // Check method index instead of identity in case of duplicate method definitions.
497 if (method->GetDexMethodIndex() == art_method.GetDexMethodIndex()) {
498 found_virtual = true;
499 break;
500 }
501 oat_method_index++;
502 }
503 CHECK(found_virtual) << "Didn't find oat method index for virtual method: "
David Sehr709b0702016-10-13 09:12:37 -0700504 << method->PrettyMethod();
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100505 }
506 DCHECK_EQ(oat_method_index,
507 GetOatMethodIndexFromMethodIndex(*declaring_class->GetDexCache()->GetDexFile(),
508 method->GetDeclaringClass()->GetDexClassDefIndex(),
509 method->GetDexMethodIndex()));
510 OatFile::OatClass oat_class = OatFile::FindOatClass(*declaring_class->GetDexCache()->GetDexFile(),
511 declaring_class->GetDexClassDefIndex(),
512 found);
513 if (!(*found)) {
514 return OatFile::OatMethod::Invalid();
515 }
516 return oat_class.GetOatMethod(oat_method_index);
517}
518
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700519bool ArtMethod::EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params) {
520 auto* dex_cache = GetDexCache();
521 auto* dex_file = dex_cache->GetDexFile();
522 const auto& method_id = dex_file->GetMethodId(GetDexMethodIndex());
523 const auto& proto_id = dex_file->GetMethodPrototype(method_id);
524 const DexFile::TypeList* proto_params = dex_file->GetProtoParameters(proto_id);
525 auto count = proto_params != nullptr ? proto_params->Size() : 0u;
Andreas Gampefa4333d2017-02-14 11:10:34 -0800526 auto param_len = params != nullptr ? params->GetLength() : 0u;
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700527 if (param_len != count) {
528 return false;
529 }
530 auto* cl = Runtime::Current()->GetClassLinker();
531 for (size_t i = 0; i < count; ++i) {
Vladimir Marko28e012a2017-12-07 11:22:59 +0000532 dex::TypeIndex type_idx = proto_params->GetTypeItem(i).type_idx_;
533 ObjPtr<mirror::Class> type = cl->ResolveType(type_idx, this);
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700534 if (type == nullptr) {
535 Thread::Current()->AssertPendingException();
536 return false;
537 }
538 if (type != params->GetWithoutChecks(i)) {
539 return false;
540 }
541 }
542 return true;
543}
544
Mathieu Chartier210531f2018-01-12 10:15:51 -0800545ArrayRef<const uint8_t> ArtMethod::GetQuickenedInfo() {
Nicolas Geoffray8eaa8e52017-11-13 17:47:50 +0000546 const DexFile& dex_file = GetDeclaringClass()->GetDexFile();
Andreas Gampeb40d3612018-06-26 15:49:42 -0700547 const OatDexFile* oat_dex_file = dex_file.GetOatDexFile();
Nicolas Geoffray8eaa8e52017-11-13 17:47:50 +0000548 if (oat_dex_file == nullptr || (oat_dex_file->GetOatFile() == nullptr)) {
Mathieu Chartier210531f2018-01-12 10:15:51 -0800549 return ArrayRef<const uint8_t>();
Nicolas Geoffray4acefd32016-10-24 13:14:58 +0100550 }
Mathieu Chartier210531f2018-01-12 10:15:51 -0800551 return oat_dex_file->GetOatFile()->GetVdexFile()->GetQuickenedInfoOf(dex_file,
552 GetDexMethodIndex());
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100553}
554
Nicolas Geoffrayb041a402017-11-13 15:16:22 +0000555uint16_t ArtMethod::GetIndexFromQuickening(uint32_t dex_pc) {
556 ArrayRef<const uint8_t> data = GetQuickenedInfo();
557 if (data.empty()) {
558 return DexFile::kDexNoIndex16;
559 }
560 QuickenInfoTable table(data);
561 uint32_t quicken_index = 0;
562 for (const DexInstructionPcPair& pair : DexInstructions()) {
563 if (pair.DexPc() == dex_pc) {
564 return table.GetData(quicken_index);
565 }
566 if (QuickenInfoTable::NeedsIndexForInstruction(&pair.Inst())) {
567 ++quicken_index;
568 }
569 }
570 return DexFile::kDexNoIndex16;
571}
572
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100573const OatQuickMethodHeader* ArtMethod::GetOatQuickMethodHeader(uintptr_t pc) {
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +0000574 // Our callers should make sure they don't pass the instrumentation exit pc,
575 // as this method does not look at the side instrumentation stack.
576 DCHECK_NE(pc, reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()));
577
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000578 if (IsRuntimeMethod()) {
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100579 return nullptr;
580 }
581
582 Runtime* runtime = Runtime::Current();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100583 const void* existing_entry_point = GetEntryPointFromQuickCompiledCode();
David Sehr709b0702016-10-13 09:12:37 -0700584 CHECK(existing_entry_point != nullptr) << PrettyMethod() << "@" << this;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100585 ClassLinker* class_linker = runtime->GetClassLinker();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100586
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000587 if (existing_entry_point == GetQuickProxyInvokeHandler()) {
588 DCHECK(IsProxyMethod() && !IsConstructor());
589 // The proxy entry point does not have any method header.
590 return nullptr;
591 }
592
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100593 // Check whether the current entry point contains this pc.
Vladimir Marko2196c652017-11-30 16:16:07 +0000594 if (!class_linker->IsQuickGenericJniStub(existing_entry_point) &&
595 !class_linker->IsQuickResolutionStub(existing_entry_point) &&
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100596 !class_linker->IsQuickToInterpreterBridge(existing_entry_point)) {
597 OatQuickMethodHeader* method_header =
598 OatQuickMethodHeader::FromEntryPoint(existing_entry_point);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100599
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100600 if (method_header->Contains(pc)) {
601 return method_header;
602 }
603 }
604
605 // Check whether the pc is in the JIT code cache.
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100606 jit::Jit* jit = runtime->GetJit();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100607 if (jit != nullptr) {
608 jit::JitCodeCache* code_cache = jit->GetCodeCache();
609 OatQuickMethodHeader* method_header = code_cache->LookupMethodHeader(pc, this);
610 if (method_header != nullptr) {
611 DCHECK(method_header->Contains(pc));
612 return method_header;
613 } else {
Nicolas Geoffray2a524bd2016-03-01 12:18:47 +0000614 DCHECK(!code_cache->ContainsPc(reinterpret_cast<const void*>(pc)))
David Sehr709b0702016-10-13 09:12:37 -0700615 << PrettyMethod()
Nicolas Geoffray2a524bd2016-03-01 12:18:47 +0000616 << ", pc=" << std::hex << pc
617 << ", entry_point=" << std::hex << reinterpret_cast<uintptr_t>(existing_entry_point)
618 << ", copy=" << std::boolalpha << IsCopied()
619 << ", proxy=" << std::boolalpha << IsProxyMethod();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100620 }
621 }
622
623 // The code has to be in an oat file.
624 bool found;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100625 OatFile::OatMethod oat_method =
626 FindOatMethodFor(this, class_linker->GetImagePointerSize(), &found);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100627 if (!found) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000628 if (IsNative()) {
629 // We are running the GenericJNI stub. The entrypoint may point
630 // to different entrypoints or to a JIT-compiled JNI stub.
631 DCHECK(class_linker->IsQuickGenericJniStub(existing_entry_point) ||
632 class_linker->IsQuickResolutionStub(existing_entry_point) ||
633 existing_entry_point == GetQuickInstrumentationEntryPoint() ||
634 (jit != nullptr && jit->GetCodeCache()->ContainsPc(existing_entry_point)));
Nicolas Geoffray49e43962015-10-28 16:16:16 +0000635 return nullptr;
636 }
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100637 // Only for unit tests.
638 // TODO(ngeoffray): Update these tests to pass the right pc?
639 return OatQuickMethodHeader::FromEntryPoint(existing_entry_point);
640 }
641 const void* oat_entry_point = oat_method.GetQuickCode();
642 if (oat_entry_point == nullptr || class_linker->IsQuickGenericJniStub(oat_entry_point)) {
David Sehr709b0702016-10-13 09:12:37 -0700643 DCHECK(IsNative()) << PrettyMethod();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100644 return nullptr;
645 }
646
647 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromEntryPoint(oat_entry_point);
648 if (pc == 0) {
649 // This is a downcall, it can only happen for a native method.
650 DCHECK(IsNative());
651 return method_header;
652 }
653
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100654 DCHECK(method_header->Contains(pc))
David Sehr709b0702016-10-13 09:12:37 -0700655 << PrettyMethod()
Roland Levillain0b671c02016-08-19 12:02:34 +0100656 << " " << std::hex << pc << " " << oat_entry_point
Mingyao Yang063fc772016-08-02 11:02:54 -0700657 << " " << (uintptr_t)(method_header->GetCode() + method_header->GetCodeSize());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100658 return method_header;
659}
660
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100661const void* ArtMethod::GetOatMethodQuickCode(PointerSize pointer_size) {
662 bool found;
663 OatFile::OatMethod oat_method = FindOatMethodFor(this, pointer_size, &found);
664 if (found) {
665 return oat_method.GetQuickCode();
666 }
667 return nullptr;
668}
669
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000670bool ArtMethod::HasAnyCompiledCode() {
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100671 if (IsNative() || !IsInvokable() || IsProxyMethod()) {
672 return false;
673 }
674
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000675 // Check whether the JIT has compiled it.
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100676 Runtime* runtime = Runtime::Current();
677 jit::Jit* jit = runtime->GetJit();
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000678 if (jit != nullptr && jit->GetCodeCache()->ContainsMethod(this)) {
679 return true;
680 }
681
682 // Check whether we have AOT code.
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100683 return GetOatMethodQuickCode(runtime->GetClassLinker()->GetImagePointerSize()) != nullptr;
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000684}
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000685
David Brazdil85865692018-10-30 17:26:20 +0000686void ArtMethod::SetIntrinsic(uint32_t intrinsic) {
687 // Currently we only do intrinsics for static/final methods or methods of final
688 // classes. We don't set kHasSingleImplementation for those methods.
689 DCHECK(IsStatic() || IsFinal() || GetDeclaringClass()->IsFinal()) <<
690 "Potential conflict with kAccSingleImplementation";
691 static const int kAccFlagsShift = CTZ(kAccIntrinsicBits);
692 DCHECK_LE(intrinsic, kAccIntrinsicBits >> kAccFlagsShift);
693 uint32_t intrinsic_bits = intrinsic << kAccFlagsShift;
694 uint32_t new_value = (GetAccessFlags() & ~kAccIntrinsicBits) | kAccIntrinsic | intrinsic_bits;
695 if (kIsDebugBuild) {
696 uint32_t java_flags = (GetAccessFlags() & kAccJavaFlagsMask);
697 bool is_constructor = IsConstructor();
698 bool is_synchronized = IsSynchronized();
699 bool skip_access_checks = SkipAccessChecks();
700 bool is_fast_native = IsFastNative();
701 bool is_critical_native = IsCriticalNative();
702 bool is_copied = IsCopied();
703 bool is_miranda = IsMiranda();
704 bool is_default = IsDefault();
705 bool is_default_conflict = IsDefaultConflicting();
706 bool is_compilable = IsCompilable();
707 bool must_count_locks = MustCountLocks();
708 uint32_t hiddenapi_flags = hiddenapi::GetRuntimeFlags(this);
709 SetAccessFlags(new_value);
710 DCHECK_EQ(java_flags, (GetAccessFlags() & kAccJavaFlagsMask));
711 DCHECK_EQ(is_constructor, IsConstructor());
712 DCHECK_EQ(is_synchronized, IsSynchronized());
713 DCHECK_EQ(skip_access_checks, SkipAccessChecks());
714 DCHECK_EQ(is_fast_native, IsFastNative());
715 DCHECK_EQ(is_critical_native, IsCriticalNative());
716 DCHECK_EQ(is_copied, IsCopied());
717 DCHECK_EQ(is_miranda, IsMiranda());
718 DCHECK_EQ(is_default, IsDefault());
719 DCHECK_EQ(is_default_conflict, IsDefaultConflicting());
720 DCHECK_EQ(is_compilable, IsCompilable());
721 DCHECK_EQ(must_count_locks, MustCountLocks());
722 // Only DCHECK that we have preserved the hidden API access flags if the
723 // original method was not on the whitelist. This is because the core image
724 // does not have the access flags set (b/77733081). It is fine to hard-code
725 // these because (a) warnings on greylist do not change semantics, and
726 // (b) only VarHandle intrinsics are blacklisted at the moment and they
727 // should not be used outside tests with disabled API checks.
728 if ((hiddenapi_flags & kAccHiddenapiBits) == 0) {
729 DCHECK_EQ(hiddenapi_flags, hiddenapi::GetRuntimeFlags(this)) << PrettyMethod();
730 }
731 } else {
732 SetAccessFlags(new_value);
733 }
734}
735
David Brazdil904e75a2018-05-15 13:45:08 +0100736void ArtMethod::SetNotIntrinsic() {
737 if (!IsIntrinsic()) {
738 return;
739 }
740
David Brazdil85865692018-10-30 17:26:20 +0000741 // Read the existing hiddenapi flags.
742 uint32_t hiddenapi_runtime_flags = hiddenapi::GetRuntimeFlags(this);
David Brazdil904e75a2018-05-15 13:45:08 +0100743
744 // Clear intrinsic-related access flags.
745 ClearAccessFlags(kAccIntrinsic | kAccIntrinsicBits);
746
747 // Re-apply hidden API access flags now that the method is not an intrinsic.
David Brazdil85865692018-10-30 17:26:20 +0000748 SetAccessFlags(GetAccessFlags() | hiddenapi_runtime_flags);
749 DCHECK_EQ(hiddenapi_runtime_flags, hiddenapi::GetRuntimeFlags(this));
David Brazdil904e75a2018-05-15 13:45:08 +0100750}
751
Andreas Gampe542451c2016-07-26 09:02:02 -0700752void ArtMethod::CopyFrom(ArtMethod* src, PointerSize image_pointer_size) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000753 memcpy(reinterpret_cast<void*>(this), reinterpret_cast<const void*>(src),
754 Size(image_pointer_size));
755 declaring_class_ = GcRoot<mirror::Class>(const_cast<ArtMethod*>(src)->GetDeclaringClass());
756
757 // If the entry point of the method we are copying from is from JIT code, we just
Vladimir Marko2196c652017-11-30 16:16:07 +0000758 // put the entry point of the new method to interpreter or GenericJNI. We could set
759 // the entry point to the JIT code, but this would require taking the JIT code cache
760 // lock to notify it, which we do not want at this level.
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000761 Runtime* runtime = Runtime::Current();
Calin Juravleffc87072016-04-20 14:22:09 +0100762 if (runtime->UseJitCompilation()) {
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000763 if (runtime->GetJit()->GetCodeCache()->ContainsPc(GetEntryPointFromQuickCompiledCode())) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000764 SetEntryPointFromQuickCompiledCodePtrSize(
765 src->IsNative() ? GetQuickGenericJniStub() : GetQuickToInterpreterBridge(),
766 image_pointer_size);
Nicolas Geoffray22cf3d32015-11-02 11:57:11 +0000767 }
768 }
769 // Clear the profiling info for the same reasons as the JIT code.
770 if (!src->IsNative()) {
771 SetProfilingInfoPtrSize(nullptr, image_pointer_size);
772 }
773 // Clear hotness to let the JIT properly decide when to compile this method.
774 hotness_count_ = 0;
775}
776
Andreas Gampe542451c2016-07-26 09:02:02 -0700777bool ArtMethod::IsImagePointerSize(PointerSize pointer_size) {
Andreas Gampe479b1de2016-07-19 18:27:17 -0700778 // Hijack this function to get access to PtrSizedFieldsOffset.
779 //
780 // Ensure that PrtSizedFieldsOffset is correct. We rely here on usually having both 32-bit and
781 // 64-bit builds.
782 static_assert(std::is_standard_layout<ArtMethod>::value, "ArtMethod is not standard layout.");
Andreas Gampe542451c2016-07-26 09:02:02 -0700783 static_assert(
784 (sizeof(void*) != 4) ||
785 (offsetof(ArtMethod, ptr_sized_fields_) == PtrSizedFieldsOffset(PointerSize::k32)),
786 "Unexpected 32-bit class layout.");
787 static_assert(
788 (sizeof(void*) != 8) ||
789 (offsetof(ArtMethod, ptr_sized_fields_) == PtrSizedFieldsOffset(PointerSize::k64)),
790 "Unexpected 64-bit class layout.");
Andreas Gampe479b1de2016-07-19 18:27:17 -0700791
Andreas Gampe75f08852016-07-19 08:06:07 -0700792 Runtime* runtime = Runtime::Current();
793 if (runtime == nullptr) {
794 return true;
795 }
796 return runtime->GetClassLinker()->GetImagePointerSize() == pointer_size;
797}
798
David Sehr709b0702016-10-13 09:12:37 -0700799std::string ArtMethod::PrettyMethod(ArtMethod* m, bool with_signature) {
800 if (m == nullptr) {
801 return "null";
802 }
803 return m->PrettyMethod(with_signature);
804}
805
806std::string ArtMethod::PrettyMethod(bool with_signature) {
Vladimir Markob8a55f82017-09-21 16:21:43 +0100807 if (UNLIKELY(IsRuntimeMethod())) {
808 std::string result = GetDeclaringClassDescriptor();
809 result += '.';
810 result += GetName();
811 // Do not add "<no signature>" even if `with_signature` is true.
812 return result;
David Sehr709b0702016-10-13 09:12:37 -0700813 }
Vladimir Markob8a55f82017-09-21 16:21:43 +0100814 ArtMethod* m =
815 GetInterfaceMethodIfProxy(Runtime::Current()->GetClassLinker()->GetImagePointerSize());
816 return m->GetDexFile()->PrettyMethod(m->GetDexMethodIndex(), with_signature);
David Sehr709b0702016-10-13 09:12:37 -0700817}
818
819std::string ArtMethod::JniShortName() {
Alex Light888a59e2017-01-25 11:41:41 -0800820 return GetJniShortName(GetDeclaringClassDescriptor(), GetName());
David Sehr709b0702016-10-13 09:12:37 -0700821}
822
823std::string ArtMethod::JniLongName() {
824 std::string long_name;
825 long_name += JniShortName();
826 long_name += "__";
827
828 std::string signature(GetSignature().ToString());
829 signature.erase(0, 1);
830 signature.erase(signature.begin() + signature.find(')'), signature.end());
831
832 long_name += MangleForJni(signature);
833
834 return long_name;
835}
836
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800837// AssertSharedHeld doesn't work in GetAccessFlags, so use a NO_THREAD_SAFETY_ANALYSIS helper.
838// TODO: Figure out why ASSERT_SHARED_CAPABILITY doesn't work.
839template <ReadBarrierOption kReadBarrierOption>
840ALWAYS_INLINE static inline void DoGetAccessFlagsHelper(ArtMethod* method)
841 NO_THREAD_SAFETY_ANALYSIS {
842 CHECK(method->IsRuntimeMethod() ||
843 method->GetDeclaringClass<kReadBarrierOption>()->IsIdxLoaded() ||
844 method->GetDeclaringClass<kReadBarrierOption>()->IsErroneous());
845}
846
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800847} // namespace art