blob: 09be56e8a4ab9ef0cdee262c7cbe670977ac6e74 [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,
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080049 Thread* self, bool* slow_path)
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080050 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);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080054 *slow_path = true;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070055 if (klass == NULL) {
56 DCHECK(self->IsExceptionPending());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080057 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070058 }
59 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080060 if (kAccessCheck) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070061 if (UNLIKELY(!klass->IsInstantiable())) {
62 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
63 self->ThrowNewException(throw_location, "Ljava/lang/InstantiationError;",
64 PrettyDescriptor(klass).c_str());
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080065 *slow_path = true;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080066 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070067 }
68 mirror::Class* referrer = method->GetDeclaringClass();
69 if (UNLIKELY(!referrer->CanAccess(klass))) {
70 ThrowIllegalAccessErrorClass(referrer, klass);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080071 *slow_path = true;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080072 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070073 }
74 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080075 if (UNLIKELY(!klass->IsInitialized())) {
76 SirtRef<mirror::Class> sirt_klass(self, klass);
77 // The class initializer might cause a GC.
Mathieu Chartierc528dba2013-11-26 12:00:11 -080078 if (!Runtime::Current()->GetClassLinker()->EnsureInitialized(sirt_klass, true, true)) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080079 DCHECK(self->IsExceptionPending());
80 return nullptr; // Failure
81 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080082 // TODO: EnsureInitialized may cause us to suspend meaning that another thread may try to
83 // change the allocator while we are stuck in the entrypoints of an old allocator. To handle
84 // this case we mark the slow path boolean as true so that the caller knows to check the
85 // allocator type to see if it has changed.
86 *slow_path = true;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080087 return sirt_klass.get();
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070088 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080089 return klass;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070090}
91
Ian Rogers57b86d42012-03-27 16:05:41 -070092// Given the context of a calling Method, use its DexCache to resolve a type to a Class. If it
93// cannot be resolved, throw an error. If it can, use it to create an instance.
94// When verification/compiler hasn't been able to verify access, optionally perform an access
95// check.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080096// TODO: Fix NO_THREAD_SAFETY_ANALYSIS when GCC is smarter.
97template <bool kAccessCheck, bool kInstrumented>
98ALWAYS_INLINE static inline mirror::Object* AllocObjectFromCode(uint32_t type_idx,
99 mirror::ArtMethod* method,
100 Thread* self,
101 gc::AllocatorType allocator_type)
102 NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800103 bool slow_path = false;
104 mirror::Class* klass = CheckObjectAlloc<kAccessCheck>(type_idx, method, self, &slow_path);
105 if (UNLIKELY(slow_path)) {
106 if (klass == nullptr) {
107 return nullptr;
108 }
109 gc::Heap* heap = Runtime::Current()->GetHeap();
110 return klass->Alloc<kInstrumented>(self, heap->GetCurrentAllocator());
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700111 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800112 return klass->Alloc<kInstrumented>(self, allocator_type);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700113}
114
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800115// TODO: Fix no thread safety analysis when GCC can handle template specialization.
116template <bool kAccessCheck>
117ALWAYS_INLINE static inline mirror::Class* CheckArrayAlloc(uint32_t type_idx,
118 mirror::ArtMethod* method,
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800119 int32_t component_count,
120 bool* slow_path)
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800121 NO_THREAD_SAFETY_ANALYSIS {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700122 if (UNLIKELY(component_count < 0)) {
123 ThrowNegativeArraySizeException(component_count);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800124 *slow_path = true;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800125 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700126 }
127 mirror::Class* klass = method->GetDexCacheResolvedTypes()->GetWithoutChecks(type_idx);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800128 if (UNLIKELY(klass == nullptr)) { // Not in dex cache so try to resolve
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700129 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800130 *slow_path = true;
131 if (klass == nullptr) { // Error
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700132 DCHECK(Thread::Current()->IsExceptionPending());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800133 return nullptr; // Failure
Ian Rogers57b86d42012-03-27 16:05:41 -0700134 }
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700135 CHECK(klass->IsArrayClass()) << PrettyClass(klass);
Ian Rogers57b86d42012-03-27 16:05:41 -0700136 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800137 if (kAccessCheck) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800138 mirror::Class* referrer = method->GetDeclaringClass();
Ian Rogers57b86d42012-03-27 16:05:41 -0700139 if (UNLIKELY(!referrer->CanAccess(klass))) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700140 ThrowIllegalAccessErrorClass(referrer, klass);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800141 *slow_path = true;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800142 return nullptr; // Failure
Ian Rogers57b86d42012-03-27 16:05:41 -0700143 }
144 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800145 return klass;
Ian Rogers57b86d42012-03-27 16:05:41 -0700146}
147
148// Given the context of a calling Method, use its DexCache to resolve a type to an array Class. If
149// it cannot be resolved, throw an error. If it can, use it to create an array.
150// When verification/compiler hasn't been able to verify access, optionally perform an access
151// check.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800152// TODO: Fix no thread safety analysis when GCC can handle template specialization.
153template <bool kAccessCheck, bool kInstrumented>
154ALWAYS_INLINE static inline mirror::Array* AllocArrayFromCode(uint32_t type_idx,
155 mirror::ArtMethod* method,
156 int32_t component_count,
157 Thread* self,
158 gc::AllocatorType allocator_type)
159 NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800160 bool slow_path = false;
161 mirror::Class* klass = CheckArrayAlloc<kAccessCheck>(type_idx, method, component_count,
162 &slow_path);
163 if (UNLIKELY(slow_path)) {
164 if (klass == nullptr) {
165 return nullptr;
166 }
167 gc::Heap* heap = Runtime::Current()->GetHeap();
168 return mirror::Array::Alloc<kInstrumented>(self, klass, component_count,
169 heap->GetCurrentAllocator());
Ian Rogers57b86d42012-03-27 16:05:41 -0700170 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800171 return mirror::Array::Alloc<kInstrumented>(self, klass, component_count, allocator_type);
Ian Rogers57b86d42012-03-27 16:05:41 -0700172}
173
Brian Carlstromea46f952013-07-30 01:26:50 -0700174extern mirror::Array* CheckAndAllocArrayFromCode(uint32_t type_idx, mirror::ArtMethod* method,
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800175 int32_t component_count, Thread* self,
176 bool access_check,
177 gc::AllocatorType allocator_type)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700178 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Ian Rogers57b86d42012-03-27 16:05:41 -0700179
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800180extern mirror::Array* CheckAndAllocArrayFromCodeInstrumented(uint32_t type_idx,
181 mirror::ArtMethod* method,
182 int32_t component_count, Thread* self,
183 bool access_check,
184 gc::AllocatorType allocator_type)
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700185 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
186
Ian Rogers08f753d2012-08-24 14:35:25 -0700187// Type of find field operation for fast and slow case.
188enum FindFieldType {
189 InstanceObjectRead,
190 InstanceObjectWrite,
191 InstancePrimitiveRead,
192 InstancePrimitiveWrite,
193 StaticObjectRead,
194 StaticObjectWrite,
195 StaticPrimitiveRead,
196 StaticPrimitiveWrite,
197};
198
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200199template<FindFieldType type, bool access_check>
200static inline mirror::ArtField* FindFieldFromCode(uint32_t field_idx, const mirror::ArtMethod* referrer,
201 Thread* self, size_t expected_size) {
202 bool is_primitive;
203 bool is_set;
204 bool is_static;
205 switch (type) {
206 case InstanceObjectRead: is_primitive = false; is_set = false; is_static = false; break;
207 case InstanceObjectWrite: is_primitive = false; is_set = true; is_static = false; break;
208 case InstancePrimitiveRead: is_primitive = true; is_set = false; is_static = false; break;
209 case InstancePrimitiveWrite: is_primitive = true; is_set = true; is_static = false; break;
210 case StaticObjectRead: is_primitive = false; is_set = false; is_static = true; break;
211 case StaticObjectWrite: is_primitive = false; is_set = true; is_static = true; break;
212 case StaticPrimitiveRead: is_primitive = true; is_set = false; is_static = true; break;
213 case StaticPrimitiveWrite: // Keep GCC happy by having a default handler, fall-through.
214 default: is_primitive = true; is_set = true; is_static = true; break;
215 }
216 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
217 mirror::ArtField* resolved_field = class_linker->ResolveField(field_idx, referrer, is_static);
218 if (UNLIKELY(resolved_field == nullptr)) {
219 DCHECK(self->IsExceptionPending()); // Throw exception and unwind.
220 return nullptr; // Failure.
221 }
222 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
223 if (access_check) {
224 if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
225 ThrowIncompatibleClassChangeErrorField(resolved_field, is_static, referrer);
226 return nullptr;
227 }
228 mirror::Class* referring_class = referrer->GetDeclaringClass();
Vladimir Marko23a28212014-01-09 19:24:37 +0000229 if (UNLIKELY(!referring_class->CanAccessResolvedField<true>(fields_class, resolved_field,
230 field_idx))) {
231 DCHECK(self->IsExceptionPending()); // Throw exception and unwind.
232 return nullptr; // Failure.
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200233 }
234 if (UNLIKELY(is_set && resolved_field->IsFinal() && (fields_class != referring_class))) {
235 ThrowIllegalAccessErrorFinalField(referrer, resolved_field);
Vladimir Marko23a28212014-01-09 19:24:37 +0000236 return nullptr; // Failure.
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200237 } else {
238 FieldHelper fh(resolved_field);
239 if (UNLIKELY(fh.IsPrimitiveType() != is_primitive ||
240 fh.FieldSize() != expected_size)) {
241 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
242 DCHECK(throw_location.GetMethod() == referrer);
243 self->ThrowNewExceptionF(throw_location, "Ljava/lang/NoSuchFieldError;",
244 "Attempted read of %zd-bit %s on field '%s'",
245 expected_size * (32 / sizeof(int32_t)),
246 is_primitive ? "primitive" : "non-primitive",
247 PrettyField(resolved_field, true).c_str());
Vladimir Marko23a28212014-01-09 19:24:37 +0000248 return nullptr; // Failure.
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200249 }
250 }
251 }
252 if (!is_static) {
253 // instance fields must be being accessed on an initialized class
254 return resolved_field;
255 } else {
256 // If the class is initialized we're done.
257 if (LIKELY(fields_class->IsInitialized())) {
258 return resolved_field;
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200259 } else {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800260 SirtRef<mirror::Class> sirt_class(self, fields_class);
261 if (LIKELY(class_linker->EnsureInitialized(sirt_class, true, true))) {
262 // Otherwise let's ensure the class is initialized before resolving the field.
263 return resolved_field;
264 } else {
265 DCHECK(self->IsExceptionPending()); // Throw exception and unwind
Vladimir Marko23a28212014-01-09 19:24:37 +0000266 return nullptr; // Failure.
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800267 }
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200268 }
269 }
270}
271
272// Explicit template declarations of FindFieldFromCode for all field access types.
273#define EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL(_type, _access_check) \
274template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100275mirror::ArtField* FindFieldFromCode<_type, _access_check>(uint32_t field_idx, \
276 const mirror::ArtMethod* referrer, \
277 Thread* self, size_t expected_size) \
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200278
279#define EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(_type) \
280 EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL(_type, false); \
281 EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL(_type, true)
282
283EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstanceObjectRead);
284EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstanceObjectWrite);
285EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstancePrimitiveRead);
286EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(InstancePrimitiveWrite);
287EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticObjectRead);
288EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticObjectWrite);
289EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticPrimitiveRead);
290EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL(StaticPrimitiveWrite);
291
292#undef EXPLICIT_FIND_FIELD_FROM_CODE_TYPED_TEMPLATE_DECL
293#undef EXPLICIT_FIND_FIELD_FROM_CODE_TEMPLATE_DECL
294
295template<InvokeType type, bool access_check>
296static inline mirror::ArtMethod* FindMethodFromCode(uint32_t method_idx, mirror::Object* this_object,
297 mirror::ArtMethod* referrer, Thread* self) {
298 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
299 mirror::ArtMethod* resolved_method = class_linker->ResolveMethod(method_idx, referrer, type);
300 if (UNLIKELY(resolved_method == nullptr)) {
301 DCHECK(self->IsExceptionPending()); // Throw exception and unwind.
302 return nullptr; // Failure.
303 } else if (UNLIKELY(this_object == nullptr && type != kStatic)) {
304 // Maintain interpreter-like semantics where NullPointerException is thrown
305 // after potential NoSuchMethodError from class linker.
306 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
307 DCHECK(referrer == throw_location.GetMethod());
308 ThrowNullPointerExceptionForMethodAccess(throw_location, method_idx, type);
309 return nullptr; // Failure.
310 } else if (access_check) {
311 // Incompatible class change should have been handled in resolve method.
312 if (UNLIKELY(resolved_method->CheckIncompatibleClassChange(type))) {
313 ThrowIncompatibleClassChangeError(type, resolved_method->GetInvokeType(), resolved_method,
314 referrer);
315 return nullptr; // Failure.
316 }
317 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
318 mirror::Class* referring_class = referrer->GetDeclaringClass();
Vladimir Marko23a28212014-01-09 19:24:37 +0000319 if (!referring_class->CanAccessResolvedMethod<true, type>(methods_class, resolved_method,
320 method_idx)) {
321 DCHECK(self->IsExceptionPending()); // Throw exception and unwind.
322 return nullptr; // Failure.
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200323 }
324 }
325 switch (type) {
326 case kStatic:
327 case kDirect:
328 return resolved_method;
329 case kVirtual: {
330 mirror::ObjectArray<mirror::ArtMethod>* vtable = this_object->GetClass()->GetVTable();
331 uint16_t vtable_index = resolved_method->GetMethodIndex();
332 if (access_check &&
333 (vtable == nullptr || vtable_index >= static_cast<uint32_t>(vtable->GetLength()))) {
334 // Behavior to agree with that of the verifier.
335 MethodHelper mh(resolved_method);
336 ThrowNoSuchMethodError(type, resolved_method->GetDeclaringClass(), mh.GetName(),
337 mh.GetSignature());
338 return nullptr; // Failure.
339 }
340 DCHECK(vtable != nullptr);
341 return vtable->GetWithoutChecks(vtable_index);
342 }
343 case kSuper: {
344 mirror::Class* super_class = referrer->GetDeclaringClass()->GetSuperClass();
345 uint16_t vtable_index = resolved_method->GetMethodIndex();
346 mirror::ObjectArray<mirror::ArtMethod>* vtable;
347 if (access_check) {
348 // Check existence of super class.
349 vtable = (super_class != nullptr) ? super_class->GetVTable() : nullptr;
350 if (vtable == nullptr || vtable_index >= static_cast<uint32_t>(vtable->GetLength())) {
351 // Behavior to agree with that of the verifier.
352 MethodHelper mh(resolved_method);
353 ThrowNoSuchMethodError(type, resolved_method->GetDeclaringClass(), mh.GetName(),
354 mh.GetSignature());
355 return nullptr; // Failure.
356 }
357 } else {
358 // Super class must exist.
359 DCHECK(super_class != nullptr);
360 vtable = super_class->GetVTable();
361 }
362 DCHECK(vtable != nullptr);
363 return vtable->GetWithoutChecks(vtable_index);
364 }
365 case kInterface: {
Jeff Hao88474b42013-10-23 16:24:40 -0700366 uint32_t imt_index = resolved_method->GetDexMethodIndex() % ClassLinker::kImtSize;
367 mirror::ObjectArray<mirror::ArtMethod>* imt_table = this_object->GetClass()->GetImTable();
368 mirror::ArtMethod* imt_method = imt_table->Get(imt_index);
369 if (!imt_method->IsImtConflictMethod()) {
370 return imt_method;
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200371 } else {
Jeff Hao88474b42013-10-23 16:24:40 -0700372 mirror::ArtMethod* interface_method =
373 this_object->GetClass()->FindVirtualMethodForInterface(resolved_method);
374 if (UNLIKELY(interface_method == nullptr)) {
375 ThrowIncompatibleClassChangeErrorClassForInterfaceDispatch(resolved_method, this_object,
376 referrer);
377 return nullptr; // Failure.
378 } else {
379 return interface_method;
380 }
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200381 }
382 }
383 default:
384 LOG(FATAL) << "Unknown invoke type " << type;
385 return nullptr; // Failure.
386 }
387}
388
389// Explicit template declarations of FindMethodFromCode for all invoke types.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100390#define EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL(_type, _access_check) \
391 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
392 mirror::ArtMethod* FindMethodFromCode<_type, _access_check>(uint32_t method_idx, \
393 mirror::Object* this_object, \
394 mirror::ArtMethod* referrer, \
395 Thread* self)
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200396#define EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(_type) \
397 EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL(_type, false); \
398 EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL(_type, true)
399
400EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kStatic);
401EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kDirect);
402EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kVirtual);
403EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kSuper);
404EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL(kInterface);
405
406#undef EXPLICIT_FIND_METHOD_FROM_CODE_TYPED_TEMPLATE_DECL
407#undef EXPLICIT_FIND_METHOD_FROM_CODE_TEMPLATE_DECL
Ian Rogers57b86d42012-03-27 16:05:41 -0700408
Ian Rogers08f753d2012-08-24 14:35:25 -0700409// Fast path field resolution that can't initialize classes or throw exceptions.
Brian Carlstromea46f952013-07-30 01:26:50 -0700410static inline mirror::ArtField* FindFieldFast(uint32_t field_idx,
411 const mirror::ArtMethod* referrer,
412 FindFieldType type, size_t expected_size)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700413 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700414 mirror::ArtField* resolved_field =
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800415 referrer->GetDeclaringClass()->GetDexCache()->GetResolvedField(field_idx);
Ian Rogers57b86d42012-03-27 16:05:41 -0700416 if (UNLIKELY(resolved_field == NULL)) {
417 return NULL;
418 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800419 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
Ian Rogers08f753d2012-08-24 14:35:25 -0700420 // Check class is initiliazed or initializing.
Ian Rogers57b86d42012-03-27 16:05:41 -0700421 if (UNLIKELY(!fields_class->IsInitializing())) {
422 return NULL;
423 }
Ian Rogers08f753d2012-08-24 14:35:25 -0700424 // Check for incompatible class change.
425 bool is_primitive;
426 bool is_set;
427 bool is_static;
428 switch (type) {
429 case InstanceObjectRead: is_primitive = false; is_set = false; is_static = false; break;
430 case InstanceObjectWrite: is_primitive = false; is_set = true; is_static = false; break;
431 case InstancePrimitiveRead: is_primitive = true; is_set = false; is_static = false; break;
432 case InstancePrimitiveWrite: is_primitive = true; is_set = true; is_static = false; break;
433 case StaticObjectRead: is_primitive = false; is_set = false; is_static = true; break;
434 case StaticObjectWrite: is_primitive = false; is_set = true; is_static = true; break;
435 case StaticPrimitiveRead: is_primitive = true; is_set = false; is_static = true; break;
436 case StaticPrimitiveWrite: is_primitive = true; is_set = true; is_static = true; break;
Brian Carlstromf69863b2013-07-17 21:53:13 -0700437 default:
438 LOG(FATAL) << "UNREACHABLE"; // Assignment below to avoid GCC warnings.
439 is_primitive = true;
440 is_set = true;
441 is_static = true;
442 break;
Ian Rogers08f753d2012-08-24 14:35:25 -0700443 }
444 if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
445 // Incompatible class change.
446 return NULL;
447 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800448 mirror::Class* referring_class = referrer->GetDeclaringClass();
Ian Rogers57b86d42012-03-27 16:05:41 -0700449 if (UNLIKELY(!referring_class->CanAccess(fields_class) ||
450 !referring_class->CanAccessMember(fields_class,
451 resolved_field->GetAccessFlags()) ||
452 (is_set && resolved_field->IsFinal() && (fields_class != referring_class)))) {
Ian Rogers08f753d2012-08-24 14:35:25 -0700453 // Illegal access.
Ian Rogers57b86d42012-03-27 16:05:41 -0700454 return NULL;
455 }
456 FieldHelper fh(resolved_field);
457 if (UNLIKELY(fh.IsPrimitiveType() != is_primitive ||
458 fh.FieldSize() != expected_size)) {
459 return NULL;
460 }
461 return resolved_field;
462}
463
Ian Rogers08f753d2012-08-24 14:35:25 -0700464// Fast path method resolution that can't throw exceptions.
Brian Carlstromea46f952013-07-30 01:26:50 -0700465static inline mirror::ArtMethod* FindMethodFast(uint32_t method_idx,
466 mirror::Object* this_object,
467 const mirror::ArtMethod* referrer,
468 bool access_check, InvokeType type)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700469 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers57b86d42012-03-27 16:05:41 -0700470 bool is_direct = type == kStatic || type == kDirect;
471 if (UNLIKELY(this_object == NULL && !is_direct)) {
472 return NULL;
473 }
Brian Carlstromea46f952013-07-30 01:26:50 -0700474 mirror::ArtMethod* resolved_method =
Ian Rogers57b86d42012-03-27 16:05:41 -0700475 referrer->GetDeclaringClass()->GetDexCache()->GetResolvedMethod(method_idx);
476 if (UNLIKELY(resolved_method == NULL)) {
477 return NULL;
478 }
479 if (access_check) {
Ian Rogers08f753d2012-08-24 14:35:25 -0700480 // Check for incompatible class change errors and access.
481 bool icce = resolved_method->CheckIncompatibleClassChange(type);
482 if (UNLIKELY(icce)) {
483 return NULL;
484 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800485 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
486 mirror::Class* referring_class = referrer->GetDeclaringClass();
Ian Rogers57b86d42012-03-27 16:05:41 -0700487 if (UNLIKELY(!referring_class->CanAccess(methods_class) ||
488 !referring_class->CanAccessMember(methods_class,
489 resolved_method->GetAccessFlags()))) {
Ian Rogers08f753d2012-08-24 14:35:25 -0700490 // Potential illegal access, may need to refine the method's class.
Ian Rogers57b86d42012-03-27 16:05:41 -0700491 return NULL;
492 }
493 }
494 if (type == kInterface) { // Most common form of slow path dispatch.
495 return this_object->GetClass()->FindVirtualMethodForInterface(resolved_method);
496 } else if (is_direct) {
497 return resolved_method;
498 } else if (type == kSuper) {
499 return referrer->GetDeclaringClass()->GetSuperClass()->GetVTable()->
500 Get(resolved_method->GetMethodIndex());
501 } else {
502 DCHECK(type == kVirtual);
503 return this_object->GetClass()->GetVTable()->Get(resolved_method->GetMethodIndex());
504 }
505}
506
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700507static inline mirror::Class* ResolveVerifyAndClinit(uint32_t type_idx,
Brian Carlstromea46f952013-07-30 01:26:50 -0700508 const mirror::ArtMethod* referrer,
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700509 Thread* self, bool can_run_clinit,
510 bool verify_access)
511 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
512 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
513 mirror::Class* klass = class_linker->ResolveType(type_idx, referrer);
Ian Rogers5ddb4102014-01-07 08:58:46 -0800514 if (UNLIKELY(klass == nullptr)) {
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700515 CHECK(self->IsExceptionPending());
Ian Rogers5ddb4102014-01-07 08:58:46 -0800516 return nullptr; // Failure - Indicate to caller to deliver exception
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700517 }
518 // Perform access check if necessary.
519 mirror::Class* referring_class = referrer->GetDeclaringClass();
520 if (verify_access && UNLIKELY(!referring_class->CanAccess(klass))) {
521 ThrowIllegalAccessErrorClass(referring_class, klass);
Ian Rogers5ddb4102014-01-07 08:58:46 -0800522 return nullptr; // Failure - Indicate to caller to deliver exception
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700523 }
524 // If we're just implementing const-class, we shouldn't call <clinit>.
525 if (!can_run_clinit) {
526 return klass;
527 }
528 // If we are the <clinit> of this class, just return our storage.
529 //
530 // Do not set the DexCache InitializedStaticStorage, since that implies <clinit> has finished
531 // running.
Ian Rogers241b5de2013-10-09 17:58:57 -0700532 if (klass == referring_class && referrer->IsConstructor() && referrer->IsStatic()) {
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700533 return klass;
534 }
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800535 SirtRef<mirror::Class> sirt_class(self, klass);
536 if (!class_linker->EnsureInitialized(sirt_class, true, true)) {
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700537 CHECK(self->IsExceptionPending());
Ian Rogers5ddb4102014-01-07 08:58:46 -0800538 return nullptr; // Failure - Indicate to caller to deliver exception
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700539 }
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800540 return sirt_class.get();
Ian Rogersfa46d3e2013-05-15 00:16:04 -0700541}
Ian Rogers57b86d42012-03-27 16:05:41 -0700542
jeffhaod7521322012-11-21 15:38:24 -0800543extern void ThrowStackOverflowError(Thread* self) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
544
Brian Carlstromea46f952013-07-30 01:26:50 -0700545static inline mirror::String* ResolveStringFromCode(const mirror::ArtMethod* referrer,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800546 uint32_t string_idx)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700547 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers57b86d42012-03-27 16:05:41 -0700548 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
549 return class_linker->ResolveString(string_idx, referrer);
550}
Shih-wei Liao2d831012011-09-28 22:06:53 -0700551
TDYa1273d71d802012-08-15 03:47:03 -0700552static inline void UnlockJniSynchronizedMethod(jobject locked, Thread* self)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700553 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
TDYa1273d71d802012-08-15 03:47:03 -0700554 UNLOCK_FUNCTION(monitor_lock_) {
555 // Save any pending exception over monitor exit call.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800556 mirror::Throwable* saved_exception = NULL;
Ian Rogers62d6c772013-02-27 08:32:07 -0800557 ThrowLocation saved_throw_location;
TDYa1273d71d802012-08-15 03:47:03 -0700558 if (UNLIKELY(self->IsExceptionPending())) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800559 saved_exception = self->GetException(&saved_throw_location);
TDYa1273d71d802012-08-15 03:47:03 -0700560 self->ClearException();
561 }
562 // Decode locked object and unlock, before popping local references.
563 self->DecodeJObject(locked)->MonitorExit(self);
564 if (UNLIKELY(self->IsExceptionPending())) {
565 LOG(FATAL) << "Synchronized JNI code returning with an exception:\n"
566 << saved_exception->Dump()
567 << "\nEncountered second exception during implicit MonitorExit:\n"
Ian Rogers62d6c772013-02-27 08:32:07 -0800568 << self->GetException(NULL)->Dump();
TDYa1273d71d802012-08-15 03:47:03 -0700569 }
570 // Restore pending exception.
571 if (saved_exception != NULL) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800572 self->SetException(saved_throw_location, saved_exception);
TDYa1273d71d802012-08-15 03:47:03 -0700573 }
574}
575
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800576static inline void CheckReferenceResult(mirror::Object* o, Thread* self)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700577 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
TDYa1273d71d802012-08-15 03:47:03 -0700578 if (o == NULL) {
579 return;
580 }
Brian Carlstromea46f952013-07-30 01:26:50 -0700581 mirror::ArtMethod* m = self->GetCurrentMethod(NULL);
TDYa1273d71d802012-08-15 03:47:03 -0700582 if (o == kInvalidIndirectRefObject) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800583 JniAbortF(NULL, "invalid reference returned from %s", PrettyMethod(m).c_str());
TDYa1273d71d802012-08-15 03:47:03 -0700584 }
585 // Make sure that the result is an instance of the type this method was expected to return.
Ian Rogers62d6c772013-02-27 08:32:07 -0800586 mirror::Class* return_type = MethodHelper(m).GetReturnType();
TDYa1273d71d802012-08-15 03:47:03 -0700587
588 if (!o->InstanceOf(return_type)) {
589 JniAbortF(NULL, "attempt to return an instance of %s from %s",
590 PrettyTypeOf(o).c_str(), PrettyMethod(m).c_str());
591 }
592}
593
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800594static inline void CheckSuspend(Thread* thread) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
jeffhao373c52f2012-11-20 16:11:52 -0800595 for (;;) {
596 if (thread->ReadFlag(kCheckpointRequest)) {
597 thread->RunCheckpointFunction();
jeffhao373c52f2012-11-20 16:11:52 -0800598 } else if (thread->ReadFlag(kSuspendRequest)) {
599 thread->FullSuspendCheck();
600 } else {
601 break;
602 }
603 }
604}
605
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800606JValue InvokeProxyInvocationHandler(ScopedObjectAccessUnchecked& soa, const char* shorty,
Brian Carlstromea46f952013-07-30 01:26:50 -0700607 jobject rcvr_jobj, jobject interface_art_method_jobj,
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800608 std::vector<jvalue>& args)
Brian Carlstrom02c8cc62013-07-18 15:54:44 -0700609 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800610
Jeff Hao58df3272013-04-22 15:28:53 -0700611// Entry point for deoptimization.
Ian Rogers848871b2013-08-05 10:56:33 -0700612extern "C" void art_quick_deoptimize();
613static inline uintptr_t GetQuickDeoptimizationEntryPoint() {
Jeff Hao58df3272013-04-22 15:28:53 -0700614 return reinterpret_cast<uintptr_t>(art_quick_deoptimize);
615}
616
617// Return address of instrumentation stub.
Ian Rogers848871b2013-08-05 10:56:33 -0700618extern "C" void art_quick_instrumentation_entry(void*);
619static inline void* GetQuickInstrumentationEntryPoint() {
620 return reinterpret_cast<void*>(art_quick_instrumentation_entry);
Jeff Hao58df3272013-04-22 15:28:53 -0700621}
622
623// The return_pc of instrumentation exit stub.
Ian Rogers848871b2013-08-05 10:56:33 -0700624extern "C" void art_quick_instrumentation_exit();
625static inline uintptr_t GetQuickInstrumentationExitPc() {
626 return reinterpret_cast<uintptr_t>(art_quick_instrumentation_exit);
627}
628
Brian Carlstromea46f952013-07-30 01:26:50 -0700629extern "C" void art_portable_to_interpreter_bridge(mirror::ArtMethod*);
Ian Rogers848871b2013-08-05 10:56:33 -0700630static inline const void* GetPortableToInterpreterBridge() {
631 return reinterpret_cast<void*>(art_portable_to_interpreter_bridge);
632}
633
Brian Carlstromea46f952013-07-30 01:26:50 -0700634extern "C" void art_quick_to_interpreter_bridge(mirror::ArtMethod*);
Ian Rogers848871b2013-08-05 10:56:33 -0700635static inline const void* GetQuickToInterpreterBridge() {
636 return reinterpret_cast<void*>(art_quick_to_interpreter_bridge);
Jeff Hao58df3272013-04-22 15:28:53 -0700637}
638
639// Return address of interpreter stub.
Ian Rogers848871b2013-08-05 10:56:33 -0700640static inline const void* GetCompiledCodeToInterpreterBridge() {
641#if defined(ART_USE_PORTABLE_COMPILER)
642 return GetPortableToInterpreterBridge();
643#else
644 return GetQuickToInterpreterBridge();
645#endif
Jeff Hao58df3272013-04-22 15:28:53 -0700646}
647
Ian Rogers848871b2013-08-05 10:56:33 -0700648
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700649static inline const void* GetPortableResolutionTrampoline(ClassLinker* class_linker) {
650 return class_linker->GetPortableResolutionTrampoline();
Jeff Hao58df3272013-04-22 15:28:53 -0700651}
652
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700653static inline const void* GetQuickResolutionTrampoline(ClassLinker* class_linker) {
654 return class_linker->GetQuickResolutionTrampoline();
Jeff Hao58df3272013-04-22 15:28:53 -0700655}
656
657// Return address of resolution trampoline stub for defined compiler.
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700658static inline const void* GetResolutionTrampoline(ClassLinker* class_linker) {
Jeff Hao58df3272013-04-22 15:28:53 -0700659#if defined(ART_USE_PORTABLE_COMPILER)
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700660 return GetPortableResolutionTrampoline(class_linker);
Jeff Hao58df3272013-04-22 15:28:53 -0700661#else
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700662 return GetQuickResolutionTrampoline(class_linker);
Jeff Hao58df3272013-04-22 15:28:53 -0700663#endif
Jeff Hao79fe5392013-04-24 18:41:58 -0700664}
665
Jeff Hao88474b42013-10-23 16:24:40 -0700666static inline const void* GetPortableImtConflictTrampoline(ClassLinker* class_linker) {
667 return class_linker->GetPortableImtConflictTrampoline();
668}
669
670static inline const void* GetQuickImtConflictTrampoline(ClassLinker* class_linker) {
671 return class_linker->GetQuickImtConflictTrampoline();
672}
673
674// Return address of imt conflict trampoline stub for defined compiler.
675static inline const void* GetImtConflictTrampoline(ClassLinker* class_linker) {
676#if defined(ART_USE_PORTABLE_COMPILER)
677 return GetPortableImtConflictTrampoline(class_linker);
678#else
679 return GetQuickImtConflictTrampoline(class_linker);
680#endif
681}
682
Ian Rogers848871b2013-08-05 10:56:33 -0700683extern "C" void art_portable_proxy_invoke_handler();
684static inline const void* GetPortableProxyInvokeHandler() {
685 return reinterpret_cast<void*>(art_portable_proxy_invoke_handler);
Jeff Hao79fe5392013-04-24 18:41:58 -0700686}
687
Ian Rogers848871b2013-08-05 10:56:33 -0700688extern "C" void art_quick_proxy_invoke_handler();
689static inline const void* GetQuickProxyInvokeHandler() {
690 return reinterpret_cast<void*>(art_quick_proxy_invoke_handler);
Jeff Hao79fe5392013-04-24 18:41:58 -0700691}
692
Ian Rogers848871b2013-08-05 10:56:33 -0700693static inline const void* GetProxyInvokeHandler() {
Jeff Hao79fe5392013-04-24 18:41:58 -0700694#if defined(ART_USE_PORTABLE_COMPILER)
Ian Rogers848871b2013-08-05 10:56:33 -0700695 return GetPortableProxyInvokeHandler();
Jeff Hao79fe5392013-04-24 18:41:58 -0700696#else
Ian Rogers848871b2013-08-05 10:56:33 -0700697 return GetQuickProxyInvokeHandler();
Jeff Hao79fe5392013-04-24 18:41:58 -0700698#endif
699}
700
Ian Rogers848871b2013-08-05 10:56:33 -0700701extern "C" void* art_jni_dlsym_lookup_stub(JNIEnv*, jobject);
Jeff Hao79fe5392013-04-24 18:41:58 -0700702static inline void* GetJniDlsymLookupStub() {
703 return reinterpret_cast<void*>(art_jni_dlsym_lookup_stub);
704}
Jeff Hao58df3272013-04-22 15:28:53 -0700705
Ian Rogers450dcb52013-09-20 17:36:02 -0700706template <typename INT_TYPE, typename FLOAT_TYPE>
707static inline INT_TYPE art_float_to_integral(FLOAT_TYPE f) {
708 const INT_TYPE kMaxInt = static_cast<INT_TYPE>(std::numeric_limits<INT_TYPE>::max());
709 const INT_TYPE kMinInt = static_cast<INT_TYPE>(std::numeric_limits<INT_TYPE>::min());
710 const FLOAT_TYPE kMaxIntAsFloat = static_cast<FLOAT_TYPE>(kMaxInt);
711 const FLOAT_TYPE kMinIntAsFloat = static_cast<FLOAT_TYPE>(kMinInt);
712 if (LIKELY(f > kMinIntAsFloat)) {
713 if (LIKELY(f < kMaxIntAsFloat)) {
714 return static_cast<INT_TYPE>(f);
715 } else {
716 return kMaxInt;
717 }
718 } else {
719 return (f != f) ? 0 : kMinInt; // f != f implies NaN
720 }
721}
722
Shih-wei Liao2d831012011-09-28 22:06:53 -0700723} // namespace art
Ian Rogersad42e132011-09-17 20:23:33 -0700724
Ian Rogers7655f292013-07-29 11:07:13 -0700725#endif // ART_RUNTIME_ENTRYPOINTS_ENTRYPOINT_UTILS_H_