blob: a8c596ab71fa786529a55b30ea5618e0e2a5134e [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
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070034namespace art {
35
Elliott Hughes601a1232012-02-02 17:47:38 -080036class TimingLogger;
37
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070038class Compiler {
39 public:
Brian Carlstromaded5f72011-10-07 17:15:04 -070040 // Create a compiler targeting the requested "instruction_set".
Brian Carlstromae826982011-11-09 01:33:42 -080041 // "image" should be true if image specific optimizations should be
42 // enabled. "image_classes" lets the compiler know what classes it
43 // can assume will be in the image, with NULL implying all available
44 // classes.
45 explicit Compiler(InstructionSet instruction_set,
46 bool image,
47 const std::set<std::string>* image_classes);
Brian Carlstrom3320cf42011-10-04 14:58:28 -070048
49 ~Compiler();
Ian Rogers2c8f6532011-09-02 17:16:34 -070050
Jesse Wilson254db0f2011-11-16 16:44:11 -050051 void CompileAll(const ClassLoader* class_loader,
Brian Carlstromae826982011-11-09 01:33:42 -080052 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom8a487412011-08-29 20:08:52 -070053
54 // Compile a single Method
Brian Carlstrom3320cf42011-10-04 14:58:28 -070055 void CompileOne(const Method* method);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -070056
Brian Carlstrom3320cf42011-10-04 14:58:28 -070057 InstructionSet GetInstructionSet() const {
58 return instruction_set_;
59 }
60
Brian Carlstromaded5f72011-10-07 17:15:04 -070061 bool IsImage() const {
62 return image_;
63 }
64
Brian Carlstrome24fa612011-09-29 00:53:55 -070065 // Stub to throw AbstractMethodError
Brian Carlstrome24fa612011-09-29 00:53:55 -070066 static ByteArray* CreateAbstractMethodErrorStub(InstructionSet instruction_set);
67
Brian Carlstrom3320cf42011-10-04 14:58:28 -070068
Ian Rogersad25ac52011-10-04 19:13:33 -070069 // Generate the trampoline that's invoked by unresolved direct methods
Ian Rogers1cb0a1d2011-10-06 15:24:35 -070070 static ByteArray* CreateResolutionStub(InstructionSet instruction_set,
71 Runtime::TrampolineType type);
Ian Rogersad25ac52011-10-04 19:13:33 -070072
Elliott Hughes8add92d2012-01-18 18:18:43 -080073 static ByteArray* CreateJniDlsymLookupStub(InstructionSet instruction_set);
Ian Rogers169c9a72011-11-13 20:13:17 -080074
Brian Carlstrom0755ec52012-01-11 15:19:46 -080075 // A class is uniquely located by its DexFile and the class_defs_ table index into that DexFile
76 typedef std::pair<const DexFile*, uint32_t> ClassReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -080077
Brian Carlstrom0755ec52012-01-11 15:19:46 -080078 CompiledClass* GetCompiledClass(ClassReference ref) const;
Ian Rogers0571d352011-11-03 19:51:38 -070079
Brian Carlstrom0755ec52012-01-11 15:19:46 -080080 // A method is uniquely located by its DexFile and the method_ids_ table index into that DexFile
81 typedef std::pair<const DexFile*, uint32_t> MethodReference;
Elliott Hughes8add92d2012-01-18 18:18:43 -080082
Ian Rogers0571d352011-11-03 19:51:38 -070083 CompiledMethod* GetCompiledMethod(MethodReference ref) const;
Brian Carlstrom0755ec52012-01-11 15:19:46 -080084
Ian Rogers0571d352011-11-03 19:51:38 -070085 const CompiledInvokeStub* FindInvokeStub(bool is_static, const char* shorty) const;
Brian Carlstrom3320cf42011-10-04 14:58:28 -070086
Ian Rogers28ad40d2011-10-27 15:19:26 -070087 // Callbacks from OAT/ART compiler to see what runtime checks must be generated
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080088 bool CanAssumeTypeIsPresentInDexCache(const DexCache* dex_cache, uint32_t type_idx) const;
Ian Rogersa3760aa2011-11-14 14:32:37 -080089 bool CanAssumeStringIsPresentInDexCache(const DexCache* dex_cache, uint32_t string_idx) const {
Brian Carlstromae826982011-11-09 01:33:42 -080090 // TODO: Add support for loading strings referenced by image_classes_
91 // See also Compiler::ResolveDexFile
92 return IsImage() && image_classes_ == NULL && dex_cache->GetResolvedString(string_idx) != NULL;
Ian Rogers28ad40d2011-10-27 15:19:26 -070093 }
Ian Rogersa3760aa2011-11-14 14:32:37 -080094 bool CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexCache* dex_cache,
95 const DexFile& dex_file, uint32_t type_idx) const {
Brian Carlstromae826982011-11-09 01:33:42 -080096 Class* resolved_class = dex_cache->GetResolvedType(type_idx);
Ian Rogers28ad40d2011-10-27 15:19:26 -070097 // We should never ask whether a type needs access checks to raise a verification error,
98 // all other cases where this following test could fail should have been rewritten by the
Ian Rogersa3760aa2011-11-14 14:32:37 -080099 // verifier to verification errors. Also need to handle a lack of knowledge at compile time.
100#ifndef NDEBUG
Brian Carlstromae826982011-11-09 01:33:42 -0800101 const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx);
102 Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_);
Ian Rogersa3760aa2011-11-14 14:32:37 -0800103 DCHECK(resolved_class == NULL || referrer_class == NULL ||
104 referrer_class->CanAccess(resolved_class));
105#endif
Ian Rogers28ad40d2011-10-27 15:19:26 -0700106 return resolved_class != NULL;
107 }
Ian Rogers0571d352011-11-03 19:51:38 -0700108
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700109 private:
Brian Carlstromae826982011-11-09 01:33:42 -0800110
111 // Checks if class specified by type_idx is one of the image_classes_
112 bool IsImageClass(const std::string& descriptor) const;
113
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800114 void PreCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
Brian Carlstromae826982011-11-09 01:33:42 -0800115 void PostCompile(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
116
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700117 // Attempt to resolve all type, methods, fields, and strings
118 // referenced from code in the dex file following PathClassLoader
119 // ordering semantics.
Elliott Hughesd9c67be2012-02-02 19:54:06 -0800120 void Resolve(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files, TimingLogger& timings);
121 void ResolveDexFile(const ClassLoader* class_loader, const DexFile& dex_file, TimingLogger& timings);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700122
Brian Carlstromae826982011-11-09 01:33:42 -0800123 void Verify(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
jeffhao98eacac2011-09-14 16:11:53 -0700124 void VerifyDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
125
Brian Carlstromae826982011-11-09 01:33:42 -0800126 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
Brian Carlstroma5a97a22011-09-15 14:08:49 -0700127 void InitializeClassesWithoutClinit(const ClassLoader* class_loader, const DexFile& dex_file);
128
Brian Carlstromae826982011-11-09 01:33:42 -0800129 void Compile(const ClassLoader* class_loader,
130 const std::vector<const DexFile*>& dex_files);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700131 void CompileDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
Ian Rogers0571d352011-11-03 19:51:38 -0700132 void CompileClass(const DexFile::ClassDef& class_def, const ClassLoader* class_loader,
133 const DexFile& dex_file);
Ian Rogersa3760aa2011-11-14 14:32:37 -0800134 void CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags, uint32_t method_idx,
135 const ClassLoader* class_loader, const DexFile& dex_file);
Brian Carlstrom83db7722011-08-26 17:32:56 -0700136
Brian Carlstrome7d856b2012-01-11 18:10:55 -0800137 void SetGcMaps(const ClassLoader* class_loader, const std::vector<const DexFile*>& dex_files);
138 void SetGcMapsDexFile(const ClassLoader* class_loader, const DexFile& dex_file);
139 void SetGcMapsMethod(const DexFile& dex_file, Method* method);
140
Brian Carlstrom83db7722011-08-26 17:32:56 -0700141 // After compiling, walk all the DexCaches and set the code and
Brian Carlstrom9cc262e2011-08-28 12:45:30 -0700142 // method pointers of CodeAndDirectMethods entries in the DexCaches.
Brian Carlstromae826982011-11-09 01:33:42 -0800143 void SetCodeAndDirectMethods(const std::vector<const DexFile*>& dex_files);
Brian Carlstrom8a487412011-08-29 20:08:52 -0700144 void SetCodeAndDirectMethodsDexFile(const DexFile& dex_file);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700145
Ian Rogers0571d352011-11-03 19:51:38 -0700146 void InsertInvokeStub(bool is_static, const char* shorty,
147 const CompiledInvokeStub* compiled_invoke_stub);
148
Ian Rogers2c8f6532011-09-02 17:16:34 -0700149 InstructionSet instruction_set_;
150 JniCompiler jni_compiler_;
151
Elliott Hughes8add92d2012-01-18 18:18:43 -0800152 typedef std::map<const ClassReference, CompiledClass*> ClassTable;
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800153 // All class references that this compiler has compiled
154 ClassTable compiled_classes_;
155
Elliott Hughes8add92d2012-01-18 18:18:43 -0800156 typedef std::map<const MethodReference, CompiledMethod*> MethodTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700157 // All method references that this compiler has compiled
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700158 MethodTable compiled_methods_;
159
Elliott Hughese5448b52012-01-18 16:44:06 -0800160 typedef std::map<std::string, const CompiledInvokeStub*> InvokeStubTable;
Ian Rogers0571d352011-11-03 19:51:38 -0700161 // Invocation stubs created to allow invocation of the compiled methods
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700162 InvokeStubTable compiled_invoke_stubs_;
163
Brian Carlstromaded5f72011-10-07 17:15:04 -0700164 bool image_;
165
Elliott Hughesbb551fa2012-01-25 16:35:29 -0800166 size_t dex_file_count_;
167 size_t class_count_;
168 size_t abstract_method_count_;
169 size_t native_method_count_;
170 size_t regular_method_count_;
171 size_t instruction_count_;
172 uint64_t start_ns_;
173
Brian Carlstromae826982011-11-09 01:33:42 -0800174 const std::set<std::string>* image_classes_;
175
Ian Rogers2c8f6532011-09-02 17:16:34 -0700176 DISALLOW_COPY_AND_ASSIGN(Compiler);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700177};
178
Elliott Hughes8add92d2012-01-18 18:18:43 -0800179inline bool operator<(const Compiler::ClassReference& lhs, const Compiler::ClassReference& rhs) {
180 if (lhs.second < rhs.second) {
181 return true;
182 } else if (lhs.second > rhs.second) {
183 return false;
184 } else {
185 return (lhs.first < rhs.first);
186 }
187}
188
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700189} // namespace art
190
191#endif // ART_SRC_COMPILER_H_