blob: 186d433e9d4e62ac231993ccdbdaf980a26e122e [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"
Ian Rogers2c8f6532011-09-02 17:16:34 -070029#include "jni_compiler.h"
Brian Carlstrom3320cf42011-10-04 14:58:28 -070030#include "oat_file.h"
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070031#include "object.h"
Ian Rogers1cb0a1d2011-10-06 15:24:35 -070032#include "runtime.h"
Ian Rogers0571d352011-11-03 19:51:38 -070033
Shih-wei Liaod1fec812012-02-13 09:51:10 -080034#if defined(ART_USE_LLVM_COMPILER)
35#include "compiler_llvm/compiler_llvm.h"
36#endif
37
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070038namespace art {
39
Elliott Hughesc225caa2012-02-03 15:43:37 -080040class Context;
Elliott Hughes601a1232012-02-02 17:47:38 -080041class TimingLogger;
Ian Rogers1bddec32012-02-04 12:27:34 -080042typedef struct CompilationUnit CompilationUnit;
Ian Rogers996cc582012-02-14 22:23:29 -080043class AOTCompilationStats {
44 public:
45 AOTCompilationStats() : stats_lock_("AOT compilation statistics lock"),
46 types_in_dex_cache_(0), types_not_in_dex_cache_(0),
47 strings_in_dex_cache_(0), strings_not_in_dex_cache_(0),
48 resolved_types_(0), unresolved_types_(0),
49 resolved_instance_fields_(0), unresolved_instance_fields_(0),
50 resolved_local_static_fields_(0), resolved_static_fields_(0), unresolved_static_fields_(0),
51 resolved_virtual_methods_(0), unresolved_virtual_methods_(0),
52 resolved_super_methods_(0), unresolved_super_methods_(0),
53 resolved_interface_methods_(0), unresolved_interface_methods_(0) {}
54
55 void Dump();
56
57 void TypeInDexCache();
58 void TypeNotInDexCache();
59
60 void StringInDexCache();
61 void StringNotInDexCache();
62
63 void TypeDoesntNeedAccessCheck();
64 void TypeNeedsAccessCheck();
65
66 void ResolvedInstanceField();
67 void UnresolvedInstanceField();
68
69 void ResolvedLocalStaticField();
70 void ResolvedStaticField();
71 void UnresolvedStaticField();
72
73 void ResolvedMethod(bool is_interface, bool is_super);
74 void UnresolvedMethod(bool is_interface, bool is_super);
75
76 private:
77 Mutex stats_lock_;
78
79 size_t types_in_dex_cache_;
80 size_t types_not_in_dex_cache_;
81
82 size_t strings_in_dex_cache_;
83 size_t strings_not_in_dex_cache_;
84
85 size_t resolved_types_;
86 size_t unresolved_types_;
87
88 size_t resolved_instance_fields_;
89 size_t unresolved_instance_fields_;
90
91 size_t resolved_local_static_fields_;
92 size_t resolved_static_fields_;
93 size_t unresolved_static_fields_;
94
95 size_t resolved_virtual_methods_;
96 size_t unresolved_virtual_methods_;
97
98 size_t resolved_super_methods_;
99 size_t unresolved_super_methods_;
100
101 size_t resolved_interface_methods_;
102 size_t unresolved_interface_methods_;
103
104 DISALLOW_COPY_AND_ASSIGN(AOTCompilationStats);;
105};
Elliott Hughes601a1232012-02-02 17:47:38 -0800106
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700107class Compiler {
108 public:
Brian Carlstromaded5f72011-10-07 17:15:04 -0700109 // Create a compiler targeting the requested "instruction_set".
Brian Carlstromae826982011-11-09 01:33:42 -0800110 // "image" should be true if image specific optimizations should be
111 // enabled. "image_classes" lets the compiler know what classes it
112 // can assume will be in the image, with NULL implying all available
113 // classes.
Elliott Hughes5523ee02012-02-03 18:18:34 -0800114 explicit Compiler(InstructionSet instruction_set, bool image, size_t thread_count,
Brian Carlstromae826982011-11-09 01:33:42 -0800115 const std::set<std::string>* image_classes);
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700116
117 ~Compiler();
Ian Rogers2c8f6532011-09-02 17:16:34 -0700118
Jesse Wilson254db0f2011-11-16 16:44:11 -0500119 void CompileAll(const ClassLoader* class_loader,
Brian Carlstromae826982011-11-09 01:33:42 -0800120 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom8a487412011-08-29 20:08:52 -0700121
122 // Compile a single Method
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700123 void CompileOne(const Method* method);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700124
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700125 InstructionSet GetInstructionSet() const {
126 return instruction_set_;
127 }
128
Brian Carlstromaded5f72011-10-07 17:15:04 -0700129 bool IsImage() const {
130 return image_;
131 }
132
Brian Carlstrome24fa612011-09-29 00:53:55 -0700133 // Stub to throw AbstractMethodError
Brian Carlstrome24fa612011-09-29 00:53:55 -0700134 static ByteArray* CreateAbstractMethodErrorStub(InstructionSet instruction_set);
135
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700136
Ian Rogersad25ac52011-10-04 19:13:33 -0700137 // Generate the trampoline that's invoked by unresolved direct methods
Ian Rogers1cb0a1d2011-10-06 15:24:35 -0700138 static ByteArray* CreateResolutionStub(InstructionSet instruction_set,
139 Runtime::TrampolineType type);
Ian Rogersad25ac52011-10-04 19:13:33 -0700140
Elliott Hughes8add92d2012-01-18 18:18:43 -0800141 static ByteArray* CreateJniDlsymLookupStub(InstructionSet instruction_set);
Ian Rogers169c9a72011-11-13 20:13:17 -0800142
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800143 // A class is uniquely located by its DexFile and the class_defs_ table index into that DexFile
144 typedef std::pair<const DexFile*, uint32_t> ClassReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -0800145
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800146 CompiledClass* GetCompiledClass(ClassReference ref) const;
Ian Rogers0571d352011-11-03 19:51:38 -0700147
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800148 // A method is uniquely located by its DexFile and the method_ids_ table index into that DexFile
149 typedef std::pair<const DexFile*, uint32_t> MethodReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -0800150
Ian Rogers0571d352011-11-03 19:51:38 -0700151 CompiledMethod* GetCompiledMethod(MethodReference ref) const;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800152
Ian Rogers0571d352011-11-03 19:51:38 -0700153 const CompiledInvokeStub* FindInvokeStub(bool is_static, const char* shorty) const;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700154
Ian Rogers28ad40d2011-10-27 15:19:26 -0700155 // Callbacks from OAT/ART compiler to see what runtime checks must be generated
Ian Rogers0571d352011-11-03 19:51:38 -0700156
Ian Rogers996cc582012-02-14 22:23:29 -0800157 bool CanAssumeTypeIsPresentInDexCache(const DexCache* dex_cache, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800158
Ian Rogers996cc582012-02-14 22:23:29 -0800159 bool CanAssumeStringIsPresentInDexCache(const DexCache* dex_cache, uint32_t string_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800160
161 // Are runtime access checks necessary in the compiled code?
162 bool CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
Ian Rogers996cc582012-02-14 22:23:29 -0800163 const DexFile& dex_file, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800164
165 // Are runtime access and instantiable checks necessary in the code?
Ian Rogersd4135902012-02-03 18:05:08 -0800166 bool CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
Ian Rogers996cc582012-02-14 22:23:29 -0800167 const DexFile& dex_file, uint32_t type_idx);
Ian Rogers1bddec32012-02-04 12:27:34 -0800168
169 // Can we fast path instance field access? Computes field's offset and volatility
170 bool ComputeInstanceFieldInfo(uint32_t field_idx, CompilationUnit* cUnit,
Ian Rogers996cc582012-02-14 22:23:29 -0800171 int& field_offset, bool& is_volatile);
Ian Rogers1bddec32012-02-04 12:27:34 -0800172
173 // Can we fastpath static field access? Computes field's offset, volatility and whether the
174 // field is within the referrer (which can avoid checking class initialization)
175 bool ComputeStaticFieldInfo(uint32_t field_idx, CompilationUnit* cUnit,
176 int& field_offset, int& ssb_index,
Ian Rogers996cc582012-02-14 22:23:29 -0800177 bool& is_referrers_class, bool& is_volatile);
Ian Rogers1bddec32012-02-04 12:27:34 -0800178
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800179 // Can we fastpath a interface, super class or virtual method call? Computes method's vtable index
180 bool ComputeInvokeInfo(uint32_t method_idx, CompilationUnit* cUnit, bool is_interface,
Ian Rogers996cc582012-02-14 22:23:29 -0800181 bool is_super, int& vtable_idx);
Ian Rogersa32a6fd2012-02-06 20:18:44 -0800182
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800183#if defined(ART_USE_LLVM_COMPILER)
184 compiler_llvm::CompilerLLVM* GetCompilerLLVM() const {
185 return compiler_llvm_.get();
186 }
187#endif
188
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700189 private:
Brian Carlstromae826982011-11-09 01:33:42 -0800190
191 // Checks if class specified by type_idx is one of the image_classes_
192 bool IsImageClass(const std::string& descriptor) const;
193
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800194 void PreCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
Brian Carlstromae826982011-11-09 01:33:42 -0800195 void PostCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
196
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700197 // Attempt to resolve all type, methods, fields, and strings
198 // referenced from code in the dex file following PathClassLoader
199 // ordering semantics.
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800200 void Resolve(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
201 void ResolveDexFile(const ClassLoader* class_loader, const DexFile& dex_file, TimingLogger& timings);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700202
Brian Carlstromae826982011-11-09 01:33:42 -0800203 void Verify(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
jeffhao98eacac2011-09-14 16:11:53 -0700204 void VerifyDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
205
Brian Carlstromae826982011-11-09 01:33:42 -0800206 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
Brian Carlstroma5a97a22011-09-15 14:08:49 -0700207 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const DexFile& dex_file);
208
Brian Carlstromae826982011-11-09 01:33:42 -0800209 void Compile(const ClassLoader* class_loader,
210 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700211 void CompileDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
Ian Rogers0571d352011-11-03 19:51:38 -0700212 void CompileClass(const DexFile::ClassDef& class_def, const ClassLoader* class_loader,
213 const DexFile& dex_file);
Ian Rogersa3760aa2011-11-14 14:32:37 -0800214 void CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags, uint32_t method_idx,
215 const ClassLoader* class_loader, const DexFile& dex_file);
Brian Carlstrom83db7722011-08-26 17:32:56 -0700216
Elliott Hughesc225caa2012-02-03 15:43:37 -0800217 static void CompileClass(Context* context, size_t class_def_index);
218
Brian Carlstrome7d856b2012-01-11 18:10:55 -0800219 void SetGcMaps(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
220 void SetGcMapsDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
221 void SetGcMapsMethod(const DexFile& dex_file, Method* method);
222
Brian Carlstrom83db7722011-08-26 17:32:56 -0700223 // After compiling, walk all the DexCaches and set the code and
Brian Carlstrom9cc262e2011-08-28 12:45:30 -0700224 // method pointers of CodeAndDirectMethods entries in the DexCaches.
Brian Carlstromae826982011-11-09 01:33:42 -0800225 void SetCodeAndDirectMethods(const std::vector<const DexFile*>& dex_files);
Brian Carlstrom8a487412011-08-29 20:08:52 -0700226 void SetCodeAndDirectMethodsDexFile(const DexFile& dex_file);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700227
Ian Rogers0571d352011-11-03 19:51:38 -0700228 void InsertInvokeStub(bool is_static, const char* shorty,
229 const CompiledInvokeStub* compiled_invoke_stub);
230
Ian Rogers2c8f6532011-09-02 17:16:34 -0700231 InstructionSet instruction_set_;
232 JniCompiler jni_compiler_;
233
Elliott Hughes8add92d2012-01-18 18:18:43 -0800234 typedef std::map<const ClassReference, CompiledClass*> ClassTable;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800235 // All class references that this compiler has compiled
Elliott Hughesc225caa2012-02-03 15:43:37 -0800236 mutable Mutex compiled_classes_lock_;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800237 ClassTable compiled_classes_;
238
Elliott Hughes8add92d2012-01-18 18:18:43 -0800239 typedef std::map<const MethodReference, CompiledMethod*> MethodTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700240 // All method references that this compiler has compiled
Elliott Hughesc225caa2012-02-03 15:43:37 -0800241 mutable Mutex compiled_methods_lock_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700242 MethodTable compiled_methods_;
243
Elliott Hughese5448b52012-01-18 16:44:06 -0800244 typedef std::map<std::string, const CompiledInvokeStub*> InvokeStubTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700245 // Invocation stubs created to allow invocation of the compiled methods
Elliott Hughesc225caa2012-02-03 15:43:37 -0800246 mutable Mutex compiled_invoke_stubs_lock_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700247 InvokeStubTable compiled_invoke_stubs_;
248
Brian Carlstromaded5f72011-10-07 17:15:04 -0700249 bool image_;
Elliott Hughes5523ee02012-02-03 18:18:34 -0800250 size_t thread_count_;
Elliott Hughesbb551fa2012-01-25 16:35:29 -0800251 uint64_t start_ns_;
252
Ian Rogers996cc582012-02-14 22:23:29 -0800253 AOTCompilationStats stats_;
254
Brian Carlstromae826982011-11-09 01:33:42 -0800255 const std::set<std::string>* image_classes_;
256
Shih-wei Liaod1fec812012-02-13 09:51:10 -0800257
258#if defined(ART_USE_LLVM_COMPILER)
259 UniquePtr<compiler_llvm::CompilerLLVM> compiler_llvm_;
260#endif
261
Ian Rogers2c8f6532011-09-02 17:16:34 -0700262 DISALLOW_COPY_AND_ASSIGN(Compiler);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700263};
264
Elliott Hughes8add92d2012-01-18 18:18:43 -0800265inline bool operator<(const Compiler::ClassReference& lhs, const Compiler::ClassReference& rhs) {
266 if (lhs.second < rhs.second) {
267 return true;
268 } else if (lhs.second > rhs.second) {
269 return false;
270 } else {
271 return (lhs.first < rhs.first);
272 }
273}
274
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700275} // namespace art
276
277#endif // ART_SRC_COMPILER_H_