blob: 4b913f4255237003c078084abaafbae588b6f79a [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"
Andreas Gampe542451c2016-07-26 09:02:02 -070024#include "base/enums.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070025#include "class_linker-inl.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070026#include "dex_compilation_unit.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000027#include "mirror/class_loader.h"
Vladimir Markof096aad2014-01-23 15:51:58 +000028#include "mirror/dex_cache-inl.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000029#include "scoped_thread_state_change.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070030#include "handle_scope-inl.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000031
32namespace art {
33
34inline mirror::DexCache* CompilerDriver::GetDexCache(const DexCompilationUnit* mUnit) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -070035 return mUnit->GetClassLinker()->FindDexCache(Thread::Current(), *mUnit->GetDexFile(), false);
Vladimir Markobe0e5462014-02-26 11:24:15 +000036}
37
Mathieu Chartier736b5602015-09-02 14:54:11 -070038inline mirror::ClassLoader* CompilerDriver::GetClassLoader(const ScopedObjectAccess& soa,
Vladimir Markobe0e5462014-02-26 11:24:15 +000039 const DexCompilationUnit* mUnit) {
40 return soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader());
41}
42
Nicolas Geoffray9437b782015-03-25 10:08:51 +000043inline mirror::Class* CompilerDriver::ResolveClass(
44 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
45 Handle<mirror::ClassLoader> class_loader, uint16_t cls_index,
46 const DexCompilationUnit* mUnit) {
47 DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
48 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
49 mirror::Class* cls = mUnit->GetClassLinker()->ResolveType(
50 *mUnit->GetDexFile(), cls_index, dex_cache, class_loader);
51 DCHECK_EQ(cls == nullptr, soa.Self()->IsExceptionPending());
52 if (UNLIKELY(cls == nullptr)) {
53 // Clean up any exception left by type resolution.
54 soa.Self()->ClearException();
55 }
56 return cls;
57}
58
Vladimir Markobe0e5462014-02-26 11:24:15 +000059inline mirror::Class* CompilerDriver::ResolveCompilingMethodsClass(
Nicolas Geoffraye5038322014-07-04 09:41:32 +010060 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
Mathieu Chartier0cd81352014-05-22 16:48:55 -070061 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070062 DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
63 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
Vladimir Markobe0e5462014-02-26 11:24:15 +000064 const DexFile::MethodId& referrer_method_id =
65 mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex());
Nicolas Geoffray9437b782015-03-25 10:08:51 +000066 return ResolveClass(soa, dex_cache, class_loader, referrer_method_id.class_idx_, mUnit);
Vladimir Markobe0e5462014-02-26 11:24:15 +000067}
68
Mathieu Chartierc7853442015-03-27 14:35:38 -070069inline ArtField* CompilerDriver::ResolveFieldWithDexFile(
Nicolas Geoffraye5038322014-07-04 09:41:32 +010070 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080071 Handle<mirror::ClassLoader> class_loader, const DexFile* dex_file,
Vladimir Markobe0e5462014-02-26 11:24:15 +000072 uint32_t field_idx, bool is_static) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080073 DCHECK_EQ(dex_cache->GetDexFile(), dex_file);
Mathieu Chartierc7853442015-03-27 14:35:38 -070074 ArtField* resolved_field = Runtime::Current()->GetClassLinker()->ResolveField(
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080075 *dex_file, field_idx, dex_cache, class_loader, is_static);
Vladimir Markobe0e5462014-02-26 11:24:15 +000076 DCHECK_EQ(resolved_field == nullptr, soa.Self()->IsExceptionPending());
77 if (UNLIKELY(resolved_field == nullptr)) {
78 // Clean up any exception left by type resolution.
79 soa.Self()->ClearException();
80 return nullptr;
81 }
82 if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
83 // ClassLinker can return a field of the wrong kind directly from the DexCache.
Mathieu Chartier2cebb242015-04-21 16:50:40 -070084 // Silently return null on such incompatible class change.
Vladimir Markobe0e5462014-02-26 11:24:15 +000085 return nullptr;
86 }
87 return resolved_field;
88}
89
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080090inline mirror::DexCache* CompilerDriver::FindDexCache(const DexFile* dex_file) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -070091 return Runtime::Current()->GetClassLinker()->FindDexCache(Thread::Current(), *dex_file, false);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080092}
93
Mathieu Chartierc7853442015-03-27 14:35:38 -070094inline ArtField* CompilerDriver::ResolveField(
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080095 const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
96 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
97 uint32_t field_idx, bool is_static) {
98 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
99 return ResolveFieldWithDexFile(soa, dex_cache, class_loader, mUnit->GetDexFile(), field_idx,
100 is_static);
101}
102
Vladimir Markobe0e5462014-02-26 11:24:15 +0000103inline void CompilerDriver::GetResolvedFieldDexFileLocation(
Mathieu Chartierc7853442015-03-27 14:35:38 -0700104 ArtField* resolved_field, const DexFile** declaring_dex_file,
Vladimir Markobe0e5462014-02-26 11:24:15 +0000105 uint16_t* declaring_class_idx, uint16_t* declaring_field_idx) {
106 mirror::Class* declaring_class = resolved_field->GetDeclaringClass();
107 *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
108 *declaring_class_idx = declaring_class->GetDexTypeIndex();
109 *declaring_field_idx = resolved_field->GetDexFieldIndex();
110}
111
Mathieu Chartierc7853442015-03-27 14:35:38 -0700112inline bool CompilerDriver::IsFieldVolatile(ArtField* field) {
Vladimir Markobe0e5462014-02-26 11:24:15 +0000113 return field->IsVolatile();
114}
115
Mathieu Chartierc7853442015-03-27 14:35:38 -0700116inline MemberOffset CompilerDriver::GetFieldOffset(ArtField* field) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100117 return field->GetOffset();
118}
119
Vladimir Markobe0e5462014-02-26 11:24:15 +0000120inline std::pair<bool, bool> CompilerDriver::IsFastInstanceField(
121 mirror::DexCache* dex_cache, mirror::Class* referrer_class,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700122 ArtField* resolved_field, uint16_t field_idx) {
Vladimir Markobe0e5462014-02-26 11:24:15 +0000123 DCHECK(!resolved_field->IsStatic());
124 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
125 bool fast_get = referrer_class != nullptr &&
126 referrer_class->CanAccessResolvedField(fields_class, resolved_field,
127 dex_cache, field_idx);
128 bool fast_put = fast_get && (!resolved_field->IsFinal() || fields_class == referrer_class);
Vladimir Markobe0e5462014-02-26 11:24:15 +0000129 return std::make_pair(fast_get, fast_put);
130}
131
Roland Levillain4c0eb422015-04-24 16:43:49 +0100132template <typename ArtMember>
133inline bool CompilerDriver::CanAccessResolvedMember(mirror::Class* referrer_class ATTRIBUTE_UNUSED,
134 mirror::Class* access_to ATTRIBUTE_UNUSED,
135 ArtMember* member ATTRIBUTE_UNUSED,
136 mirror::DexCache* dex_cache ATTRIBUTE_UNUSED,
137 uint32_t field_idx ATTRIBUTE_UNUSED) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700138 // Not defined for ArtMember values other than ArtField or ArtMethod.
Roland Levillain4c0eb422015-04-24 16:43:49 +0100139 UNREACHABLE();
140}
141
142template <>
143inline bool CompilerDriver::CanAccessResolvedMember<ArtField>(mirror::Class* referrer_class,
144 mirror::Class* access_to,
145 ArtField* field,
146 mirror::DexCache* dex_cache,
147 uint32_t field_idx) {
148 return referrer_class->CanAccessResolvedField(access_to, field, dex_cache, field_idx);
149}
150
151template <>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700152inline bool CompilerDriver::CanAccessResolvedMember<ArtMethod>(
Roland Levillain4c0eb422015-04-24 16:43:49 +0100153 mirror::Class* referrer_class,
154 mirror::Class* access_to,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700155 ArtMethod* method,
Roland Levillain4c0eb422015-04-24 16:43:49 +0100156 mirror::DexCache* dex_cache,
157 uint32_t field_idx) {
158 return referrer_class->CanAccessResolvedMethod(access_to, method, dex_cache, field_idx);
159}
160
161template <typename ArtMember>
162inline std::pair<bool, bool> CompilerDriver::IsClassOfStaticMemberAvailableToReferrer(
163 mirror::DexCache* dex_cache,
164 mirror::Class* referrer_class,
165 ArtMember* resolved_member,
166 uint16_t member_idx,
167 uint32_t* storage_index) {
168 DCHECK(resolved_member->IsStatic());
Vladimir Markobe0e5462014-02-26 11:24:15 +0000169 if (LIKELY(referrer_class != nullptr)) {
Roland Levillain4c0eb422015-04-24 16:43:49 +0100170 mirror::Class* members_class = resolved_member->GetDeclaringClass();
171 if (members_class == referrer_class) {
172 *storage_index = members_class->GetDexTypeIndex();
Vladimir Markobe0e5462014-02-26 11:24:15 +0000173 return std::make_pair(true, true);
174 }
Roland Levillain4c0eb422015-04-24 16:43:49 +0100175 if (CanAccessResolvedMember<ArtMember>(
176 referrer_class, members_class, resolved_member, dex_cache, member_idx)) {
177 // We have the resolved member, we must make it into a index for the referrer
Vladimir Markobe0e5462014-02-26 11:24:15 +0000178 // in its static storage (which may fail if it doesn't have a slot for it)
179 // TODO: for images we can elide the static storage base null check
180 // if we know there's a non-null entry in the image
181 const DexFile* dex_file = dex_cache->GetDexFile();
182 uint32_t storage_idx = DexFile::kDexNoIndex;
Roland Levillain4c0eb422015-04-24 16:43:49 +0100183 if (LIKELY(members_class->GetDexCache() == dex_cache)) {
184 // common case where the dex cache of both the referrer and the member are the same,
Vladimir Markobe0e5462014-02-26 11:24:15 +0000185 // no need to search the dex file
Roland Levillain4c0eb422015-04-24 16:43:49 +0100186 storage_idx = members_class->GetDexTypeIndex();
Vladimir Markobe0e5462014-02-26 11:24:15 +0000187 } else {
Roland Levillain4c0eb422015-04-24 16:43:49 +0100188 // Search dex file for localized ssb index, may fail if member's class is a parent
Vladimir Markobe0e5462014-02-26 11:24:15 +0000189 // of the class mentioned in the dex file and there is no dex cache entry.
Nicolas Geoffraye4084a52016-02-18 14:43:42 +0000190 storage_idx = resolved_member->GetDeclaringClass()->FindTypeIndexInOtherDexFile(*dex_file);
Vladimir Markobe0e5462014-02-26 11:24:15 +0000191 }
192 if (storage_idx != DexFile::kDexNoIndex) {
Vladimir Markobe0e5462014-02-26 11:24:15 +0000193 *storage_index = storage_idx;
Roland Levillain4c0eb422015-04-24 16:43:49 +0100194 return std::make_pair(true, !resolved_member->IsFinal());
Vladimir Markobe0e5462014-02-26 11:24:15 +0000195 }
196 }
197 }
198 // Conservative defaults.
Vladimir Markobe0e5462014-02-26 11:24:15 +0000199 *storage_index = DexFile::kDexNoIndex;
Vladimir Markobe0e5462014-02-26 11:24:15 +0000200 return std::make_pair(false, false);
201}
202
Roland Levillain4c0eb422015-04-24 16:43:49 +0100203inline std::pair<bool, bool> CompilerDriver::IsFastStaticField(
204 mirror::DexCache* dex_cache, mirror::Class* referrer_class,
205 ArtField* resolved_field, uint16_t field_idx, uint32_t* storage_index) {
206 return IsClassOfStaticMemberAvailableToReferrer(
207 dex_cache, referrer_class, resolved_field, field_idx, storage_index);
208}
209
210inline bool CompilerDriver::IsClassOfStaticMethodAvailableToReferrer(
211 mirror::DexCache* dex_cache, mirror::Class* referrer_class,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700212 ArtMethod* resolved_method, uint16_t method_idx, uint32_t* storage_index) {
Roland Levillain4c0eb422015-04-24 16:43:49 +0100213 std::pair<bool, bool> result = IsClassOfStaticMemberAvailableToReferrer(
214 dex_cache, referrer_class, resolved_method, method_idx, storage_index);
215 // Only the first member of `result` is meaningful, as there is no
216 // "write access" to a method.
217 return result.first;
218}
219
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100220inline bool CompilerDriver::IsStaticFieldInReferrerClass(mirror::Class* referrer_class,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700221 ArtField* resolved_field) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100222 DCHECK(resolved_field->IsStatic());
223 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
224 return referrer_class == fields_class;
225}
226
Vladimir Marko07785bb2015-06-15 18:52:54 +0100227inline bool CompilerDriver::CanAssumeClassIsInitialized(mirror::Class* klass) {
228 // Being loaded is a pre-requisite for being initialized but let's do the cheap check first.
229 //
230 // NOTE: When AOT compiling an app, we eagerly initialize app classes (and potentially their
231 // super classes in the boot image) but only those that have a trivial initialization, i.e.
232 // without <clinit>() or static values in the dex file for that class or any of its super
233 // classes. So while we could see the klass as initialized during AOT compilation and have
234 // it only loaded at runtime, the needed initialization would have to be trivial and
235 // unobservable from Java, so we may as well treat it as initialized.
236 if (!klass->IsInitialized()) {
237 return false;
238 }
239 return CanAssumeClassIsLoaded(klass);
240}
241
242inline bool CompilerDriver::CanReferrerAssumeClassIsInitialized(mirror::Class* referrer_class,
243 mirror::Class* klass) {
Nicolas Geoffrayb783b402015-06-22 11:06:43 +0100244 return (referrer_class != nullptr
245 && !referrer_class->IsInterface()
246 && referrer_class->IsSubClass(klass))
247 || CanAssumeClassIsInitialized(klass);
Vladimir Marko07785bb2015-06-15 18:52:54 +0100248}
249
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100250inline bool CompilerDriver::IsStaticFieldsClassInitialized(mirror::Class* referrer_class,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700251 ArtField* resolved_field) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100252 DCHECK(resolved_field->IsStatic());
253 mirror::Class* fields_class = resolved_field->GetDeclaringClass();
Vladimir Marko07785bb2015-06-15 18:52:54 +0100254 return CanReferrerAssumeClassIsInitialized(referrer_class, fields_class);
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100255}
256
Mathieu Chartiere401d142015-04-22 13:56:20 -0700257inline ArtMethod* CompilerDriver::ResolveMethod(
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700258 ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
259 Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800260 uint32_t method_idx, InvokeType invoke_type, bool check_incompatible_class_change) {
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700261 DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800262 ArtMethod* resolved_method =
263 check_incompatible_class_change
264 ? mUnit->GetClassLinker()->ResolveMethod<ClassLinker::kForceICCECheck>(
265 *dex_cache->GetDexFile(), method_idx, dex_cache, class_loader, nullptr, invoke_type)
266 : mUnit->GetClassLinker()->ResolveMethod<ClassLinker::kNoICCECheckForCache>(
267 *dex_cache->GetDexFile(), method_idx, dex_cache, class_loader, nullptr, invoke_type);
Vladimir Markof096aad2014-01-23 15:51:58 +0000268 if (UNLIKELY(resolved_method == nullptr)) {
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800269 DCHECK(soa.Self()->IsExceptionPending());
Vladimir Markof096aad2014-01-23 15:51:58 +0000270 // Clean up any exception left by type resolution.
271 soa.Self()->ClearException();
Vladimir Markof096aad2014-01-23 15:51:58 +0000272 }
273 return resolved_method;
274}
275
276inline void CompilerDriver::GetResolvedMethodDexFileLocation(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700277 ArtMethod* resolved_method, const DexFile** declaring_dex_file,
Vladimir Markof096aad2014-01-23 15:51:58 +0000278 uint16_t* declaring_class_idx, uint16_t* declaring_method_idx) {
279 mirror::Class* declaring_class = resolved_method->GetDeclaringClass();
280 *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
281 *declaring_class_idx = declaring_class->GetDexTypeIndex();
282 *declaring_method_idx = resolved_method->GetDexMethodIndex();
283}
284
285inline uint16_t CompilerDriver::GetResolvedMethodVTableIndex(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700286 ArtMethod* resolved_method, InvokeType type) {
Vladimir Markof096aad2014-01-23 15:51:58 +0000287 if (type == kVirtual || type == kSuper) {
288 return resolved_method->GetMethodIndex();
289 } else if (type == kInterface) {
290 return resolved_method->GetDexMethodIndex();
291 } else {
292 return DexFile::kDexNoIndex16;
293 }
294}
295
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100296inline bool CompilerDriver::IsMethodsClassInitialized(mirror::Class* referrer_class,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700297 ArtMethod* resolved_method) {
Vladimir Marko9820b7c2014-01-02 16:40:37 +0000298 if (!resolved_method->IsStatic()) {
Vladimir Marko66c6d7b2014-10-16 15:41:48 +0100299 return true;
Vladimir Marko9820b7c2014-01-02 16:40:37 +0000300 }
301 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
Vladimir Marko07785bb2015-06-15 18:52:54 +0100302 return CanReferrerAssumeClassIsInitialized(referrer_class, methods_class);
Vladimir Marko9820b7c2014-01-02 16:40:37 +0000303}
304
Vladimir Markobe0e5462014-02-26 11:24:15 +0000305} // namespace art
306
307#endif // ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_