blob: a4f6b3b460e9ad4d7b66df74772baa9ef70f4351 [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
Brian Carlstromea46f952013-07-30 01:26:50 -070019#include "art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080020#include "base/stringpiece.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070021#include "class-inl.h"
22#include "dex_file-inl.h"
Ian Rogersc449aa82013-07-29 14:35:46 -070023#include "dex_instruction.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070024#include "gc/accounting/card_table-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "interpreter/interpreter.h"
26#include "jni_internal.h"
Ian Rogers1809a722013-08-09 22:05:32 -070027#include "mapping_table.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028#include "object-inl.h"
29#include "object_array.h"
30#include "object_array-inl.h"
31#include "string.h"
32#include "object_utils.h"
33
34namespace art {
35namespace mirror {
36
Brian Carlstromea46f952013-07-30 01:26:50 -070037extern "C" void art_portable_invoke_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*, char);
38extern "C" void art_quick_invoke_stub(ArtMethod*, uint32_t*, uint32_t, Thread*, JValue*, char);
Jeff Hao5d917302013-02-27 17:57:33 -080039
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080040// TODO: get global references for these
Brian Carlstromea46f952013-07-30 01:26:50 -070041Class* ArtMethod::java_lang_reflect_ArtMethod_ = NULL;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080042
Mathieu Chartierc528dba2013-11-26 12:00:11 -080043void ArtMethod::VisitRoots(RootVisitor* visitor, void* arg) {
44 if (java_lang_reflect_ArtMethod_ != nullptr) {
45 java_lang_reflect_ArtMethod_ = down_cast<mirror::Class*>(
46 visitor(java_lang_reflect_ArtMethod_, arg));
47 }
48}
49
Brian Carlstromea46f952013-07-30 01:26:50 -070050InvokeType ArtMethod::GetInvokeType() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080051 // TODO: kSuper?
52 if (GetDeclaringClass()->IsInterface()) {
53 return kInterface;
54 } else if (IsStatic()) {
55 return kStatic;
56 } else if (IsDirect()) {
57 return kDirect;
58 } else {
59 return kVirtual;
60 }
61}
62
Brian Carlstromea46f952013-07-30 01:26:50 -070063void ArtMethod::SetClass(Class* java_lang_reflect_ArtMethod) {
64 CHECK(java_lang_reflect_ArtMethod_ == NULL);
65 CHECK(java_lang_reflect_ArtMethod != NULL);
66 java_lang_reflect_ArtMethod_ = java_lang_reflect_ArtMethod;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080067}
68
Brian Carlstromea46f952013-07-30 01:26:50 -070069void ArtMethod::ResetClass() {
70 CHECK(java_lang_reflect_ArtMethod_ != NULL);
71 java_lang_reflect_ArtMethod_ = NULL;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080072}
73
Brian Carlstromea46f952013-07-30 01:26:50 -070074void ArtMethod::SetDexCacheStrings(ObjectArray<String>* new_dex_cache_strings) {
75 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_strings_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080076 new_dex_cache_strings, false);
77}
78
Brian Carlstromea46f952013-07-30 01:26:50 -070079void ArtMethod::SetDexCacheResolvedMethods(ObjectArray<ArtMethod>* new_dex_cache_methods) {
80 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_resolved_methods_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080081 new_dex_cache_methods, false);
82}
83
Brian Carlstromea46f952013-07-30 01:26:50 -070084void ArtMethod::SetDexCacheResolvedTypes(ObjectArray<Class>* new_dex_cache_classes) {
85 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_resolved_types_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080086 new_dex_cache_classes, false);
87}
88
Brian Carlstromea46f952013-07-30 01:26:50 -070089void ArtMethod::SetDexCacheInitializedStaticStorage(ObjectArray<StaticStorageBase>* new_value) {
90 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_initialized_static_storage_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080091 new_value, false);
92}
93
Brian Carlstromea46f952013-07-30 01:26:50 -070094size_t ArtMethod::NumArgRegisters(const StringPiece& shorty) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080095 CHECK_LE(1, shorty.length());
96 uint32_t num_registers = 0;
97 for (int i = 1; i < shorty.length(); ++i) {
98 char ch = shorty[i];
99 if (ch == 'D' || ch == 'J') {
100 num_registers += 2;
101 } else {
102 num_registers += 1;
103 }
104 }
105 return num_registers;
106}
107
Brian Carlstromea46f952013-07-30 01:26:50 -0700108bool ArtMethod::IsProxyMethod() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800109 return GetDeclaringClass()->IsProxyClass();
110}
111
Brian Carlstromea46f952013-07-30 01:26:50 -0700112ArtMethod* ArtMethod::FindOverriddenMethod() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800113 if (IsStatic()) {
114 return NULL;
115 }
116 Class* declaring_class = GetDeclaringClass();
117 Class* super_class = declaring_class->GetSuperClass();
118 uint16_t method_index = GetMethodIndex();
Brian Carlstromea46f952013-07-30 01:26:50 -0700119 ObjectArray<ArtMethod>* super_class_vtable = super_class->GetVTable();
120 ArtMethod* result = NULL;
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
123 if (super_class_vtable != NULL && method_index < super_class_vtable->GetLength()) {
124 result = super_class_vtable->Get(method_index);
125 } else {
126 // Method didn't override superclass method so search interfaces
127 if (IsProxyMethod()) {
128 result = GetDexCacheResolvedMethods()->Get(GetDexMethodIndex());
129 CHECK_EQ(result,
130 Runtime::Current()->GetClassLinker()->FindMethodForProxy(GetDeclaringClass(), this));
131 } else {
132 MethodHelper mh(this);
133 MethodHelper interface_mh;
134 IfTable* iftable = GetDeclaringClass()->GetIfTable();
135 for (size_t i = 0; i < iftable->Count() && result == NULL; i++) {
136 Class* interface = iftable->GetInterface(i);
137 for (size_t j = 0; j < interface->NumVirtualMethods(); ++j) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700138 ArtMethod* interface_method = interface->GetVirtualMethod(j);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800139 interface_mh.ChangeMethod(interface_method);
140 if (mh.HasSameNameAndSignature(&interface_mh)) {
141 result = interface_method;
142 break;
143 }
144 }
145 }
146 }
147 }
148#ifndef NDEBUG
149 MethodHelper result_mh(result);
150 DCHECK(result == NULL || MethodHelper(this).HasSameNameAndSignature(&result_mh));
151#endif
152 return result;
153}
154
Brian Carlstromea46f952013-07-30 01:26:50 -0700155uintptr_t ArtMethod::NativePcOffset(const uintptr_t pc) const {
Ian Rogers62d6c772013-02-27 08:32:07 -0800156 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
157 return pc - reinterpret_cast<uintptr_t>(code);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800158}
159
Brian Carlstromea46f952013-07-30 01:26:50 -0700160uint32_t ArtMethod::ToDexPc(const uintptr_t pc) const {
Ian Rogersc928de92013-02-27 14:30:44 -0800161#if !defined(ART_USE_PORTABLE_COMPILER)
Ian Rogers1809a722013-08-09 22:05:32 -0700162 MappingTable table(GetMappingTable());
163 if (table.TotalSize() == 0) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800164 DCHECK(IsNative() || IsCalleeSaveMethod() || IsProxyMethod()) << PrettyMethod(this);
165 return DexFile::kDexNoIndex; // Special no mapping case
166 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800167 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
168 uint32_t sought_offset = pc - reinterpret_cast<uintptr_t>(code);
Ian Rogers1809a722013-08-09 22:05:32 -0700169 // Assume the caller wants a pc-to-dex mapping so check here first.
170 typedef MappingTable::PcToDexIterator It;
171 for (It cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
172 if (cur.NativePcOffset() == sought_offset) {
173 return cur.DexPc();
174 }
175 }
176 // Now check dex-to-pc mappings.
177 typedef MappingTable::DexToPcIterator It2;
178 for (It2 cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
179 if (cur.NativePcOffset() == sought_offset) {
180 return cur.DexPc();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800181 }
182 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800183 LOG(FATAL) << "Failed to find Dex offset for PC offset " << reinterpret_cast<void*>(sought_offset)
184 << "(PC " << reinterpret_cast<void*>(pc) << ", code=" << code
185 << ") in " << PrettyMethod(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800186 return DexFile::kDexNoIndex;
187#else
188 // Compiler LLVM doesn't use the machine pc, we just use dex pc instead.
189 return static_cast<uint32_t>(pc);
190#endif
191}
192
Brian Carlstromea46f952013-07-30 01:26:50 -0700193uintptr_t ArtMethod::ToNativePc(const uint32_t dex_pc) const {
Ian Rogers1809a722013-08-09 22:05:32 -0700194 MappingTable table(GetMappingTable());
195 if (table.TotalSize() == 0) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800196 DCHECK_EQ(dex_pc, 0U);
197 return 0; // Special no mapping/pc == 0 case
198 }
Ian Rogers1809a722013-08-09 22:05:32 -0700199 // Assume the caller wants a dex-to-pc mapping so check here first.
200 typedef MappingTable::DexToPcIterator It;
201 for (It cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
202 if (cur.DexPc() == dex_pc) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800203 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
Ian Rogers1809a722013-08-09 22:05:32 -0700204 return reinterpret_cast<uintptr_t>(code) + cur.NativePcOffset();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800205 }
206 }
Ian Rogers1809a722013-08-09 22:05:32 -0700207 // Now check pc-to-dex mappings.
208 typedef MappingTable::PcToDexIterator It2;
209 for (It2 cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
210 if (cur.DexPc() == dex_pc) {
211 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
212 return reinterpret_cast<uintptr_t>(code) + cur.NativePcOffset();
213 }
214 }
215 LOG(FATAL) << "Failed to find native offset for dex pc 0x" << std::hex << dex_pc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800216 << " in " << PrettyMethod(this);
217 return 0;
218}
219
Brian Carlstromea46f952013-07-30 01:26:50 -0700220uint32_t ArtMethod::FindCatchBlock(Class* exception_type, uint32_t dex_pc,
221 bool* has_no_move_exception) const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800222 MethodHelper mh(this);
223 const DexFile::CodeItem* code_item = mh.GetCodeItem();
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700224 // Default to handler not found.
225 uint32_t found_dex_pc = DexFile::kDexNoIndex;
226 // Iterate over the catch handlers associated with dex_pc.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800227 for (CatchHandlerIterator it(*code_item, dex_pc); it.HasNext(); it.Next()) {
228 uint16_t iter_type_idx = it.GetHandlerTypeIndex();
229 // Catch all case
230 if (iter_type_idx == DexFile::kDexNoIndex16) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700231 found_dex_pc = it.GetHandlerAddress();
232 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800233 }
234 // Does this catch exception type apply?
235 Class* iter_exception_type = mh.GetDexCacheResolvedType(iter_type_idx);
236 if (iter_exception_type == NULL) {
237 // The verifier should take care of resolving all exception classes early
238 LOG(WARNING) << "Unresolved exception class when finding catch block: "
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700239 << mh.GetTypeDescriptorFromTypeIdx(iter_type_idx);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800240 } else if (iter_exception_type->IsAssignableFrom(exception_type)) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700241 found_dex_pc = it.GetHandlerAddress();
242 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800243 }
244 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700245 if (found_dex_pc != DexFile::kDexNoIndex) {
246 const Instruction* first_catch_instr =
247 Instruction::At(&mh.GetCodeItem()->insns_[found_dex_pc]);
248 *has_no_move_exception = (first_catch_instr->Opcode() != Instruction::MOVE_EXCEPTION);
249 }
250 return found_dex_pc;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800251}
252
Brian Carlstromea46f952013-07-30 01:26:50 -0700253void ArtMethod::Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result,
254 char result_type) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800255 if (kIsDebugBuild) {
256 self->AssertThreadSuspensionIsAllowable();
257 CHECK_EQ(kRunnable, self->GetState());
258 }
259
260 // Push a transition back into managed code onto the linked list in thread.
261 ManagedStack fragment;
262 self->PushManagedStackFragment(&fragment);
263
Ian Rogers62d6c772013-02-27 08:32:07 -0800264 Runtime* runtime = Runtime::Current();
Jeff Hao74180ca2013-03-27 15:29:11 -0700265 // Call the invoke stub, passing everything as arguments.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700266 if (UNLIKELY(!runtime->IsStarted())) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800267 LOG(INFO) << "Not invoking " << PrettyMethod(this) << " for a runtime that isn't started";
268 if (result != NULL) {
269 result->SetJ(0);
270 }
271 } else {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800272 const bool kLogInvocationStartAndReturn = false;
Jeff Haoaa4a7932013-05-13 11:28:27 -0700273 if (GetEntryPointFromCompiledCode() != NULL) {
Jeff Hao790ad902013-05-22 15:02:08 -0700274 if (kLogInvocationStartAndReturn) {
275 LOG(INFO) << StringPrintf("Invoking '%s' code=%p", PrettyMethod(this).c_str(), GetEntryPointFromCompiledCode());
276 }
Jeff Hao5d917302013-02-27 17:57:33 -0800277#ifdef ART_USE_PORTABLE_COMPILER
Jeff Hao790ad902013-05-22 15:02:08 -0700278 (*art_portable_invoke_stub)(this, args, args_size, self, result, result_type);
Jeff Hao5d917302013-02-27 17:57:33 -0800279#else
Jeff Hao790ad902013-05-22 15:02:08 -0700280 (*art_quick_invoke_stub)(this, args, args_size, self, result, result_type);
Jeff Hao5d917302013-02-27 17:57:33 -0800281#endif
Jeff Hao790ad902013-05-22 15:02:08 -0700282 if (UNLIKELY(reinterpret_cast<int32_t>(self->GetException(NULL)) == -1)) {
283 // Unusual case where we were running LLVM generated code and an
284 // exception was thrown to force the activations to be removed from the
285 // stack. Continue execution in the interpreter.
286 self->ClearException();
287 ShadowFrame* shadow_frame = self->GetAndClearDeoptimizationShadowFrame(result);
288 self->SetTopOfStack(NULL, 0);
289 self->SetTopOfShadowStack(shadow_frame);
290 interpreter::EnterInterpreterFromDeoptimize(self, shadow_frame, result);
291 }
292 if (kLogInvocationStartAndReturn) {
293 LOG(INFO) << StringPrintf("Returned '%s' code=%p", PrettyMethod(this).c_str(), GetEntryPointFromCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800294 }
295 } else {
296 LOG(INFO) << "Not invoking '" << PrettyMethod(this)
Jeff Haoaa4a7932013-05-13 11:28:27 -0700297 << "' code=" << reinterpret_cast<const void*>(GetEntryPointFromCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800298 if (result != NULL) {
299 result->SetJ(0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800300 }
301 }
302 }
303
304 // Pop transition.
305 self->PopManagedStackFragment(fragment);
306}
307
Brian Carlstromea46f952013-07-30 01:26:50 -0700308bool ArtMethod::IsRegistered() const {
309 void* native_method = GetFieldPtr<void*>(OFFSET_OF_OBJECT_MEMBER(ArtMethod, native_method_), false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800310 CHECK(native_method != NULL);
Jeff Hao79fe5392013-04-24 18:41:58 -0700311 void* jni_stub = GetJniDlsymLookupStub();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800312 return native_method != jni_stub;
313}
314
Ian Rogers848871b2013-08-05 10:56:33 -0700315extern "C" void art_work_around_app_jni_bugs(JNIEnv*, jobject);
Ian Rogers1eb512d2013-10-18 15:42:20 -0700316void ArtMethod::RegisterNative(Thread* self, const void* native_method, bool is_fast) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800317 DCHECK(Thread::Current() == self);
318 CHECK(IsNative()) << PrettyMethod(this);
Ian Rogers1eb512d2013-10-18 15:42:20 -0700319 CHECK(!IsFastNative()) << PrettyMethod(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800320 CHECK(native_method != NULL) << PrettyMethod(this);
321 if (!self->GetJniEnv()->vm->work_around_app_jni_bugs) {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700322 if (is_fast) {
323 SetAccessFlags(GetAccessFlags() | kAccFastNative);
324 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800325 SetNativeMethod(native_method);
326 } else {
327 // We've been asked to associate this method with the given native method but are working
328 // around JNI bugs, that include not giving Object** SIRT references to native methods. Direct
329 // the native method to runtime support and store the target somewhere runtime support will
330 // find it.
Ian Rogers848871b2013-08-05 10:56:33 -0700331#if defined(__i386__)
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800332 UNIMPLEMENTED(FATAL);
Ian Rogers848871b2013-08-05 10:56:33 -0700333#else
334 SetNativeMethod(reinterpret_cast<void*>(art_work_around_app_jni_bugs));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800335#endif
Brian Carlstromea46f952013-07-30 01:26:50 -0700336 SetFieldPtr<const uint8_t*>(OFFSET_OF_OBJECT_MEMBER(ArtMethod, gc_map_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800337 reinterpret_cast<const uint8_t*>(native_method), false);
338 }
339}
340
Brian Carlstromea46f952013-07-30 01:26:50 -0700341void ArtMethod::UnregisterNative(Thread* self) {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700342 CHECK(IsNative() && !IsFastNative()) << PrettyMethod(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800343 // restore stub to lookup native pointer via dlsym
Ian Rogers1eb512d2013-10-18 15:42:20 -0700344 RegisterNative(self, GetJniDlsymLookupStub(), false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800345}
346
Brian Carlstromea46f952013-07-30 01:26:50 -0700347void ArtMethod::SetNativeMethod(const void* native_method) {
348 SetFieldPtr<const void*>(OFFSET_OF_OBJECT_MEMBER(ArtMethod, native_method_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800349 native_method, false);
350}
351
352} // namespace mirror
353} // namespace art