blob: 079a231d921e99be9c5ad63ed5d962f36dd2e350 [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
Mathieu Chartierfc58af42015-04-16 18:00:39 -070019#include "abstract_method.h"
Ian Rogerse63db272014-07-15 15:36:11 -070020#include "arch/context.h"
Ian Rogers62f05122014-03-21 11:21:29 -070021#include "art_field-inl.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070022#include "art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080023#include "base/stringpiece.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070024#include "class-inl.h"
25#include "dex_file-inl.h"
Ian Rogersc449aa82013-07-29 14:35:46 -070026#include "dex_instruction.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070027#include "entrypoints/entrypoint_utils.h"
28#include "entrypoints/runtime_asm_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070029#include "gc/accounting/card_table-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080031#include "jit/jit.h"
32#include "jit/jit_code_cache.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080033#include "jni_internal.h"
Ian Rogers1809a722013-08-09 22:05:32 -070034#include "mapping_table.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035#include "object_array-inl.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070036#include "object_array.h"
37#include "object-inl.h"
Ian Rogers62f05122014-03-21 11:21:29 -070038#include "scoped_thread_state_change.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039#include "string.h"
Ian Rogers62f05122014-03-21 11:21:29 -070040#include "well_known_classes.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041
42namespace art {
43namespace mirror {
44
Ian Rogers0177e532014-02-11 16:30:46 -080045extern "C" void art_quick_invoke_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
46 const char*);
Mark P Mendell966c3ae2015-01-27 15:45:27 +000047#if defined(__LP64__) || defined(__arm__) || defined(__i386__)
Ian Rogers936b37f2014-02-14 00:52:24 -080048extern "C" void art_quick_invoke_static_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*,
49 const char*);
50#endif
Jeff Hao5d917302013-02-27 17:57:33 -080051
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052// TODO: get global references for these
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070053GcRoot<Class> ArtMethod::java_lang_reflect_ArtMethod_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080054
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070055ArtMethod* ArtMethod::FromReflectedMethod(const ScopedObjectAccessAlreadyRunnable& soa,
56 jobject jlr_method) {
Mathieu Chartierfc58af42015-04-16 18:00:39 -070057 auto* abstract_method = soa.Decode<mirror::AbstractMethod*>(jlr_method);
58 DCHECK(abstract_method != nullptr);
59 return abstract_method->GetArtMethod();
Ian Rogers62f05122014-03-21 11:21:29 -070060}
61
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -070062void ArtMethod::VisitRoots(RootVisitor* visitor) {
63 java_lang_reflect_ArtMethod_.VisitRootIfNonNull(visitor, RootInfo(kRootStickyClass));
Mathieu Chartierc528dba2013-11-26 12:00:11 -080064}
65
Ian Rogers6b14d552014-10-28 21:50:58 -070066mirror::String* ArtMethod::GetNameAsString(Thread* self) {
67 mirror::ArtMethod* method = GetInterfaceMethodIfProxy();
68 const DexFile* dex_file = method->GetDexFile();
69 uint32_t dex_method_idx = method->GetDexMethodIndex();
70 const DexFile::MethodId& method_id = dex_file->GetMethodId(dex_method_idx);
71 StackHandleScope<1> hs(self);
72 Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
73 return Runtime::Current()->GetClassLinker()->ResolveString(*dex_file, method_id.name_idx_,
74 dex_cache);
75}
76
Ian Rogersef7d42f2014-01-06 12:55:46 -080077InvokeType ArtMethod::GetInvokeType() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080078 // TODO: kSuper?
79 if (GetDeclaringClass()->IsInterface()) {
80 return kInterface;
81 } else if (IsStatic()) {
82 return kStatic;
83 } else if (IsDirect()) {
84 return kDirect;
85 } else {
86 return kVirtual;
87 }
88}
89
Brian Carlstromea46f952013-07-30 01:26:50 -070090void ArtMethod::SetClass(Class* java_lang_reflect_ArtMethod) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070091 CHECK(java_lang_reflect_ArtMethod_.IsNull());
Ian Rogersf2247512014-12-02 16:17:08 -080092 CHECK(java_lang_reflect_ArtMethod != nullptr);
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070093 java_lang_reflect_ArtMethod_ = GcRoot<Class>(java_lang_reflect_ArtMethod);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080094}
95
Brian Carlstromea46f952013-07-30 01:26:50 -070096void ArtMethod::ResetClass() {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070097 CHECK(!java_lang_reflect_ArtMethod_.IsNull());
98 java_lang_reflect_ArtMethod_ = GcRoot<Class>(nullptr);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080099}
100
Brian Carlstromea46f952013-07-30 01:26:50 -0700101size_t ArtMethod::NumArgRegisters(const StringPiece& shorty) {
Ian Rogers6b604a12014-09-25 15:35:37 -0700102 CHECK_LE(1U, shorty.length());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800103 uint32_t num_registers = 0;
Ian Rogers6b604a12014-09-25 15:35:37 -0700104 for (size_t i = 1; i < shorty.length(); ++i) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800105 char ch = shorty[i];
106 if (ch == 'D' || ch == 'J') {
107 num_registers += 2;
108 } else {
109 num_registers += 1;
110 }
111 }
112 return num_registers;
113}
114
Ian Rogersf2247512014-12-02 16:17:08 -0800115static bool HasSameNameAndSignature(ArtMethod* method1, ArtMethod* method2)
116 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
117 ScopedAssertNoThreadSuspension ants(Thread::Current(), "HasSameNameAndSignature");
118 const DexFile* dex_file = method1->GetDexFile();
119 const DexFile::MethodId& mid = dex_file->GetMethodId(method1->GetDexMethodIndex());
120 if (method1->GetDexCache() == method2->GetDexCache()) {
121 const DexFile::MethodId& mid2 = dex_file->GetMethodId(method2->GetDexMethodIndex());
122 return mid.name_idx_ == mid2.name_idx_ && mid.proto_idx_ == mid2.proto_idx_;
123 }
124 const DexFile* dex_file2 = method2->GetDexFile();
125 const DexFile::MethodId& mid2 = dex_file2->GetMethodId(method2->GetDexMethodIndex());
126 if (!DexFileStringEquals(dex_file, mid.name_idx_, dex_file2, mid2.name_idx_)) {
127 return false; // Name mismatch.
128 }
129 return dex_file->GetMethodSignature(mid) == dex_file2->GetMethodSignature(mid2);
130}
131
Ian Rogersef7d42f2014-01-06 12:55:46 -0800132ArtMethod* ArtMethod::FindOverriddenMethod() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800133 if (IsStatic()) {
Ian Rogersf2247512014-12-02 16:17:08 -0800134 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800135 }
136 Class* declaring_class = GetDeclaringClass();
137 Class* super_class = declaring_class->GetSuperClass();
138 uint16_t method_index = GetMethodIndex();
Ian Rogersf2247512014-12-02 16:17:08 -0800139 ArtMethod* result = nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800140 // Did this method override a super class method? If so load the result from the super class'
141 // vtable
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700142 if (super_class->HasVTable() && method_index < super_class->GetVTableLength()) {
143 result = super_class->GetVTableEntry(method_index);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800144 } else {
145 // Method didn't override superclass method so search interfaces
146 if (IsProxyMethod()) {
147 result = GetDexCacheResolvedMethods()->Get(GetDexMethodIndex());
148 CHECK_EQ(result,
149 Runtime::Current()->GetClassLinker()->FindMethodForProxy(GetDeclaringClass(), this));
150 } else {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800151 IfTable* iftable = GetDeclaringClass()->GetIfTable();
Ian Rogersf2247512014-12-02 16:17:08 -0800152 for (size_t i = 0; i < iftable->Count() && result == nullptr; i++) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800153 Class* interface = iftable->GetInterface(i);
154 for (size_t j = 0; j < interface->NumVirtualMethods(); ++j) {
Ian Rogersf2247512014-12-02 16:17:08 -0800155 mirror::ArtMethod* interface_method = interface->GetVirtualMethod(j);
156 if (HasSameNameAndSignature(this, interface_method)) {
157 result = interface_method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800158 break;
159 }
160 }
161 }
162 }
163 }
Jeff Haof0a3f092014-07-24 16:26:09 -0700164 if (kIsDebugBuild) {
Ian Rogersf2247512014-12-02 16:17:08 -0800165 DCHECK(result == nullptr || HasSameNameAndSignature(this, result));
Jeff Haof0a3f092014-07-24 16:26:09 -0700166 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800167 return result;
168}
169
Ian Rogerse0a02da2014-12-02 14:10:53 -0800170uint32_t ArtMethod::FindDexMethodIndexInOtherDexFile(const DexFile& other_dexfile,
171 uint32_t name_and_signature_idx) {
172 const DexFile* dexfile = GetDexFile();
173 const uint32_t dex_method_idx = GetDexMethodIndex();
174 const DexFile::MethodId& mid = dexfile->GetMethodId(dex_method_idx);
175 const DexFile::MethodId& name_and_sig_mid = other_dexfile.GetMethodId(name_and_signature_idx);
176 DCHECK_STREQ(dexfile->GetMethodName(mid), other_dexfile.GetMethodName(name_and_sig_mid));
177 DCHECK_EQ(dexfile->GetMethodSignature(mid), other_dexfile.GetMethodSignature(name_and_sig_mid));
178 if (dexfile == &other_dexfile) {
179 return dex_method_idx;
180 }
181 const char* mid_declaring_class_descriptor = dexfile->StringByTypeIdx(mid.class_idx_);
182 const DexFile::StringId* other_descriptor =
183 other_dexfile.FindStringId(mid_declaring_class_descriptor);
184 if (other_descriptor != nullptr) {
185 const DexFile::TypeId* other_type_id =
186 other_dexfile.FindTypeId(other_dexfile.GetIndexForStringId(*other_descriptor));
187 if (other_type_id != nullptr) {
188 const DexFile::MethodId* other_mid = other_dexfile.FindMethodId(
189 *other_type_id, other_dexfile.GetStringId(name_and_sig_mid.name_idx_),
190 other_dexfile.GetProtoId(name_and_sig_mid.proto_idx_));
191 if (other_mid != nullptr) {
192 return other_dexfile.GetIndexForMethodId(*other_mid);
193 }
194 }
195 }
196 return DexFile::kDexNoIndex;
197}
198
Dave Allisonb373e092014-02-20 16:06:36 -0800199uint32_t ArtMethod::ToDexPc(const uintptr_t pc, bool abort_on_failure) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800200 const void* entry_point = GetQuickOatEntryPoint(sizeof(void*));
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000201 uint32_t sought_offset = pc - reinterpret_cast<uintptr_t>(entry_point);
202 if (IsOptimized(sizeof(void*))) {
Nicolas Geoffray004c2302015-03-20 10:06:38 +0000203 CodeInfo code_info = GetOptimizedCodeInfo();
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100204 StackMap stack_map = code_info.GetStackMapForNativePcOffset(sought_offset);
205 if (stack_map.IsValid()) {
206 return stack_map.GetDexPc(code_info);
Ian Rogers1809a722013-08-09 22:05:32 -0700207 }
Nicolas Geoffraye12997f2015-05-22 14:01:33 +0100208 } else {
209 MappingTable table(entry_point != nullptr ?
210 GetMappingTable(EntryPointToCodePointer(entry_point), sizeof(void*)) : nullptr);
211 if (table.TotalSize() == 0) {
212 // NOTE: Special methods (see Mir2Lir::GenSpecialCase()) have an empty mapping
213 // but they have no suspend checks and, consequently, we never call ToDexPc() for them.
214 DCHECK(IsNative() || IsCalleeSaveMethod() || IsProxyMethod()) << PrettyMethod(this);
215 return DexFile::kDexNoIndex; // Special no mapping case
216 }
217 // Assume the caller wants a pc-to-dex mapping so check here first.
218 typedef MappingTable::PcToDexIterator It;
219 for (It cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
220 if (cur.NativePcOffset() == sought_offset) {
221 return cur.DexPc();
222 }
223 }
224 // Now check dex-to-pc mappings.
225 typedef MappingTable::DexToPcIterator It2;
226 for (It2 cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
227 if (cur.NativePcOffset() == sought_offset) {
228 return cur.DexPc();
229 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800230 }
231 }
Dave Allisonb373e092014-02-20 16:06:36 -0800232 if (abort_on_failure) {
233 LOG(FATAL) << "Failed to find Dex offset for PC offset " << reinterpret_cast<void*>(sought_offset)
Vladimir Marko4c1c5102014-05-14 16:51:16 +0100234 << "(PC " << reinterpret_cast<void*>(pc) << ", entry_point=" << entry_point
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800235 << " current entry_point=" << GetQuickOatEntryPoint(sizeof(void*))
Dave Allisonb373e092014-02-20 16:06:36 -0800236 << ") in " << PrettyMethod(this);
237 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800238 return DexFile::kDexNoIndex;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800239}
240
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000241uintptr_t ArtMethod::ToNativeQuickPc(const uint32_t dex_pc, bool abort_on_failure) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800242 const void* entry_point = GetQuickOatEntryPoint(sizeof(void*));
243 MappingTable table(entry_point != nullptr ?
244 GetMappingTable(EntryPointToCodePointer(entry_point), sizeof(void*)) : nullptr);
Ian Rogers1809a722013-08-09 22:05:32 -0700245 if (table.TotalSize() == 0) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800246 DCHECK_EQ(dex_pc, 0U);
247 return 0; // Special no mapping/pc == 0 case
248 }
Ian Rogers1809a722013-08-09 22:05:32 -0700249 // Assume the caller wants a dex-to-pc mapping so check here first.
250 typedef MappingTable::DexToPcIterator It;
251 for (It cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
252 if (cur.DexPc() == dex_pc) {
Vladimir Marko4c1c5102014-05-14 16:51:16 +0100253 return reinterpret_cast<uintptr_t>(entry_point) + cur.NativePcOffset();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800254 }
255 }
Ian Rogers1809a722013-08-09 22:05:32 -0700256 // Now check pc-to-dex mappings.
257 typedef MappingTable::PcToDexIterator It2;
258 for (It2 cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
259 if (cur.DexPc() == dex_pc) {
Vladimir Marko4c1c5102014-05-14 16:51:16 +0100260 return reinterpret_cast<uintptr_t>(entry_point) + cur.NativePcOffset();
Ian Rogers1809a722013-08-09 22:05:32 -0700261 }
262 }
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000263 if (abort_on_failure) {
264 LOG(FATAL) << "Failed to find native offset for dex pc 0x" << std::hex << dex_pc
265 << " in " << PrettyMethod(this);
266 }
267 return UINTPTR_MAX;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800268}
269
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700270uint32_t ArtMethod::FindCatchBlock(Handle<ArtMethod> h_this, Handle<Class> exception_type,
271 uint32_t dex_pc, bool* has_no_move_exception) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700272 const DexFile::CodeItem* code_item = h_this->GetCodeItem();
Jeff Haoaa961912014-04-22 13:54:32 -0700273 // Set aside the exception while we resolve its type.
274 Thread* self = Thread::Current();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700275 StackHandleScope<1> hs(self);
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000276 Handle<mirror::Throwable> exception(hs.NewHandle(self->GetException()));
Jeff Haoaa961912014-04-22 13:54:32 -0700277 self->ClearException();
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700278 // Default to handler not found.
279 uint32_t found_dex_pc = DexFile::kDexNoIndex;
280 // Iterate over the catch handlers associated with dex_pc.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800281 for (CatchHandlerIterator it(*code_item, dex_pc); it.HasNext(); it.Next()) {
282 uint16_t iter_type_idx = it.GetHandlerTypeIndex();
283 // Catch all case
284 if (iter_type_idx == DexFile::kDexNoIndex16) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700285 found_dex_pc = it.GetHandlerAddress();
286 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800287 }
288 // Does this catch exception type apply?
Ian Rogersa0485602014-12-02 15:48:04 -0800289 Class* iter_exception_type = h_this->GetClassFromTypeIndex(iter_type_idx, true);
Ian Rogers822266b2014-05-29 16:55:06 -0700290 if (UNLIKELY(iter_exception_type == nullptr)) {
291 // Now have a NoClassDefFoundError as exception. Ignore in case the exception class was
292 // removed by a pro-guard like tool.
Andreas Gampe72b3e432014-05-13 21:42:05 -0700293 // Note: this is not RI behavior. RI would have failed when loading the class.
Ian Rogers822266b2014-05-29 16:55:06 -0700294 self->ClearException();
295 // Delete any long jump context as this routine is called during a stack walk which will
296 // release its in use context at the end.
297 delete self->GetLongJumpContext();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800298 LOG(WARNING) << "Unresolved exception class when finding catch block: "
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700299 << DescriptorToDot(h_this->GetTypeDescriptorFromTypeIdx(iter_type_idx));
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700300 } else if (iter_exception_type->IsAssignableFrom(exception_type.Get())) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700301 found_dex_pc = it.GetHandlerAddress();
302 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800303 }
304 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700305 if (found_dex_pc != DexFile::kDexNoIndex) {
306 const Instruction* first_catch_instr =
Jeff Haoaa961912014-04-22 13:54:32 -0700307 Instruction::At(&code_item->insns_[found_dex_pc]);
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700308 *has_no_move_exception = (first_catch_instr->Opcode() != Instruction::MOVE_EXCEPTION);
309 }
Jeff Haoaa961912014-04-22 13:54:32 -0700310 // Put the exception back.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700311 if (exception.Get() != nullptr) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000312 self->SetException(exception.Get());
Jeff Haoaa961912014-04-22 13:54:32 -0700313 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700314 return found_dex_pc;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800315}
316
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700317void ArtMethod::AssertPcIsWithinQuickCode(uintptr_t pc) {
318 if (IsNative() || IsRuntimeMethod() || IsProxyMethod()) {
319 return;
320 }
321 if (pc == reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc())) {
322 return;
323 }
324 const void* code = GetEntryPointFromQuickCompiledCode();
325 if (code == GetQuickInstrumentationEntryPoint()) {
326 return;
327 }
328 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
329 if (class_linker->IsQuickToInterpreterBridge(code) ||
330 class_linker->IsQuickResolutionStub(code)) {
331 return;
332 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800333 // If we are the JIT then we may have just compiled the method after the
334 // IsQuickToInterpreterBridge check.
335 jit::Jit* const jit = Runtime::Current()->GetJit();
336 if (jit != nullptr &&
337 jit->GetCodeCache()->ContainsCodePtr(reinterpret_cast<const void*>(code))) {
338 return;
339 }
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700340 /*
341 * During a stack walk, a return PC may point past-the-end of the code
342 * in the case that the last instruction is a call that isn't expected to
343 * return. Thus, we check <= code + GetCodeSize().
344 *
345 * NOTE: For Thumb both pc and code are offset by 1 indicating the Thumb state.
346 */
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800347 CHECK(PcIsWithinQuickCode(reinterpret_cast<uintptr_t>(code), pc))
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700348 << PrettyMethod(this)
349 << " pc=" << std::hex << pc
350 << " code=" << code
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800351 << " size=" << GetCodeSize(
352 EntryPointToCodePointer(reinterpret_cast<const void*>(code)));
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700353}
354
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700355bool ArtMethod::IsEntrypointInterpreter() {
356 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Elliott Hughes956af0f2014-12-11 14:34:28 -0800357 const void* oat_quick_code = class_linker->GetOatMethodQuickCodeFor(this);
358 return oat_quick_code == nullptr || oat_quick_code != GetEntryPointFromQuickCompiledCode();
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700359}
360
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800361const void* ArtMethod::GetQuickOatEntryPoint(size_t pointer_size) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800362 if (IsAbstract() || IsRuntimeMethod() || IsProxyMethod()) {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700363 return nullptr;
364 }
365 Runtime* runtime = Runtime::Current();
366 ClassLinker* class_linker = runtime->GetClassLinker();
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800367 const void* code = runtime->GetInstrumentation()->GetQuickCodeFor(this, pointer_size);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700368 // On failure, instead of null we get the quick-generic-jni-trampoline for native method
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700369 // indicating the generic JNI, or the quick-to-interpreter-bridge (but not the trampoline)
370 // for non-native methods.
371 if (class_linker->IsQuickToInterpreterBridge(code) ||
372 class_linker->IsQuickGenericJniStub(code)) {
373 return nullptr;
374 }
375 return code;
376}
377
378#ifndef NDEBUG
379uintptr_t ArtMethod::NativeQuickPcOffset(const uintptr_t pc, const void* quick_entry_point) {
380 CHECK_NE(quick_entry_point, GetQuickToInterpreterBridge());
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800381 CHECK_EQ(quick_entry_point, Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this, sizeof(void*)));
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700382 return pc - reinterpret_cast<uintptr_t>(quick_entry_point);
383}
384#endif
385
Brian Carlstromea46f952013-07-30 01:26:50 -0700386void ArtMethod::Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result,
Ian Rogers0177e532014-02-11 16:30:46 -0800387 const char* shorty) {
Dave Allison648d7112014-07-25 16:15:27 -0700388 if (UNLIKELY(__builtin_frame_address(0) < self->GetStackEnd())) {
389 ThrowStackOverflowError(self);
390 return;
391 }
392
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800393 if (kIsDebugBuild) {
394 self->AssertThreadSuspensionIsAllowable();
395 CHECK_EQ(kRunnable, self->GetState());
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700396 CHECK_STREQ(GetShorty(), shorty);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800397 }
398
399 // Push a transition back into managed code onto the linked list in thread.
400 ManagedStack fragment;
401 self->PushManagedStackFragment(&fragment);
402
Ian Rogers62d6c772013-02-27 08:32:07 -0800403 Runtime* runtime = Runtime::Current();
Jeff Hao74180ca2013-03-27 15:29:11 -0700404 // Call the invoke stub, passing everything as arguments.
Daniel Mihalyieb076692014-08-22 17:33:31 +0200405 // If the runtime is not yet started or it is required by the debugger, then perform the
406 // Invocation by the interpreter.
407 if (UNLIKELY(!runtime->IsStarted() || Dbg::IsForcedInterpreterNeededForCalling(self, this))) {
Ian Rogers5d27faf2014-05-02 17:17:18 -0700408 if (IsStatic()) {
409 art::interpreter::EnterInterpreterFromInvoke(self, this, nullptr, args, result);
410 } else {
411 Object* receiver = reinterpret_cast<StackReference<Object>*>(&args[0])->AsMirrorPtr();
412 art::interpreter::EnterInterpreterFromInvoke(self, this, receiver, args + 1, result);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800413 }
414 } else {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800415 const bool kLogInvocationStartAndReturn = false;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800416 bool have_quick_code = GetEntryPointFromQuickCompiledCode() != nullptr;
Elliott Hughes956af0f2014-12-11 14:34:28 -0800417 if (LIKELY(have_quick_code)) {
Jeff Hao790ad902013-05-22 15:02:08 -0700418 if (kLogInvocationStartAndReturn) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800419 LOG(INFO) << StringPrintf("Invoking '%s' quick code=%p", PrettyMethod(this).c_str(),
420 GetEntryPointFromQuickCompiledCode());
Jeff Hao790ad902013-05-22 15:02:08 -0700421 }
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700422
Elliott Hughes956af0f2014-12-11 14:34:28 -0800423 // Ensure that we won't be accidentally calling quick compiled code when -Xint.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800424 if (kIsDebugBuild && runtime->GetInstrumentation()->IsForcedInterpretOnly()) {
425 DCHECK(!runtime->UseJit());
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700426 CHECK(IsEntrypointInterpreter())
427 << "Don't call compiled code when -Xint " << PrettyMethod(this);
428 }
429
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000430#if defined(__LP64__) || defined(__arm__) || defined(__i386__)
Elliott Hughes956af0f2014-12-11 14:34:28 -0800431 if (!IsStatic()) {
Ian Rogers0177e532014-02-11 16:30:46 -0800432 (*art_quick_invoke_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800433 } else {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800434 (*art_quick_invoke_static_stub)(this, args, args_size, self, result, shorty);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800435 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800436#else
437 (*art_quick_invoke_stub)(this, args, args_size, self, result, shorty);
438#endif
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000439 if (UNLIKELY(self->GetException() == Thread::GetDeoptimizationException())) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200440 // Unusual case where we were running generated code and an
Jeff Hao790ad902013-05-22 15:02:08 -0700441 // exception was thrown to force the activations to be removed from the
442 // stack. Continue execution in the interpreter.
443 self->ClearException();
444 ShadowFrame* shadow_frame = self->GetAndClearDeoptimizationShadowFrame(result);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700445 self->SetTopOfStack(nullptr);
Jeff Hao790ad902013-05-22 15:02:08 -0700446 self->SetTopOfShadowStack(shadow_frame);
447 interpreter::EnterInterpreterFromDeoptimize(self, shadow_frame, result);
448 }
449 if (kLogInvocationStartAndReturn) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800450 LOG(INFO) << StringPrintf("Returned '%s' quick code=%p", PrettyMethod(this).c_str(),
451 GetEntryPointFromQuickCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800452 }
453 } else {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800454 LOG(INFO) << "Not invoking '" << PrettyMethod(this) << "' code=null";
Ian Rogersf2247512014-12-02 16:17:08 -0800455 if (result != nullptr) {
Jeff Hao5d917302013-02-27 17:57:33 -0800456 result->SetJ(0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800457 }
458 }
459 }
460
461 // Pop transition.
462 self->PopManagedStackFragment(fragment);
463}
464
Ian Rogers1a102182014-12-02 17:49:19 -0800465// Counts the number of references in the parameter list of the corresponding method.
466// Note: Thus does _not_ include "this" for non-static methods.
467static uint32_t GetNumberOfReferenceArgsWithoutReceiver(ArtMethod* method)
468 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
469 uint32_t shorty_len;
470 const char* shorty = method->GetShorty(&shorty_len);
471 uint32_t refs = 0;
472 for (uint32_t i = 1; i < shorty_len ; ++i) {
473 if (shorty[i] == 'L') {
474 refs++;
475 }
476 }
477 return refs;
478}
479
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700480QuickMethodFrameInfo ArtMethod::GetQuickFrameInfo() {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700481 Runtime* runtime = Runtime::Current();
Daniel Mihalyie14f2b32014-10-10 18:24:11 +0200482
483 if (UNLIKELY(IsAbstract())) {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700484 return runtime->GetCalleeSaveMethodFrameInfo(Runtime::kRefsAndArgs);
485 }
Daniel Mihalyie14f2b32014-10-10 18:24:11 +0200486
487 // For Proxy method we add special handling for the direct method case (there is only one
488 // direct method - constructor). Direct method is cloned from original
489 // java.lang.reflect.Proxy class together with code and as a result it is executed as usual
490 // quick compiled method without any stubs. So the frame info should be returned as it is a
491 // quick method not a stub. However, if instrumentation stubs are installed, the
492 // instrumentation->GetQuickCodeFor() returns the artQuickProxyInvokeHandler instead of an
493 // oat code pointer, thus we have to add a special case here.
494 if (UNLIKELY(IsProxyMethod())) {
495 if (IsDirect()) {
496 CHECK(IsConstructor());
497 return GetQuickFrameInfo(EntryPointToCodePointer(GetEntryPointFromQuickCompiledCode()));
498 } else {
499 return runtime->GetCalleeSaveMethodFrameInfo(Runtime::kRefsAndArgs);
500 }
501 }
502
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700503 if (UNLIKELY(IsRuntimeMethod())) {
504 return runtime->GetRuntimeMethodFrameInfo(this);
505 }
506
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800507 const void* entry_point = runtime->GetInstrumentation()->GetQuickCodeFor(this, sizeof(void*));
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700508 ClassLinker* class_linker = runtime->GetClassLinker();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700509 // On failure, instead of null we get the quick-generic-jni-trampoline for native method
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700510 // indicating the generic JNI, or the quick-to-interpreter-bridge (but not the trampoline)
511 // for non-native methods. And we really shouldn't see a failure for non-native methods here.
512 DCHECK(!class_linker->IsQuickToInterpreterBridge(entry_point));
513
514 if (class_linker->IsQuickGenericJniStub(entry_point)) {
515 // Generic JNI frame.
516 DCHECK(IsNative());
Ian Rogers1a102182014-12-02 17:49:19 -0800517 uint32_t handle_refs = GetNumberOfReferenceArgsWithoutReceiver(this) + 1;
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700518 size_t scope_size = HandleScope::SizeOf(handle_refs);
519 QuickMethodFrameInfo callee_info = runtime->GetCalleeSaveMethodFrameInfo(Runtime::kRefsAndArgs);
520
521 // Callee saves + handle scope + method ref + alignment
522 size_t frame_size = RoundUp(callee_info.FrameSizeInBytes() + scope_size
523 - sizeof(void*) // callee-save frame stores a whole method pointer
524 + sizeof(StackReference<mirror::ArtMethod>),
525 kStackAlignment);
526
527 return QuickMethodFrameInfo(frame_size, callee_info.CoreSpillMask(), callee_info.FpSpillMask());
528 }
529
530 const void* code_pointer = EntryPointToCodePointer(entry_point);
531 return GetQuickFrameInfo(code_pointer);
532}
533
534void ArtMethod::RegisterNative(const void* native_method, bool is_fast) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800535 CHECK(IsNative()) << PrettyMethod(this);
Ian Rogers1eb512d2013-10-18 15:42:20 -0700536 CHECK(!IsFastNative()) << PrettyMethod(this);
Ian Rogersf2247512014-12-02 16:17:08 -0800537 CHECK(native_method != nullptr) << PrettyMethod(this);
Ian Rogers987560f2014-04-22 11:42:59 -0700538 if (is_fast) {
539 SetAccessFlags(GetAccessFlags() | kAccFastNative);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800540 }
Mathieu Chartier2d721012014-11-10 11:08:06 -0800541 SetEntryPointFromJni(native_method);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800542}
543
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700544void ArtMethod::UnregisterNative() {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700545 CHECK(IsNative() && !IsFastNative()) << PrettyMethod(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800546 // restore stub to lookup native pointer via dlsym
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700547 RegisterNative(GetJniDlsymLookupStub(), false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800548}
549
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700550bool ArtMethod::EqualParameters(Handle<mirror::ObjectArray<mirror::Class>> params) {
551 auto* dex_cache = GetDexCache();
552 auto* dex_file = dex_cache->GetDexFile();
553 const auto& method_id = dex_file->GetMethodId(GetDexMethodIndex());
554 const auto& proto_id = dex_file->GetMethodPrototype(method_id);
555 const DexFile::TypeList* proto_params = dex_file->GetProtoParameters(proto_id);
556 auto count = proto_params != nullptr ? proto_params->Size() : 0u;
557 auto param_len = params.Get() != nullptr ? params->GetLength() : 0u;
558 if (param_len != count) {
559 return false;
560 }
561 auto* cl = Runtime::Current()->GetClassLinker();
562 for (size_t i = 0; i < count; ++i) {
563 auto type_idx = proto_params->GetTypeItem(i).type_idx_;
564 auto* type = cl->ResolveType(type_idx, this);
565 if (type == nullptr) {
566 Thread::Current()->AssertPendingException();
567 return false;
568 }
569 if (type != params->GetWithoutChecks(i)) {
570 return false;
571 }
572 }
573 return true;
574}
575
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800576} // namespace mirror
577} // namespace art