blob: a03e420514eedcd7a9e431ca0e1bc396101e8205 [file] [log] [blame]
Sebastien Hertz8ece0502013-08-07 11:26:41 +02001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#ifndef ART_RUNTIME_INTERPRETER_INTERPRETER_COMMON_H_
18#define ART_RUNTIME_INTERPRETER_INTERPRETER_COMMON_H_
19
20#include "interpreter.h"
21
22#include <math.h>
23
24#include "base/logging.h"
25#include "class_linker-inl.h"
26#include "common_throws.h"
27#include "dex_file-inl.h"
28#include "dex_instruction-inl.h"
29#include "dex_instruction.h"
30#include "entrypoints/entrypoint_utils.h"
31#include "gc/accounting/card_table-inl.h"
32#include "invoke_arg_array_builder.h"
33#include "nth_caller_visitor.h"
34#include "mirror/art_field-inl.h"
35#include "mirror/art_method.h"
36#include "mirror/art_method-inl.h"
37#include "mirror/class.h"
38#include "mirror/class-inl.h"
39#include "mirror/object-inl.h"
40#include "mirror/object_array-inl.h"
41#include "object_utils.h"
42#include "ScopedLocalRef.h"
43#include "scoped_thread_state_change.h"
44#include "thread.h"
45#include "well_known_classes.h"
46
47using ::art::mirror::ArtField;
48using ::art::mirror::ArtMethod;
49using ::art::mirror::Array;
50using ::art::mirror::BooleanArray;
51using ::art::mirror::ByteArray;
52using ::art::mirror::CharArray;
53using ::art::mirror::Class;
54using ::art::mirror::ClassLoader;
55using ::art::mirror::IntArray;
56using ::art::mirror::LongArray;
57using ::art::mirror::Object;
58using ::art::mirror::ObjectArray;
59using ::art::mirror::ShortArray;
60using ::art::mirror::String;
61using ::art::mirror::Throwable;
62
63namespace art {
64namespace interpreter {
65
66// External references to both interpreter implementations.
67
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010068template<bool do_access_check, bool transaction_active>
Sebastien Hertz8ece0502013-08-07 11:26:41 +020069extern JValue ExecuteSwitchImpl(Thread* self, MethodHelper& mh,
70 const DexFile::CodeItem* code_item,
Sebastien Hertzc6714852013-09-30 16:42:32 +020071 ShadowFrame& shadow_frame, JValue result_register);
Sebastien Hertz8ece0502013-08-07 11:26:41 +020072
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010073template<bool do_access_check, bool transaction_active>
Sebastien Hertz8ece0502013-08-07 11:26:41 +020074extern JValue ExecuteGotoImpl(Thread* self, MethodHelper& mh,
75 const DexFile::CodeItem* code_item,
Sebastien Hertzc6714852013-09-30 16:42:32 +020076 ShadowFrame& shadow_frame, JValue result_register);
Sebastien Hertz8ece0502013-08-07 11:26:41 +020077
78static inline void DoMonitorEnter(Thread* self, Object* ref) NO_THREAD_SAFETY_ANALYSIS {
79 ref->MonitorEnter(self);
80}
81
82static inline void DoMonitorExit(Thread* self, Object* ref) NO_THREAD_SAFETY_ANALYSIS {
83 ref->MonitorExit(self);
84}
85
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010086void RecordArrayElementsInTransaction(mirror::Array* array, int32_t count)
87 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
88
Sebastien Hertzc6714852013-09-30 16:42:32 +020089// Invokes the given method. This is part of the invocation support and is used by DoInvoke and
90// DoInvokeVirtualQuick functions.
91// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzc61124b2013-09-10 11:44:19 +020092template<bool is_range, bool do_assignability_check>
Sebastien Hertz9119c5f2013-12-16 11:31:45 +010093bool DoCall(ArtMethod* method, Thread* self, ShadowFrame& shadow_frame,
Sebastien Hertzc6714852013-09-30 16:42:32 +020094 const Instruction* inst, uint16_t inst_data, JValue* result);
Sebastien Hertzc61124b2013-09-10 11:44:19 +020095
Sebastien Hertzc6714852013-09-30 16:42:32 +020096// Handles invoke-XXX/range instructions.
97// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzc61124b2013-09-10 11:44:19 +020098template<InvokeType type, bool is_range, bool do_access_check>
99static inline bool DoInvoke(Thread* self, ShadowFrame& shadow_frame, const Instruction* inst,
100 uint16_t inst_data, JValue* result) {
101 const uint32_t method_idx = (is_range) ? inst->VRegB_3rc() : inst->VRegB_35c();
102 const uint32_t vregC = (is_range) ? inst->VRegC_3rc() : inst->VRegC_35c();
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700103 Object* receiver = (type == kStatic) ? nullptr : shadow_frame.GetVRegReference(vregC);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200104 ArtMethod* const method = FindMethodFromCode<type, do_access_check>(method_idx, receiver,
105 shadow_frame.GetMethod(),
106 self);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200107 if (UNLIKELY(method == nullptr)) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200108 CHECK(self->IsExceptionPending());
109 result->SetJ(0);
110 return false;
111 } else if (UNLIKELY(method->IsAbstract())) {
112 ThrowAbstractMethodError(method);
113 result->SetJ(0);
114 return false;
115 } else {
Sebastien Hertz9119c5f2013-12-16 11:31:45 +0100116 return DoCall<is_range, do_access_check>(method, self, shadow_frame, inst, inst_data, result);
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200117 }
118}
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200119
Sebastien Hertzc6714852013-09-30 16:42:32 +0200120// Handles invoke-virtual-quick and invoke-virtual-quick-range instructions.
121// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200122template<bool is_range>
123static inline bool DoInvokeVirtualQuick(Thread* self, ShadowFrame& shadow_frame,
124 const Instruction* inst, uint16_t inst_data,
125 JValue* result) {
126 const uint32_t vregC = (is_range) ? inst->VRegC_3rc() : inst->VRegC_35c();
127 Object* const receiver = shadow_frame.GetVRegReference(vregC);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200128 if (UNLIKELY(receiver == nullptr)) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200129 // We lost the reference to the method index so we cannot get a more
130 // precised exception message.
131 ThrowNullPointerExceptionFromDexPC(shadow_frame.GetCurrentLocationForThrow());
132 return false;
133 }
134 const uint32_t vtable_idx = (is_range) ? inst->VRegB_3rc() : inst->VRegB_35c();
135 ArtMethod* const method = receiver->GetClass()->GetVTable()->GetWithoutChecks(vtable_idx);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200136 if (UNLIKELY(method == nullptr)) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200137 CHECK(self->IsExceptionPending());
138 result->SetJ(0);
139 return false;
140 } else if (UNLIKELY(method->IsAbstract())) {
141 ThrowAbstractMethodError(method);
142 result->SetJ(0);
143 return false;
144 } else {
145 // No need to check since we've been quickened.
Sebastien Hertz9119c5f2013-12-16 11:31:45 +0100146 return DoCall<is_range, false>(method, self, shadow_frame, inst, inst_data, result);
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200147 }
148}
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200149
Sebastien Hertzc6714852013-09-30 16:42:32 +0200150// Handles iget-XXX and sget-XXX instructions.
151// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200152template<FindFieldType find_type, Primitive::Type field_type, bool do_access_check>
153static inline bool DoFieldGet(Thread* self, ShadowFrame& shadow_frame,
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200154 const Instruction* inst, uint16_t inst_data) {
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200155 const bool is_static = (find_type == StaticObjectRead) || (find_type == StaticPrimitiveRead);
156 const uint32_t field_idx = is_static ? inst->VRegB_21c() : inst->VRegC_22c();
157 ArtField* f = FindFieldFromCode<find_type, do_access_check>(field_idx, shadow_frame.GetMethod(), self,
158 Primitive::FieldSize(field_type));
159 if (UNLIKELY(f == nullptr)) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200160 CHECK(self->IsExceptionPending());
161 return false;
162 }
163 Object* obj;
164 if (is_static) {
165 obj = f->GetDeclaringClass();
166 } else {
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200167 obj = shadow_frame.GetVRegReference(inst->VRegB_22c(inst_data));
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200168 if (UNLIKELY(obj == nullptr)) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200169 ThrowNullPointerExceptionForFieldAccess(shadow_frame.GetCurrentLocationForThrow(), f, true);
170 return false;
171 }
172 }
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200173 uint32_t vregA = is_static ? inst->VRegA_21c(inst_data) : inst->VRegA_22c(inst_data);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200174 switch (field_type) {
175 case Primitive::kPrimBoolean:
176 shadow_frame.SetVReg(vregA, f->GetBoolean(obj));
177 break;
178 case Primitive::kPrimByte:
179 shadow_frame.SetVReg(vregA, f->GetByte(obj));
180 break;
181 case Primitive::kPrimChar:
182 shadow_frame.SetVReg(vregA, f->GetChar(obj));
183 break;
184 case Primitive::kPrimShort:
185 shadow_frame.SetVReg(vregA, f->GetShort(obj));
186 break;
187 case Primitive::kPrimInt:
188 shadow_frame.SetVReg(vregA, f->GetInt(obj));
189 break;
190 case Primitive::kPrimLong:
191 shadow_frame.SetVRegLong(vregA, f->GetLong(obj));
192 break;
193 case Primitive::kPrimNot:
194 shadow_frame.SetVRegReference(vregA, f->GetObject(obj));
195 break;
196 default:
197 LOG(FATAL) << "Unreachable: " << field_type;
198 }
199 return true;
200}
201
Sebastien Hertzc6714852013-09-30 16:42:32 +0200202// Handles iget-quick, iget-wide-quick and iget-object-quick instructions.
203// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200204template<Primitive::Type field_type>
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200205static inline bool DoIGetQuick(ShadowFrame& shadow_frame, const Instruction* inst, uint16_t inst_data) {
206 Object* obj = shadow_frame.GetVRegReference(inst->VRegB_22c(inst_data));
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200207 if (UNLIKELY(obj == nullptr)) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200208 // We lost the reference to the field index so we cannot get a more
209 // precised exception message.
210 ThrowNullPointerExceptionFromDexPC(shadow_frame.GetCurrentLocationForThrow());
211 return false;
212 }
213 MemberOffset field_offset(inst->VRegC_22c());
214 const bool is_volatile = false; // iget-x-quick only on non volatile fields.
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200215 const uint32_t vregA = inst->VRegA_22c(inst_data);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200216 switch (field_type) {
217 case Primitive::kPrimInt:
218 shadow_frame.SetVReg(vregA, static_cast<int32_t>(obj->GetField32(field_offset, is_volatile)));
219 break;
220 case Primitive::kPrimLong:
221 shadow_frame.SetVRegLong(vregA, static_cast<int64_t>(obj->GetField64(field_offset, is_volatile)));
222 break;
223 case Primitive::kPrimNot:
Ian Rogersef7d42f2014-01-06 12:55:46 -0800224 shadow_frame.SetVRegReference(vregA, obj->GetFieldObject<mirror::Object>(field_offset, is_volatile));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200225 break;
226 default:
227 LOG(FATAL) << "Unreachable: " << field_type;
228 }
229 return true;
230}
231
Sebastien Hertzc6714852013-09-30 16:42:32 +0200232// Handles iput-XXX and sput-XXX instructions.
233// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100234template<FindFieldType find_type, Primitive::Type field_type, bool do_access_check, bool transaction_active>
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200235static inline bool DoFieldPut(Thread* self, const ShadowFrame& shadow_frame,
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200236 const Instruction* inst, uint16_t inst_data) {
Jeff Haoa3faaf42013-09-03 19:07:00 -0700237 bool do_assignability_check = do_access_check;
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200238 bool is_static = (find_type == StaticObjectWrite) || (find_type == StaticPrimitiveWrite);
239 uint32_t field_idx = is_static ? inst->VRegB_21c() : inst->VRegC_22c();
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200240 ArtField* f = FindFieldFromCode<find_type, do_access_check>(field_idx, shadow_frame.GetMethod(), self,
241 Primitive::FieldSize(field_type));
242 if (UNLIKELY(f == nullptr)) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200243 CHECK(self->IsExceptionPending());
244 return false;
245 }
246 Object* obj;
247 if (is_static) {
248 obj = f->GetDeclaringClass();
249 } else {
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200250 obj = shadow_frame.GetVRegReference(inst->VRegB_22c(inst_data));
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200251 if (UNLIKELY(obj == nullptr)) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200252 ThrowNullPointerExceptionForFieldAccess(shadow_frame.GetCurrentLocationForThrow(),
253 f, false);
254 return false;
255 }
256 }
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200257 uint32_t vregA = is_static ? inst->VRegA_21c(inst_data) : inst->VRegA_22c(inst_data);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200258 switch (field_type) {
259 case Primitive::kPrimBoolean:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100260 f->SetBoolean<transaction_active>(obj, shadow_frame.GetVReg(vregA));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200261 break;
262 case Primitive::kPrimByte:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100263 f->SetByte<transaction_active>(obj, shadow_frame.GetVReg(vregA));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200264 break;
265 case Primitive::kPrimChar:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100266 f->SetChar<transaction_active>(obj, shadow_frame.GetVReg(vregA));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200267 break;
268 case Primitive::kPrimShort:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100269 f->SetShort<transaction_active>(obj, shadow_frame.GetVReg(vregA));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200270 break;
271 case Primitive::kPrimInt:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100272 f->SetInt<transaction_active>(obj, shadow_frame.GetVReg(vregA));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200273 break;
274 case Primitive::kPrimLong:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100275 f->SetLong<transaction_active>(obj, shadow_frame.GetVRegLong(vregA));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200276 break;
Jeff Haoa3faaf42013-09-03 19:07:00 -0700277 case Primitive::kPrimNot: {
278 Object* reg = shadow_frame.GetVRegReference(vregA);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200279 if (do_assignability_check && reg != nullptr) {
Jeff Haoa3faaf42013-09-03 19:07:00 -0700280 Class* field_class = FieldHelper(f).GetType();
281 if (!reg->VerifierInstanceOf(field_class)) {
282 // This should never happen.
283 self->ThrowNewExceptionF(self->GetCurrentLocationForThrow(),
284 "Ljava/lang/VirtualMachineError;",
285 "Put '%s' that is not instance of field '%s' in '%s'",
286 ClassHelper(reg->GetClass()).GetDescriptor(),
287 ClassHelper(field_class).GetDescriptor(),
288 ClassHelper(f->GetDeclaringClass()).GetDescriptor());
289 return false;
290 }
291 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100292 f->SetObj<transaction_active>(obj, reg);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200293 break;
Jeff Haoa3faaf42013-09-03 19:07:00 -0700294 }
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200295 default:
296 LOG(FATAL) << "Unreachable: " << field_type;
297 }
298 return true;
299}
300
Sebastien Hertzc6714852013-09-30 16:42:32 +0200301// Handles iput-quick, iput-wide-quick and iput-object-quick instructions.
302// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100303template<Primitive::Type field_type, bool transaction_active>
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200304static inline bool DoIPutQuick(const ShadowFrame& shadow_frame, const Instruction* inst, uint16_t inst_data) {
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200305 Object* obj = shadow_frame.GetVRegReference(inst->VRegB_22c(inst_data));
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200306 if (UNLIKELY(obj == nullptr)) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200307 // We lost the reference to the field index so we cannot get a more
308 // precised exception message.
309 ThrowNullPointerExceptionFromDexPC(shadow_frame.GetCurrentLocationForThrow());
310 return false;
311 }
312 MemberOffset field_offset(inst->VRegC_22c());
313 const bool is_volatile = false; // iput-x-quick only on non volatile fields.
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200314 const uint32_t vregA = inst->VRegA_22c(inst_data);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200315 switch (field_type) {
316 case Primitive::kPrimInt:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100317 obj->SetField32<transaction_active>(field_offset, shadow_frame.GetVReg(vregA), is_volatile);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200318 break;
319 case Primitive::kPrimLong:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100320 obj->SetField64<transaction_active>(field_offset, shadow_frame.GetVRegLong(vregA),
321 is_volatile);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200322 break;
323 case Primitive::kPrimNot:
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100324 obj->SetFieldObject<transaction_active>(field_offset, shadow_frame.GetVRegReference(vregA),
325 is_volatile);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200326 break;
327 default:
328 LOG(FATAL) << "Unreachable: " << field_type;
329 }
330 return true;
331}
332
Sebastien Hertzc6714852013-09-30 16:42:32 +0200333// Handles string resolution for const-string and const-string-jumbo instructions. Also ensures the
334// java.lang.String class is initialized.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200335static inline String* ResolveString(Thread* self, MethodHelper& mh, uint32_t string_idx)
336 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800337 CHECK(!kMovingMethods);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200338 Class* java_lang_string_class = String::GetJavaLangString();
339 if (UNLIKELY(!java_lang_string_class->IsInitialized())) {
340 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800341 SirtRef<mirror::Class> sirt_class(self, java_lang_string_class);
342 if (UNLIKELY(!class_linker->EnsureInitialized(sirt_class, true, true))) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200343 DCHECK(self->IsExceptionPending());
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800344 return nullptr;
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200345 }
346 }
347 return mh.ResolveString(string_idx);
348}
349
Sebastien Hertzc6714852013-09-30 16:42:32 +0200350// Handles div-int, div-int/2addr, div-int/li16 and div-int/lit8 instructions.
351// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200352static inline bool DoIntDivide(ShadowFrame& shadow_frame, size_t result_reg,
353 int32_t dividend, int32_t divisor)
354 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers2e2deeb2013-09-23 11:58:57 -0700355 const int32_t kMinInt = std::numeric_limits<int32_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200356 if (UNLIKELY(divisor == 0)) {
357 ThrowArithmeticExceptionDivideByZero();
358 return false;
359 }
360 if (UNLIKELY(dividend == kMinInt && divisor == -1)) {
361 shadow_frame.SetVReg(result_reg, kMinInt);
362 } else {
363 shadow_frame.SetVReg(result_reg, dividend / divisor);
364 }
365 return true;
366}
367
Sebastien Hertzc6714852013-09-30 16:42:32 +0200368// Handles rem-int, rem-int/2addr, rem-int/li16 and rem-int/lit8 instructions.
369// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200370static inline bool DoIntRemainder(ShadowFrame& shadow_frame, size_t result_reg,
371 int32_t dividend, int32_t divisor)
372 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers2e2deeb2013-09-23 11:58:57 -0700373 const int32_t kMinInt = std::numeric_limits<int32_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200374 if (UNLIKELY(divisor == 0)) {
375 ThrowArithmeticExceptionDivideByZero();
376 return false;
377 }
378 if (UNLIKELY(dividend == kMinInt && divisor == -1)) {
379 shadow_frame.SetVReg(result_reg, 0);
380 } else {
381 shadow_frame.SetVReg(result_reg, dividend % divisor);
382 }
383 return true;
384}
385
Sebastien Hertzc6714852013-09-30 16:42:32 +0200386// Handles div-long and div-long-2addr instructions.
387// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200388static inline bool DoLongDivide(ShadowFrame& shadow_frame, size_t result_reg,
389 int64_t dividend, int64_t divisor)
390 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers2e2deeb2013-09-23 11:58:57 -0700391 const int64_t kMinLong = std::numeric_limits<int64_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200392 if (UNLIKELY(divisor == 0)) {
393 ThrowArithmeticExceptionDivideByZero();
394 return false;
395 }
396 if (UNLIKELY(dividend == kMinLong && divisor == -1)) {
397 shadow_frame.SetVRegLong(result_reg, kMinLong);
398 } else {
399 shadow_frame.SetVRegLong(result_reg, dividend / divisor);
400 }
401 return true;
402}
403
Sebastien Hertzc6714852013-09-30 16:42:32 +0200404// Handles rem-long and rem-long-2addr instructions.
405// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200406static inline bool DoLongRemainder(ShadowFrame& shadow_frame, size_t result_reg,
407 int64_t dividend, int64_t divisor)
408 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers2e2deeb2013-09-23 11:58:57 -0700409 const int64_t kMinLong = std::numeric_limits<int64_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200410 if (UNLIKELY(divisor == 0)) {
411 ThrowArithmeticExceptionDivideByZero();
412 return false;
413 }
414 if (UNLIKELY(dividend == kMinLong && divisor == -1)) {
415 shadow_frame.SetVRegLong(result_reg, 0);
416 } else {
417 shadow_frame.SetVRegLong(result_reg, dividend % divisor);
418 }
419 return true;
420}
421
Sebastien Hertzc6714852013-09-30 16:42:32 +0200422// Handles filled-new-array and filled-new-array-range instructions.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200423// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100424template <bool is_range, bool do_access_check, bool transaction_active>
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200425bool DoFilledNewArray(const Instruction* inst, const ShadowFrame& shadow_frame,
Sebastien Hertzc6714852013-09-30 16:42:32 +0200426 Thread* self, JValue* result);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200427
Sebastien Hertzc6714852013-09-30 16:42:32 +0200428// Handles packed-switch instruction.
429// Returns the branch offset to the next instruction to execute.
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200430static inline int32_t DoPackedSwitch(const Instruction* inst, const ShadowFrame& shadow_frame,
431 uint16_t inst_data)
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200432 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
433 DCHECK(inst->Opcode() == Instruction::PACKED_SWITCH);
434 const uint16_t* switch_data = reinterpret_cast<const uint16_t*>(inst) + inst->VRegB_31t();
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200435 int32_t test_val = shadow_frame.GetVReg(inst->VRegA_31t(inst_data));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200436 DCHECK_EQ(switch_data[0], static_cast<uint16_t>(Instruction::kPackedSwitchSignature));
437 uint16_t size = switch_data[1];
438 DCHECK_GT(size, 0);
439 const int32_t* keys = reinterpret_cast<const int32_t*>(&switch_data[2]);
440 DCHECK(IsAligned<4>(keys));
441 int32_t first_key = keys[0];
442 const int32_t* targets = reinterpret_cast<const int32_t*>(&switch_data[4]);
443 DCHECK(IsAligned<4>(targets));
444 int32_t index = test_val - first_key;
445 if (index >= 0 && index < size) {
446 return targets[index];
447 } else {
448 // No corresponding value: move forward by 3 (size of PACKED_SWITCH).
449 return 3;
450 }
451}
452
Sebastien Hertzc6714852013-09-30 16:42:32 +0200453// Handles sparse-switch instruction.
454// Returns the branch offset to the next instruction to execute.
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200455static inline int32_t DoSparseSwitch(const Instruction* inst, const ShadowFrame& shadow_frame,
456 uint16_t inst_data)
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200457 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
458 DCHECK(inst->Opcode() == Instruction::SPARSE_SWITCH);
459 const uint16_t* switch_data = reinterpret_cast<const uint16_t*>(inst) + inst->VRegB_31t();
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200460 int32_t test_val = shadow_frame.GetVReg(inst->VRegA_31t(inst_data));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200461 DCHECK_EQ(switch_data[0], static_cast<uint16_t>(Instruction::kSparseSwitchSignature));
462 uint16_t size = switch_data[1];
463 DCHECK_GT(size, 0);
464 const int32_t* keys = reinterpret_cast<const int32_t*>(&switch_data[2]);
465 DCHECK(IsAligned<4>(keys));
466 const int32_t* entries = keys + size;
467 DCHECK(IsAligned<4>(entries));
468 int lo = 0;
469 int hi = size - 1;
470 while (lo <= hi) {
471 int mid = (lo + hi) / 2;
472 int32_t foundVal = keys[mid];
473 if (test_val < foundVal) {
474 hi = mid - 1;
475 } else if (test_val > foundVal) {
476 lo = mid + 1;
477 } else {
478 return entries[mid];
479 }
480 }
481 // No corresponding value: move forward by 3 (size of SPARSE_SWITCH).
482 return 3;
483}
484
485static inline uint32_t FindNextInstructionFollowingException(Thread* self,
486 ShadowFrame& shadow_frame,
487 uint32_t dex_pc,
Sebastien Hertz947ff082013-09-17 14:10:13 +0200488 mirror::Object* this_object,
489 const instrumentation::Instrumentation* instrumentation)
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200490 ALWAYS_INLINE;
491
492static inline uint32_t FindNextInstructionFollowingException(Thread* self,
493 ShadowFrame& shadow_frame,
494 uint32_t dex_pc,
Sebastien Hertz947ff082013-09-17 14:10:13 +0200495 mirror::Object* this_object,
496 const instrumentation::Instrumentation* instrumentation)
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200497 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
498 self->VerifyStack();
499 ThrowLocation throw_location;
500 mirror::Throwable* exception = self->GetException(&throw_location);
Sebastien Hertz947ff082013-09-17 14:10:13 +0200501 bool clear_exception = false;
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200502 uint32_t found_dex_pc = shadow_frame.GetMethod()->FindCatchBlock(exception->GetClass(), dex_pc,
503 &clear_exception);
504 if (found_dex_pc == DexFile::kDexNoIndex) {
Sebastien Hertz947ff082013-09-17 14:10:13 +0200505 instrumentation->MethodUnwindEvent(self, this_object,
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200506 shadow_frame.GetMethod(), dex_pc);
507 } else {
508 instrumentation->ExceptionCaughtEvent(self, throw_location,
509 shadow_frame.GetMethod(),
510 found_dex_pc, exception);
511 if (clear_exception) {
512 self->ClearException();
513 }
514 }
515 return found_dex_pc;
516}
517
518static void UnexpectedOpcode(const Instruction* inst, MethodHelper& mh)
519 __attribute__((cold, noreturn, noinline));
520
521static void UnexpectedOpcode(const Instruction* inst, MethodHelper& mh)
522 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
523 LOG(FATAL) << "Unexpected instruction: " << inst->DumpString(&mh.GetDexFile());
524 exit(0); // Unreachable, keep GCC happy.
525}
526
527static inline void TraceExecution(const ShadowFrame& shadow_frame, const Instruction* inst,
Jeff Haoa3faaf42013-09-03 19:07:00 -0700528 const uint32_t dex_pc, MethodHelper& mh)
529 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700530 constexpr bool kTracing = false;
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200531 if (kTracing) {
532#define TRACE_LOG std::cerr
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700533 std::ostringstream oss;
534 oss << PrettyMethod(shadow_frame.GetMethod())
535 << StringPrintf("\n0x%x: ", dex_pc)
536 << inst->DumpString(&mh.GetDexFile()) << "\n";
Ian Rogersef7d42f2014-01-06 12:55:46 -0800537 for (uint32_t i = 0; i < shadow_frame.NumberOfVRegs(); ++i) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200538 uint32_t raw_value = shadow_frame.GetVReg(i);
539 Object* ref_value = shadow_frame.GetVRegReference(i);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800540 oss << StringPrintf(" vreg%u=0x%08X", i, raw_value);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200541 if (ref_value != NULL) {
542 if (ref_value->GetClass()->IsStringClass() &&
543 ref_value->AsString()->GetCharArray() != NULL) {
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700544 oss << "/java.lang.String \"" << ref_value->AsString()->ToModifiedUtf8() << "\"";
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200545 } else {
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700546 oss << "/" << PrettyTypeOf(ref_value);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200547 }
548 }
549 }
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700550 TRACE_LOG << oss.str() << "\n";
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200551#undef TRACE_LOG
552 }
553}
554
Sebastien Hertz1eda2262013-09-09 16:53:14 +0200555static inline bool IsBackwardBranch(int32_t branch_offset) {
556 return branch_offset <= 0;
557}
558
Sebastien Hertzc6714852013-09-30 16:42:32 +0200559// Explicitly instantiate all DoInvoke functions.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100560#define EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, _is_range, _do_check) \
561 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
562 bool DoInvoke<_type, _is_range, _do_check>(Thread* self, ShadowFrame& shadow_frame, \
563 const Instruction* inst, uint16_t inst_data, \
564 JValue* result)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200565
566#define EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(_type) \
567 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, false, false); \
568 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, false, true); \
569 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, true, false); \
570 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, true, true);
571
572EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kStatic); // invoke-static/range.
573EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kDirect); // invoke-direct/range.
574EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kVirtual); // invoke-virtual/range.
575EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kSuper); // invoke-super/range.
576EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kInterface); // invoke-interface/range.
577#undef EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL
578#undef EXPLICIT_DO_INVOKE_TEMPLATE_DECL
579
580// Explicitly instantiate all DoFieldGet functions.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100581#define EXPLICIT_DO_FIELD_GET_TEMPLATE_DECL(_find_type, _field_type, _do_check) \
582 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
583 bool DoFieldGet<_find_type, _field_type, _do_check>(Thread* self, ShadowFrame& shadow_frame, \
584 const Instruction* inst, uint16_t inst_data)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200585
586#define EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(_find_type, _field_type) \
587 EXPLICIT_DO_FIELD_GET_TEMPLATE_DECL(_find_type, _field_type, false); \
588 EXPLICIT_DO_FIELD_GET_TEMPLATE_DECL(_find_type, _field_type, true);
589
590// iget-XXX
591EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstancePrimitiveRead, Primitive::kPrimBoolean);
592EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstancePrimitiveRead, Primitive::kPrimByte);
593EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstancePrimitiveRead, Primitive::kPrimChar);
594EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstancePrimitiveRead, Primitive::kPrimShort);
595EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstancePrimitiveRead, Primitive::kPrimInt);
596EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstancePrimitiveRead, Primitive::kPrimLong);
597EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(InstanceObjectRead, Primitive::kPrimNot);
598
599// sget-XXX
600EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticPrimitiveRead, Primitive::kPrimBoolean);
601EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticPrimitiveRead, Primitive::kPrimByte);
602EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticPrimitiveRead, Primitive::kPrimChar);
603EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticPrimitiveRead, Primitive::kPrimShort);
604EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticPrimitiveRead, Primitive::kPrimInt);
605EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticPrimitiveRead, Primitive::kPrimLong);
606EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL(StaticObjectRead, Primitive::kPrimNot);
607
608#undef EXPLICIT_DO_FIELD_GET_ALL_TEMPLATE_DECL
609#undef EXPLICIT_DO_FIELD_GET_TEMPLATE_DECL
610
611// Explicitly instantiate all DoFieldPut functions.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100612#define EXPLICIT_DO_FIELD_PUT_TEMPLATE_DECL(_find_type, _field_type, _do_check, _transaction_active) \
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100613 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100614 bool DoFieldPut<_find_type, _field_type, _do_check, _transaction_active>(Thread* self, const ShadowFrame& shadow_frame, \
615 const Instruction* inst, uint16_t inst_data)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200616
617#define EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(_find_type, _field_type) \
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100618 EXPLICIT_DO_FIELD_PUT_TEMPLATE_DECL(_find_type, _field_type, false, false); \
619 EXPLICIT_DO_FIELD_PUT_TEMPLATE_DECL(_find_type, _field_type, true, false); \
620 EXPLICIT_DO_FIELD_PUT_TEMPLATE_DECL(_find_type, _field_type, false, true); \
621 EXPLICIT_DO_FIELD_PUT_TEMPLATE_DECL(_find_type, _field_type, true, true);
Sebastien Hertzc6714852013-09-30 16:42:32 +0200622
623// iput-XXX
624EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstancePrimitiveWrite, Primitive::kPrimBoolean);
625EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstancePrimitiveWrite, Primitive::kPrimByte);
626EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstancePrimitiveWrite, Primitive::kPrimChar);
627EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstancePrimitiveWrite, Primitive::kPrimShort);
628EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstancePrimitiveWrite, Primitive::kPrimInt);
629EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstancePrimitiveWrite, Primitive::kPrimLong);
630EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(InstanceObjectWrite, Primitive::kPrimNot);
631
632// sput-XXX
633EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticPrimitiveWrite, Primitive::kPrimBoolean);
634EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticPrimitiveWrite, Primitive::kPrimByte);
635EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticPrimitiveWrite, Primitive::kPrimChar);
636EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticPrimitiveWrite, Primitive::kPrimShort);
637EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticPrimitiveWrite, Primitive::kPrimInt);
638EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticPrimitiveWrite, Primitive::kPrimLong);
639EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL(StaticObjectWrite, Primitive::kPrimNot);
640
641#undef EXPLICIT_DO_FIELD_PUT_ALL_TEMPLATE_DECL
642#undef EXPLICIT_DO_FIELD_PUT_TEMPLATE_DECL
643
644// Explicitly instantiate all DoInvokeVirtualQuick functions.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100645#define EXPLICIT_DO_INVOKE_VIRTUAL_QUICK_TEMPLATE_DECL(_is_range) \
646 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
647 bool DoInvokeVirtualQuick<_is_range>(Thread* self, ShadowFrame& shadow_frame, \
648 const Instruction* inst, uint16_t inst_data, \
649 JValue* result)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200650
651EXPLICIT_DO_INVOKE_VIRTUAL_QUICK_TEMPLATE_DECL(false); // invoke-virtual-quick.
652EXPLICIT_DO_INVOKE_VIRTUAL_QUICK_TEMPLATE_DECL(true); // invoke-virtual-quick-range.
653#undef EXPLICIT_INSTANTIATION_DO_INVOKE_VIRTUAL_QUICK
654
655// Explicitly instantiate all DoIGetQuick functions.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100656#define EXPLICIT_DO_IGET_QUICK_TEMPLATE_DECL(_field_type) \
657 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
658 bool DoIGetQuick<_field_type>(ShadowFrame& shadow_frame, const Instruction* inst, \
659 uint16_t inst_data)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200660
661EXPLICIT_DO_IGET_QUICK_TEMPLATE_DECL(Primitive::kPrimInt); // iget-quick.
662EXPLICIT_DO_IGET_QUICK_TEMPLATE_DECL(Primitive::kPrimLong); // iget-wide-quick.
663EXPLICIT_DO_IGET_QUICK_TEMPLATE_DECL(Primitive::kPrimNot); // iget-object-quick.
664#undef EXPLICIT_DO_IGET_QUICK_TEMPLATE_DECL
665
666// Explicitly instantiate all DoIPutQuick functions.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100667#define EXPLICIT_DO_IPUT_QUICK_TEMPLATE_DECL(_field_type, _transaction_active) \
668 template SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE \
669 bool DoIPutQuick<_field_type, _transaction_active>(const ShadowFrame& shadow_frame, \
670 const Instruction* inst, \
671 uint16_t inst_data)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200672
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100673#define EXPLICIT_DO_IPUT_QUICK_ALL_TEMPLATE_DECL(_field_type) \
674 EXPLICIT_DO_IPUT_QUICK_TEMPLATE_DECL(_field_type, false); \
675 EXPLICIT_DO_IPUT_QUICK_TEMPLATE_DECL(_field_type, true);
676
677EXPLICIT_DO_IPUT_QUICK_ALL_TEMPLATE_DECL(Primitive::kPrimInt); // iget-quick.
678EXPLICIT_DO_IPUT_QUICK_ALL_TEMPLATE_DECL(Primitive::kPrimLong); // iget-wide-quick.
679EXPLICIT_DO_IPUT_QUICK_ALL_TEMPLATE_DECL(Primitive::kPrimNot); // iget-object-quick.
680#undef EXPLICIT_DO_IPUT_QUICK_ALL_TEMPLATE_DECL
Sebastien Hertzc6714852013-09-30 16:42:32 +0200681#undef EXPLICIT_DO_IPUT_QUICK_TEMPLATE_DECL
682
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200683} // namespace interpreter
684} // namespace art
685
686#endif // ART_RUNTIME_INTERPRETER_INTERPRETER_COMMON_H_