blob: 17c9fe4149dfa36c9cbd6af5031f66d1eac93c99 [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
Ian Rogerse63db272014-07-15 15:36:11 -070019#include "arch/context.h"
Ian Rogers62f05122014-03-21 11:21:29 -070020#include "art_field-inl.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070021#include "art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080022#include "base/stringpiece.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070023#include "dex_file-inl.h"
Ian Rogersc449aa82013-07-29 14:35:46 -070024#include "dex_instruction.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070025#include "entrypoints/entrypoint_utils.h"
26#include "entrypoints/runtime_asm_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070027#include "gc/accounting/card_table-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080029#include "jit/jit.h"
30#include "jit/jit_code_cache.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080031#include "jni_internal.h"
Ian Rogers1809a722013-08-09 22:05:32 -070032#include "mapping_table.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070033#include "mirror/abstract_method.h"
34#include "mirror/class-inl.h"
35#include "mirror/object_array-inl.h"
36#include "mirror/object-inl.h"
37#include "mirror/string.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000038#include "oat_file-inl.h"
Ian Rogers62f05122014-03-21 11:21:29 -070039#include "scoped_thread_state_change.h"
Ian Rogers62f05122014-03-21 11:21:29 -070040#include "well_known_classes.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041
42namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080043
Ian Rogers0177e532014-02-11 16:30:46 -080044extern "C" void art_quick_invoke_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
45 const char*);
Mark P Mendell966c3ae2015-01-27 15:45:27 +000046#if defined(__LP64__) || defined(__arm__) || defined(__i386__)
Ian Rogers936b37f2014-02-14 00:52:24 -080047extern "C" void art_quick_invoke_static_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
48 const char*);
49#endif
Jeff Hao5d917302013-02-27 17:57:33 -080050
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070051ArtMethod* ArtMethod::FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
52 jobject jlr_method) {
Mathieu Chartierfc58af42015-04-16 18:00:39 -070053 auto* abstract_method = soa.Decode<mirror::AbstractMethod*>(jlr_method);
54 DCHECK(abstract_method != nullptr);
55 return abstract_method->GetArtMethod();
Ian Rogers62f05122014-03-21 11:21:29 -070056}
57
Ian Rogers6b14d552014-10-28 21:50:58 -070058mirror::String* ArtMethod::GetNameAsString(Thread* self) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070059 CHECK(!IsProxyMethod());
Ian Rogers6b14d552014-10-28 21:50:58 -070060 StackHandleScope<1> hs(self);
Mathieu Chartiere401d142015-04-22 13:56:20 -070061 Handle<mirror::DexCache> dex_cache(hs.NewHandle(GetDexCache()));
62 auto* dex_file = dex_cache->GetDexFile();
63 uint32_t dex_method_idx = GetDexMethodIndex();
64 const DexFile::MethodId& method_id = dex_file->GetMethodId(dex_method_idx);
Ian Rogers6b14d552014-10-28 21:50:58 -070065 return Runtime::Current()->GetClassLinker()->ResolveString(*dex_file, method_id.name_idx_,
66 dex_cache);
67}
68
Ian Rogersef7d42f2014-01-06 12:55:46 -080069InvokeType ArtMethod::GetInvokeType() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080070 // TODO: kSuper?
71 if (GetDeclaringClass()->IsInterface()) {
72 return kInterface;
73 } else if (IsStatic()) {
74 return kStatic;
75 } else if (IsDirect()) {
76 return kDirect;
77 } else {
78 return kVirtual;
79 }
80}
81
Brian Carlstromea46f952013-07-30 01:26:50 -070082size_t ArtMethod::NumArgRegisters(const StringPiece& shorty) {
Ian Rogers6b604a12014-09-25 15:35:37 -070083 CHECK_LE(1U, shorty.length());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080084 uint32_t num_registers = 0;
Ian Rogers6b604a12014-09-25 15:35:37 -070085 for (size_t i = 1; i < shorty.length(); ++i) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080086 char ch = shorty[i];
87 if (ch == 'D' || ch == 'J') {
88 num_registers += 2;
89 } else {
90 num_registers += 1;
91 }
92 }
93 return num_registers;
94}
95
Ian Rogersf2247512014-12-02 16:17:08 -080096static bool HasSameNameAndSignature(ArtMethod* method1, ArtMethod* method2)
Mathieu Chartier90443472015-07-16 20:32:27 -070097 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogersf2247512014-12-02 16:17:08 -080098 ScopedAssertNoThreadSuspension ants(Thread::Current(), "HasSameNameAndSignature");
99 const DexFile* dex_file = method1->GetDexFile();
100 const DexFile::MethodId& mid = dex_file->GetMethodId(method1->GetDexMethodIndex());
101 if (method1->GetDexCache() == method2->GetDexCache()) {
102 const DexFile::MethodId& mid2 = dex_file->GetMethodId(method2->GetDexMethodIndex());
103 return mid.name_idx_ == mid2.name_idx_ && mid.proto_idx_ == mid2.proto_idx_;
104 }
105 const DexFile* dex_file2 = method2->GetDexFile();
106 const DexFile::MethodId& mid2 = dex_file2->GetMethodId(method2->GetDexMethodIndex());
107 if (!DexFileStringEquals(dex_file, mid.name_idx_, dex_file2, mid2.name_idx_)) {
108 return false; // Name mismatch.
109 }
110 return dex_file->GetMethodSignature(mid) == dex_file2->GetMethodSignature(mid2);
111}
112
Mathieu Chartiere401d142015-04-22 13:56:20 -0700113ArtMethod* ArtMethod::FindOverriddenMethod(size_t pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800114 if (IsStatic()) {
Ian Rogersf2247512014-12-02 16:17:08 -0800115 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800116 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700117 mirror::Class* declaring_class = GetDeclaringClass();
118 mirror::Class* super_class = declaring_class->GetSuperClass();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800119 uint16_t method_index = GetMethodIndex();
Ian Rogersf2247512014-12-02 16:17:08 -0800120 ArtMethod* result = nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800121 // Did this method override a super class method? If so load the result from the super class'
122 // vtable
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700123 if (super_class->HasVTable() && method_index < super_class->GetVTableLength()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700124 result = super_class->GetVTableEntry(method_index, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800125 } else {
126 // Method didn't override superclass method so search interfaces
127 if (IsProxyMethod()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700128 result = GetDexCacheResolvedMethods()->GetElementPtrSize<ArtMethod*>(
129 GetDexMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800130 CHECK_EQ(result,
131 Runtime::Current()->GetClassLinker()->FindMethodForProxy(GetDeclaringClass(), this));
132 } else {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700133 mirror::IfTable* iftable = GetDeclaringClass()->GetIfTable();
Ian Rogersf2247512014-12-02 16:17:08 -0800134 for (size_t i = 0; i < iftable->Count() && result == nullptr; i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700135 mirror::Class* interface = iftable->GetInterface(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800136 for (size_t j = 0; j < interface->NumVirtualMethods(); ++j) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700137 ArtMethod* interface_method = interface->GetVirtualMethod(j, pointer_size);
138 if (HasSameNameAndSignature(
139 this, interface_method->GetInterfaceMethodIfProxy(sizeof(void*)))) {
Ian Rogersf2247512014-12-02 16:17:08 -0800140 result = interface_method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800141 break;
142 }
143 }
144 }
145 }
146 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700147 DCHECK(result == nullptr || HasSameNameAndSignature(
148 GetInterfaceMethodIfProxy(sizeof(void*)), result->GetInterfaceMethodIfProxy(sizeof(void*))));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800149 return result;
150}
151
Ian Rogerse0a02da2014-12-02 14:10:53 -0800152uint32_t ArtMethod::FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
153 uint32_t name_and_signature_idx) {
154 const DexFile* dexfile = GetDexFile();
155 const uint32_t dex_method_idx = GetDexMethodIndex();
156 const DexFile::MethodId& mid = dexfile->GetMethodId(dex_method_idx);
157 const DexFile::MethodId& name_and_sig_mid = other_dexfile.GetMethodId(name_and_signature_idx);
158 DCHECK_STREQ(dexfile->GetMethodName(mid), other_dexfile.GetMethodName(name_and_sig_mid));
159 DCHECK_EQ(dexfile->GetMethodSignature(mid), other_dexfile.GetMethodSignature(name_and_sig_mid));
160 if (dexfile == &other_dexfile) {
161 return dex_method_idx;
162 }
163 const char* mid_declaring_class_descriptor = dexfile->StringByTypeIdx(mid.class_idx_);
164 const DexFile::StringId* other_descriptor =
165 other_dexfile.FindStringId(mid_declaring_class_descriptor);
166 if (other_descriptor != nullptr) {
167 const DexFile::TypeId* other_type_id =
168 other_dexfile.FindTypeId(other_dexfile.GetIndexForStringId(*other_descriptor));
169 if (other_type_id != nullptr) {
170 const DexFile::MethodId* other_mid = other_dexfile.FindMethodId(
171 *other_type_id, other_dexfile.GetStringId(name_and_sig_mid.name_idx_),
172 other_dexfile.GetProtoId(name_and_sig_mid.proto_idx_));
173 if (other_mid != nullptr) {
174 return other_dexfile.GetIndexForMethodId(*other_mid);
175 }
176 }
177 }
178 return DexFile::kDexNoIndex;
179}
180
Dave Allisonb373e092014-02-20 16:06:36 -0800181uint32_t ArtMethod::ToDexPc(const uintptr_t pc, bool abort_on_failure) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800182 const void* entry_point = GetQuickOatEntryPoint(sizeof(void*));
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000183 uint32_t sought_offset = pc - reinterpret_cast<uintptr_t>(entry_point);
184 if (IsOptimized(sizeof(void*))) {
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000185 CodeInfo code_info = GetOptimizedCodeInfo();
David Brazdilf677ebf2015-05-29 16:29:43 +0100186 StackMapEncoding encoding = code_info.ExtractEncoding();
187 StackMap stack_map = code_info.GetStackMapForNativePcOffset(sought_offset, encoding);
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100188 if (stack_map.IsValid()) {
David Brazdilf677ebf2015-05-29 16:29:43 +0100189 return stack_map.GetDexPc(encoding);
Ian Rogers1809a722013-08-09 22:05:32 -0700190 }
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100191 } else {
192 MappingTable table(entry_point != nullptr ?
193 GetMappingTable(EntryPointToCodePointer(entry_point), sizeof(void*)) : nullptr);
194 if (table.TotalSize() == 0) {
195 // NOTE: Special methods (see Mir2Lir::GenSpecialCase()) have an empty mapping
196 // but they have no suspend checks and, consequently, we never call ToDexPc() for them.
197 DCHECK(IsNative() || IsCalleeSaveMethod() || IsProxyMethod()) << PrettyMethod(this);
198 return DexFile::kDexNoIndex; // Special no mapping case
199 }
200 // Assume the caller wants a pc-to-dex mapping so check here first.
201 typedef MappingTable::PcToDexIterator It;
202 for (It cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
203 if (cur.NativePcOffset() == sought_offset) {
204 return cur.DexPc();
205 }
206 }
207 // Now check dex-to-pc mappings.
208 typedef MappingTable::DexToPcIterator It2;
209 for (It2 cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
210 if (cur.NativePcOffset() == sought_offset) {
211 return cur.DexPc();
212 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800213 }
214 }
Dave Allisonb373e092014-02-20 16:06:36 -0800215 if (abort_on_failure) {
216 LOG(FATAL) << "Failed to find Dex offset for PC offset " << reinterpret_cast<void*>(sought_offset)
Vladimir Marko4c1c5102014-05-14 16:51:16 +0100217 << "(PC " << reinterpret_cast<void*>(pc) << ", entry_point=" << entry_point
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800218 << " current entry_point=" << GetQuickOatEntryPoint(sizeof(void*))
Dave Allisonb373e092014-02-20 16:06:36 -0800219 << ") in " << PrettyMethod(this);
220 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800221 return DexFile::kDexNoIndex;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800222}
223
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000224uintptr_t ArtMethod::ToNativeQuickPc(const uint32_t dex_pc, bool abort_on_failure) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800225 const void* entry_point = GetQuickOatEntryPoint(sizeof(void*));
226 MappingTable table(entry_point != nullptr ?
227 GetMappingTable(EntryPointToCodePointer(entry_point), sizeof(void*)) : nullptr);
Ian Rogers1809a722013-08-09 22:05:32 -0700228 if (table.TotalSize() == 0) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800229 DCHECK_EQ(dex_pc, 0U);
230 return 0; // Special no mapping/pc == 0 case
231 }
Ian Rogers1809a722013-08-09 22:05:32 -0700232 // Assume the caller wants a dex-to-pc mapping so check here first.
233 typedef MappingTable::DexToPcIterator It;
234 for (It cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
235 if (cur.DexPc() == dex_pc) {
Vladimir Marko4c1c5102014-05-14 16:51:16 +0100236 return reinterpret_cast<uintptr_t>(entry_point) + cur.NativePcOffset();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800237 }
238 }
Ian Rogers1809a722013-08-09 22:05:32 -0700239 // Now check pc-to-dex mappings.
240 typedef MappingTable::PcToDexIterator It2;
241 for (It2 cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
242 if (cur.DexPc() == dex_pc) {
Vladimir Marko4c1c5102014-05-14 16:51:16 +0100243 return reinterpret_cast<uintptr_t>(entry_point) + cur.NativePcOffset();
Ian Rogers1809a722013-08-09 22:05:32 -0700244 }
245 }
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000246 if (abort_on_failure) {
247 LOG(FATAL) << "Failed to find native offset for dex pc 0x" << std::hex << dex_pc
248 << " in " << PrettyMethod(this);
249 }
250 return UINTPTR_MAX;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800251}
252
Mathieu Chartiere401d142015-04-22 13:56:20 -0700253uint32_t ArtMethod::FindCatchBlock(Handle<mirror::Class> exception_type,
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700254 uint32_t dex_pc, bool* has_no_move_exception) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700255 const DexFile::CodeItem* code_item = GetCodeItem();
Jeff Haoaa961912014-04-22 13:54:32 -0700256 // Set aside the exception while we resolve its type.
257 Thread* self = Thread::Current();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700258 StackHandleScope<1> hs(self);
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000259 Handle<mirror::Throwable> exception(hs.NewHandle(self->GetException()));
Jeff Haoaa961912014-04-22 13:54:32 -0700260 self->ClearException();
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700261 // Default to handler not found.
262 uint32_t found_dex_pc = DexFile::kDexNoIndex;
263 // Iterate over the catch handlers associated with dex_pc.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800264 for (CatchHandlerIterator it(*code_item, dex_pc); it.HasNext(); it.Next()) {
265 uint16_t iter_type_idx = it.GetHandlerTypeIndex();
266 // Catch all case
267 if (iter_type_idx == DexFile::kDexNoIndex16) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700268 found_dex_pc = it.GetHandlerAddress();
269 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800270 }
271 // Does this catch exception type apply?
Mathieu Chartiere401d142015-04-22 13:56:20 -0700272 mirror::Class* iter_exception_type = GetClassFromTypeIndex(iter_type_idx, true);
Ian Rogers822266b2014-05-29 16:55:06 -0700273 if (UNLIKELY(iter_exception_type == nullptr)) {
274 // Now have a NoClassDefFoundError as exception. Ignore in case the exception class was
275 // removed by a pro-guard like tool.
Andreas Gampe72b3e432014-05-13 21:42:05 -0700276 // Note: this is not RI behavior. RI would have failed when loading the class.
Ian Rogers822266b2014-05-29 16:55:06 -0700277 self->ClearException();
278 // Delete any long jump context as this routine is called during a stack walk which will
279 // release its in use context at the end.
280 delete self->GetLongJumpContext();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800281 LOG(WARNING) << "Unresolved exception class when finding catch block: "
Mathieu Chartiere401d142015-04-22 13:56:20 -0700282 << DescriptorToDot(GetTypeDescriptorFromTypeIdx(iter_type_idx));
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700283 } else if (iter_exception_type->IsAssignableFrom(exception_type.Get())) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700284 found_dex_pc = it.GetHandlerAddress();
285 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800286 }
287 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700288 if (found_dex_pc != DexFile::kDexNoIndex) {
289 const Instruction* first_catch_instr =
Jeff Haoaa961912014-04-22 13:54:32 -0700290 Instruction::At(&code_item->insns_[found_dex_pc]);
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700291 *has_no_move_exception = (first_catch_instr->Opcode() != Instruction::MOVE_EXCEPTION);
292 }
Jeff Haoaa961912014-04-22 13:54:32 -0700293 // Put the exception back.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700294 if (exception.Get() != nullptr) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000295 self->SetException(exception.Get());
Jeff Haoaa961912014-04-22 13:54:32 -0700296 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700297 return found_dex_pc;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800298}
299
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700300void ArtMethod::AssertPcIsWithinQuickCode(uintptr_t pc) {
301 if (IsNative() || IsRuntimeMethod() || IsProxyMethod()) {
302 return;
303 }
304 if (pc == reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc())) {
305 return;
306 }
307 const void* code = GetEntryPointFromQuickCompiledCode();
308 if (code == GetQuickInstrumentationEntryPoint()) {
309 return;
310 }
311 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
312 if (class_linker->IsQuickToInterpreterBridge(code) ||
313 class_linker->IsQuickResolutionStub(code)) {
314 return;
315 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800316 // If we are the JIT then we may have just compiled the method after the
317 // IsQuickToInterpreterBridge check.
318 jit::Jit* const jit = Runtime::Current()->GetJit();
319 if (jit != nullptr &&
320 jit->GetCodeCache()->ContainsCodePtr(reinterpret_cast<const void*>(code))) {
321 return;
322 }
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700323 /*
324 * During a stack walk, a return PC may point past-the-end of the code
325 * in the case that the last instruction is a call that isn't expected to
326 * return. Thus, we check <= code + GetCodeSize().
327 *
328 * NOTE: For Thumb both pc and code are offset by 1 indicating the Thumb state.
329 */
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800330 CHECK(PcIsWithinQuickCode(reinterpret_cast<uintptr_t>(code), pc))
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700331 << PrettyMethod(this)
332 << " pc=" << std::hex << pc
333 << " code=" << code
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800334 << " size=" << GetCodeSize(
335 EntryPointToCodePointer(reinterpret_cast<const void*>(code)));
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700336}
337
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700338bool ArtMethod::IsEntrypointInterpreter() {
339 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Elliott Hughes956af0f2014-12-11 14:34:28 -0800340 const void* oat_quick_code = class_linker->GetOatMethodQuickCodeFor(this);
341 return oat_quick_code == nullptr || oat_quick_code != GetEntryPointFromQuickCompiledCode();
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700342}
343
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800344const void* ArtMethod::GetQuickOatEntryPoint(size_t pointer_size) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800345 if (IsAbstract() || IsRuntimeMethod() || IsProxyMethod()) {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700346 return nullptr;
347 }
348 Runtime* runtime = Runtime::Current();
349 ClassLinker* class_linker = runtime->GetClassLinker();
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800350 const void* code = runtime->GetInstrumentation()->GetQuickCodeFor(this, pointer_size);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700351 // On failure, instead of null we get the quick-generic-jni-trampoline for native method
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700352 // indicating the generic JNI, or the quick-to-interpreter-bridge (but not the trampoline)
353 // for non-native methods.
354 if (class_linker->IsQuickToInterpreterBridge(code) ||
355 class_linker->IsQuickGenericJniStub(code)) {
356 return nullptr;
357 }
358 return code;
359}
360
361#ifndef NDEBUG
362uintptr_t ArtMethod::NativeQuickPcOffset(const uintptr_t pc, const void* quick_entry_point) {
363 CHECK_NE(quick_entry_point, GetQuickToInterpreterBridge());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700364 CHECK_EQ(quick_entry_point,
365 Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this, sizeof(void*)));
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700366 return pc - reinterpret_cast<uintptr_t>(quick_entry_point);
367}
368#endif
369
Brian Carlstromea46f952013-07-30 01:26:50 -0700370void ArtMethod::Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result,
Ian Rogers0177e532014-02-11 16:30:46 -0800371 const char* shorty) {
Dave Allison648d7112014-07-25 16:15:27 -0700372 if (UNLIKELY(__builtin_frame_address(0) < self->GetStackEnd())) {
373 ThrowStackOverflowError(self);
374 return;
375 }
376
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800377 if (kIsDebugBuild) {
378 self->AssertThreadSuspensionIsAllowable();
379 CHECK_EQ(kRunnable, self->GetState());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700380 CHECK_STREQ(GetInterfaceMethodIfProxy(sizeof(void*))->GetShorty(), shorty);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800381 }
382
383 // Push a transition back into managed code onto the linked list in thread.
384 ManagedStack fragment;
385 self->PushManagedStackFragment(&fragment);
386
Ian Rogers62d6c772013-02-27 08:32:07 -0800387 Runtime* runtime = Runtime::Current();
Jeff Hao74180ca2013-03-27 15:29:11 -0700388 // Call the invoke stub, passing everything as arguments.
Daniel Mihalyieb076692014-08-22 17:33:31 +0200389 // If the runtime is not yet started or it is required by the debugger, then perform the
390 // Invocation by the interpreter.
391 if (UNLIKELY(!runtime->IsStarted() || Dbg::IsForcedInterpreterNeededForCalling(self, this))) {
Ian Rogers5d27faf2014-05-02 17:17:18 -0700392 if (IsStatic()) {
393 art::interpreter::EnterInterpreterFromInvoke(self, this, nullptr, args, result);
394 } else {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700395 mirror::Object* receiver =
396 reinterpret_cast<StackReference<mirror::Object>*>(&args[0])->AsMirrorPtr();
Ian Rogers5d27faf2014-05-02 17:17:18 -0700397 art::interpreter::EnterInterpreterFromInvoke(self, this, receiver, args + 1, result);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800398 }
399 } else {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700400 DCHECK_EQ(runtime->GetClassLinker()->GetImagePointerSize(), sizeof(void*));
401
402 constexpr bool kLogInvocationStartAndReturn = false;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800403 bool have_quick_code = GetEntryPointFromQuickCompiledCode() != nullptr;
Elliott Hughes956af0f2014-12-11 14:34:28 -0800404 if (LIKELY(have_quick_code)) {
Jeff Hao790ad902013-05-22 15:02:08 -0700405 if (kLogInvocationStartAndReturn) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700406 LOG(INFO) << StringPrintf(
407 "Invoking '%s' quick code=%p static=%d", PrettyMethod(this).c_str(),
408 GetEntryPointFromQuickCompiledCode(), static_cast<int>(IsStatic() ? 1 : 0));
Jeff Hao790ad902013-05-22 15:02:08 -0700409 }
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700410
Elliott Hughes956af0f2014-12-11 14:34:28 -0800411 // Ensure that we won't be accidentally calling quick compiled code when -Xint.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800412 if (kIsDebugBuild && runtime->GetInstrumentation()->IsForcedInterpretOnly()) {
413 DCHECK(!runtime->UseJit());
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700414 CHECK(IsEntrypointInterpreter())
415 << "Don't call compiled code when -Xint " << PrettyMethod(this);
416 }
417
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000418#if defined(__LP64__) || defined(__arm__) || defined(__i386__)
Elliott Hughes956af0f2014-12-11 14:34:28 -0800419 if (!IsStatic()) {
Ian Rogers0177e532014-02-11 16:30:46 -0800420 (*art_quick_invoke_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800421 } else {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800422 (*art_quick_invoke_static_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800423 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800424#else
425 (*art_quick_invoke_stub)(this, args, args_size, self, result, shorty);
426#endif
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000427 if (UNLIKELY(self->GetException() == Thread::GetDeoptimizationException())) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200428 // Unusual case where we were running generated code and an
Jeff Hao790ad902013-05-22 15:02:08 -0700429 // exception was thrown to force the activations to be removed from the
430 // stack. Continue execution in the interpreter.
431 self->ClearException();
Sebastien Hertzf7958692015-06-09 14:09:14 +0200432 ShadowFrame* shadow_frame =
433 self->PopStackedShadowFrame(StackedShadowFrameType::kDeoptimizationShadowFrame);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700434 result->SetJ(self->PopDeoptimizationReturnValue().GetJ());
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700435 self->SetTopOfStack(nullptr);
Jeff Hao790ad902013-05-22 15:02:08 -0700436 self->SetTopOfShadowStack(shadow_frame);
437 interpreter::EnterInterpreterFromDeoptimize(self, shadow_frame, result);
438 }
439 if (kLogInvocationStartAndReturn) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800440 LOG(INFO) << StringPrintf("Returned '%s' quick code=%p", PrettyMethod(this).c_str(),
441 GetEntryPointFromQuickCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800442 }
443 } else {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800444 LOG(INFO) << "Not invoking '" << PrettyMethod(this) << "' code=null";
Ian Rogersf2247512014-12-02 16:17:08 -0800445 if (result != nullptr) {
Jeff Hao5d917302013-02-27 17:57:33 -0800446 result->SetJ(0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800447 }
448 }
449 }
450
451 // Pop transition.
452 self->PopManagedStackFragment(fragment);
453}
454
Ian Rogers1a102182014-12-02 17:49:19 -0800455// Counts the number of references in the parameter list of the corresponding method.
456// Note: Thus does _not_ include "this" for non-static methods.
457static uint32_t GetNumberOfReferenceArgsWithoutReceiver(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700458 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers1a102182014-12-02 17:49:19 -0800459 uint32_t shorty_len;
460 const char* shorty = method->GetShorty(&shorty_len);
461 uint32_t refs = 0;
462 for (uint32_t i = 1; i < shorty_len ; ++i) {
463 if (shorty[i] == 'L') {
464 refs++;
465 }
466 }
467 return refs;
468}
469
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700470QuickMethodFrameInfo ArtMethod::GetQuickFrameInfo() {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700471 Runtime* runtime = Runtime::Current();
Daniel Mihalyie14f2b32014-10-10 18:24:11 +0200472
473 if (UNLIKELY(IsAbstract())) {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700474 return runtime->GetCalleeSaveMethodFrameInfo(Runtime::kRefsAndArgs);
475 }
Daniel Mihalyie14f2b32014-10-10 18:24:11 +0200476
Mathieu Chartiere401d142015-04-22 13:56:20 -0700477 // This goes before IsProxyMethod since runtime methods have a null declaring class.
478 if (UNLIKELY(IsRuntimeMethod())) {
479 return runtime->GetRuntimeMethodFrameInfo(this);
480 }
481
Daniel Mihalyie14f2b32014-10-10 18:24:11 +0200482 // For Proxy method we add special handling for the direct method case (there is only one
483 // direct method - constructor). Direct method is cloned from original
484 // java.lang.reflect.Proxy class together with code and as a result it is executed as usual
485 // quick compiled method without any stubs. So the frame info should be returned as it is a
486 // quick method not a stub. However, if instrumentation stubs are installed, the
487 // instrumentation->GetQuickCodeFor() returns the artQuickProxyInvokeHandler instead of an
488 // oat code pointer, thus we have to add a special case here.
489 if (UNLIKELY(IsProxyMethod())) {
490 if (IsDirect()) {
491 CHECK(IsConstructor());
492 return GetQuickFrameInfo(EntryPointToCodePointer(GetEntryPointFromQuickCompiledCode()));
493 } else {
494 return runtime->GetCalleeSaveMethodFrameInfo(Runtime::kRefsAndArgs);
495 }
496 }
497
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800498 const void* entry_point = runtime->GetInstrumentation()->GetQuickCodeFor(this, sizeof(void*));
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700499 ClassLinker* class_linker = runtime->GetClassLinker();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700500 // On failure, instead of null we get the quick-generic-jni-trampoline for native method
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700501 // indicating the generic JNI, or the quick-to-interpreter-bridge (but not the trampoline)
502 // for non-native methods. And we really shouldn't see a failure for non-native methods here.
503 DCHECK(!class_linker->IsQuickToInterpreterBridge(entry_point));
504
505 if (class_linker->IsQuickGenericJniStub(entry_point)) {
506 // Generic JNI frame.
507 DCHECK(IsNative());
Ian Rogers1a102182014-12-02 17:49:19 -0800508 uint32_t handle_refs = GetNumberOfReferenceArgsWithoutReceiver(this) + 1;
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700509 size_t scope_size = HandleScope::SizeOf(handle_refs);
510 QuickMethodFrameInfo callee_info = runtime->GetCalleeSaveMethodFrameInfo(Runtime::kRefsAndArgs);
511
512 // Callee saves + handle scope + method ref + alignment
Mathieu Chartiere401d142015-04-22 13:56:20 -0700513 // Note: -sizeof(void*) since callee-save frame stores a whole method pointer.
514 size_t frame_size = RoundUp(callee_info.FrameSizeInBytes() - sizeof(void*) +
515 sizeof(ArtMethod*) + scope_size, kStackAlignment);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700516 return QuickMethodFrameInfo(frame_size, callee_info.CoreSpillMask(), callee_info.FpSpillMask());
517 }
518
519 const void* code_pointer = EntryPointToCodePointer(entry_point);
520 return GetQuickFrameInfo(code_pointer);
521}
522
523void ArtMethod::RegisterNative(const void* native_method, bool is_fast) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800524 CHECK(IsNative()) << PrettyMethod(this);
Ian Rogers1eb512d2013-10-18 15:42:20 -0700525 CHECK(!IsFastNative()) << PrettyMethod(this);
Ian Rogersf2247512014-12-02 16:17:08 -0800526 CHECK(native_method != nullptr) << PrettyMethod(this);
Ian Rogers987560f2014-04-22 11:42:59 -0700527 if (is_fast) {
528 SetAccessFlags(GetAccessFlags() | kAccFastNative);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800529 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800530 SetEntryPointFromJni(native_method);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800531}
532
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700533void ArtMethod::UnregisterNative() {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700534 CHECK(IsNative() && !IsFastNative()) << PrettyMethod(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800535 // restore stub to lookup native pointer via dlsym
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700536 RegisterNative(GetJniDlsymLookupStub(), false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800537}
538
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700539bool ArtMethod::EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params) {
540 auto* dex_cache = GetDexCache();
541 auto* dex_file = dex_cache->GetDexFile();
542 const auto& method_id = dex_file->GetMethodId(GetDexMethodIndex());
543 const auto& proto_id = dex_file->GetMethodPrototype(method_id);
544 const DexFile::TypeList* proto_params = dex_file->GetProtoParameters(proto_id);
545 auto count = proto_params != nullptr ? proto_params->Size() : 0u;
546 auto param_len = params.Get() != nullptr ? params->GetLength() : 0u;
547 if (param_len != count) {
548 return false;
549 }
550 auto* cl = Runtime::Current()->GetClassLinker();
551 for (size_t i = 0; i < count; ++i) {
552 auto type_idx = proto_params->GetTypeItem(i).type_idx_;
553 auto* type = cl->ResolveType(type_idx, this);
554 if (type == nullptr) {
555 Thread::Current()->AssertPendingException();
556 return false;
557 }
558 if (type != params->GetWithoutChecks(i)) {
559 return false;
560 }
561 }
562 return true;
563}
564
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000565const uint8_t* ArtMethod::GetQuickenedInfo() {
566 bool found = false;
567 OatFile::OatMethod oat_method =
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700568 Runtime::Current()->GetClassLinker()->FindOatMethodFor(this, &found);
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000569 if (!found || (oat_method.GetQuickCode() != nullptr)) {
570 return nullptr;
571 }
572 return oat_method.GetVmapTable();
573}
574
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800575} // namespace art