blob: 55273b7971c0e03f0873ae115cb45d2246007599 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 */
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070016
17#ifndef ART_SRC_COMPILER_H_
18#define ART_SRC_COMPILER_H_
19
Elliott Hughese5448b52012-01-18 16:44:06 -080020#include <map>
Elliott Hughes8add92d2012-01-18 18:18:43 -080021#include <set>
22#include <string>
Elliott Hughese5448b52012-01-18 16:44:06 -080023
Brian Carlstrom0755ec52012-01-11 15:19:46 -080024#include "compiled_class.h"
Brian Carlstrom3320cf42011-10-04 14:58:28 -070025#include "compiled_method.h"
Ian Rogers2c8f6532011-09-02 17:16:34 -070026#include "constants.h"
Ian Rogersa3760aa2011-11-14 14:32:37 -080027#include "dex_cache.h"
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070028#include "dex_file.h"
Brian Carlstrom3320cf42011-10-04 14:58:28 -070029#include "oat_file.h"
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070030#include "object.h"
Ian Rogers1cb0a1d2011-10-06 15:24:35 -070031#include "runtime.h"
Ian Rogers0571d352011-11-03 19:51:38 -070032
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070033namespace art {
34
Shih-wei Liaoc4c98812012-03-10 21:55:51 -080035#if defined(ART_USE_LLVM_COMPILER)
36namespace compiler_llvm {
37class CompilerLLVM;
38}
39#endif
40
Ian Rogersc8b306f2012-02-17 21:34:44 -080041class AOTCompilationStats;
Elliott Hughesc225caa2012-02-03 15:43:37 -080042class Context;
Logan Chien4dd96f52012-02-29 01:26:58 +080043class OatCompilationUnit;
Elliott Hughes601a1232012-02-02 17:47:38 -080044class TimingLogger;
Ian Rogers996cc582012-02-14 22:23:29 -080045
Elliott Hughes601a1232012-02-02 17:47:38 -080046
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070047class Compiler {
48 public:
Brian Carlstromaded5f72011-10-07 17:15:04 -070049 // Create a compiler targeting the requested "instruction_set".
Brian Carlstromae826982011-11-09 01:33:42 -080050 // "image" should be true if image specific optimizations should be
51 // enabled. "image_classes" lets the compiler know what classes it
52 // can assume will be in the image, with NULL implying all available
53 // classes.
Elliott Hughes5523ee02012-02-03 18:18:34 -080054 explicit Compiler(InstructionSet instruction_set, bool image, size_t thread_count,
Elliott Hughesde6e4cf2012-02-27 14:46:06 -080055 bool support_debugging, const std::set<std::string>* image_classes);
Brian Carlstrom3320cf42011-10-04 14:58:28 -070056
57 ~Compiler();
Ian Rogers2c8f6532011-09-02 17:16:34 -070058
Jesse Wilson254db0f2011-11-16 16:44:11 -050059 void CompileAll(const ClassLoader* class_loader,
Brian Carlstromae826982011-11-09 01:33:42 -080060 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom8a487412011-08-29 20:08:52 -070061
62 // Compile a single Method
Brian Carlstrom3320cf42011-10-04 14:58:28 -070063 void CompileOne(const Method* method);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070064
Elliott Hughesde6e4cf2012-02-27 14:46:06 -080065 bool IsDebuggingSupported() {
66 return support_debugging_;
67 }
68
Brian Carlstrom3320cf42011-10-04 14:58:28 -070069 InstructionSet GetInstructionSet() const {
70 return instruction_set_;
71 }
72
Brian Carlstromaded5f72011-10-07 17:15:04 -070073 bool IsImage() const {
74 return image_;
75 }
76
Brian Carlstrome24fa612011-09-29 00:53:55 -070077 // Stub to throw AbstractMethodError
Brian Carlstrome24fa612011-09-29 00:53:55 -070078 static ByteArray* CreateAbstractMethodErrorStub(InstructionSet instruction_set);
79
Brian Carlstrom3320cf42011-10-04 14:58:28 -070080
Ian Rogersad25ac52011-10-04 19:13:33 -070081 // Generate the trampoline that's invoked by unresolved direct methods
Ian Rogers1cb0a1d2011-10-06 15:24:35 -070082 static ByteArray* CreateResolutionStub(InstructionSet instruction_set,
83 Runtime::TrampolineType type);
Ian Rogersad25ac52011-10-04 19:13:33 -070084
Elliott Hughes8add92d2012-01-18 18:18:43 -080085 static ByteArray* CreateJniDlsymLookupStub(InstructionSet instruction_set);
Ian Rogers169c9a72011-11-13 20:13:17 -080086
Brian Carlstrom0755ec52012-01-11 15:19:46 -080087 // A class is uniquely located by its DexFile and the class_defs_ table index into that DexFile
88 typedef std::pair<const DexFile*, uint32_t> ClassReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -080089
Brian Carlstrom0755ec52012-01-11 15:19:46 -080090 CompiledClass* GetCompiledClass(ClassReference ref) const;
Ian Rogers0571d352011-11-03 19:51:38 -070091
Brian Carlstrom0755ec52012-01-11 15:19:46 -080092 // A method is uniquely located by its DexFile and the method_ids_ table index into that DexFile
93 typedef std::pair<const DexFile*, uint32_t> MethodReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -080094
Ian Rogers0571d352011-11-03 19:51:38 -070095 CompiledMethod* GetCompiledMethod(MethodReference ref) const;
Brian Carlstrom0755ec52012-01-11 15:19:46 -080096
Ian Rogers0571d352011-11-03 19:51:38 -070097 const CompiledInvokeStub* FindInvokeStub(bool is_static, const char* shorty) const;
Brian Carlstrom3320cf42011-10-04 14:58:28 -070098
Ian Rogers28ad40d2011-10-27 15:19:26 -070099 // Callbacks from OAT/ART compiler to see what runtime checks must be generated
Ian Rogers0571d352011-11-03 19:51:38 -0700100
Ian Rogers996cc582012-02-14 22:23:29 -0800101 bool CanAssumeTypeIsPresentInDexCache(const DexCache* dex_cache, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800102
Ian Rogers996cc582012-02-14 22:23:29 -0800103 bool CanAssumeStringIsPresentInDexCache(const DexCache* dex_cache, uint32_t string_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800104
105 // Are runtime access checks necessary in the compiled code?
106 bool CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
Ian Rogers996cc582012-02-14 22:23:29 -0800107 const DexFile& dex_file, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800108
109 // Are runtime access and instantiable checks necessary in the code?
Ian Rogersd4135902012-02-03 18:05:08 -0800110 bool CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
Ian Rogers996cc582012-02-14 22:23:29 -0800111 const DexFile& dex_file, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800112
113 // Can we fast path instance field access? Computes field's offset and volatility
Logan Chien4dd96f52012-02-29 01:26:58 +0800114 bool ComputeInstanceFieldInfo(uint32_t field_idx, OatCompilationUnit* mUnit,
jeffhao8cd6dda2012-02-22 10:15:34 -0800115 int& field_offset, bool& is_volatile, bool is_put);
Ian Rogers1bddec32012-02-04 12:27:34 -0800116
117 // Can we fastpath static field access? Computes field's offset, volatility and whether the
118 // field is within the referrer (which can avoid checking class initialization)
Logan Chien4dd96f52012-02-29 01:26:58 +0800119 bool ComputeStaticFieldInfo(uint32_t field_idx, OatCompilationUnit* mUnit,
Ian Rogers1bddec32012-02-04 12:27:34 -0800120 int& field_offset, int& ssb_index,
jeffhao8cd6dda2012-02-22 10:15:34 -0800121 bool& is_referrers_class, bool& is_volatile, bool is_put);
Ian Rogers1bddec32012-02-04 12:27:34 -0800122
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800123 // Can we fastpath a interface, super class or virtual method call? Computes method's vtable index
Ian Rogersfb6adba2012-03-04 21:51:51 -0800124 bool ComputeInvokeInfo(uint32_t method_idx, OatCompilationUnit* mUnit, InvokeType& type,
Ian Rogersc8b306f2012-02-17 21:34:44 -0800125 int& vtable_idx);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800126
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800127#if defined(ART_USE_LLVM_COMPILER)
Logan Chien8b977d32012-02-21 19:14:55 +0800128 void SetElfFileName(std::string const& filename);
129 void SetBitcodeFileName(std::string const& filename);
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800130 std::string const& GetElfFileName();
131 std::string const& GetBitcodeFileName();
Logan Chien8b977d32012-02-21 19:14:55 +0800132
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800133 void SetCompilerLLVM(compiler_llvm::CompilerLLVM* compiler_llvm) {
134 compiler_llvm_ = compiler_llvm;
135 }
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800136 compiler_llvm::CompilerLLVM* GetCompilerLLVM() const {
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800137 return compiler_llvm_;
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800138 }
139#endif
140
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700141 private:
Brian Carlstromae826982011-11-09 01:33:42 -0800142
143 // Checks if class specified by type_idx is one of the image_classes_
144 bool IsImageClass(const std::string& descriptor) const;
145
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800146 void PreCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
Brian Carlstromae826982011-11-09 01:33:42 -0800147 void PostCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
148
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700149 // Attempt to resolve all type, methods, fields, and strings
150 // referenced from code in the dex file following PathClassLoader
151 // ordering semantics.
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800152 void Resolve(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
153 void ResolveDexFile(const ClassLoader* class_loader, const DexFile& dex_file, TimingLogger& timings);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700154
Brian Carlstromae826982011-11-09 01:33:42 -0800155 void Verify(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
jeffhao98eacac2011-09-14 16:11:53 -0700156 void VerifyDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
157
Brian Carlstromae826982011-11-09 01:33:42 -0800158 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
Brian Carlstroma5a97a22011-09-15 14:08:49 -0700159 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const DexFile& dex_file);
160
Brian Carlstromae826982011-11-09 01:33:42 -0800161 void Compile(const ClassLoader* class_loader,
162 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700163 void CompileDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
Ian Rogers0571d352011-11-03 19:51:38 -0700164 void CompileClass(const DexFile::ClassDef& class_def, const ClassLoader* class_loader,
165 const DexFile& dex_file);
Ian Rogersa3760aa2011-11-14 14:32:37 -0800166 void CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags, uint32_t method_idx,
167 const ClassLoader* class_loader, const DexFile& dex_file);
Brian Carlstrom83db7722011-08-26 17:32:56 -0700168
Elliott Hughesc225caa2012-02-03 15:43:37 -0800169 static void CompileClass(Context* context, size_t class_def_index);
170
Brian Carlstrome7d856b2012-01-11 18:10:55 -0800171 void SetGcMaps(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
172 void SetGcMapsDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
173 void SetGcMapsMethod(const DexFile& dex_file, Method* method);
174
Ian Rogers0571d352011-11-03 19:51:38 -0700175 void InsertInvokeStub(bool is_static, const char* shorty,
176 const CompiledInvokeStub* compiled_invoke_stub);
177
Ian Rogers2c8f6532011-09-02 17:16:34 -0700178 InstructionSet instruction_set_;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700179
Elliott Hughes8add92d2012-01-18 18:18:43 -0800180 typedef std::map<const ClassReference, CompiledClass*> ClassTable;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800181 // All class references that this compiler has compiled
Elliott Hughesc225caa2012-02-03 15:43:37 -0800182 mutable Mutex compiled_classes_lock_;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800183 ClassTable compiled_classes_;
184
Elliott Hughes8add92d2012-01-18 18:18:43 -0800185 typedef std::map<const MethodReference, CompiledMethod*> MethodTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700186 // All method references that this compiler has compiled
Elliott Hughesc225caa2012-02-03 15:43:37 -0800187 mutable Mutex compiled_methods_lock_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700188 MethodTable compiled_methods_;
189
Elliott Hughese5448b52012-01-18 16:44:06 -0800190 typedef std::map<std::string, const CompiledInvokeStub*> InvokeStubTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700191 // Invocation stubs created to allow invocation of the compiled methods
Elliott Hughesc225caa2012-02-03 15:43:37 -0800192 mutable Mutex compiled_invoke_stubs_lock_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700193 InvokeStubTable compiled_invoke_stubs_;
194
Brian Carlstromaded5f72011-10-07 17:15:04 -0700195 bool image_;
Elliott Hughes5523ee02012-02-03 18:18:34 -0800196 size_t thread_count_;
Elliott Hughesde6e4cf2012-02-27 14:46:06 -0800197 bool support_debugging_;
Elliott Hughesbb551fa2012-01-25 16:35:29 -0800198 uint64_t start_ns_;
199
Ian Rogersc8b306f2012-02-17 21:34:44 -0800200 UniquePtr<AOTCompilationStats> stats_;
Ian Rogers996cc582012-02-14 22:23:29 -0800201
Brian Carlstromae826982011-11-09 01:33:42 -0800202 const std::set<std::string>* image_classes_;
203
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800204#if defined(ART_USE_LLVM_COMPILER)
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800205 compiler_llvm::CompilerLLVM* compiler_llvm_;
206 std::string elf_filename_;
207 std::string bitcode_filename_;
208 typedef void (*CompilerCallbackFn)(Compiler& compiler);
209 typedef MutexLock* (*CompilerMutexLockFn)(Compiler& compiler);
210#endif
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800211 void* compiler_library_;
Elliott Hughes46f060a2012-03-09 17:36:50 -0800212
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800213 typedef CompiledMethod* (*CompilerFn)(Compiler& compiler,
214 const DexFile::CodeItem* code_item,
215 uint32_t access_flags, uint32_t method_idx,
216 const ClassLoader* class_loader,
217 const DexFile& dex_file);
218 CompilerFn compiler_;
Elliott Hughes46f060a2012-03-09 17:36:50 -0800219
220 typedef CompiledMethod* (*JniCompilerFn)(Compiler& compiler,
221 uint32_t access_flags, uint32_t method_idx,
222 const ClassLoader* class_loader,
223 const DexFile& dex_file);
224 JniCompilerFn jni_compiler_;
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800225 typedef CompiledInvokeStub* (*CreateInvokeStubFn)(Compiler& compiler, bool is_static,
226 const char* shorty, uint32_t shorty_len);
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800227 CreateInvokeStubFn create_invoke_stub_;
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800228
Ian Rogers2c8f6532011-09-02 17:16:34 -0700229 DISALLOW_COPY_AND_ASSIGN(Compiler);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700230};
231
Elliott Hughes8add92d2012-01-18 18:18:43 -0800232inline bool operator<(const Compiler::ClassReference& lhs, const Compiler::ClassReference& rhs) {
233 if (lhs.second < rhs.second) {
234 return true;
235 } else if (lhs.second > rhs.second) {
236 return false;
237 } else {
238 return (lhs.first < rhs.first);
239 }
240}
241
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700242} // namespace art
243
244#endif // ART_SRC_COMPILER_H_