blob: 747dd56cd8f51044c131acccdd3c8ae727faa8a2 [file] [log] [blame]
Elliott Hughes0f3c5532012-03-30 14:51:51 -07001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
buzbee54330722011-08-23 16:46:55 -070016
Ian Rogers7655f292013-07-29 11:07:13 -070017#ifndef ART_RUNTIME_ENTRYPOINTS_ENTRYPOINT_UTILS_H_
18#define ART_RUNTIME_ENTRYPOINTS_ENTRYPOINT_UTILS_H_
Ian Rogers450dcb52013-09-20 17:36:02 -070019
20#include "base/macros.h"
Shih-wei Liao2d831012011-09-28 22:06:53 -070021#include "class_linker.h"
Ian Rogers87e552d2012-08-31 15:54:48 -070022#include "common_throws.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070023#include "dex_file.h"
Ian Rogers81d425b2012-09-27 16:03:43 -070024#include "indirect_reference_table.h"
Elliott Hughes0f3c5532012-03-30 14:51:51 -070025#include "invoke_type.h"
Ian Rogers81d425b2012-09-27 16:03:43 -070026#include "jni_internal.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070027#include "mirror/art_method.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028#include "mirror/array.h"
Ian Rogers693ff612013-02-01 10:56:12 -080029#include "mirror/class-inl.h"
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080030#include "mirror/object-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080031#include "mirror/throwable.h"
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080032#include "locks.h"
Ian Rogers450dcb52013-09-20 17:36:02 -070033#include "object_utils.h"
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080034#include "sirt_ref.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070035#include "thread.h"
36
Shih-wei Liao2d831012011-09-28 22:06:53 -070037namespace art {
Ian Rogers848871b2013-08-05 10:56:33 -070038
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039namespace mirror {
Ian Rogers848871b2013-08-05 10:56:33 -070040 class Class;
Brian Carlstromea46f952013-07-30 01:26:50 -070041 class ArtField;
Ian Rogers848871b2013-08-05 10:56:33 -070042 class Object;
43} // namespace mirror
Ian Rogers57b86d42012-03-27 16:05:41 -070044
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080045// TODO: Fix no thread safety analysis when GCC can handle template specialization.
46template <const bool kAccessCheck>
47ALWAYS_INLINE static inline mirror::Class* CheckObjectAlloc(uint32_t type_idx,
48 mirror::ArtMethod* method,
49 Thread* self)
50 NO_THREAD_SAFETY_ANALYSIS {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070051 mirror::Class* klass = method->GetDexCacheResolvedTypes()->GetWithoutChecks(type_idx);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070052 if (UNLIKELY(klass == NULL)) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080053 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070054 if (klass == NULL) {
55 DCHECK(self->IsExceptionPending());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080056 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070057 }
58 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080059 if (kAccessCheck) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070060 if (UNLIKELY(!klass->IsInstantiable())) {
61 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
62 self->ThrowNewException(throw_location, "Ljava/lang/InstantiationError;",
63 PrettyDescriptor(klass).c_str());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080064 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070065 }
66 mirror::Class* referrer = method->GetDeclaringClass();
67 if (UNLIKELY(!referrer->CanAccess(klass))) {
68 ThrowIllegalAccessErrorClass(referrer, klass);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080069 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070070 }
71 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080072 if (UNLIKELY(!klass->IsInitialized())) {
73 SirtRef<mirror::Class> sirt_klass(self, klass);
74 // The class initializer might cause a GC.
75 if (!Runtime::Current()->GetClassLinker()->EnsureInitialized(klass, true, true)) {
76 DCHECK(self->IsExceptionPending());
77 return nullptr; // Failure
78 }
79 return sirt_klass.get();
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070080 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080081 return klass;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070082}
83
Ian Rogers57b86d42012-03-27 16:05:41 -070084// Given the context of a calling Method, use its DexCache to resolve a type to a Class. If it
85// cannot be resolved, throw an error. If it can, use it to create an instance.
86// When verification/compiler hasn't been able to verify access, optionally perform an access
87// check.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080088// TODO: Fix NO_THREAD_SAFETY_ANALYSIS when GCC is smarter.
89template <bool kAccessCheck, bool kInstrumented>
90ALWAYS_INLINE static inline mirror::Object* AllocObjectFromCode(uint32_t type_idx,
91 mirror::ArtMethod* method,
92 Thread* self,
93 gc::AllocatorType allocator_type)
94 NO_THREAD_SAFETY_ANALYSIS {
95 mirror::Class* klass = CheckObjectAlloc<kAccessCheck>(type_idx, method, self);
96 if (UNLIKELY(klass == nullptr)) {
97 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070098 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080099 return klass->Alloc<kInstrumented>(self, allocator_type);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700100}
101
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800102// TODO: Fix no thread safety analysis when GCC can handle template specialization.
103template <bool kAccessCheck>
104ALWAYS_INLINE static inline mirror::Class* CheckArrayAlloc(uint32_t type_idx,
105 mirror::ArtMethod* method,
106 int32_t component_count)
107 NO_THREAD_SAFETY_ANALYSIS {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700108 if (UNLIKELY(component_count < 0)) {
109 ThrowNegativeArraySizeException(component_count);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800110 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700111 }
112 mirror::Class* klass = method->GetDexCacheResolvedTypes()->GetWithoutChecks(type_idx);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800113 if (UNLIKELY(klass == nullptr)) { // Not in dex cache so try to resolve
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700114 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
115 if (klass == NULL) { // Error
116 DCHECK(Thread::Current()->IsExceptionPending());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800117 return nullptr; // Failure
Ian Rogers57b86d42012-03-27 16:05:41 -0700118 }
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700119 CHECK(klass->IsArrayClass()) << PrettyClass(klass);
Ian Rogers57b86d42012-03-27 16:05:41 -0700120 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800121 if (kAccessCheck) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800122 mirror::Class* referrer = method->GetDeclaringClass();
Ian Rogers57b86d42012-03-27 16:05:41 -0700123 if (UNLIKELY(!referrer->CanAccess(klass))) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700124 ThrowIllegalAccessErrorClass(referrer, klass);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800125 return nullptr; // Failure
Ian Rogers57b86d42012-03-27 16:05:41 -0700126 }
127 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800128 return klass;
Ian Rogers57b86d42012-03-27 16:05:41 -0700129}
130
131// Given the context of a calling Method, use its DexCache to resolve a type to an array Class. If
132// it cannot be resolved, throw an error. If it can, use it to create an array.
133// When verification/compiler hasn't been able to verify access, optionally perform an access
134// check.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800135// TODO: Fix no thread safety analysis when GCC can handle template specialization.
136template <bool kAccessCheck, bool kInstrumented>
137ALWAYS_INLINE static inline mirror::Array* AllocArrayFromCode(uint32_t type_idx,
138 mirror::ArtMethod* method,
139 int32_t component_count,
140 Thread* self,
141 gc::AllocatorType allocator_type)
142 NO_THREAD_SAFETY_ANALYSIS {
143 mirror::Class* klass = CheckArrayAlloc<kAccessCheck>(type_idx, method, component_count);
144 if (UNLIKELY(klass == nullptr)) {
145 return nullptr;
Ian Rogers57b86d42012-03-27 16:05:41 -0700146 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800147 return mirror::Array::Alloc<kInstrumented>(self, klass, component_count, allocator_type);
Ian Rogers57b86d42012-03-27 16:05:41 -0700148}
149
Brian Carlstromea46f952013-07-30 01:26:50 -0700150extern mirror::Array* CheckAndAllocArrayFromCode(uint32_t type_idx, mirror::ArtMethod* method,
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800151 int32_t component_count, Thread* self,
152 bool access_check,
153 gc::AllocatorType allocator_type)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700154 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Ian Rogers57b86d42012-03-27 16:05:41 -0700155
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800156extern mirror::Array* CheckAndAllocArrayFromCodeInstrumented(uint32_t type_idx,
157 mirror::ArtMethod* method,
158 int32_t component_count, Thread* self,
159 bool access_check,
160 gc::AllocatorType allocator_type)
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700161 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
162
Ian Rogers08f753d2012-08-24 14:35:25 -0700163// Type of find field operation for fast and slow case.
164enum FindFieldType {
165 InstanceObjectRead,
166 InstanceObjectWrite,
167 InstancePrimitiveRead,
168 InstancePrimitiveWrite,
169 StaticObjectRead,
170 StaticObjectWrite,
171 StaticPrimitiveRead,
172 StaticPrimitiveWrite,
173};
174
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200175template<FindFieldType type, bool access_check>
176static inline mirror::ArtField* FindFieldFromCode(uint32_t field_idx, const mirror::ArtMethod* referrer,
177 Thread* self, size_t expected_size) {
178 bool is_primitive;
179 bool is_set;
180 bool is_static;
181 switch (type) {
182 case InstanceObjectRead: is_primitive = false; is_set = false; is_static = false; break;
183 case InstanceObjectWrite: is_primitive = false; is_set = true; is_static = false; break;
184 case InstancePrimitiveRead: is_primitive = true; is_set = false; is_static = false; break;
185 case InstancePrimitiveWrite: is_primitive = true; is_set = true; is_static = false; break;
186 case StaticObjectRead: is_primitive = false; is_set = false; is_static = true; break;
187 case StaticObjectWrite: is_primitive = false; is_set = true; is_static = true; break;
188 case StaticPrimitiveRead: is_primitive = true; is_set = false; is_static = true; break;
189 case StaticPrimitiveWrite: // Keep GCC happy by having a default handler, fall-through.
190 default: is_primitive = true; is_set = true; is_static = true; break;
191 }
192 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
193 mirror::ArtField* resolved_field = class_linker->ResolveField(field_idx, referrer, is_static);
194 if (UNLIKELY(resolved_field == nullptr)) {
195 DCHECK(self->IsExceptionPending()); // Throw exception and unwind.
196 return nullptr; // Failure.
197 }
198 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
199 if (access_check) {
200 if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
201 ThrowIncompatibleClassChangeErrorField(resolved_field, is_static, referrer);
202 return nullptr;
203 }
204 mirror::Class* referring_class = referrer->GetDeclaringClass();
205 if (UNLIKELY(!referring_class->CanAccess(fields_class) ||
206 !referring_class->CanAccessMember(fields_class,
207 resolved_field->GetAccessFlags()))) {
208 // The referring class can't access the resolved field, this may occur as a result of a
209 // protected field being made public by a sub-class. Resort to the dex file to determine
210 // the correct class for the access check.
211 const DexFile& dex_file = *referring_class->GetDexCache()->GetDexFile();
212 fields_class = class_linker->ResolveType(dex_file,
213 dex_file.GetFieldId(field_idx).class_idx_,
214 referring_class);
215 if (UNLIKELY(!referring_class->CanAccess(fields_class))) {
216 ThrowIllegalAccessErrorClass(referring_class, fields_class);
217 return nullptr; // failure
218 } else if (UNLIKELY(!referring_class->CanAccessMember(fields_class,
219 resolved_field->GetAccessFlags()))) {
220 ThrowIllegalAccessErrorField(referring_class, resolved_field);
221 return nullptr; // failure
222 }
223 }
224 if (UNLIKELY(is_set && resolved_field->IsFinal() && (fields_class != referring_class))) {
225 ThrowIllegalAccessErrorFinalField(referrer, resolved_field);
226 return nullptr; // failure
227 } else {
228 FieldHelper fh(resolved_field);
229 if (UNLIKELY(fh.IsPrimitiveType() != is_primitive ||
230 fh.FieldSize() != expected_size)) {
231 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
232 DCHECK(throw_location.GetMethod() == referrer);
233 self->ThrowNewExceptionF(throw_location, "Ljava/lang/NoSuchFieldError;",
234 "Attempted read of %zd-bit %s on field '%s'",
235 expected_size * (32 / sizeof(int32_t)),
236 is_primitive ? "primitive" : "non-primitive",
237 PrettyField(resolved_field, true).c_str());
238 return nullptr; // failure
239 }
240 }
241 }
242 if (!is_static) {
243 // instance fields must be being accessed on an initialized class
244 return resolved_field;
245 } else {
246 // If the class is initialized we're done.
247 if (LIKELY(fields_class->IsInitialized())) {
248 return resolved_field;
249 } else if (LIKELY(class_linker->EnsureInitialized(fields_class, true, true))) {
250 // Otherwise let's ensure the class is initialized before resolving the field.
251 return resolved_field;
252 } else {
253 DCHECK(self->IsExceptionPending()); // Throw exception and unwind
254 return nullptr; // failure
255 }
256 }
257}
258
259// Explicit template declarations of FindFieldFromCode for all field access types.
260#define EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL(_type, _access_check) \
261template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
262static mirror::ArtField* FindFieldFromCode<_type, _access_check>(uint32_t field_idx, \
263 const mirror::ArtMethod* referrer, \
264 Thread* self, size_t expected_size) \
265
266#define EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(_type) \
267 EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL(_type, false); \
268 EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL(_type, true)
269
270EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstanceObjectRead);
271EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstanceObjectWrite);
272EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstancePrimitiveRead);
273EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstancePrimitiveWrite);
274EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticObjectRead);
275EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticObjectWrite);
276EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticPrimitiveRead);
277EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticPrimitiveWrite);
278
279#undef EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL
280#undef EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL
281
282template<InvokeType type, bool access_check>
283static inline mirror::ArtMethod* FindMethodFromCode(uint32_t method_idx, mirror::Object* this_object,
284 mirror::ArtMethod* referrer, Thread* self) {
285 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
286 mirror::ArtMethod* resolved_method = class_linker->ResolveMethod(method_idx, referrer, type);
287 if (UNLIKELY(resolved_method == nullptr)) {
288 DCHECK(self->IsExceptionPending()); // Throw exception and unwind.
289 return nullptr; // Failure.
290 } else if (UNLIKELY(this_object == nullptr && type != kStatic)) {
291 // Maintain interpreter-like semantics where NullPointerException is thrown
292 // after potential NoSuchMethodError from class linker.
293 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
294 DCHECK(referrer == throw_location.GetMethod());
295 ThrowNullPointerExceptionForMethodAccess(throw_location, method_idx, type);
296 return nullptr; // Failure.
297 } else if (access_check) {
298 // Incompatible class change should have been handled in resolve method.
299 if (UNLIKELY(resolved_method->CheckIncompatibleClassChange(type))) {
300 ThrowIncompatibleClassChangeError(type, resolved_method->GetInvokeType(), resolved_method,
301 referrer);
302 return nullptr; // Failure.
303 }
304 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
305 mirror::Class* referring_class = referrer->GetDeclaringClass();
306 if (UNLIKELY(!referring_class->CanAccess(methods_class) ||
307 !referring_class->CanAccessMember(methods_class,
308 resolved_method->GetAccessFlags()))) {
309 // The referring class can't access the resolved method, this may occur as a result of a
310 // protected method being made public by implementing an interface that re-declares the
311 // method public. Resort to the dex file to determine the correct class for the access check
312 const DexFile& dex_file = *referring_class->GetDexCache()->GetDexFile();
313 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
314 methods_class = class_linker->ResolveType(dex_file,
315 dex_file.GetMethodId(method_idx).class_idx_,
316 referring_class);
317 if (UNLIKELY(!referring_class->CanAccess(methods_class))) {
318 ThrowIllegalAccessErrorClassForMethodDispatch(referring_class, methods_class,
319 referrer, resolved_method, type);
320 return nullptr; // Failure.
321 } else if (UNLIKELY(!referring_class->CanAccessMember(methods_class,
322 resolved_method->GetAccessFlags()))) {
323 ThrowIllegalAccessErrorMethod(referring_class, resolved_method);
324 return nullptr; // Failure.
325 }
326 }
327 }
328 switch (type) {
329 case kStatic:
330 case kDirect:
331 return resolved_method;
332 case kVirtual: {
333 mirror::ObjectArray<mirror::ArtMethod>* vtable = this_object->GetClass()->GetVTable();
334 uint16_t vtable_index = resolved_method->GetMethodIndex();
335 if (access_check &&
336 (vtable == nullptr || vtable_index >= static_cast<uint32_t>(vtable->GetLength()))) {
337 // Behavior to agree with that of the verifier.
338 MethodHelper mh(resolved_method);
339 ThrowNoSuchMethodError(type, resolved_method->GetDeclaringClass(), mh.GetName(),
340 mh.GetSignature());
341 return nullptr; // Failure.
342 }
343 DCHECK(vtable != nullptr);
344 return vtable->GetWithoutChecks(vtable_index);
345 }
346 case kSuper: {
347 mirror::Class* super_class = referrer->GetDeclaringClass()->GetSuperClass();
348 uint16_t vtable_index = resolved_method->GetMethodIndex();
349 mirror::ObjectArray<mirror::ArtMethod>* vtable;
350 if (access_check) {
351 // Check existence of super class.
352 vtable = (super_class != nullptr) ? super_class->GetVTable() : nullptr;
353 if (vtable == nullptr || vtable_index >= static_cast<uint32_t>(vtable->GetLength())) {
354 // Behavior to agree with that of the verifier.
355 MethodHelper mh(resolved_method);
356 ThrowNoSuchMethodError(type, resolved_method->GetDeclaringClass(), mh.GetName(),
357 mh.GetSignature());
358 return nullptr; // Failure.
359 }
360 } else {
361 // Super class must exist.
362 DCHECK(super_class != nullptr);
363 vtable = super_class->GetVTable();
364 }
365 DCHECK(vtable != nullptr);
366 return vtable->GetWithoutChecks(vtable_index);
367 }
368 case kInterface: {
Jeff Hao88474b42013-10-23 16:24:40 -0700369 uint32_t imt_index = resolved_method->GetDexMethodIndex() % ClassLinker::kImtSize;
370 mirror::ObjectArray<mirror::ArtMethod>* imt_table = this_object->GetClass()->GetImTable();
371 mirror::ArtMethod* imt_method = imt_table->Get(imt_index);
372 if (!imt_method->IsImtConflictMethod()) {
373 return imt_method;
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200374 } else {
Jeff Hao88474b42013-10-23 16:24:40 -0700375 mirror::ArtMethod* interface_method =
376 this_object->GetClass()->FindVirtualMethodForInterface(resolved_method);
377 if (UNLIKELY(interface_method == nullptr)) {
378 ThrowIncompatibleClassChangeErrorClassForInterfaceDispatch(resolved_method, this_object,
379 referrer);
380 return nullptr; // Failure.
381 } else {
382 return interface_method;
383 }
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200384 }
385 }
386 default:
387 LOG(FATAL) << "Unknown invoke type " << type;
388 return nullptr; // Failure.
389 }
390}
391
392// Explicit template declarations of FindMethodFromCode for all invoke types.
393#define EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL(_type, _access_check) \
394 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
395 static mirror::ArtMethod* FindMethodFromCode<_type, _access_check>(uint32_t method_idx, \
396 mirror::Object* this_object, \
397 mirror::ArtMethod* referrer, \
398 Thread* self)
399#define EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(_type) \
400 EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL(_type, false); \
401 EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL(_type, true)
402
403EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kStatic);
404EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kDirect);
405EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kVirtual);
406EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kSuper);
407EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kInterface);
408
409#undef EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL
410#undef EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL
Ian Rogers57b86d42012-03-27 16:05:41 -0700411
Ian Rogers08f753d2012-08-24 14:35:25 -0700412// Fast path field resolution that can't initialize classes or throw exceptions.
Brian Carlstromea46f952013-07-30 01:26:50 -0700413static inline mirror::ArtField* FindFieldFast(uint32_t field_idx,
414 const mirror::ArtMethod* referrer,
415 FindFieldType type, size_t expected_size)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700416 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700417 mirror::ArtField* resolved_field =
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800418 referrer->GetDeclaringClass()->GetDexCache()->GetResolvedField(field_idx);
Ian Rogers57b86d42012-03-27 16:05:41 -0700419 if (UNLIKELY(resolved_field == NULL)) {
420 return NULL;
421 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800422 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
Ian Rogers08f753d2012-08-24 14:35:25 -0700423 // Check class is initiliazed or initializing.
Ian Rogers57b86d42012-03-27 16:05:41 -0700424 if (UNLIKELY(!fields_class->IsInitializing())) {
425 return NULL;
426 }
Ian Rogers08f753d2012-08-24 14:35:25 -0700427 // Check for incompatible class change.
428 bool is_primitive;
429 bool is_set;
430 bool is_static;
431 switch (type) {
432 case InstanceObjectRead: is_primitive = false; is_set = false; is_static = false; break;
433 case InstanceObjectWrite: is_primitive = false; is_set = true; is_static = false; break;
434 case InstancePrimitiveRead: is_primitive = true; is_set = false; is_static = false; break;
435 case InstancePrimitiveWrite: is_primitive = true; is_set = true; is_static = false; break;
436 case StaticObjectRead: is_primitive = false; is_set = false; is_static = true; break;
437 case StaticObjectWrite: is_primitive = false; is_set = true; is_static = true; break;
438 case StaticPrimitiveRead: is_primitive = true; is_set = false; is_static = true; break;
439 case StaticPrimitiveWrite: is_primitive = true; is_set = true; is_static = true; break;
Brian Carlstromf69863b2013-07-17 21:53:13 -0700440 default:
441 LOG(FATAL) << "UNREACHABLE"; // Assignment below to avoid GCC warnings.
442 is_primitive = true;
443 is_set = true;
444 is_static = true;
445 break;
Ian Rogers08f753d2012-08-24 14:35:25 -0700446 }
447 if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
448 // Incompatible class change.
449 return NULL;
450 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800451 mirror::Class* referring_class = referrer->GetDeclaringClass();
Ian Rogers57b86d42012-03-27 16:05:41 -0700452 if (UNLIKELY(!referring_class->CanAccess(fields_class) ||
453 !referring_class->CanAccessMember(fields_class,
454 resolved_field->GetAccessFlags()) ||
455 (is_set && resolved_field->IsFinal() && (fields_class != referring_class)))) {
Ian Rogers08f753d2012-08-24 14:35:25 -0700456 // Illegal access.
Ian Rogers57b86d42012-03-27 16:05:41 -0700457 return NULL;
458 }
459 FieldHelper fh(resolved_field);
460 if (UNLIKELY(fh.IsPrimitiveType() != is_primitive ||
461 fh.FieldSize() != expected_size)) {
462 return NULL;
463 }
464 return resolved_field;
465}
466
Ian Rogers08f753d2012-08-24 14:35:25 -0700467// Fast path method resolution that can't throw exceptions.
Brian Carlstromea46f952013-07-30 01:26:50 -0700468static inline mirror::ArtMethod* FindMethodFast(uint32_t method_idx,
469 mirror::Object* this_object,
470 const mirror::ArtMethod* referrer,
471 bool access_check, InvokeType type)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700472 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers57b86d42012-03-27 16:05:41 -0700473 bool is_direct = type == kStatic || type == kDirect;
474 if (UNLIKELY(this_object == NULL && !is_direct)) {
475 return NULL;
476 }
Brian Carlstromea46f952013-07-30 01:26:50 -0700477 mirror::ArtMethod* resolved_method =
Ian Rogers57b86d42012-03-27 16:05:41 -0700478 referrer->GetDeclaringClass()->GetDexCache()->GetResolvedMethod(method_idx);
479 if (UNLIKELY(resolved_method == NULL)) {
480 return NULL;
481 }
482 if (access_check) {
Ian Rogers08f753d2012-08-24 14:35:25 -0700483 // Check for incompatible class change errors and access.
484 bool icce = resolved_method->CheckIncompatibleClassChange(type);
485 if (UNLIKELY(icce)) {
486 return NULL;
487 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800488 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
489 mirror::Class* referring_class = referrer->GetDeclaringClass();
Ian Rogers57b86d42012-03-27 16:05:41 -0700490 if (UNLIKELY(!referring_class->CanAccess(methods_class) ||
491 !referring_class->CanAccessMember(methods_class,
492 resolved_method->GetAccessFlags()))) {
Ian Rogers08f753d2012-08-24 14:35:25 -0700493 // Potential illegal access, may need to refine the method's class.
Ian Rogers57b86d42012-03-27 16:05:41 -0700494 return NULL;
495 }
496 }
497 if (type == kInterface) { // Most common form of slow path dispatch.
498 return this_object->GetClass()->FindVirtualMethodForInterface(resolved_method);
499 } else if (is_direct) {
500 return resolved_method;
501 } else if (type == kSuper) {
502 return referrer->GetDeclaringClass()->GetSuperClass()->GetVTable()->
503 Get(resolved_method->GetMethodIndex());
504 } else {
505 DCHECK(type == kVirtual);
506 return this_object->GetClass()->GetVTable()->Get(resolved_method->GetMethodIndex());
507 }
508}
509
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700510static inline mirror::Class* ResolveVerifyAndClinit(uint32_t type_idx,
Brian Carlstromea46f952013-07-30 01:26:50 -0700511 const mirror::ArtMethod* referrer,
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700512 Thread* self, bool can_run_clinit,
513 bool verify_access)
514 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
515 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
516 mirror::Class* klass = class_linker->ResolveType(type_idx, referrer);
517 if (UNLIKELY(klass == NULL)) {
518 CHECK(self->IsExceptionPending());
519 return NULL; // Failure - Indicate to caller to deliver exception
520 }
521 // Perform access check if necessary.
522 mirror::Class* referring_class = referrer->GetDeclaringClass();
523 if (verify_access && UNLIKELY(!referring_class->CanAccess(klass))) {
524 ThrowIllegalAccessErrorClass(referring_class, klass);
525 return NULL; // Failure - Indicate to caller to deliver exception
526 }
527 // If we're just implementing const-class, we shouldn't call <clinit>.
528 if (!can_run_clinit) {
529 return klass;
530 }
531 // If we are the <clinit> of this class, just return our storage.
532 //
533 // Do not set the DexCache InitializedStaticStorage, since that implies <clinit> has finished
534 // running.
Ian Rogers241b5de2013-10-09 17:58:57 -0700535 if (klass == referring_class && referrer->IsConstructor() && referrer->IsStatic()) {
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700536 return klass;
537 }
538 if (!class_linker->EnsureInitialized(klass, true, true)) {
539 CHECK(self->IsExceptionPending());
540 return NULL; // Failure - Indicate to caller to deliver exception
541 }
542 referrer->GetDexCacheInitializedStaticStorage()->Set(type_idx, klass);
543 return klass;
544}
Ian Rogers57b86d42012-03-27 16:05:41 -0700545
jeffhaod7521322012-11-21 15:38:24 -0800546extern void ThrowStackOverflowError(Thread* self) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
547
Brian Carlstromea46f952013-07-30 01:26:50 -0700548static inline mirror::String* ResolveStringFromCode(const mirror::ArtMethod* referrer,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800549 uint32_t string_idx)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700550 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers57b86d42012-03-27 16:05:41 -0700551 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
552 return class_linker->ResolveString(string_idx, referrer);
553}
Shih-wei Liao2d831012011-09-28 22:06:53 -0700554
TDYa1273d71d802012-08-15 03:47:03 -0700555static inline void UnlockJniSynchronizedMethod(jobject locked, Thread* self)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700556 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
TDYa1273d71d802012-08-15 03:47:03 -0700557 UNLOCK_FUNCTION(monitor_lock_) {
558 // Save any pending exception over monitor exit call.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800559 mirror::Throwable* saved_exception = NULL;
Ian Rogers62d6c772013-02-27 08:32:07 -0800560 ThrowLocation saved_throw_location;
TDYa1273d71d802012-08-15 03:47:03 -0700561 if (UNLIKELY(self->IsExceptionPending())) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800562 saved_exception = self->GetException(&saved_throw_location);
TDYa1273d71d802012-08-15 03:47:03 -0700563 self->ClearException();
564 }
565 // Decode locked object and unlock, before popping local references.
566 self->DecodeJObject(locked)->MonitorExit(self);
567 if (UNLIKELY(self->IsExceptionPending())) {
568 LOG(FATAL) << "Synchronized JNI code returning with an exception:\n"
569 << saved_exception->Dump()
570 << "\nEncountered second exception during implicit MonitorExit:\n"
Ian Rogers62d6c772013-02-27 08:32:07 -0800571 << self->GetException(NULL)->Dump();
TDYa1273d71d802012-08-15 03:47:03 -0700572 }
573 // Restore pending exception.
574 if (saved_exception != NULL) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800575 self->SetException(saved_throw_location, saved_exception);
TDYa1273d71d802012-08-15 03:47:03 -0700576 }
577}
578
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800579static inline void CheckReferenceResult(mirror::Object* o, Thread* self)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700580 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
TDYa1273d71d802012-08-15 03:47:03 -0700581 if (o == NULL) {
582 return;
583 }
Brian Carlstromea46f952013-07-30 01:26:50 -0700584 mirror::ArtMethod* m = self->GetCurrentMethod(NULL);
TDYa1273d71d802012-08-15 03:47:03 -0700585 if (o == kInvalidIndirectRefObject) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800586 JniAbortF(NULL, "invalid reference returned from %s", PrettyMethod(m).c_str());
TDYa1273d71d802012-08-15 03:47:03 -0700587 }
588 // Make sure that the result is an instance of the type this method was expected to return.
Ian Rogers62d6c772013-02-27 08:32:07 -0800589 mirror::Class* return_type = MethodHelper(m).GetReturnType();
TDYa1273d71d802012-08-15 03:47:03 -0700590
591 if (!o->InstanceOf(return_type)) {
592 JniAbortF(NULL, "attempt to return an instance of %s from %s",
593 PrettyTypeOf(o).c_str(), PrettyMethod(m).c_str());
594 }
595}
596
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800597static inline void CheckSuspend(Thread* thread) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
jeffhao373c52f2012-11-20 16:11:52 -0800598 for (;;) {
599 if (thread->ReadFlag(kCheckpointRequest)) {
600 thread->RunCheckpointFunction();
jeffhao373c52f2012-11-20 16:11:52 -0800601 } else if (thread->ReadFlag(kSuspendRequest)) {
602 thread->FullSuspendCheck();
603 } else {
604 break;
605 }
606 }
607}
608
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800609JValue InvokeProxyInvocationHandler(ScopedObjectAccessUnchecked& soa, const char* shorty,
Brian Carlstromea46f952013-07-30 01:26:50 -0700610 jobject rcvr_jobj, jobject interface_art_method_jobj,
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800611 std::vector<jvalue>& args)
Brian Carlstrom02c8cc62013-07-18 15:54:44 -0700612 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800613
Jeff Hao58df3272013-04-22 15:28:53 -0700614// Entry point for deoptimization.
Ian Rogers848871b2013-08-05 10:56:33 -0700615extern "C" void art_quick_deoptimize();
616static inline uintptr_t GetQuickDeoptimizationEntryPoint() {
Jeff Hao58df3272013-04-22 15:28:53 -0700617 return reinterpret_cast<uintptr_t>(art_quick_deoptimize);
618}
619
620// Return address of instrumentation stub.
Ian Rogers848871b2013-08-05 10:56:33 -0700621extern "C" void art_quick_instrumentation_entry(void*);
622static inline void* GetQuickInstrumentationEntryPoint() {
623 return reinterpret_cast<void*>(art_quick_instrumentation_entry);
Jeff Hao58df3272013-04-22 15:28:53 -0700624}
625
626// The return_pc of instrumentation exit stub.
Ian Rogers848871b2013-08-05 10:56:33 -0700627extern "C" void art_quick_instrumentation_exit();
628static inline uintptr_t GetQuickInstrumentationExitPc() {
629 return reinterpret_cast<uintptr_t>(art_quick_instrumentation_exit);
630}
631
Brian Carlstromea46f952013-07-30 01:26:50 -0700632extern "C" void art_portable_to_interpreter_bridge(mirror::ArtMethod*);
Ian Rogers848871b2013-08-05 10:56:33 -0700633static inline const void* GetPortableToInterpreterBridge() {
634 return reinterpret_cast<void*>(art_portable_to_interpreter_bridge);
635}
636
Brian Carlstromea46f952013-07-30 01:26:50 -0700637extern "C" void art_quick_to_interpreter_bridge(mirror::ArtMethod*);
Ian Rogers848871b2013-08-05 10:56:33 -0700638static inline const void* GetQuickToInterpreterBridge() {
639 return reinterpret_cast<void*>(art_quick_to_interpreter_bridge);
Jeff Hao58df3272013-04-22 15:28:53 -0700640}
641
642// Return address of interpreter stub.
Ian Rogers848871b2013-08-05 10:56:33 -0700643static inline const void* GetCompiledCodeToInterpreterBridge() {
644#if defined(ART_USE_PORTABLE_COMPILER)
645 return GetPortableToInterpreterBridge();
646#else
647 return GetQuickToInterpreterBridge();
648#endif
Jeff Hao58df3272013-04-22 15:28:53 -0700649}
650
Ian Rogers848871b2013-08-05 10:56:33 -0700651
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700652static inline const void* GetPortableResolutionTrampoline(ClassLinker* class_linker) {
653 return class_linker->GetPortableResolutionTrampoline();
Jeff Hao58df3272013-04-22 15:28:53 -0700654}
655
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700656static inline const void* GetQuickResolutionTrampoline(ClassLinker* class_linker) {
657 return class_linker->GetQuickResolutionTrampoline();
Jeff Hao58df3272013-04-22 15:28:53 -0700658}
659
660// Return address of resolution trampoline stub for defined compiler.
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700661static inline const void* GetResolutionTrampoline(ClassLinker* class_linker) {
Jeff Hao58df3272013-04-22 15:28:53 -0700662#if defined(ART_USE_PORTABLE_COMPILER)
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700663 return GetPortableResolutionTrampoline(class_linker);
Jeff Hao58df3272013-04-22 15:28:53 -0700664#else
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700665 return GetQuickResolutionTrampoline(class_linker);
Jeff Hao58df3272013-04-22 15:28:53 -0700666#endif
Jeff Hao79fe5392013-04-24 18:41:58 -0700667}
668
Jeff Hao88474b42013-10-23 16:24:40 -0700669static inline const void* GetPortableImtConflictTrampoline(ClassLinker* class_linker) {
670 return class_linker->GetPortableImtConflictTrampoline();
671}
672
673static inline const void* GetQuickImtConflictTrampoline(ClassLinker* class_linker) {
674 return class_linker->GetQuickImtConflictTrampoline();
675}
676
677// Return address of imt conflict trampoline stub for defined compiler.
678static inline const void* GetImtConflictTrampoline(ClassLinker* class_linker) {
679#if defined(ART_USE_PORTABLE_COMPILER)
680 return GetPortableImtConflictTrampoline(class_linker);
681#else
682 return GetQuickImtConflictTrampoline(class_linker);
683#endif
684}
685
Ian Rogers848871b2013-08-05 10:56:33 -0700686extern "C" void art_portable_proxy_invoke_handler();
687static inline const void* GetPortableProxyInvokeHandler() {
688 return reinterpret_cast<void*>(art_portable_proxy_invoke_handler);
Jeff Hao79fe5392013-04-24 18:41:58 -0700689}
690
Ian Rogers848871b2013-08-05 10:56:33 -0700691extern "C" void art_quick_proxy_invoke_handler();
692static inline const void* GetQuickProxyInvokeHandler() {
693 return reinterpret_cast<void*>(art_quick_proxy_invoke_handler);
Jeff Hao79fe5392013-04-24 18:41:58 -0700694}
695
Ian Rogers848871b2013-08-05 10:56:33 -0700696static inline const void* GetProxyInvokeHandler() {
Jeff Hao79fe5392013-04-24 18:41:58 -0700697#if defined(ART_USE_PORTABLE_COMPILER)
Ian Rogers848871b2013-08-05 10:56:33 -0700698 return GetPortableProxyInvokeHandler();
Jeff Hao79fe5392013-04-24 18:41:58 -0700699#else
Ian Rogers848871b2013-08-05 10:56:33 -0700700 return GetQuickProxyInvokeHandler();
Jeff Hao79fe5392013-04-24 18:41:58 -0700701#endif
702}
703
Ian Rogers848871b2013-08-05 10:56:33 -0700704extern "C" void* art_jni_dlsym_lookup_stub(JNIEnv*, jobject);
Jeff Hao79fe5392013-04-24 18:41:58 -0700705static inline void* GetJniDlsymLookupStub() {
706 return reinterpret_cast<void*>(art_jni_dlsym_lookup_stub);
707}
Jeff Hao58df3272013-04-22 15:28:53 -0700708
Ian Rogers450dcb52013-09-20 17:36:02 -0700709template <typename INT_TYPE, typename FLOAT_TYPE>
710static inline INT_TYPE art_float_to_integral(FLOAT_TYPE f) {
711 const INT_TYPE kMaxInt = static_cast<INT_TYPE>(std::numeric_limits<INT_TYPE>::max());
712 const INT_TYPE kMinInt = static_cast<INT_TYPE>(std::numeric_limits<INT_TYPE>::min());
713 const FLOAT_TYPE kMaxIntAsFloat = static_cast<FLOAT_TYPE>(kMaxInt);
714 const FLOAT_TYPE kMinIntAsFloat = static_cast<FLOAT_TYPE>(kMinInt);
715 if (LIKELY(f > kMinIntAsFloat)) {
716 if (LIKELY(f < kMaxIntAsFloat)) {
717 return static_cast<INT_TYPE>(f);
718 } else {
719 return kMaxInt;
720 }
721 } else {
722 return (f != f) ? 0 : kMinInt; // f != f implies NaN
723 }
724}
725
Shih-wei Liao2d831012011-09-28 22:06:53 -0700726} // namespace art
Ian Rogersad42e132011-09-17 20:23:33 -0700727
Ian Rogers7655f292013-07-29 11:07:13 -0700728#endif // ART_RUNTIME_ENTRYPOINTS_ENTRYPOINT_UTILS_H_