blob: 2589ad046b8f29c1db2117392349e6b72c726c5a [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"
buzbee78f1bdc2017-03-01 10:55:57 -080021#include "interpreter_intrinsics.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020022
23#include <math.h>
24
Ian Rogerscf7f1912014-10-22 22:06:39 -070025#include <iostream>
Ian Rogersc7dd2952014-10-21 23:31:19 -070026#include <sstream>
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070027#include <atomic>
Ian Rogersc7dd2952014-10-21 23:31:19 -070028
Andreas Gampe46ee31b2016-12-14 10:11:49 -080029#include "android-base/stringprintf.h"
30
Mathieu Chartierc7853442015-03-27 14:35:38 -070031#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070032#include "art_method-inl.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070033#include "base/enums.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020034#include "base/logging.h"
Andreas Gampe794ad762015-02-23 08:12:24 -080035#include "base/macros.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020036#include "class_linker-inl.h"
Orion Hodson811bd5f2016-12-07 11:35:37 +000037#include "common_dex_operations.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020038#include "common_throws.h"
39#include "dex_file-inl.h"
40#include "dex_instruction-inl.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070041#include "entrypoints/entrypoint_utils-inl.h"
Mathieu Chartier0cd81352014-05-22 16:48:55 -070042#include "handle_scope-inl.h"
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +010043#include "jit/jit.h"
Orion Hodsonc069a302017-01-18 09:23:12 +000044#include "mirror/call_site.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020045#include "mirror/class-inl.h"
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070046#include "mirror/dex_cache.h"
47#include "mirror/method.h"
Orion Hodsonc069a302017-01-18 09:23:12 +000048#include "mirror/method_handles_lookup.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020049#include "mirror/object-inl.h"
50#include "mirror/object_array-inl.h"
Douglas Leung4965c022014-06-11 11:41:11 -070051#include "mirror/string-inl.h"
Mathieu Chartieref41db72016-10-25 15:08:01 -070052#include "obj_ptr.h"
Andreas Gampe03ec9302015-08-27 17:41:47 -070053#include "stack.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020054#include "thread.h"
Orion Hodson811bd5f2016-12-07 11:35:37 +000055#include "unstarted_runtime.h"
Sebastien Hertz8ece0502013-08-07 11:26:41 +020056#include "well_known_classes.h"
57
Sebastien Hertz8ece0502013-08-07 11:26:41 +020058namespace art {
59namespace interpreter {
60
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000061void ThrowNullPointerExceptionFromInterpreter()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070062 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzda843e12014-05-28 19:28:31 +020063
Andreas Gampe03ec9302015-08-27 17:41:47 -070064template <bool kMonitorCounting>
Mathieu Chartieref41db72016-10-25 15:08:01 -070065static inline void DoMonitorEnter(Thread* self, ShadowFrame* frame, ObjPtr<mirror::Object> ref)
Mathieu Chartier2d096c92015-10-12 16:18:20 -070066 NO_THREAD_SAFETY_ANALYSIS
67 REQUIRES(!Roles::uninterruptible_) {
68 StackHandleScope<1> hs(self);
Mathieu Chartieref41db72016-10-25 15:08:01 -070069 Handle<mirror::Object> h_ref(hs.NewHandle(ref));
Mathieu Chartier2d096c92015-10-12 16:18:20 -070070 h_ref->MonitorEnter(self);
Andreas Gampe56fdd0e2016-04-28 14:56:54 -070071 if (kMonitorCounting && frame->GetMethod()->MustCountLocks()) {
72 frame->GetLockCountData().AddMonitor(self, h_ref.Get());
73 }
Sebastien Hertz8ece0502013-08-07 11:26:41 +020074}
75
Andreas Gampe03ec9302015-08-27 17:41:47 -070076template <bool kMonitorCounting>
Mathieu Chartieref41db72016-10-25 15:08:01 -070077static inline void DoMonitorExit(Thread* self, ShadowFrame* frame, ObjPtr<mirror::Object> ref)
Mathieu Chartier2d096c92015-10-12 16:18:20 -070078 NO_THREAD_SAFETY_ANALYSIS
79 REQUIRES(!Roles::uninterruptible_) {
80 StackHandleScope<1> hs(self);
Mathieu Chartieref41db72016-10-25 15:08:01 -070081 Handle<mirror::Object> h_ref(hs.NewHandle(ref));
Mathieu Chartier2d096c92015-10-12 16:18:20 -070082 h_ref->MonitorExit(self);
Andreas Gampe56fdd0e2016-04-28 14:56:54 -070083 if (kMonitorCounting && frame->GetMethod()->MustCountLocks()) {
84 frame->GetLockCountData().RemoveMonitorOrThrow(self, h_ref.Get());
85 }
86}
87
88template <bool kMonitorCounting>
89static inline bool DoMonitorCheckOnExit(Thread* self, ShadowFrame* frame)
90 NO_THREAD_SAFETY_ANALYSIS
91 REQUIRES(!Roles::uninterruptible_) {
92 if (kMonitorCounting && frame->GetMethod()->MustCountLocks()) {
93 return frame->GetLockCountData().CheckAllMonitorsReleasedOrThrow(self);
94 }
95 return true;
Sebastien Hertz8ece0502013-08-07 11:26:41 +020096}
97
Sebastien Hertz45b15972015-04-03 16:07:05 +020098void AbortTransactionF(Thread* self, const char* fmt, ...)
99 __attribute__((__format__(__printf__, 2, 3)))
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700100 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz45b15972015-04-03 16:07:05 +0200101
102void AbortTransactionV(Thread* self, const char* fmt, va_list args)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700103 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierb2c7ead2014-04-29 11:13:16 -0700104
Mathieu Chartieref41db72016-10-25 15:08:01 -0700105void RecordArrayElementsInTransaction(ObjPtr<mirror::Array> array, int32_t count)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700106 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100107
buzbee78f1bdc2017-03-01 10:55:57 -0800108// Invokes the given method. This is part of the invocation support and is used by DoInvoke,
109// DoFastInvoke and DoInvokeVirtualQuick functions.
Sebastien Hertzc6714852013-09-30 16:42:32 +0200110// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200111template<bool is_range, bool do_assignability_check>
Ian Rogerse94652f2014-12-02 11:13:19 -0800112bool DoCall(ArtMethod* called_method, Thread* self, ShadowFrame& shadow_frame,
Sebastien Hertzc6714852013-09-30 16:42:32 +0200113 const Instruction* inst, uint16_t inst_data, JValue* result);
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200114
buzbee78f1bdc2017-03-01 10:55:57 -0800115// Handles streamlined non-range invoke static, direct and virtual instructions originating in
116// mterp. Access checks and instrumentation other than jit profiling are not supported, but does
117// support interpreter intrinsics if applicable.
118// Returns true on success, otherwise throws an exception and returns false.
119template<InvokeType type>
120static inline bool DoFastInvoke(Thread* self,
121 ShadowFrame& shadow_frame,
122 const Instruction* inst,
123 uint16_t inst_data,
124 JValue* result) {
125 const uint32_t method_idx = inst->VRegB_35c();
126 const uint32_t vregC = inst->VRegC_35c();
127 ObjPtr<mirror::Object> receiver = (type == kStatic)
128 ? nullptr
129 : shadow_frame.GetVRegReference(vregC);
130 ArtMethod* sf_method = shadow_frame.GetMethod();
131 ArtMethod* const called_method = FindMethodFromCode<type, false>(
132 method_idx, &receiver, sf_method, self);
133 // The shadow frame should already be pushed, so we don't need to update it.
134 if (UNLIKELY(called_method == nullptr)) {
135 CHECK(self->IsExceptionPending());
136 result->SetJ(0);
137 return false;
138 } else if (UNLIKELY(!called_method->IsInvokable())) {
139 called_method->ThrowInvocationTimeError();
140 result->SetJ(0);
141 return false;
142 } else {
143 if (called_method->IsIntrinsic()) {
144 if (MterpHandleIntrinsic(&shadow_frame, called_method, inst, inst_data,
145 shadow_frame.GetResultRegister())) {
146 return !self->IsExceptionPending();
147 }
148 }
149 jit::Jit* jit = Runtime::Current()->GetJit();
150 if (jit != nullptr) {
151 if (type == kVirtual) {
152 jit->InvokeVirtualOrInterface(receiver, sf_method, shadow_frame.GetDexPC(), called_method);
153 }
154 jit->AddSamples(self, sf_method, 1, /*with_backedges*/false);
155 }
156 return DoCall<false, false>(called_method, self, shadow_frame, inst, inst_data, result);
157 }
158}
159
Narayan Kamath9823e782016-08-03 12:46:58 +0100160// Handles all invoke-XXX/range instructions except for invoke-polymorphic[/range].
Sebastien Hertzc6714852013-09-30 16:42:32 +0200161// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200162template<InvokeType type, bool is_range, bool do_access_check>
Mathieu Chartieref41db72016-10-25 15:08:01 -0700163static inline bool DoInvoke(Thread* self,
164 ShadowFrame& shadow_frame,
165 const Instruction* inst,
166 uint16_t inst_data,
167 JValue* result) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200168 const uint32_t method_idx = (is_range) ? inst->VRegB_3rc() : inst->VRegB_35c();
169 const uint32_t vregC = (is_range) ? inst->VRegC_3rc() : inst->VRegC_35c();
Mathieu Chartieref41db72016-10-25 15:08:01 -0700170 ObjPtr<mirror::Object> receiver = (type == kStatic) ? nullptr : shadow_frame.GetVRegReference(vregC);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700171 ArtMethod* sf_method = shadow_frame.GetMethod();
Ian Rogerse94652f2014-12-02 11:13:19 -0800172 ArtMethod* const called_method = FindMethodFromCode<type, do_access_check>(
Andreas Gampe3a357142015-08-07 17:20:11 -0700173 method_idx, &receiver, sf_method, self);
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700174 // The shadow frame should already be pushed, so we don't need to update it.
Ian Rogerse94652f2014-12-02 11:13:19 -0800175 if (UNLIKELY(called_method == nullptr)) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200176 CHECK(self->IsExceptionPending());
177 result->SetJ(0);
178 return false;
Alex Light9139e002015-10-09 15:59:48 -0700179 } else if (UNLIKELY(!called_method->IsInvokable())) {
180 called_method->ThrowInvocationTimeError();
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200181 result->SetJ(0);
182 return false;
183 } else {
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100184 jit::Jit* jit = Runtime::Current()->GetJit();
185 if (jit != nullptr) {
186 if (type == kVirtual || type == kInterface) {
Mathieu Chartier268764d2016-09-13 12:09:38 -0700187 jit->InvokeVirtualOrInterface(receiver, sf_method, shadow_frame.GetDexPC(), called_method);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100188 }
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100189 jit->AddSamples(self, sf_method, 1, /*with_backedges*/false);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100190 }
191 // TODO: Remove the InvokeVirtualOrInterface instrumentation, as it was only used by the JIT.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100192 if (type == kVirtual || type == kInterface) {
193 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
194 if (UNLIKELY(instrumentation->HasInvokeVirtualOrInterfaceListeners())) {
195 instrumentation->InvokeVirtualOrInterface(
Mathieu Chartieref41db72016-10-25 15:08:01 -0700196 self, receiver.Ptr(), sf_method, shadow_frame.GetDexPC(), called_method);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100197 }
198 }
Ian Rogerse94652f2014-12-02 11:13:19 -0800199 return DoCall<is_range, do_access_check>(called_method, self, shadow_frame, inst, inst_data,
200 result);
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200201 }
202}
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200203
Narayan Kamath9823e782016-08-03 12:46:58 +0100204// Performs a signature polymorphic invoke (invoke-polymorphic/invoke-polymorphic-range).
Orion Hodsonc069a302017-01-18 09:23:12 +0000205template<bool is_range>
Orion Hodson811bd5f2016-12-07 11:35:37 +0000206bool DoInvokePolymorphic(Thread* self,
207 ShadowFrame& shadow_frame,
208 const Instruction* inst,
209 uint16_t inst_data,
Narayan Kamath9823e782016-08-03 12:46:58 +0100210 JValue* result);
211
Orion Hodsonc069a302017-01-18 09:23:12 +0000212// Performs a custom invoke (invoke-custom/invoke-custom-range).
213template<bool is_range>
214bool DoInvokeCustom(Thread* self,
215 ShadowFrame& shadow_frame,
216 const Instruction* inst,
217 uint16_t inst_data,
218 JValue* result);
219
Sebastien Hertzc6714852013-09-30 16:42:32 +0200220// Handles invoke-virtual-quick and invoke-virtual-quick-range instructions.
221// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200222template<bool is_range>
223static inline bool DoInvokeVirtualQuick(Thread* self, ShadowFrame& shadow_frame,
224 const Instruction* inst, uint16_t inst_data,
225 JValue* result) {
226 const uint32_t vregC = (is_range) ? inst->VRegC_3rc() : inst->VRegC_35c();
Mathieu Chartieref41db72016-10-25 15:08:01 -0700227 ObjPtr<mirror::Object> const receiver = shadow_frame.GetVRegReference(vregC);
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200228 if (UNLIKELY(receiver == nullptr)) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200229 // We lost the reference to the method index so we cannot get a more
230 // precised exception message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000231 ThrowNullPointerExceptionFromDexPC();
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200232 return false;
233 }
234 const uint32_t vtable_idx = (is_range) ? inst->VRegB_3rc() : inst->VRegB_35c();
Hiroshi Yamauchia10ae782016-10-05 18:13:23 -0700235 // Debug code for b/31357497. To be removed.
236 if (kUseReadBarrier) {
237 CHECK(receiver->GetClass() != nullptr)
238 << "Null class found in object " << receiver << " in region type "
239 << Runtime::Current()->GetHeap()->ConcurrentCopyingCollector()->
Mathieu Chartieref41db72016-10-25 15:08:01 -0700240 RegionSpace()->GetRegionType(receiver.Ptr());
Hiroshi Yamauchia10ae782016-10-05 18:13:23 -0700241 }
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000242 CHECK(receiver->GetClass()->ShouldHaveEmbeddedVTable());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700243 ArtMethod* const called_method = receiver->GetClass()->GetEmbeddedVTableEntry(
Andreas Gampe542451c2016-07-26 09:02:02 -0700244 vtable_idx, kRuntimePointerSize);
Ian Rogerse94652f2014-12-02 11:13:19 -0800245 if (UNLIKELY(called_method == nullptr)) {
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200246 CHECK(self->IsExceptionPending());
247 result->SetJ(0);
248 return false;
Alex Light9139e002015-10-09 15:59:48 -0700249 } else if (UNLIKELY(!called_method->IsInvokable())) {
250 called_method->ThrowInvocationTimeError();
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200251 result->SetJ(0);
252 return false;
253 } else {
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100254 jit::Jit* jit = Runtime::Current()->GetJit();
255 if (jit != nullptr) {
256 jit->InvokeVirtualOrInterface(
Mathieu Chartier268764d2016-09-13 12:09:38 -0700257 receiver, shadow_frame.GetMethod(), shadow_frame.GetDexPC(), called_method);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100258 jit->AddSamples(self, shadow_frame.GetMethod(), 1, /*with_backedges*/false);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100259 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100260 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100261 // TODO: Remove the InvokeVirtualOrInterface instrumentation, as it was only used by the JIT.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100262 if (UNLIKELY(instrumentation->HasInvokeVirtualOrInterfaceListeners())) {
263 instrumentation->InvokeVirtualOrInterface(
Mathieu Chartieref41db72016-10-25 15:08:01 -0700264 self, receiver.Ptr(), shadow_frame.GetMethod(), shadow_frame.GetDexPC(), called_method);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100265 }
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200266 // No need to check since we've been quickened.
Ian Rogerse94652f2014-12-02 11:13:19 -0800267 return DoCall<is_range, false>(called_method, self, shadow_frame, inst, inst_data, result);
Sebastien Hertzc61124b2013-09-10 11:44:19 +0200268 }
269}
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200270
Sebastien Hertzc6714852013-09-30 16:42:32 +0200271// Handles iget-XXX and sget-XXX instructions.
272// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200273template<FindFieldType find_type, Primitive::Type field_type, bool do_access_check>
Ian Rogers54874942014-06-10 16:31:03 -0700274bool DoFieldGet(Thread* self, ShadowFrame& shadow_frame, const Instruction* inst,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700275 uint16_t inst_data) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200276
Sebastien Hertzc6714852013-09-30 16:42:32 +0200277// Handles iget-quick, iget-wide-quick and iget-object-quick instructions.
278// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200279template<Primitive::Type field_type>
Ian Rogers54874942014-06-10 16:31:03 -0700280bool DoIGetQuick(ShadowFrame& shadow_frame, const Instruction* inst, uint16_t inst_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700281 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz479fc1e2014-04-04 17:51:34 +0200282
Sebastien Hertzc6714852013-09-30 16:42:32 +0200283// Handles iput-XXX and sput-XXX instructions.
284// Returns true on success, otherwise throws an exception and returns false.
Ian Rogers54874942014-06-10 16:31:03 -0700285template<FindFieldType find_type, Primitive::Type field_type, bool do_access_check,
286 bool transaction_active>
287bool DoFieldPut(Thread* self, const ShadowFrame& shadow_frame, const Instruction* inst,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700288 uint16_t inst_data) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200289
Sebastien Hertzc6714852013-09-30 16:42:32 +0200290// Handles iput-quick, iput-wide-quick and iput-object-quick instructions.
291// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100292template<Primitive::Type field_type, bool transaction_active>
Ian Rogers54874942014-06-10 16:31:03 -0700293bool DoIPutQuick(const ShadowFrame& shadow_frame, const Instruction* inst, uint16_t inst_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700294 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers54874942014-06-10 16:31:03 -0700295
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200296
Sebastien Hertzc6714852013-09-30 16:42:32 +0200297// Handles string resolution for const-string and const-string-jumbo instructions. Also ensures the
298// java.lang.String class is initialized.
Mathieu Chartieref41db72016-10-25 15:08:01 -0700299static inline ObjPtr<mirror::String> ResolveString(Thread* self,
300 ShadowFrame& shadow_frame,
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800301 dex::StringIndex string_idx)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700302 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartieref41db72016-10-25 15:08:01 -0700303 ObjPtr<mirror::Class> java_lang_string_class = mirror::String::GetJavaLangString();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200304 if (UNLIKELY(!java_lang_string_class->IsInitialized())) {
305 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700306 StackHandleScope<1> hs(self);
307 Handle<mirror::Class> h_class(hs.NewHandle(java_lang_string_class));
Ian Rogers7b078e82014-09-10 14:44:24 -0700308 if (UNLIKELY(!class_linker->EnsureInitialized(self, h_class, true, true))) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200309 DCHECK(self->IsExceptionPending());
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800310 return nullptr;
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200311 }
312 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700313 ArtMethod* method = shadow_frame.GetMethod();
Vladimir Markoec786222016-12-20 16:24:13 +0000314 ObjPtr<mirror::String> string_ptr = method->GetDexCache()->GetResolvedString(string_idx);
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700315 if (UNLIKELY(string_ptr == nullptr)) {
Ian Rogers6786a582014-10-28 12:49:06 -0700316 StackHandleScope<1> hs(self);
Alex Lightdba61482016-12-21 08:20:29 -0800317 Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
Vladimir Markoec786222016-12-20 16:24:13 +0000318 string_ptr = Runtime::Current()->GetClassLinker()->ResolveString(*dex_cache->GetDexFile(),
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700319 string_idx,
320 dex_cache);
Ian Rogers6786a582014-10-28 12:49:06 -0700321 }
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700322 return string_ptr;
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200323}
324
Sebastien Hertzc6714852013-09-30 16:42:32 +0200325// Handles div-int, div-int/2addr, div-int/li16 and div-int/lit8 instructions.
326// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200327static inline bool DoIntDivide(ShadowFrame& shadow_frame, size_t result_reg,
328 int32_t dividend, int32_t divisor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700329 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersf72a11d2014-10-30 15:41:08 -0700330 constexpr int32_t kMinInt = std::numeric_limits<int32_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200331 if (UNLIKELY(divisor == 0)) {
332 ThrowArithmeticExceptionDivideByZero();
333 return false;
334 }
335 if (UNLIKELY(dividend == kMinInt && divisor == -1)) {
336 shadow_frame.SetVReg(result_reg, kMinInt);
337 } else {
338 shadow_frame.SetVReg(result_reg, dividend / divisor);
339 }
340 return true;
341}
342
Sebastien Hertzc6714852013-09-30 16:42:32 +0200343// Handles rem-int, rem-int/2addr, rem-int/li16 and rem-int/lit8 instructions.
344// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200345static inline bool DoIntRemainder(ShadowFrame& shadow_frame, size_t result_reg,
346 int32_t dividend, int32_t divisor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700347 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersf72a11d2014-10-30 15:41:08 -0700348 constexpr int32_t kMinInt = std::numeric_limits<int32_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200349 if (UNLIKELY(divisor == 0)) {
350 ThrowArithmeticExceptionDivideByZero();
351 return false;
352 }
353 if (UNLIKELY(dividend == kMinInt && divisor == -1)) {
354 shadow_frame.SetVReg(result_reg, 0);
355 } else {
356 shadow_frame.SetVReg(result_reg, dividend % divisor);
357 }
358 return true;
359}
360
Sebastien Hertzc6714852013-09-30 16:42:32 +0200361// Handles div-long and div-long-2addr instructions.
362// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Mathieu Chartieref41db72016-10-25 15:08:01 -0700363static inline bool DoLongDivide(ShadowFrame& shadow_frame,
364 size_t result_reg,
365 int64_t dividend,
366 int64_t divisor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700367 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers2e2deeb2013-09-23 11:58:57 -0700368 const int64_t kMinLong = std::numeric_limits<int64_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200369 if (UNLIKELY(divisor == 0)) {
370 ThrowArithmeticExceptionDivideByZero();
371 return false;
372 }
373 if (UNLIKELY(dividend == kMinLong && divisor == -1)) {
374 shadow_frame.SetVRegLong(result_reg, kMinLong);
375 } else {
376 shadow_frame.SetVRegLong(result_reg, dividend / divisor);
377 }
378 return true;
379}
380
Sebastien Hertzc6714852013-09-30 16:42:32 +0200381// Handles rem-long and rem-long-2addr instructions.
382// Returns true on success, otherwise throws a java.lang.ArithmeticException and return false.
Mathieu Chartieref41db72016-10-25 15:08:01 -0700383static inline bool DoLongRemainder(ShadowFrame& shadow_frame,
384 size_t result_reg,
385 int64_t dividend,
386 int64_t divisor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700387 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers2e2deeb2013-09-23 11:58:57 -0700388 const int64_t kMinLong = std::numeric_limits<int64_t>::min();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200389 if (UNLIKELY(divisor == 0)) {
390 ThrowArithmeticExceptionDivideByZero();
391 return false;
392 }
393 if (UNLIKELY(dividend == kMinLong && divisor == -1)) {
394 shadow_frame.SetVRegLong(result_reg, 0);
395 } else {
396 shadow_frame.SetVRegLong(result_reg, dividend % divisor);
397 }
398 return true;
399}
400
Sebastien Hertzc6714852013-09-30 16:42:32 +0200401// Handles filled-new-array and filled-new-array-range instructions.
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200402// Returns true on success, otherwise throws an exception and returns false.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100403template <bool is_range, bool do_access_check, bool transaction_active>
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200404bool DoFilledNewArray(const Instruction* inst, const ShadowFrame& shadow_frame,
Sebastien Hertzc6714852013-09-30 16:42:32 +0200405 Thread* self, JValue* result);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200406
Sebastien Hertzc6714852013-09-30 16:42:32 +0200407// Handles packed-switch instruction.
408// Returns the branch offset to the next instruction to execute.
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200409static inline int32_t DoPackedSwitch(const Instruction* inst, const ShadowFrame& shadow_frame,
410 uint16_t inst_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700411 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200412 DCHECK(inst->Opcode() == Instruction::PACKED_SWITCH);
413 const uint16_t* switch_data = reinterpret_cast<const uint16_t*>(inst) + inst->VRegB_31t();
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200414 int32_t test_val = shadow_frame.GetVReg(inst->VRegA_31t(inst_data));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200415 DCHECK_EQ(switch_data[0], static_cast<uint16_t>(Instruction::kPackedSwitchSignature));
416 uint16_t size = switch_data[1];
David Brazdil2ef645b2015-06-17 18:20:52 +0100417 if (size == 0) {
418 // Empty packed switch, move forward by 3 (size of PACKED_SWITCH).
419 return 3;
420 }
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200421 const int32_t* keys = reinterpret_cast<const int32_t*>(&switch_data[2]);
Roland Levillain14d90572015-07-16 10:52:26 +0100422 DCHECK_ALIGNED(keys, 4);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200423 int32_t first_key = keys[0];
424 const int32_t* targets = reinterpret_cast<const int32_t*>(&switch_data[4]);
Roland Levillain14d90572015-07-16 10:52:26 +0100425 DCHECK_ALIGNED(targets, 4);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200426 int32_t index = test_val - first_key;
427 if (index >= 0 && index < size) {
428 return targets[index];
429 } else {
430 // No corresponding value: move forward by 3 (size of PACKED_SWITCH).
431 return 3;
432 }
433}
434
Sebastien Hertzc6714852013-09-30 16:42:32 +0200435// Handles sparse-switch instruction.
436// Returns the branch offset to the next instruction to execute.
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200437static inline int32_t DoSparseSwitch(const Instruction* inst, const ShadowFrame& shadow_frame,
438 uint16_t inst_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700439 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200440 DCHECK(inst->Opcode() == Instruction::SPARSE_SWITCH);
441 const uint16_t* switch_data = reinterpret_cast<const uint16_t*>(inst) + inst->VRegB_31t();
Sebastien Hertz3b588e02013-09-11 14:33:18 +0200442 int32_t test_val = shadow_frame.GetVReg(inst->VRegA_31t(inst_data));
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200443 DCHECK_EQ(switch_data[0], static_cast<uint16_t>(Instruction::kSparseSwitchSignature));
444 uint16_t size = switch_data[1];
Jeff Hao935e01a2015-03-20 19:44:35 -0700445 // Return length of SPARSE_SWITCH if size is 0.
446 if (size == 0) {
447 return 3;
448 }
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200449 const int32_t* keys = reinterpret_cast<const int32_t*>(&switch_data[2]);
Roland Levillain14d90572015-07-16 10:52:26 +0100450 DCHECK_ALIGNED(keys, 4);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200451 const int32_t* entries = keys + size;
Roland Levillain14d90572015-07-16 10:52:26 +0100452 DCHECK_ALIGNED(entries, 4);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200453 int lo = 0;
454 int hi = size - 1;
455 while (lo <= hi) {
456 int mid = (lo + hi) / 2;
457 int32_t foundVal = keys[mid];
458 if (test_val < foundVal) {
459 hi = mid - 1;
460 } else if (test_val > foundVal) {
461 lo = mid + 1;
462 } else {
463 return entries[mid];
464 }
465 }
466 // No corresponding value: move forward by 3 (size of SPARSE_SWITCH).
467 return 3;
468}
469
Ian Rogers54874942014-06-10 16:31:03 -0700470uint32_t FindNextInstructionFollowingException(Thread* self, ShadowFrame& shadow_frame,
Sebastien Hertz9f102032014-05-23 08:59:42 +0200471 uint32_t dex_pc, const instrumentation::Instrumentation* instrumentation)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700472 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200473
Andreas Gampe794ad762015-02-23 08:12:24 -0800474NO_RETURN void UnexpectedOpcode(const Instruction* inst, const ShadowFrame& shadow_frame)
475 __attribute__((cold))
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700476 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200477
Bill Buzbeed47fd902016-07-07 14:42:43 +0000478// Set true if you want TraceExecution invocation before each bytecode execution.
479constexpr bool kTraceExecutionEnabled = false;
Serguei Katkov9fb0ac72016-02-20 12:55:24 +0600480
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200481static inline void TraceExecution(const ShadowFrame& shadow_frame, const Instruction* inst,
Ian Rogerse94652f2014-12-02 11:13:19 -0800482 const uint32_t dex_pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700483 REQUIRES_SHARED(Locks::mutator_lock_) {
Bill Buzbeed47fd902016-07-07 14:42:43 +0000484 if (kTraceExecutionEnabled) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200485#define TRACE_LOG std::cerr
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700486 std::ostringstream oss;
David Sehr709b0702016-10-13 09:12:37 -0700487 oss << shadow_frame.GetMethod()->PrettyMethod()
Andreas Gampe46ee31b2016-12-14 10:11:49 -0800488 << android::base::StringPrintf("\n0x%x: ", dex_pc)
Ian Rogerse94652f2014-12-02 11:13:19 -0800489 << inst->DumpString(shadow_frame.GetMethod()->GetDexFile()) << "\n";
Ian Rogersef7d42f2014-01-06 12:55:46 -0800490 for (uint32_t i = 0; i < shadow_frame.NumberOfVRegs(); ++i) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200491 uint32_t raw_value = shadow_frame.GetVReg(i);
Mathieu Chartieref41db72016-10-25 15:08:01 -0700492 ObjPtr<mirror::Object> ref_value = shadow_frame.GetVRegReference(i);
Andreas Gampe46ee31b2016-12-14 10:11:49 -0800493 oss << android::base::StringPrintf(" vreg%u=0x%08X", i, raw_value);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700494 if (ref_value != nullptr) {
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200495 if (ref_value->GetClass()->IsStringClass() &&
jessicahandojo3aaa37b2016-07-29 14:46:37 -0700496 !ref_value->AsString()->IsValueNull()) {
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700497 oss << "/java.lang.String \"" << ref_value->AsString()->ToModifiedUtf8() << "\"";
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200498 } else {
David Sehr709b0702016-10-13 09:12:37 -0700499 oss << "/" << ref_value->PrettyTypeOf();
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200500 }
501 }
502 }
Mathieu Chartiere861ebd2013-10-09 15:01:21 -0700503 TRACE_LOG << oss.str() << "\n";
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200504#undef TRACE_LOG
505 }
506}
507
Sebastien Hertz1eda2262013-09-09 16:53:14 +0200508static inline bool IsBackwardBranch(int32_t branch_offset) {
509 return branch_offset <= 0;
510}
511
Narayan Kamath208f8572016-08-03 12:46:58 +0100512// Assign register 'src_reg' from shadow_frame to register 'dest_reg' into new_shadow_frame.
513static inline void AssignRegister(ShadowFrame* new_shadow_frame, const ShadowFrame& shadow_frame,
514 size_t dest_reg, size_t src_reg)
515 REQUIRES_SHARED(Locks::mutator_lock_) {
516 // Uint required, so that sign extension does not make this wrong on 64b systems
517 uint32_t src_value = shadow_frame.GetVReg(src_reg);
Mathieu Chartieref41db72016-10-25 15:08:01 -0700518 ObjPtr<mirror::Object> o = shadow_frame.GetVRegReference<kVerifyNone>(src_reg);
Narayan Kamath208f8572016-08-03 12:46:58 +0100519
520 // If both register locations contains the same value, the register probably holds a reference.
521 // Note: As an optimization, non-moving collectors leave a stale reference value
522 // in the references array even after the original vreg was overwritten to a non-reference.
Mathieu Chartieref41db72016-10-25 15:08:01 -0700523 if (src_value == reinterpret_cast<uintptr_t>(o.Ptr())) {
524 new_shadow_frame->SetVRegReference(dest_reg, o.Ptr());
Narayan Kamath208f8572016-08-03 12:46:58 +0100525 } else {
526 new_shadow_frame->SetVReg(dest_reg, src_value);
527 }
528}
529
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100530void ArtInterpreterToCompiledCodeBridge(Thread* self,
531 ArtMethod* caller,
Nicolas Geoffray01822292017-03-09 09:03:19 +0000532 const DexFile::CodeItem* code_item,
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100533 ShadowFrame* shadow_frame,
534 JValue* result);
Siva Chandra05d24152016-01-05 17:43:17 -0800535
Mingyao Yangffedec52016-05-19 10:48:40 -0700536// Set string value created from StringFactory.newStringFromXXX() into all aliases of
537// StringFactory.newEmptyString().
538void SetStringInitValueToAllAliases(ShadowFrame* shadow_frame,
539 uint16_t this_obj_vreg,
540 JValue result);
541
Sebastien Hertzc6714852013-09-30 16:42:32 +0200542// Explicitly instantiate all DoInvoke functions.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100543#define EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, _is_range, _do_check) \
buzbee78f1bdc2017-03-01 10:55:57 -0800544 template REQUIRES_SHARED(Locks::mutator_lock_) \
545 bool DoInvoke<_type, _is_range, _do_check>(Thread* self, \
546 ShadowFrame& shadow_frame, \
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100547 const Instruction* inst, uint16_t inst_data, \
548 JValue* result)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200549
550#define EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(_type) \
551 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, false, false); \
552 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, false, true); \
553 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, true, false); \
554 EXPLICIT_DO_INVOKE_TEMPLATE_DECL(_type, true, true);
555
Andreas Gampec8ccf682014-09-29 20:07:43 -0700556EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kStatic) // invoke-static/range.
557EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kDirect) // invoke-direct/range.
558EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kVirtual) // invoke-virtual/range.
559EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kSuper) // invoke-super/range.
560EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL(kInterface) // invoke-interface/range.
Sebastien Hertzc6714852013-09-30 16:42:32 +0200561#undef EXPLICIT_DO_INVOKE_ALL_TEMPLATE_DECL
562#undef EXPLICIT_DO_INVOKE_TEMPLATE_DECL
563
buzbee78f1bdc2017-03-01 10:55:57 -0800564// Explicitly instantiate all DoFastInvoke functions.
565#define EXPLICIT_DO_FAST_INVOKE_TEMPLATE_DECL(_type) \
566 template REQUIRES_SHARED(Locks::mutator_lock_) \
567 bool DoFastInvoke<_type>(Thread* self, \
568 ShadowFrame& shadow_frame, \
569 const Instruction* inst, uint16_t inst_data, \
570 JValue* result)
571
572EXPLICIT_DO_FAST_INVOKE_TEMPLATE_DECL(kStatic); // invoke-static
573EXPLICIT_DO_FAST_INVOKE_TEMPLATE_DECL(kDirect); // invoke-direct
574EXPLICIT_DO_FAST_INVOKE_TEMPLATE_DECL(kVirtual); // invoke-virtual
575#undef EXPLICIT_DO_FAST_INVOKE_TEMPLATE_DECL
576
Sebastien Hertzc6714852013-09-30 16:42:32 +0200577// Explicitly instantiate all DoInvokeVirtualQuick functions.
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100578#define EXPLICIT_DO_INVOKE_VIRTUAL_QUICK_TEMPLATE_DECL(_is_range) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700579 template REQUIRES_SHARED(Locks::mutator_lock_) \
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100580 bool DoInvokeVirtualQuick<_is_range>(Thread* self, ShadowFrame& shadow_frame, \
581 const Instruction* inst, uint16_t inst_data, \
582 JValue* result)
Sebastien Hertzc6714852013-09-30 16:42:32 +0200583
584EXPLICIT_DO_INVOKE_VIRTUAL_QUICK_TEMPLATE_DECL(false); // invoke-virtual-quick.
585EXPLICIT_DO_INVOKE_VIRTUAL_QUICK_TEMPLATE_DECL(true); // invoke-virtual-quick-range.
586#undef EXPLICIT_INSTANTIATION_DO_INVOKE_VIRTUAL_QUICK
587
Sebastien Hertz8ece0502013-08-07 11:26:41 +0200588} // namespace interpreter
589} // namespace art
590
591#endif // ART_RUNTIME_INTERPRETER_INTERPRETER_COMMON_H_