blob: 591d92a73d918397cab55d59df71d41fbe92bfff [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
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
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +000017#include "compiler_backend.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070018#include "compiler_internals.h"
19#include "driver/compiler_driver.h"
20#include "dataflow_iterator-inl.h"
21#include "leb128.h"
22#include "mirror/object.h"
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080023#include "pass_driver.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070024#include "runtime.h"
25#include "backend.h"
26#include "base/logging.h"
buzbeea61f4952013-08-23 14:27:06 -070027#include "base/timing_logger.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070028
Vladimir Marko5c96e6b2013-11-14 15:34:17 +000029#include "dex/quick/dex_file_to_method_inliner_map.h"
30
Brian Carlstrom7940e442013-07-12 13:46:57 -070031namespace art {
Brian Carlstrom7940e442013-07-12 13:46:57 -070032
Vladimir Marko867a2b32013-12-10 13:01:13 +000033extern "C" void ArtInitQuickCompilerContext(art::CompilerDriver& driver) {
34 CHECK(driver.GetCompilerContext() == NULL);
Brian Carlstrom7940e442013-07-12 13:46:57 -070035}
36
Vladimir Marko867a2b32013-12-10 13:01:13 +000037extern "C" void ArtUnInitQuickCompilerContext(art::CompilerDriver& driver) {
Vladimir Marko5816ed42013-11-27 17:04:20 +000038 CHECK(driver.GetCompilerContext() == NULL);
Brian Carlstrom7940e442013-07-12 13:46:57 -070039}
40
41/* Default optimizer/debug setting for the compiler. */
Brian Carlstrom7934ac22013-07-26 10:54:15 -070042static uint32_t kCompilerOptimizerDisableFlags = 0 | // Disable specific optimizations
Brian Carlstrom7940e442013-07-12 13:46:57 -070043 (1 << kLoadStoreElimination) |
Brian Carlstrom7934ac22013-07-26 10:54:15 -070044 // (1 << kLoadHoisting) |
45 // (1 << kSuppressLoads) |
46 // (1 << kNullCheckElimination) |
47 // (1 << kPromoteRegs) |
48 // (1 << kTrackLiveTemps) |
49 // (1 << kSafeOptimizations) |
50 // (1 << kBBOpt) |
51 // (1 << kMatch) |
52 // (1 << kPromoteCompilerTemps) |
buzbee17189ac2013-11-08 11:07:02 -080053 // (1 << kSuppressExceptionEdges) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070054 0;
55
56static uint32_t kCompilerDebugFlags = 0 | // Enable debug/testing modes
Brian Carlstrom7934ac22013-07-26 10:54:15 -070057 // (1 << kDebugDisplayMissingTargets) |
58 // (1 << kDebugVerbose) |
59 // (1 << kDebugDumpCFG) |
60 // (1 << kDebugSlowFieldPath) |
61 // (1 << kDebugSlowInvokePath) |
62 // (1 << kDebugSlowStringPath) |
63 // (1 << kDebugSlowestFieldPath) |
64 // (1 << kDebugSlowestStringPath) |
65 // (1 << kDebugExerciseResolveMethod) |
66 // (1 << kDebugVerifyDataflow) |
67 // (1 << kDebugShowMemoryUsage) |
68 // (1 << kDebugShowNops) |
69 // (1 << kDebugCountOpcodes) |
70 // (1 << kDebugDumpCheckStats) |
71 // (1 << kDebugDumpBitcodeFile) |
72 // (1 << kDebugVerifyBitcode) |
73 // (1 << kDebugShowSummaryMemoryUsage) |
buzbeeee17e0a2013-07-31 10:47:37 -070074 // (1 << kDebugShowFilterStats) |
buzbeea61f4952013-08-23 14:27:06 -070075 // (1 << kDebugTimings) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070076 0;
77
Vladimir Marko25724ef2013-11-12 15:09:20 +000078CompilationUnit::CompilationUnit(ArenaPool* pool)
79 : compiler_driver(NULL),
80 class_linker(NULL),
81 dex_file(NULL),
82 class_loader(NULL),
83 class_def_idx(0),
84 method_idx(0),
85 code_item(NULL),
86 access_flags(0),
87 invoke_type(kDirect),
88 shorty(NULL),
89 disable_opt(0),
90 enable_debug(0),
91 verbose(false),
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +000092 compiler_backend(NULL),
Vladimir Marko25724ef2013-11-12 15:09:20 +000093 instruction_set(kNone),
94 num_dalvik_registers(0),
95 insns(NULL),
96 num_ins(0),
97 num_outs(0),
98 num_regs(0),
Vladimir Marko25724ef2013-11-12 15:09:20 +000099 compiler_flip_match(false),
100 arena(pool),
101 mir_graph(NULL),
102 cg(NULL),
103 timings("QuickCompiler", true, false) {
104}
105
106CompilationUnit::~CompilationUnit() {
107}
108
buzbeea61f4952013-08-23 14:27:06 -0700109void CompilationUnit::StartTimingSplit(const char* label) {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000110 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700111 timings.StartSplit(label);
112 }
113}
114
115void CompilationUnit::NewTimingSplit(const char* label) {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000116 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700117 timings.NewSplit(label);
118 }
119}
120
121void CompilationUnit::EndTiming() {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000122 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700123 timings.EndSplit();
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000124 if (enable_debug & (1 << kDebugTimings)) {
125 LOG(INFO) << "TIMINGS " << PrettyMethod(method_idx, *dex_file);
126 LOG(INFO) << Dumpable<TimingLogger>(timings);
127 }
buzbeea61f4952013-08-23 14:27:06 -0700128 }
129}
130
Brian Carlstrom7940e442013-07-12 13:46:57 -0700131static CompiledMethod* CompileMethod(CompilerDriver& compiler,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000132 CompilerBackend* compiler_backend,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700133 const DexFile::CodeItem* code_item,
134 uint32_t access_flags, InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700135 uint16_t class_def_idx, uint32_t method_idx,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000136 jobject class_loader, const DexFile& dex_file,
137 void* llvm_compilation_unit) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700138 VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
buzbeeb48819d2013-09-14 16:15:25 -0700139 if (code_item->insns_size_in_code_units_ >= 0x10000) {
140 LOG(INFO) << "Method size exceeds compiler limits: " << code_item->insns_size_in_code_units_
141 << " in " << PrettyMethod(method_idx, dex_file);
142 return NULL;
143 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700144
145 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700146 CompilationUnit cu(&compiler.GetArenaPool());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700147
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700148 cu.compiler_driver = &compiler;
149 cu.class_linker = class_linker;
150 cu.instruction_set = compiler.GetInstructionSet();
151 cu.compiler_backend = compiler_backend;
152 DCHECK((cu.instruction_set == kThumb2) ||
153 (cu.instruction_set == kX86) ||
154 (cu.instruction_set == kMips));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700155
156
157 /* Adjust this value accordingly once inlining is performed */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700158 cu.num_dalvik_registers = code_item->registers_size_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700159 // TODO: set this from command line
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700160 cu.compiler_flip_match = false;
161 bool use_match = !cu.compiler_method_match.empty();
162 bool match = use_match && (cu.compiler_flip_match ^
163 (PrettyMethod(method_idx, dex_file).find(cu.compiler_method_match) !=
Brian Carlstrom7940e442013-07-12 13:46:57 -0700164 std::string::npos));
165 if (!use_match || match) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700166 cu.disable_opt = kCompilerOptimizerDisableFlags;
167 cu.enable_debug = kCompilerDebugFlags;
168 cu.verbose = VLOG_IS_ON(compiler) ||
169 (cu.enable_debug & (1 << kDebugVerbose));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700170 }
171
172 /*
173 * TODO: rework handling of optimization and debug flags. Should we split out
174 * MIR and backend flags? Need command-line setting as well.
175 */
176
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000177 compiler_backend->InitCompilationUnit(cu);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700178
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700179 if (cu.instruction_set == kMips) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700180 // Disable some optimizations for mips for now
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700181 cu.disable_opt |= (
Brian Carlstrom7940e442013-07-12 13:46:57 -0700182 (1 << kLoadStoreElimination) |
183 (1 << kLoadHoisting) |
184 (1 << kSuppressLoads) |
185 (1 << kNullCheckElimination) |
186 (1 << kPromoteRegs) |
187 (1 << kTrackLiveTemps) |
188 (1 << kSafeOptimizations) |
189 (1 << kBBOpt) |
190 (1 << kMatch) |
191 (1 << kPromoteCompilerTemps));
192 }
193
buzbeea61f4952013-08-23 14:27:06 -0700194 cu.StartTimingSplit("BuildMIRGraph");
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700195 cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700196
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800197 /*
198 * After creation of the MIR graph, also create the code generator.
199 * The reason we do this is that optimizations on the MIR graph may need to get information
200 * that is only available if a CG exists.
201 */
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000202 cu.cg.reset(compiler_backend->GetCodeGenerator(&cu, llvm_compilation_unit));
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800203
Brian Carlstrom7940e442013-07-12 13:46:57 -0700204 /* Gathering opcode stats? */
205 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700206 cu.mir_graph->EnableOpcodeCounting();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700207 }
208
209 /* Build the raw MIR graph */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700210 cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700211 class_loader, dex_file);
212
buzbee1da1e2f2013-11-15 13:37:01 -0800213 cu.NewTimingSplit("MIROpt:CheckFilters");
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700214 if (cu.mir_graph->SkipCompilation(Runtime::Current()->GetCompilerFilter())) {
buzbeeee17e0a2013-07-31 10:47:37 -0700215 return NULL;
216 }
217
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800218 /* Create the pass driver and launch it */
219 PassDriver driver(&cu);
220 driver.Launch();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700221
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700222 if (cu.enable_debug & (1 << kDebugDumpCheckStats)) {
223 cu.mir_graph->DumpCheckStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700224 }
225
226 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700227 cu.mir_graph->ShowOpcodeStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700228 }
229
buzbee1da1e2f2013-11-15 13:37:01 -0800230 /* Reassociate sreg names with original Dalvik vreg names. */
231 cu.mir_graph->RemapRegLocations();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700232
233 CompiledMethod* result = NULL;
234
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700235 cu.cg->Materialize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700236
buzbee1da1e2f2013-11-15 13:37:01 -0800237 cu.NewTimingSplit("Dedupe"); /* deduping takes up the vast majority of time in GetCompiledMethod(). */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700238 result = cu.cg->GetCompiledMethod();
buzbee1da1e2f2013-11-15 13:37:01 -0800239 cu.NewTimingSplit("Cleanup");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700240
241 if (result) {
242 VLOG(compiler) << "Compiled " << PrettyMethod(method_idx, dex_file);
243 } else {
244 VLOG(compiler) << "Deferred " << PrettyMethod(method_idx, dex_file);
245 }
246
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700247 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
248 if (cu.arena.BytesAllocated() > (5 * 1024 *1024)) {
249 MemStats mem_stats(cu.arena);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700250 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
251 }
252 }
253
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700254 if (cu.enable_debug & (1 << kDebugShowSummaryMemoryUsage)) {
255 LOG(INFO) << "MEMINFO " << cu.arena.BytesAllocated() << " " << cu.mir_graph->GetNumBlocks()
Brian Carlstrom7940e442013-07-12 13:46:57 -0700256 << " " << PrettyMethod(method_idx, dex_file);
257 }
258
buzbeea61f4952013-08-23 14:27:06 -0700259 cu.EndTiming();
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000260 compiler.GetTimingsLogger().Start();
261 compiler.GetTimingsLogger().AddLogger(cu.timings);
262 compiler.GetTimingsLogger().End();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700263 return result;
264}
265
266CompiledMethod* CompileOneMethod(CompilerDriver& compiler,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000267 CompilerBackend* backend,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700268 const DexFile::CodeItem* code_item,
269 uint32_t access_flags,
270 InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700271 uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700272 uint32_t method_idx,
273 jobject class_loader,
274 const DexFile& dex_file,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000275 void* compilation_unit) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700276 return CompileMethod(compiler, backend, code_item, access_flags, invoke_type, class_def_idx,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000277 method_idx, class_loader, dex_file, compilation_unit);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700278}
279
280} // namespace art
281
282extern "C" art::CompiledMethod*
283 ArtQuickCompileMethod(art::CompilerDriver& compiler,
284 const art::DexFile::CodeItem* code_item,
285 uint32_t access_flags, art::InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700286 uint16_t class_def_idx, uint32_t method_idx, jobject class_loader,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700287 const art::DexFile& dex_file) {
288 // TODO: check method fingerprint here to determine appropriate backend type. Until then, use build default
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000289 art::CompilerBackend* backend = compiler.GetCompilerBackend();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700290 return art::CompileOneMethod(compiler, backend, code_item, access_flags, invoke_type,
291 class_def_idx, method_idx, class_loader, dex_file,
292 NULL /* use thread llvm_info */);
293}