blob: ffa138d5b1933950624b1876293bd5c7cf266486 [file] [log] [blame]
Shih-wei Liao2d831012011-09-28 22:06:53 -07001/*
Elliott Hughes0f3c5532012-03-30 14:51:51 -07002 * Copyright (C) 2012 The Android Open Source Project
Shih-wei Liao2d831012011-09-28 22:06:53 -07003 *
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
Ian Rogers7655f292013-07-29 11:07:13 -070017#include "entrypoints/entrypoint_utils.h"
Shih-wei Liao2d831012011-09-28 22:06:53 -070018
Mathieu Chartierc7853442015-03-27 14:35:38 -070019#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070020#include "art_method-inl.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070021#include "base/enums.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070022#include "base/mutex.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080023#include "class_linker-inl.h"
David Sehr9e734c72018-01-04 17:56:19 -080024#include "dex/dex_file-inl.h"
Nicolas Geoffray1920c102015-09-29 18:00:03 +000025#include "entrypoints/entrypoint_utils-inl.h"
26#include "entrypoints/quick/callee_save_frame.h"
27#include "entrypoints/runtime_asm_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070028#include "gc/accounting/card_table-inl.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070029#include "java_vm_ext.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030#include "mirror/class-inl.h"
Mathieu Chartierfc58af42015-04-16 18:00:39 -070031#include "mirror/method.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080032#include "mirror/object-inl.h"
33#include "mirror/object_array-inl.h"
Nicolas Geoffray1920c102015-09-29 18:00:03 +000034#include "nth_caller_visitor.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010035#include "oat_quick_method_header.h"
Ian Rogersaf6e67a2013-01-16 08:38:37 -080036#include "reflection.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070037#include "scoped_thread_state_change-inl.h"
Elliott Hugheseac76672012-05-24 21:56:51 -070038#include "well_known_classes.h"
TDYa1275bb86012012-04-11 05:57:28 -070039
jeffhao41005dd2012-05-09 17:58:52 -070040namespace art {
41
Mathieu Chartierbe08cf52016-09-13 13:41:24 -070042void CheckReferenceResult(Handle<mirror::Object> o, Thread* self) {
Andreas Gampefa4333d2017-02-14 11:10:34 -080043 if (o == nullptr) {
Ian Rogerse5877a12014-07-16 12:06:35 -070044 return;
45 }
Ian Rogerse5877a12014-07-16 12:06:35 -070046 // Make sure that the result is an instance of the type this method was expected to return.
Mathieu Chartierbe08cf52016-09-13 13:41:24 -070047 ArtMethod* method = self->GetCurrentMethod(nullptr);
Vladimir Markob45528c2017-07-27 14:14:28 +010048 ObjPtr<mirror::Class> return_type = method->ResolveReturnType();
Ian Rogerse5877a12014-07-16 12:06:35 -070049
50 if (!o->InstanceOf(return_type)) {
Ian Rogersc0542af2014-09-03 16:16:56 -070051 Runtime::Current()->GetJavaVM()->JniAbortF(nullptr,
52 "attempt to return an instance of %s from %s",
David Sehr709b0702016-10-13 09:12:37 -070053 o->PrettyTypeOf().c_str(),
54 method->PrettyMethod().c_str());
Ian Rogerse5877a12014-07-16 12:06:35 -070055 }
56}
57
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070058JValue InvokeProxyInvocationHandler(ScopedObjectAccessAlreadyRunnable& soa, const char* shorty,
Ian Rogersaf6e67a2013-01-16 08:38:37 -080059 jobject rcvr_jobj, jobject interface_method_jobj,
60 std::vector<jvalue>& args) {
61 DCHECK(soa.Env()->IsInstanceOf(rcvr_jobj, WellKnownClasses::java_lang_reflect_Proxy));
62
63 // Build argument array possibly triggering GC.
64 soa.Self()->AssertThreadSuspensionIsAllowable();
Mathieu Chartier2cebb242015-04-21 16:50:40 -070065 jobjectArray args_jobj = nullptr;
Ian Rogersaf6e67a2013-01-16 08:38:37 -080066 const JValue zero;
Jeff Haof00571c2014-05-29 17:29:47 -070067 int32_t target_sdk_version = Runtime::Current()->GetTargetSdkVersion();
68 // Do not create empty arrays unless needed to maintain Dalvik bug compatibility.
69 if (args.size() > 0 || (target_sdk_version > 0 && target_sdk_version <= 21)) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070070 args_jobj = soa.Env()->NewObjectArray(args.size(), WellKnownClasses::java_lang_Object, nullptr);
71 if (args_jobj == nullptr) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -080072 CHECK(soa.Self()->IsExceptionPending());
73 return zero;
74 }
75 for (size_t i = 0; i < args.size(); ++i) {
76 if (shorty[i + 1] == 'L') {
77 jobject val = args.at(i).l;
78 soa.Env()->SetObjectArrayElement(args_jobj, i, val);
79 } else {
80 JValue jv;
81 jv.SetJ(args.at(i).j);
Mathieu Chartier1cc62e42016-10-03 18:01:28 -070082 mirror::Object* val = BoxPrimitive(Primitive::GetType(shorty[i + 1]), jv).Ptr();
Mathieu Chartier2cebb242015-04-21 16:50:40 -070083 if (val == nullptr) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -080084 CHECK(soa.Self()->IsExceptionPending());
85 return zero;
86 }
Mathieu Chartier0795f232016-09-27 18:43:30 -070087 soa.Decode<mirror::ObjectArray<mirror::Object>>(args_jobj)->Set<false>(i, val);
Ian Rogersaf6e67a2013-01-16 08:38:37 -080088 }
89 }
90 }
91
Mathieu Chartierfc58af42015-04-16 18:00:39 -070092 // Call Proxy.invoke(Proxy proxy, Method method, Object[] args).
Ian Rogersaf6e67a2013-01-16 08:38:37 -080093 jvalue invocation_args[3];
94 invocation_args[0].l = rcvr_jobj;
95 invocation_args[1].l = interface_method_jobj;
96 invocation_args[2].l = args_jobj;
97 jobject result =
Brian Carlstromea46f952013-07-30 01:26:50 -070098 soa.Env()->CallStaticObjectMethodA(WellKnownClasses::java_lang_reflect_Proxy,
99 WellKnownClasses::java_lang_reflect_Proxy_invoke,
100 invocation_args);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800101
102 // Unbox result and handle error conditions.
Ian Rogers62d6c772013-02-27 08:32:07 -0800103 if (LIKELY(!soa.Self()->IsExceptionPending())) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700104 if (shorty[0] == 'V' || (shorty[0] == 'L' && result == nullptr)) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800105 // Do nothing.
106 return zero;
107 } else {
Mathieu Chartierbe08cf52016-09-13 13:41:24 -0700108 ArtMethod* interface_method =
Mathieu Chartier0795f232016-09-27 18:43:30 -0700109 soa.Decode<mirror::Method>(interface_method_jobj)->GetArtMethod();
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700110 // This can cause thread suspension.
Vladimir Markob45528c2017-07-27 14:14:28 +0100111 ObjPtr<mirror::Class> result_type = interface_method->ResolveReturnType();
Mathieu Chartier0795f232016-09-27 18:43:30 -0700112 ObjPtr<mirror::Object> result_ref = soa.Decode<mirror::Object>(result);
Ian Rogers62d6c772013-02-27 08:32:07 -0800113 JValue result_unboxed;
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700114 if (!UnboxPrimitiveForResult(result_ref.Ptr(), result_type, &result_unboxed)) {
Ian Rogers530f71c2013-02-22 23:29:00 -0800115 DCHECK(soa.Self()->IsExceptionPending());
Ian Rogers62d6c772013-02-27 08:32:07 -0800116 return zero;
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800117 }
118 return result_unboxed;
119 }
120 } else {
121 // In the case of checked exceptions that aren't declared, the exception must be wrapped by
122 // a UndeclaredThrowableException.
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000123 mirror::Throwable* exception = soa.Self()->GetException();
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800124 if (exception->IsCheckedException()) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800125 bool declares_exception = false;
Mathieu Chartierbe08cf52016-09-13 13:41:24 -0700126 {
127 ScopedAssertNoThreadSuspension ants(__FUNCTION__);
Mathieu Chartier0795f232016-09-27 18:43:30 -0700128 ObjPtr<mirror::Object> rcvr = soa.Decode<mirror::Object>(rcvr_jobj);
Mathieu Chartierbe08cf52016-09-13 13:41:24 -0700129 mirror::Class* proxy_class = rcvr->GetClass();
Mathieu Chartier0795f232016-09-27 18:43:30 -0700130 ObjPtr<mirror::Method> interface_method = soa.Decode<mirror::Method>(interface_method_jobj);
Mathieu Chartierbe08cf52016-09-13 13:41:24 -0700131 ArtMethod* proxy_method = rcvr->GetClass()->FindVirtualMethodForInterface(
132 interface_method->GetArtMethod(), kRuntimePointerSize);
133 auto virtual_methods = proxy_class->GetVirtualMethodsSlice(kRuntimePointerSize);
134 size_t num_virtuals = proxy_class->NumVirtualMethods();
135 size_t method_size = ArtMethod::Size(kRuntimePointerSize);
136 // Rely on the fact that the methods are contiguous to determine the index of the method in
137 // the slice.
138 int throws_index = (reinterpret_cast<uintptr_t>(proxy_method) -
Vladimir Marko9ac77492017-06-14 18:07:03 +0100139 reinterpret_cast<uintptr_t>(&virtual_methods[0])) / method_size;
Mathieu Chartierbe08cf52016-09-13 13:41:24 -0700140 CHECK_LT(throws_index, static_cast<int>(num_virtuals));
141 mirror::ObjectArray<mirror::Class>* declared_exceptions =
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000142 proxy_class->GetProxyThrows()->Get(throws_index);
Mathieu Chartierbe08cf52016-09-13 13:41:24 -0700143 mirror::Class* exception_class = exception->GetClass();
144 for (int32_t i = 0; i < declared_exceptions->GetLength() && !declares_exception; i++) {
145 mirror::Class* declared_exception = declared_exceptions->Get(i);
146 declares_exception = declared_exception->IsAssignableFrom(exception_class);
147 }
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800148 }
149 if (!declares_exception) {
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000150 soa.Self()->ThrowNewWrappedException("Ljava/lang/reflect/UndeclaredThrowableException;",
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700151 nullptr);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800152 }
153 }
154 return zero;
155 }
156}
Ian Rogers832336b2014-10-08 15:35:22 -0700157
Mathieu Chartieref41db72016-10-25 15:08:01 -0700158bool FillArrayData(ObjPtr<mirror::Object> obj, const Instruction::ArrayDataPayload* payload) {
Ian Rogers832336b2014-10-08 15:35:22 -0700159 DCHECK_EQ(payload->ident, static_cast<uint16_t>(Instruction::kArrayDataSignature));
160 if (UNLIKELY(obj == nullptr)) {
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000161 ThrowNullPointerException("null array in FILL_ARRAY_DATA");
Ian Rogers832336b2014-10-08 15:35:22 -0700162 return false;
163 }
164 mirror::Array* array = obj->AsArray();
165 DCHECK(!array->IsObjectArray());
166 if (UNLIKELY(static_cast<int32_t>(payload->element_count) > array->GetLength())) {
167 Thread* self = Thread::Current();
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000168 self->ThrowNewExceptionF("Ljava/lang/ArrayIndexOutOfBoundsException;",
Ian Rogers832336b2014-10-08 15:35:22 -0700169 "failed FILL_ARRAY_DATA; length=%d, index=%d",
170 array->GetLength(), payload->element_count);
171 return false;
172 }
173 // Copy data from dex file to memory assuming both are little endian.
174 uint32_t size_in_bytes = payload->element_count * payload->element_width;
175 memcpy(array->GetRawData(payload->element_width, 0), payload->data, size_in_bytes);
176 return true;
177}
178
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000179static inline std::pair<ArtMethod*, uintptr_t> DoGetCalleeSaveMethodOuterCallerAndPc(
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700180 ArtMethod** sp, CalleeSaveType type) REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000181 DCHECK_EQ(*sp, Runtime::Current()->GetCalleeSaveMethod(type));
182
183 const size_t callee_frame_size = GetCalleeSaveFrameSize(kRuntimeISA, type);
184 auto** caller_sp = reinterpret_cast<ArtMethod**>(
185 reinterpret_cast<uintptr_t>(sp) + callee_frame_size);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100186 const size_t callee_return_pc_offset = GetCalleeSaveReturnPcOffset(kRuntimeISA, type);
187 uintptr_t caller_pc = *reinterpret_cast<uintptr_t*>(
188 (reinterpret_cast<uint8_t*>(sp) + callee_return_pc_offset));
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000189 ArtMethod* outer_method = *caller_sp;
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000190 return std::make_pair(outer_method, caller_pc);
191}
192
193static inline ArtMethod* DoGetCalleeSaveMethodCaller(ArtMethod* outer_method,
194 uintptr_t caller_pc,
195 bool do_caller_check)
196 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000197 ArtMethod* caller = outer_method;
Nicolas Geoffray63e47f42015-11-05 13:26:17 +0000198 if (LIKELY(caller_pc != reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()))) {
199 if (outer_method != nullptr) {
200 const OatQuickMethodHeader* current_code = outer_method->GetOatQuickMethodHeader(caller_pc);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +0100201 DCHECK(current_code != nullptr);
202 DCHECK(current_code->IsOptimized());
203 uintptr_t native_pc_offset = current_code->NativeQuickPcOffset(caller_pc);
204 CodeInfo code_info = current_code->GetOptimizedCodeInfo();
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700205 MethodInfo method_info = current_code->GetOptimizedMethodInfo();
Vladimir Marko9d07e3d2016-03-31 12:02:28 +0100206 CodeInfoEncoding encoding = code_info.ExtractEncoding();
207 StackMap stack_map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding);
208 DCHECK(stack_map.IsValid());
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800209 if (stack_map.HasInlineInfo(encoding.stack_map.encoding)) {
Vladimir Marko9d07e3d2016-03-31 12:02:28 +0100210 InlineInfo inline_info = code_info.GetInlineInfoOf(stack_map, encoding);
211 caller = GetResolvedMethod(outer_method,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700212 method_info,
Vladimir Marko9d07e3d2016-03-31 12:02:28 +0100213 inline_info,
Mathieu Chartier575d3e62017-02-06 11:00:40 -0800214 encoding.inline_info.encoding,
215 inline_info.GetDepth(encoding.inline_info.encoding) - 1);
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000216 }
217 }
Nicolas Geoffray63e47f42015-11-05 13:26:17 +0000218 if (kIsDebugBuild && do_caller_check) {
219 // Note that do_caller_check is optional, as this method can be called by
220 // stubs, and tests without a proper call stack.
221 NthCallerVisitor visitor(Thread::Current(), 1, true);
222 visitor.WalkStack();
223 CHECK_EQ(caller, visitor.caller);
224 }
225 } else {
226 // We're instrumenting, just use the StackVisitor which knows how to
227 // handle instrumented frames.
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000228 NthCallerVisitor visitor(Thread::Current(), 1, true);
229 visitor.WalkStack();
Nicolas Geoffray63e47f42015-11-05 13:26:17 +0000230 caller = visitor.caller;
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000231 }
Nicolas Geoffray1920c102015-09-29 18:00:03 +0000232 return caller;
233}
234
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700235ArtMethod* GetCalleeSaveMethodCaller(ArtMethod** sp, CalleeSaveType type, bool do_caller_check)
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000236 REQUIRES_SHARED(Locks::mutator_lock_) {
237 ScopedAssertNoThreadSuspension ants(__FUNCTION__);
238 auto outer_caller_and_pc = DoGetCalleeSaveMethodOuterCallerAndPc(sp, type);
239 ArtMethod* outer_method = outer_caller_and_pc.first;
240 uintptr_t caller_pc = outer_caller_and_pc.second;
241 ArtMethod* caller = DoGetCalleeSaveMethodCaller(outer_method, caller_pc, do_caller_check);
242 return caller;
243}
244
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700245CallerAndOuterMethod GetCalleeSaveMethodCallerAndOuterMethod(Thread* self, CalleeSaveType type) {
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000246 CallerAndOuterMethod result;
247 ScopedAssertNoThreadSuspension ants(__FUNCTION__);
Vladimir Marko2196c652017-11-30 16:16:07 +0000248 ArtMethod** sp = self->GetManagedStack()->GetTopQuickFrameKnownNotTagged();
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000249 auto outer_caller_and_pc = DoGetCalleeSaveMethodOuterCallerAndPc(sp, type);
250 result.outer_method = outer_caller_and_pc.first;
251 uintptr_t caller_pc = outer_caller_and_pc.second;
252 result.caller =
253 DoGetCalleeSaveMethodCaller(result.outer_method, caller_pc, /* do_caller_check */ true);
254 return result;
255}
256
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700257ArtMethod* GetCalleeSaveOuterMethod(Thread* self, CalleeSaveType type) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000258 ScopedAssertNoThreadSuspension ants(__FUNCTION__);
Vladimir Marko2196c652017-11-30 16:16:07 +0000259 ArtMethod** sp = self->GetManagedStack()->GetTopQuickFrameKnownNotTagged();
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000260 return DoGetCalleeSaveMethodOuterCallerAndPc(sp, type).first;
261}
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000262
Shih-wei Liao2d831012011-09-28 22:06:53 -0700263} // namespace art