blob: fc22addbf144dbe3327db378441f48008dc17406 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
2 * Copyright (C) 2011 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#include "compiler_driver.h"
18
Anwar Ghuloum67f99412013-08-12 14:19:48 -070019#define ATRACE_TAG ATRACE_TAG_DALVIK
20#include <utils/Trace.h>
Brian Carlstrom7940e442013-07-12 13:46:57 -070021
Anwar Ghuloum67f99412013-08-12 14:19:48 -070022#include <vector>
Brian Carlstrom7940e442013-07-12 13:46:57 -070023#include <unistd.h>
24
25#include "base/stl_util.h"
26#include "base/timing_logger.h"
27#include "class_linker.h"
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +000028#include "compiler_backend.h"
Vladimir Markobe0e5462014-02-26 11:24:15 +000029#include "compiler_driver-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070030#include "dex_compilation_unit.h"
31#include "dex_file-inl.h"
Vladimir Markoc7f83202014-01-24 17:55:18 +000032#include "dex/verification_results.h"
Vladimir Marko2730db02014-01-27 11:15:17 +000033#include "dex/verified_method.h"
Vladimir Marko2bc47802014-02-10 09:43:07 +000034#include "dex/quick/dex_file_method_inliner.h"
Mark Mendellae9fd932014-02-10 16:14:35 -080035#include "driver/compiler_options.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070036#include "jni_internal.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070037#include "object_utils.h"
38#include "runtime.h"
39#include "gc/accounting/card_table-inl.h"
40#include "gc/accounting/heap_bitmap.h"
41#include "gc/space/space.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070042#include "mirror/art_field-inl.h"
43#include "mirror/art_method-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070044#include "mirror/class_loader.h"
45#include "mirror/class-inl.h"
46#include "mirror/dex_cache-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070047#include "mirror/object-inl.h"
48#include "mirror/object_array-inl.h"
49#include "mirror/throwable.h"
50#include "scoped_thread_state_change.h"
51#include "ScopedLocalRef.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070052#include "thread.h"
53#include "thread_pool.h"
Ian Rogers848871b2013-08-05 10:56:33 -070054#include "trampolines/trampoline_compiler.h"
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010055#include "transaction.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070056#include "verifier/method_verifier.h"
Vladimir Marko2bc47802014-02-10 09:43:07 +000057#include "verifier/method_verifier-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070058
Brian Carlstrom7940e442013-07-12 13:46:57 -070059namespace art {
60
61static double Percentage(size_t x, size_t y) {
62 return 100.0 * (static_cast<double>(x)) / (static_cast<double>(x + y));
63}
64
65static void DumpStat(size_t x, size_t y, const char* str) {
66 if (x == 0 && y == 0) {
67 return;
68 }
Ian Rogerse732ef12013-10-09 15:22:24 -070069 LOG(INFO) << Percentage(x, y) << "% of " << str << " for " << (x + y) << " cases";
Brian Carlstrom7940e442013-07-12 13:46:57 -070070}
71
72class AOTCompilationStats {
73 public:
74 AOTCompilationStats()
75 : stats_lock_("AOT compilation statistics lock"),
76 types_in_dex_cache_(0), types_not_in_dex_cache_(0),
77 strings_in_dex_cache_(0), strings_not_in_dex_cache_(0),
78 resolved_types_(0), unresolved_types_(0),
79 resolved_instance_fields_(0), unresolved_instance_fields_(0),
80 resolved_local_static_fields_(0), resolved_static_fields_(0), unresolved_static_fields_(0),
81 type_based_devirtualization_(0),
82 safe_casts_(0), not_safe_casts_(0) {
83 for (size_t i = 0; i <= kMaxInvokeType; i++) {
84 resolved_methods_[i] = 0;
85 unresolved_methods_[i] = 0;
86 virtual_made_direct_[i] = 0;
87 direct_calls_to_boot_[i] = 0;
88 direct_methods_to_boot_[i] = 0;
89 }
90 }
91
92 void Dump() {
93 DumpStat(types_in_dex_cache_, types_not_in_dex_cache_, "types known to be in dex cache");
94 DumpStat(strings_in_dex_cache_, strings_not_in_dex_cache_, "strings known to be in dex cache");
95 DumpStat(resolved_types_, unresolved_types_, "types resolved");
96 DumpStat(resolved_instance_fields_, unresolved_instance_fields_, "instance fields resolved");
97 DumpStat(resolved_local_static_fields_ + resolved_static_fields_, unresolved_static_fields_,
98 "static fields resolved");
99 DumpStat(resolved_local_static_fields_, resolved_static_fields_ + unresolved_static_fields_,
100 "static fields local to a class");
101 DumpStat(safe_casts_, not_safe_casts_, "check-casts removed based on type information");
102 // Note, the code below subtracts the stat value so that when added to the stat value we have
103 // 100% of samples. TODO: clean this up.
104 DumpStat(type_based_devirtualization_,
105 resolved_methods_[kVirtual] + unresolved_methods_[kVirtual] +
106 resolved_methods_[kInterface] + unresolved_methods_[kInterface] -
107 type_based_devirtualization_,
108 "virtual/interface calls made direct based on type information");
109
110 for (size_t i = 0; i <= kMaxInvokeType; i++) {
111 std::ostringstream oss;
112 oss << static_cast<InvokeType>(i) << " methods were AOT resolved";
113 DumpStat(resolved_methods_[i], unresolved_methods_[i], oss.str().c_str());
114 if (virtual_made_direct_[i] > 0) {
115 std::ostringstream oss2;
116 oss2 << static_cast<InvokeType>(i) << " methods made direct";
117 DumpStat(virtual_made_direct_[i],
118 resolved_methods_[i] + unresolved_methods_[i] - virtual_made_direct_[i],
119 oss2.str().c_str());
120 }
121 if (direct_calls_to_boot_[i] > 0) {
122 std::ostringstream oss2;
123 oss2 << static_cast<InvokeType>(i) << " method calls are direct into boot";
124 DumpStat(direct_calls_to_boot_[i],
125 resolved_methods_[i] + unresolved_methods_[i] - direct_calls_to_boot_[i],
126 oss2.str().c_str());
127 }
128 if (direct_methods_to_boot_[i] > 0) {
129 std::ostringstream oss2;
130 oss2 << static_cast<InvokeType>(i) << " method calls have methods in boot";
131 DumpStat(direct_methods_to_boot_[i],
132 resolved_methods_[i] + unresolved_methods_[i] - direct_methods_to_boot_[i],
133 oss2.str().c_str());
134 }
135 }
136 }
137
138// Allow lossy statistics in non-debug builds.
139#ifndef NDEBUG
140#define STATS_LOCK() MutexLock mu(Thread::Current(), stats_lock_)
141#else
142#define STATS_LOCK()
143#endif
144
145 void TypeInDexCache() {
146 STATS_LOCK();
147 types_in_dex_cache_++;
148 }
149
150 void TypeNotInDexCache() {
151 STATS_LOCK();
152 types_not_in_dex_cache_++;
153 }
154
155 void StringInDexCache() {
156 STATS_LOCK();
157 strings_in_dex_cache_++;
158 }
159
160 void StringNotInDexCache() {
161 STATS_LOCK();
162 strings_not_in_dex_cache_++;
163 }
164
165 void TypeDoesntNeedAccessCheck() {
166 STATS_LOCK();
167 resolved_types_++;
168 }
169
170 void TypeNeedsAccessCheck() {
171 STATS_LOCK();
172 unresolved_types_++;
173 }
174
175 void ResolvedInstanceField() {
176 STATS_LOCK();
177 resolved_instance_fields_++;
178 }
179
180 void UnresolvedInstanceField() {
181 STATS_LOCK();
182 unresolved_instance_fields_++;
183 }
184
185 void ResolvedLocalStaticField() {
186 STATS_LOCK();
187 resolved_local_static_fields_++;
188 }
189
190 void ResolvedStaticField() {
191 STATS_LOCK();
192 resolved_static_fields_++;
193 }
194
195 void UnresolvedStaticField() {
196 STATS_LOCK();
197 unresolved_static_fields_++;
198 }
199
200 // Indicate that type information from the verifier led to devirtualization.
201 void PreciseTypeDevirtualization() {
202 STATS_LOCK();
203 type_based_devirtualization_++;
204 }
205
206 // Indicate that a method of the given type was resolved at compile time.
207 void ResolvedMethod(InvokeType type) {
208 DCHECK_LE(type, kMaxInvokeType);
209 STATS_LOCK();
210 resolved_methods_[type]++;
211 }
212
213 // Indicate that a method of the given type was unresolved at compile time as it was in an
214 // unknown dex file.
215 void UnresolvedMethod(InvokeType type) {
216 DCHECK_LE(type, kMaxInvokeType);
217 STATS_LOCK();
218 unresolved_methods_[type]++;
219 }
220
221 // Indicate that a type of virtual method dispatch has been converted into a direct method
222 // dispatch.
223 void VirtualMadeDirect(InvokeType type) {
224 DCHECK(type == kVirtual || type == kInterface || type == kSuper);
225 STATS_LOCK();
226 virtual_made_direct_[type]++;
227 }
228
229 // Indicate that a method of the given type was able to call directly into boot.
230 void DirectCallsToBoot(InvokeType type) {
231 DCHECK_LE(type, kMaxInvokeType);
232 STATS_LOCK();
233 direct_calls_to_boot_[type]++;
234 }
235
236 // Indicate that a method of the given type was able to be resolved directly from boot.
237 void DirectMethodsToBoot(InvokeType type) {
238 DCHECK_LE(type, kMaxInvokeType);
239 STATS_LOCK();
240 direct_methods_to_boot_[type]++;
241 }
242
243 // A check-cast could be eliminated due to verifier type analysis.
244 void SafeCast() {
245 STATS_LOCK();
246 safe_casts_++;
247 }
248
249 // A check-cast couldn't be eliminated due to verifier type analysis.
250 void NotASafeCast() {
251 STATS_LOCK();
252 not_safe_casts_++;
253 }
254
255 private:
256 Mutex stats_lock_;
257
258 size_t types_in_dex_cache_;
259 size_t types_not_in_dex_cache_;
260
261 size_t strings_in_dex_cache_;
262 size_t strings_not_in_dex_cache_;
263
264 size_t resolved_types_;
265 size_t unresolved_types_;
266
267 size_t resolved_instance_fields_;
268 size_t unresolved_instance_fields_;
269
270 size_t resolved_local_static_fields_;
271 size_t resolved_static_fields_;
272 size_t unresolved_static_fields_;
273 // Type based devirtualization for invoke interface and virtual.
274 size_t type_based_devirtualization_;
275
276 size_t resolved_methods_[kMaxInvokeType + 1];
277 size_t unresolved_methods_[kMaxInvokeType + 1];
278 size_t virtual_made_direct_[kMaxInvokeType + 1];
279 size_t direct_calls_to_boot_[kMaxInvokeType + 1];
280 size_t direct_methods_to_boot_[kMaxInvokeType + 1];
281
282 size_t safe_casts_;
283 size_t not_safe_casts_;
284
285 DISALLOW_COPY_AND_ASSIGN(AOTCompilationStats);
286};
287
Brian Carlstrom7940e442013-07-12 13:46:57 -0700288
289extern "C" art::CompiledMethod* ArtCompileDEX(art::CompilerDriver& compiler,
290 const art::DexFile::CodeItem* code_item,
291 uint32_t access_flags,
292 art::InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700293 uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700294 uint32_t method_idx,
295 jobject class_loader,
296 const art::DexFile& dex_file);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700297
Brian Carlstrom6449c622014-02-10 23:48:36 -0800298CompilerDriver::CompilerDriver(const CompilerOptions* compiler_options,
299 VerificationResults* verification_results,
Vladimir Marko5816ed42013-11-27 17:04:20 +0000300 DexFileToMethodInlinerMap* method_inliner_map,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000301 CompilerBackend::Kind compiler_backend_kind,
302 InstructionSet instruction_set,
Dave Allison70202782013-10-22 17:52:19 -0700303 InstructionSetFeatures instruction_set_features,
buzbeea024a062013-07-31 10:47:37 -0700304 bool image, DescriptorSet* image_classes, size_t thread_count,
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000305 bool dump_stats, bool dump_passes, CumulativeLogger* timer)
Brian Carlstrom6449c622014-02-10 23:48:36 -0800306 : compiler_options_(compiler_options),
307 verification_results_(verification_results),
Vladimir Marko5816ed42013-11-27 17:04:20 +0000308 method_inliner_map_(method_inliner_map),
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000309 compiler_backend_(CompilerBackend::Create(compiler_backend_kind)),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700310 instruction_set_(instruction_set),
Dave Allison70202782013-10-22 17:52:19 -0700311 instruction_set_features_(instruction_set_features),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700312 freezing_constructor_lock_("freezing constructor lock"),
313 compiled_classes_lock_("compiled classes lock"),
314 compiled_methods_lock_("compiled method lock"),
315 image_(image),
316 image_classes_(image_classes),
317 thread_count_(thread_count),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700318 start_ns_(0),
319 stats_(new AOTCompilationStats),
320 dump_stats_(dump_stats),
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000321 dump_passes_(dump_passes),
322 timings_logger_(timer),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700323 compiler_library_(NULL),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700324 compiler_context_(NULL),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700325 compiler_enable_auto_elf_loading_(NULL),
326 compiler_get_method_code_addr_(NULL),
Mark Mendell55d0eac2014-02-06 11:02:52 -0800327 support_boot_image_fixup_(instruction_set != kMips),
Mark Mendellae9fd932014-02-10 16:14:35 -0800328 cfi_info_(nullptr),
Ian Rogersd133b972013-09-05 11:01:30 -0700329 dedupe_code_("dedupe code"),
330 dedupe_mapping_table_("dedupe mapping table"),
331 dedupe_vmap_table_("dedupe vmap table"),
Mark Mendellae9fd932014-02-10 16:14:35 -0800332 dedupe_gc_map_("dedupe gc map"),
333 dedupe_cfi_info_("dedupe cfi info") {
Brian Carlstrom6449c622014-02-10 23:48:36 -0800334 DCHECK(compiler_options_ != nullptr);
335 DCHECK(verification_results_ != nullptr);
336 DCHECK(method_inliner_map_ != nullptr);
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700337
Brian Carlstrom7940e442013-07-12 13:46:57 -0700338 CHECK_PTHREAD_CALL(pthread_key_create, (&tls_key_, NULL), "compiler tls key");
339
Sebastien Hertz75021222013-07-16 18:34:50 +0200340 dex_to_dex_compiler_ = reinterpret_cast<DexToDexCompilerFn>(ArtCompileDEX);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700341
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000342 compiler_backend_->Init(*this);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700343
344 CHECK(!Runtime::Current()->IsStarted());
345 if (!image_) {
346 CHECK(image_classes_.get() == NULL);
347 }
Mark Mendellae9fd932014-02-10 16:14:35 -0800348
349 // Are we generating CFI information?
350 if (compiler_options->GetGenerateGDBInformation()) {
351 cfi_info_.reset(compiler_backend_->GetCallFrameInformationInitialization(*this));
352 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700353}
354
Mathieu Chartier193bad92013-08-29 18:46:00 -0700355std::vector<uint8_t>* CompilerDriver::DeduplicateCode(const std::vector<uint8_t>& code) {
356 return dedupe_code_.Add(Thread::Current(), code);
357}
358
359std::vector<uint8_t>* CompilerDriver::DeduplicateMappingTable(const std::vector<uint8_t>& code) {
360 return dedupe_mapping_table_.Add(Thread::Current(), code);
361}
362
363std::vector<uint8_t>* CompilerDriver::DeduplicateVMapTable(const std::vector<uint8_t>& code) {
364 return dedupe_vmap_table_.Add(Thread::Current(), code);
365}
366
367std::vector<uint8_t>* CompilerDriver::DeduplicateGCMap(const std::vector<uint8_t>& code) {
368 return dedupe_gc_map_.Add(Thread::Current(), code);
369}
370
Mark Mendellae9fd932014-02-10 16:14:35 -0800371std::vector<uint8_t>* CompilerDriver::DeduplicateCFIInfo(const std::vector<uint8_t>* cfi_info) {
372 if (cfi_info == nullptr) {
373 return nullptr;
374 }
375 return dedupe_cfi_info_.Add(Thread::Current(), *cfi_info);
376}
377
Brian Carlstrom7940e442013-07-12 13:46:57 -0700378CompilerDriver::~CompilerDriver() {
379 Thread* self = Thread::Current();
380 {
381 MutexLock mu(self, compiled_classes_lock_);
382 STLDeleteValues(&compiled_classes_);
383 }
384 {
385 MutexLock mu(self, compiled_methods_lock_);
386 STLDeleteValues(&compiled_methods_);
387 }
388 {
389 MutexLock mu(self, compiled_methods_lock_);
390 STLDeleteElements(&code_to_patch_);
391 }
392 {
393 MutexLock mu(self, compiled_methods_lock_);
394 STLDeleteElements(&methods_to_patch_);
395 }
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800396 {
397 MutexLock mu(self, compiled_methods_lock_);
398 STLDeleteElements(&classes_to_patch_);
399 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700400 CHECK_PTHREAD_CALL(pthread_key_delete, (tls_key_), "delete tls key");
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000401 compiler_backend_->UnInit(*this);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700402}
403
404CompilerTls* CompilerDriver::GetTls() {
405 // Lazily create thread-local storage
406 CompilerTls* res = static_cast<CompilerTls*>(pthread_getspecific(tls_key_));
407 if (res == NULL) {
408 res = new CompilerTls();
409 CHECK_PTHREAD_CALL(pthread_setspecific, (tls_key_, res), "compiler tls");
410 }
411 return res;
412}
413
Ian Rogers848871b2013-08-05 10:56:33 -0700414const std::vector<uint8_t>* CompilerDriver::CreateInterpreterToInterpreterBridge() const {
415 return CreateTrampoline(instruction_set_, kInterpreterAbi,
416 INTERPRETER_ENTRYPOINT_OFFSET(pInterpreterToInterpreterBridge));
417}
418
419const std::vector<uint8_t>* CompilerDriver::CreateInterpreterToCompiledCodeBridge() const {
420 return CreateTrampoline(instruction_set_, kInterpreterAbi,
421 INTERPRETER_ENTRYPOINT_OFFSET(pInterpreterToCompiledCodeBridge));
422}
423
424const std::vector<uint8_t>* CompilerDriver::CreateJniDlsymLookup() const {
425 return CreateTrampoline(instruction_set_, kJniAbi, JNI_ENTRYPOINT_OFFSET(pDlsymLookup));
426}
427
Jeff Hao88474b42013-10-23 16:24:40 -0700428const std::vector<uint8_t>* CompilerDriver::CreatePortableImtConflictTrampoline() const {
429 return CreateTrampoline(instruction_set_, kPortableAbi,
430 PORTABLE_ENTRYPOINT_OFFSET(pPortableImtConflictTrampoline));
431}
432
Brian Carlstrom7940e442013-07-12 13:46:57 -0700433const std::vector<uint8_t>* CompilerDriver::CreatePortableResolutionTrampoline() const {
Ian Rogers848871b2013-08-05 10:56:33 -0700434 return CreateTrampoline(instruction_set_, kPortableAbi,
435 PORTABLE_ENTRYPOINT_OFFSET(pPortableResolutionTrampoline));
436}
437
438const std::vector<uint8_t>* CompilerDriver::CreatePortableToInterpreterBridge() const {
439 return CreateTrampoline(instruction_set_, kPortableAbi,
440 PORTABLE_ENTRYPOINT_OFFSET(pPortableToInterpreterBridge));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700441}
442
Andreas Gampe2da88232014-02-27 12:26:20 -0800443const std::vector<uint8_t>* CompilerDriver::CreateQuickGenericJniTrampoline() const {
444 return CreateTrampoline(instruction_set_, kQuickAbi,
445 QUICK_ENTRYPOINT_OFFSET(pQuickGenericJniTrampoline));
446}
447
Jeff Hao88474b42013-10-23 16:24:40 -0700448const std::vector<uint8_t>* CompilerDriver::CreateQuickImtConflictTrampoline() const {
449 return CreateTrampoline(instruction_set_, kQuickAbi,
450 QUICK_ENTRYPOINT_OFFSET(pQuickImtConflictTrampoline));
451}
452
Brian Carlstrom7940e442013-07-12 13:46:57 -0700453const std::vector<uint8_t>* CompilerDriver::CreateQuickResolutionTrampoline() const {
Ian Rogers848871b2013-08-05 10:56:33 -0700454 return CreateTrampoline(instruction_set_, kQuickAbi,
455 QUICK_ENTRYPOINT_OFFSET(pQuickResolutionTrampoline));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700456}
457
Ian Rogers848871b2013-08-05 10:56:33 -0700458const std::vector<uint8_t>* CompilerDriver::CreateQuickToInterpreterBridge() const {
459 return CreateTrampoline(instruction_set_, kQuickAbi,
460 QUICK_ENTRYPOINT_OFFSET(pQuickToInterpreterBridge));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700461}
462
463void CompilerDriver::CompileAll(jobject class_loader,
Brian Carlstrom45602482013-07-21 22:07:55 -0700464 const std::vector<const DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -0800465 TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700466 DCHECK(!Runtime::Current()->IsStarted());
Mathieu Chartierbcd5e9d2013-11-13 14:33:28 -0800467 UniquePtr<ThreadPool> thread_pool(new ThreadPool("Compiler driver thread pool", thread_count_ - 1));
Ian Rogers3d504072014-03-01 09:16:49 -0800468 PreCompile(class_loader, dex_files, thread_pool.get(), timings);
469 Compile(class_loader, dex_files, thread_pool.get(), timings);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700470 if (dump_stats_) {
471 stats_->Dump();
472 }
473}
474
Mathieu Chartier590fee92013-09-13 13:46:47 -0700475static DexToDexCompilationLevel GetDexToDexCompilationlevel(
Ian Rogers98379392014-02-24 16:53:16 -0800476 Thread* self, SirtRef<mirror::ClassLoader>& class_loader, const DexFile& dex_file,
Mathieu Chartier590fee92013-09-13 13:46:47 -0700477 const DexFile::ClassDef& class_def) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700478 const char* descriptor = dex_file.GetClassDescriptor(class_def);
479 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers98379392014-02-24 16:53:16 -0800480 mirror::Class* klass = class_linker->FindClass(self, descriptor, class_loader);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700481 if (klass == NULL) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700482 CHECK(self->IsExceptionPending());
483 self->ClearException();
Sebastien Hertz75021222013-07-16 18:34:50 +0200484 return kDontDexToDexCompile;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700485 }
Sebastien Hertz75021222013-07-16 18:34:50 +0200486 // The verifier can only run on "quick" instructions at runtime (see usage of
487 // FindAccessedFieldAtDexPc and FindInvokedMethodAtDexPc in ThrowNullPointerExceptionFromDexPC
488 // function). Since image classes can be verified again while compiling an application,
489 // we must prevent the DEX-to-DEX compiler from introducing them.
490 // TODO: find a way to enable "quick" instructions for image classes and remove this check.
Mathieu Chartier590fee92013-09-13 13:46:47 -0700491 bool compiling_image_classes = class_loader.get() == nullptr;
Sebastien Hertz75021222013-07-16 18:34:50 +0200492 if (compiling_image_classes) {
493 return kRequired;
494 } else if (klass->IsVerified()) {
495 // Class is verified so we can enable DEX-to-DEX compilation for performance.
496 return kOptimize;
497 } else if (klass->IsCompileTimeVerified()) {
498 // Class verification has soft-failed. Anyway, ensure at least correctness.
499 DCHECK_EQ(klass->GetStatus(), mirror::Class::kStatusRetryVerificationAtRuntime);
500 return kRequired;
501 } else {
502 // Class verification has failed: do not run DEX-to-DEX compilation.
503 return kDontDexToDexCompile;
504 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700505}
506
Ian Rogers3d504072014-03-01 09:16:49 -0800507void CompilerDriver::CompileOne(mirror::ArtMethod* method, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700508 DCHECK(!Runtime::Current()->IsStarted());
509 Thread* self = Thread::Current();
510 jobject jclass_loader;
511 const DexFile* dex_file;
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700512 uint16_t class_def_idx;
Ian Rogersef7d42f2014-01-06 12:55:46 -0800513 uint32_t method_idx = method->GetDexMethodIndex();
514 uint32_t access_flags = method->GetAccessFlags();
515 InvokeType invoke_type = method->GetInvokeType();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700516 {
517 ScopedObjectAccessUnchecked soa(self);
518 ScopedLocalRef<jobject>
519 local_class_loader(soa.Env(),
520 soa.AddLocalReference<jobject>(method->GetDeclaringClass()->GetClassLoader()));
521 jclass_loader = soa.Env()->NewGlobalRef(local_class_loader.get());
522 // Find the dex_file
523 MethodHelper mh(method);
524 dex_file = &mh.GetDexFile();
525 class_def_idx = mh.GetClassDefIndex();
526 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800527 const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700528 self->TransitionFromRunnableToSuspended(kNative);
529
530 std::vector<const DexFile*> dex_files;
531 dex_files.push_back(dex_file);
532
Mathieu Chartierbcd5e9d2013-11-13 14:33:28 -0800533 UniquePtr<ThreadPool> thread_pool(new ThreadPool("Compiler driver thread pool", 0U));
Ian Rogers3d504072014-03-01 09:16:49 -0800534 PreCompile(jclass_loader, dex_files, thread_pool.get(), timings);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700535
Brian Carlstrom7940e442013-07-12 13:46:57 -0700536 // Can we run DEX-to-DEX compiler on this class ?
Sebastien Hertz75021222013-07-16 18:34:50 +0200537 DexToDexCompilationLevel dex_to_dex_compilation_level = kDontDexToDexCompile;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700538 {
539 ScopedObjectAccess soa(Thread::Current());
540 const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_idx);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700541 SirtRef<mirror::ClassLoader> class_loader(soa.Self(),
542 soa.Decode<mirror::ClassLoader*>(jclass_loader));
Ian Rogers98379392014-02-24 16:53:16 -0800543 dex_to_dex_compilation_level = GetDexToDexCompilationlevel(self, class_loader, *dex_file,
544 class_def);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700545 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800546 CompileMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx, jclass_loader,
547 *dex_file, dex_to_dex_compilation_level);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700548
549 self->GetJniEnv()->DeleteGlobalRef(jclass_loader);
550
551 self->TransitionFromSuspendedToRunnable();
552}
553
554void CompilerDriver::Resolve(jobject class_loader, const std::vector<const DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -0800555 ThreadPool* thread_pool, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700556 for (size_t i = 0; i != dex_files.size(); ++i) {
557 const DexFile* dex_file = dex_files[i];
558 CHECK(dex_file != NULL);
559 ResolveDexFile(class_loader, *dex_file, thread_pool, timings);
560 }
561}
562
563void CompilerDriver::PreCompile(jobject class_loader, const std::vector<const DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -0800564 ThreadPool* thread_pool, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700565 LoadImageClasses(timings);
566
567 Resolve(class_loader, dex_files, thread_pool, timings);
568
569 Verify(class_loader, dex_files, thread_pool, timings);
570
571 InitializeClasses(class_loader, dex_files, thread_pool, timings);
572
573 UpdateImageClasses(timings);
574}
575
Ian Rogersdfb325e2013-10-30 01:00:44 -0700576bool CompilerDriver::IsImageClass(const char* descriptor) const {
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700577 if (!IsImage()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700578 return true;
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700579 } else {
Ian Rogersdfb325e2013-10-30 01:00:44 -0700580 return image_classes_->find(descriptor) != image_classes_->end();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700581 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700582}
583
584static void ResolveExceptionsForMethod(MethodHelper* mh,
585 std::set<std::pair<uint16_t, const DexFile*> >& exceptions_to_resolve)
586 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
587 const DexFile::CodeItem* code_item = mh->GetCodeItem();
588 if (code_item == NULL) {
589 return; // native or abstract method
590 }
591 if (code_item->tries_size_ == 0) {
592 return; // nothing to process
593 }
594 const byte* encoded_catch_handler_list = DexFile::GetCatchHandlerData(*code_item, 0);
595 size_t num_encoded_catch_handlers = DecodeUnsignedLeb128(&encoded_catch_handler_list);
596 for (size_t i = 0; i < num_encoded_catch_handlers; i++) {
597 int32_t encoded_catch_handler_size = DecodeSignedLeb128(&encoded_catch_handler_list);
598 bool has_catch_all = false;
599 if (encoded_catch_handler_size <= 0) {
600 encoded_catch_handler_size = -encoded_catch_handler_size;
601 has_catch_all = true;
602 }
603 for (int32_t j = 0; j < encoded_catch_handler_size; j++) {
604 uint16_t encoded_catch_handler_handlers_type_idx =
605 DecodeUnsignedLeb128(&encoded_catch_handler_list);
606 // Add to set of types to resolve if not already in the dex cache resolved types
607 if (!mh->IsResolvedTypeIdx(encoded_catch_handler_handlers_type_idx)) {
608 exceptions_to_resolve.insert(
609 std::pair<uint16_t, const DexFile*>(encoded_catch_handler_handlers_type_idx,
610 &mh->GetDexFile()));
611 }
612 // ignore address associated with catch handler
613 DecodeUnsignedLeb128(&encoded_catch_handler_list);
614 }
615 if (has_catch_all) {
616 // ignore catch all address
617 DecodeUnsignedLeb128(&encoded_catch_handler_list);
618 }
619 }
620}
621
622static bool ResolveCatchBlockExceptionsClassVisitor(mirror::Class* c, void* arg)
623 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
624 std::set<std::pair<uint16_t, const DexFile*> >* exceptions_to_resolve =
625 reinterpret_cast<std::set<std::pair<uint16_t, const DexFile*> >*>(arg);
626 MethodHelper mh;
627 for (size_t i = 0; i < c->NumVirtualMethods(); ++i) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700628 mirror::ArtMethod* m = c->GetVirtualMethod(i);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700629 mh.ChangeMethod(m);
630 ResolveExceptionsForMethod(&mh, *exceptions_to_resolve);
631 }
632 for (size_t i = 0; i < c->NumDirectMethods(); ++i) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700633 mirror::ArtMethod* m = c->GetDirectMethod(i);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700634 mh.ChangeMethod(m);
635 ResolveExceptionsForMethod(&mh, *exceptions_to_resolve);
636 }
637 return true;
638}
639
640static bool RecordImageClassesVisitor(mirror::Class* klass, void* arg)
641 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
642 CompilerDriver::DescriptorSet* image_classes =
643 reinterpret_cast<CompilerDriver::DescriptorSet*>(arg);
644 image_classes->insert(ClassHelper(klass).GetDescriptor());
645 return true;
646}
647
648// Make a list of descriptors for classes to include in the image
Ian Rogers3d504072014-03-01 09:16:49 -0800649void CompilerDriver::LoadImageClasses(TimingLogger* timings)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700650 LOCKS_EXCLUDED(Locks::mutator_lock_) {
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700651 if (!IsImage()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700652 return;
653 }
654
Ian Rogers3d504072014-03-01 09:16:49 -0800655 timings->NewSplit("LoadImageClasses");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700656 // Make a first class to load all classes explicitly listed in the file
657 Thread* self = Thread::Current();
658 ScopedObjectAccess soa(self);
659 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartier02e25112013-08-14 16:14:24 -0700660 for (auto it = image_classes_->begin(), end = image_classes_->end(); it != end;) {
Vladimir Markoe9c36b32013-11-21 15:49:16 +0000661 const std::string& descriptor(*it);
Ian Rogers98379392014-02-24 16:53:16 -0800662 SirtRef<mirror::Class> klass(self, class_linker->FindSystemClass(self, descriptor.c_str()));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700663 if (klass.get() == NULL) {
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700664 VLOG(compiler) << "Failed to find class " << descriptor;
Vladimir Markoe9c36b32013-11-21 15:49:16 +0000665 image_classes_->erase(it++);
Ian Rogersa436fde2013-08-27 23:34:06 -0700666 self->ClearException();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700667 } else {
668 ++it;
669 }
670 }
671
672 // Resolve exception classes referenced by the loaded classes. The catch logic assumes
673 // exceptions are resolved by the verifier when there is a catch block in an interested method.
674 // Do this here so that exception classes appear to have been specified image classes.
675 std::set<std::pair<uint16_t, const DexFile*> > unresolved_exception_types;
676 SirtRef<mirror::Class> java_lang_Throwable(self,
Ian Rogers98379392014-02-24 16:53:16 -0800677 class_linker->FindSystemClass(self, "Ljava/lang/Throwable;"));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700678 do {
679 unresolved_exception_types.clear();
680 class_linker->VisitClasses(ResolveCatchBlockExceptionsClassVisitor,
681 &unresolved_exception_types);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700682 for (const std::pair<uint16_t, const DexFile*>& exception_type : unresolved_exception_types) {
683 uint16_t exception_type_idx = exception_type.first;
684 const DexFile* dex_file = exception_type.second;
Mathieu Chartier590fee92013-09-13 13:46:47 -0700685 SirtRef<mirror::DexCache> dex_cache(self, class_linker->FindDexCache(*dex_file));
686 SirtRef<mirror::ClassLoader> class_loader(self, nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700687 SirtRef<mirror::Class> klass(self, class_linker->ResolveType(*dex_file, exception_type_idx,
688 dex_cache, class_loader));
689 if (klass.get() == NULL) {
690 const DexFile::TypeId& type_id = dex_file->GetTypeId(exception_type_idx);
691 const char* descriptor = dex_file->GetTypeDescriptor(type_id);
692 LOG(FATAL) << "Failed to resolve class " << descriptor;
693 }
694 DCHECK(java_lang_Throwable->IsAssignableFrom(klass.get()));
695 }
696 // Resolving exceptions may load classes that reference more exceptions, iterate until no
697 // more are found
698 } while (!unresolved_exception_types.empty());
699
700 // We walk the roots looking for classes so that we'll pick up the
701 // above classes plus any classes them depend on such super
702 // classes, interfaces, and the required ClassLinker roots.
703 class_linker->VisitClasses(RecordImageClassesVisitor, image_classes_.get());
704
705 CHECK_NE(image_classes_->size(), 0U);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700706}
707
708static void MaybeAddToImageClasses(mirror::Class* klass, CompilerDriver::DescriptorSet* image_classes)
709 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
710 while (!klass->IsObjectClass()) {
711 ClassHelper kh(klass);
712 const char* descriptor = kh.GetDescriptor();
713 std::pair<CompilerDriver::DescriptorSet::iterator, bool> result =
714 image_classes->insert(descriptor);
715 if (result.second) {
Anwar Ghuloum75a43f12013-08-13 17:22:14 -0700716 VLOG(compiler) << "Adding " << descriptor << " to image classes";
Brian Carlstrom7940e442013-07-12 13:46:57 -0700717 } else {
718 return;
719 }
720 for (size_t i = 0; i < kh.NumDirectInterfaces(); ++i) {
721 MaybeAddToImageClasses(kh.GetDirectInterface(i), image_classes);
722 }
723 if (klass->IsArrayClass()) {
724 MaybeAddToImageClasses(klass->GetComponentType(), image_classes);
725 }
726 klass = klass->GetSuperClass();
727 }
728}
729
730void CompilerDriver::FindClinitImageClassesCallback(mirror::Object* object, void* arg) {
731 DCHECK(object != NULL);
732 DCHECK(arg != NULL);
733 CompilerDriver* compiler_driver = reinterpret_cast<CompilerDriver*>(arg);
734 MaybeAddToImageClasses(object->GetClass(), compiler_driver->image_classes_.get());
735}
736
Ian Rogers3d504072014-03-01 09:16:49 -0800737void CompilerDriver::UpdateImageClasses(TimingLogger* timings) {
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700738 if (IsImage()) {
Ian Rogers3d504072014-03-01 09:16:49 -0800739 timings->NewSplit("UpdateImageClasses");
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700740
741 // Update image_classes_ with classes for objects created by <clinit> methods.
742 Thread* self = Thread::Current();
743 const char* old_cause = self->StartAssertNoThreadSuspension("ImageWriter");
744 gc::Heap* heap = Runtime::Current()->GetHeap();
745 // TODO: Image spaces only?
Mathieu Chartier590fee92013-09-13 13:46:47 -0700746 ScopedObjectAccess soa(Thread::Current());
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700747 WriterMutexLock mu(self, *Locks::heap_bitmap_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700748 heap->VisitObjects(FindClinitImageClassesCallback, this);
Ian Rogerse6bb3b22013-08-19 21:51:45 -0700749 self->EndAssertNoThreadSuspension(old_cause);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700750 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700751}
752
Mathieu Chartier590fee92013-09-13 13:46:47 -0700753bool CompilerDriver::CanAssumeTypeIsPresentInDexCache(const DexFile& dex_file, uint32_t type_idx) {
Ian Rogersfc0e94b2013-09-23 23:51:32 -0700754 if (IsImage() &&
Ian Rogersdfb325e2013-10-30 01:00:44 -0700755 IsImageClass(dex_file.StringDataByIdx(dex_file.GetTypeId(type_idx).descriptor_idx_))) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700756 if (kIsDebugBuild) {
757 ScopedObjectAccess soa(Thread::Current());
758 mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file);
759 mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx);
760 CHECK(resolved_class != NULL);
761 }
762 stats_->TypeInDexCache();
763 return true;
764 } else {
765 stats_->TypeNotInDexCache();
766 return false;
767 }
768}
769
770bool CompilerDriver::CanAssumeStringIsPresentInDexCache(const DexFile& dex_file,
771 uint32_t string_idx) {
772 // See also Compiler::ResolveDexFile
773
774 bool result = false;
775 if (IsImage()) {
776 // We resolve all const-string strings when building for the image.
777 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier590fee92013-09-13 13:46:47 -0700778 SirtRef<mirror::DexCache> dex_cache(soa.Self(), Runtime::Current()->GetClassLinker()->FindDexCache(dex_file));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700779 Runtime::Current()->GetClassLinker()->ResolveString(dex_file, string_idx, dex_cache);
780 result = true;
781 }
782 if (result) {
783 stats_->StringInDexCache();
784 } else {
785 stats_->StringNotInDexCache();
786 }
787 return result;
788}
789
790bool CompilerDriver::CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexFile& dex_file,
791 uint32_t type_idx,
792 bool* type_known_final, bool* type_known_abstract,
793 bool* equals_referrers_class) {
794 if (type_known_final != NULL) {
795 *type_known_final = false;
796 }
797 if (type_known_abstract != NULL) {
798 *type_known_abstract = false;
799 }
800 if (equals_referrers_class != NULL) {
801 *equals_referrers_class = false;
802 }
803 ScopedObjectAccess soa(Thread::Current());
804 mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file);
805 // Get type from dex cache assuming it was populated by the verifier
806 mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx);
807 if (resolved_class == NULL) {
808 stats_->TypeNeedsAccessCheck();
809 return false; // Unknown class needs access checks.
810 }
811 const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx);
812 if (equals_referrers_class != NULL) {
813 *equals_referrers_class = (method_id.class_idx_ == type_idx);
814 }
815 mirror::Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_);
816 if (referrer_class == NULL) {
817 stats_->TypeNeedsAccessCheck();
818 return false; // Incomplete referrer knowledge needs access check.
819 }
820 // Perform access check, will return true if access is ok or false if we're going to have to
821 // check this at runtime (for example for class loaders).
822 bool result = referrer_class->CanAccess(resolved_class);
823 if (result) {
824 stats_->TypeDoesntNeedAccessCheck();
825 if (type_known_final != NULL) {
826 *type_known_final = resolved_class->IsFinal() && !resolved_class->IsArrayClass();
827 }
828 if (type_known_abstract != NULL) {
829 *type_known_abstract = resolved_class->IsAbstract() && !resolved_class->IsArrayClass();
830 }
831 } else {
832 stats_->TypeNeedsAccessCheck();
833 }
834 return result;
835}
836
837bool CompilerDriver::CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx,
838 const DexFile& dex_file,
839 uint32_t type_idx) {
840 ScopedObjectAccess soa(Thread::Current());
841 mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file);
842 // Get type from dex cache assuming it was populated by the verifier.
843 mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx);
844 if (resolved_class == NULL) {
845 stats_->TypeNeedsAccessCheck();
846 return false; // Unknown class needs access checks.
847 }
848 const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx);
849 mirror::Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_);
850 if (referrer_class == NULL) {
851 stats_->TypeNeedsAccessCheck();
852 return false; // Incomplete referrer knowledge needs access check.
853 }
854 // Perform access and instantiable checks, will return true if access is ok or false if we're
855 // going to have to check this at runtime (for example for class loaders).
856 bool result = referrer_class->CanAccess(resolved_class) && resolved_class->IsInstantiable();
857 if (result) {
858 stats_->TypeDoesntNeedAccessCheck();
859 } else {
860 stats_->TypeNeedsAccessCheck();
861 }
862 return result;
863}
864
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800865bool CompilerDriver::CanEmbedTypeInCode(const DexFile& dex_file, uint32_t type_idx,
866 bool* is_type_initialized, bool* use_direct_type_ptr,
867 uintptr_t* direct_type_ptr) {
868 ScopedObjectAccess soa(Thread::Current());
869 mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file);
870 mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx);
871 if (resolved_class == nullptr) {
872 return false;
873 }
874 const bool compiling_boot = Runtime::Current()->GetHeap()->IsCompilingBoot();
875 if (compiling_boot) {
876 // boot -> boot class pointers.
877 // True if the class is in the image at boot compiling time.
878 const bool is_image_class = IsImage() && IsImageClass(
879 dex_file.StringDataByIdx(dex_file.GetTypeId(type_idx).descriptor_idx_));
880 // True if pc relative load works.
881 const bool support_boot_image_fixup = GetSupportBootImageFixup();
882 if (is_image_class && support_boot_image_fixup) {
883 *is_type_initialized = resolved_class->IsInitialized();
884 *use_direct_type_ptr = false;
885 *direct_type_ptr = 0;
886 return true;
887 } else {
888 return false;
889 }
890 } else {
891 // True if the class is in the image at app compiling time.
892 const bool class_in_image =
893 Runtime::Current()->GetHeap()->FindSpaceFromObject(resolved_class, false)->IsImageSpace();
894 if (class_in_image) {
895 // boot -> app class pointers.
896 *is_type_initialized = resolved_class->IsInitialized();
897 *use_direct_type_ptr = true;
898 *direct_type_ptr = reinterpret_cast<uintptr_t>(resolved_class);
899 return true;
900 } else {
901 // app -> app class pointers.
902 // Give up because app does not have an image and class
903 // isn't created at compile time. TODO: implement this
904 // if/when each app gets an image.
905 return false;
906 }
907 }
908}
909
Vladimir Markobe0e5462014-02-26 11:24:15 +0000910void CompilerDriver::ProcessedInstanceField(bool resolved) {
911 if (!resolved) {
912 stats_->UnresolvedInstanceField();
913 } else {
914 stats_->ResolvedInstanceField();
915 }
916}
917
918void CompilerDriver::ProcessedStaticField(bool resolved, bool local) {
919 if (!resolved) {
920 stats_->UnresolvedStaticField();
921 } else if (local) {
922 stats_->ResolvedLocalStaticField();
923 } else {
924 stats_->ResolvedStaticField();
925 }
926}
927
Brian Carlstrom7940e442013-07-12 13:46:57 -0700928static mirror::Class* ComputeCompilingMethodsClass(ScopedObjectAccess& soa,
Mathieu Chartier590fee92013-09-13 13:46:47 -0700929 SirtRef<mirror::DexCache>& dex_cache,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700930 const DexCompilationUnit* mUnit)
931 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
932 // The passed dex_cache is a hint, sanity check before asking the class linker that will take a
933 // lock.
934 if (dex_cache->GetDexFile() != mUnit->GetDexFile()) {
Mathieu Chartier590fee92013-09-13 13:46:47 -0700935 dex_cache.reset(mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700936 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700937 SirtRef<mirror::ClassLoader>
938 class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
939 const DexFile::MethodId& referrer_method_id =
940 mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700941 return mUnit->GetClassLinker()->ResolveType(*mUnit->GetDexFile(), referrer_method_id.class_idx_,
942 dex_cache, class_loader);
943}
944
Brian Carlstromea46f952013-07-30 01:26:50 -0700945static mirror::ArtMethod* ComputeMethodReferencedFromCompilingMethod(ScopedObjectAccess& soa,
Ian Rogers65ec92c2013-09-06 10:49:58 -0700946 const DexCompilationUnit* mUnit,
947 uint32_t method_idx,
948 InvokeType type)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700949 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartier590fee92013-09-13 13:46:47 -0700950 SirtRef<mirror::DexCache> dex_cache(soa.Self(), mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
951 SirtRef<mirror::ClassLoader> class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700952 return mUnit->GetClassLinker()->ResolveMethod(*mUnit->GetDexFile(), method_idx, dex_cache,
953 class_loader, NULL, type);
954}
955
Vladimir Marko2bc47802014-02-10 09:43:07 +0000956bool CompilerDriver::ComputeSpecialAccessorInfo(uint32_t field_idx, bool is_put,
957 verifier::MethodVerifier* verifier,
958 InlineIGetIPutData* result) {
959 mirror::DexCache* dex_cache = verifier->GetDexCache();
960 uint32_t method_idx = verifier->GetMethodReference().dex_method_index;
961 mirror::ArtMethod* method = dex_cache->GetResolvedMethod(method_idx);
962 mirror::ArtField* field = dex_cache->GetResolvedField(field_idx);
Vladimir Markoc7ac6492014-02-12 10:17:09 +0000963 if (method == nullptr || field == nullptr || field->IsStatic()) {
Vladimir Marko2bc47802014-02-10 09:43:07 +0000964 return false;
965 }
966 mirror::Class* method_class = method->GetDeclaringClass();
967 mirror::Class* field_class = field->GetDeclaringClass();
968 if (!method_class->CanAccessResolvedField(field_class, field, dex_cache, field_idx) ||
969 (is_put && field->IsFinal() && method_class != field_class)) {
970 return false;
971 }
972 DCHECK_GE(field->GetOffset().Int32Value(), 0);
Vladimir Marko2bc47802014-02-10 09:43:07 +0000973 result->field_idx = field_idx;
974 result->field_offset = field->GetOffset().Int32Value();
975 result->is_volatile = field->IsVolatile();
976 return true;
977}
978
Brian Carlstrom7940e442013-07-12 13:46:57 -0700979bool CompilerDriver::ComputeInstanceFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit,
Vladimir Markobe0e5462014-02-26 11:24:15 +0000980 bool is_put, MemberOffset* field_offset,
981 bool* is_volatile) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700982 ScopedObjectAccess soa(Thread::Current());
Vladimir Markobe0e5462014-02-26 11:24:15 +0000983 // Try to resolve the field and compiling method's class.
984 mirror::ArtField* resolved_field;
985 mirror::Class* referrer_class;
986 mirror::DexCache* dex_cache;
987 {
988 SirtRef<mirror::DexCache> dex_cache_sirt(soa.Self(),
989 mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
990 SirtRef<mirror::ClassLoader> class_loader_sirt(soa.Self(),
991 soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
992 SirtRef<mirror::ArtField> resolved_field_sirt(soa.Self(),
993 ResolveField(soa, dex_cache_sirt, class_loader_sirt, mUnit, field_idx, false));
994 referrer_class = (resolved_field_sirt.get() != nullptr)
995 ? ResolveCompilingMethodsClass(soa, dex_cache_sirt, class_loader_sirt, mUnit) : nullptr;
996 resolved_field = resolved_field_sirt.get();
997 dex_cache = dex_cache_sirt.get();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700998 }
Vladimir Markobe0e5462014-02-26 11:24:15 +0000999 bool result = false;
1000 if (resolved_field != nullptr && referrer_class != nullptr) {
1001 *is_volatile = IsFieldVolatile(resolved_field);
1002 std::pair<bool, bool> fast_path = IsFastInstanceField(
1003 dex_cache, referrer_class, resolved_field, field_idx, field_offset);
1004 result = is_put ? fast_path.second : fast_path.first;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001005 }
Vladimir Markobe0e5462014-02-26 11:24:15 +00001006 if (!result) {
1007 // Conservative defaults.
1008 *is_volatile = true;
1009 *field_offset = MemberOffset(static_cast<size_t>(-1));
1010 }
1011 ProcessedInstanceField(result);
1012 return result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001013}
1014
1015bool CompilerDriver::ComputeStaticFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit,
Vladimir Markobe0e5462014-02-26 11:24:15 +00001016 bool is_put, MemberOffset* field_offset,
1017 uint32_t* storage_index, bool* is_referrers_class,
1018 bool* is_volatile, bool* is_initialized) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001019 ScopedObjectAccess soa(Thread::Current());
Vladimir Markobe0e5462014-02-26 11:24:15 +00001020 // Try to resolve the field and compiling method's class.
1021 mirror::ArtField* resolved_field;
1022 mirror::Class* referrer_class;
1023 mirror::DexCache* dex_cache;
1024 {
1025 SirtRef<mirror::DexCache> dex_cache_sirt(soa.Self(),
1026 mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
1027 SirtRef<mirror::ClassLoader> class_loader_sirt(soa.Self(),
1028 soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
1029 SirtRef<mirror::ArtField> resolved_field_sirt(soa.Self(),
1030 ResolveField(soa, dex_cache_sirt, class_loader_sirt, mUnit, field_idx, true));
1031 referrer_class = (resolved_field_sirt.get() != nullptr)
1032 ? ResolveCompilingMethodsClass(soa, dex_cache_sirt, class_loader_sirt, mUnit) : nullptr;
1033 resolved_field = resolved_field_sirt.get();
1034 dex_cache = dex_cache_sirt.get();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001035 }
Vladimir Markobe0e5462014-02-26 11:24:15 +00001036 bool result = false;
1037 if (resolved_field != nullptr && referrer_class != nullptr) {
1038 *is_volatile = IsFieldVolatile(resolved_field);
1039 std::pair<bool, bool> fast_path = IsFastStaticField(
1040 dex_cache, referrer_class, resolved_field, field_idx, field_offset,
1041 storage_index, is_referrers_class, is_initialized);
1042 result = is_put ? fast_path.second : fast_path.first;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001043 }
Vladimir Markobe0e5462014-02-26 11:24:15 +00001044 if (!result) {
1045 // Conservative defaults.
1046 *is_volatile = true;
1047 *field_offset = MemberOffset(static_cast<size_t>(-1));
1048 *storage_index = -1;
1049 *is_referrers_class = false;
1050 *is_initialized = false;
1051 }
1052 ProcessedStaticField(result, *is_referrers_class);
1053 return result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001054}
1055
Ian Rogers83883d72013-10-21 21:07:24 -07001056void CompilerDriver::GetCodeAndMethodForDirectCall(InvokeType* type, InvokeType sharp_type,
1057 bool no_guarantee_of_dex_cache_entry,
Brian Carlstrom7940e442013-07-12 13:46:57 -07001058 mirror::Class* referrer_class,
Brian Carlstromea46f952013-07-30 01:26:50 -07001059 mirror::ArtMethod* method,
Ian Rogers65ec92c2013-09-06 10:49:58 -07001060 bool update_stats,
Ian Rogers83883d72013-10-21 21:07:24 -07001061 MethodReference* target_method,
Ian Rogers65ec92c2013-09-06 10:49:58 -07001062 uintptr_t* direct_code,
1063 uintptr_t* direct_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001064 // For direct and static methods compute possible direct_code and direct_method values, ie
1065 // an address for the Method* being invoked and an address of the code for that Method*.
1066 // For interface calls compute a value for direct_method that is the interface method being
1067 // invoked, so this can be passed to the out-of-line runtime support code.
Ian Rogers65ec92c2013-09-06 10:49:58 -07001068 *direct_code = 0;
1069 *direct_method = 0;
Ian Rogers83883d72013-10-21 21:07:24 -07001070 bool use_dex_cache = false;
Mathieu Chartier590fee92013-09-13 13:46:47 -07001071 const bool compiling_boot = Runtime::Current()->GetHeap()->IsCompilingBoot();
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00001072 if (compiler_backend_->IsPortable()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001073 if (sharp_type != kStatic && sharp_type != kDirect) {
1074 return;
1075 }
Ian Rogers83883d72013-10-21 21:07:24 -07001076 use_dex_cache = true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001077 } else {
Jeff Hao88474b42013-10-23 16:24:40 -07001078 if (sharp_type != kStatic && sharp_type != kDirect) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001079 return;
1080 }
Ian Rogers83883d72013-10-21 21:07:24 -07001081 // TODO: support patching on all architectures.
1082 use_dex_cache = compiling_boot && !support_boot_image_fixup_;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001083 }
Ian Rogers83883d72013-10-21 21:07:24 -07001084 bool method_code_in_boot = (method->GetDeclaringClass()->GetClassLoader() == nullptr);
1085 if (!use_dex_cache) {
1086 if (!method_code_in_boot) {
1087 use_dex_cache = true;
1088 } else {
1089 bool has_clinit_trampoline =
1090 method->IsStatic() && !method->GetDeclaringClass()->IsInitialized();
1091 if (has_clinit_trampoline && (method->GetDeclaringClass() != referrer_class)) {
1092 // Ensure we run the clinit trampoline unless we are invoking a static method in the same
1093 // class.
1094 use_dex_cache = true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001095 }
1096 }
Ian Rogers83883d72013-10-21 21:07:24 -07001097 }
1098 if (update_stats && method_code_in_boot) {
Jeff Hao88474b42013-10-23 16:24:40 -07001099 stats_->DirectCallsToBoot(*type);
Ian Rogers83883d72013-10-21 21:07:24 -07001100 stats_->DirectMethodsToBoot(*type);
1101 }
1102 if (!use_dex_cache && compiling_boot) {
1103 MethodHelper mh(method);
Ian Rogersdfb325e2013-10-30 01:00:44 -07001104 if (!IsImageClass(mh.GetDeclaringClassDescriptor())) {
Ian Rogers83883d72013-10-21 21:07:24 -07001105 // We can only branch directly to Methods that are resolved in the DexCache.
1106 // Otherwise we won't invoke the resolution trampoline.
1107 use_dex_cache = true;
1108 }
1109 }
1110 // The method is defined not within this dex file. We need a dex cache slot within the current
1111 // dex file or direct pointers.
1112 bool must_use_direct_pointers = false;
1113 if (target_method->dex_file == method->GetDeclaringClass()->GetDexCache()->GetDexFile()) {
1114 target_method->dex_method_index = method->GetDexMethodIndex();
1115 } else {
1116 // TODO: support patching from one dex file to another in the boot image.
1117 use_dex_cache = use_dex_cache || compiling_boot;
1118 if (no_guarantee_of_dex_cache_entry) {
1119 // See if the method is also declared in this dex cache.
1120 uint32_t dex_method_idx = MethodHelper(method).FindDexMethodIndexInOtherDexFile(
Vladimir Markobbcc0c02014-02-03 14:08:42 +00001121 *target_method->dex_file, target_method->dex_method_index);
Ian Rogers83883d72013-10-21 21:07:24 -07001122 if (dex_method_idx != DexFile::kDexNoIndex) {
1123 target_method->dex_method_index = dex_method_idx;
1124 } else {
1125 must_use_direct_pointers = true;
1126 }
1127 }
1128 }
1129 if (use_dex_cache) {
1130 if (must_use_direct_pointers) {
1131 // Fail. Test above showed the only safe dispatch was via the dex cache, however, the direct
1132 // pointers are required as the dex cache lacks an appropriate entry.
1133 VLOG(compiler) << "Dex cache devirtualization failed for: " << PrettyMethod(method);
1134 } else {
1135 *type = sharp_type;
1136 }
1137 } else {
1138 if (compiling_boot) {
1139 *type = sharp_type;
1140 *direct_method = -1;
Jeff Hao88474b42013-10-23 16:24:40 -07001141 *direct_code = -1;
Ian Rogers83883d72013-10-21 21:07:24 -07001142 } else {
1143 bool method_in_image =
1144 Runtime::Current()->GetHeap()->FindSpaceFromObject(method, false)->IsImageSpace();
1145 if (method_in_image) {
Jeff Hao88474b42013-10-23 16:24:40 -07001146 CHECK(!method->IsAbstract());
Ian Rogers83883d72013-10-21 21:07:24 -07001147 *type = sharp_type;
1148 *direct_method = reinterpret_cast<uintptr_t>(method);
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00001149 *direct_code = compiler_backend_->GetEntryPointOf(method);
Ian Rogers83883d72013-10-21 21:07:24 -07001150 target_method->dex_file = method->GetDeclaringClass()->GetDexCache()->GetDexFile();
1151 target_method->dex_method_index = method->GetDexMethodIndex();
1152 } else if (!must_use_direct_pointers) {
1153 // Set the code and rely on the dex cache for the method.
1154 *type = sharp_type;
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00001155 *direct_code = compiler_backend_->GetEntryPointOf(method);
Ian Rogers83883d72013-10-21 21:07:24 -07001156 } else {
1157 // Direct pointers were required but none were available.
1158 VLOG(compiler) << "Dex cache devirtualization failed for: " << PrettyMethod(method);
1159 }
1160 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001161 }
1162}
1163
1164bool CompilerDriver::ComputeInvokeInfo(const DexCompilationUnit* mUnit, const uint32_t dex_pc,
Ian Rogers65ec92c2013-09-06 10:49:58 -07001165 bool update_stats, bool enable_devirtualization,
1166 InvokeType* invoke_type, MethodReference* target_method,
1167 int* vtable_idx, uintptr_t* direct_code,
1168 uintptr_t* direct_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001169 ScopedObjectAccess soa(Thread::Current());
Ian Rogers65ec92c2013-09-06 10:49:58 -07001170 *vtable_idx = -1;
1171 *direct_code = 0;
1172 *direct_method = 0;
Brian Carlstromea46f952013-07-30 01:26:50 -07001173 mirror::ArtMethod* resolved_method =
Ian Rogers65ec92c2013-09-06 10:49:58 -07001174 ComputeMethodReferencedFromCompilingMethod(soa, mUnit, target_method->dex_method_index,
1175 *invoke_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001176 if (resolved_method != NULL) {
Ian Rogers83883d72013-10-21 21:07:24 -07001177 if (*invoke_type == kVirtual || *invoke_type == kSuper) {
1178 *vtable_idx = resolved_method->GetMethodIndex();
Jeff Hao88474b42013-10-23 16:24:40 -07001179 } else if (*invoke_type == kInterface) {
1180 *vtable_idx = resolved_method->GetDexMethodIndex();
Ian Rogers83883d72013-10-21 21:07:24 -07001181 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001182 // Don't try to fast-path if we don't understand the caller's class or this appears to be an
1183 // Incompatible Class Change Error.
Mathieu Chartier590fee92013-09-13 13:46:47 -07001184 SirtRef<mirror::DexCache> dex_cache(soa.Self(), resolved_method->GetDeclaringClass()->GetDexCache());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001185 mirror::Class* referrer_class =
Mathieu Chartier590fee92013-09-13 13:46:47 -07001186 ComputeCompilingMethodsClass(soa, dex_cache, mUnit);
Ian Rogers65ec92c2013-09-06 10:49:58 -07001187 bool icce = resolved_method->CheckIncompatibleClassChange(*invoke_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001188 if (referrer_class != NULL && !icce) {
1189 mirror::Class* methods_class = resolved_method->GetDeclaringClass();
Ian Rogersef7d42f2014-01-06 12:55:46 -08001190 if (referrer_class->CanAccessResolvedMethod(methods_class, resolved_method, dex_cache.get(),
1191 target_method->dex_method_index)) {
Sebastien Hertz1e54d682013-09-06 14:52:10 +02001192 const bool enableFinalBasedSharpening = enable_devirtualization;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001193 // Sharpen a virtual call into a direct call when the target is known not to have been
1194 // overridden (ie is final).
1195 bool can_sharpen_virtual_based_on_type =
Ian Rogers65ec92c2013-09-06 10:49:58 -07001196 (*invoke_type == kVirtual) && (resolved_method->IsFinal() || methods_class->IsFinal());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001197 // For invoke-super, ensure the vtable index will be correct to dispatch in the vtable of
1198 // the super class.
Ian Rogers65ec92c2013-09-06 10:49:58 -07001199 bool can_sharpen_super_based_on_type = (*invoke_type == kSuper) &&
Brian Carlstrom7940e442013-07-12 13:46:57 -07001200 (referrer_class != methods_class) && referrer_class->IsSubClass(methods_class) &&
1201 resolved_method->GetMethodIndex() < methods_class->GetVTable()->GetLength() &&
1202 (methods_class->GetVTable()->Get(resolved_method->GetMethodIndex()) == resolved_method);
1203
Sebastien Hertz1e54d682013-09-06 14:52:10 +02001204 if (enableFinalBasedSharpening && (can_sharpen_virtual_based_on_type ||
Brian Carlstrom7940e442013-07-12 13:46:57 -07001205 can_sharpen_super_based_on_type)) {
Vladimir Marko89786432014-01-31 15:03:55 +00001206 // Sharpen a virtual call into a direct call. The method_idx is into the DexCache
1207 // associated with target_method->dex_file.
1208 CHECK(target_method->dex_file == mUnit->GetDexFile());
1209 DCHECK(dex_cache.get() == mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
1210 CHECK(dex_cache->GetResolvedMethod(target_method->dex_method_index) ==
Brian Carlstrom7940e442013-07-12 13:46:57 -07001211 resolved_method) << PrettyMethod(resolved_method);
Ian Rogers83883d72013-10-21 21:07:24 -07001212 InvokeType orig_invoke_type = *invoke_type;
1213 GetCodeAndMethodForDirectCall(invoke_type, kDirect, false, referrer_class, resolved_method,
1214 update_stats, target_method, direct_code, direct_method);
1215 if (update_stats && (*invoke_type == kDirect)) {
1216 stats_->ResolvedMethod(orig_invoke_type);
1217 stats_->VirtualMadeDirect(orig_invoke_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001218 }
Ian Rogers83883d72013-10-21 21:07:24 -07001219 DCHECK_NE(*invoke_type, kSuper) << PrettyMethod(resolved_method);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001220 return true;
1221 }
Sebastien Hertz1e54d682013-09-06 14:52:10 +02001222 const bool enableVerifierBasedSharpening = enable_devirtualization;
Ian Rogers65ec92c2013-09-06 10:49:58 -07001223 if (enableVerifierBasedSharpening && (*invoke_type == kVirtual ||
1224 *invoke_type == kInterface)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001225 // Did the verifier record a more precise invoke target based on its type information?
Vladimir Marko2730db02014-01-27 11:15:17 +00001226 DCHECK(mUnit->GetVerifiedMethod() != nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001227 const MethodReference* devirt_map_target =
Vladimir Marko2730db02014-01-27 11:15:17 +00001228 mUnit->GetVerifiedMethod()->GetDevirtTarget(dex_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001229 if (devirt_map_target != NULL) {
Mathieu Chartier590fee92013-09-13 13:46:47 -07001230 SirtRef<mirror::DexCache> target_dex_cache(soa.Self(), mUnit->GetClassLinker()->FindDexCache(*devirt_map_target->dex_file));
1231 SirtRef<mirror::ClassLoader> class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
Brian Carlstromea46f952013-07-30 01:26:50 -07001232 mirror::ArtMethod* called_method =
Brian Carlstrom7940e442013-07-12 13:46:57 -07001233 mUnit->GetClassLinker()->ResolveMethod(*devirt_map_target->dex_file,
1234 devirt_map_target->dex_method_index,
1235 target_dex_cache, class_loader, NULL,
1236 kVirtual);
1237 CHECK(called_method != NULL);
1238 CHECK(!called_method->IsAbstract());
Ian Rogers83883d72013-10-21 21:07:24 -07001239 InvokeType orig_invoke_type = *invoke_type;
1240 GetCodeAndMethodForDirectCall(invoke_type, kDirect, true, referrer_class, called_method,
1241 update_stats, target_method, direct_code, direct_method);
1242 if (update_stats && (*invoke_type == kDirect)) {
1243 stats_->ResolvedMethod(orig_invoke_type);
1244 stats_->VirtualMadeDirect(orig_invoke_type);
1245 stats_->PreciseTypeDevirtualization();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001246 }
Ian Rogers83883d72013-10-21 21:07:24 -07001247 DCHECK_NE(*invoke_type, kSuper);
1248 return true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001249 }
1250 }
Ian Rogers65ec92c2013-09-06 10:49:58 -07001251 if (*invoke_type == kSuper) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001252 // Unsharpened super calls are suspicious so go slow-path.
1253 } else {
1254 // Sharpening failed so generate a regular resolved method dispatch.
1255 if (update_stats) {
Ian Rogers65ec92c2013-09-06 10:49:58 -07001256 stats_->ResolvedMethod(*invoke_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001257 }
Ian Rogers83883d72013-10-21 21:07:24 -07001258 GetCodeAndMethodForDirectCall(invoke_type, *invoke_type, false, referrer_class, resolved_method,
1259 update_stats, target_method, direct_code, direct_method);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001260 return true;
1261 }
1262 }
1263 }
1264 }
1265 // Clean up any exception left by method/invoke_type resolution
1266 if (soa.Self()->IsExceptionPending()) {
1267 soa.Self()->ClearException();
1268 }
1269 if (update_stats) {
Ian Rogers65ec92c2013-09-06 10:49:58 -07001270 stats_->UnresolvedMethod(*invoke_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001271 }
1272 return false; // Incomplete knowledge needs slow path.
1273}
1274
Vladimir Marko2730db02014-01-27 11:15:17 +00001275const VerifiedMethod* CompilerDriver::GetVerifiedMethod(const DexFile* dex_file,
1276 uint32_t method_idx) const {
1277 MethodReference ref(dex_file, method_idx);
1278 return verification_results_->GetVerifiedMethod(ref);
1279}
1280
1281bool CompilerDriver::IsSafeCast(const DexCompilationUnit* mUnit, uint32_t dex_pc) {
1282 DCHECK(mUnit->GetVerifiedMethod() != nullptr);
1283 bool result = mUnit->GetVerifiedMethod()->IsSafeCast(dex_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001284 if (result) {
1285 stats_->SafeCast();
1286 } else {
1287 stats_->NotASafeCast();
1288 }
1289 return result;
1290}
1291
1292
1293void CompilerDriver::AddCodePatch(const DexFile* dex_file,
Ian Rogers8b2c0b92013-09-19 02:56:49 -07001294 uint16_t referrer_class_def_idx,
1295 uint32_t referrer_method_idx,
1296 InvokeType referrer_invoke_type,
1297 uint32_t target_method_idx,
1298 InvokeType target_invoke_type,
1299 size_t literal_offset) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001300 MutexLock mu(Thread::Current(), compiled_methods_lock_);
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -08001301 code_to_patch_.push_back(new CallPatchInformation(dex_file,
1302 referrer_class_def_idx,
1303 referrer_method_idx,
1304 referrer_invoke_type,
1305 target_method_idx,
1306 target_invoke_type,
1307 literal_offset));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001308}
Mark Mendell55d0eac2014-02-06 11:02:52 -08001309void CompilerDriver::AddRelativeCodePatch(const DexFile* dex_file,
1310 uint16_t referrer_class_def_idx,
1311 uint32_t referrer_method_idx,
1312 InvokeType referrer_invoke_type,
1313 uint32_t target_method_idx,
1314 InvokeType target_invoke_type,
1315 size_t literal_offset,
1316 int32_t pc_relative_offset) {
1317 MutexLock mu(Thread::Current(), compiled_methods_lock_);
1318 code_to_patch_.push_back(new RelativeCallPatchInformation(dex_file,
1319 referrer_class_def_idx,
1320 referrer_method_idx,
1321 referrer_invoke_type,
1322 target_method_idx,
1323 target_invoke_type,
1324 literal_offset,
1325 pc_relative_offset));
1326}
Brian Carlstrom7940e442013-07-12 13:46:57 -07001327void CompilerDriver::AddMethodPatch(const DexFile* dex_file,
Ian Rogers8b2c0b92013-09-19 02:56:49 -07001328 uint16_t referrer_class_def_idx,
1329 uint32_t referrer_method_idx,
1330 InvokeType referrer_invoke_type,
1331 uint32_t target_method_idx,
1332 InvokeType target_invoke_type,
1333 size_t literal_offset) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001334 MutexLock mu(Thread::Current(), compiled_methods_lock_);
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -08001335 methods_to_patch_.push_back(new CallPatchInformation(dex_file,
1336 referrer_class_def_idx,
1337 referrer_method_idx,
1338 referrer_invoke_type,
1339 target_method_idx,
1340 target_invoke_type,
1341 literal_offset));
1342}
1343void CompilerDriver::AddClassPatch(const DexFile* dex_file,
1344 uint16_t referrer_class_def_idx,
1345 uint32_t referrer_method_idx,
1346 uint32_t target_type_idx,
1347 size_t literal_offset) {
1348 MutexLock mu(Thread::Current(), compiled_methods_lock_);
1349 classes_to_patch_.push_back(new TypePatchInformation(dex_file,
1350 referrer_class_def_idx,
1351 referrer_method_idx,
1352 target_type_idx,
1353 literal_offset));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001354}
1355
1356class ParallelCompilationManager {
1357 public:
1358 typedef void Callback(const ParallelCompilationManager* manager, size_t index);
1359
1360 ParallelCompilationManager(ClassLinker* class_linker,
1361 jobject class_loader,
1362 CompilerDriver* compiler,
1363 const DexFile* dex_file,
Ian Rogers3d504072014-03-01 09:16:49 -08001364 ThreadPool* thread_pool)
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001365 : index_(0),
1366 class_linker_(class_linker),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001367 class_loader_(class_loader),
1368 compiler_(compiler),
1369 dex_file_(dex_file),
Ian Rogers3d504072014-03-01 09:16:49 -08001370 thread_pool_(thread_pool) {}
Brian Carlstrom7940e442013-07-12 13:46:57 -07001371
1372 ClassLinker* GetClassLinker() const {
1373 CHECK(class_linker_ != NULL);
1374 return class_linker_;
1375 }
1376
1377 jobject GetClassLoader() const {
1378 return class_loader_;
1379 }
1380
1381 CompilerDriver* GetCompiler() const {
1382 CHECK(compiler_ != NULL);
1383 return compiler_;
1384 }
1385
1386 const DexFile* GetDexFile() const {
1387 CHECK(dex_file_ != NULL);
1388 return dex_file_;
1389 }
1390
1391 void ForAll(size_t begin, size_t end, Callback callback, size_t work_units) {
1392 Thread* self = Thread::Current();
1393 self->AssertNoPendingException();
1394 CHECK_GT(work_units, 0U);
1395
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001396 index_ = begin;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001397 for (size_t i = 0; i < work_units; ++i) {
Sebastien Hertz501baec2013-12-13 12:02:36 +01001398 thread_pool_->AddTask(self, new ForAllClosure(this, end, callback));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001399 }
1400 thread_pool_->StartWorkers(self);
1401
1402 // Ensure we're suspended while we're blocked waiting for the other threads to finish (worker
1403 // thread destructor's called below perform join).
1404 CHECK_NE(self->GetState(), kRunnable);
1405
1406 // Wait for all the worker threads to finish.
1407 thread_pool_->Wait(self, true, false);
1408 }
1409
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001410 size_t NextIndex() {
Ian Rogersb122a4b2013-11-19 18:00:50 -08001411 return index_.FetchAndAdd(1);
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001412 }
1413
Brian Carlstrom7940e442013-07-12 13:46:57 -07001414 private:
Brian Carlstrom7940e442013-07-12 13:46:57 -07001415 class ForAllClosure : public Task {
1416 public:
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001417 ForAllClosure(ParallelCompilationManager* manager, size_t end, Callback* callback)
Brian Carlstrom7940e442013-07-12 13:46:57 -07001418 : manager_(manager),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001419 end_(end),
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001420 callback_(callback) {}
Brian Carlstrom7940e442013-07-12 13:46:57 -07001421
1422 virtual void Run(Thread* self) {
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001423 while (true) {
1424 const size_t index = manager_->NextIndex();
1425 if (UNLIKELY(index >= end_)) {
1426 break;
1427 }
1428 callback_(manager_, index);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001429 self->AssertNoPendingException();
1430 }
1431 }
1432
1433 virtual void Finalize() {
1434 delete this;
1435 }
Brian Carlstrom0cd7ec22013-07-17 23:40:20 -07001436
Brian Carlstrom7940e442013-07-12 13:46:57 -07001437 private:
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001438 ParallelCompilationManager* const manager_;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001439 const size_t end_;
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +01001440 Callback* const callback_;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001441 };
1442
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001443 AtomicInteger index_;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001444 ClassLinker* const class_linker_;
1445 const jobject class_loader_;
1446 CompilerDriver* const compiler_;
1447 const DexFile* const dex_file_;
1448 ThreadPool* const thread_pool_;
Mathieu Chartier0b3eb392013-08-23 14:56:59 -07001449
1450 DISALLOW_COPY_AND_ASSIGN(ParallelCompilationManager);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001451};
1452
Jeff Hao0e49b422013-11-08 12:16:56 -08001453// Return true if the class should be skipped during compilation.
1454//
1455// The first case where we skip is for redundant class definitions in
1456// the boot classpath. We skip all but the first definition in that case.
1457//
1458// The second case where we skip is when an app bundles classes found
1459// in the boot classpath. Since at runtime we will select the class from
1460// the boot classpath, we ignore the one from the app.
Ian Rogersbe7149f2013-08-20 09:29:39 -07001461static bool SkipClass(ClassLinker* class_linker, jobject class_loader, const DexFile& dex_file,
1462 const DexFile::ClassDef& class_def) {
Jeff Hao0e49b422013-11-08 12:16:56 -08001463 const char* descriptor = dex_file.GetClassDescriptor(class_def);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001464 if (class_loader == NULL) {
Jeff Hao0e49b422013-11-08 12:16:56 -08001465 DexFile::ClassPathEntry pair = DexFile::FindInClassPath(descriptor, class_linker->GetBootClassPath());
1466 CHECK(pair.second != NULL);
1467 if (pair.first != &dex_file) {
1468 LOG(WARNING) << "Skipping class " << descriptor << " from " << dex_file.GetLocation()
1469 << " previously found in " << pair.first->GetLocation();
1470 return true;
1471 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001472 return false;
1473 }
Ian Rogersbe7149f2013-08-20 09:29:39 -07001474 return class_linker->IsInBootClassPath(descriptor);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001475}
1476
Jeff Hao0e49b422013-11-08 12:16:56 -08001477// A fast version of SkipClass above if the class pointer is available
1478// that avoids the expensive FindInClassPath search.
1479static bool SkipClass(jobject class_loader, const DexFile& dex_file, mirror::Class* klass)
1480 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1481 DCHECK(klass != NULL);
1482 const DexFile& original_dex_file = *klass->GetDexCache()->GetDexFile();
1483 if (&dex_file != &original_dex_file) {
1484 if (class_loader == NULL) {
1485 LOG(WARNING) << "Skipping class " << PrettyDescriptor(klass) << " from "
1486 << dex_file.GetLocation() << " previously found in "
1487 << original_dex_file.GetLocation();
1488 }
1489 return true;
1490 }
1491 return false;
1492}
1493
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001494static void ResolveClassFieldsAndMethods(const ParallelCompilationManager* manager,
1495 size_t class_def_index)
Brian Carlstrom7940e442013-07-12 13:46:57 -07001496 LOCKS_EXCLUDED(Locks::mutator_lock_) {
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001497 ATRACE_CALL();
Ian Rogersbe7149f2013-08-20 09:29:39 -07001498 Thread* self = Thread::Current();
1499 jobject jclass_loader = manager->GetClassLoader();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001500 const DexFile& dex_file = *manager->GetDexFile();
Ian Rogersbe7149f2013-08-20 09:29:39 -07001501 ClassLinker* class_linker = manager->GetClassLinker();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001502
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001503 // If an instance field is final then we need to have a barrier on the return, static final
1504 // fields are assigned within the lock held for class initialization. Conservatively assume
1505 // constructor barriers are always required.
1506 bool requires_constructor_barrier = true;
1507
Brian Carlstrom7940e442013-07-12 13:46:57 -07001508 // Method and Field are the worst. We can't resolve without either
1509 // context from the code use (to disambiguate virtual vs direct
1510 // method and instance vs static field) or from class
1511 // definitions. While the compiler will resolve what it can as it
1512 // needs it, here we try to resolve fields and methods used in class
1513 // definitions, since many of them many never be referenced by
1514 // generated code.
1515 const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index);
Ian Rogersbe7149f2013-08-20 09:29:39 -07001516 if (!SkipClass(class_linker, jclass_loader, dex_file, class_def)) {
Brian Carlstromcb5f5e52013-09-23 17:48:16 -07001517 ScopedObjectAccess soa(self);
Mathieu Chartier590fee92013-09-13 13:46:47 -07001518 SirtRef<mirror::ClassLoader> class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(jclass_loader));
1519 SirtRef<mirror::DexCache> dex_cache(soa.Self(), class_linker->FindDexCache(dex_file));
Brian Carlstromcb5f5e52013-09-23 17:48:16 -07001520 // Resolve the class.
1521 mirror::Class* klass = class_linker->ResolveType(dex_file, class_def.class_idx_, dex_cache,
1522 class_loader);
Brian Carlstromcb5f5e52013-09-23 17:48:16 -07001523 bool resolve_fields_and_methods;
1524 if (klass == NULL) {
1525 // Class couldn't be resolved, for example, super-class is in a different dex file. Don't
1526 // attempt to resolve methods and fields when there is no declaring class.
1527 CHECK(soa.Self()->IsExceptionPending());
1528 soa.Self()->ClearException();
1529 resolve_fields_and_methods = false;
1530 } else {
1531 resolve_fields_and_methods = manager->GetCompiler()->IsImage();
1532 }
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001533 // Note the class_data pointer advances through the headers,
1534 // static fields, instance fields, direct methods, and virtual
1535 // methods.
1536 const byte* class_data = dex_file.GetClassData(class_def);
1537 if (class_data == NULL) {
1538 // Empty class such as a marker interface.
1539 requires_constructor_barrier = false;
1540 } else {
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001541 ClassDataItemIterator it(dex_file, class_data);
1542 while (it.HasNextStaticField()) {
1543 if (resolve_fields_and_methods) {
1544 mirror::ArtField* field = class_linker->ResolveField(dex_file, it.GetMemberIndex(),
1545 dex_cache, class_loader, true);
1546 if (field == NULL) {
1547 CHECK(soa.Self()->IsExceptionPending());
1548 soa.Self()->ClearException();
1549 }
1550 }
1551 it.Next();
1552 }
1553 // We require a constructor barrier if there are final instance fields.
1554 requires_constructor_barrier = false;
1555 while (it.HasNextInstanceField()) {
1556 if ((it.GetMemberAccessFlags() & kAccFinal) != 0) {
1557 requires_constructor_barrier = true;
1558 }
1559 if (resolve_fields_and_methods) {
1560 mirror::ArtField* field = class_linker->ResolveField(dex_file, it.GetMemberIndex(),
1561 dex_cache, class_loader, false);
1562 if (field == NULL) {
1563 CHECK(soa.Self()->IsExceptionPending());
1564 soa.Self()->ClearException();
1565 }
1566 }
1567 it.Next();
1568 }
1569 if (resolve_fields_and_methods) {
1570 while (it.HasNextDirectMethod()) {
1571 mirror::ArtMethod* method = class_linker->ResolveMethod(dex_file, it.GetMemberIndex(),
1572 dex_cache, class_loader, NULL,
1573 it.GetMethodInvokeType(class_def));
1574 if (method == NULL) {
1575 CHECK(soa.Self()->IsExceptionPending());
1576 soa.Self()->ClearException();
1577 }
1578 it.Next();
1579 }
1580 while (it.HasNextVirtualMethod()) {
1581 mirror::ArtMethod* method = class_linker->ResolveMethod(dex_file, it.GetMemberIndex(),
1582 dex_cache, class_loader, NULL,
1583 it.GetMethodInvokeType(class_def));
1584 if (method == NULL) {
1585 CHECK(soa.Self()->IsExceptionPending());
1586 soa.Self()->ClearException();
1587 }
1588 it.Next();
1589 }
1590 DCHECK(!it.HasNext());
1591 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001592 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001593 }
1594 if (requires_constructor_barrier) {
Ian Rogersbe7149f2013-08-20 09:29:39 -07001595 manager->GetCompiler()->AddRequiresConstructorBarrier(self, &dex_file, class_def_index);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001596 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001597}
1598
1599static void ResolveType(const ParallelCompilationManager* manager, size_t type_idx)
1600 LOCKS_EXCLUDED(Locks::mutator_lock_) {
1601 // Class derived values are more complicated, they require the linker and loader.
1602 ScopedObjectAccess soa(Thread::Current());
1603 ClassLinker* class_linker = manager->GetClassLinker();
1604 const DexFile& dex_file = *manager->GetDexFile();
Mathieu Chartier590fee92013-09-13 13:46:47 -07001605 SirtRef<mirror::DexCache> dex_cache(soa.Self(), class_linker->FindDexCache(dex_file));
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001606 SirtRef<mirror::ClassLoader> class_loader(
1607 soa.Self(), soa.Decode<mirror::ClassLoader*>(manager->GetClassLoader()));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001608 mirror::Class* klass = class_linker->ResolveType(dex_file, type_idx, dex_cache, class_loader);
1609
1610 if (klass == NULL) {
1611 CHECK(soa.Self()->IsExceptionPending());
Ian Rogersa436fde2013-08-27 23:34:06 -07001612 mirror::Throwable* exception = soa.Self()->GetException(NULL);
1613 VLOG(compiler) << "Exception during type resolution: " << exception->Dump();
Ian Rogersdfb325e2013-10-30 01:00:44 -07001614 if (strcmp("Ljava/lang/OutOfMemoryError;",
1615 ClassHelper(exception->GetClass()).GetDescriptor()) == 0) {
Ian Rogersa436fde2013-08-27 23:34:06 -07001616 // There's little point continuing compilation if the heap is exhausted.
1617 LOG(FATAL) << "Out of memory during type resolution for compilation";
1618 }
1619 soa.Self()->ClearException();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001620 }
1621}
1622
1623void CompilerDriver::ResolveDexFile(jobject class_loader, const DexFile& dex_file,
Ian Rogers3d504072014-03-01 09:16:49 -08001624 ThreadPool* thread_pool, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001625 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
1626
1627 // TODO: we could resolve strings here, although the string table is largely filled with class
1628 // and method names.
1629
1630 ParallelCompilationManager context(class_linker, class_loader, this, &dex_file, thread_pool);
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001631 if (IsImage()) {
1632 // For images we resolve all types, such as array, whereas for applications just those with
1633 // classdefs are resolved by ResolveClassFieldsAndMethods.
Ian Rogers3d504072014-03-01 09:16:49 -08001634 timings->NewSplit("Resolve Types");
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001635 context.ForAll(0, dex_file.NumTypeIds(), ResolveType, thread_count_);
1636 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001637
Ian Rogers3d504072014-03-01 09:16:49 -08001638 timings->NewSplit("Resolve MethodsAndFields");
Brian Carlstrom7940e442013-07-12 13:46:57 -07001639 context.ForAll(0, dex_file.NumClassDefs(), ResolveClassFieldsAndMethods, thread_count_);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001640}
1641
1642void CompilerDriver::Verify(jobject class_loader, const std::vector<const DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -08001643 ThreadPool* thread_pool, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001644 for (size_t i = 0; i != dex_files.size(); ++i) {
1645 const DexFile* dex_file = dex_files[i];
1646 CHECK(dex_file != NULL);
1647 VerifyDexFile(class_loader, *dex_file, thread_pool, timings);
1648 }
1649}
1650
1651static void VerifyClass(const ParallelCompilationManager* manager, size_t class_def_index)
1652 LOCKS_EXCLUDED(Locks::mutator_lock_) {
Anwar Ghuloum67f99412013-08-12 14:19:48 -07001653 ATRACE_CALL();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001654 ScopedObjectAccess soa(Thread::Current());
Jeff Hao0e49b422013-11-08 12:16:56 -08001655 const DexFile& dex_file = *manager->GetDexFile();
1656 const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index);
1657 const char* descriptor = dex_file.GetClassDescriptor(class_def);
1658 ClassLinker* class_linker = manager->GetClassLinker();
1659 jobject jclass_loader = manager->GetClassLoader();
Mathieu Chartier590fee92013-09-13 13:46:47 -07001660 SirtRef<mirror::ClassLoader> class_loader(
1661 soa.Self(), soa.Decode<mirror::ClassLoader*>(jclass_loader));
Ian Rogers98379392014-02-24 16:53:16 -08001662 SirtRef<mirror::Class> klass(soa.Self(), class_linker->FindClass(soa.Self(), descriptor,
1663 class_loader));
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001664 if (klass.get() == nullptr) {
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001665 CHECK(soa.Self()->IsExceptionPending());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001666 soa.Self()->ClearException();
1667
1668 /*
1669 * At compile time, we can still structurally verify the class even if FindClass fails.
1670 * This is to ensure the class is structurally sound for compilation. An unsound class
1671 * will be rejected by the verifier and later skipped during compilation in the compiler.
1672 */
Mathieu Chartier590fee92013-09-13 13:46:47 -07001673 SirtRef<mirror::DexCache> dex_cache(soa.Self(), class_linker->FindDexCache(dex_file));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001674 std::string error_msg;
Mathieu Chartier590fee92013-09-13 13:46:47 -07001675 if (verifier::MethodVerifier::VerifyClass(&dex_file, dex_cache, class_loader, &class_def, true,
1676 &error_msg) ==
Brian Carlstrom7940e442013-07-12 13:46:57 -07001677 verifier::MethodVerifier::kHardFailure) {
Jeff Hao0e49b422013-11-08 12:16:56 -08001678 LOG(ERROR) << "Verification failed on class " << PrettyDescriptor(descriptor)
Brian Carlstrom7940e442013-07-12 13:46:57 -07001679 << " because: " << error_msg;
1680 }
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001681 } else if (!SkipClass(jclass_loader, dex_file, klass.get())) {
1682 CHECK(klass->IsResolved()) << PrettyClass(klass.get());
Jeff Hao0e49b422013-11-08 12:16:56 -08001683 class_linker->VerifyClass(klass);
Ian Rogerse6bb3b22013-08-19 21:51:45 -07001684
1685 if (klass->IsErroneous()) {
1686 // ClassLinker::VerifyClass throws, which isn't useful in the compiler.
1687 CHECK(soa.Self()->IsExceptionPending());
1688 soa.Self()->ClearException();
1689 }
1690
1691 CHECK(klass->IsCompileTimeVerified() || klass->IsErroneous())
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001692 << PrettyDescriptor(klass.get()) << ": state=" << klass->GetStatus();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001693 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001694 soa.Self()->AssertNoPendingException();
1695}
1696
1697void CompilerDriver::VerifyDexFile(jobject class_loader, const DexFile& dex_file,
Ian Rogers3d504072014-03-01 09:16:49 -08001698 ThreadPool* thread_pool, TimingLogger* timings) {
1699 timings->NewSplit("Verify Dex File");
Brian Carlstrom7940e442013-07-12 13:46:57 -07001700 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
1701 ParallelCompilationManager context(class_linker, class_loader, this, &dex_file, thread_pool);
1702 context.ForAll(0, dex_file.NumClassDefs(), VerifyClass, thread_count_);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001703}
1704
Brian Carlstrom7940e442013-07-12 13:46:57 -07001705static void InitializeClass(const ParallelCompilationManager* manager, size_t class_def_index)
1706 LOCKS_EXCLUDED(Locks::mutator_lock_) {
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001707 ATRACE_CALL();
Jeff Hao0e49b422013-11-08 12:16:56 -08001708 jobject jclass_loader = manager->GetClassLoader();
1709 const DexFile& dex_file = *manager->GetDexFile();
1710 const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index);
Jeff Haobcdbbfe2013-11-08 18:03:22 -08001711 const DexFile::TypeId& class_type_id = dex_file.GetTypeId(class_def.class_idx_);
1712 const char* descriptor = dex_file.StringDataByIdx(class_type_id.descriptor_idx_);
Ian Rogersfc0e94b2013-09-23 23:51:32 -07001713
Brian Carlstrom7940e442013-07-12 13:46:57 -07001714 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier590fee92013-09-13 13:46:47 -07001715 SirtRef<mirror::ClassLoader> class_loader(soa.Self(),
1716 soa.Decode<mirror::ClassLoader*>(jclass_loader));
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001717 SirtRef<mirror::Class> klass(soa.Self(),
Ian Rogers98379392014-02-24 16:53:16 -08001718 manager->GetClassLinker()->FindClass(soa.Self(), descriptor,
1719 class_loader));
Jeff Hao0e49b422013-11-08 12:16:56 -08001720
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001721 if (klass.get() != nullptr && !SkipClass(jclass_loader, dex_file, klass.get())) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001722 // Only try to initialize classes that were successfully verified.
1723 if (klass->IsVerified()) {
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001724 // Attempt to initialize the class but bail if we either need to initialize the super-class
1725 // or static fields.
1726 manager->GetClassLinker()->EnsureInitialized(klass, false, false);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001727 if (!klass->IsInitialized()) {
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001728 // We don't want non-trivial class initialization occurring on multiple threads due to
1729 // deadlock problems. For example, a parent class is initialized (holding its lock) that
1730 // refers to a sub-class in its static/class initializer causing it to try to acquire the
1731 // sub-class' lock. While on a second thread the sub-class is initialized (holding its lock)
1732 // after first initializing its parents, whose locks are acquired. This leads to a
1733 // parent-to-child and a child-to-parent lock ordering and consequent potential deadlock.
1734 // We need to use an ObjectLock due to potential suspension in the interpreting code. Rather
1735 // than use a special Object for the purpose we use the Class of java.lang.Class.
Mathieu Chartierc528dba2013-11-26 12:00:11 -08001736 SirtRef<mirror::Class> sirt_klass(soa.Self(), klass->GetClass());
1737 ObjectLock<mirror::Class> lock(soa.Self(), &sirt_klass);
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001738 // Attempt to initialize allowing initialization of parent classes but still not static
1739 // fields.
1740 manager->GetClassLinker()->EnsureInitialized(klass, false, true);
1741 if (!klass->IsInitialized()) {
1742 // We need to initialize static fields, we only do this for image classes that aren't
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001743 // marked with the $NoPreloadHolder (which implies this should not be initialized early).
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001744 bool can_init_static_fields = manager->GetCompiler()->IsImage() &&
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001745 manager->GetCompiler()->IsImageClass(descriptor) &&
1746 !StringPiece(descriptor).ends_with("$NoPreloadHolder;");
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001747 if (can_init_static_fields) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001748 VLOG(compiler) << "Initializing: " << descriptor;
1749 if (strcmp("Ljava/lang/Void;", descriptor) == 0) {
1750 // Hand initialize j.l.Void to avoid Dex file operations in un-started runtime.
1751 ObjectLock<mirror::Class> lock(soa.Self(), &klass);
1752 mirror::ObjectArray<mirror::ArtField>* fields = klass->GetSFields();
1753 CHECK_EQ(fields->GetLength(), 1);
1754 fields->Get(0)->SetObj<false>(klass.get(),
1755 manager->GetClassLinker()->FindPrimitiveClass('V'));
1756 klass->SetStatus(mirror::Class::kStatusInitialized, soa.Self());
1757 } else {
1758 // TODO multithreading support. We should ensure the current compilation thread has
1759 // exclusive access to the runtime and the transaction. To achieve this, we could use
1760 // a ReaderWriterMutex but we're holding the mutator lock so we fail mutex sanity
1761 // checks in Thread::AssertThreadSuspensionIsAllowable.
1762 Runtime* const runtime = Runtime::Current();
1763 Transaction transaction;
1764
1765 // Run the class initializer in transaction mode.
1766 runtime->EnterTransactionMode(&transaction);
1767 const mirror::Class::Status old_status = klass->GetStatus();
1768 bool success = manager->GetClassLinker()->EnsureInitialized(klass, true, true);
1769 // TODO we detach transaction from runtime to indicate we quit the transactional
1770 // mode which prevents the GC from visiting objects modified during the transaction.
1771 // Ensure GC is not run so don't access freed objects when aborting transaction.
1772 const char* old_casue = soa.Self()->StartAssertNoThreadSuspension("Transaction end");
1773 runtime->ExitTransactionMode();
1774
1775 if (!success) {
1776 CHECK(soa.Self()->IsExceptionPending());
1777 ThrowLocation throw_location;
1778 mirror::Throwable* exception = soa.Self()->GetException(&throw_location);
1779 VLOG(compiler) << "Initialization of " << descriptor << " aborted because of "
1780 << exception->Dump();
1781 soa.Self()->ClearException();
1782 transaction.Abort();
1783 CHECK_EQ(old_status, klass->GetStatus()) << "Previous class status not restored";
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001784 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001785 soa.Self()->EndAssertNoThreadSuspension(old_casue);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001786 }
1787 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001788 }
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001789 soa.Self()->AssertNoPendingException();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001790 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001791 }
1792 // Record the final class status if necessary.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001793 ClassReference ref(manager->GetDexFile(), class_def_index);
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001794 manager->GetCompiler()->RecordClassStatus(ref, klass->GetStatus());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001795 }
1796 // Clear any class not found or verification exceptions.
1797 soa.Self()->ClearException();
1798}
1799
1800void CompilerDriver::InitializeClasses(jobject jni_class_loader, const DexFile& dex_file,
Ian Rogers3d504072014-03-01 09:16:49 -08001801 ThreadPool* thread_pool, TimingLogger* timings) {
1802 timings->NewSplit("InitializeNoClinit");
Brian Carlstrom7940e442013-07-12 13:46:57 -07001803 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
1804 ParallelCompilationManager context(class_linker, jni_class_loader, this, &dex_file, thread_pool);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001805 size_t thread_count;
1806 if (IsImage()) {
1807 // TODO: remove this when transactional mode supports multithreading.
1808 thread_count = 1U;
1809 } else {
1810 thread_count = thread_count_;
1811 }
1812 context.ForAll(0, dex_file.NumClassDefs(), InitializeClass, thread_count);
1813 if (IsImage()) {
1814 // Prune garbage objects created during aborted transactions.
1815 Runtime::Current()->GetHeap()->CollectGarbage(true);
1816 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001817}
1818
1819void CompilerDriver::InitializeClasses(jobject class_loader,
1820 const std::vector<const DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -08001821 ThreadPool* thread_pool, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001822 for (size_t i = 0; i != dex_files.size(); ++i) {
1823 const DexFile* dex_file = dex_files[i];
1824 CHECK(dex_file != NULL);
1825 InitializeClasses(class_loader, *dex_file, thread_pool, timings);
1826 }
1827}
1828
1829void CompilerDriver::Compile(jobject class_loader, const std::vector<const DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -08001830 ThreadPool* thread_pool, TimingLogger* timings) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001831 for (size_t i = 0; i != dex_files.size(); ++i) {
1832 const DexFile* dex_file = dex_files[i];
1833 CHECK(dex_file != NULL);
1834 CompileDexFile(class_loader, *dex_file, thread_pool, timings);
1835 }
1836}
1837
1838void CompilerDriver::CompileClass(const ParallelCompilationManager* manager, size_t class_def_index) {
Anwar Ghuloum67f99412013-08-12 14:19:48 -07001839 ATRACE_CALL();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001840 jobject jclass_loader = manager->GetClassLoader();
1841 const DexFile& dex_file = *manager->GetDexFile();
1842 const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index);
Ian Rogersbe7149f2013-08-20 09:29:39 -07001843 ClassLinker* class_linker = manager->GetClassLinker();
1844 if (SkipClass(class_linker, jclass_loader, dex_file, class_def)) {
1845 return;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001846 }
1847 ClassReference ref(&dex_file, class_def_index);
1848 // Skip compiling classes with generic verifier failures since they will still fail at runtime
Vladimir Markoc7f83202014-01-24 17:55:18 +00001849 if (manager->GetCompiler()->verification_results_->IsClassRejected(ref)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001850 return;
1851 }
1852 const byte* class_data = dex_file.GetClassData(class_def);
1853 if (class_data == NULL) {
1854 // empty class, probably a marker interface
1855 return;
1856 }
Anwar Ghuloum67f99412013-08-12 14:19:48 -07001857
Brian Carlstrom7940e442013-07-12 13:46:57 -07001858 // Can we run DEX-to-DEX compiler on this class ?
Sebastien Hertz75021222013-07-16 18:34:50 +02001859 DexToDexCompilationLevel dex_to_dex_compilation_level = kDontDexToDexCompile;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001860 {
1861 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier590fee92013-09-13 13:46:47 -07001862 SirtRef<mirror::ClassLoader> class_loader(soa.Self(),
1863 soa.Decode<mirror::ClassLoader*>(jclass_loader));
Ian Rogers98379392014-02-24 16:53:16 -08001864 dex_to_dex_compilation_level = GetDexToDexCompilationlevel(soa.Self(), class_loader, dex_file,
1865 class_def);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001866 }
1867 ClassDataItemIterator it(dex_file, class_data);
1868 // Skip fields
1869 while (it.HasNextStaticField()) {
1870 it.Next();
1871 }
1872 while (it.HasNextInstanceField()) {
1873 it.Next();
1874 }
Ian Rogersbe7149f2013-08-20 09:29:39 -07001875 CompilerDriver* driver = manager->GetCompiler();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001876 // Compile direct methods
1877 int64_t previous_direct_method_idx = -1;
1878 while (it.HasNextDirectMethod()) {
1879 uint32_t method_idx = it.GetMemberIndex();
1880 if (method_idx == previous_direct_method_idx) {
1881 // smali can create dex files with two encoded_methods sharing the same method_idx
1882 // http://code.google.com/p/smali/issues/detail?id=119
1883 it.Next();
1884 continue;
1885 }
1886 previous_direct_method_idx = method_idx;
Ian Rogersbe7149f2013-08-20 09:29:39 -07001887 driver->CompileMethod(it.GetMethodCodeItem(), it.GetMemberAccessFlags(),
1888 it.GetMethodInvokeType(class_def), class_def_index,
1889 method_idx, jclass_loader, dex_file, dex_to_dex_compilation_level);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001890 it.Next();
1891 }
1892 // Compile virtual methods
1893 int64_t previous_virtual_method_idx = -1;
1894 while (it.HasNextVirtualMethod()) {
1895 uint32_t method_idx = it.GetMemberIndex();
1896 if (method_idx == previous_virtual_method_idx) {
1897 // smali can create dex files with two encoded_methods sharing the same method_idx
1898 // http://code.google.com/p/smali/issues/detail?id=119
1899 it.Next();
1900 continue;
1901 }
1902 previous_virtual_method_idx = method_idx;
Ian Rogersbe7149f2013-08-20 09:29:39 -07001903 driver->CompileMethod(it.GetMethodCodeItem(), it.GetMemberAccessFlags(),
1904 it.GetMethodInvokeType(class_def), class_def_index,
1905 method_idx, jclass_loader, dex_file, dex_to_dex_compilation_level);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001906 it.Next();
1907 }
1908 DCHECK(!it.HasNext());
1909}
1910
1911void CompilerDriver::CompileDexFile(jobject class_loader, const DexFile& dex_file,
Ian Rogers3d504072014-03-01 09:16:49 -08001912 ThreadPool* thread_pool, TimingLogger* timings) {
1913 timings->NewSplit("Compile Dex File");
Ian Rogersbe7149f2013-08-20 09:29:39 -07001914 ParallelCompilationManager context(Runtime::Current()->GetClassLinker(), class_loader, this,
1915 &dex_file, thread_pool);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001916 context.ForAll(0, dex_file.NumClassDefs(), CompilerDriver::CompileClass, thread_count_);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001917}
1918
1919void CompilerDriver::CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags,
Ian Rogers8b2c0b92013-09-19 02:56:49 -07001920 InvokeType invoke_type, uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -07001921 uint32_t method_idx, jobject class_loader,
1922 const DexFile& dex_file,
Sebastien Hertz75021222013-07-16 18:34:50 +02001923 DexToDexCompilationLevel dex_to_dex_compilation_level) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001924 CompiledMethod* compiled_method = NULL;
1925 uint64_t start_ns = NanoTime();
1926
1927 if ((access_flags & kAccNative) != 0) {
Andreas Gampe2da88232014-02-27 12:26:20 -08001928#if defined(__x86_64__)
1929 // leaving this empty will trigger the generic JNI version
1930#else
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00001931 compiled_method = compiler_backend_->JniCompile(*this, access_flags, method_idx, dex_file);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001932 CHECK(compiled_method != NULL);
Andreas Gampe2da88232014-02-27 12:26:20 -08001933#endif
Brian Carlstrom7940e442013-07-12 13:46:57 -07001934 } else if ((access_flags & kAccAbstract) != 0) {
1935 } else {
Dragos Sbirlea90af14d2013-08-15 17:50:16 -07001936 MethodReference method_ref(&dex_file, method_idx);
Brian Carlstrom6449c622014-02-10 23:48:36 -08001937 bool compile = verification_results_->IsCandidateForCompilation(method_ref, access_flags);
Dragos Sbirleabd136a22013-08-13 18:07:04 -07001938
Sebastien Hertz4d4adb12013-07-24 16:14:19 +02001939 if (compile) {
buzbeea024a062013-07-31 10:47:37 -07001940 // NOTE: if compiler declines to compile this method, it will return NULL.
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00001941 compiled_method = compiler_backend_->Compile(
1942 *this, code_item, access_flags, invoke_type, class_def_idx,
1943 method_idx, class_loader, dex_file);
Sebastien Hertz75021222013-07-16 18:34:50 +02001944 } else if (dex_to_dex_compilation_level != kDontDexToDexCompile) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001945 // TODO: add a mode to disable DEX-to-DEX compilation ?
Sebastien Hertz75021222013-07-16 18:34:50 +02001946 (*dex_to_dex_compiler_)(*this, code_item, access_flags,
1947 invoke_type, class_def_idx,
1948 method_idx, class_loader, dex_file,
1949 dex_to_dex_compilation_level);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001950 }
1951 }
1952 uint64_t duration_ns = NanoTime() - start_ns;
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00001953 if (duration_ns > MsToNs(compiler_backend_->GetMaximumCompilationTimeBeforeWarning())) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001954 LOG(WARNING) << "Compilation of " << PrettyMethod(method_idx, dex_file)
1955 << " took " << PrettyDuration(duration_ns);
1956 }
1957
1958 Thread* self = Thread::Current();
1959 if (compiled_method != NULL) {
1960 MethodReference ref(&dex_file, method_idx);
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001961 DCHECK(GetCompiledMethod(ref) == NULL) << PrettyMethod(method_idx, dex_file);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001962 {
1963 MutexLock mu(self, compiled_methods_lock_);
1964 compiled_methods_.Put(ref, compiled_method);
1965 }
1966 DCHECK(GetCompiledMethod(ref) != NULL) << PrettyMethod(method_idx, dex_file);
1967 }
1968
1969 if (self->IsExceptionPending()) {
1970 ScopedObjectAccess soa(self);
1971 LOG(FATAL) << "Unexpected exception compiling: " << PrettyMethod(method_idx, dex_file) << "\n"
1972 << self->GetException(NULL)->Dump();
1973 }
1974}
1975
1976CompiledClass* CompilerDriver::GetCompiledClass(ClassReference ref) const {
1977 MutexLock mu(Thread::Current(), compiled_classes_lock_);
1978 ClassTable::const_iterator it = compiled_classes_.find(ref);
1979 if (it == compiled_classes_.end()) {
1980 return NULL;
1981 }
1982 CHECK(it->second != NULL);
1983 return it->second;
1984}
1985
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07001986void CompilerDriver::RecordClassStatus(ClassReference ref, mirror::Class::Status status) {
1987 MutexLock mu(Thread::Current(), compiled_classes_lock_);
1988 auto it = compiled_classes_.find(ref);
1989 if (it == compiled_classes_.end() || it->second->GetStatus() != status) {
1990 // An entry doesn't exist or the status is lower than the new status.
1991 if (it != compiled_classes_.end()) {
1992 CHECK_GT(status, it->second->GetStatus());
1993 delete it->second;
1994 }
1995 switch (status) {
1996 case mirror::Class::kStatusNotReady:
1997 case mirror::Class::kStatusError:
1998 case mirror::Class::kStatusRetryVerificationAtRuntime:
1999 case mirror::Class::kStatusVerified:
2000 case mirror::Class::kStatusInitialized:
2001 break; // Expected states.
2002 default:
2003 LOG(FATAL) << "Unexpected class status for class "
2004 << PrettyDescriptor(ref.first->GetClassDescriptor(ref.first->GetClassDef(ref.second)))
2005 << " of " << status;
2006 }
2007 CompiledClass* compiled_class = new CompiledClass(status);
2008 compiled_classes_.Overwrite(ref, compiled_class);
2009 }
2010}
2011
Brian Carlstrom7940e442013-07-12 13:46:57 -07002012CompiledMethod* CompilerDriver::GetCompiledMethod(MethodReference ref) const {
2013 MutexLock mu(Thread::Current(), compiled_methods_lock_);
2014 MethodTable::const_iterator it = compiled_methods_.find(ref);
2015 if (it == compiled_methods_.end()) {
2016 return NULL;
2017 }
2018 CHECK(it->second != NULL);
2019 return it->second;
2020}
2021
Brian Carlstrom7940e442013-07-12 13:46:57 -07002022void CompilerDriver::AddRequiresConstructorBarrier(Thread* self, const DexFile* dex_file,
Ian Rogers8b2c0b92013-09-19 02:56:49 -07002023 uint16_t class_def_index) {
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07002024 WriterMutexLock mu(self, freezing_constructor_lock_);
Brian Carlstrom7940e442013-07-12 13:46:57 -07002025 freezing_constructor_classes_.insert(ClassReference(dex_file, class_def_index));
2026}
2027
2028bool CompilerDriver::RequiresConstructorBarrier(Thread* self, const DexFile* dex_file,
Ian Rogers8b2c0b92013-09-19 02:56:49 -07002029 uint16_t class_def_index) {
Ian Rogers8f3c9ae2013-08-20 17:26:41 -07002030 ReaderMutexLock mu(self, freezing_constructor_lock_);
Brian Carlstrom7940e442013-07-12 13:46:57 -07002031 return freezing_constructor_classes_.count(ClassReference(dex_file, class_def_index)) != 0;
2032}
2033
2034bool CompilerDriver::WriteElf(const std::string& android_root,
2035 bool is_host,
2036 const std::vector<const art::DexFile*>& dex_files,
Ian Rogers3d504072014-03-01 09:16:49 -08002037 OatWriter* oat_writer,
Brian Carlstrom7940e442013-07-12 13:46:57 -07002038 art::File* file)
2039 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +00002040 return compiler_backend_->WriteElf(file, oat_writer, dex_files, android_root, is_host, *this);
Brian Carlstrom7940e442013-07-12 13:46:57 -07002041}
2042void CompilerDriver::InstructionSetToLLVMTarget(InstructionSet instruction_set,
Ian Rogers3d504072014-03-01 09:16:49 -08002043 std::string* target_triple,
2044 std::string* target_cpu,
2045 std::string* target_attr) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07002046 switch (instruction_set) {
2047 case kThumb2:
Ian Rogers3d504072014-03-01 09:16:49 -08002048 *target_triple = "thumb-none-linux-gnueabi";
2049 *target_cpu = "cortex-a9";
2050 *target_attr = "+thumb2,+neon,+neonfp,+vfp3,+db";
Brian Carlstrom7940e442013-07-12 13:46:57 -07002051 break;
2052
2053 case kArm:
Ian Rogers3d504072014-03-01 09:16:49 -08002054 *target_triple = "armv7-none-linux-gnueabi";
Brian Carlstrom7940e442013-07-12 13:46:57 -07002055 // TODO: Fix for Nexus S.
Ian Rogers3d504072014-03-01 09:16:49 -08002056 *target_cpu = "cortex-a9";
Brian Carlstrom7940e442013-07-12 13:46:57 -07002057 // TODO: Fix for Xoom.
Ian Rogers3d504072014-03-01 09:16:49 -08002058 *target_attr = "+v7,+neon,+neonfp,+vfp3,+db";
Brian Carlstrom7940e442013-07-12 13:46:57 -07002059 break;
2060
2061 case kX86:
Ian Rogers3d504072014-03-01 09:16:49 -08002062 *target_triple = "i386-pc-linux-gnu";
2063 *target_attr = "";
Brian Carlstrom7940e442013-07-12 13:46:57 -07002064 break;
2065
2066 case kMips:
Ian Rogers3d504072014-03-01 09:16:49 -08002067 *target_triple = "mipsel-unknown-linux";
2068 *target_attr = "mips32r2";
Brian Carlstrom7940e442013-07-12 13:46:57 -07002069 break;
2070
2071 default:
2072 LOG(FATAL) << "Unknown instruction set: " << instruction_set;
2073 }
2074 }
2075} // namespace art