blob: f5edebf12a3c28b2c6ecd4e8e2e0fe723cf5e638 [file] [log] [blame]
Shih-wei Liao2d831012011-09-28 22:06:53 -07001/*
2 * Copyright 2011 Google Inc. All Rights Reserved.
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 "runtime_support.h"
18
Elliott Hughes91bf6cd2012-02-14 17:27:48 -080019#include "debugger.h"
Ian Rogerscaab8c42011-10-12 12:11:18 -070020#include "dex_cache.h"
Elliott Hughes6c8867d2011-10-03 16:34:05 -070021#include "dex_verifier.h"
Ian Rogerscaab8c42011-10-12 12:11:18 -070022#include "macros.h"
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080023#include "object.h"
24#include "object_utils.h"
Ian Rogersdfcdf1a2011-10-10 17:50:35 -070025#include "reflection.h"
Shih-wei Liaob0ee9d72012-03-07 16:39:26 -080026#include "runtime_support_common.h"
jeffhaoe343b762011-12-05 16:36:44 -080027#include "trace.h"
Ian Rogersdfcdf1a2011-10-10 17:50:35 -070028#include "ScopedLocalRef.h"
Elliott Hughes6c8867d2011-10-03 16:34:05 -070029
Shih-wei Liao2d831012011-09-28 22:06:53 -070030namespace art {
31
Shih-wei Liaoddbd01a2012-03-09 14:42:12 -080032// Place a special frame at the TOS that will save the callee saves for the given type
33static void FinishCalleeSaveFrameSetup(Thread* self, Method** sp, Runtime::CalleeSaveType type) {
34 // Be aware the store below may well stomp on an incoming argument
35 *sp = Runtime::Current()->GetCalleeSaveMethod(type);
36 self->SetTopOfStack(sp, 0);
37}
38
buzbee44b412b2012-02-04 08:50:53 -080039/*
Elliott Hughes91bf6cd2012-02-14 17:27:48 -080040 * Report location to debugger. Note: dex_pc is the current offset within
buzbee44b412b2012-02-04 08:50:53 -080041 * the method. However, because the offset alone cannot distinguish between
42 * method entry and offset 0 within the method, we'll use an offset of -1
43 * to denote method entry.
44 */
Elliott Hughes91bf6cd2012-02-14 17:27:48 -080045extern "C" void artUpdateDebuggerFromCode(int32_t dex_pc, Thread* self, Method** sp) {
buzbee44b412b2012-02-04 08:50:53 -080046 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
Elliott Hughes91bf6cd2012-02-14 17:27:48 -080047 Dbg::UpdateDebugger(dex_pc, self, sp);
buzbee44b412b2012-02-04 08:50:53 -080048}
49
Shih-wei Liao2d831012011-09-28 22:06:53 -070050// Temporary debugging hook for compiler.
51extern void DebugMe(Method* method, uint32_t info) {
52 LOG(INFO) << "DebugMe";
53 if (method != NULL) {
54 LOG(INFO) << PrettyMethod(method);
55 }
56 LOG(INFO) << "Info: " << info;
57}
58
59// Return value helper for jobject return types
60extern Object* DecodeJObjectInThread(Thread* thread, jobject obj) {
Brian Carlstrom6f495f22011-10-10 15:05:03 -070061 if (thread->IsExceptionPending()) {
62 return NULL;
63 }
Shih-wei Liao2d831012011-09-28 22:06:53 -070064 return thread->DecodeJObject(obj);
65}
66
Ian Rogers60db5ab2012-02-20 17:02:00 -080067extern void* FindNativeMethod(Thread* self) {
68 DCHECK(Thread::Current() == self);
Shih-wei Liao2d831012011-09-28 22:06:53 -070069
Ian Rogers60db5ab2012-02-20 17:02:00 -080070 Method* method = const_cast<Method*>(self->GetCurrentMethod());
Shih-wei Liao2d831012011-09-28 22:06:53 -070071 DCHECK(method != NULL);
72
73 // Lookup symbol address for method, on failure we'll return NULL with an
74 // exception set, otherwise we return the address of the method we found.
Ian Rogers60db5ab2012-02-20 17:02:00 -080075 void* native_code = self->GetJniEnv()->vm->FindCodeForNativeMethod(method);
Shih-wei Liao2d831012011-09-28 22:06:53 -070076 if (native_code == NULL) {
Ian Rogers60db5ab2012-02-20 17:02:00 -080077 DCHECK(self->IsExceptionPending());
Shih-wei Liao2d831012011-09-28 22:06:53 -070078 return NULL;
79 } else {
80 // Register so that future calls don't come here
Ian Rogers60db5ab2012-02-20 17:02:00 -080081 method->RegisterNative(self, native_code);
Shih-wei Liao2d831012011-09-28 22:06:53 -070082 return native_code;
83 }
84}
85
86// Called by generated call to throw an exception
87extern "C" void artDeliverExceptionFromCode(Throwable* exception, Thread* thread, Method** sp) {
88 /*
89 * exception may be NULL, in which case this routine should
90 * throw NPE. NOTE: this is a convenience for generated code,
91 * which previously did the null check inline and constructed
92 * and threw a NPE if NULL. This routine responsible for setting
93 * exception_ in thread and delivering the exception.
94 */
Ian Rogers4f0d07c2011-10-06 23:38:47 -070095 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -070096 if (exception == NULL) {
97 thread->ThrowNewException("Ljava/lang/NullPointerException;", "throw with null exception");
98 } else {
99 thread->SetException(exception);
100 }
101 thread->DeliverException();
102}
103
104// Deliver an exception that's pending on thread helping set up a callee save frame on the way
105extern "C" void artDeliverPendingExceptionFromCode(Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700106 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700107 thread->DeliverException();
108}
109
110// Called by generated call to throw a NPE exception
111extern "C" void artThrowNullPointerExceptionFromCode(Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700112 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700113 thread->ThrowNewException("Ljava/lang/NullPointerException;", NULL);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700114 thread->DeliverException();
115}
116
117// Called by generated call to throw an arithmetic divide by zero exception
118extern "C" void artThrowDivZeroFromCode(Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700119 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700120 thread->ThrowNewException("Ljava/lang/ArithmeticException;", "divide by zero");
121 thread->DeliverException();
122}
123
124// Called by generated call to throw an arithmetic divide by zero exception
125extern "C" void artThrowArrayBoundsFromCode(int index, int limit, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700126 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
127 thread->ThrowNewExceptionF("Ljava/lang/ArrayIndexOutOfBoundsException;",
128 "length=%d; index=%d", limit, index);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700129 thread->DeliverException();
130}
131
132// Called by the AbstractMethodError stub (not runtime support)
133extern void ThrowAbstractMethodErrorFromCode(Method* method, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700134 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
135 thread->ThrowNewExceptionF("Ljava/lang/AbstractMethodError;",
136 "abstract method \"%s\"", PrettyMethod(method).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700137 thread->DeliverException();
138}
139
140extern "C" void artThrowStackOverflowFromCode(Method* method, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700141 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
jeffhaoe343b762011-12-05 16:36:44 -0800142 // Remove extra entry pushed onto second stack during method tracing
jeffhao2692b572011-12-16 15:42:28 -0800143 if (Runtime::Current()->IsMethodTracingActive()) {
Elliott Hughes0ece7b92012-03-09 18:14:40 -0800144 TraceMethodUnwindFromCode(thread);
jeffhaoe343b762011-12-05 16:36:44 -0800145 }
Shih-wei Liao2d831012011-09-28 22:06:53 -0700146 thread->SetStackEndForStackOverflow(); // Allow space on the stack for constructor to execute
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700147 thread->ThrowNewExceptionF("Ljava/lang/StackOverflowError;",
148 "stack size %zdkb; default stack size: %zdkb",
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700149 thread->GetStackSize() / KB, Runtime::Current()->GetDefaultStackSize() / KB);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700150 thread->ResetDefaultStackEnd(); // Return to default stack size
151 thread->DeliverException();
152}
153
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700154static std::string ClassNameFromIndex(Method* method, uint32_t ref,
Ian Rogersd81871c2011-10-03 13:57:23 -0700155 verifier::VerifyErrorRefType ref_type, bool access) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700156 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
157 const DexFile& dex_file = class_linker->FindDexFile(method->GetDeclaringClass()->GetDexCache());
158
159 uint16_t type_idx = 0;
Ian Rogersd81871c2011-10-03 13:57:23 -0700160 if (ref_type == verifier::VERIFY_ERROR_REF_FIELD) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700161 const DexFile::FieldId& id = dex_file.GetFieldId(ref);
162 type_idx = id.class_idx_;
Ian Rogersd81871c2011-10-03 13:57:23 -0700163 } else if (ref_type == verifier::VERIFY_ERROR_REF_METHOD) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700164 const DexFile::MethodId& id = dex_file.GetMethodId(ref);
165 type_idx = id.class_idx_;
Ian Rogersd81871c2011-10-03 13:57:23 -0700166 } else if (ref_type == verifier::VERIFY_ERROR_REF_CLASS) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700167 type_idx = ref;
168 } else {
169 CHECK(false) << static_cast<int>(ref_type);
170 }
171
Ian Rogers0571d352011-11-03 19:51:38 -0700172 std::string class_name(PrettyDescriptor(dex_file.StringByTypeIdx(type_idx)));
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700173 if (!access) {
174 return class_name;
175 }
176
177 std::string result;
178 result += "tried to access class ";
179 result += class_name;
180 result += " from class ";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800181 result += PrettyDescriptor(method->GetDeclaringClass());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700182 return result;
183}
184
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700185static std::string FieldNameFromIndex(const Method* method, uint32_t ref,
Ian Rogersd81871c2011-10-03 13:57:23 -0700186 verifier::VerifyErrorRefType ref_type, bool access) {
187 CHECK_EQ(static_cast<int>(ref_type), static_cast<int>(verifier::VERIFY_ERROR_REF_FIELD));
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700188
189 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
190 const DexFile& dex_file = class_linker->FindDexFile(method->GetDeclaringClass()->GetDexCache());
191
192 const DexFile::FieldId& id = dex_file.GetFieldId(ref);
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700193 std::string class_name(PrettyDescriptor(dex_file.GetFieldDeclaringClassDescriptor(id)));
Ian Rogers0571d352011-11-03 19:51:38 -0700194 const char* field_name = dex_file.StringDataByIdx(id.name_idx_);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700195 if (!access) {
196 return class_name + "." + field_name;
197 }
198
199 std::string result;
200 result += "tried to access field ";
201 result += class_name + "." + field_name;
202 result += " from class ";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800203 result += PrettyDescriptor(method->GetDeclaringClass());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700204 return result;
205}
206
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700207static std::string MethodNameFromIndex(const Method* method, uint32_t ref,
Shih-wei Liaoa8a9c342012-03-03 22:35:16 -0800208 verifier::VerifyErrorRefType ref_type, bool access) {
Ian Rogersd81871c2011-10-03 13:57:23 -0700209 CHECK_EQ(static_cast<int>(ref_type), static_cast<int>(verifier::VERIFY_ERROR_REF_METHOD));
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700210
211 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
212 const DexFile& dex_file = class_linker->FindDexFile(method->GetDeclaringClass()->GetDexCache());
213
214 const DexFile::MethodId& id = dex_file.GetMethodId(ref);
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700215 std::string class_name(PrettyDescriptor(dex_file.GetMethodDeclaringClassDescriptor(id)));
Ian Rogers0571d352011-11-03 19:51:38 -0700216 const char* method_name = dex_file.StringDataByIdx(id.name_idx_);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700217 if (!access) {
218 return class_name + "." + method_name;
219 }
220
221 std::string result;
222 result += "tried to access method ";
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700223 result += class_name + "." + method_name + ":" +
Ian Rogers0571d352011-11-03 19:51:38 -0700224 dex_file.CreateMethodSignature(id.proto_idx_, NULL);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700225 result += " from class ";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800226 result += PrettyDescriptor(method->GetDeclaringClass());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700227 return result;
228}
229
230extern "C" void artThrowVerificationErrorFromCode(int32_t kind, int32_t ref, Thread* self, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700231 FinishCalleeSaveFrameSetup(self, sp, Runtime::kSaveAll);
232 Frame frame = self->GetTopOfStack(); // We need the calling method as context to interpret 'ref'
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700233 frame.Next();
234 Method* method = frame.GetMethod();
235
Ian Rogersd81871c2011-10-03 13:57:23 -0700236 verifier::VerifyErrorRefType ref_type =
237 static_cast<verifier::VerifyErrorRefType>(kind >> verifier::kVerifyErrorRefTypeShift);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700238
239 const char* exception_class = "Ljava/lang/VerifyError;";
240 std::string msg;
241
Ian Rogersd81871c2011-10-03 13:57:23 -0700242 switch (static_cast<verifier::VerifyError>(kind & ~(0xff << verifier::kVerifyErrorRefTypeShift))) {
243 case verifier::VERIFY_ERROR_NO_CLASS:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700244 exception_class = "Ljava/lang/NoClassDefFoundError;";
245 msg = ClassNameFromIndex(method, ref, ref_type, false);
246 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700247 case verifier::VERIFY_ERROR_NO_FIELD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700248 exception_class = "Ljava/lang/NoSuchFieldError;";
249 msg = FieldNameFromIndex(method, ref, ref_type, false);
250 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700251 case verifier::VERIFY_ERROR_NO_METHOD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700252 exception_class = "Ljava/lang/NoSuchMethodError;";
253 msg = MethodNameFromIndex(method, ref, ref_type, false);
254 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700255 case verifier::VERIFY_ERROR_ACCESS_CLASS:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700256 exception_class = "Ljava/lang/IllegalAccessError;";
257 msg = ClassNameFromIndex(method, ref, ref_type, true);
258 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700259 case verifier::VERIFY_ERROR_ACCESS_FIELD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700260 exception_class = "Ljava/lang/IllegalAccessError;";
261 msg = FieldNameFromIndex(method, ref, ref_type, true);
262 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700263 case verifier::VERIFY_ERROR_ACCESS_METHOD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700264 exception_class = "Ljava/lang/IllegalAccessError;";
265 msg = MethodNameFromIndex(method, ref, ref_type, true);
266 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700267 case verifier::VERIFY_ERROR_CLASS_CHANGE:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700268 exception_class = "Ljava/lang/IncompatibleClassChangeError;";
269 msg = ClassNameFromIndex(method, ref, ref_type, false);
270 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700271 case verifier::VERIFY_ERROR_INSTANTIATION:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700272 exception_class = "Ljava/lang/InstantiationError;";
273 msg = ClassNameFromIndex(method, ref, ref_type, false);
274 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700275 case verifier::VERIFY_ERROR_GENERIC:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700276 // Generic VerifyError; use default exception, no message.
277 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700278 case verifier::VERIFY_ERROR_NONE:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700279 CHECK(false);
280 break;
281 }
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700282 self->ThrowNewException(exception_class, msg.c_str());
283 self->DeliverException();
Shih-wei Liao2d831012011-09-28 22:06:53 -0700284}
285
286extern "C" void artThrowInternalErrorFromCode(int32_t errnum, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700287 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700288 LOG(WARNING) << "TODO: internal error detail message. errnum=" << errnum;
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700289 thread->ThrowNewExceptionF("Ljava/lang/InternalError;", "errnum=%d", errnum);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700290 thread->DeliverException();
291}
292
293extern "C" void artThrowRuntimeExceptionFromCode(int32_t errnum, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700294 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700295 LOG(WARNING) << "TODO: runtime exception detail message. errnum=" << errnum;
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700296 thread->ThrowNewExceptionF("Ljava/lang/RuntimeException;", "errnum=%d", errnum);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700297 thread->DeliverException();
298}
299
Elliott Hughese1410a22011-10-04 12:10:24 -0700300extern "C" void artThrowNoSuchMethodFromCode(int32_t method_idx, Thread* self, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700301 FinishCalleeSaveFrameSetup(self, sp, Runtime::kSaveAll);
302 Frame frame = self->GetTopOfStack(); // We need the calling method as context for the method_idx
Elliott Hughese1410a22011-10-04 12:10:24 -0700303 frame.Next();
304 Method* method = frame.GetMethod();
Elliott Hughese1410a22011-10-04 12:10:24 -0700305 self->ThrowNewException("Ljava/lang/NoSuchMethodError;",
Ian Rogersd81871c2011-10-03 13:57:23 -0700306 MethodNameFromIndex(method, method_idx, verifier::VERIFY_ERROR_REF_METHOD, false).c_str());
Elliott Hughese1410a22011-10-04 12:10:24 -0700307 self->DeliverException();
Shih-wei Liao2d831012011-09-28 22:06:53 -0700308}
309
310extern "C" void artThrowNegArraySizeFromCode(int32_t size, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700311 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700312 LOG(WARNING) << "UNTESTED artThrowNegArraySizeFromCode";
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700313 thread->ThrowNewExceptionF("Ljava/lang/NegativeArraySizeException;", "%d", size);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700314 thread->DeliverException();
315}
316
Ian Rogers19846512012-02-24 11:42:47 -0800317const void* UnresolvedDirectMethodTrampolineFromCode(Method* called, Method** sp, Thread* thread,
318 Runtime::TrampolineType type) {
Ian Rogersad25ac52011-10-04 19:13:33 -0700319 // TODO: this code is specific to ARM
320 // On entry the stack pointed by sp is:
321 // | argN | |
322 // | ... | |
323 // | arg4 | |
324 // | arg3 spill | | Caller's frame
325 // | arg2 spill | |
326 // | arg1 spill | |
327 // | Method* | ---
328 // | LR |
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700329 // | ... | callee saves
Ian Rogersad25ac52011-10-04 19:13:33 -0700330 // | R3 | arg3
331 // | R2 | arg2
332 // | R1 | arg1
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700333 // | R0 |
334 // | Method* | <- sp
335 uintptr_t* regs = reinterpret_cast<uintptr_t*>(reinterpret_cast<byte*>(sp) + kPointerSize);
336 DCHECK_EQ(48U, Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes());
337 Method** caller_sp = reinterpret_cast<Method**>(reinterpret_cast<byte*>(sp) + 48);
338 uintptr_t caller_pc = regs[10];
339 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsAndArgs);
Ian Rogersad25ac52011-10-04 19:13:33 -0700340 // Start new JNI local reference state
341 JNIEnvExt* env = thread->GetJniEnv();
Ian Rogersdfcdf1a2011-10-10 17:50:35 -0700342 ScopedJniEnvLocalRefState env_state(env);
Ian Rogers19846512012-02-24 11:42:47 -0800343
344 // Compute details about the called method (avoid GCs)
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700345 ClassLinker* linker = Runtime::Current()->GetClassLinker();
Ian Rogers19846512012-02-24 11:42:47 -0800346 Method* caller = *caller_sp;
Ian Rogersea2a11d2011-10-11 16:48:51 -0700347 bool is_static;
Ian Rogersfb6adba2012-03-04 21:51:51 -0800348 bool is_virtual;
Ian Rogers19846512012-02-24 11:42:47 -0800349 uint32_t dex_method_idx;
350 const char* shorty;
351 uint32_t shorty_len;
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700352 if (type == Runtime::kUnknownMethod) {
Ian Rogers19846512012-02-24 11:42:47 -0800353 DCHECK(called->IsRuntimeMethod());
Ian Rogersdf9a7822011-10-11 16:53:22 -0700354 // less two as return address may span into next dex instruction
355 uint32_t dex_pc = caller->ToDexPC(caller_pc - 2);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800356 const DexFile::CodeItem* code = MethodHelper(caller).GetCodeItem();
Ian Rogersd81871c2011-10-03 13:57:23 -0700357 CHECK_LT(dex_pc, code->insns_size_in_code_units_);
358 const Instruction* instr = Instruction::At(&code->insns_[dex_pc]);
Ian Rogersea2a11d2011-10-11 16:48:51 -0700359 Instruction::Code instr_code = instr->Opcode();
360 is_static = (instr_code == Instruction::INVOKE_STATIC) ||
361 (instr_code == Instruction::INVOKE_STATIC_RANGE);
Ian Rogersfb6adba2012-03-04 21:51:51 -0800362 is_virtual = (instr_code == Instruction::INVOKE_VIRTUAL) ||
363 (instr_code == Instruction::INVOKE_VIRTUAL_RANGE);
Ian Rogersea2a11d2011-10-11 16:48:51 -0700364 DCHECK(is_static || (instr_code == Instruction::INVOKE_DIRECT) ||
Ian Rogersfb6adba2012-03-04 21:51:51 -0800365 (instr_code == Instruction::INVOKE_DIRECT_RANGE) ||
366 (instr_code == Instruction::INVOKE_VIRTUAL) ||
367 (instr_code == Instruction::INVOKE_VIRTUAL_RANGE));
Elliott Hughesadb8c672012-03-06 16:49:32 -0800368 DecodedInstruction dec_insn(instr);
369 dex_method_idx = dec_insn.vB;
Ian Rogers19846512012-02-24 11:42:47 -0800370 shorty = linker->MethodShorty(dex_method_idx, caller, &shorty_len);
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700371 } else {
Ian Rogers19846512012-02-24 11:42:47 -0800372 DCHECK(!called->IsRuntimeMethod());
Ian Rogersea2a11d2011-10-11 16:48:51 -0700373 is_static = type == Runtime::kStaticMethod;
Ian Rogersfb6adba2012-03-04 21:51:51 -0800374 is_virtual = false;
Ian Rogers19846512012-02-24 11:42:47 -0800375 dex_method_idx = called->GetDexMethodIndex();
376 MethodHelper mh(called);
377 shorty = mh.GetShorty();
378 shorty_len = mh.GetShortyLength();
379 }
380 // Discover shorty (avoid GCs)
381 size_t args_in_regs = 0;
382 for (size_t i = 1; i < shorty_len; i++) {
383 char c = shorty[i];
384 args_in_regs = args_in_regs + (c == 'J' || c == 'D' ? 2 : 1);
385 if (args_in_regs > 3) {
386 args_in_regs = 3;
387 break;
388 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700389 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700390 // Place into local references incoming arguments from the caller's register arguments
Ian Rogers14b1b242011-10-11 18:54:34 -0700391 size_t cur_arg = 1; // skip method_idx in R0, first arg is in R1
Ian Rogersea2a11d2011-10-11 16:48:51 -0700392 if (!is_static) {
393 Object* obj = reinterpret_cast<Object*>(regs[cur_arg]);
394 cur_arg++;
Ian Rogers14b1b242011-10-11 18:54:34 -0700395 if (args_in_regs < 3) {
396 // If we thought we had fewer than 3 arguments in registers, account for the receiver
397 args_in_regs++;
398 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700399 AddLocalReference<jobject>(env, obj);
400 }
Ian Rogers14b1b242011-10-11 18:54:34 -0700401 size_t shorty_index = 1; // skip return value
402 // Iterate while arguments and arguments in registers (less 1 from cur_arg which is offset to skip
403 // R0)
404 while ((cur_arg - 1) < args_in_regs && shorty_index < shorty_len) {
405 char c = shorty[shorty_index];
406 shorty_index++;
Ian Rogersea2a11d2011-10-11 16:48:51 -0700407 if (c == 'L') {
Ian Rogersad25ac52011-10-04 19:13:33 -0700408 Object* obj = reinterpret_cast<Object*>(regs[cur_arg]);
409 AddLocalReference<jobject>(env, obj);
410 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700411 cur_arg = cur_arg + (c == 'J' || c == 'D' ? 2 : 1);
412 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700413 // Place into local references incoming arguments from the caller's stack arguments
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700414 cur_arg += 11; // skip LR, Method* and spills for R1 to R3 and callee saves
Ian Rogers14b1b242011-10-11 18:54:34 -0700415 while (shorty_index < shorty_len) {
416 char c = shorty[shorty_index];
417 shorty_index++;
Ian Rogersea2a11d2011-10-11 16:48:51 -0700418 if (c == 'L') {
Ian Rogers14b1b242011-10-11 18:54:34 -0700419 Object* obj = reinterpret_cast<Object*>(regs[cur_arg]);
Ian Rogersea2a11d2011-10-11 16:48:51 -0700420 AddLocalReference<jobject>(env, obj);
Ian Rogersad25ac52011-10-04 19:13:33 -0700421 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700422 cur_arg = cur_arg + (c == 'J' || c == 'D' ? 2 : 1);
Ian Rogersad25ac52011-10-04 19:13:33 -0700423 }
424 // Resolve method filling in dex cache
Ian Rogers19846512012-02-24 11:42:47 -0800425 if (type == Runtime::kUnknownMethod) {
Ian Rogersfb6adba2012-03-04 21:51:51 -0800426 called = linker->ResolveMethod(dex_method_idx, caller, !is_virtual);
Ian Rogers19846512012-02-24 11:42:47 -0800427 }
428 const void* code = NULL;
Ian Rogerscaab8c42011-10-12 12:11:18 -0700429 if (LIKELY(!thread->IsExceptionPending())) {
Ian Rogersfb6adba2012-03-04 21:51:51 -0800430 if (LIKELY(called->IsDirect() == !is_virtual)) {
Ian Rogers19846512012-02-24 11:42:47 -0800431 // Ensure that the called method's class is initialized.
Ian Rogersbdfb1a52012-01-12 14:05:22 -0800432 Class* called_class = called->GetDeclaringClass();
433 linker->EnsureInitialized(called_class, true);
434 if (LIKELY(called_class->IsInitialized())) {
Ian Rogers19846512012-02-24 11:42:47 -0800435 code = called->GetCode();
436 } else if (called_class->IsInitializing()) {
437 // Class is still initializing, go to oat and grab code (trampoline must be left in place
438 // until class is initialized to stop races between threads).
439 code = linker->GetOatCodeFor(called);
440 } else {
441 DCHECK(called_class->IsErroneous());
Ian Rogersbdfb1a52012-01-12 14:05:22 -0800442 }
Ian Rogers573db4a2011-12-13 15:30:50 -0800443 } else {
444 // Direct method has been made virtual
445 thread->ThrowNewExceptionF("Ljava/lang/IncompatibleClassChangeError;",
446 "Expected direct method but found virtual: %s",
447 PrettyMethod(called, true).c_str());
448 }
Ian Rogersad25ac52011-10-04 19:13:33 -0700449 }
Ian Rogers19846512012-02-24 11:42:47 -0800450 if (UNLIKELY(code == NULL)) {
Brian Carlstromb2062cf2011-11-03 01:24:44 -0700451 // Something went wrong in ResolveMethod or EnsureInitialized,
452 // go into deliver exception with the pending exception in r0
Ian Rogersad25ac52011-10-04 19:13:33 -0700453 code = reinterpret_cast<void*>(art_deliver_exception_from_code);
Brian Carlstromb2062cf2011-11-03 01:24:44 -0700454 regs[0] = reinterpret_cast<uintptr_t>(thread->GetException());
Ian Rogersad25ac52011-10-04 19:13:33 -0700455 thread->ClearException();
456 } else {
Ian Rogers19846512012-02-24 11:42:47 -0800457 // Expect class to at least be initializing.
Ian Rogersbdfb1a52012-01-12 14:05:22 -0800458 DCHECK(called->GetDeclaringClass()->IsInitializing());
Ian Rogers19846512012-02-24 11:42:47 -0800459 // Don't want infinite recursion.
460 DCHECK(code != Runtime::Current()->GetResolutionStubArray(Runtime::kUnknownMethod)->GetData());
Ian Rogersad25ac52011-10-04 19:13:33 -0700461 // Set up entry into main method
Brian Carlstromb2062cf2011-11-03 01:24:44 -0700462 regs[0] = reinterpret_cast<uintptr_t>(called);
Ian Rogersad25ac52011-10-04 19:13:33 -0700463 }
464 return code;
465}
466
Ian Rogers60db5ab2012-02-20 17:02:00 -0800467static void WorkAroundJniBugsForJobject(intptr_t* arg_ptr) {
468 intptr_t value = *arg_ptr;
469 Object** value_as_jni_rep = reinterpret_cast<Object**>(value);
470 Object* value_as_work_around_rep = value_as_jni_rep != NULL ? *value_as_jni_rep : NULL;
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800471 CHECK(Runtime::Current()->GetHeap()->IsHeapAddress(value_as_work_around_rep));
Ian Rogers60db5ab2012-02-20 17:02:00 -0800472 *arg_ptr = reinterpret_cast<intptr_t>(value_as_work_around_rep);
473}
474
475extern "C" const void* artWorkAroundAppJniBugs(Thread* self, intptr_t* sp) {
476 DCHECK(Thread::Current() == self);
477 // TODO: this code is specific to ARM
478 // On entry the stack pointed by sp is:
479 // | arg3 | <- Calling JNI method's frame (and extra bit for out args)
480 // | LR |
481 // | R3 | arg2
482 // | R2 | arg1
483 // | R1 | jclass/jobject
484 // | R0 | JNIEnv
485 // | unused |
486 // | unused |
487 // | unused | <- sp
488 Method* jni_method = self->GetTopOfStack().GetMethod();
489 DCHECK(jni_method->IsNative()) << PrettyMethod(jni_method);
490 intptr_t* arg_ptr = sp + 4; // pointer to r1 on stack
491 // Fix up this/jclass argument
492 WorkAroundJniBugsForJobject(arg_ptr);
493 arg_ptr++;
494 // Fix up jobject arguments
495 MethodHelper mh(jni_method);
496 int reg_num = 2; // Current register being processed, -1 for stack arguments.
Elliott Hughes45651fd2012-02-21 15:48:20 -0800497 for (uint32_t i = 1; i < mh.GetShortyLength(); i++) {
Ian Rogers60db5ab2012-02-20 17:02:00 -0800498 char shorty_char = mh.GetShorty()[i];
499 if (shorty_char == 'L') {
500 WorkAroundJniBugsForJobject(arg_ptr);
501 }
502 if (shorty_char == 'J' || shorty_char == 'D') {
503 if (reg_num == 2) {
504 arg_ptr = sp + 8; // skip to out arguments
505 reg_num = -1;
506 } else if (reg_num == 3) {
507 arg_ptr = sp + 10; // skip to out arguments plus 2 slots as long must be aligned
508 reg_num = -1;
509 } else {
510 DCHECK(reg_num == -1);
511 if ((reinterpret_cast<intptr_t>(arg_ptr) & 7) == 4) {
512 arg_ptr += 3; // unaligned, pad and move through stack arguments
513 } else {
514 arg_ptr += 2; // aligned, move through stack arguments
515 }
516 }
517 } else {
518 if (reg_num == 2) {
519 arg_ptr++; // move through register arguments
520 reg_num++;
521 } else if (reg_num == 3) {
522 arg_ptr = sp + 8; // skip to outgoing stack arguments
523 reg_num = -1;
524 } else {
525 DCHECK(reg_num == -1);
526 arg_ptr++; // move through stack arguments
527 }
528 }
529 }
530 // Load expected destination, see Method::RegisterNative
Ian Rogers19846512012-02-24 11:42:47 -0800531 const void* code = reinterpret_cast<const void*>(jni_method->GetGcMapRaw());
532 if (UNLIKELY(code == NULL)) {
533 code = Runtime::Current()->GetJniDlsymLookupStub()->GetData();
534 jni_method->RegisterNative(self, code);
535 }
536 return code;
Ian Rogers60db5ab2012-02-20 17:02:00 -0800537}
538
Shih-wei Liaoddbd01a2012-03-09 14:42:12 -0800539
540extern "C" uint32_t artGet32StaticFromCode(uint32_t field_idx, const Method* referrer,
541 Thread* self, Method** sp) {
542 Field* field = FindFieldFast(field_idx, referrer, true, false, sizeof(int32_t));
543 if (LIKELY(field != NULL)) {
544 return field->Get32(NULL);
545 }
546 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
547 field = FindFieldFromCode(field_idx, referrer, self, true, true, false, sizeof(int32_t));
548 if (LIKELY(field != NULL)) {
549 return field->Get32(NULL);
550 }
551 return 0; // Will throw exception by checking with Thread::Current
552}
553
554extern "C" uint64_t artGet64StaticFromCode(uint32_t field_idx, const Method* referrer,
555 Thread* self, Method** sp) {
556 Field* field = FindFieldFast(field_idx, referrer, true, false, sizeof(int64_t));
557 if (LIKELY(field != NULL)) {
558 return field->Get64(NULL);
559 }
560 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
561 field = FindFieldFromCode(field_idx, referrer, self, true, true, false, sizeof(int64_t));
562 if (LIKELY(field != NULL)) {
563 return field->Get64(NULL);
564 }
565 return 0; // Will throw exception by checking with Thread::Current
566}
567
568extern "C" Object* artGetObjStaticFromCode(uint32_t field_idx, const Method* referrer,
569 Thread* self, Method** sp) {
570 Field* field = FindFieldFast(field_idx, referrer, false, false, sizeof(Object*));
571 if (LIKELY(field != NULL)) {
572 return field->GetObj(NULL);
573 }
574 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
575 field = FindFieldFromCode(field_idx, referrer, self, true, false, false, sizeof(Object*));
576 if (LIKELY(field != NULL)) {
577 return field->GetObj(NULL);
578 }
579 return NULL; // Will throw exception by checking with Thread::Current
580}
581
582extern "C" uint32_t artGet32InstanceFromCode(uint32_t field_idx, Object* obj,
583 const Method* referrer, Thread* self, Method** sp) {
584 Field* field = FindFieldFast(field_idx, referrer, true, false, sizeof(int32_t));
585 if (LIKELY(field != NULL && obj != NULL)) {
586 return field->Get32(obj);
587 }
588 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
589 field = FindFieldFromCode(field_idx, referrer, self, false, true, false, sizeof(int32_t));
590 if (LIKELY(field != NULL)) {
591 if (UNLIKELY(obj == NULL)) {
592 ThrowNullPointerExceptionForFieldAccess(self, field, true);
593 } else {
594 return field->Get32(obj);
595 }
596 }
597 return 0; // Will throw exception by checking with Thread::Current
598}
599
600extern "C" uint64_t artGet64InstanceFromCode(uint32_t field_idx, Object* obj,
601 const Method* referrer, Thread* self, Method** sp) {
602 Field* field = FindFieldFast(field_idx, referrer, true, false, sizeof(int64_t));
603 if (LIKELY(field != NULL && obj != NULL)) {
604 return field->Get64(obj);
605 }
606 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
607 field = FindFieldFromCode(field_idx, referrer, self, false, true, false, sizeof(int64_t));
608 if (LIKELY(field != NULL)) {
609 if (UNLIKELY(obj == NULL)) {
610 ThrowNullPointerExceptionForFieldAccess(self, field, true);
611 } else {
612 return field->Get64(obj);
613 }
614 }
615 return 0; // Will throw exception by checking with Thread::Current
616}
617
618extern "C" Object* artGetObjInstanceFromCode(uint32_t field_idx, Object* obj,
619 const Method* referrer, Thread* self, Method** sp) {
620 Field* field = FindFieldFast(field_idx, referrer, false, false, sizeof(Object*));
621 if (LIKELY(field != NULL && obj != NULL)) {
622 return field->GetObj(obj);
623 }
624 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
625 field = FindFieldFromCode(field_idx, referrer, self, false, false, false, sizeof(Object*));
626 if (LIKELY(field != NULL)) {
627 if (UNLIKELY(obj == NULL)) {
628 ThrowNullPointerExceptionForFieldAccess(self, field, true);
629 } else {
630 return field->GetObj(obj);
631 }
632 }
633 return NULL; // Will throw exception by checking with Thread::Current
634}
635
636extern "C" int artSet32StaticFromCode(uint32_t field_idx, uint32_t new_value,
637 const Method* referrer, Thread* self, Method** sp) {
638 Field* field = FindFieldFast(field_idx, referrer, true, true, sizeof(int32_t));
639 if (LIKELY(field != NULL)) {
640 field->Set32(NULL, new_value);
641 return 0; // success
642 }
643 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
644 field = FindFieldFromCode(field_idx, referrer, self, true, true, true, sizeof(int32_t));
645 if (LIKELY(field != NULL)) {
646 field->Set32(NULL, new_value);
647 return 0; // success
648 }
649 return -1; // failure
650}
651
652extern "C" int artSet64StaticFromCode(uint32_t field_idx, const Method* referrer,
653 uint64_t new_value, Thread* self, Method** sp) {
654 Field* field = FindFieldFast(field_idx, referrer, true, true, sizeof(int64_t));
655 if (LIKELY(field != NULL)) {
656 field->Set64(NULL, new_value);
657 return 0; // success
658 }
659 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
660 field = FindFieldFromCode(field_idx, referrer, self, true, true, true, sizeof(int64_t));
661 if (LIKELY(field != NULL)) {
662 field->Set64(NULL, new_value);
663 return 0; // success
664 }
665 return -1; // failure
666}
667
668extern "C" int artSetObjStaticFromCode(uint32_t field_idx, Object* new_value,
669 const Method* referrer, Thread* self, Method** sp) {
670 Field* field = FindFieldFast(field_idx, referrer, false, true, sizeof(Object*));
671 if (LIKELY(field != NULL)) {
672 if (LIKELY(!FieldHelper(field).IsPrimitiveType())) {
673 field->SetObj(NULL, new_value);
674 return 0; // success
675 }
676 }
677 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
678 field = FindFieldFromCode(field_idx, referrer, self, true, false, true, sizeof(Object*));
679 if (LIKELY(field != NULL)) {
680 field->SetObj(NULL, new_value);
681 return 0; // success
682 }
683 return -1; // failure
684}
685
686extern "C" int artSet32InstanceFromCode(uint32_t field_idx, Object* obj, uint32_t new_value,
687 const Method* referrer, Thread* self, Method** sp) {
688 Field* field = FindFieldFast(field_idx, referrer, true, true, sizeof(int32_t));
689 if (LIKELY(field != NULL && obj != NULL)) {
690 field->Set32(obj, new_value);
691 return 0; // success
692 }
693 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
694 field = FindFieldFromCode(field_idx, referrer, self, false, true, true, sizeof(int32_t));
695 if (LIKELY(field != NULL)) {
696 if (UNLIKELY(obj == NULL)) {
697 ThrowNullPointerExceptionForFieldAccess(self, field, false);
698 } else {
699 field->Set32(obj, new_value);
700 return 0; // success
701 }
702 }
703 return -1; // failure
704}
705
706extern "C" int artSet64InstanceFromCode(uint32_t field_idx, Object* obj, uint64_t new_value,
707 Thread* self, Method** sp) {
708 Method* callee_save = Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsOnly);
709 Method* referrer = sp[callee_save->GetFrameSizeInBytes() / sizeof(Method*)];
710 Field* field = FindFieldFast(field_idx, referrer, true, true, sizeof(int64_t));
711 if (LIKELY(field != NULL && obj != NULL)) {
712 field->Set64(obj, new_value);
713 return 0; // success
714 }
715 *sp = callee_save;
716 self->SetTopOfStack(sp, 0);
717 field = FindFieldFromCode(field_idx, referrer, self, false, true, true, sizeof(int64_t));
718 if (LIKELY(field != NULL)) {
719 if (UNLIKELY(obj == NULL)) {
720 ThrowNullPointerExceptionForFieldAccess(self, field, false);
721 } else {
722 field->Set64(obj, new_value);
723 return 0; // success
724 }
725 }
726 return -1; // failure
727}
728
729extern "C" int artSetObjInstanceFromCode(uint32_t field_idx, Object* obj, Object* new_value,
730 const Method* referrer, Thread* self, Method** sp) {
731 Field* field = FindFieldFast(field_idx, referrer, false, true, sizeof(Object*));
732 if (LIKELY(field != NULL && obj != NULL)) {
733 field->SetObj(obj, new_value);
734 return 0; // success
735 }
736 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
737 field = FindFieldFromCode(field_idx, referrer, self, false, false, true, sizeof(Object*));
738 if (LIKELY(field != NULL)) {
739 if (UNLIKELY(obj == NULL)) {
740 ThrowNullPointerExceptionForFieldAccess(self, field, false);
741 } else {
742 field->SetObj(obj, new_value);
743 return 0; // success
744 }
745 }
746 return -1; // failure
747}
748
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800749extern "C" Object* artAllocObjectFromCode(uint32_t type_idx, Method* method,
750 Thread* self, Method** sp) {
751 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
752 return AllocObjectFromCode(type_idx, method, self, false);
753}
754
Ian Rogers28ad40d2011-10-27 15:19:26 -0700755extern "C" Object* artAllocObjectFromCodeWithAccessCheck(uint32_t type_idx, Method* method,
756 Thread* self, Method** sp) {
757 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800758 return AllocObjectFromCode(type_idx, method, self, true);
759}
760
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800761extern "C" Array* artAllocArrayFromCode(uint32_t type_idx, Method* method, int32_t component_count,
762 Thread* self, Method** sp) {
763 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
764 return AllocArrayFromCode(type_idx, method, component_count, self, false);
765}
766
767extern "C" Array* artAllocArrayFromCodeWithAccessCheck(uint32_t type_idx, Method* method,
768 int32_t component_count,
769 Thread* self, Method** sp) {
770 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
771 return AllocArrayFromCode(type_idx, method, component_count, self, true);
772}
773
Ian Rogersce9eca62011-10-07 17:11:03 -0700774extern "C" Array* artCheckAndAllocArrayFromCode(uint32_t type_idx, Method* method,
775 int32_t component_count, Thread* self, Method** sp) {
776 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800777 return CheckAndAllocArrayFromCode(type_idx, method, component_count, self, false);
Ian Rogersce9eca62011-10-07 17:11:03 -0700778}
779
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800780extern "C" Array* artCheckAndAllocArrayFromCodeWithAccessCheck(uint32_t type_idx, Method* method,
781 int32_t component_count,
782 Thread* self, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700783 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800784 return CheckAndAllocArrayFromCode(type_idx, method, component_count, self, true);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700785}
786
Ian Rogerscaab8c42011-10-12 12:11:18 -0700787// Assignable test for code, won't throw. Null and equality tests already performed
788uint32_t IsAssignableFromCode(const Class* klass, const Class* ref_class) {
789 DCHECK(klass != NULL);
790 DCHECK(ref_class != NULL);
791 return klass->IsAssignableFrom(ref_class) ? 1 : 0;
792}
793
Shih-wei Liao2d831012011-09-28 22:06:53 -0700794// Check whether it is safe to cast one class to the other, throw exception and return -1 on failure
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700795extern "C" int artCheckCastFromCode(const Class* a, const Class* b, Thread* self, Method** sp) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700796 DCHECK(a->IsClass()) << PrettyClass(a);
797 DCHECK(b->IsClass()) << PrettyClass(b);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700798 if (LIKELY(b->IsAssignableFrom(a))) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700799 return 0; // Success
800 } else {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700801 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700802 Thread::Current()->ThrowNewExceptionF("Ljava/lang/ClassCastException;",
Shih-wei Liao2d831012011-09-28 22:06:53 -0700803 "%s cannot be cast to %s",
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800804 PrettyDescriptor(a).c_str(),
805 PrettyDescriptor(b).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700806 return -1; // Failure
807 }
808}
809
810// Tests whether 'element' can be assigned into an array of type 'array_class'.
811// Returns 0 on success and -1 if an exception is pending.
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700812extern "C" int artCanPutArrayElementFromCode(const Object* element, const Class* array_class,
813 Thread* self, Method** sp) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700814 DCHECK(array_class != NULL);
815 // element can't be NULL as we catch this is screened in runtime_support
816 Class* element_class = element->GetClass();
817 Class* component_type = array_class->GetComponentType();
Ian Rogerscaab8c42011-10-12 12:11:18 -0700818 if (LIKELY(component_type->IsAssignableFrom(element_class))) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700819 return 0; // Success
820 } else {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700821 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700822 Thread::Current()->ThrowNewExceptionF("Ljava/lang/ArrayStoreException;",
Elliott Hughesd3127d62012-01-17 13:42:26 -0800823 "%s cannot be stored in an array of type %s",
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800824 PrettyDescriptor(element_class).c_str(),
825 PrettyDescriptor(array_class).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700826 return -1; // Failure
827 }
828}
829
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700830extern "C" Class* artInitializeStaticStorageFromCode(uint32_t type_idx, const Method* referrer,
831 Thread* self, Method** sp) {
832 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughesf3778f62012-01-26 14:14:35 -0800833 return ResolveVerifyAndClinit(type_idx, referrer, self, true, true);
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700834}
835
Ian Rogers28ad40d2011-10-27 15:19:26 -0700836extern "C" Class* artInitializeTypeFromCode(uint32_t type_idx, const Method* referrer, Thread* self,
837 Method** sp) {
838 // Called when method->dex_cache_resolved_types_[] misses
839 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughesf3778f62012-01-26 14:14:35 -0800840 return ResolveVerifyAndClinit(type_idx, referrer, self, false, false);
Ian Rogers28ad40d2011-10-27 15:19:26 -0700841}
842
Ian Rogersb093c6b2011-10-31 16:19:55 -0700843extern "C" Class* artInitializeTypeAndVerifyAccessFromCode(uint32_t type_idx,
844 const Method* referrer, Thread* self,
845 Method** sp) {
846 // Called when caller isn't guaranteed to have access to a type and the dex cache may be
847 // unpopulated
848 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughesf3778f62012-01-26 14:14:35 -0800849 return ResolveVerifyAndClinit(type_idx, referrer, self, false, true);
Ian Rogersb093c6b2011-10-31 16:19:55 -0700850}
851
Brian Carlstromaded5f72011-10-07 17:15:04 -0700852extern "C" String* artResolveStringFromCode(Method* referrer, int32_t string_idx,
853 Thread* self, Method** sp) {
854 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
855 return ResolveStringFromCode(referrer, string_idx);
856}
857
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700858extern "C" int artUnlockObjectFromCode(Object* obj, Thread* self, Method** sp) {
859 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700860 DCHECK(obj != NULL); // Assumed to have been checked before entry
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700861 // MonitorExit may throw exception
862 return obj->MonitorExit(self) ? 0 /* Success */ : -1 /* Failure */;
863}
864
865extern "C" void artLockObjectFromCode(Object* obj, Thread* thread, Method** sp) {
866 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsOnly);
867 DCHECK(obj != NULL); // Assumed to have been checked before entry
868 obj->MonitorEnter(thread); // May block
Shih-wei Liao2d831012011-09-28 22:06:53 -0700869 DCHECK(thread->HoldsLock(obj));
870 // Only possible exception is NPE and is handled before entry
871 DCHECK(!thread->IsExceptionPending());
872}
873
Ian Rogers4a510d82011-10-09 14:30:24 -0700874void CheckSuspendFromCode(Thread* thread) {
875 // Called when thread->suspend_count_ != 0
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700876 Runtime::Current()->GetThreadList()->FullSuspendCheck(thread);
877}
878
Ian Rogers4a510d82011-10-09 14:30:24 -0700879extern "C" void artTestSuspendFromCode(Thread* thread, Method** sp) {
880 // Called when suspend count check value is 0 and thread->suspend_count_ != 0
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700881 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsOnly);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700882 Runtime::Current()->GetThreadList()->FullSuspendCheck(thread);
883}
884
885/*
886 * Fill the array with predefined constant values, throwing exceptions if the array is null or
887 * not of sufficient length.
888 *
889 * NOTE: When dealing with a raw dex file, the data to be copied uses
890 * little-endian ordering. Require that oat2dex do any required swapping
891 * so this routine can get by with a memcpy().
892 *
893 * Format of the data:
894 * ushort ident = 0x0300 magic value
895 * ushort width width of each element in the table
896 * uint size number of elements in the table
897 * ubyte data[size*width] table of data values (may contain a single-byte
898 * padding at the end)
899 */
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700900extern "C" int artHandleFillArrayDataFromCode(Array* array, const uint16_t* table,
901 Thread* self, Method** sp) {
902 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700903 DCHECK_EQ(table[0], 0x0300);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700904 if (UNLIKELY(array == NULL)) {
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700905 Thread::Current()->ThrowNewExceptionF("Ljava/lang/NullPointerException;",
906 "null array in fill array");
Shih-wei Liao2d831012011-09-28 22:06:53 -0700907 return -1; // Error
908 }
909 DCHECK(array->IsArrayInstance() && !array->IsObjectArray());
910 uint32_t size = (uint32_t)table[2] | (((uint32_t)table[3]) << 16);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700911 if (UNLIKELY(static_cast<int32_t>(size) > array->GetLength())) {
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700912 Thread::Current()->ThrowNewExceptionF("Ljava/lang/ArrayIndexOutOfBoundsException;",
913 "failed array fill. length=%d; index=%d", array->GetLength(), size);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700914 return -1; // Error
915 }
916 uint16_t width = table[1];
917 uint32_t size_in_bytes = size * width;
Ian Rogersa15e67d2012-02-28 13:51:55 -0800918 memcpy((char*)array + Array::DataOffset(width).Int32Value(), (char*)&table[4], size_in_bytes);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700919 return 0; // Success
920}
921
Shih-wei Liaoddbd01a2012-03-09 14:42:12 -0800922static uint64_t artInvokeCommon(uint32_t method_idx, Object* this_object, Method* caller_method,
923 Thread* self, Method** sp, bool access_check, InvokeType type){
924 Method* method = FindMethodFast(method_idx, this_object, caller_method, access_check, type);
925 if (UNLIKELY(method == NULL)) {
926 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
927 if (UNLIKELY(this_object == NULL && type != kDirect && type != kStatic)) {
928 ThrowNullPointerExceptionForMethodAccess(self, caller_method, method_idx, type);
929 return 0; // failure
930 }
931 method = FindMethodFromCode(method_idx, this_object, caller_method, self, access_check, type);
932 if (UNLIKELY(method == NULL)) {
933 CHECK(self->IsExceptionPending());
934 return 0; // failure
935 }
936 }
937 DCHECK(!self->IsExceptionPending());
938 const void* code = method->GetCode();
939
940 uint32_t method_uint = reinterpret_cast<uint32_t>(method);
941 uint64_t code_uint = reinterpret_cast<uint32_t>(code);
942 uint64_t result = ((code_uint << 32) | method_uint);
943 return result;
944}
945
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800946// See comments in runtime_support_asm.S
947extern "C" uint64_t artInvokeInterfaceTrampoline(uint32_t method_idx, Object* this_object,
948 Method* caller_method, Thread* self,
949 Method** sp) {
Ian Rogersc8b306f2012-02-17 21:34:44 -0800950 return artInvokeCommon(method_idx, this_object, caller_method, self, sp, false, kInterface);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800951}
952
953extern "C" uint64_t artInvokeInterfaceTrampolineWithAccessCheck(uint32_t method_idx,
954 Object* this_object,
955 Method* caller_method, Thread* self,
956 Method** sp) {
Ian Rogersc8b306f2012-02-17 21:34:44 -0800957 return artInvokeCommon(method_idx, this_object, caller_method, self, sp, true, kInterface);
958}
959
960
961extern "C" uint64_t artInvokeDirectTrampolineWithAccessCheck(uint32_t method_idx,
962 Object* this_object,
963 Method* caller_method, Thread* self,
964 Method** sp) {
965 return artInvokeCommon(method_idx, this_object, caller_method, self, sp, true, kDirect);
966}
967
968extern "C" uint64_t artInvokeStaticTrampolineWithAccessCheck(uint32_t method_idx,
969 Object* this_object,
970 Method* caller_method, Thread* self,
971 Method** sp) {
972 return artInvokeCommon(method_idx, this_object, caller_method, self, sp, true, kStatic);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800973}
974
975extern "C" uint64_t artInvokeSuperTrampolineWithAccessCheck(uint32_t method_idx,
976 Object* this_object,
977 Method* caller_method, Thread* self,
978 Method** sp) {
Ian Rogersc8b306f2012-02-17 21:34:44 -0800979 return artInvokeCommon(method_idx, this_object, caller_method, self, sp, true, kSuper);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800980}
981
982extern "C" uint64_t artInvokeVirtualTrampolineWithAccessCheck(uint32_t method_idx,
983 Object* this_object,
984 Method* caller_method, Thread* self,
985 Method** sp) {
Ian Rogersc8b306f2012-02-17 21:34:44 -0800986 return artInvokeCommon(method_idx, this_object, caller_method, self, sp, true, kVirtual);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800987}
988
Ian Rogers466bb252011-10-14 03:29:56 -0700989static void ThrowNewUndeclaredThrowableException(Thread* self, JNIEnv* env, Throwable* exception) {
990 ScopedLocalRef<jclass> jlr_UTE_class(env,
991 env->FindClass("java/lang/reflect/UndeclaredThrowableException"));
992 if (jlr_UTE_class.get() == NULL) {
993 LOG(ERROR) << "Couldn't throw new \"java/lang/reflect/UndeclaredThrowableException\"";
994 } else {
995 jmethodID jlre_UTE_constructor = env->GetMethodID(jlr_UTE_class.get(), "<init>",
996 "(Ljava/lang/Throwable;)V");
997 jthrowable jexception = AddLocalReference<jthrowable>(env, exception);
998 ScopedLocalRef<jthrowable> jlr_UTE(env,
999 reinterpret_cast<jthrowable>(env->NewObject(jlr_UTE_class.get(), jlre_UTE_constructor,
1000 jexception)));
1001 int rc = env->Throw(jlr_UTE.get());
1002 if (rc != JNI_OK) {
1003 LOG(ERROR) << "Couldn't throw new \"java/lang/reflect/UndeclaredThrowableException\"";
1004 }
1005 }
1006 CHECK(self->IsExceptionPending());
1007}
1008
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001009// Handler for invocation on proxy methods. On entry a frame will exist for the proxy object method
1010// which is responsible for recording callee save registers. We explicitly handlerize incoming
1011// reference arguments (so they survive GC) and create a boxed argument array. Finally we invoke
1012// the invocation handler which is a field within the proxy object receiver.
1013extern "C" void artProxyInvokeHandler(Method* proxy_method, Object* receiver,
Ian Rogers466bb252011-10-14 03:29:56 -07001014 Thread* self, byte* stack_args) {
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001015 // Register the top of the managed stack
Ian Rogers466bb252011-10-14 03:29:56 -07001016 Method** proxy_sp = reinterpret_cast<Method**>(stack_args - 12);
1017 DCHECK_EQ(*proxy_sp, proxy_method);
1018 self->SetTopOfStack(proxy_sp, 0);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001019 // TODO: ARM specific
1020 DCHECK_EQ(proxy_method->GetFrameSizeInBytes(), 48u);
1021 // Start new JNI local reference state
1022 JNIEnvExt* env = self->GetJniEnv();
1023 ScopedJniEnvLocalRefState env_state(env);
1024 // Create local ref. copies of proxy method and the receiver
1025 jobject rcvr_jobj = AddLocalReference<jobject>(env, receiver);
1026 jobject proxy_method_jobj = AddLocalReference<jobject>(env, proxy_method);
1027
Ian Rogers14b1b242011-10-11 18:54:34 -07001028 // Placing into local references incoming arguments from the caller's register arguments,
1029 // replacing original Object* with jobject
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001030 MethodHelper proxy_mh(proxy_method);
1031 const size_t num_params = proxy_mh.NumArgs();
Ian Rogers14b1b242011-10-11 18:54:34 -07001032 size_t args_in_regs = 0;
1033 for (size_t i = 1; i < num_params; i++) { // skip receiver
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001034 args_in_regs = args_in_regs + (proxy_mh.IsParamALongOrDouble(i) ? 2 : 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001035 if (args_in_regs > 2) {
1036 args_in_regs = 2;
1037 break;
1038 }
1039 }
1040 size_t cur_arg = 0; // current stack location to read
1041 size_t param_index = 1; // skip receiver
1042 while (cur_arg < args_in_regs && param_index < num_params) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001043 if (proxy_mh.IsParamAReference(param_index)) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001044 Object* obj = *reinterpret_cast<Object**>(stack_args + (cur_arg * kPointerSize));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001045 jobject jobj = AddLocalReference<jobject>(env, obj);
Ian Rogers14b1b242011-10-11 18:54:34 -07001046 *reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)) = jobj;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001047 }
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001048 cur_arg = cur_arg + (proxy_mh.IsParamALongOrDouble(param_index) ? 2 : 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001049 param_index++;
1050 }
1051 // Placing into local references incoming arguments from the caller's stack arguments
Ian Rogers466bb252011-10-14 03:29:56 -07001052 cur_arg += 11; // skip callee saves, LR, Method* and out arg spills for R1 to R3
Ian Rogers14b1b242011-10-11 18:54:34 -07001053 while (param_index < num_params) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001054 if (proxy_mh.IsParamAReference(param_index)) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001055 Object* obj = *reinterpret_cast<Object**>(stack_args + (cur_arg * kPointerSize));
1056 jobject jobj = AddLocalReference<jobject>(env, obj);
1057 *reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)) = jobj;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001058 }
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001059 cur_arg = cur_arg + (proxy_mh.IsParamALongOrDouble(param_index) ? 2 : 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001060 param_index++;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001061 }
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001062 // Set up arguments array and place in local IRT during boxing (which may allocate/GC)
1063 jvalue args_jobj[3];
1064 args_jobj[0].l = rcvr_jobj;
1065 args_jobj[1].l = proxy_method_jobj;
Ian Rogers466bb252011-10-14 03:29:56 -07001066 // Args array, if no arguments then NULL (don't include receiver in argument count)
1067 args_jobj[2].l = NULL;
1068 ObjectArray<Object>* args = NULL;
1069 if ((num_params - 1) > 0) {
1070 args = Runtime::Current()->GetClassLinker()->AllocObjectArray<Object>(num_params - 1);
Elliott Hughes362f9bc2011-10-17 18:56:41 -07001071 if (args == NULL) {
Ian Rogers466bb252011-10-14 03:29:56 -07001072 CHECK(self->IsExceptionPending());
1073 return;
1074 }
1075 args_jobj[2].l = AddLocalReference<jobjectArray>(env, args);
1076 }
1077 // Convert proxy method into expected interface method
1078 Method* interface_method = proxy_method->FindOverriddenMethod();
Ian Rogers19846512012-02-24 11:42:47 -08001079 DCHECK(interface_method != NULL);
1080 DCHECK(!interface_method->IsProxyMethod()) << PrettyMethod(interface_method);
Ian Rogers466bb252011-10-14 03:29:56 -07001081 args_jobj[1].l = AddLocalReference<jobject>(env, interface_method);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001082 // Box arguments
Ian Rogers14b1b242011-10-11 18:54:34 -07001083 cur_arg = 0; // reset stack location to read to start
1084 // reset index, will index into param type array which doesn't include the receiver
1085 param_index = 0;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001086 ObjectArray<Class>* param_types = proxy_mh.GetParameterTypes();
Ian Rogers19846512012-02-24 11:42:47 -08001087 DCHECK(param_types != NULL);
Ian Rogers14b1b242011-10-11 18:54:34 -07001088 // Check number of parameter types agrees with number from the Method - less 1 for the receiver.
Ian Rogers19846512012-02-24 11:42:47 -08001089 DCHECK_EQ(static_cast<size_t>(param_types->GetLength()), num_params - 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001090 while (cur_arg < args_in_regs && param_index < (num_params - 1)) {
1091 Class* param_type = param_types->Get(param_index);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001092 Object* obj;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001093 if (!param_type->IsPrimitive()) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001094 obj = self->DecodeJObject(*reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001095 } else {
Ian Rogers14b1b242011-10-11 18:54:34 -07001096 JValue val = *reinterpret_cast<JValue*>(stack_args + (cur_arg * kPointerSize));
1097 if (cur_arg == 1 && (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble())) {
1098 // long/double split over regs and stack, mask in high half from stack arguments
Ian Rogers466bb252011-10-14 03:29:56 -07001099 uint64_t high_half = *reinterpret_cast<uint32_t*>(stack_args + (13 * kPointerSize));
Ian Rogerscaab8c42011-10-12 12:11:18 -07001100 val.j = (val.j & 0xffffffffULL) | (high_half << 32);
Ian Rogers14b1b242011-10-11 18:54:34 -07001101 }
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07001102 BoxPrimitive(env, param_type->GetPrimitiveType(), val);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001103 if (self->IsExceptionPending()) {
1104 return;
1105 }
1106 obj = val.l;
1107 }
Ian Rogers14b1b242011-10-11 18:54:34 -07001108 args->Set(param_index, obj);
1109 cur_arg = cur_arg + (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble() ? 2 : 1);
1110 param_index++;
1111 }
1112 // Placing into local references incoming arguments from the caller's stack arguments
Ian Rogers466bb252011-10-14 03:29:56 -07001113 cur_arg += 11; // skip callee saves, LR, Method* and out arg spills for R1 to R3
1114 while (param_index < (num_params - 1)) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001115 Class* param_type = param_types->Get(param_index);
1116 Object* obj;
1117 if (!param_type->IsPrimitive()) {
1118 obj = self->DecodeJObject(*reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)));
1119 } else {
1120 JValue val = *reinterpret_cast<JValue*>(stack_args + (cur_arg * kPointerSize));
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07001121 BoxPrimitive(env, param_type->GetPrimitiveType(), val);
Ian Rogers14b1b242011-10-11 18:54:34 -07001122 if (self->IsExceptionPending()) {
1123 return;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001124 }
Ian Rogers14b1b242011-10-11 18:54:34 -07001125 obj = val.l;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001126 }
Ian Rogers14b1b242011-10-11 18:54:34 -07001127 args->Set(param_index, obj);
1128 cur_arg = cur_arg + (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble() ? 2 : 1);
1129 param_index++;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001130 }
1131 // Get the InvocationHandler method and the field that holds it within the Proxy object
1132 static jmethodID inv_hand_invoke_mid = NULL;
1133 static jfieldID proxy_inv_hand_fid = NULL;
1134 if (proxy_inv_hand_fid == NULL) {
Ian Rogers466bb252011-10-14 03:29:56 -07001135 ScopedLocalRef<jclass> proxy(env, env->FindClass("java/lang/reflect/Proxy"));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001136 proxy_inv_hand_fid = env->GetFieldID(proxy.get(), "h", "Ljava/lang/reflect/InvocationHandler;");
Ian Rogers466bb252011-10-14 03:29:56 -07001137 ScopedLocalRef<jclass> inv_hand_class(env, env->FindClass("java/lang/reflect/InvocationHandler"));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001138 inv_hand_invoke_mid = env->GetMethodID(inv_hand_class.get(), "invoke",
1139 "(Ljava/lang/Object;Ljava/lang/reflect/Method;[Ljava/lang/Object;)Ljava/lang/Object;");
1140 }
Ian Rogers466bb252011-10-14 03:29:56 -07001141 DCHECK(env->IsInstanceOf(rcvr_jobj, env->FindClass("java/lang/reflect/Proxy")));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001142 jobject inv_hand = env->GetObjectField(rcvr_jobj, proxy_inv_hand_fid);
1143 // Call InvocationHandler.invoke
1144 jobject result = env->CallObjectMethodA(inv_hand, inv_hand_invoke_mid, args_jobj);
1145 // Place result in stack args
1146 if (!self->IsExceptionPending()) {
1147 Object* result_ref = self->DecodeJObject(result);
1148 if (result_ref != NULL) {
1149 JValue result_unboxed;
Elliott Hughesb600b3f2012-03-14 13:57:24 -07001150 bool unboxed_okay = UnboxPrimitive(env, result_ref, proxy_mh.GetReturnType(), result_unboxed, "result");
1151 CHECK(unboxed_okay);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001152 *reinterpret_cast<JValue*>(stack_args) = result_unboxed;
1153 } else {
1154 *reinterpret_cast<jobject*>(stack_args) = NULL;
1155 }
Ian Rogers466bb252011-10-14 03:29:56 -07001156 } else {
1157 // In the case of checked exceptions that aren't declared, the exception must be wrapped by
1158 // a UndeclaredThrowableException.
1159 Throwable* exception = self->GetException();
1160 self->ClearException();
1161 if (!exception->IsCheckedException()) {
1162 self->SetException(exception);
1163 } else {
Ian Rogersc2b44472011-12-14 21:17:17 -08001164 SynthesizedProxyClass* proxy_class =
1165 down_cast<SynthesizedProxyClass*>(proxy_method->GetDeclaringClass());
1166 int throws_index = -1;
1167 size_t num_virt_methods = proxy_class->NumVirtualMethods();
1168 for (size_t i = 0; i < num_virt_methods; i++) {
1169 if (proxy_class->GetVirtualMethod(i) == proxy_method) {
1170 throws_index = i;
1171 break;
1172 }
1173 }
1174 CHECK_NE(throws_index, -1);
1175 ObjectArray<Class>* declared_exceptions = proxy_class->GetThrows()->Get(throws_index);
Ian Rogers466bb252011-10-14 03:29:56 -07001176 Class* exception_class = exception->GetClass();
1177 bool declares_exception = false;
1178 for (int i = 0; i < declared_exceptions->GetLength() && !declares_exception; i++) {
1179 Class* declared_exception = declared_exceptions->Get(i);
1180 declares_exception = declared_exception->IsAssignableFrom(exception_class);
1181 }
1182 if (declares_exception) {
1183 self->SetException(exception);
1184 } else {
1185 ThrowNewUndeclaredThrowableException(self, env, exception);
1186 }
1187 }
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001188 }
1189}
1190
jeffhaoe343b762011-12-05 16:36:44 -08001191extern "C" const void* artTraceMethodEntryFromCode(Method* method, Thread* self, uintptr_t lr) {
jeffhao2692b572011-12-16 15:42:28 -08001192 Trace* tracer = Runtime::Current()->GetTracer();
jeffhaoe343b762011-12-05 16:36:44 -08001193 TraceStackFrame trace_frame = TraceStackFrame(method, lr);
1194 self->PushTraceStackFrame(trace_frame);
1195
jeffhao2692b572011-12-16 15:42:28 -08001196 tracer->LogMethodTraceEvent(self, method, Trace::kMethodTraceEnter);
jeffhaoa9ef3fd2011-12-13 18:33:43 -08001197
jeffhao2692b572011-12-16 15:42:28 -08001198 return tracer->GetSavedCodeFromMap(method);
jeffhaoe343b762011-12-05 16:36:44 -08001199}
1200
1201extern "C" uintptr_t artTraceMethodExitFromCode() {
jeffhao2692b572011-12-16 15:42:28 -08001202 Trace* tracer = Runtime::Current()->GetTracer();
jeffhaoe343b762011-12-05 16:36:44 -08001203 TraceStackFrame trace_frame = Thread::Current()->PopTraceStackFrame();
1204 Method* method = trace_frame.method_;
1205 uintptr_t lr = trace_frame.return_pc_;
jeffhaoa9ef3fd2011-12-13 18:33:43 -08001206
jeffhao2692b572011-12-16 15:42:28 -08001207 tracer->LogMethodTraceEvent(Thread::Current(), method, Trace::kMethodTraceExit);
jeffhaoe343b762011-12-05 16:36:44 -08001208
1209 return lr;
1210}
1211
Elliott Hughes0ece7b92012-03-09 18:14:40 -08001212uint32_t TraceMethodUnwindFromCode(Thread* self) {
jeffhao2692b572011-12-16 15:42:28 -08001213 Trace* tracer = Runtime::Current()->GetTracer();
jeffhaoe343b762011-12-05 16:36:44 -08001214 TraceStackFrame trace_frame = self->PopTraceStackFrame();
1215 Method* method = trace_frame.method_;
Elliott Hughesad6c9c32012-01-19 17:39:12 -08001216 uint32_t lr = trace_frame.return_pc_;
jeffhaoa9ef3fd2011-12-13 18:33:43 -08001217
jeffhao2692b572011-12-16 15:42:28 -08001218 tracer->LogMethodTraceEvent(self, method, Trace::kMethodTraceUnwind);
jeffhaoe343b762011-12-05 16:36:44 -08001219
1220 return lr;
1221}
1222
Elliott Hughes0ece7b92012-03-09 18:14:40 -08001223int CmplFloat(float a, float b) {
Ian Rogersa433b2e2012-03-09 08:40:33 -08001224 if (a == b) {
1225 return 0;
1226 } else if (a < b) {
1227 return -1;
1228 } else if (a > b) {
1229 return 1;
1230 }
1231 return -1;
1232}
1233
Elliott Hughes0ece7b92012-03-09 18:14:40 -08001234int CmpgFloat(float a, float b) {
Ian Rogersa433b2e2012-03-09 08:40:33 -08001235 if (a == b) {
1236 return 0;
1237 } else if (a < b) {
1238 return -1;
1239 } else if (a > b) {
1240 return 1;
1241 }
1242 return 1;
1243}
1244
Elliott Hughes0ece7b92012-03-09 18:14:40 -08001245int CmpgDouble(double a, double b) {
Ian Rogersa433b2e2012-03-09 08:40:33 -08001246 if (a == b) {
1247 return 0;
1248 } else if (a < b) {
1249 return -1;
1250 } else if (a > b) {
1251 return 1;
1252 }
1253 return 1;
1254}
1255
Elliott Hughes0ece7b92012-03-09 18:14:40 -08001256int CmplDouble(double a, double b) {
Ian Rogersa433b2e2012-03-09 08:40:33 -08001257 if (a == b) {
1258 return 0;
1259 } else if (a < b) {
1260 return -1;
1261 } else if (a > b) {
1262 return 1;
1263 }
1264 return -1;
1265}
1266
Shih-wei Liao2d831012011-09-28 22:06:53 -07001267/*
1268 * Float/double conversion requires clamping to min and max of integer form. If
1269 * target doesn't support this normally, use these.
1270 */
1271int64_t D2L(double d) {
Ian Rogersa433b2e2012-03-09 08:40:33 -08001272 static const double kMaxLong = (double) (int64_t) 0x7fffffffffffffffULL;
1273 static const double kMinLong = (double) (int64_t) 0x8000000000000000ULL;
1274 if (d >= kMaxLong) {
1275 return (int64_t) 0x7fffffffffffffffULL;
1276 } else if (d <= kMinLong) {
1277 return (int64_t) 0x8000000000000000ULL;
1278 } else if (d != d) { // NaN case
1279 return 0;
1280 } else {
1281 return (int64_t) d;
1282 }
Shih-wei Liao2d831012011-09-28 22:06:53 -07001283}
1284
1285int64_t F2L(float f) {
Ian Rogersa433b2e2012-03-09 08:40:33 -08001286 static const float kMaxLong = (float) (int64_t) 0x7fffffffffffffffULL;
1287 static const float kMinLong = (float) (int64_t) 0x8000000000000000ULL;
1288 if (f >= kMaxLong) {
1289 return (int64_t) 0x7fffffffffffffffULL;
1290 } else if (f <= kMinLong) {
1291 return (int64_t) 0x8000000000000000ULL;
1292 } else if (f != f) { // NaN case
1293 return 0;
1294 } else {
1295 return (int64_t) f;
1296 }
Shih-wei Liao2d831012011-09-28 22:06:53 -07001297}
1298
1299} // namespace art