blob: 9834d78f8b91ee8002c75c21628d891c489932cd [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
Ian Rogersc8b306f2012-02-17 21:34:44 -080035class AOTCompilationStats;
Elliott Hughesc225caa2012-02-03 15:43:37 -080036class Context;
Logan Chien4dd96f52012-02-29 01:26:58 +080037class OatCompilationUnit;
Elliott Hughes601a1232012-02-02 17:47:38 -080038class TimingLogger;
Ian Rogers996cc582012-02-14 22:23:29 -080039
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070040class Compiler {
41 public:
Brian Carlstromaded5f72011-10-07 17:15:04 -070042 // Create a compiler targeting the requested "instruction_set".
Brian Carlstromae826982011-11-09 01:33:42 -080043 // "image" should be true if image specific optimizations should be
44 // enabled. "image_classes" lets the compiler know what classes it
45 // can assume will be in the image, with NULL implying all available
46 // classes.
Elliott Hughes5523ee02012-02-03 18:18:34 -080047 explicit Compiler(InstructionSet instruction_set, bool image, size_t thread_count,
Brian Carlstromba0668e2012-03-26 13:14:07 -070048 bool support_debugging, const std::set<std::string>* image_classes,
49 bool dump_stats, bool dump_timings);
Brian Carlstrom3320cf42011-10-04 14:58:28 -070050
51 ~Compiler();
Ian Rogers2c8f6532011-09-02 17:16:34 -070052
Jesse Wilson254db0f2011-11-16 16:44:11 -050053 void CompileAll(const ClassLoader* class_loader,
Brian Carlstromae826982011-11-09 01:33:42 -080054 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom8a487412011-08-29 20:08:52 -070055
56 // Compile a single Method
Brian Carlstrom3320cf42011-10-04 14:58:28 -070057 void CompileOne(const Method* method);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070058
Elliott Hughesde6e4cf2012-02-27 14:46:06 -080059 bool IsDebuggingSupported() {
60 return support_debugging_;
61 }
62
Brian Carlstrom3320cf42011-10-04 14:58:28 -070063 InstructionSet GetInstructionSet() const {
64 return instruction_set_;
65 }
66
Brian Carlstromaded5f72011-10-07 17:15:04 -070067 bool IsImage() const {
68 return image_;
69 }
70
Brian Carlstrome24fa612011-09-29 00:53:55 -070071 // Stub to throw AbstractMethodError
Brian Carlstrome24fa612011-09-29 00:53:55 -070072 static ByteArray* CreateAbstractMethodErrorStub(InstructionSet instruction_set);
73
Brian Carlstrom3320cf42011-10-04 14:58:28 -070074
Ian Rogersad25ac52011-10-04 19:13:33 -070075 // Generate the trampoline that's invoked by unresolved direct methods
Ian Rogers1cb0a1d2011-10-06 15:24:35 -070076 static ByteArray* CreateResolutionStub(InstructionSet instruction_set,
77 Runtime::TrampolineType type);
Ian Rogersad25ac52011-10-04 19:13:33 -070078
Elliott Hughes8add92d2012-01-18 18:18:43 -080079 static ByteArray* CreateJniDlsymLookupStub(InstructionSet instruction_set);
Ian Rogers169c9a72011-11-13 20:13:17 -080080
Brian Carlstrom0755ec52012-01-11 15:19:46 -080081 // A class is uniquely located by its DexFile and the class_defs_ table index into that DexFile
82 typedef std::pair<const DexFile*, uint32_t> ClassReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -080083
Brian Carlstrom0755ec52012-01-11 15:19:46 -080084 CompiledClass* GetCompiledClass(ClassReference ref) const;
Ian Rogers0571d352011-11-03 19:51:38 -070085
Brian Carlstrom0755ec52012-01-11 15:19:46 -080086 // A method is uniquely located by its DexFile and the method_ids_ table index into that DexFile
87 typedef std::pair<const DexFile*, uint32_t> MethodReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -080088
Ian Rogers0571d352011-11-03 19:51:38 -070089 CompiledMethod* GetCompiledMethod(MethodReference ref) const;
Brian Carlstrom0755ec52012-01-11 15:19:46 -080090
Ian Rogers0571d352011-11-03 19:51:38 -070091 const CompiledInvokeStub* FindInvokeStub(bool is_static, const char* shorty) const;
Brian Carlstrom3320cf42011-10-04 14:58:28 -070092
Ian Rogers28ad40d2011-10-27 15:19:26 -070093 // Callbacks from OAT/ART compiler to see what runtime checks must be generated
Ian Rogers0571d352011-11-03 19:51:38 -070094
Ian Rogers996cc582012-02-14 22:23:29 -080095 bool CanAssumeTypeIsPresentInDexCache(const DexCache* dex_cache, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -080096
Ian Rogers996cc582012-02-14 22:23:29 -080097 bool CanAssumeStringIsPresentInDexCache(const DexCache* dex_cache, uint32_t string_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -080098
99 // Are runtime access checks necessary in the compiled code?
100 bool CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
Ian Rogers996cc582012-02-14 22:23:29 -0800101 const DexFile& dex_file, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800102
103 // Are runtime access and instantiable checks necessary in the code?
Ian Rogersd4135902012-02-03 18:05:08 -0800104 bool CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
Ian Rogers996cc582012-02-14 22:23:29 -0800105 const DexFile& dex_file, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800106
107 // Can we fast path instance field access? Computes field's offset and volatility
Logan Chien4dd96f52012-02-29 01:26:58 +0800108 bool ComputeInstanceFieldInfo(uint32_t field_idx, OatCompilationUnit* mUnit,
jeffhao8cd6dda2012-02-22 10:15:34 -0800109 int& field_offset, bool& is_volatile, bool is_put);
Ian Rogers1bddec32012-02-04 12:27:34 -0800110
111 // Can we fastpath static field access? Computes field's offset, volatility and whether the
112 // field is within the referrer (which can avoid checking class initialization)
Logan Chien4dd96f52012-02-29 01:26:58 +0800113 bool ComputeStaticFieldInfo(uint32_t field_idx, OatCompilationUnit* mUnit,
Ian Rogers1bddec32012-02-04 12:27:34 -0800114 int& field_offset, int& ssb_index,
jeffhao8cd6dda2012-02-22 10:15:34 -0800115 bool& is_referrers_class, bool& is_volatile, bool is_put);
Ian Rogers1bddec32012-02-04 12:27:34 -0800116
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800117 // Can we fastpath a interface, super class or virtual method call? Computes method's vtable index
Ian Rogersfb6adba2012-03-04 21:51:51 -0800118 bool ComputeInvokeInfo(uint32_t method_idx, OatCompilationUnit* mUnit, InvokeType& type,
Ian Rogers2ed3b952012-03-17 11:49:39 -0700119 int& vtable_idx, uintptr_t& direct_code, uintptr_t& direct_method);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800120
Ian Rogers3fa13792012-03-18 15:53:45 -0700121 // Record patch information for later fix up
Brian Carlstromf5822582012-03-19 22:34:31 -0700122 void AddCodePatch(DexCache* dex_cache,
123 const DexFile* dex_file,
124 uint32_t referrer_method_idx,
125 uint32_t referrer_access_flags,
126 uint32_t target_method_idx,
127 bool target_is_direct,
Ian Rogers3fa13792012-03-18 15:53:45 -0700128 size_t literal_offset);
Brian Carlstromf5822582012-03-19 22:34:31 -0700129 void AddMethodPatch(DexCache* dex_cache,
130 const DexFile* dex_file,
131 uint32_t referrer_method_idx,
132 uint32_t referrer_access_flags,
133 uint32_t target_method_idx,
134 bool target_is_direct,
Ian Rogers3fa13792012-03-18 15:53:45 -0700135 size_t literal_offset);
136
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800137#if defined(ART_USE_LLVM_COMPILER)
Logan Chien8b977d32012-02-21 19:14:55 +0800138 void SetElfFileName(std::string const& filename);
139 void SetBitcodeFileName(std::string const& filename);
Logan Chienf7015fd2012-03-18 01:19:37 +0800140
141 void EnableAutoElfLoading();
142
143 const void* GetMethodCodeAddr(const CompiledMethod* cm,
144 const Method* method) const;
145
146 const Method::InvokeStub* GetMethodInvokeStubAddr(const CompiledInvokeStub* cm,
147 const Method* method) const;
148#else
149 void EnableAutoElfLoader() { }
150
151 const void* GetMethodCodeAddr(const CompiledMethod*,
152 const Method*) const {
153 return NULL;
154 }
155
156 const Method::InvokeStub* GetMethodInvokeStubAddr(const CompiledInvokeStub*,
157 const Method*) const {
158 return NULL;
159 }
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800160#endif
161
Elliott Hughes6f4976c2012-03-13 21:19:01 -0700162 void SetCompilerContext(void* compiler_context) {
163 compiler_context_ = compiler_context;
164 }
165
166 void* GetCompilerContext() const {
167 return compiler_context_;
168 }
169
Brian Carlstromf5822582012-03-19 22:34:31 -0700170 class PatchInformation {
171 public:
172 DexCache* GetDexCache() const {
173 return dex_cache_;
174 }
175 const DexFile& GetDexFile() const {
176 return *dex_file_;
177 }
178 uint32_t GetReferrerMethodIdx() const {
179 return referrer_method_idx_;
180 }
181 bool GetReferrerIsDirect() const {
182 return referrer_is_direct_;
183 }
184 uint32_t GetTargetMethodIdx() const {
185 return target_method_idx_;
186 }
187 bool GetTargetIsDirect() const {
188 return target_is_direct_;
189 }
190 size_t GetLiteralOffset() const {;
191 return literal_offset_;
192 }
193
194 private:
195 PatchInformation(DexCache* dex_cache,
196 const DexFile* dex_file,
197 uint32_t referrer_method_idx,
198 uint32_t referrer_access_flags,
199 uint32_t target_method_idx,
200 uint32_t target_is_direct,
201 size_t literal_offset)
202 : dex_cache_(dex_cache),
203 dex_file_(dex_file),
204 referrer_method_idx_(referrer_method_idx),
205 referrer_is_direct_(Method::IsDirect(referrer_access_flags)),
206 target_method_idx_(target_method_idx),
207 target_is_direct_(target_is_direct),
208 literal_offset_(literal_offset) {
209 CHECK(dex_file_ != NULL);
210 }
211
212 DexCache* dex_cache_;
213 const DexFile* dex_file_;
214 uint32_t referrer_method_idx_;
215 bool referrer_is_direct_;
216 uint32_t target_method_idx_;
217 bool target_is_direct_;
218 size_t literal_offset_;
219
220 friend class Compiler;
Brian Carlstrom6c403e12012-03-20 13:22:55 -0700221 DISALLOW_COPY_AND_ASSIGN(PatchInformation);
Brian Carlstromf5822582012-03-19 22:34:31 -0700222 };
223
224 const std::vector<const PatchInformation*>& GetCodeToPatch() const {
225 return code_to_patch_;
226 }
227 const std::vector<const PatchInformation*>& GetMethodsToPatch() const {
228 return methods_to_patch_;
229 }
230
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700231 private:
Brian Carlstromae826982011-11-09 01:33:42 -0800232
Ian Rogers2ed3b952012-03-17 11:49:39 -0700233 // Compute constant code and method pointers when possible
Elliott Hughesb25c3f62012-03-26 16:35:06 -0700234 void GetCodeAndMethodForDirectCall(InvokeType type, InvokeType sharp_type, Method* method,
Ian Rogers2ed3b952012-03-17 11:49:39 -0700235 uintptr_t& direct_code, uintptr_t& direct_method);
236
Brian Carlstromae826982011-11-09 01:33:42 -0800237 // Checks if class specified by type_idx is one of the image_classes_
238 bool IsImageClass(const std::string& descriptor) const;
239
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800240 void PreCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
Brian Carlstromae826982011-11-09 01:33:42 -0800241 void PostCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
242
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700243 // Attempt to resolve all type, methods, fields, and strings
244 // referenced from code in the dex file following PathClassLoader
245 // ordering semantics.
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800246 void Resolve(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
247 void ResolveDexFile(const ClassLoader* class_loader, const DexFile& dex_file, TimingLogger& timings);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700248
Brian Carlstromae826982011-11-09 01:33:42 -0800249 void Verify(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
jeffhao98eacac2011-09-14 16:11:53 -0700250 void VerifyDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
251
Brian Carlstromae826982011-11-09 01:33:42 -0800252 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
Brian Carlstroma5a97a22011-09-15 14:08:49 -0700253 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const DexFile& dex_file);
254
Brian Carlstromae826982011-11-09 01:33:42 -0800255 void Compile(const ClassLoader* class_loader,
256 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700257 void CompileDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
Ian Rogers0571d352011-11-03 19:51:38 -0700258 void CompileClass(const DexFile::ClassDef& class_def, const ClassLoader* class_loader,
259 const DexFile& dex_file);
Ian Rogersa3760aa2011-11-14 14:32:37 -0800260 void CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags, uint32_t method_idx,
261 const ClassLoader* class_loader, const DexFile& dex_file);
Brian Carlstrom83db7722011-08-26 17:32:56 -0700262
Elliott Hughesc225caa2012-02-03 15:43:37 -0800263 static void CompileClass(Context* context, size_t class_def_index);
264
Brian Carlstrome7d856b2012-01-11 18:10:55 -0800265 void SetGcMaps(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
266 void SetGcMapsDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
267 void SetGcMapsMethod(const DexFile& dex_file, Method* method);
268
Ian Rogers0571d352011-11-03 19:51:38 -0700269 void InsertInvokeStub(bool is_static, const char* shorty,
270 const CompiledInvokeStub* compiled_invoke_stub);
271
Brian Carlstromf5822582012-03-19 22:34:31 -0700272 std::vector<const PatchInformation*> code_to_patch_;
273 std::vector<const PatchInformation*> methods_to_patch_;
Ian Rogers3fa13792012-03-18 15:53:45 -0700274
Ian Rogers2c8f6532011-09-02 17:16:34 -0700275 InstructionSet instruction_set_;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700276
Elliott Hughes8add92d2012-01-18 18:18:43 -0800277 typedef std::map<const ClassReference, CompiledClass*> ClassTable;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800278 // All class references that this compiler has compiled
Elliott Hughesc225caa2012-02-03 15:43:37 -0800279 mutable Mutex compiled_classes_lock_;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800280 ClassTable compiled_classes_;
281
Elliott Hughes8add92d2012-01-18 18:18:43 -0800282 typedef std::map<const MethodReference, CompiledMethod*> MethodTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700283 // All method references that this compiler has compiled
Elliott Hughesc225caa2012-02-03 15:43:37 -0800284 mutable Mutex compiled_methods_lock_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700285 MethodTable compiled_methods_;
286
Elliott Hughese5448b52012-01-18 16:44:06 -0800287 typedef std::map<std::string, const CompiledInvokeStub*> InvokeStubTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700288 // Invocation stubs created to allow invocation of the compiled methods
Elliott Hughesc225caa2012-02-03 15:43:37 -0800289 mutable Mutex compiled_invoke_stubs_lock_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700290 InvokeStubTable compiled_invoke_stubs_;
291
Brian Carlstromaded5f72011-10-07 17:15:04 -0700292 bool image_;
Elliott Hughes5523ee02012-02-03 18:18:34 -0800293 size_t thread_count_;
Elliott Hughesde6e4cf2012-02-27 14:46:06 -0800294 bool support_debugging_;
Elliott Hughesbb551fa2012-01-25 16:35:29 -0800295 uint64_t start_ns_;
296
Ian Rogersc8b306f2012-02-17 21:34:44 -0800297 UniquePtr<AOTCompilationStats> stats_;
Ian Rogers996cc582012-02-14 22:23:29 -0800298
Brian Carlstromba0668e2012-03-26 13:14:07 -0700299 bool dump_stats_;
300 bool dump_timings_;
301
Brian Carlstromae826982011-11-09 01:33:42 -0800302 const std::set<std::string>* image_classes_;
303
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800304#if defined(ART_USE_LLVM_COMPILER)
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800305 typedef void (*CompilerCallbackFn)(Compiler& compiler);
306 typedef MutexLock* (*CompilerMutexLockFn)(Compiler& compiler);
307#endif
Logan Chienf7015fd2012-03-18 01:19:37 +0800308
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800309 void* compiler_library_;
Elliott Hughes46f060a2012-03-09 17:36:50 -0800310
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800311 typedef CompiledMethod* (*CompilerFn)(Compiler& compiler,
312 const DexFile::CodeItem* code_item,
313 uint32_t access_flags, uint32_t method_idx,
314 const ClassLoader* class_loader,
315 const DexFile& dex_file);
316 CompilerFn compiler_;
Elliott Hughes46f060a2012-03-09 17:36:50 -0800317
Elliott Hughes6f4976c2012-03-13 21:19:01 -0700318 void* compiler_context_;
319
Elliott Hughes46f060a2012-03-09 17:36:50 -0800320 typedef CompiledMethod* (*JniCompilerFn)(Compiler& compiler,
321 uint32_t access_flags, uint32_t method_idx,
322 const ClassLoader* class_loader,
323 const DexFile& dex_file);
324 JniCompilerFn jni_compiler_;
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800325 typedef CompiledInvokeStub* (*CreateInvokeStubFn)(Compiler& compiler, bool is_static,
326 const char* shorty, uint32_t shorty_len);
Shih-wei Liaoc4c98812012-03-10 21:55:51 -0800327 CreateInvokeStubFn create_invoke_stub_;
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800328
Logan Chienf7015fd2012-03-18 01:19:37 +0800329#if defined(ART_USE_LLVM_COMPILER)
330 typedef void (*CompilerEnableAutoElfLoadingFn)(Compiler& compiler);
331 CompilerEnableAutoElfLoadingFn compiler_enable_auto_elf_loading_;
332
333 typedef const void* (*CompilerGetMethodCodeAddrFn)
334 (const Compiler& compiler, const CompiledMethod* cm, const Method* method);
335 CompilerGetMethodCodeAddrFn compiler_get_method_code_addr_;
336
337 typedef const Method::InvokeStub* (*CompilerGetMethodInvokeStubAddrFn)
338 (const Compiler& compiler, const CompiledInvokeStub* cm, const Method* method);
339 CompilerGetMethodInvokeStubAddrFn compiler_get_method_invoke_stub_addr_;
340#endif
341
342
Ian Rogers2c8f6532011-09-02 17:16:34 -0700343 DISALLOW_COPY_AND_ASSIGN(Compiler);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700344};
345
Elliott Hughes8add92d2012-01-18 18:18:43 -0800346inline bool operator<(const Compiler::ClassReference& lhs, const Compiler::ClassReference& rhs) {
347 if (lhs.second < rhs.second) {
348 return true;
349 } else if (lhs.second > rhs.second) {
350 return false;
351 } else {
352 return (lhs.first < rhs.first);
353 }
354}
355
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700356} // namespace art
357
358#endif // ART_SRC_COMPILER_H_