blob: ff43d1f2683cbf482c81800a0e2a1cf68517f479 [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
Ian Rogerscaab8c42011-10-12 12:11:18 -070019#include "dex_cache.h"
Elliott Hughes6c8867d2011-10-03 16:34:05 -070020#include "dex_verifier.h"
Ian Rogerscaab8c42011-10-12 12:11:18 -070021#include "macros.h"
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080022#include "object.h"
23#include "object_utils.h"
Ian Rogersdfcdf1a2011-10-10 17:50:35 -070024#include "reflection.h"
jeffhaoe343b762011-12-05 16:36:44 -080025#include "trace.h"
Ian Rogersdfcdf1a2011-10-10 17:50:35 -070026#include "ScopedLocalRef.h"
Elliott Hughes6c8867d2011-10-03 16:34:05 -070027
Shih-wei Liao2d831012011-09-28 22:06:53 -070028namespace art {
29
Ian Rogers4f0d07c2011-10-06 23:38:47 -070030// Place a special frame at the TOS that will save the callee saves for the given type
31static void FinishCalleeSaveFrameSetup(Thread* self, Method** sp, Runtime::CalleeSaveType type) {
Ian Rogersce9eca62011-10-07 17:11:03 -070032 // Be aware the store below may well stomp on an incoming argument
Ian Rogers4f0d07c2011-10-06 23:38:47 -070033 *sp = Runtime::Current()->GetCalleeSaveMethod(type);
34 self->SetTopOfStack(sp, 0);
35}
36
Shih-wei Liao2d831012011-09-28 22:06:53 -070037// Temporary debugging hook for compiler.
38extern void DebugMe(Method* method, uint32_t info) {
39 LOG(INFO) << "DebugMe";
40 if (method != NULL) {
41 LOG(INFO) << PrettyMethod(method);
42 }
43 LOG(INFO) << "Info: " << info;
44}
45
Brian Carlstrom6fd03fb2011-10-17 16:11:00 -070046extern "C" uint32_t artObjectInitFromCode(Object* o, Thread* self, Method** sp) {
47 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogerscaab8c42011-10-12 12:11:18 -070048 Class* c = o->GetClass();
49 if (UNLIKELY(c->IsFinalizable())) {
Ian Rogers5d4bdc22011-11-02 22:15:43 -070050 Heap::AddFinalizerReference(self, o);
Ian Rogerscaab8c42011-10-12 12:11:18 -070051 }
52 /*
53 * NOTE: once debugger/profiler support is added, we'll need to check
54 * here and branch to actual compiled object.<init> to handle any
Ian Rogers0571d352011-11-03 19:51:38 -070055 * breakpoint/logging activities if either is active.
Ian Rogerscaab8c42011-10-12 12:11:18 -070056 */
Brian Carlstrom6fd03fb2011-10-17 16:11:00 -070057 return self->IsExceptionPending() ? -1 : 0;
Ian Rogerscaab8c42011-10-12 12:11:18 -070058}
59
Shih-wei Liao2d831012011-09-28 22:06:53 -070060// Return value helper for jobject return types
61extern Object* DecodeJObjectInThread(Thread* thread, jobject obj) {
Brian Carlstrom6f495f22011-10-10 15:05:03 -070062 if (thread->IsExceptionPending()) {
63 return NULL;
64 }
Shih-wei Liao2d831012011-09-28 22:06:53 -070065 return thread->DecodeJObject(obj);
66}
67
68extern void* FindNativeMethod(Thread* thread) {
69 DCHECK(Thread::Current() == thread);
70
71 Method* method = const_cast<Method*>(thread->GetCurrentMethod());
72 DCHECK(method != NULL);
73
74 // Lookup symbol address for method, on failure we'll return NULL with an
75 // exception set, otherwise we return the address of the method we found.
76 void* native_code = thread->GetJniEnv()->vm->FindCodeForNativeMethod(method);
77 if (native_code == NULL) {
78 DCHECK(thread->IsExceptionPending());
79 return NULL;
80 } else {
81 // Register so that future calls don't come here
82 method->RegisterNative(native_code);
83 return native_code;
84 }
85}
86
87// Called by generated call to throw an exception
88extern "C" void artDeliverExceptionFromCode(Throwable* exception, Thread* thread, Method** sp) {
89 /*
90 * exception may be NULL, in which case this routine should
91 * throw NPE. NOTE: this is a convenience for generated code,
92 * which previously did the null check inline and constructed
93 * and threw a NPE if NULL. This routine responsible for setting
94 * exception_ in thread and delivering the exception.
95 */
Ian Rogers4f0d07c2011-10-06 23:38:47 -070096 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -070097 if (exception == NULL) {
98 thread->ThrowNewException("Ljava/lang/NullPointerException;", "throw with null exception");
99 } else {
100 thread->SetException(exception);
101 }
102 thread->DeliverException();
103}
104
105// Deliver an exception that's pending on thread helping set up a callee save frame on the way
106extern "C" void artDeliverPendingExceptionFromCode(Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700107 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700108 thread->DeliverException();
109}
110
111// Called by generated call to throw a NPE exception
112extern "C" void artThrowNullPointerExceptionFromCode(Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700113 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700114 thread->ThrowNewException("Ljava/lang/NullPointerException;", NULL);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700115 thread->DeliverException();
116}
117
118// Called by generated call to throw an arithmetic divide by zero exception
119extern "C" void artThrowDivZeroFromCode(Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700120 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700121 thread->ThrowNewException("Ljava/lang/ArithmeticException;", "divide by zero");
122 thread->DeliverException();
123}
124
125// Called by generated call to throw an arithmetic divide by zero exception
126extern "C" void artThrowArrayBoundsFromCode(int index, int limit, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700127 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
128 thread->ThrowNewExceptionF("Ljava/lang/ArrayIndexOutOfBoundsException;",
129 "length=%d; index=%d", limit, index);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700130 thread->DeliverException();
131}
132
133// Called by the AbstractMethodError stub (not runtime support)
134extern void ThrowAbstractMethodErrorFromCode(Method* method, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700135 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
136 thread->ThrowNewExceptionF("Ljava/lang/AbstractMethodError;",
137 "abstract method \"%s\"", PrettyMethod(method).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700138 thread->DeliverException();
139}
140
141extern "C" void artThrowStackOverflowFromCode(Method* method, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700142 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
jeffhaoe343b762011-12-05 16:36:44 -0800143 // Remove extra entry pushed onto second stack during method tracing
jeffhao2692b572011-12-16 15:42:28 -0800144 if (Runtime::Current()->IsMethodTracingActive()) {
jeffhaoe343b762011-12-05 16:36:44 -0800145 artTraceMethodUnwindFromCode(thread);
146 }
Shih-wei Liao2d831012011-09-28 22:06:53 -0700147 thread->SetStackEndForStackOverflow(); // Allow space on the stack for constructor to execute
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700148 thread->ThrowNewExceptionF("Ljava/lang/StackOverflowError;",
149 "stack size %zdkb; default stack size: %zdkb",
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700150 thread->GetStackSize() / KB, Runtime::Current()->GetDefaultStackSize() / KB);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700151 thread->ResetDefaultStackEnd(); // Return to default stack size
152 thread->DeliverException();
153}
154
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700155static std::string ClassNameFromIndex(Method* method, uint32_t ref,
Ian Rogersd81871c2011-10-03 13:57:23 -0700156 verifier::VerifyErrorRefType ref_type, bool access) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700157 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
158 const DexFile& dex_file = class_linker->FindDexFile(method->GetDeclaringClass()->GetDexCache());
159
160 uint16_t type_idx = 0;
Ian Rogersd81871c2011-10-03 13:57:23 -0700161 if (ref_type == verifier::VERIFY_ERROR_REF_FIELD) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700162 const DexFile::FieldId& id = dex_file.GetFieldId(ref);
163 type_idx = id.class_idx_;
Ian Rogersd81871c2011-10-03 13:57:23 -0700164 } else if (ref_type == verifier::VERIFY_ERROR_REF_METHOD) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700165 const DexFile::MethodId& id = dex_file.GetMethodId(ref);
166 type_idx = id.class_idx_;
Ian Rogersd81871c2011-10-03 13:57:23 -0700167 } else if (ref_type == verifier::VERIFY_ERROR_REF_CLASS) {
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700168 type_idx = ref;
169 } else {
170 CHECK(false) << static_cast<int>(ref_type);
171 }
172
Ian Rogers0571d352011-11-03 19:51:38 -0700173 std::string class_name(PrettyDescriptor(dex_file.StringByTypeIdx(type_idx)));
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700174 if (!access) {
175 return class_name;
176 }
177
178 std::string result;
179 result += "tried to access class ";
180 result += class_name;
181 result += " from class ";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800182 result += PrettyDescriptor(method->GetDeclaringClass());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700183 return result;
184}
185
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700186static std::string FieldNameFromIndex(const Method* method, uint32_t ref,
Ian Rogersd81871c2011-10-03 13:57:23 -0700187 verifier::VerifyErrorRefType ref_type, bool access) {
188 CHECK_EQ(static_cast<int>(ref_type), static_cast<int>(verifier::VERIFY_ERROR_REF_FIELD));
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700189
190 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
191 const DexFile& dex_file = class_linker->FindDexFile(method->GetDeclaringClass()->GetDexCache());
192
193 const DexFile::FieldId& id = dex_file.GetFieldId(ref);
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700194 std::string class_name(PrettyDescriptor(dex_file.GetFieldDeclaringClassDescriptor(id)));
Ian Rogers0571d352011-11-03 19:51:38 -0700195 const char* field_name = dex_file.StringDataByIdx(id.name_idx_);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700196 if (!access) {
197 return class_name + "." + field_name;
198 }
199
200 std::string result;
201 result += "tried to access field ";
202 result += class_name + "." + field_name;
203 result += " from class ";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800204 result += PrettyDescriptor(method->GetDeclaringClass());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700205 return result;
206}
207
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700208static std::string MethodNameFromIndex(const Method* method, uint32_t ref,
Ian Rogersd81871c2011-10-03 13:57:23 -0700209 verifier::VerifyErrorRefType ref_type, bool access) {
210 CHECK_EQ(static_cast<int>(ref_type), static_cast<int>(verifier::VERIFY_ERROR_REF_METHOD));
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700211
212 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
213 const DexFile& dex_file = class_linker->FindDexFile(method->GetDeclaringClass()->GetDexCache());
214
215 const DexFile::MethodId& id = dex_file.GetMethodId(ref);
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700216 std::string class_name(PrettyDescriptor(dex_file.GetMethodDeclaringClassDescriptor(id)));
Ian Rogers0571d352011-11-03 19:51:38 -0700217 const char* method_name = dex_file.StringDataByIdx(id.name_idx_);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700218 if (!access) {
219 return class_name + "." + method_name;
220 }
221
222 std::string result;
223 result += "tried to access method ";
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700224 result += class_name + "." + method_name + ":" +
Ian Rogers0571d352011-11-03 19:51:38 -0700225 dex_file.CreateMethodSignature(id.proto_idx_, NULL);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700226 result += " from class ";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800227 result += PrettyDescriptor(method->GetDeclaringClass());
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700228 return result;
229}
230
231extern "C" void artThrowVerificationErrorFromCode(int32_t kind, int32_t ref, Thread* self, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700232 FinishCalleeSaveFrameSetup(self, sp, Runtime::kSaveAll);
233 Frame frame = self->GetTopOfStack(); // We need the calling method as context to interpret 'ref'
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700234 frame.Next();
235 Method* method = frame.GetMethod();
236
Ian Rogersd81871c2011-10-03 13:57:23 -0700237 verifier::VerifyErrorRefType ref_type =
238 static_cast<verifier::VerifyErrorRefType>(kind >> verifier::kVerifyErrorRefTypeShift);
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700239
240 const char* exception_class = "Ljava/lang/VerifyError;";
241 std::string msg;
242
Ian Rogersd81871c2011-10-03 13:57:23 -0700243 switch (static_cast<verifier::VerifyError>(kind & ~(0xff << verifier::kVerifyErrorRefTypeShift))) {
244 case verifier::VERIFY_ERROR_NO_CLASS:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700245 exception_class = "Ljava/lang/NoClassDefFoundError;";
246 msg = ClassNameFromIndex(method, ref, ref_type, false);
247 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700248 case verifier::VERIFY_ERROR_NO_FIELD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700249 exception_class = "Ljava/lang/NoSuchFieldError;";
250 msg = FieldNameFromIndex(method, ref, ref_type, false);
251 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700252 case verifier::VERIFY_ERROR_NO_METHOD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700253 exception_class = "Ljava/lang/NoSuchMethodError;";
254 msg = MethodNameFromIndex(method, ref, ref_type, false);
255 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700256 case verifier::VERIFY_ERROR_ACCESS_CLASS:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700257 exception_class = "Ljava/lang/IllegalAccessError;";
258 msg = ClassNameFromIndex(method, ref, ref_type, true);
259 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700260 case verifier::VERIFY_ERROR_ACCESS_FIELD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700261 exception_class = "Ljava/lang/IllegalAccessError;";
262 msg = FieldNameFromIndex(method, ref, ref_type, true);
263 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700264 case verifier::VERIFY_ERROR_ACCESS_METHOD:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700265 exception_class = "Ljava/lang/IllegalAccessError;";
266 msg = MethodNameFromIndex(method, ref, ref_type, true);
267 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700268 case verifier::VERIFY_ERROR_CLASS_CHANGE:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700269 exception_class = "Ljava/lang/IncompatibleClassChangeError;";
270 msg = ClassNameFromIndex(method, ref, ref_type, false);
271 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700272 case verifier::VERIFY_ERROR_INSTANTIATION:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700273 exception_class = "Ljava/lang/InstantiationError;";
274 msg = ClassNameFromIndex(method, ref, ref_type, false);
275 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700276 case verifier::VERIFY_ERROR_GENERIC:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700277 // Generic VerifyError; use default exception, no message.
278 break;
Ian Rogersd81871c2011-10-03 13:57:23 -0700279 case verifier::VERIFY_ERROR_NONE:
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700280 CHECK(false);
281 break;
282 }
Elliott Hughes6c8867d2011-10-03 16:34:05 -0700283 self->ThrowNewException(exception_class, msg.c_str());
284 self->DeliverException();
Shih-wei Liao2d831012011-09-28 22:06:53 -0700285}
286
287extern "C" void artThrowInternalErrorFromCode(int32_t errnum, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700288 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700289 LOG(WARNING) << "TODO: internal error detail message. errnum=" << errnum;
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700290 thread->ThrowNewExceptionF("Ljava/lang/InternalError;", "errnum=%d", errnum);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700291 thread->DeliverException();
292}
293
294extern "C" void artThrowRuntimeExceptionFromCode(int32_t errnum, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700295 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700296 LOG(WARNING) << "TODO: runtime exception detail message. errnum=" << errnum;
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700297 thread->ThrowNewExceptionF("Ljava/lang/RuntimeException;", "errnum=%d", errnum);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700298 thread->DeliverException();
299}
300
Elliott Hughese1410a22011-10-04 12:10:24 -0700301extern "C" void artThrowNoSuchMethodFromCode(int32_t method_idx, Thread* self, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700302 FinishCalleeSaveFrameSetup(self, sp, Runtime::kSaveAll);
303 Frame frame = self->GetTopOfStack(); // We need the calling method as context for the method_idx
Elliott Hughese1410a22011-10-04 12:10:24 -0700304 frame.Next();
305 Method* method = frame.GetMethod();
Elliott Hughese1410a22011-10-04 12:10:24 -0700306 self->ThrowNewException("Ljava/lang/NoSuchMethodError;",
Ian Rogersd81871c2011-10-03 13:57:23 -0700307 MethodNameFromIndex(method, method_idx, verifier::VERIFY_ERROR_REF_METHOD, false).c_str());
Elliott Hughese1410a22011-10-04 12:10:24 -0700308 self->DeliverException();
Shih-wei Liao2d831012011-09-28 22:06:53 -0700309}
310
311extern "C" void artThrowNegArraySizeFromCode(int32_t size, Thread* thread, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700312 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kSaveAll);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700313 LOG(WARNING) << "UNTESTED artThrowNegArraySizeFromCode";
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700314 thread->ThrowNewExceptionF("Ljava/lang/NegativeArraySizeException;", "%d", size);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700315 thread->DeliverException();
316}
317
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700318void* UnresolvedDirectMethodTrampolineFromCode(int32_t method_idx, Method** sp, Thread* thread,
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700319 Runtime::TrampolineType type) {
Ian Rogersad25ac52011-10-04 19:13:33 -0700320 // TODO: this code is specific to ARM
321 // On entry the stack pointed by sp is:
322 // | argN | |
323 // | ... | |
324 // | arg4 | |
325 // | arg3 spill | | Caller's frame
326 // | arg2 spill | |
327 // | arg1 spill | |
328 // | Method* | ---
329 // | LR |
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700330 // | ... | callee saves
Ian Rogersad25ac52011-10-04 19:13:33 -0700331 // | R3 | arg3
332 // | R2 | arg2
333 // | R1 | arg1
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700334 // | R0 |
335 // | Method* | <- sp
336 uintptr_t* regs = reinterpret_cast<uintptr_t*>(reinterpret_cast<byte*>(sp) + kPointerSize);
337 DCHECK_EQ(48U, Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes());
338 Method** caller_sp = reinterpret_cast<Method**>(reinterpret_cast<byte*>(sp) + 48);
339 uintptr_t caller_pc = regs[10];
340 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsAndArgs);
Ian Rogersad25ac52011-10-04 19:13:33 -0700341 // Start new JNI local reference state
342 JNIEnvExt* env = thread->GetJniEnv();
Ian Rogersdfcdf1a2011-10-10 17:50:35 -0700343 ScopedJniEnvLocalRefState env_state(env);
Ian Rogersad25ac52011-10-04 19:13:33 -0700344 // Discover shorty (avoid GCs)
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700345 ClassLinker* linker = Runtime::Current()->GetClassLinker();
Ian Rogersad25ac52011-10-04 19:13:33 -0700346 const char* shorty = linker->MethodShorty(method_idx, *caller_sp);
347 size_t shorty_len = strlen(shorty);
Ian Rogers14b1b242011-10-11 18:54:34 -0700348 size_t args_in_regs = 0;
349 for (size_t i = 1; i < shorty_len; i++) {
350 char c = shorty[i];
351 args_in_regs = args_in_regs + (c == 'J' || c == 'D' ? 2 : 1);
352 if (args_in_regs > 3) {
353 args_in_regs = 3;
354 break;
355 }
356 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700357 bool is_static;
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700358 if (type == Runtime::kUnknownMethod) {
Ian Rogersea2a11d2011-10-11 16:48:51 -0700359 Method* caller = *caller_sp;
Ian Rogersdf9a7822011-10-11 16:53:22 -0700360 // less two as return address may span into next dex instruction
361 uint32_t dex_pc = caller->ToDexPC(caller_pc - 2);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800362 const DexFile::CodeItem* code = MethodHelper(caller).GetCodeItem();
Ian Rogersd81871c2011-10-03 13:57:23 -0700363 CHECK_LT(dex_pc, code->insns_size_in_code_units_);
364 const Instruction* instr = Instruction::At(&code->insns_[dex_pc]);
Ian Rogersea2a11d2011-10-11 16:48:51 -0700365 Instruction::Code instr_code = instr->Opcode();
366 is_static = (instr_code == Instruction::INVOKE_STATIC) ||
367 (instr_code == Instruction::INVOKE_STATIC_RANGE);
368 DCHECK(is_static || (instr_code == Instruction::INVOKE_DIRECT) ||
369 (instr_code == Instruction::INVOKE_DIRECT_RANGE));
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700370 } else {
Ian Rogersea2a11d2011-10-11 16:48:51 -0700371 is_static = type == Runtime::kStaticMethod;
372 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700373 // Place into local references incoming arguments from the caller's register arguments
Ian Rogers14b1b242011-10-11 18:54:34 -0700374 size_t cur_arg = 1; // skip method_idx in R0, first arg is in R1
Ian Rogersea2a11d2011-10-11 16:48:51 -0700375 if (!is_static) {
376 Object* obj = reinterpret_cast<Object*>(regs[cur_arg]);
377 cur_arg++;
Ian Rogers14b1b242011-10-11 18:54:34 -0700378 if (args_in_regs < 3) {
379 // If we thought we had fewer than 3 arguments in registers, account for the receiver
380 args_in_regs++;
381 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700382 AddLocalReference<jobject>(env, obj);
383 }
Ian Rogers14b1b242011-10-11 18:54:34 -0700384 size_t shorty_index = 1; // skip return value
385 // Iterate while arguments and arguments in registers (less 1 from cur_arg which is offset to skip
386 // R0)
387 while ((cur_arg - 1) < args_in_regs && shorty_index < shorty_len) {
388 char c = shorty[shorty_index];
389 shorty_index++;
Ian Rogersea2a11d2011-10-11 16:48:51 -0700390 if (c == 'L') {
Ian Rogersad25ac52011-10-04 19:13:33 -0700391 Object* obj = reinterpret_cast<Object*>(regs[cur_arg]);
392 AddLocalReference<jobject>(env, obj);
393 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700394 cur_arg = cur_arg + (c == 'J' || c == 'D' ? 2 : 1);
395 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700396 // Place into local references incoming arguments from the caller's stack arguments
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -0700397 cur_arg += 11; // skip LR, Method* and spills for R1 to R3 and callee saves
Ian Rogers14b1b242011-10-11 18:54:34 -0700398 while (shorty_index < shorty_len) {
399 char c = shorty[shorty_index];
400 shorty_index++;
Ian Rogersea2a11d2011-10-11 16:48:51 -0700401 if (c == 'L') {
Ian Rogers14b1b242011-10-11 18:54:34 -0700402 Object* obj = reinterpret_cast<Object*>(regs[cur_arg]);
Ian Rogersea2a11d2011-10-11 16:48:51 -0700403 AddLocalReference<jobject>(env, obj);
Ian Rogersad25ac52011-10-04 19:13:33 -0700404 }
Ian Rogersea2a11d2011-10-11 16:48:51 -0700405 cur_arg = cur_arg + (c == 'J' || c == 'D' ? 2 : 1);
Ian Rogersad25ac52011-10-04 19:13:33 -0700406 }
407 // Resolve method filling in dex cache
408 Method* called = linker->ResolveMethod(method_idx, *caller_sp, true);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700409 if (LIKELY(!thread->IsExceptionPending())) {
Ian Rogers573db4a2011-12-13 15:30:50 -0800410 if (LIKELY(called->IsDirect())) {
Ian Rogersbdfb1a52012-01-12 14:05:22 -0800411 // Ensure that the called method's class is initialized
412 Class* called_class = called->GetDeclaringClass();
413 linker->EnsureInitialized(called_class, true);
414 if (LIKELY(called_class->IsInitialized())) {
415 // Update CodeAndDirectMethod table and avoid the trampoline when we know the called class
416 // is initialized (see test 084-class-init SlowInit)
417 Method* caller = *caller_sp;
418 DexCache* dex_cache = caller->GetDeclaringClass()->GetDexCache();
419 dex_cache->GetCodeAndDirectMethods()->SetResolvedDirectMethod(method_idx, called);
420 // We got this far, ensure that the declaring class is initialized
421 linker->EnsureInitialized(called->GetDeclaringClass(), true);
422 }
Ian Rogers573db4a2011-12-13 15:30:50 -0800423 } else {
424 // Direct method has been made virtual
425 thread->ThrowNewExceptionF("Ljava/lang/IncompatibleClassChangeError;",
426 "Expected direct method but found virtual: %s",
427 PrettyMethod(called, true).c_str());
428 }
Ian Rogersad25ac52011-10-04 19:13:33 -0700429 }
Ian Rogersad25ac52011-10-04 19:13:33 -0700430 void* code;
Ian Rogerscaab8c42011-10-12 12:11:18 -0700431 if (UNLIKELY(thread->IsExceptionPending())) {
Brian Carlstromb2062cf2011-11-03 01:24:44 -0700432 // Something went wrong in ResolveMethod or EnsureInitialized,
433 // go into deliver exception with the pending exception in r0
Ian Rogersad25ac52011-10-04 19:13:33 -0700434 code = reinterpret_cast<void*>(art_deliver_exception_from_code);
Brian Carlstromb2062cf2011-11-03 01:24:44 -0700435 regs[0] = reinterpret_cast<uintptr_t>(thread->GetException());
Ian Rogersad25ac52011-10-04 19:13:33 -0700436 thread->ClearException();
437 } else {
438 // Expect class to at least be initializing
Ian Rogersbdfb1a52012-01-12 14:05:22 -0800439 DCHECK(called->GetDeclaringClass()->IsInitializing());
Ian Rogersad25ac52011-10-04 19:13:33 -0700440 // Set up entry into main method
Brian Carlstromb2062cf2011-11-03 01:24:44 -0700441 regs[0] = reinterpret_cast<uintptr_t>(called);
Ian Rogersad25ac52011-10-04 19:13:33 -0700442 code = const_cast<void*>(called->GetCode());
443 }
444 return code;
445}
446
Ian Rogerscaab8c42011-10-12 12:11:18 -0700447// Fast path field resolution that can't throw exceptions
448static Field* FindFieldFast(uint32_t field_idx, const Method* referrer) {
449 Field* resolved_field = referrer->GetDexCacheResolvedFields()->Get(field_idx);
450 if (UNLIKELY(resolved_field == NULL)) {
451 return NULL;
452 }
453 Class* fields_class = resolved_field->GetDeclaringClass();
454 // Check class is initilaized or initializing
455 if (UNLIKELY(!fields_class->IsInitializing())) {
456 return NULL;
457 }
458 return resolved_field;
459}
460
461// Slow path field resolution and declaring class initialization
Ian Rogersce9eca62011-10-07 17:11:03 -0700462Field* FindFieldFromCode(uint32_t field_idx, const Method* referrer, bool is_static) {
463 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogerscaab8c42011-10-12 12:11:18 -0700464 Field* resolved_field = class_linker->ResolveField(field_idx, referrer, is_static);
465 if (LIKELY(resolved_field != NULL)) {
466 Class* fields_class = resolved_field->GetDeclaringClass();
Ian Rogersce9eca62011-10-07 17:11:03 -0700467 // If the class is already initializing, we must be inside <clinit>, or
468 // we'd still be waiting for the lock.
Ian Rogerscaab8c42011-10-12 12:11:18 -0700469 if (fields_class->IsInitializing()) {
470 return resolved_field;
471 }
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700472 if (Runtime::Current()->GetClassLinker()->EnsureInitialized(fields_class, true)) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700473 return resolved_field;
Ian Rogersce9eca62011-10-07 17:11:03 -0700474 }
475 }
476 DCHECK(Thread::Current()->IsExceptionPending()); // Throw exception and unwind
477 return NULL;
478}
479
480extern "C" Field* artFindInstanceFieldFromCode(uint32_t field_idx, const Method* referrer,
481 Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700482 Field* resolved_field = FindFieldFast(field_idx, referrer);
483 if (UNLIKELY(resolved_field == NULL)) {
484 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
485 resolved_field = FindFieldFromCode(field_idx, referrer, false);
486 }
487 return resolved_field;
Ian Rogersce9eca62011-10-07 17:11:03 -0700488}
489
490extern "C" uint32_t artGet32StaticFromCode(uint32_t field_idx, const Method* referrer,
491 Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700492 Field* field = FindFieldFast(field_idx, referrer);
493 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800494 FieldHelper fh(field);
495 if (LIKELY(fh.IsPrimitiveType() && fh.FieldSize() == sizeof(int32_t))) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700496 return field->Get32(NULL);
497 }
498 }
Ian Rogersce9eca62011-10-07 17:11:03 -0700499 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700500 field = FindFieldFromCode(field_idx, referrer, true);
Ian Rogersce9eca62011-10-07 17:11:03 -0700501 if (field != NULL) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800502 FieldHelper fh(field);
503 if (!fh.IsPrimitiveType() || fh.FieldSize() != sizeof(int32_t)) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700504 self->ThrowNewExceptionF("Ljava/lang/NoSuchFieldError;",
505 "Attempted read of 32-bit primitive on field '%s'",
506 PrettyField(field, true).c_str());
507 } else {
508 return field->Get32(NULL);
509 }
510 }
511 return 0; // Will throw exception by checking with Thread::Current
512}
513
514extern "C" uint64_t artGet64StaticFromCode(uint32_t field_idx, const Method* referrer,
515 Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700516 Field* field = FindFieldFast(field_idx, referrer);
517 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800518 FieldHelper fh(field);
519 if (LIKELY(fh.IsPrimitiveType() && fh.FieldSize() == sizeof(int64_t))) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700520 return field->Get64(NULL);
521 }
522 }
Ian Rogersce9eca62011-10-07 17:11:03 -0700523 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700524 field = FindFieldFromCode(field_idx, referrer, true);
Ian Rogersce9eca62011-10-07 17:11:03 -0700525 if (field != NULL) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800526 FieldHelper fh(field);
527 if (!fh.IsPrimitiveType() || fh.FieldSize() != sizeof(int64_t)) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700528 self->ThrowNewExceptionF("Ljava/lang/NoSuchFieldError;",
529 "Attempted read of 64-bit primitive on field '%s'",
530 PrettyField(field, true).c_str());
531 } else {
532 return field->Get64(NULL);
533 }
534 }
535 return 0; // Will throw exception by checking with Thread::Current
536}
537
538extern "C" Object* artGetObjStaticFromCode(uint32_t field_idx, const Method* referrer,
539 Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700540 Field* field = FindFieldFast(field_idx, referrer);
541 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800542 FieldHelper fh(field);
543 if (LIKELY(!fh.IsPrimitiveType())) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700544 return field->GetObj(NULL);
545 }
546 }
Ian Rogersce9eca62011-10-07 17:11:03 -0700547 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700548 field = FindFieldFromCode(field_idx, referrer, true);
Ian Rogersce9eca62011-10-07 17:11:03 -0700549 if (field != NULL) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800550 FieldHelper fh(field);
551 if (fh.IsPrimitiveType()) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700552 self->ThrowNewExceptionF("Ljava/lang/NoSuchFieldError;",
553 "Attempted read of reference on primitive field '%s'",
554 PrettyField(field, true).c_str());
555 } else {
556 return field->GetObj(NULL);
557 }
558 }
559 return NULL; // Will throw exception by checking with Thread::Current
560}
561
562extern "C" int artSet32StaticFromCode(uint32_t field_idx, const Method* referrer,
563 uint32_t new_value, Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700564 Field* field = FindFieldFast(field_idx, referrer);
565 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800566 FieldHelper fh(field);
567 if (LIKELY(fh.IsPrimitiveType() && fh.FieldSize() == sizeof(int32_t))) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700568 field->Set32(NULL, new_value);
569 return 0; // success
570 }
571 }
Ian Rogersce9eca62011-10-07 17:11:03 -0700572 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700573 field = FindFieldFromCode(field_idx, referrer, true);
Ian Rogersce9eca62011-10-07 17:11:03 -0700574 if (field != NULL) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800575 FieldHelper fh(field);
576 if (!fh.IsPrimitiveType() || fh.FieldSize() != sizeof(int32_t)) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700577 self->ThrowNewExceptionF("Ljava/lang/NoSuchFieldError;",
578 "Attempted write of 32-bit primitive to field '%s'",
579 PrettyField(field, true).c_str());
580 } else {
581 field->Set32(NULL, new_value);
582 return 0; // success
583 }
584 }
585 return -1; // failure
586}
587
588extern "C" int artSet64StaticFromCode(uint32_t field_idx, const Method* referrer,
589 uint64_t new_value, Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700590 Field* field = FindFieldFast(field_idx, referrer);
591 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800592 FieldHelper fh(field);
593 if (LIKELY(fh.IsPrimitiveType() && fh.FieldSize() == sizeof(int64_t))) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700594 field->Set64(NULL, new_value);
595 return 0; // success
596 }
597 }
598 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
599 field = FindFieldFromCode(field_idx, referrer, true);
600 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800601 FieldHelper fh(field);
602 if (UNLIKELY(!fh.IsPrimitiveType() || fh.FieldSize() != sizeof(int64_t))) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700603 self->ThrowNewExceptionF("Ljava/lang/NoSuchFieldError;",
604 "Attempted write of 64-bit primitive to field '%s'",
605 PrettyField(field, true).c_str());
606 } else {
607 field->Set64(NULL, new_value);
608 return 0; // success
609 }
610 }
611 return -1; // failure
612}
613
614extern "C" int artSetObjStaticFromCode(uint32_t field_idx, const Method* referrer,
615 Object* new_value, Thread* self, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700616 Field* field = FindFieldFast(field_idx, referrer);
617 if (LIKELY(field != NULL)) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800618 if (LIKELY(!FieldHelper(field).IsPrimitiveType())) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700619 field->SetObj(NULL, new_value);
620 return 0; // success
621 }
622 }
Ian Rogersce9eca62011-10-07 17:11:03 -0700623 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700624 field = FindFieldFromCode(field_idx, referrer, true);
Ian Rogersce9eca62011-10-07 17:11:03 -0700625 if (field != NULL) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800626 if (FieldHelper(field).IsPrimitiveType()) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700627 self->ThrowNewExceptionF("Ljava/lang/NoSuchFieldError;",
628 "Attempted write of reference to primitive field '%s'",
629 PrettyField(field, true).c_str());
630 } else {
631 field->SetObj(NULL, new_value);
632 return 0; // success
633 }
634 }
635 return -1; // failure
636}
637
Shih-wei Liao2d831012011-09-28 22:06:53 -0700638// Given the context of a calling Method, use its DexCache to resolve a type to a Class. If it
639// cannot be resolved, throw an error. If it can, use it to create an instance.
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800640// When verification/compiler hasn't been able to verify access, optionally perform an access
641// check.
642static Object* AllocObjectFromCode(uint32_t type_idx, Method* method, Thread* self,
643 bool access_check) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700644 Class* klass = method->GetDexCacheResolvedTypes()->Get(type_idx);
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700645 Runtime* runtime = Runtime::Current();
Ian Rogerscaab8c42011-10-12 12:11:18 -0700646 if (UNLIKELY(klass == NULL)) {
buzbee33a129c2011-10-06 16:53:20 -0700647 klass = runtime->GetClassLinker()->ResolveType(type_idx, method);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700648 if (klass == NULL) {
buzbee33a129c2011-10-06 16:53:20 -0700649 DCHECK(self->IsExceptionPending());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700650 return NULL; // Failure
651 }
652 }
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800653 if (access_check) {
Ian Rogersd4135902012-02-03 18:05:08 -0800654 if (UNLIKELY(!klass->IsInstantiable())) {
655 self->ThrowNewException("Ljava/lang/InstantiationError;",
656 PrettyDescriptor(klass).c_str());
657 return NULL; // Failure
658 }
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800659 Class* referrer = method->GetDeclaringClass();
660 if (UNLIKELY(!referrer->CanAccess(klass))) {
661 self->ThrowNewExceptionF("Ljava/lang/IllegalAccessError;",
662 "illegal class access: '%s' -> '%s'",
663 PrettyDescriptor(referrer).c_str(),
664 PrettyDescriptor(klass).c_str());
665 return NULL; // Failure
666 }
667 }
buzbee33a129c2011-10-06 16:53:20 -0700668 if (!runtime->GetClassLinker()->EnsureInitialized(klass, true)) {
669 DCHECK(self->IsExceptionPending());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700670 return NULL; // Failure
671 }
672 return klass->AllocObject();
673}
674
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800675extern "C" Object* artAllocObjectFromCode(uint32_t type_idx, Method* method,
676 Thread* self, Method** sp) {
677 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
678 return AllocObjectFromCode(type_idx, method, self, false);
679}
680
Ian Rogers28ad40d2011-10-27 15:19:26 -0700681extern "C" Object* artAllocObjectFromCodeWithAccessCheck(uint32_t type_idx, Method* method,
682 Thread* self, Method** sp) {
683 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800684 return AllocObjectFromCode(type_idx, method, self, true);
685}
686
687// Given the context of a calling Method, use its DexCache to resolve a type to an array Class. If
688// it cannot be resolved, throw an error. If it can, use it to create an array.
689// When verification/compiler hasn't been able to verify access, optionally perform an access
690// check.
691static Array* AllocArrayFromCode(uint32_t type_idx, Method* method, int32_t component_count,
692 Thread* self, bool access_check) {
693 if (UNLIKELY(component_count < 0)) {
694 Thread::Current()->ThrowNewExceptionF("Ljava/lang/NegativeArraySizeException;", "%d",
695 component_count);
696 return NULL; // Failure
697 }
Ian Rogers28ad40d2011-10-27 15:19:26 -0700698 Class* klass = method->GetDexCacheResolvedTypes()->Get(type_idx);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800699 if (UNLIKELY(klass == NULL)) { // Not in dex cache so try to resolve
700 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
701 if (klass == NULL) { // Error
702 DCHECK(Thread::Current()->IsExceptionPending());
703 return NULL; // Failure
704 }
705 CHECK(klass->IsArrayClass()) << PrettyClass(klass);
706 }
707 if (access_check) {
708 Class* referrer = method->GetDeclaringClass();
709 if (UNLIKELY(!referrer->CanAccess(klass))) {
710 self->ThrowNewExceptionF("Ljava/lang/IllegalAccessError;",
711 "illegal class access: '%s' -> '%s'",
712 PrettyDescriptor(referrer).c_str(),
713 PrettyDescriptor(klass).c_str());
Ian Rogers28ad40d2011-10-27 15:19:26 -0700714 return NULL; // Failure
715 }
716 }
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800717 return Array::Alloc(klass, component_count);
buzbeecc4540e2011-10-27 13:06:03 -0700718}
719
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800720extern "C" Array* artAllocArrayFromCode(uint32_t type_idx, Method* method, int32_t component_count,
721 Thread* self, Method** sp) {
722 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
723 return AllocArrayFromCode(type_idx, method, component_count, self, false);
724}
725
726extern "C" Array* artAllocArrayFromCodeWithAccessCheck(uint32_t type_idx, Method* method,
727 int32_t component_count,
728 Thread* self, Method** sp) {
729 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
730 return AllocArrayFromCode(type_idx, method, component_count, self, true);
731}
732
733// Helper function to alloc array for OP_FILLED_NEW_ARRAY
Ian Rogersce9eca62011-10-07 17:11:03 -0700734Array* CheckAndAllocArrayFromCode(uint32_t type_idx, Method* method, int32_t component_count,
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800735 Thread* self, bool access_check) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700736 if (UNLIKELY(component_count < 0)) {
Ian Rogersce9eca62011-10-07 17:11:03 -0700737 self->ThrowNewExceptionF("Ljava/lang/NegativeArraySizeException;", "%d", component_count);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700738 return NULL; // Failure
739 }
740 Class* klass = method->GetDexCacheResolvedTypes()->Get(type_idx);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700741 if (UNLIKELY(klass == NULL)) { // Not in dex cache so try to resolve
Shih-wei Liao2d831012011-09-28 22:06:53 -0700742 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
743 if (klass == NULL) { // Error
744 DCHECK(Thread::Current()->IsExceptionPending());
745 return NULL; // Failure
746 }
747 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700748 if (UNLIKELY(klass->IsPrimitive() && !klass->IsPrimitiveInt())) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700749 if (klass->IsPrimitiveLong() || klass->IsPrimitiveDouble()) {
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700750 Thread::Current()->ThrowNewExceptionF("Ljava/lang/RuntimeException;",
Shih-wei Liao2d831012011-09-28 22:06:53 -0700751 "Bad filled array request for type %s",
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800752 PrettyDescriptor(klass).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700753 } else {
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700754 Thread::Current()->ThrowNewExceptionF("Ljava/lang/InternalError;",
Shih-wei Liao2d831012011-09-28 22:06:53 -0700755 "Found type %s; filled-new-array not implemented for anything but \'int\'",
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800756 PrettyDescriptor(klass).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700757 }
758 return NULL; // Failure
759 } else {
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800760 if (access_check) {
761 Class* referrer = method->GetDeclaringClass();
762 if (UNLIKELY(!referrer->CanAccess(klass))) {
763 self->ThrowNewExceptionF("Ljava/lang/IllegalAccessError;",
764 "illegal class access: '%s' -> '%s'",
765 PrettyDescriptor(referrer).c_str(),
766 PrettyDescriptor(klass).c_str());
767 return NULL; // Failure
768 }
769 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700770 DCHECK(klass->IsArrayClass()) << PrettyClass(klass);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700771 return Array::Alloc(klass, component_count);
772 }
773}
774
Ian Rogersce9eca62011-10-07 17:11:03 -0700775extern "C" Array* artCheckAndAllocArrayFromCode(uint32_t type_idx, Method* method,
776 int32_t component_count, Thread* self, Method** sp) {
777 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800778 return CheckAndAllocArrayFromCode(type_idx, method, component_count, self, false);
Ian Rogersce9eca62011-10-07 17:11:03 -0700779}
780
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800781extern "C" Array* artCheckAndAllocArrayFromCodeWithAccessCheck(uint32_t type_idx, Method* method,
782 int32_t component_count,
783 Thread* self, Method** sp) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700784 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Ian Rogers0eb7d7e2012-01-31 21:12:32 -0800785 return CheckAndAllocArrayFromCode(type_idx, method, component_count, self, true);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700786}
787
Ian Rogerscaab8c42011-10-12 12:11:18 -0700788// Assignable test for code, won't throw. Null and equality tests already performed
789uint32_t IsAssignableFromCode(const Class* klass, const Class* ref_class) {
790 DCHECK(klass != NULL);
791 DCHECK(ref_class != NULL);
792 return klass->IsAssignableFrom(ref_class) ? 1 : 0;
793}
794
Shih-wei Liao2d831012011-09-28 22:06:53 -0700795// 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 -0700796extern "C" int artCheckCastFromCode(const Class* a, const Class* b, Thread* self, Method** sp) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700797 DCHECK(a->IsClass()) << PrettyClass(a);
798 DCHECK(b->IsClass()) << PrettyClass(b);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700799 if (LIKELY(b->IsAssignableFrom(a))) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700800 return 0; // Success
801 } else {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700802 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700803 Thread::Current()->ThrowNewExceptionF("Ljava/lang/ClassCastException;",
Shih-wei Liao2d831012011-09-28 22:06:53 -0700804 "%s cannot be cast to %s",
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800805 PrettyDescriptor(a).c_str(),
806 PrettyDescriptor(b).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700807 return -1; // Failure
808 }
809}
810
811// Tests whether 'element' can be assigned into an array of type 'array_class'.
812// Returns 0 on success and -1 if an exception is pending.
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700813extern "C" int artCanPutArrayElementFromCode(const Object* element, const Class* array_class,
814 Thread* self, Method** sp) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700815 DCHECK(array_class != NULL);
816 // element can't be NULL as we catch this is screened in runtime_support
817 Class* element_class = element->GetClass();
818 Class* component_type = array_class->GetComponentType();
Ian Rogerscaab8c42011-10-12 12:11:18 -0700819 if (LIKELY(component_type->IsAssignableFrom(element_class))) {
Shih-wei Liao2d831012011-09-28 22:06:53 -0700820 return 0; // Success
821 } else {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700822 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700823 Thread::Current()->ThrowNewExceptionF("Ljava/lang/ArrayStoreException;",
Elliott Hughesd3127d62012-01-17 13:42:26 -0800824 "%s cannot be stored in an array of type %s",
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800825 PrettyDescriptor(element_class).c_str(),
826 PrettyDescriptor(array_class).c_str());
Shih-wei Liao2d831012011-09-28 22:06:53 -0700827 return -1; // Failure
828 }
829}
830
Elliott Hughesf3778f62012-01-26 14:14:35 -0800831Class* ResolveVerifyAndClinit(uint32_t type_idx, const Method* referrer, Thread* self,
832 bool can_run_clinit, bool verify_access) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700833 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
834 Class* klass = class_linker->ResolveType(type_idx, referrer);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700835 if (UNLIKELY(klass == NULL)) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700836 CHECK(self->IsExceptionPending());
837 return NULL; // Failure - Indicate to caller to deliver exception
838 }
Elliott Hughesf3778f62012-01-26 14:14:35 -0800839 // Perform access check if necessary.
840 if (verify_access && !referrer->GetDeclaringClass()->CanAccess(klass)) {
Ian Rogersb093c6b2011-10-31 16:19:55 -0700841 self->ThrowNewExceptionF("Ljava/lang/IllegalAccessError;",
Elliott Hughesf3778f62012-01-26 14:14:35 -0800842 "Class %s is inaccessible to method %s",
843 PrettyDescriptor(klass).c_str(),
844 PrettyMethod(referrer, true).c_str());
845 return NULL; // Failure - Indicate to caller to deliver exception
846 }
847 // If we're just implementing const-class, we shouldn't call <clinit>.
848 if (!can_run_clinit) {
849 return klass;
Ian Rogersb093c6b2011-10-31 16:19:55 -0700850 }
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700851 // If we are the <clinit> of this class, just return our storage.
852 //
853 // Do not set the DexCache InitializedStaticStorage, since that implies <clinit> has finished
854 // running.
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800855 if (klass == referrer->GetDeclaringClass() && MethodHelper(referrer).IsClassInitializer()) {
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700856 return klass;
857 }
858 if (!class_linker->EnsureInitialized(klass, true)) {
859 CHECK(self->IsExceptionPending());
860 return NULL; // Failure - Indicate to caller to deliver exception
861 }
862 referrer->GetDexCacheInitializedStaticStorage()->Set(type_idx, klass);
863 return klass;
Shih-wei Liao2d831012011-09-28 22:06:53 -0700864}
865
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700866extern "C" Class* artInitializeStaticStorageFromCode(uint32_t type_idx, const Method* referrer,
867 Thread* self, Method** sp) {
868 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughesf3778f62012-01-26 14:14:35 -0800869 return ResolveVerifyAndClinit(type_idx, referrer, self, true, true);
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700870}
871
Ian Rogers28ad40d2011-10-27 15:19:26 -0700872extern "C" Class* artInitializeTypeFromCode(uint32_t type_idx, const Method* referrer, Thread* self,
873 Method** sp) {
874 // Called when method->dex_cache_resolved_types_[] misses
875 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughesf3778f62012-01-26 14:14:35 -0800876 return ResolveVerifyAndClinit(type_idx, referrer, self, false, false);
Ian Rogers28ad40d2011-10-27 15:19:26 -0700877}
878
Ian Rogersb093c6b2011-10-31 16:19:55 -0700879extern "C" Class* artInitializeTypeAndVerifyAccessFromCode(uint32_t type_idx,
880 const Method* referrer, Thread* self,
881 Method** sp) {
882 // Called when caller isn't guaranteed to have access to a type and the dex cache may be
883 // unpopulated
884 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Elliott Hughesf3778f62012-01-26 14:14:35 -0800885 return ResolveVerifyAndClinit(type_idx, referrer, self, false, true);
Ian Rogersb093c6b2011-10-31 16:19:55 -0700886}
887
buzbee48d72222012-01-11 15:19:51 -0800888// Helper function to resolve virtual method
889extern "C" Method* artResolveMethodFromCode(Method* referrer,
890 uint32_t method_idx,
891 bool is_direct,
892 Thread* self,
893 Method** sp) {
Ian Rogers28ad40d2011-10-27 15:19:26 -0700894 /*
895 * Slow-path handler on invoke virtual method path in which
buzbee48d72222012-01-11 15:19:51 -0800896 * base method is unresolved at compile-time. Caller will
897 * unwind if can't resolve.
Ian Rogers28ad40d2011-10-27 15:19:26 -0700898 */
buzbee48d72222012-01-11 15:19:51 -0800899 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
900 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
901 Method* method = class_linker->ResolveMethod(method_idx, referrer, is_direct);
902 referrer->GetDexCacheResolvedMethods()->Set(method_idx, method);
903 return method;
Ian Rogers28ad40d2011-10-27 15:19:26 -0700904}
905
Brian Carlstromaded5f72011-10-07 17:15:04 -0700906String* ResolveStringFromCode(const Method* referrer, uint32_t string_idx) {
907 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
908 return class_linker->ResolveString(string_idx, referrer);
909}
910
911extern "C" String* artResolveStringFromCode(Method* referrer, int32_t string_idx,
912 Thread* self, Method** sp) {
913 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
914 return ResolveStringFromCode(referrer, string_idx);
915}
916
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700917extern "C" int artUnlockObjectFromCode(Object* obj, Thread* self, Method** sp) {
918 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700919 DCHECK(obj != NULL); // Assumed to have been checked before entry
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700920 // MonitorExit may throw exception
921 return obj->MonitorExit(self) ? 0 /* Success */ : -1 /* Failure */;
922}
923
924extern "C" void artLockObjectFromCode(Object* obj, Thread* thread, Method** sp) {
925 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsOnly);
926 DCHECK(obj != NULL); // Assumed to have been checked before entry
927 obj->MonitorEnter(thread); // May block
Shih-wei Liao2d831012011-09-28 22:06:53 -0700928 DCHECK(thread->HoldsLock(obj));
929 // Only possible exception is NPE and is handled before entry
930 DCHECK(!thread->IsExceptionPending());
931}
932
Ian Rogers4a510d82011-10-09 14:30:24 -0700933void CheckSuspendFromCode(Thread* thread) {
934 // Called when thread->suspend_count_ != 0
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700935 Runtime::Current()->GetThreadList()->FullSuspendCheck(thread);
936}
937
Ian Rogers4a510d82011-10-09 14:30:24 -0700938extern "C" void artTestSuspendFromCode(Thread* thread, Method** sp) {
939 // Called when suspend count check value is 0 and thread->suspend_count_ != 0
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700940 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsOnly);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700941 Runtime::Current()->GetThreadList()->FullSuspendCheck(thread);
942}
943
944/*
945 * Fill the array with predefined constant values, throwing exceptions if the array is null or
946 * not of sufficient length.
947 *
948 * NOTE: When dealing with a raw dex file, the data to be copied uses
949 * little-endian ordering. Require that oat2dex do any required swapping
950 * so this routine can get by with a memcpy().
951 *
952 * Format of the data:
953 * ushort ident = 0x0300 magic value
954 * ushort width width of each element in the table
955 * uint size number of elements in the table
956 * ubyte data[size*width] table of data values (may contain a single-byte
957 * padding at the end)
958 */
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700959extern "C" int artHandleFillArrayDataFromCode(Array* array, const uint16_t* table,
960 Thread* self, Method** sp) {
961 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsOnly);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700962 DCHECK_EQ(table[0], 0x0300);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700963 if (UNLIKELY(array == NULL)) {
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700964 Thread::Current()->ThrowNewExceptionF("Ljava/lang/NullPointerException;",
965 "null array in fill array");
Shih-wei Liao2d831012011-09-28 22:06:53 -0700966 return -1; // Error
967 }
968 DCHECK(array->IsArrayInstance() && !array->IsObjectArray());
969 uint32_t size = (uint32_t)table[2] | (((uint32_t)table[3]) << 16);
Ian Rogerscaab8c42011-10-12 12:11:18 -0700970 if (UNLIKELY(static_cast<int32_t>(size) > array->GetLength())) {
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700971 Thread::Current()->ThrowNewExceptionF("Ljava/lang/ArrayIndexOutOfBoundsException;",
972 "failed array fill. length=%d; index=%d", array->GetLength(), size);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700973 return -1; // Error
974 }
975 uint16_t width = table[1];
976 uint32_t size_in_bytes = size * width;
977 memcpy((char*)array + Array::DataOffset().Int32Value(), (char*)&table[4], size_in_bytes);
978 return 0; // Success
979}
980
981// See comments in runtime_support_asm.S
982extern "C" uint64_t artFindInterfaceMethodInCacheFromCode(uint32_t method_idx,
Ian Rogerscaab8c42011-10-12 12:11:18 -0700983 Object* this_object,
984 Method* caller_method,
Ian Rogers4f0d07c2011-10-06 23:38:47 -0700985 Thread* thread, Method** sp) {
Ian Rogerscaab8c42011-10-12 12:11:18 -0700986 Method* interface_method = caller_method->GetDexCacheResolvedMethods()->Get(method_idx);
987 Method* found_method = NULL; // The found method
988 if (LIKELY(interface_method != NULL && this_object != NULL)) {
Ian Rogersb04f69f2011-10-17 00:40:54 -0700989 found_method = this_object->GetClass()->FindVirtualMethodForInterface(interface_method, false);
Shih-wei Liao2d831012011-09-28 22:06:53 -0700990 }
Ian Rogerscaab8c42011-10-12 12:11:18 -0700991 if (UNLIKELY(found_method == NULL)) {
992 FinishCalleeSaveFrameSetup(thread, sp, Runtime::kRefsAndArgs);
993 if (this_object == NULL) {
994 thread->ThrowNewExceptionF("Ljava/lang/NullPointerException;",
995 "null receiver during interface dispatch");
996 return 0;
997 }
998 if (interface_method == NULL) {
999 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
1000 interface_method = class_linker->ResolveMethod(method_idx, caller_method, false);
1001 if (interface_method == NULL) {
1002 // Could not resolve interface method. Throw error and unwind
1003 CHECK(thread->IsExceptionPending());
1004 return 0;
1005 }
1006 }
Ian Rogersb04f69f2011-10-17 00:40:54 -07001007 found_method = this_object->GetClass()->FindVirtualMethodForInterface(interface_method, true);
Ian Rogerscaab8c42011-10-12 12:11:18 -07001008 if (found_method == NULL) {
1009 CHECK(thread->IsExceptionPending());
1010 return 0;
1011 }
Shih-wei Liao2d831012011-09-28 22:06:53 -07001012 }
Ian Rogerscaab8c42011-10-12 12:11:18 -07001013 const void* code = found_method->GetCode();
Shih-wei Liao2d831012011-09-28 22:06:53 -07001014
Ian Rogerscaab8c42011-10-12 12:11:18 -07001015 uint32_t method_uint = reinterpret_cast<uint32_t>(found_method);
Shih-wei Liao2d831012011-09-28 22:06:53 -07001016 uint64_t code_uint = reinterpret_cast<uint32_t>(code);
1017 uint64_t result = ((code_uint << 32) | method_uint);
1018 return result;
1019}
1020
Ian Rogers466bb252011-10-14 03:29:56 -07001021static void ThrowNewUndeclaredThrowableException(Thread* self, JNIEnv* env, Throwable* exception) {
1022 ScopedLocalRef<jclass> jlr_UTE_class(env,
1023 env->FindClass("java/lang/reflect/UndeclaredThrowableException"));
1024 if (jlr_UTE_class.get() == NULL) {
1025 LOG(ERROR) << "Couldn't throw new \"java/lang/reflect/UndeclaredThrowableException\"";
1026 } else {
1027 jmethodID jlre_UTE_constructor = env->GetMethodID(jlr_UTE_class.get(), "<init>",
1028 "(Ljava/lang/Throwable;)V");
1029 jthrowable jexception = AddLocalReference<jthrowable>(env, exception);
1030 ScopedLocalRef<jthrowable> jlr_UTE(env,
1031 reinterpret_cast<jthrowable>(env->NewObject(jlr_UTE_class.get(), jlre_UTE_constructor,
1032 jexception)));
1033 int rc = env->Throw(jlr_UTE.get());
1034 if (rc != JNI_OK) {
1035 LOG(ERROR) << "Couldn't throw new \"java/lang/reflect/UndeclaredThrowableException\"";
1036 }
1037 }
1038 CHECK(self->IsExceptionPending());
1039}
1040
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001041// Handler for invocation on proxy methods. On entry a frame will exist for the proxy object method
1042// which is responsible for recording callee save registers. We explicitly handlerize incoming
1043// reference arguments (so they survive GC) and create a boxed argument array. Finally we invoke
1044// the invocation handler which is a field within the proxy object receiver.
1045extern "C" void artProxyInvokeHandler(Method* proxy_method, Object* receiver,
Ian Rogers466bb252011-10-14 03:29:56 -07001046 Thread* self, byte* stack_args) {
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001047 // Register the top of the managed stack
Ian Rogers466bb252011-10-14 03:29:56 -07001048 Method** proxy_sp = reinterpret_cast<Method**>(stack_args - 12);
1049 DCHECK_EQ(*proxy_sp, proxy_method);
1050 self->SetTopOfStack(proxy_sp, 0);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001051 // TODO: ARM specific
1052 DCHECK_EQ(proxy_method->GetFrameSizeInBytes(), 48u);
1053 // Start new JNI local reference state
1054 JNIEnvExt* env = self->GetJniEnv();
1055 ScopedJniEnvLocalRefState env_state(env);
1056 // Create local ref. copies of proxy method and the receiver
1057 jobject rcvr_jobj = AddLocalReference<jobject>(env, receiver);
1058 jobject proxy_method_jobj = AddLocalReference<jobject>(env, proxy_method);
1059
Ian Rogers14b1b242011-10-11 18:54:34 -07001060 // Placing into local references incoming arguments from the caller's register arguments,
1061 // replacing original Object* with jobject
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001062 MethodHelper proxy_mh(proxy_method);
1063 const size_t num_params = proxy_mh.NumArgs();
Ian Rogers14b1b242011-10-11 18:54:34 -07001064 size_t args_in_regs = 0;
1065 for (size_t i = 1; i < num_params; i++) { // skip receiver
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001066 args_in_regs = args_in_regs + (proxy_mh.IsParamALongOrDouble(i) ? 2 : 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001067 if (args_in_regs > 2) {
1068 args_in_regs = 2;
1069 break;
1070 }
1071 }
1072 size_t cur_arg = 0; // current stack location to read
1073 size_t param_index = 1; // skip receiver
1074 while (cur_arg < args_in_regs && param_index < num_params) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001075 if (proxy_mh.IsParamAReference(param_index)) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001076 Object* obj = *reinterpret_cast<Object**>(stack_args + (cur_arg * kPointerSize));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001077 jobject jobj = AddLocalReference<jobject>(env, obj);
Ian Rogers14b1b242011-10-11 18:54:34 -07001078 *reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)) = jobj;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001079 }
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001080 cur_arg = cur_arg + (proxy_mh.IsParamALongOrDouble(param_index) ? 2 : 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001081 param_index++;
1082 }
1083 // Placing into local references incoming arguments from the caller's stack arguments
Ian Rogers466bb252011-10-14 03:29:56 -07001084 cur_arg += 11; // skip callee saves, LR, Method* and out arg spills for R1 to R3
Ian Rogers14b1b242011-10-11 18:54:34 -07001085 while (param_index < num_params) {
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001086 if (proxy_mh.IsParamAReference(param_index)) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001087 Object* obj = *reinterpret_cast<Object**>(stack_args + (cur_arg * kPointerSize));
1088 jobject jobj = AddLocalReference<jobject>(env, obj);
1089 *reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)) = jobj;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001090 }
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001091 cur_arg = cur_arg + (proxy_mh.IsParamALongOrDouble(param_index) ? 2 : 1);
Ian Rogers14b1b242011-10-11 18:54:34 -07001092 param_index++;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001093 }
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001094 // Set up arguments array and place in local IRT during boxing (which may allocate/GC)
1095 jvalue args_jobj[3];
1096 args_jobj[0].l = rcvr_jobj;
1097 args_jobj[1].l = proxy_method_jobj;
Ian Rogers466bb252011-10-14 03:29:56 -07001098 // Args array, if no arguments then NULL (don't include receiver in argument count)
1099 args_jobj[2].l = NULL;
1100 ObjectArray<Object>* args = NULL;
1101 if ((num_params - 1) > 0) {
1102 args = Runtime::Current()->GetClassLinker()->AllocObjectArray<Object>(num_params - 1);
Elliott Hughes362f9bc2011-10-17 18:56:41 -07001103 if (args == NULL) {
Ian Rogers466bb252011-10-14 03:29:56 -07001104 CHECK(self->IsExceptionPending());
1105 return;
1106 }
1107 args_jobj[2].l = AddLocalReference<jobjectArray>(env, args);
1108 }
1109 // Convert proxy method into expected interface method
1110 Method* interface_method = proxy_method->FindOverriddenMethod();
1111 CHECK(interface_method != NULL);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001112 CHECK(!interface_method->IsProxyMethod()) << PrettyMethod(interface_method);
Ian Rogers466bb252011-10-14 03:29:56 -07001113 args_jobj[1].l = AddLocalReference<jobject>(env, interface_method);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001114 // Box arguments
Ian Rogers14b1b242011-10-11 18:54:34 -07001115 cur_arg = 0; // reset stack location to read to start
1116 // reset index, will index into param type array which doesn't include the receiver
1117 param_index = 0;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001118 ObjectArray<Class>* param_types = proxy_mh.GetParameterTypes();
Ian Rogers14b1b242011-10-11 18:54:34 -07001119 CHECK(param_types != NULL);
1120 // Check number of parameter types agrees with number from the Method - less 1 for the receiver.
1121 CHECK_EQ(static_cast<size_t>(param_types->GetLength()), num_params - 1);
1122 while (cur_arg < args_in_regs && param_index < (num_params - 1)) {
1123 Class* param_type = param_types->Get(param_index);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001124 Object* obj;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001125 if (!param_type->IsPrimitive()) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001126 obj = self->DecodeJObject(*reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001127 } else {
Ian Rogers14b1b242011-10-11 18:54:34 -07001128 JValue val = *reinterpret_cast<JValue*>(stack_args + (cur_arg * kPointerSize));
1129 if (cur_arg == 1 && (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble())) {
1130 // long/double split over regs and stack, mask in high half from stack arguments
Ian Rogers466bb252011-10-14 03:29:56 -07001131 uint64_t high_half = *reinterpret_cast<uint32_t*>(stack_args + (13 * kPointerSize));
Ian Rogerscaab8c42011-10-12 12:11:18 -07001132 val.j = (val.j & 0xffffffffULL) | (high_half << 32);
Ian Rogers14b1b242011-10-11 18:54:34 -07001133 }
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07001134 BoxPrimitive(env, param_type->GetPrimitiveType(), val);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001135 if (self->IsExceptionPending()) {
1136 return;
1137 }
1138 obj = val.l;
1139 }
Ian Rogers14b1b242011-10-11 18:54:34 -07001140 args->Set(param_index, obj);
1141 cur_arg = cur_arg + (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble() ? 2 : 1);
1142 param_index++;
1143 }
1144 // Placing into local references incoming arguments from the caller's stack arguments
Ian Rogers466bb252011-10-14 03:29:56 -07001145 cur_arg += 11; // skip callee saves, LR, Method* and out arg spills for R1 to R3
1146 while (param_index < (num_params - 1)) {
Ian Rogers14b1b242011-10-11 18:54:34 -07001147 Class* param_type = param_types->Get(param_index);
1148 Object* obj;
1149 if (!param_type->IsPrimitive()) {
1150 obj = self->DecodeJObject(*reinterpret_cast<jobject*>(stack_args + (cur_arg * kPointerSize)));
1151 } else {
1152 JValue val = *reinterpret_cast<JValue*>(stack_args + (cur_arg * kPointerSize));
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07001153 BoxPrimitive(env, param_type->GetPrimitiveType(), val);
Ian Rogers14b1b242011-10-11 18:54:34 -07001154 if (self->IsExceptionPending()) {
1155 return;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001156 }
Ian Rogers14b1b242011-10-11 18:54:34 -07001157 obj = val.l;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001158 }
Ian Rogers14b1b242011-10-11 18:54:34 -07001159 args->Set(param_index, obj);
1160 cur_arg = cur_arg + (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble() ? 2 : 1);
1161 param_index++;
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001162 }
1163 // Get the InvocationHandler method and the field that holds it within the Proxy object
1164 static jmethodID inv_hand_invoke_mid = NULL;
1165 static jfieldID proxy_inv_hand_fid = NULL;
1166 if (proxy_inv_hand_fid == NULL) {
Ian Rogers466bb252011-10-14 03:29:56 -07001167 ScopedLocalRef<jclass> proxy(env, env->FindClass("java/lang/reflect/Proxy"));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001168 proxy_inv_hand_fid = env->GetFieldID(proxy.get(), "h", "Ljava/lang/reflect/InvocationHandler;");
Ian Rogers466bb252011-10-14 03:29:56 -07001169 ScopedLocalRef<jclass> inv_hand_class(env, env->FindClass("java/lang/reflect/InvocationHandler"));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001170 inv_hand_invoke_mid = env->GetMethodID(inv_hand_class.get(), "invoke",
1171 "(Ljava/lang/Object;Ljava/lang/reflect/Method;[Ljava/lang/Object;)Ljava/lang/Object;");
1172 }
Ian Rogers466bb252011-10-14 03:29:56 -07001173 DCHECK(env->IsInstanceOf(rcvr_jobj, env->FindClass("java/lang/reflect/Proxy")));
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001174 jobject inv_hand = env->GetObjectField(rcvr_jobj, proxy_inv_hand_fid);
1175 // Call InvocationHandler.invoke
1176 jobject result = env->CallObjectMethodA(inv_hand, inv_hand_invoke_mid, args_jobj);
1177 // Place result in stack args
1178 if (!self->IsExceptionPending()) {
1179 Object* result_ref = self->DecodeJObject(result);
1180 if (result_ref != NULL) {
1181 JValue result_unboxed;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -08001182 UnboxPrimitive(env, result_ref, proxy_mh.GetReturnType(), result_unboxed);
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001183 *reinterpret_cast<JValue*>(stack_args) = result_unboxed;
1184 } else {
1185 *reinterpret_cast<jobject*>(stack_args) = NULL;
1186 }
Ian Rogers466bb252011-10-14 03:29:56 -07001187 } else {
1188 // In the case of checked exceptions that aren't declared, the exception must be wrapped by
1189 // a UndeclaredThrowableException.
1190 Throwable* exception = self->GetException();
1191 self->ClearException();
1192 if (!exception->IsCheckedException()) {
1193 self->SetException(exception);
1194 } else {
Ian Rogersc2b44472011-12-14 21:17:17 -08001195 SynthesizedProxyClass* proxy_class =
1196 down_cast<SynthesizedProxyClass*>(proxy_method->GetDeclaringClass());
1197 int throws_index = -1;
1198 size_t num_virt_methods = proxy_class->NumVirtualMethods();
1199 for (size_t i = 0; i < num_virt_methods; i++) {
1200 if (proxy_class->GetVirtualMethod(i) == proxy_method) {
1201 throws_index = i;
1202 break;
1203 }
1204 }
1205 CHECK_NE(throws_index, -1);
1206 ObjectArray<Class>* declared_exceptions = proxy_class->GetThrows()->Get(throws_index);
Ian Rogers466bb252011-10-14 03:29:56 -07001207 Class* exception_class = exception->GetClass();
1208 bool declares_exception = false;
1209 for (int i = 0; i < declared_exceptions->GetLength() && !declares_exception; i++) {
1210 Class* declared_exception = declared_exceptions->Get(i);
1211 declares_exception = declared_exception->IsAssignableFrom(exception_class);
1212 }
1213 if (declares_exception) {
1214 self->SetException(exception);
1215 } else {
1216 ThrowNewUndeclaredThrowableException(self, env, exception);
1217 }
1218 }
Ian Rogersdfcdf1a2011-10-10 17:50:35 -07001219 }
1220}
1221
jeffhaoe343b762011-12-05 16:36:44 -08001222extern "C" const void* artTraceMethodEntryFromCode(Method* method, Thread* self, uintptr_t lr) {
jeffhao2692b572011-12-16 15:42:28 -08001223 Trace* tracer = Runtime::Current()->GetTracer();
jeffhaoe343b762011-12-05 16:36:44 -08001224 TraceStackFrame trace_frame = TraceStackFrame(method, lr);
1225 self->PushTraceStackFrame(trace_frame);
1226
jeffhao2692b572011-12-16 15:42:28 -08001227 tracer->LogMethodTraceEvent(self, method, Trace::kMethodTraceEnter);
jeffhaoa9ef3fd2011-12-13 18:33:43 -08001228
jeffhao2692b572011-12-16 15:42:28 -08001229 return tracer->GetSavedCodeFromMap(method);
jeffhaoe343b762011-12-05 16:36:44 -08001230}
1231
1232extern "C" uintptr_t artTraceMethodExitFromCode() {
jeffhao2692b572011-12-16 15:42:28 -08001233 Trace* tracer = Runtime::Current()->GetTracer();
jeffhaoe343b762011-12-05 16:36:44 -08001234 TraceStackFrame trace_frame = Thread::Current()->PopTraceStackFrame();
1235 Method* method = trace_frame.method_;
1236 uintptr_t lr = trace_frame.return_pc_;
jeffhaoa9ef3fd2011-12-13 18:33:43 -08001237
jeffhao2692b572011-12-16 15:42:28 -08001238 tracer->LogMethodTraceEvent(Thread::Current(), method, Trace::kMethodTraceExit);
jeffhaoe343b762011-12-05 16:36:44 -08001239
1240 return lr;
1241}
1242
Elliott Hughesad6c9c32012-01-19 17:39:12 -08001243uint32_t artTraceMethodUnwindFromCode(Thread* self) {
jeffhao2692b572011-12-16 15:42:28 -08001244 Trace* tracer = Runtime::Current()->GetTracer();
jeffhaoe343b762011-12-05 16:36:44 -08001245 TraceStackFrame trace_frame = self->PopTraceStackFrame();
1246 Method* method = trace_frame.method_;
Elliott Hughesad6c9c32012-01-19 17:39:12 -08001247 uint32_t lr = trace_frame.return_pc_;
jeffhaoa9ef3fd2011-12-13 18:33:43 -08001248
jeffhao2692b572011-12-16 15:42:28 -08001249 tracer->LogMethodTraceEvent(self, method, Trace::kMethodTraceUnwind);
jeffhaoe343b762011-12-05 16:36:44 -08001250
1251 return lr;
1252}
1253
Shih-wei Liao2d831012011-09-28 22:06:53 -07001254/*
1255 * Float/double conversion requires clamping to min and max of integer form. If
1256 * target doesn't support this normally, use these.
1257 */
1258int64_t D2L(double d) {
1259 static const double kMaxLong = (double)(int64_t)0x7fffffffffffffffULL;
1260 static const double kMinLong = (double)(int64_t)0x8000000000000000ULL;
1261 if (d >= kMaxLong)
1262 return (int64_t)0x7fffffffffffffffULL;
1263 else if (d <= kMinLong)
1264 return (int64_t)0x8000000000000000ULL;
1265 else if (d != d) // NaN case
1266 return 0;
1267 else
1268 return (int64_t)d;
1269}
1270
1271int64_t F2L(float f) {
1272 static const float kMaxLong = (float)(int64_t)0x7fffffffffffffffULL;
1273 static const float kMinLong = (float)(int64_t)0x8000000000000000ULL;
1274 if (f >= kMaxLong)
1275 return (int64_t)0x7fffffffffffffffULL;
1276 else if (f <= kMinLong)
1277 return (int64_t)0x8000000000000000ULL;
1278 else if (f != f) // NaN case
1279 return 0;
1280 else
1281 return (int64_t)f;
1282}
1283
1284} // namespace art