blob: cd05f41cc247aee11eae03d260f0796ce9f1d674 [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
Brian Carlstromea46f952013-07-30 01:26:50 -070043InvokeType ArtMethod::GetInvokeType() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080044 // TODO: kSuper?
45 if (GetDeclaringClass()->IsInterface()) {
46 return kInterface;
47 } else if (IsStatic()) {
48 return kStatic;
49 } else if (IsDirect()) {
50 return kDirect;
51 } else {
52 return kVirtual;
53 }
54}
55
Brian Carlstromea46f952013-07-30 01:26:50 -070056void ArtMethod::SetClass(Class* java_lang_reflect_ArtMethod) {
57 CHECK(java_lang_reflect_ArtMethod_ == NULL);
58 CHECK(java_lang_reflect_ArtMethod != NULL);
59 java_lang_reflect_ArtMethod_ = java_lang_reflect_ArtMethod;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080060}
61
Brian Carlstromea46f952013-07-30 01:26:50 -070062void ArtMethod::ResetClass() {
63 CHECK(java_lang_reflect_ArtMethod_ != NULL);
64 java_lang_reflect_ArtMethod_ = NULL;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080065}
66
Brian Carlstromea46f952013-07-30 01:26:50 -070067void ArtMethod::SetDexCacheStrings(ObjectArray<String>* new_dex_cache_strings) {
68 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_strings_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080069 new_dex_cache_strings, false);
70}
71
Brian Carlstromea46f952013-07-30 01:26:50 -070072void ArtMethod::SetDexCacheResolvedMethods(ObjectArray<ArtMethod>* new_dex_cache_methods) {
73 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_resolved_methods_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080074 new_dex_cache_methods, false);
75}
76
Brian Carlstromea46f952013-07-30 01:26:50 -070077void ArtMethod::SetDexCacheResolvedTypes(ObjectArray<Class>* new_dex_cache_classes) {
78 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_resolved_types_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080079 new_dex_cache_classes, false);
80}
81
Brian Carlstromea46f952013-07-30 01:26:50 -070082void ArtMethod::SetDexCacheInitializedStaticStorage(ObjectArray<StaticStorageBase>* new_value) {
83 SetFieldObject(OFFSET_OF_OBJECT_MEMBER(ArtMethod, dex_cache_initialized_static_storage_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080084 new_value, false);
85}
86
Brian Carlstromea46f952013-07-30 01:26:50 -070087size_t ArtMethod::NumArgRegisters(const StringPiece& shorty) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080088 CHECK_LE(1, shorty.length());
89 uint32_t num_registers = 0;
90 for (int i = 1; i < shorty.length(); ++i) {
91 char ch = shorty[i];
92 if (ch == 'D' || ch == 'J') {
93 num_registers += 2;
94 } else {
95 num_registers += 1;
96 }
97 }
98 return num_registers;
99}
100
Brian Carlstromea46f952013-07-30 01:26:50 -0700101bool ArtMethod::IsProxyMethod() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800102 return GetDeclaringClass()->IsProxyClass();
103}
104
Brian Carlstromea46f952013-07-30 01:26:50 -0700105ArtMethod* ArtMethod::FindOverriddenMethod() const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800106 if (IsStatic()) {
107 return NULL;
108 }
109 Class* declaring_class = GetDeclaringClass();
110 Class* super_class = declaring_class->GetSuperClass();
111 uint16_t method_index = GetMethodIndex();
Brian Carlstromea46f952013-07-30 01:26:50 -0700112 ObjectArray<ArtMethod>* super_class_vtable = super_class->GetVTable();
113 ArtMethod* result = NULL;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800114 // Did this method override a super class method? If so load the result from the super class'
115 // vtable
116 if (super_class_vtable != NULL && method_index < super_class_vtable->GetLength()) {
117 result = super_class_vtable->Get(method_index);
118 } else {
119 // Method didn't override superclass method so search interfaces
120 if (IsProxyMethod()) {
121 result = GetDexCacheResolvedMethods()->Get(GetDexMethodIndex());
122 CHECK_EQ(result,
123 Runtime::Current()->GetClassLinker()->FindMethodForProxy(GetDeclaringClass(), this));
124 } else {
125 MethodHelper mh(this);
126 MethodHelper interface_mh;
127 IfTable* iftable = GetDeclaringClass()->GetIfTable();
128 for (size_t i = 0; i < iftable->Count() && result == NULL; i++) {
129 Class* interface = iftable->GetInterface(i);
130 for (size_t j = 0; j < interface->NumVirtualMethods(); ++j) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700131 ArtMethod* interface_method = interface->GetVirtualMethod(j);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800132 interface_mh.ChangeMethod(interface_method);
133 if (mh.HasSameNameAndSignature(&interface_mh)) {
134 result = interface_method;
135 break;
136 }
137 }
138 }
139 }
140 }
141#ifndef NDEBUG
142 MethodHelper result_mh(result);
143 DCHECK(result == NULL || MethodHelper(this).HasSameNameAndSignature(&result_mh));
144#endif
145 return result;
146}
147
Brian Carlstromea46f952013-07-30 01:26:50 -0700148uintptr_t ArtMethod::NativePcOffset(const uintptr_t pc) const {
Ian Rogers62d6c772013-02-27 08:32:07 -0800149 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
150 return pc - reinterpret_cast<uintptr_t>(code);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800151}
152
Brian Carlstromea46f952013-07-30 01:26:50 -0700153uint32_t ArtMethod::ToDexPc(const uintptr_t pc) const {
Ian Rogersc928de92013-02-27 14:30:44 -0800154#if !defined(ART_USE_PORTABLE_COMPILER)
Ian Rogers1809a722013-08-09 22:05:32 -0700155 MappingTable table(GetMappingTable());
156 if (table.TotalSize() == 0) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800157 DCHECK(IsNative() || IsCalleeSaveMethod() || IsProxyMethod()) << PrettyMethod(this);
158 return DexFile::kDexNoIndex; // Special no mapping case
159 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800160 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
161 uint32_t sought_offset = pc - reinterpret_cast<uintptr_t>(code);
Ian Rogers1809a722013-08-09 22:05:32 -0700162 // Assume the caller wants a pc-to-dex mapping so check here first.
163 typedef MappingTable::PcToDexIterator It;
164 for (It cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
165 if (cur.NativePcOffset() == sought_offset) {
166 return cur.DexPc();
167 }
168 }
169 // Now check dex-to-pc mappings.
170 typedef MappingTable::DexToPcIterator It2;
171 for (It2 cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
172 if (cur.NativePcOffset() == sought_offset) {
173 return cur.DexPc();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800174 }
175 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800176 LOG(FATAL) << "Failed to find Dex offset for PC offset " << reinterpret_cast<void*>(sought_offset)
177 << "(PC " << reinterpret_cast<void*>(pc) << ", code=" << code
178 << ") in " << PrettyMethod(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800179 return DexFile::kDexNoIndex;
180#else
181 // Compiler LLVM doesn't use the machine pc, we just use dex pc instead.
182 return static_cast<uint32_t>(pc);
183#endif
184}
185
Brian Carlstromea46f952013-07-30 01:26:50 -0700186uintptr_t ArtMethod::ToNativePc(const uint32_t dex_pc) const {
Ian Rogers1809a722013-08-09 22:05:32 -0700187 MappingTable table(GetMappingTable());
188 if (table.TotalSize() == 0) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800189 DCHECK_EQ(dex_pc, 0U);
190 return 0; // Special no mapping/pc == 0 case
191 }
Ian Rogers1809a722013-08-09 22:05:32 -0700192 // Assume the caller wants a dex-to-pc mapping so check here first.
193 typedef MappingTable::DexToPcIterator It;
194 for (It cur = table.DexToPcBegin(), end = table.DexToPcEnd(); cur != end; ++cur) {
195 if (cur.DexPc() == dex_pc) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800196 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
Ian Rogers1809a722013-08-09 22:05:32 -0700197 return reinterpret_cast<uintptr_t>(code) + cur.NativePcOffset();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800198 }
199 }
Ian Rogers1809a722013-08-09 22:05:32 -0700200 // Now check pc-to-dex mappings.
201 typedef MappingTable::PcToDexIterator It2;
202 for (It2 cur = table.PcToDexBegin(), end = table.PcToDexEnd(); cur != end; ++cur) {
203 if (cur.DexPc() == dex_pc) {
204 const void* code = Runtime::Current()->GetInstrumentation()->GetQuickCodeFor(this);
205 return reinterpret_cast<uintptr_t>(code) + cur.NativePcOffset();
206 }
207 }
208 LOG(FATAL) << "Failed to find native offset for dex pc 0x" << std::hex << dex_pc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800209 << " in " << PrettyMethod(this);
210 return 0;
211}
212
Brian Carlstromea46f952013-07-30 01:26:50 -0700213uint32_t ArtMethod::FindCatchBlock(Class* exception_type, uint32_t dex_pc,
214 bool* has_no_move_exception) const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800215 MethodHelper mh(this);
216 const DexFile::CodeItem* code_item = mh.GetCodeItem();
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700217 // Default to handler not found.
218 uint32_t found_dex_pc = DexFile::kDexNoIndex;
219 // Iterate over the catch handlers associated with dex_pc.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800220 for (CatchHandlerIterator it(*code_item, dex_pc); it.HasNext(); it.Next()) {
221 uint16_t iter_type_idx = it.GetHandlerTypeIndex();
222 // Catch all case
223 if (iter_type_idx == DexFile::kDexNoIndex16) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700224 found_dex_pc = it.GetHandlerAddress();
225 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800226 }
227 // Does this catch exception type apply?
228 Class* iter_exception_type = mh.GetDexCacheResolvedType(iter_type_idx);
229 if (iter_exception_type == NULL) {
230 // The verifier should take care of resolving all exception classes early
231 LOG(WARNING) << "Unresolved exception class when finding catch block: "
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700232 << mh.GetTypeDescriptorFromTypeIdx(iter_type_idx);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800233 } else if (iter_exception_type->IsAssignableFrom(exception_type)) {
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700234 found_dex_pc = it.GetHandlerAddress();
235 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800236 }
237 }
Ian Rogers9e8f45e2013-07-31 10:58:53 -0700238 if (found_dex_pc != DexFile::kDexNoIndex) {
239 const Instruction* first_catch_instr =
240 Instruction::At(&mh.GetCodeItem()->insns_[found_dex_pc]);
241 *has_no_move_exception = (first_catch_instr->Opcode() != Instruction::MOVE_EXCEPTION);
242 }
243 return found_dex_pc;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800244}
245
Brian Carlstromea46f952013-07-30 01:26:50 -0700246void ArtMethod::Invoke(Thread* self, uint32_t* args, uint32_t args_size, JValue* result,
247 char result_type) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800248 if (kIsDebugBuild) {
249 self->AssertThreadSuspensionIsAllowable();
250 CHECK_EQ(kRunnable, self->GetState());
251 }
252
253 // Push a transition back into managed code onto the linked list in thread.
254 ManagedStack fragment;
255 self->PushManagedStackFragment(&fragment);
256
Ian Rogers62d6c772013-02-27 08:32:07 -0800257 Runtime* runtime = Runtime::Current();
Jeff Hao74180ca2013-03-27 15:29:11 -0700258 // Call the invoke stub, passing everything as arguments.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700259 if (UNLIKELY(!runtime->IsStarted())) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800260 LOG(INFO) << "Not invoking " << PrettyMethod(this) << " for a runtime that isn't started";
261 if (result != NULL) {
262 result->SetJ(0);
263 }
264 } else {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800265 const bool kLogInvocationStartAndReturn = false;
Jeff Haoaa4a7932013-05-13 11:28:27 -0700266 if (GetEntryPointFromCompiledCode() != NULL) {
Jeff Hao790ad902013-05-22 15:02:08 -0700267 if (kLogInvocationStartAndReturn) {
268 LOG(INFO) << StringPrintf("Invoking '%s' code=%p", PrettyMethod(this).c_str(), GetEntryPointFromCompiledCode());
269 }
Jeff Hao5d917302013-02-27 17:57:33 -0800270#ifdef ART_USE_PORTABLE_COMPILER
Jeff Hao790ad902013-05-22 15:02:08 -0700271 (*art_portable_invoke_stub)(this, args, args_size, self, result, result_type);
Jeff Hao5d917302013-02-27 17:57:33 -0800272#else
Jeff Hao790ad902013-05-22 15:02:08 -0700273 (*art_quick_invoke_stub)(this, args, args_size, self, result, result_type);
Jeff Hao5d917302013-02-27 17:57:33 -0800274#endif
Jeff Hao790ad902013-05-22 15:02:08 -0700275 if (UNLIKELY(reinterpret_cast<int32_t>(self->GetException(NULL)) == -1)) {
276 // Unusual case where we were running LLVM generated code and an
277 // exception was thrown to force the activations to be removed from the
278 // stack. Continue execution in the interpreter.
279 self->ClearException();
280 ShadowFrame* shadow_frame = self->GetAndClearDeoptimizationShadowFrame(result);
281 self->SetTopOfStack(NULL, 0);
282 self->SetTopOfShadowStack(shadow_frame);
283 interpreter::EnterInterpreterFromDeoptimize(self, shadow_frame, result);
284 }
285 if (kLogInvocationStartAndReturn) {
286 LOG(INFO) << StringPrintf("Returned '%s' code=%p", PrettyMethod(this).c_str(), GetEntryPointFromCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800287 }
288 } else {
289 LOG(INFO) << "Not invoking '" << PrettyMethod(this)
Jeff Haoaa4a7932013-05-13 11:28:27 -0700290 << "' code=" << reinterpret_cast<const void*>(GetEntryPointFromCompiledCode());
Jeff Hao5d917302013-02-27 17:57:33 -0800291 if (result != NULL) {
292 result->SetJ(0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800293 }
294 }
295 }
296
297 // Pop transition.
298 self->PopManagedStackFragment(fragment);
299}
300
Brian Carlstromea46f952013-07-30 01:26:50 -0700301bool ArtMethod::IsRegistered() const {
302 void* native_method = GetFieldPtr<void*>(OFFSET_OF_OBJECT_MEMBER(ArtMethod, native_method_), false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800303 CHECK(native_method != NULL);
Jeff Hao79fe5392013-04-24 18:41:58 -0700304 void* jni_stub = GetJniDlsymLookupStub();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800305 return native_method != jni_stub;
306}
307
Ian Rogers848871b2013-08-05 10:56:33 -0700308extern "C" void art_work_around_app_jni_bugs(JNIEnv*, jobject);
Brian Carlstromea46f952013-07-30 01:26:50 -0700309void ArtMethod::RegisterNative(Thread* self, const void* native_method) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800310 DCHECK(Thread::Current() == self);
311 CHECK(IsNative()) << PrettyMethod(this);
312 CHECK(native_method != NULL) << PrettyMethod(this);
313 if (!self->GetJniEnv()->vm->work_around_app_jni_bugs) {
314 SetNativeMethod(native_method);
315 } else {
316 // We've been asked to associate this method with the given native method but are working
317 // around JNI bugs, that include not giving Object** SIRT references to native methods. Direct
318 // the native method to runtime support and store the target somewhere runtime support will
319 // find it.
Ian Rogers848871b2013-08-05 10:56:33 -0700320#if defined(__i386__)
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800321 UNIMPLEMENTED(FATAL);
Ian Rogers848871b2013-08-05 10:56:33 -0700322#else
323 SetNativeMethod(reinterpret_cast<void*>(art_work_around_app_jni_bugs));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800324#endif
Brian Carlstromea46f952013-07-30 01:26:50 -0700325 SetFieldPtr<const uint8_t*>(OFFSET_OF_OBJECT_MEMBER(ArtMethod, gc_map_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800326 reinterpret_cast<const uint8_t*>(native_method), false);
327 }
328}
329
Brian Carlstromea46f952013-07-30 01:26:50 -0700330void ArtMethod::UnregisterNative(Thread* self) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800331 CHECK(IsNative()) << PrettyMethod(this);
332 // restore stub to lookup native pointer via dlsym
Jeff Hao79fe5392013-04-24 18:41:58 -0700333 RegisterNative(self, GetJniDlsymLookupStub());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800334}
335
Brian Carlstromea46f952013-07-30 01:26:50 -0700336void ArtMethod::SetNativeMethod(const void* native_method) {
337 SetFieldPtr<const void*>(OFFSET_OF_OBJECT_MEMBER(ArtMethod, native_method_),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800338 native_method, false);
339}
340
341} // namespace mirror
342} // namespace art