blob: c081768b73285c4f87c03d49d9567d17d5cacd8f [file] [log] [blame]
Ian Rogers57b86d42012-03-27 16:05:41 -07001/*
2 * Copyright (C) 2012 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
17#include "callee_save_frame.h"
Sebastien Hertz75b2a4a2013-05-21 09:25:10 +020018#include "dex_instruction-inl.h"
Ian Rogers7655f292013-07-29 11:07:13 -070019#include "entrypoints/entrypoint_utils.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070020#include "mirror/art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080021#include "mirror/class-inl.h"
Ian Rogers39ebcb82013-05-30 16:57:23 -070022#include "mirror/dex_cache-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080023#include "mirror/object-inl.h"
24#include "mirror/object_array-inl.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070025
26namespace art {
27
Ian Rogers137e88f2012-10-08 17:46:47 -070028// Determine target of interface dispatch. This object is known non-null.
Brian Carlstromea46f952013-07-30 01:26:50 -070029extern "C" uint64_t artInvokeInterfaceTrampoline(mirror::ArtMethod* interface_method,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030 mirror::Object* this_object,
Brian Carlstromea46f952013-07-30 01:26:50 -070031 mirror::ArtMethod* caller_method,
32 Thread* self, mirror::ArtMethod** sp)
Ian Rogers137e88f2012-10-08 17:46:47 -070033 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Brian Carlstromea46f952013-07-30 01:26:50 -070034 mirror::ArtMethod* method;
Ian Rogers8b2c0b92013-09-19 02:56:49 -070035 if (LIKELY(interface_method->GetDexMethodIndex() != DexFile::kDexNoIndex)) {
Ian Rogers137e88f2012-10-08 17:46:47 -070036 method = this_object->GetClass()->FindVirtualMethodForInterface(interface_method);
Ian Rogersa6389412012-10-11 21:35:03 -070037 if (UNLIKELY(method == NULL)) {
38 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
39 ThrowIncompatibleClassChangeErrorClassForInterfaceDispatch(interface_method, this_object,
40 caller_method);
41 return 0; // Failure.
42 }
Ian Rogers137e88f2012-10-08 17:46:47 -070043 } else {
44 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
45 DCHECK(interface_method == Runtime::Current()->GetResolutionMethod());
46 // Determine method index from calling dex instruction.
47#if defined(__arm__)
48 // On entry the stack pointed by sp is:
49 // | argN | |
50 // | ... | |
51 // | arg4 | |
52 // | arg3 spill | | Caller's frame
53 // | arg2 spill | |
54 // | arg1 spill | |
55 // | Method* | ---
56 // | LR |
57 // | ... | callee saves
58 // | R3 | arg3
59 // | R2 | arg2
60 // | R1 | arg1
61 // | R0 |
62 // | Method* | <- sp
63 DCHECK_EQ(48U, Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes());
64 uintptr_t* regs = reinterpret_cast<uintptr_t*>(reinterpret_cast<byte*>(sp) + kPointerSize);
65 uintptr_t caller_pc = regs[10];
66#elif defined(__i386__)
67 // On entry the stack pointed by sp is:
68 // | argN | |
69 // | ... | |
70 // | arg4 | |
71 // | arg3 spill | | Caller's frame
72 // | arg2 spill | |
73 // | arg1 spill | |
74 // | Method* | ---
75 // | Return |
76 // | EBP,ESI,EDI | callee saves
77 // | EBX | arg3
78 // | EDX | arg2
79 // | ECX | arg1
80 // | EAX/Method* | <- sp
81 DCHECK_EQ(32U, Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes());
82 uintptr_t* regs = reinterpret_cast<uintptr_t*>(reinterpret_cast<byte*>(sp));
83 uintptr_t caller_pc = regs[7];
jeffhaofa147e22012-10-12 17:03:32 -070084#elif defined(__mips__)
85 // On entry the stack pointed by sp is:
86 // | argN | |
87 // | ... | |
88 // | arg4 | |
89 // | arg3 spill | | Caller's frame
90 // | arg2 spill | |
91 // | arg1 spill | |
92 // | Method* | ---
93 // | RA |
94 // | ... | callee saves
95 // | A3 | arg3
96 // | A2 | arg2
97 // | A1 | arg1
98 // | A0/Method* | <- sp
Jeff Hao1f3bc2f2013-04-30 15:17:19 -070099 DCHECK_EQ(64U, Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes());
jeffhaofa147e22012-10-12 17:03:32 -0700100 uintptr_t* regs = reinterpret_cast<uintptr_t*>(reinterpret_cast<byte*>(sp));
Jeff Hao1f3bc2f2013-04-30 15:17:19 -0700101 uintptr_t caller_pc = regs[15];
Ian Rogers137e88f2012-10-08 17:46:47 -0700102#else
103 UNIMPLEMENTED(FATAL);
104 uintptr_t caller_pc = 0;
105#endif
106 uint32_t dex_pc = caller_method->ToDexPc(caller_pc);
107 const DexFile::CodeItem* code = MethodHelper(caller_method).GetCodeItem();
108 CHECK_LT(dex_pc, code->insns_size_in_code_units_);
109 const Instruction* instr = Instruction::At(&code->insns_[dex_pc]);
110 Instruction::Code instr_code = instr->Opcode();
111 CHECK(instr_code == Instruction::INVOKE_INTERFACE ||
112 instr_code == Instruction::INVOKE_INTERFACE_RANGE)
113 << "Unexpected call into interface trampoline: " << instr->DumpString(NULL);
Sebastien Hertz75b2a4a2013-05-21 09:25:10 +0200114 uint32_t dex_method_idx;
115 if (instr_code == Instruction::INVOKE_INTERFACE) {
116 dex_method_idx = instr->VRegB_35c();
117 } else {
118 DCHECK_EQ(instr_code, Instruction::INVOKE_INTERFACE_RANGE);
119 dex_method_idx = instr->VRegB_3rc();
120 }
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200121 method = FindMethodFromCode<kInterface, false>(dex_method_idx, this_object, caller_method, self);
Ian Rogers137e88f2012-10-08 17:46:47 -0700122 if (UNLIKELY(method == NULL)) {
123 CHECK(self->IsExceptionPending());
Ian Rogersa6389412012-10-11 21:35:03 -0700124 return 0; // Failure.
Ian Rogers137e88f2012-10-08 17:46:47 -0700125 }
126 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800127 const void* code = method->GetEntryPointFromQuickCompiledCode();
Ian Rogers137e88f2012-10-08 17:46:47 -0700128
Ian Rogers137e88f2012-10-08 17:46:47 -0700129 // When we return, the caller will branch to this address, so it had better not be 0!
Ian Rogersef7d42f2014-01-06 12:55:46 -0800130 if (kIsDebugBuild && UNLIKELY(code == nullptr)) {
Ian Rogers137e88f2012-10-08 17:46:47 -0700131 MethodHelper mh(method);
132 LOG(FATAL) << "Code was NULL in method: " << PrettyMethod(method)
133 << " location: " << mh.GetDexFile().GetLocation();
134 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800135#ifdef __LP64__
136 UNIMPLEMENTED(FATAL);
137 return 0;
138#else
Ian Rogers137e88f2012-10-08 17:46:47 -0700139 uint32_t method_uint = reinterpret_cast<uint32_t>(method);
140 uint64_t code_uint = reinterpret_cast<uint32_t>(code);
141 uint64_t result = ((code_uint << 32) | method_uint);
142 return result;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800143#endif
Ian Rogers137e88f2012-10-08 17:46:47 -0700144}
145
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200146template<InvokeType type, bool access_check>
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100147uint64_t artInvokeCommon(uint32_t method_idx, mirror::Object* this_object,
148 mirror::ArtMethod* caller_method,
149 Thread* self, mirror::ArtMethod** sp) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700150 mirror::ArtMethod* method = FindMethodFast(method_idx, this_object, caller_method,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800151 access_check, type);
Ian Rogers57b86d42012-03-27 16:05:41 -0700152 if (UNLIKELY(method == NULL)) {
153 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200154 method = FindMethodFromCode<type, access_check>(method_idx, this_object, caller_method, self);
Ian Rogers57b86d42012-03-27 16:05:41 -0700155 if (UNLIKELY(method == NULL)) {
156 CHECK(self->IsExceptionPending());
157 return 0; // failure
158 }
159 }
160 DCHECK(!self->IsExceptionPending());
Ian Rogersef7d42f2014-01-06 12:55:46 -0800161 const void* code = method->GetEntryPointFromQuickCompiledCode();
Ian Rogers57b86d42012-03-27 16:05:41 -0700162
163 // When we return, the caller will branch to this address, so it had better not be 0!
Ian Rogersef7d42f2014-01-06 12:55:46 -0800164 if (kIsDebugBuild && UNLIKELY(code == NULL)) {
Mathieu Chartiera92f9712012-07-23 10:56:42 -0700165 MethodHelper mh(method);
166 LOG(FATAL) << "Code was NULL in method: " << PrettyMethod(method)
167 << " location: " << mh.GetDexFile().GetLocation();
168 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800169#ifdef __LP64__
170 UNIMPLEMENTED(FATAL);
171 return 0;
172#else
Ian Rogers57b86d42012-03-27 16:05:41 -0700173 uint32_t method_uint = reinterpret_cast<uint32_t>(method);
174 uint64_t code_uint = reinterpret_cast<uint32_t>(code);
175 uint64_t result = ((code_uint << 32) | method_uint);
176 return result;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800177#endif
Ian Rogers57b86d42012-03-27 16:05:41 -0700178}
179
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200180// Explicit template declarations of artInvokeCommon for all invoke types.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100181#define EXPLICIT_ART_INVOKE_COMMON_TEMPLATE_DECL(_type, _access_check) \
182 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) \
183 uint64_t artInvokeCommon<_type, _access_check>(uint32_t method_idx, \
184 mirror::Object* this_object, \
185 mirror::ArtMethod* caller_method, \
186 Thread* self, mirror::ArtMethod** sp)
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200187
188#define EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL(_type) \
189 EXPLICIT_ART_INVOKE_COMMON_TEMPLATE_DECL(_type, false); \
190 EXPLICIT_ART_INVOKE_COMMON_TEMPLATE_DECL(_type, true)
191
192EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL(kStatic);
193EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL(kDirect);
194EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL(kVirtual);
195EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL(kSuper);
196EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL(kInterface);
197
198#undef EXPLICIT_ART_INVOKE_COMMON_TYPED_TEMPLATE_DECL
199#undef EXPLICIT_ART_INVOKE_COMMON_TEMPLATE_DECL
200
Ian Rogers57b86d42012-03-27 16:05:41 -0700201// See comments in runtime_support_asm.S
Ian Rogers57b86d42012-03-27 16:05:41 -0700202extern "C" uint64_t artInvokeInterfaceTrampolineWithAccessCheck(uint32_t method_idx,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800203 mirror::Object* this_object,
Brian Carlstromea46f952013-07-30 01:26:50 -0700204 mirror::ArtMethod* caller_method,
Mathieu Chartier66f19252012-09-18 08:57:04 -0700205 Thread* self,
Brian Carlstromea46f952013-07-30 01:26:50 -0700206 mirror::ArtMethod** sp)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700207 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200208 return artInvokeCommon<kInterface, true>(method_idx, this_object, caller_method, self, sp);
Ian Rogers57b86d42012-03-27 16:05:41 -0700209}
210
211
212extern "C" uint64_t artInvokeDirectTrampolineWithAccessCheck(uint32_t method_idx,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800213 mirror::Object* this_object,
Brian Carlstromea46f952013-07-30 01:26:50 -0700214 mirror::ArtMethod* caller_method,
Mathieu Chartier66f19252012-09-18 08:57:04 -0700215 Thread* self,
Brian Carlstromea46f952013-07-30 01:26:50 -0700216 mirror::ArtMethod** sp)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700217 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200218 return artInvokeCommon<kDirect, true>(method_idx, this_object, caller_method, self, sp);
Ian Rogers57b86d42012-03-27 16:05:41 -0700219}
220
221extern "C" uint64_t artInvokeStaticTrampolineWithAccessCheck(uint32_t method_idx,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800222 mirror::Object* this_object,
Brian Carlstromea46f952013-07-30 01:26:50 -0700223 mirror::ArtMethod* caller_method,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800224 Thread* self,
Brian Carlstromea46f952013-07-30 01:26:50 -0700225 mirror::ArtMethod** sp)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700226 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200227 return artInvokeCommon<kStatic, true>(method_idx, this_object, caller_method, self, sp);
Ian Rogers57b86d42012-03-27 16:05:41 -0700228}
229
230extern "C" uint64_t artInvokeSuperTrampolineWithAccessCheck(uint32_t method_idx,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800231 mirror::Object* this_object,
Brian Carlstromea46f952013-07-30 01:26:50 -0700232 mirror::ArtMethod* caller_method,
Mathieu Chartier66f19252012-09-18 08:57:04 -0700233 Thread* self,
Brian Carlstromea46f952013-07-30 01:26:50 -0700234 mirror::ArtMethod** sp)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700235 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200236 return artInvokeCommon<kSuper, true>(method_idx, this_object, caller_method, self, sp);
Ian Rogers57b86d42012-03-27 16:05:41 -0700237}
238
239extern "C" uint64_t artInvokeVirtualTrampolineWithAccessCheck(uint32_t method_idx,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800240 mirror::Object* this_object,
Brian Carlstromea46f952013-07-30 01:26:50 -0700241 mirror::ArtMethod* caller_method,
Mathieu Chartier66f19252012-09-18 08:57:04 -0700242 Thread* self,
Brian Carlstromea46f952013-07-30 01:26:50 -0700243 mirror::ArtMethod** sp)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700244 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200245 return artInvokeCommon<kVirtual, true>(method_idx, this_object, caller_method, self, sp);
Ian Rogers57b86d42012-03-27 16:05:41 -0700246}
247
248} // namespace art