compiler_driver.h revision 7f43a3d48fc29045875d50e10bbc5d6ffc25d61e 
1/*
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#ifndef ART_COMPILER_DRIVER_COMPILER_DRIVER_H_
18#define ART_COMPILER_DRIVER_COMPILER_DRIVER_H_
19
20#include <set>
21#include <string>
22#include <unordered_set>
23#include <vector>
24
25#include "arch/instruction_set.h"
26#include "base/arena_allocator.h"
27#include "base/bit_utils.h"
28#include "base/mutex.h"
29#include "base/timing_logger.h"
30#include "class_reference.h"
31#include "compiler.h"
32#include "dex_file.h"
33#include "driver/compiled_method_storage.h"
34#include "invoke_type.h"
35#include "method_reference.h"
36#include "mirror/class.h"  // For mirror::Class::Status.
37#include "os.h"
38#include "profiler.h"
39#include "runtime.h"
40#include "safe_map.h"
41#include "thread_pool.h"
42#include "utils/dex_cache_arrays_layout.h"
43
44namespace art {
45
46namespace mirror {
47class DexCache;
48}  // namespace mirror
49
50namespace verifier {
51class MethodVerifier;
52}  // namespace verifier
53
54class CompiledClass;
55class CompiledMethod;
56class CompilerOptions;
57class DexCompilationUnit;
58class DexFileToMethodInlinerMap;
59struct InlineIGetIPutData;
60class InstructionSetFeatures;
61class OatWriter;
62class ParallelCompilationManager;
63class ScopedObjectAccess;
64template <class Allocator> class SrcMap;
65class SrcMapElem;
66using SwapSrcMap = SrcMap<SwapAllocator<SrcMapElem>>;
67template<class T> class Handle;
68class TimingLogger;
69class VerificationResults;
70class VerifiedMethod;
71
72enum EntryPointCallingConvention {
73  // ABI of invocations to a method's interpreter entry point.
74  kInterpreterAbi,
75  // ABI of calls to a method's native code, only used for native methods.
76  kJniAbi,
77  // ABI of calls to a method's quick code entry point.
78  kQuickAbi
79};
80
81class CompilerDriver {
82 public:
83  // Create a compiler targeting the requested "instruction_set".
84  // "image" should be true if image specific optimizations should be
85  // enabled.  "image_classes" lets the compiler know what classes it
86  // can assume will be in the image, with null implying all available
87  // classes.
88  CompilerDriver(const CompilerOptions* compiler_options,
89                 VerificationResults* verification_results,
90                 DexFileToMethodInlinerMap* method_inliner_map,
91                 Compiler::Kind compiler_kind,
92                 InstructionSet instruction_set,
93                 const InstructionSetFeatures* instruction_set_features,
94                 bool image, std::unordered_set<std::string>* image_classes,
95                 std::unordered_set<std::string>* compiled_classes,
96                 std::unordered_set<std::string>* compiled_methods,
97                 size_t thread_count, bool dump_stats, bool dump_passes,
98                 const std::string& dump_cfg_file_name, bool dump_cfg_append,
99                 CumulativeLogger* timer, int swap_fd,
100                 const std::string& profile_file);
101
102  ~CompilerDriver();
103
104  void CompileAll(jobject class_loader, const std::vector<const DexFile*>& dex_files,
105                  TimingLogger* timings)
106      REQUIRES(!Locks::mutator_lock_, !compiled_classes_lock_);
107
108  CompiledMethod* CompileArtMethod(Thread* self, ArtMethod*)
109      SHARED_REQUIRES(Locks::mutator_lock_) REQUIRES(!compiled_methods_lock_) WARN_UNUSED;
110
111  // Compile a single Method.
112  void CompileOne(Thread* self, ArtMethod* method, TimingLogger* timings)
113      SHARED_REQUIRES(Locks::mutator_lock_)
114      REQUIRES(!compiled_methods_lock_, !compiled_classes_lock_);
115
116  VerificationResults* GetVerificationResults() const {
117    return verification_results_;
118  }
119
120  DexFileToMethodInlinerMap* GetMethodInlinerMap() const {
121    return method_inliner_map_;
122  }
123
124  InstructionSet GetInstructionSet() const {
125    return instruction_set_;
126  }
127
128  const InstructionSetFeatures* GetInstructionSetFeatures() const {
129    return instruction_set_features_;
130  }
131
132  const CompilerOptions& GetCompilerOptions() const {
133    return *compiler_options_;
134  }
135
136  Compiler* GetCompiler() const {
137    return compiler_.get();
138  }
139
140  bool ProfilePresent() const {
141    return profile_present_;
142  }
143
144  // Are we compiling and creating an image file?
145  bool IsImage() const {
146    return image_;
147  }
148
149  const std::unordered_set<std::string>* GetImageClasses() const {
150    return image_classes_.get();
151  }
152
153  // Generate the trampolines that are invoked by unresolved direct methods.
154  const std::vector<uint8_t>* CreateJniDlsymLookup() const
155      SHARED_REQUIRES(Locks::mutator_lock_);
156  const std::vector<uint8_t>* CreateQuickGenericJniTrampoline() const
157      SHARED_REQUIRES(Locks::mutator_lock_);
158  const std::vector<uint8_t>* CreateQuickImtConflictTrampoline() const
159      SHARED_REQUIRES(Locks::mutator_lock_);
160  const std::vector<uint8_t>* CreateQuickResolutionTrampoline() const
161      SHARED_REQUIRES(Locks::mutator_lock_);
162  const std::vector<uint8_t>* CreateQuickToInterpreterBridge() const
163      SHARED_REQUIRES(Locks::mutator_lock_);
164
165  CompiledClass* GetCompiledClass(ClassReference ref) const
166      REQUIRES(!compiled_classes_lock_);
167
168  CompiledMethod* GetCompiledMethod(MethodReference ref) const
169      REQUIRES(!compiled_methods_lock_);
170  size_t GetNonRelativeLinkerPatchCount() const
171      REQUIRES(!compiled_methods_lock_);
172
173  // Add a compiled method.
174  void AddCompiledMethod(const MethodReference& method_ref,
175                         CompiledMethod* const compiled_method,
176                         size_t non_relative_linker_patch_count)
177      REQUIRES(!compiled_methods_lock_);
178  // Remove and delete a compiled method.
179  void RemoveCompiledMethod(const MethodReference& method_ref) REQUIRES(!compiled_methods_lock_);
180
181  void AddRequiresConstructorBarrier(Thread* self, const DexFile* dex_file,
182                                     uint16_t class_def_index)
183      REQUIRES(!freezing_constructor_lock_);
184  bool RequiresConstructorBarrier(Thread* self, const DexFile* dex_file,
185                                  uint16_t class_def_index) const
186      REQUIRES(!freezing_constructor_lock_);
187
188  // Callbacks from compiler to see what runtime checks must be generated.
189
190  bool CanAssumeTypeIsPresentInDexCache(const DexFile& dex_file, uint32_t type_idx);
191
192  bool CanAssumeStringIsPresentInDexCache(const DexFile& dex_file, uint32_t string_idx)
193      REQUIRES(!Locks::mutator_lock_);
194
195  // Are runtime access checks necessary in the compiled code?
196  bool CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexFile& dex_file,
197                                  uint32_t type_idx, bool* type_known_final = nullptr,
198                                  bool* type_known_abstract = nullptr,
199                                  bool* equals_referrers_class = nullptr)
200      REQUIRES(!Locks::mutator_lock_);
201
202  // Are runtime access and instantiable checks necessary in the code?
203  bool CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx,
204                                              const DexFile& dex_file,
205                                              uint32_t type_idx,
206                                              bool* finalizable)
207      REQUIRES(!Locks::mutator_lock_);
208
209  bool CanEmbedTypeInCode(const DexFile& dex_file, uint32_t type_idx,
210                          bool* is_type_initialized, bool* use_direct_type_ptr,
211                          uintptr_t* direct_type_ptr, bool* out_is_finalizable);
212
213  // Query methods for the java.lang.ref.Reference class.
214  bool CanEmbedReferenceTypeInCode(ClassReference* ref,
215                                   bool* use_direct_type_ptr, uintptr_t* direct_type_ptr);
216  uint32_t GetReferenceSlowFlagOffset() const;
217  uint32_t GetReferenceDisableFlagOffset() const;
218
219  // Get the DexCache for the
220  mirror::DexCache* GetDexCache(const DexCompilationUnit* mUnit)
221    SHARED_REQUIRES(Locks::mutator_lock_);
222
223  mirror::ClassLoader* GetClassLoader(const ScopedObjectAccess& soa,
224                                      const DexCompilationUnit* mUnit)
225    SHARED_REQUIRES(Locks::mutator_lock_);
226
227  // Resolve compiling method's class. Returns null on failure.
228  mirror::Class* ResolveCompilingMethodsClass(
229      const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
230      Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit)
231      SHARED_REQUIRES(Locks::mutator_lock_);
232
233  mirror::Class* ResolveClass(
234      const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
235      Handle<mirror::ClassLoader> class_loader, uint16_t type_index,
236      const DexCompilationUnit* mUnit)
237      SHARED_REQUIRES(Locks::mutator_lock_);
238
239  // Resolve a field. Returns null on failure, including incompatible class change.
240  // NOTE: Unlike ClassLinker's ResolveField(), this method enforces is_static.
241  ArtField* ResolveField(
242      const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
243      Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
244      uint32_t field_idx, bool is_static)
245      SHARED_REQUIRES(Locks::mutator_lock_);
246
247  // Resolve a field with a given dex file.
248  ArtField* ResolveFieldWithDexFile(
249      const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
250      Handle<mirror::ClassLoader> class_loader, const DexFile* dex_file,
251      uint32_t field_idx, bool is_static)
252      SHARED_REQUIRES(Locks::mutator_lock_);
253
254  // Get declaration location of a resolved field.
255  void GetResolvedFieldDexFileLocation(
256      ArtField* resolved_field, const DexFile** declaring_dex_file,
257      uint16_t* declaring_class_idx, uint16_t* declaring_field_idx)
258      SHARED_REQUIRES(Locks::mutator_lock_);
259
260  bool IsFieldVolatile(ArtField* field) SHARED_REQUIRES(Locks::mutator_lock_);
261  MemberOffset GetFieldOffset(ArtField* field) SHARED_REQUIRES(Locks::mutator_lock_);
262
263  // Find a dex cache for a dex file.
264  inline mirror::DexCache* FindDexCache(const DexFile* dex_file)
265      SHARED_REQUIRES(Locks::mutator_lock_);
266
267  // Can we fast-path an IGET/IPUT access to an instance field? If yes, compute the field offset.
268  std::pair<bool, bool> IsFastInstanceField(
269      mirror::DexCache* dex_cache, mirror::Class* referrer_class,
270      ArtField* resolved_field, uint16_t field_idx)
271      SHARED_REQUIRES(Locks::mutator_lock_);
272
273  // Can we fast-path an SGET/SPUT access to a static field? If yes, compute the type index
274  // of the declaring class in the referrer's dex file.
275  std::pair<bool, bool> IsFastStaticField(
276      mirror::DexCache* dex_cache, mirror::Class* referrer_class,
277      ArtField* resolved_field, uint16_t field_idx, uint32_t* storage_index)
278      SHARED_REQUIRES(Locks::mutator_lock_);
279
280  // Return whether the declaring class of `resolved_method` is
281  // available to `referrer_class`. If this is true, compute the type
282  // index of the declaring class in the referrer's dex file and
283  // return it through the out argument `storage_index`; otherwise
284  // return DexFile::kDexNoIndex through `storage_index`.
285  bool IsClassOfStaticMethodAvailableToReferrer(mirror::DexCache* dex_cache,
286                                                mirror::Class* referrer_class,
287                                                ArtMethod* resolved_method,
288                                                uint16_t method_idx,
289                                                uint32_t* storage_index)
290      SHARED_REQUIRES(Locks::mutator_lock_);
291
292  // Is static field's in referrer's class?
293  bool IsStaticFieldInReferrerClass(mirror::Class* referrer_class, ArtField* resolved_field)
294      SHARED_REQUIRES(Locks::mutator_lock_);
295
296  // Is static field's class initialized?
297  bool IsStaticFieldsClassInitialized(mirror::Class* referrer_class,
298                                      ArtField* resolved_field)
299      SHARED_REQUIRES(Locks::mutator_lock_);
300
301  // Resolve a method. Returns null on failure, including incompatible class change.
302  ArtMethod* ResolveMethod(
303      ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
304      Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
305      uint32_t method_idx, InvokeType invoke_type, bool check_incompatible_class_change = true)
306      SHARED_REQUIRES(Locks::mutator_lock_);
307
308  // Get declaration location of a resolved field.
309  void GetResolvedMethodDexFileLocation(
310      ArtMethod* resolved_method, const DexFile** declaring_dex_file,
311      uint16_t* declaring_class_idx, uint16_t* declaring_method_idx)
312      SHARED_REQUIRES(Locks::mutator_lock_);
313
314  // Get the index in the vtable of the method.
315  uint16_t GetResolvedMethodVTableIndex(
316      ArtMethod* resolved_method, InvokeType type)
317      SHARED_REQUIRES(Locks::mutator_lock_);
318
319  // Can we fast-path an INVOKE? If no, returns 0. If yes, returns a non-zero opaque flags value
320  // for ProcessedInvoke() and computes the necessary lowering info.
321  int IsFastInvoke(
322      ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
323      Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
324      mirror::Class* referrer_class, ArtMethod* resolved_method, InvokeType* invoke_type,
325      MethodReference* target_method, const MethodReference* devirt_target,
326      uintptr_t* direct_code, uintptr_t* direct_method)
327      SHARED_REQUIRES(Locks::mutator_lock_);
328
329  // Is method's class initialized for an invoke?
330  // For static invokes to determine whether we need to consider potential call to <clinit>().
331  // For non-static invokes, assuming a non-null reference, the class is always initialized.
332  bool IsMethodsClassInitialized(mirror::Class* referrer_class, ArtMethod* resolved_method)
333      SHARED_REQUIRES(Locks::mutator_lock_);
334
335  // Get the layout of dex cache arrays for a dex file. Returns invalid layout if the
336  // dex cache arrays don't have a fixed layout.
337  DexCacheArraysLayout GetDexCacheArraysLayout(const DexFile* dex_file);
338
339  void ProcessedInstanceField(bool resolved);
340  void ProcessedStaticField(bool resolved, bool local);
341  void ProcessedInvoke(InvokeType invoke_type, int flags);
342
343  void ComputeFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit,
344                        const ScopedObjectAccess& soa, bool is_static,
345                        ArtField** resolved_field,
346                        mirror::Class** referrer_class,
347                        mirror::DexCache** dex_cache)
348      SHARED_REQUIRES(Locks::mutator_lock_);
349
350  // Can we fast path instance field access? Computes field's offset and volatility.
351  bool ComputeInstanceFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, bool is_put,
352                                MemberOffset* field_offset, bool* is_volatile)
353      REQUIRES(!Locks::mutator_lock_);
354
355  ArtField* ComputeInstanceFieldInfo(uint32_t field_idx,
356                                             const DexCompilationUnit* mUnit,
357                                             bool is_put,
358                                             const ScopedObjectAccess& soa)
359      SHARED_REQUIRES(Locks::mutator_lock_);
360
361
362  // Can we fastpath static field access? Computes field's offset, volatility and whether the
363  // field is within the referrer (which can avoid checking class initialization).
364  bool ComputeStaticFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, bool is_put,
365                              MemberOffset* field_offset, uint32_t* storage_index,
366                              bool* is_referrers_class, bool* is_volatile, bool* is_initialized,
367                              Primitive::Type* type)
368      REQUIRES(!Locks::mutator_lock_);
369
370  // Can we fastpath a interface, super class or virtual method call? Computes method's vtable
371  // index.
372  bool ComputeInvokeInfo(const DexCompilationUnit* mUnit, const uint32_t dex_pc,
373                         bool update_stats, bool enable_devirtualization,
374                         InvokeType* type, MethodReference* target_method, int* vtable_idx,
375                         uintptr_t* direct_code, uintptr_t* direct_method)
376      REQUIRES(!Locks::mutator_lock_);
377
378  const VerifiedMethod* GetVerifiedMethod(const DexFile* dex_file, uint32_t method_idx) const;
379  bool IsSafeCast(const DexCompilationUnit* mUnit, uint32_t dex_pc);
380
381  bool GetSupportBootImageFixup() const {
382    return support_boot_image_fixup_;
383  }
384
385  void SetSupportBootImageFixup(bool support_boot_image_fixup) {
386    support_boot_image_fixup_ = support_boot_image_fixup;
387  }
388
389  bool WriteElf(const std::string& android_root,
390                bool is_host,
391                const std::vector<const DexFile*>& dex_files,
392                OatWriter* oat_writer,
393                File* file);
394
395  void SetCompilerContext(void* compiler_context) {
396    compiler_context_ = compiler_context;
397  }
398
399  void* GetCompilerContext() const {
400    return compiler_context_;
401  }
402
403  size_t GetThreadCount() const {
404    return thread_count_;
405  }
406
407  bool GetDumpStats() const {
408    return dump_stats_;
409  }
410
411  bool GetDumpPasses() const {
412    return dump_passes_;
413  }
414
415  const std::string& GetDumpCfgFileName() const {
416    return dump_cfg_file_name_;
417  }
418
419  bool GetDumpCfgAppend() const {
420    return dump_cfg_append_;
421  }
422
423  CumulativeLogger* GetTimingsLogger() const {
424    return timings_logger_;
425  }
426
427  void SetDedupeEnabled(bool dedupe_enabled) {
428    compiled_method_storage_.SetDedupeEnabled(dedupe_enabled);
429  }
430  bool DedupeEnabled() const {
431    return compiled_method_storage_.DedupeEnabled();
432  }
433
434  // Checks if class specified by type_idx is one of the image_classes_
435  bool IsImageClass(const char* descriptor) const;
436
437  // Checks whether the provided class should be compiled, i.e., is in classes_to_compile_.
438  bool IsClassToCompile(const char* descriptor) const;
439
440  // Checks whether the provided method should be compiled, i.e., is in method_to_compile_.
441  bool IsMethodToCompile(const MethodReference& method_ref) const;
442
443  void RecordClassStatus(ClassReference ref, mirror::Class::Status status)
444      REQUIRES(!compiled_classes_lock_);
445
446  // Checks if the specified method has been verified without failures. Returns
447  // false if the method is not in the verification results (GetVerificationResults).
448  bool IsMethodVerifiedWithoutFailures(uint32_t method_idx,
449                                       uint16_t class_def_idx,
450                                       const DexFile& dex_file) const;
451
452  // Should the compiler run on this method given profile information?
453  bool SkipCompilation(const std::string& method_name);
454
455  // Get memory usage during compilation.
456  std::string GetMemoryUsageString(bool extended) const;
457
458  bool IsStringTypeIndex(uint16_t type_index, const DexFile* dex_file);
459  bool IsStringInit(uint32_t method_index, const DexFile* dex_file, int32_t* offset);
460
461  void SetHadHardVerifierFailure() {
462    had_hard_verifier_failure_ = true;
463  }
464
465  Compiler::Kind GetCompilerKind() {
466    return compiler_kind_;
467  }
468
469  CompiledMethodStorage* GetCompiledMethodStorage() {
470    return &compiled_method_storage_;
471  }
472
473 private:
474  // Return whether the declaring class of `resolved_member` is
475  // available to `referrer_class` for read or write access using two
476  // Boolean values returned as a pair. If is true at least for read
477  // access, compute the type index of the declaring class in the
478  // referrer's dex file and return it through the out argument
479  // `storage_index`; otherwise return DexFile::kDexNoIndex through
480  // `storage_index`.
481  template <typename ArtMember>
482  std::pair<bool, bool> IsClassOfStaticMemberAvailableToReferrer(mirror::DexCache* dex_cache,
483                                                                 mirror::Class* referrer_class,
484                                                                 ArtMember* resolved_member,
485                                                                 uint16_t member_idx,
486                                                                 uint32_t* storage_index)
487      SHARED_REQUIRES(Locks::mutator_lock_);
488
489  // Can `referrer_class` access the resolved `member`?
490  // Dispatch call to mirror::Class::CanAccessResolvedField or
491  // mirror::Class::CanAccessResolvedMember depending on the value of
492  // ArtMember.
493  template <typename ArtMember>
494  static bool CanAccessResolvedMember(mirror::Class* referrer_class,
495                                      mirror::Class* access_to,
496                                      ArtMember* member,
497                                      mirror::DexCache* dex_cache,
498                                      uint32_t field_idx)
499      SHARED_REQUIRES(Locks::mutator_lock_);
500
501  // Can we assume that the klass is initialized?
502  bool CanAssumeClassIsInitialized(mirror::Class* klass)
503      SHARED_REQUIRES(Locks::mutator_lock_);
504  bool CanReferrerAssumeClassIsInitialized(mirror::Class* referrer_class, mirror::Class* klass)
505      SHARED_REQUIRES(Locks::mutator_lock_);
506
507  // Can we assume that the klass is loaded?
508  bool CanAssumeClassIsLoaded(mirror::Class* klass)
509      SHARED_REQUIRES(Locks::mutator_lock_);
510
511  // These flags are internal to CompilerDriver for collecting INVOKE resolution statistics.
512  // The only external contract is that unresolved method has flags 0 and resolved non-0.
513  enum {
514    kBitMethodResolved = 0,
515    kBitVirtualMadeDirect,
516    kBitPreciseTypeDevirtualization,
517    kBitDirectCallToBoot,
518    kBitDirectMethodToBoot
519  };
520  static constexpr int kFlagMethodResolved              = 1 << kBitMethodResolved;
521  static constexpr int kFlagVirtualMadeDirect           = 1 << kBitVirtualMadeDirect;
522  static constexpr int kFlagPreciseTypeDevirtualization = 1 << kBitPreciseTypeDevirtualization;
523  static constexpr int kFlagDirectCallToBoot            = 1 << kBitDirectCallToBoot;
524  static constexpr int kFlagDirectMethodToBoot          = 1 << kBitDirectMethodToBoot;
525  static constexpr int kFlagsMethodResolvedVirtualMadeDirect =
526      kFlagMethodResolved | kFlagVirtualMadeDirect;
527  static constexpr int kFlagsMethodResolvedPreciseTypeDevirtualization =
528      kFlagsMethodResolvedVirtualMadeDirect | kFlagPreciseTypeDevirtualization;
529
530 public:  // TODO make private or eliminate.
531  // Compute constant code and method pointers when possible.
532  void GetCodeAndMethodForDirectCall(/*out*/InvokeType* type,
533                                     InvokeType sharp_type,
534                                     bool no_guarantee_of_dex_cache_entry,
535                                     const mirror::Class* referrer_class,
536                                     ArtMethod* method,
537                                     /*out*/int* stats_flags,
538                                     MethodReference* target_method,
539                                     uintptr_t* direct_code, uintptr_t* direct_method)
540      SHARED_REQUIRES(Locks::mutator_lock_);
541
542 private:
543  void PreCompile(jobject class_loader, const std::vector<const DexFile*>& dex_files,
544                  ThreadPool* thread_pool, TimingLogger* timings)
545      REQUIRES(!Locks::mutator_lock_, !compiled_classes_lock_);
546
547  void LoadImageClasses(TimingLogger* timings) REQUIRES(!Locks::mutator_lock_);
548
549  // Attempt to resolve all type, methods, fields, and strings
550  // referenced from code in the dex file following PathClassLoader
551  // ordering semantics.
552  void Resolve(jobject class_loader, const std::vector<const DexFile*>& dex_files,
553               ThreadPool* thread_pool, TimingLogger* timings)
554      REQUIRES(!Locks::mutator_lock_);
555  void ResolveDexFile(jobject class_loader, const DexFile& dex_file,
556                      const std::vector<const DexFile*>& dex_files,
557                      ThreadPool* thread_pool, TimingLogger* timings)
558      REQUIRES(!Locks::mutator_lock_);
559
560  void Verify(jobject class_loader, const std::vector<const DexFile*>& dex_files,
561              ThreadPool* thread_pool, TimingLogger* timings);
562  void VerifyDexFile(jobject class_loader, const DexFile& dex_file,
563                     const std::vector<const DexFile*>& dex_files,
564                     ThreadPool* thread_pool, TimingLogger* timings)
565      REQUIRES(!Locks::mutator_lock_);
566
567  void SetVerified(jobject class_loader, const std::vector<const DexFile*>& dex_files,
568                   ThreadPool* thread_pool, TimingLogger* timings);
569  void SetVerifiedDexFile(jobject class_loader, const DexFile& dex_file,
570                          const std::vector<const DexFile*>& dex_files,
571                          ThreadPool* thread_pool, TimingLogger* timings)
572      REQUIRES(!Locks::mutator_lock_);
573
574  void InitializeClasses(jobject class_loader, const std::vector<const DexFile*>& dex_files,
575                         ThreadPool* thread_pool, TimingLogger* timings)
576      REQUIRES(!Locks::mutator_lock_, !compiled_classes_lock_);
577  void InitializeClasses(jobject class_loader, const DexFile& dex_file,
578                         const std::vector<const DexFile*>& dex_files,
579                         ThreadPool* thread_pool, TimingLogger* timings)
580      REQUIRES(!Locks::mutator_lock_, !compiled_classes_lock_);
581
582  void UpdateImageClasses(TimingLogger* timings) REQUIRES(!Locks::mutator_lock_);
583  static void FindClinitImageClassesCallback(mirror::Object* object, void* arg)
584      SHARED_REQUIRES(Locks::mutator_lock_);
585
586  void Compile(jobject class_loader, const std::vector<const DexFile*>& dex_files,
587               ThreadPool* thread_pool, TimingLogger* timings);
588  void CompileDexFile(jobject class_loader, const DexFile& dex_file,
589                      const std::vector<const DexFile*>& dex_files,
590                      ThreadPool* thread_pool, TimingLogger* timings)
591      REQUIRES(!Locks::mutator_lock_);
592
593  ProfileFile profile_file_;
594  bool profile_present_;
595
596  const CompilerOptions* const compiler_options_;
597  VerificationResults* const verification_results_;
598  DexFileToMethodInlinerMap* const method_inliner_map_;
599
600  std::unique_ptr<Compiler> compiler_;
601  Compiler::Kind compiler_kind_;
602
603  const InstructionSet instruction_set_;
604  const InstructionSetFeatures* const instruction_set_features_;
605
606  // All class references that require
607  mutable ReaderWriterMutex freezing_constructor_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
608  std::set<ClassReference> freezing_constructor_classes_ GUARDED_BY(freezing_constructor_lock_);
609
610  typedef SafeMap<const ClassReference, CompiledClass*> ClassTable;
611  // All class references that this compiler has compiled.
612  mutable Mutex compiled_classes_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
613  ClassTable compiled_classes_ GUARDED_BY(compiled_classes_lock_);
614
615  typedef SafeMap<const MethodReference, CompiledMethod*, MethodReferenceComparator> MethodTable;
616
617 public:
618  // Lock is public so that non-members can have lock annotations.
619  mutable Mutex compiled_methods_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
620
621 private:
622  // All method references that this compiler has compiled.
623  MethodTable compiled_methods_ GUARDED_BY(compiled_methods_lock_);
624  // Number of non-relative patches in all compiled methods. These patches need space
625  // in the .oat_patches ELF section if requested in the compiler options.
626  size_t non_relative_linker_patch_count_ GUARDED_BY(compiled_methods_lock_);
627
628  const bool image_;
629
630  // If image_ is true, specifies the classes that will be included in
631  // the image. Note if image_classes_ is null, all classes are
632  // included in the image.
633  std::unique_ptr<std::unordered_set<std::string>> image_classes_;
634
635  // Specifies the classes that will be compiled. Note that if classes_to_compile_ is null,
636  // all classes are eligible for compilation (duplication filters etc. will still apply).
637  // This option may be restricted to the boot image, depending on a flag in the implementation.
638  std::unique_ptr<std::unordered_set<std::string>> classes_to_compile_;
639
640  // Specifies the methods that will be compiled. Note that if methods_to_compile_ is null,
641  // all methods are eligible for compilation (compilation filters etc. will still apply).
642  // This option may be restricted to the boot image, depending on a flag in the implementation.
643  std::unique_ptr<std::unordered_set<std::string>> methods_to_compile_;
644
645  bool had_hard_verifier_failure_;
646
647  size_t thread_count_;
648
649  class AOTCompilationStats;
650  std::unique_ptr<AOTCompilationStats> stats_;
651
652  bool dump_stats_;
653  const bool dump_passes_;
654  const std::string dump_cfg_file_name_;
655  const bool dump_cfg_append_;
656
657  CumulativeLogger* const timings_logger_;
658
659  typedef void (*CompilerCallbackFn)(CompilerDriver& driver);
660  typedef MutexLock* (*CompilerMutexLockFn)(CompilerDriver& driver);
661
662  void* compiler_context_;
663
664  bool support_boot_image_fixup_;
665
666  CompiledMethodStorage compiled_method_storage_;
667
668  friend class CompileClassVisitor;
669  DISALLOW_COPY_AND_ASSIGN(CompilerDriver);
670};
671
672}  // namespace art
673
674#endif  // ART_COMPILER_DRIVER_COMPILER_DRIVER_H_
675