blob: 0d65bc7405d54aca0104d04f2b70eb9e31fb295e [file] [log] [blame]
Vladimir Markobe0e5462014-02-26 11:24:15 +00001/*
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_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
18#define ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
19
20#include "compiler_driver.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070021
Mathieu Chartierc7853442015-03-27 14:35:38 -070022#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070023#include "art_method-inl.h"
24#include "class_linker-inl.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070025#include "dex_compilation_unit.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000026#include "mirror/class_loader.h"
Vladimir Markof096aad2014-01-23 15:51:58 +000027#include "mirror/dex_cache-inl.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000028#include "scoped_thread_state_change.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070029#include "handle_scope-inl.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000030
31namespace art {
32
33inline mirror::DexCache* CompilerDriver::GetDexCache(const DexCompilationUnit* mUnit) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -070034 return mUnit->GetClassLinker()->FindDexCache(Thread::Current(), *mUnit->GetDexFile(), false);
Vladimir Markobe0e5462014-02-26 11:24:15 +000035}
36
Mathieu Chartier736b5602015-09-02 14:54:11 -070037inline mirror::ClassLoader* CompilerDriver::GetClassLoader(const ScopedObjectAccess& soa,
Vladimir Markobe0e5462014-02-26 11:24:15 +000038 const DexCompilationUnit* mUnit) {
39 return soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader());
40}
41
Nicolas Geoffray9437b782015-03-25 10:08:51 +000042inline mirror::Class* CompilerDriver::ResolveClass(
43 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
44 Handle<mirror::ClassLoader> class_loader, uint16_t cls_index,
45 const DexCompilationUnit* mUnit) {
46 DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
47 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
48 mirror::Class* cls = mUnit->GetClassLinker()->ResolveType(
49 *mUnit->GetDexFile(), cls_index, dex_cache, class_loader);
50 DCHECK_EQ(cls == nullptr, soa.Self()->IsExceptionPending());
51 if (UNLIKELY(cls == nullptr)) {
52 // Clean up any exception left by type resolution.
53 soa.Self()->ClearException();
54 }
55 return cls;
56}
57
Vladimir Markobe0e5462014-02-26 11:24:15 +000058inline mirror::Class* CompilerDriver::ResolveCompilingMethodsClass(
Nicolas Geoffraye5038322014-07-04 09:41:32 +010059 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
Mathieu Chartier0cd81352014-05-22 16:48:55 -070060 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070061 DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
62 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
Vladimir Markobe0e5462014-02-26 11:24:15 +000063 const DexFile::MethodId& referrer_method_id =
64 mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex());
Nicolas Geoffray9437b782015-03-25 10:08:51 +000065 return ResolveClass(soa, dex_cache, class_loader, referrer_method_id.class_idx_, mUnit);
Vladimir Markobe0e5462014-02-26 11:24:15 +000066}
67
Mathieu Chartierc7853442015-03-27 14:35:38 -070068inline ArtField* CompilerDriver::ResolveFieldWithDexFile(
Nicolas Geoffraye5038322014-07-04 09:41:32 +010069 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080070 Handle<mirror::ClassLoader> class_loader, const DexFile* dex_file,
Vladimir Markobe0e5462014-02-26 11:24:15 +000071 uint32_t field_idx, bool is_static) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080072 DCHECK_EQ(dex_cache->GetDexFile(), dex_file);
Mathieu Chartierc7853442015-03-27 14:35:38 -070073 ArtField* resolved_field = Runtime::Current()->GetClassLinker()->ResolveField(
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080074 *dex_file, field_idx, dex_cache, class_loader, is_static);
Vladimir Markobe0e5462014-02-26 11:24:15 +000075 DCHECK_EQ(resolved_field == nullptr, soa.Self()->IsExceptionPending());
76 if (UNLIKELY(resolved_field == nullptr)) {
77 // Clean up any exception left by type resolution.
78 soa.Self()->ClearException();
79 return nullptr;
80 }
81 if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
82 // ClassLinker can return a field of the wrong kind directly from the DexCache.
Mathieu Chartier2cebb242015-04-21 16:50:40 -070083 // Silently return null on such incompatible class change.
Vladimir Markobe0e5462014-02-26 11:24:15 +000084 return nullptr;
85 }
86 return resolved_field;
87}
88
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080089inline mirror::DexCache* CompilerDriver::FindDexCache(const DexFile* dex_file) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -070090 return Runtime::Current()->GetClassLinker()->FindDexCache(Thread::Current(), *dex_file, false);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080091}
92
Mathieu Chartierc7853442015-03-27 14:35:38 -070093inline ArtField* CompilerDriver::ResolveField(
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080094 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
95 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
96 uint32_t field_idx, bool is_static) {
97 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
98 return ResolveFieldWithDexFile(soa, dex_cache, class_loader, mUnit->GetDexFile(), field_idx,
99 is_static);
100}
101
Vladimir Markobe0e5462014-02-26 11:24:15 +0000102inline void CompilerDriver::GetResolvedFieldDexFileLocation(
Mathieu Chartierc7853442015-03-27 14:35:38 -0700103 ArtField* resolved_field, const DexFile** declaring_dex_file,
Vladimir Markobe0e5462014-02-26 11:24:15 +0000104 uint16_t* declaring_class_idx, uint16_t* declaring_field_idx) {
105 mirror::Class* declaring_class = resolved_field->GetDeclaringClass();
106 *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
107 *declaring_class_idx = declaring_class->GetDexTypeIndex();
108 *declaring_field_idx = resolved_field->GetDexFieldIndex();
109}
110
Mathieu Chartierc7853442015-03-27 14:35:38 -0700111inline bool CompilerDriver::IsFieldVolatile(ArtField* field) {
Vladimir Markobe0e5462014-02-26 11:24:15 +0000112 return field->IsVolatile();
113}
114
Mathieu Chartierc7853442015-03-27 14:35:38 -0700115inline MemberOffset CompilerDriver::GetFieldOffset(ArtField* field) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100116 return field->GetOffset();
117}
118
Vladimir Markobe0e5462014-02-26 11:24:15 +0000119inline std::pair<bool, bool> CompilerDriver::IsFastInstanceField(
120 mirror::DexCache* dex_cache, mirror::Class* referrer_class,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700121 ArtField* resolved_field, uint16_t field_idx) {
Vladimir Markobe0e5462014-02-26 11:24:15 +0000122 DCHECK(!resolved_field->IsStatic());
123 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
124 bool fast_get = referrer_class != nullptr &&
125 referrer_class->CanAccessResolvedField(fields_class, resolved_field,
126 dex_cache, field_idx);
127 bool fast_put = fast_get && (!resolved_field->IsFinal() || fields_class == referrer_class);
Vladimir Markobe0e5462014-02-26 11:24:15 +0000128 return std::make_pair(fast_get, fast_put);
129}
130
Roland Levillain4c0eb422015-04-24 16:43:49 +0100131template <typename ArtMember>
132inline bool CompilerDriver::CanAccessResolvedMember(mirror::Class* referrer_class ATTRIBUTE_UNUSED,
133 mirror::Class* access_to ATTRIBUTE_UNUSED,
134 ArtMember* member ATTRIBUTE_UNUSED,
135 mirror::DexCache* dex_cache ATTRIBUTE_UNUSED,
136 uint32_t field_idx ATTRIBUTE_UNUSED) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700137 // Not defined for ArtMember values other than ArtField or ArtMethod.
Roland Levillain4c0eb422015-04-24 16:43:49 +0100138 UNREACHABLE();
139}
140
141template <>
142inline bool CompilerDriver::CanAccessResolvedMember<ArtField>(mirror::Class* referrer_class,
143 mirror::Class* access_to,
144 ArtField* field,
145 mirror::DexCache* dex_cache,
146 uint32_t field_idx) {
147 return referrer_class->CanAccessResolvedField(access_to, field, dex_cache, field_idx);
148}
149
150template <>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700151inline bool CompilerDriver::CanAccessResolvedMember<ArtMethod>(
Roland Levillain4c0eb422015-04-24 16:43:49 +0100152 mirror::Class* referrer_class,
153 mirror::Class* access_to,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700154 ArtMethod* method,
Roland Levillain4c0eb422015-04-24 16:43:49 +0100155 mirror::DexCache* dex_cache,
156 uint32_t field_idx) {
157 return referrer_class->CanAccessResolvedMethod(access_to, method, dex_cache, field_idx);
158}
159
160template <typename ArtMember>
161inline std::pair<bool, bool> CompilerDriver::IsClassOfStaticMemberAvailableToReferrer(
162 mirror::DexCache* dex_cache,
163 mirror::Class* referrer_class,
164 ArtMember* resolved_member,
165 uint16_t member_idx,
166 uint32_t* storage_index) {
167 DCHECK(resolved_member->IsStatic());
Vladimir Markobe0e5462014-02-26 11:24:15 +0000168 if (LIKELY(referrer_class != nullptr)) {
Roland Levillain4c0eb422015-04-24 16:43:49 +0100169 mirror::Class* members_class = resolved_member->GetDeclaringClass();
170 if (members_class == referrer_class) {
171 *storage_index = members_class->GetDexTypeIndex();
Vladimir Markobe0e5462014-02-26 11:24:15 +0000172 return std::make_pair(true, true);
173 }
Roland Levillain4c0eb422015-04-24 16:43:49 +0100174 if (CanAccessResolvedMember<ArtMember>(
175 referrer_class, members_class, resolved_member, dex_cache, member_idx)) {
176 // We have the resolved member, we must make it into a index for the referrer
Vladimir Markobe0e5462014-02-26 11:24:15 +0000177 // in its static storage (which may fail if it doesn't have a slot for it)
178 // TODO: for images we can elide the static storage base null check
179 // if we know there's a non-null entry in the image
180 const DexFile* dex_file = dex_cache->GetDexFile();
181 uint32_t storage_idx = DexFile::kDexNoIndex;
Roland Levillain4c0eb422015-04-24 16:43:49 +0100182 if (LIKELY(members_class->GetDexCache() == dex_cache)) {
183 // common case where the dex cache of both the referrer and the member are the same,
Vladimir Markobe0e5462014-02-26 11:24:15 +0000184 // no need to search the dex file
Roland Levillain4c0eb422015-04-24 16:43:49 +0100185 storage_idx = members_class->GetDexTypeIndex();
Vladimir Markobe0e5462014-02-26 11:24:15 +0000186 } else {
Roland Levillain4c0eb422015-04-24 16:43:49 +0100187 // Search dex file for localized ssb index, may fail if member's class is a parent
Vladimir Markobe0e5462014-02-26 11:24:15 +0000188 // of the class mentioned in the dex file and there is no dex cache entry.
Ian Rogers08f1f502014-12-02 15:04:37 -0800189 std::string temp;
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700190 const DexFile::TypeId* type_id =
191 dex_file->FindTypeId(resolved_member->GetDeclaringClass()->GetDescriptor(&temp));
192 if (type_id != nullptr) {
193 // medium path, needs check of static storage base being initialized
194 storage_idx = dex_file->GetIndexForTypeId(*type_id);
Vladimir Markobe0e5462014-02-26 11:24:15 +0000195 }
196 }
197 if (storage_idx != DexFile::kDexNoIndex) {
Vladimir Markobe0e5462014-02-26 11:24:15 +0000198 *storage_index = storage_idx;
Roland Levillain4c0eb422015-04-24 16:43:49 +0100199 return std::make_pair(true, !resolved_member->IsFinal());
Vladimir Markobe0e5462014-02-26 11:24:15 +0000200 }
201 }
202 }
203 // Conservative defaults.
Vladimir Markobe0e5462014-02-26 11:24:15 +0000204 *storage_index = DexFile::kDexNoIndex;
Vladimir Markobe0e5462014-02-26 11:24:15 +0000205 return std::make_pair(false, false);
206}
207
Roland Levillain4c0eb422015-04-24 16:43:49 +0100208inline std::pair<bool, bool> CompilerDriver::IsFastStaticField(
209 mirror::DexCache* dex_cache, mirror::Class* referrer_class,
210 ArtField* resolved_field, uint16_t field_idx, uint32_t* storage_index) {
211 return IsClassOfStaticMemberAvailableToReferrer(
212 dex_cache, referrer_class, resolved_field, field_idx, storage_index);
213}
214
215inline bool CompilerDriver::IsClassOfStaticMethodAvailableToReferrer(
216 mirror::DexCache* dex_cache, mirror::Class* referrer_class,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700217 ArtMethod* resolved_method, uint16_t method_idx, uint32_t* storage_index) {
Roland Levillain4c0eb422015-04-24 16:43:49 +0100218 std::pair<bool, bool> result = IsClassOfStaticMemberAvailableToReferrer(
219 dex_cache, referrer_class, resolved_method, method_idx, storage_index);
220 // Only the first member of `result` is meaningful, as there is no
221 // "write access" to a method.
222 return result.first;
223}
224
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100225inline bool CompilerDriver::IsStaticFieldInReferrerClass(mirror::Class* referrer_class,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700226 ArtField* resolved_field) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100227 DCHECK(resolved_field->IsStatic());
228 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
229 return referrer_class == fields_class;
230}
231
Vladimir Marko07785bb2015-06-15 18:52:54 +0100232inline bool CompilerDriver::CanAssumeClassIsInitialized(mirror::Class* klass) {
233 // Being loaded is a pre-requisite for being initialized but let's do the cheap check first.
234 //
235 // NOTE: When AOT compiling an app, we eagerly initialize app classes (and potentially their
236 // super classes in the boot image) but only those that have a trivial initialization, i.e.
237 // without <clinit>() or static values in the dex file for that class or any of its super
238 // classes. So while we could see the klass as initialized during AOT compilation and have
239 // it only loaded at runtime, the needed initialization would have to be trivial and
240 // unobservable from Java, so we may as well treat it as initialized.
241 if (!klass->IsInitialized()) {
242 return false;
243 }
244 return CanAssumeClassIsLoaded(klass);
245}
246
247inline bool CompilerDriver::CanReferrerAssumeClassIsInitialized(mirror::Class* referrer_class,
248 mirror::Class* klass) {
Nicolas Geoffrayb783b402015-06-22 11:06:43 +0100249 return (referrer_class != nullptr
250 && !referrer_class->IsInterface()
251 && referrer_class->IsSubClass(klass))
252 || CanAssumeClassIsInitialized(klass);
Vladimir Marko07785bb2015-06-15 18:52:54 +0100253}
254
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100255inline bool CompilerDriver::IsStaticFieldsClassInitialized(mirror::Class* referrer_class,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700256 ArtField* resolved_field) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100257 DCHECK(resolved_field->IsStatic());
258 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
Vladimir Marko07785bb2015-06-15 18:52:54 +0100259 return CanReferrerAssumeClassIsInitialized(referrer_class, fields_class);
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100260}
261
Mathieu Chartiere401d142015-04-22 13:56:20 -0700262inline ArtMethod* CompilerDriver::ResolveMethod(
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700263 ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
264 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800265 uint32_t method_idx, InvokeType invoke_type, bool check_incompatible_class_change) {
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700266 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800267 ArtMethod* resolved_method =
268 check_incompatible_class_change
269 ? mUnit->GetClassLinker()->ResolveMethod<ClassLinker::kForceICCECheck>(
270 *dex_cache->GetDexFile(), method_idx, dex_cache, class_loader, nullptr, invoke_type)
271 : mUnit->GetClassLinker()->ResolveMethod<ClassLinker::kNoICCECheckForCache>(
272 *dex_cache->GetDexFile(), method_idx, dex_cache, class_loader, nullptr, invoke_type);
Vladimir Markof096aad2014-01-23 15:51:58 +0000273 if (UNLIKELY(resolved_method == nullptr)) {
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800274 DCHECK(soa.Self()->IsExceptionPending());
Vladimir Markof096aad2014-01-23 15:51:58 +0000275 // Clean up any exception left by type resolution.
276 soa.Self()->ClearException();
Vladimir Markof096aad2014-01-23 15:51:58 +0000277 }
278 return resolved_method;
279}
280
281inline void CompilerDriver::GetResolvedMethodDexFileLocation(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700282 ArtMethod* resolved_method, const DexFile** declaring_dex_file,
Vladimir Markof096aad2014-01-23 15:51:58 +0000283 uint16_t* declaring_class_idx, uint16_t* declaring_method_idx) {
284 mirror::Class* declaring_class = resolved_method->GetDeclaringClass();
285 *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
286 *declaring_class_idx = declaring_class->GetDexTypeIndex();
287 *declaring_method_idx = resolved_method->GetDexMethodIndex();
288}
289
290inline uint16_t CompilerDriver::GetResolvedMethodVTableIndex(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700291 ArtMethod* resolved_method, InvokeType type) {
Vladimir Markof096aad2014-01-23 15:51:58 +0000292 if (type == kVirtual || type == kSuper) {
293 return resolved_method->GetMethodIndex();
294 } else if (type == kInterface) {
295 return resolved_method->GetDexMethodIndex();
296 } else {
297 return DexFile::kDexNoIndex16;
298 }
299}
300
301inline int CompilerDriver::IsFastInvoke(
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700302 ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
303 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700304 mirror::Class* referrer_class, ArtMethod* resolved_method, InvokeType* invoke_type,
Vladimir Markof096aad2014-01-23 15:51:58 +0000305 MethodReference* target_method, const MethodReference* devirt_target,
306 uintptr_t* direct_code, uintptr_t* direct_method) {
307 // Don't try to fast-path if we don't understand the caller's class.
Alex Lightfedd91d2016-01-07 14:49:16 -0800308 // Referrer_class is the class that this invoke is contained in.
Vladimir Markof096aad2014-01-23 15:51:58 +0000309 if (UNLIKELY(referrer_class == nullptr)) {
310 return 0;
311 }
Alex Lightfedd91d2016-01-07 14:49:16 -0800312 StackHandleScope<2> hs(soa.Self());
313 // Methods_class is the class refered to by the class_idx field of the methodId the method_idx is
314 // pointing to.
315 // For example in
316 // .class LABC;
317 // .super LDEF;
318 // .method hi()V
319 // ...
320 // invoke-super {p0}, LDEF;->hi()V
321 // ...
322 // .end method
323 // the referrer_class is 'ABC' and the methods_class is DEF. Note that the methods class is 'DEF'
324 // even if 'DEF' inherits the method from it's superclass.
325 Handle<mirror::Class> methods_class(hs.NewHandle(mUnit->GetClassLinker()->ResolveType(
326 *target_method->dex_file,
327 target_method->dex_file->GetMethodId(target_method->dex_method_index).class_idx_,
328 dex_cache,
329 class_loader)));
330 DCHECK(methods_class.Get() != nullptr);
331 mirror::Class* methods_declaring_class = resolved_method->GetDeclaringClass();
332 if (UNLIKELY(!referrer_class->CanAccessResolvedMethod(methods_declaring_class, resolved_method,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700333 dex_cache.Get(),
Vladimir Markof096aad2014-01-23 15:51:58 +0000334 target_method->dex_method_index))) {
335 return 0;
336 }
Vladimir Markof096aad2014-01-23 15:51:58 +0000337 // Sharpen a virtual call into a direct call when the target is known not to have been
338 // overridden (ie is final).
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800339 const bool same_dex_file = target_method->dex_file == mUnit->GetDexFile();
340 bool can_sharpen_virtual_based_on_type = same_dex_file &&
Alex Lightfedd91d2016-01-07 14:49:16 -0800341 (*invoke_type == kVirtual) && (resolved_method->IsFinal() ||
342 methods_declaring_class->IsFinal());
Vladimir Markof096aad2014-01-23 15:51:58 +0000343 // For invoke-super, ensure the vtable index will be correct to dispatch in the vtable of
344 // the super class.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700345 const size_t pointer_size = InstructionSetPointerSize(GetInstructionSet());
Alex Lightfedd91d2016-01-07 14:49:16 -0800346 // TODO We should be able to sharpen if we are going into the boot image as well.
347 bool can_sharpen_super_based_on_type = same_dex_file &&
348 (*invoke_type == kSuper) &&
349 !methods_class->IsInterface() &&
350 (referrer_class != methods_declaring_class) &&
351 referrer_class->IsSubClass(methods_declaring_class) &&
352 resolved_method->GetMethodIndex() < methods_declaring_class->GetVTableLength() &&
353 (methods_declaring_class->GetVTableEntry(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700354 resolved_method->GetMethodIndex(), pointer_size) == resolved_method) &&
Alex Light9139e002015-10-09 15:59:48 -0700355 resolved_method->IsInvokable();
Alex Lightfedd91d2016-01-07 14:49:16 -0800356 // TODO We should be able to sharpen if we are going into the boot image as well.
357 bool can_sharpen_interface_super_based_on_type = same_dex_file &&
358 (*invoke_type == kSuper) &&
359 methods_class->IsInterface() &&
360 methods_class->IsAssignableFrom(referrer_class) &&
361 resolved_method->IsInvokable();
Vladimir Markof096aad2014-01-23 15:51:58 +0000362
Alex Lightfedd91d2016-01-07 14:49:16 -0800363 if (can_sharpen_virtual_based_on_type ||
364 can_sharpen_super_based_on_type ||
365 can_sharpen_interface_super_based_on_type) {
Vladimir Markof096aad2014-01-23 15:51:58 +0000366 // Sharpen a virtual call into a direct call. The method_idx is into referrer's
367 // dex cache, check that this resolved method is where we expect it.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800368 CHECK_EQ(target_method->dex_file, mUnit->GetDexFile());
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700369 DCHECK_EQ(dex_cache.Get(), mUnit->GetClassLinker()->FindDexCache(
370 soa.Self(), *mUnit->GetDexFile(), false));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700371 CHECK_EQ(referrer_class->GetDexCache()->GetResolvedMethod(
372 target_method->dex_method_index, pointer_size),
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800373 resolved_method) << PrettyMethod(resolved_method);
Vladimir Markof096aad2014-01-23 15:51:58 +0000374 int stats_flags = kFlagMethodResolved;
Igor Murashkind6dee672014-10-16 18:36:16 -0700375 GetCodeAndMethodForDirectCall(/*out*/invoke_type,
376 kDirect, // Sharp type
377 false, // The dex cache is guaranteed to be available
378 referrer_class, resolved_method,
379 /*out*/&stats_flags,
380 target_method,
381 /*out*/direct_code,
382 /*out*/direct_method);
Vladimir Markof096aad2014-01-23 15:51:58 +0000383 DCHECK_NE(*invoke_type, kSuper) << PrettyMethod(resolved_method);
384 if (*invoke_type == kDirect) {
385 stats_flags |= kFlagsMethodResolvedVirtualMadeDirect;
386 }
387 return stats_flags;
388 }
389
390 if ((*invoke_type == kVirtual || *invoke_type == kInterface) && devirt_target != nullptr) {
391 // Post-verification callback recorded a more precise invoke target based on its type info.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700392 ArtMethod* called_method;
Vladimir Markof096aad2014-01-23 15:51:58 +0000393 ClassLinker* class_linker = mUnit->GetClassLinker();
394 if (LIKELY(devirt_target->dex_file == mUnit->GetDexFile())) {
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800395 called_method = class_linker->ResolveMethod<ClassLinker::kNoICCECheckForCache>(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700396 *devirt_target->dex_file, devirt_target->dex_method_index, dex_cache, class_loader,
397 nullptr, kVirtual);
Vladimir Markof096aad2014-01-23 15:51:58 +0000398 } else {
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700399 auto target_dex_cache(hs.NewHandle(class_linker->RegisterDexFile(
400 *devirt_target->dex_file,
401 class_linker->GetOrCreateAllocatorForClassLoader(class_loader.Get()))));
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800402 called_method = class_linker->ResolveMethod<ClassLinker::kNoICCECheckForCache>(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700403 *devirt_target->dex_file, devirt_target->dex_method_index, target_dex_cache,
404 class_loader, nullptr, kVirtual);
Vladimir Markof096aad2014-01-23 15:51:58 +0000405 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700406 CHECK(called_method != nullptr);
Alex Light9139e002015-10-09 15:59:48 -0700407 CHECK(called_method->IsInvokable());
Vladimir Markof096aad2014-01-23 15:51:58 +0000408 int stats_flags = kFlagMethodResolved;
Igor Murashkind6dee672014-10-16 18:36:16 -0700409 GetCodeAndMethodForDirectCall(/*out*/invoke_type,
410 kDirect, // Sharp type
411 true, // The dex cache may not be available
412 referrer_class, called_method,
413 /*out*/&stats_flags,
414 target_method,
415 /*out*/direct_code,
416 /*out*/direct_method);
Vladimir Markof096aad2014-01-23 15:51:58 +0000417 DCHECK_NE(*invoke_type, kSuper);
418 if (*invoke_type == kDirect) {
419 stats_flags |= kFlagsMethodResolvedPreciseTypeDevirtualization;
420 }
421 return stats_flags;
422 }
423
424 if (UNLIKELY(*invoke_type == kSuper)) {
425 // Unsharpened super calls are suspicious so go slow-path.
426 return 0;
427 }
428
429 // Sharpening failed so generate a regular resolved method dispatch.
430 int stats_flags = kFlagMethodResolved;
Igor Murashkind6dee672014-10-16 18:36:16 -0700431 GetCodeAndMethodForDirectCall(/*out*/invoke_type,
432 *invoke_type, // Sharp type
433 false, // The dex cache is guaranteed to be available
434 referrer_class, resolved_method,
435 /*out*/&stats_flags,
436 target_method,
437 /*out*/direct_code,
438 /*out*/direct_method);
Vladimir Markof096aad2014-01-23 15:51:58 +0000439 return stats_flags;
440}
441
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100442inline bool CompilerDriver::IsMethodsClassInitialized(mirror::Class* referrer_class,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700443 ArtMethod* resolved_method) {
Vladimir Marko9820b7c2014-01-02 16:40:37 +0000444 if (!resolved_method->IsStatic()) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100445 return true;
Vladimir Marko9820b7c2014-01-02 16:40:37 +0000446 }
447 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
Vladimir Marko07785bb2015-06-15 18:52:54 +0100448 return CanReferrerAssumeClassIsInitialized(referrer_class, methods_class);
Vladimir Marko9820b7c2014-01-02 16:40:37 +0000449}
450
Vladimir Markobe0e5462014-02-26 11:24:15 +0000451} // namespace art
452
453#endif // ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_