blob: c2016d0c0f6fd79f16a48bd97a3741c69d64de1b [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
17#include <llvm/Support/Threading.h>
18
19#include "compiler_internals.h"
20#include "driver/compiler_driver.h"
21#include "dataflow_iterator-inl.h"
22#include "leb128.h"
23#include "mirror/object.h"
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -080024#include "pass_driver.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070025#include "runtime.h"
26#include "backend.h"
27#include "base/logging.h"
buzbeea61f4952013-08-23 14:27:06 -070028#include "base/timing_logger.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070029
30#if defined(ART_USE_PORTABLE_COMPILER)
31#include "dex/portable/mir_to_gbc.h"
32#include "llvm/llvm_compilation_unit.h"
33#endif
34
Vladimir Marko5c96e6b2013-11-14 15:34:17 +000035#include "dex/quick/dex_file_to_method_inliner_map.h"
36
Brian Carlstrom7940e442013-07-12 13:46:57 -070037namespace {
38#if !defined(ART_USE_PORTABLE_COMPILER)
39 pthread_once_t llvm_multi_init = PTHREAD_ONCE_INIT;
40#endif
41 void InitializeLLVMForQuick() {
42 ::llvm::llvm_start_multithreaded();
43 }
44}
45
46namespace art {
47namespace llvm {
48::llvm::Module* makeLLVMModuleContents(::llvm::Module* module);
49}
50
51LLVMInfo::LLVMInfo() {
52#if !defined(ART_USE_PORTABLE_COMPILER)
53 pthread_once(&llvm_multi_init, InitializeLLVMForQuick);
54#endif
55 // Create context, module, intrinsic helper & ir builder
56 llvm_context_.reset(new ::llvm::LLVMContext());
57 llvm_module_ = new ::llvm::Module("art", *llvm_context_);
58 ::llvm::StructType::create(*llvm_context_, "JavaObject");
59 art::llvm::makeLLVMModuleContents(llvm_module_);
Brian Carlstromdf629502013-07-17 22:39:56 -070060 intrinsic_helper_.reset(new art::llvm::IntrinsicHelper(*llvm_context_, *llvm_module_));
Brian Carlstrom7940e442013-07-12 13:46:57 -070061 ir_builder_.reset(new art::llvm::IRBuilder(*llvm_context_, *llvm_module_, *intrinsic_helper_));
62}
63
64LLVMInfo::~LLVMInfo() {
65}
66
Vladimir Marko867a2b32013-12-10 13:01:13 +000067extern "C" void ArtInitQuickCompilerContext(art::CompilerDriver& driver) {
68 CHECK(driver.GetCompilerContext() == NULL);
Brian Carlstrom7940e442013-07-12 13:46:57 -070069}
70
Vladimir Marko867a2b32013-12-10 13:01:13 +000071extern "C" void ArtUnInitQuickCompilerContext(art::CompilerDriver& driver) {
Vladimir Marko5816ed42013-11-27 17:04:20 +000072 CHECK(driver.GetCompilerContext() == NULL);
Brian Carlstrom7940e442013-07-12 13:46:57 -070073}
74
75/* Default optimizer/debug setting for the compiler. */
Brian Carlstrom7934ac22013-07-26 10:54:15 -070076static uint32_t kCompilerOptimizerDisableFlags = 0 | // Disable specific optimizations
Brian Carlstrom7940e442013-07-12 13:46:57 -070077 (1 << kLoadStoreElimination) |
Brian Carlstrom7934ac22013-07-26 10:54:15 -070078 // (1 << kLoadHoisting) |
79 // (1 << kSuppressLoads) |
80 // (1 << kNullCheckElimination) |
81 // (1 << kPromoteRegs) |
82 // (1 << kTrackLiveTemps) |
83 // (1 << kSafeOptimizations) |
84 // (1 << kBBOpt) |
85 // (1 << kMatch) |
86 // (1 << kPromoteCompilerTemps) |
buzbee17189ac2013-11-08 11:07:02 -080087 // (1 << kSuppressExceptionEdges) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070088 0;
89
90static uint32_t kCompilerDebugFlags = 0 | // Enable debug/testing modes
Brian Carlstrom7934ac22013-07-26 10:54:15 -070091 // (1 << kDebugDisplayMissingTargets) |
92 // (1 << kDebugVerbose) |
93 // (1 << kDebugDumpCFG) |
94 // (1 << kDebugSlowFieldPath) |
95 // (1 << kDebugSlowInvokePath) |
96 // (1 << kDebugSlowStringPath) |
97 // (1 << kDebugSlowestFieldPath) |
98 // (1 << kDebugSlowestStringPath) |
99 // (1 << kDebugExerciseResolveMethod) |
100 // (1 << kDebugVerifyDataflow) |
101 // (1 << kDebugShowMemoryUsage) |
102 // (1 << kDebugShowNops) |
103 // (1 << kDebugCountOpcodes) |
104 // (1 << kDebugDumpCheckStats) |
105 // (1 << kDebugDumpBitcodeFile) |
106 // (1 << kDebugVerifyBitcode) |
107 // (1 << kDebugShowSummaryMemoryUsage) |
buzbeeee17e0a2013-07-31 10:47:37 -0700108 // (1 << kDebugShowFilterStats) |
buzbeea61f4952013-08-23 14:27:06 -0700109 // (1 << kDebugTimings) |
Brian Carlstrom7940e442013-07-12 13:46:57 -0700110 0;
111
Vladimir Marko25724ef2013-11-12 15:09:20 +0000112CompilationUnit::CompilationUnit(ArenaPool* pool)
113 : compiler_driver(NULL),
114 class_linker(NULL),
115 dex_file(NULL),
116 class_loader(NULL),
117 class_def_idx(0),
118 method_idx(0),
119 code_item(NULL),
120 access_flags(0),
121 invoke_type(kDirect),
122 shorty(NULL),
123 disable_opt(0),
124 enable_debug(0),
125 verbose(false),
126 compiler_backend(kNoBackend),
127 instruction_set(kNone),
128 num_dalvik_registers(0),
129 insns(NULL),
130 num_ins(0),
131 num_outs(0),
132 num_regs(0),
Vladimir Marko25724ef2013-11-12 15:09:20 +0000133 compiler_flip_match(false),
134 arena(pool),
135 mir_graph(NULL),
136 cg(NULL),
137 timings("QuickCompiler", true, false) {
138}
139
140CompilationUnit::~CompilationUnit() {
141}
142
Brian Carlstrom650be762014-01-20 10:55:16 -0800143// TODO: Add a cumulative version of logging, and combine with dex2oat --dump-timing
buzbeea61f4952013-08-23 14:27:06 -0700144void CompilationUnit::StartTimingSplit(const char* label) {
Brian Carlstrom650be762014-01-20 10:55:16 -0800145 if (enable_debug & (1 << kDebugTimings)) {
buzbeea61f4952013-08-23 14:27:06 -0700146 timings.StartSplit(label);
147 }
148}
149
150void CompilationUnit::NewTimingSplit(const char* label) {
Brian Carlstrom650be762014-01-20 10:55:16 -0800151 if (enable_debug & (1 << kDebugTimings)) {
buzbeea61f4952013-08-23 14:27:06 -0700152 timings.NewSplit(label);
153 }
154}
155
156void CompilationUnit::EndTiming() {
Brian Carlstrom650be762014-01-20 10:55:16 -0800157 if (enable_debug & (1 << kDebugTimings)) {
buzbeea61f4952013-08-23 14:27:06 -0700158 timings.EndSplit();
Brian Carlstrom650be762014-01-20 10:55:16 -0800159 LOG(INFO) << "TIMINGS " << PrettyMethod(method_idx, *dex_file);
160 LOG(INFO) << Dumpable<TimingLogger>(timings);
buzbeea61f4952013-08-23 14:27:06 -0700161 }
162}
163
Brian Carlstrom7940e442013-07-12 13:46:57 -0700164static CompiledMethod* CompileMethod(CompilerDriver& compiler,
165 const CompilerBackend compiler_backend,
166 const DexFile::CodeItem* code_item,
167 uint32_t access_flags, InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700168 uint16_t class_def_idx, uint32_t method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700169 jobject class_loader, const DexFile& dex_file
170#if defined(ART_USE_PORTABLE_COMPILER)
171 , llvm::LlvmCompilationUnit* llvm_compilation_unit
172#endif
173) {
174 VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
buzbeeb48819d2013-09-14 16:15:25 -0700175 if (code_item->insns_size_in_code_units_ >= 0x10000) {
176 LOG(INFO) << "Method size exceeds compiler limits: " << code_item->insns_size_in_code_units_
177 << " in " << PrettyMethod(method_idx, dex_file);
178 return NULL;
179 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700180
181 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700182 CompilationUnit cu(&compiler.GetArenaPool());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700183
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700184 cu.compiler_driver = &compiler;
185 cu.class_linker = class_linker;
186 cu.instruction_set = compiler.GetInstructionSet();
187 cu.compiler_backend = compiler_backend;
188 DCHECK((cu.instruction_set == kThumb2) ||
189 (cu.instruction_set == kX86) ||
190 (cu.instruction_set == kMips));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700191
192
193 /* Adjust this value accordingly once inlining is performed */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700194 cu.num_dalvik_registers = code_item->registers_size_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700195 // TODO: set this from command line
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700196 cu.compiler_flip_match = false;
197 bool use_match = !cu.compiler_method_match.empty();
198 bool match = use_match && (cu.compiler_flip_match ^
199 (PrettyMethod(method_idx, dex_file).find(cu.compiler_method_match) !=
Brian Carlstrom7940e442013-07-12 13:46:57 -0700200 std::string::npos));
201 if (!use_match || match) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700202 cu.disable_opt = kCompilerOptimizerDisableFlags;
203 cu.enable_debug = kCompilerDebugFlags;
204 cu.verbose = VLOG_IS_ON(compiler) ||
205 (cu.enable_debug & (1 << kDebugVerbose));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700206 }
207
208 /*
209 * TODO: rework handling of optimization and debug flags. Should we split out
210 * MIR and backend flags? Need command-line setting as well.
211 */
212
213 if (compiler_backend == kPortable) {
buzbeeb48819d2013-09-14 16:15:25 -0700214 // Fused long branches not currently useful in bitcode.
buzbee17189ac2013-11-08 11:07:02 -0800215 cu.disable_opt |=
216 (1 << kBranchFusing) |
217 (1 << kSuppressExceptionEdges);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700218 }
219
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700220 if (cu.instruction_set == kMips) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700221 // Disable some optimizations for mips for now
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700222 cu.disable_opt |= (
Brian Carlstrom7940e442013-07-12 13:46:57 -0700223 (1 << kLoadStoreElimination) |
224 (1 << kLoadHoisting) |
225 (1 << kSuppressLoads) |
226 (1 << kNullCheckElimination) |
227 (1 << kPromoteRegs) |
228 (1 << kTrackLiveTemps) |
229 (1 << kSafeOptimizations) |
230 (1 << kBBOpt) |
231 (1 << kMatch) |
232 (1 << kPromoteCompilerTemps));
233 }
234
buzbeea61f4952013-08-23 14:27:06 -0700235 cu.StartTimingSplit("BuildMIRGraph");
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700236 cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700237
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800238 /*
239 * After creation of the MIR graph, also create the code generator.
240 * The reason we do this is that optimizations on the MIR graph may need to get information
241 * that is only available if a CG exists.
242 */
243#if defined(ART_USE_PORTABLE_COMPILER)
244 if (compiler_backend == kPortable) {
245 cu.cg.reset(PortableCodeGenerator(&cu, cu.mir_graph.get(), &cu.arena, llvm_compilation_unit));
246 } else {
247#endif
248 Mir2Lir* mir_to_lir = nullptr;
249 switch (compiler.GetInstructionSet()) {
250 case kThumb2:
251 mir_to_lir = ArmCodeGenerator(&cu, cu.mir_graph.get(), &cu.arena);
252 break;
253 case kMips:
254 mir_to_lir = MipsCodeGenerator(&cu, cu.mir_graph.get(), &cu.arena);
255 break;
256 case kX86:
257 mir_to_lir = X86CodeGenerator(&cu, cu.mir_graph.get(), &cu.arena);
258 break;
259 default:
260 LOG(FATAL) << "Unexpected instruction set: " << compiler.GetInstructionSet();
261 }
262
263 cu.cg.reset(mir_to_lir);
264
265 /* The number of compiler temporaries depends on backend so set it up now if possible */
266 if (mir_to_lir) {
267 size_t max_temps = mir_to_lir->GetMaxPossibleCompilerTemps();
268 bool set_max = cu.mir_graph->SetMaxAvailableNonSpecialCompilerTemps(max_temps);
269 CHECK(set_max);
270 }
271#if defined(ART_USE_PORTABLE_COMPILER)
272 }
273#endif
274
Brian Carlstrom7940e442013-07-12 13:46:57 -0700275 /* Gathering opcode stats? */
276 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700277 cu.mir_graph->EnableOpcodeCounting();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700278 }
279
280 /* Build the raw MIR graph */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700281 cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700282 class_loader, dex_file);
283
buzbee1da1e2f2013-11-15 13:37:01 -0800284 cu.NewTimingSplit("MIROpt:CheckFilters");
Ian Rogers677ffa42013-08-21 21:53:05 -0700285#if !defined(ART_USE_PORTABLE_COMPILER)
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700286 if (cu.mir_graph->SkipCompilation(Runtime::Current()->GetCompilerFilter())) {
buzbeeee17e0a2013-07-31 10:47:37 -0700287 return NULL;
288 }
Ian Rogers677ffa42013-08-21 21:53:05 -0700289#endif
buzbeeee17e0a2013-07-31 10:47:37 -0700290
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800291 /* Create the pass driver and launch it */
292 PassDriver driver(&cu);
293 driver.Launch();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700294
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700295 if (cu.enable_debug & (1 << kDebugDumpCheckStats)) {
296 cu.mir_graph->DumpCheckStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700297 }
298
299 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700300 cu.mir_graph->ShowOpcodeStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700301 }
302
buzbee1da1e2f2013-11-15 13:37:01 -0800303 /* Reassociate sreg names with original Dalvik vreg names. */
304 cu.mir_graph->RemapRegLocations();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700305
306 CompiledMethod* result = NULL;
307
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700308 cu.cg->Materialize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700309
buzbee1da1e2f2013-11-15 13:37:01 -0800310 cu.NewTimingSplit("Dedupe"); /* deduping takes up the vast majority of time in GetCompiledMethod(). */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700311 result = cu.cg->GetCompiledMethod();
buzbee1da1e2f2013-11-15 13:37:01 -0800312 cu.NewTimingSplit("Cleanup");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700313
314 if (result) {
315 VLOG(compiler) << "Compiled " << PrettyMethod(method_idx, dex_file);
316 } else {
317 VLOG(compiler) << "Deferred " << PrettyMethod(method_idx, dex_file);
318 }
319
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700320 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
321 if (cu.arena.BytesAllocated() > (5 * 1024 *1024)) {
322 MemStats mem_stats(cu.arena);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700323 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
324 }
325 }
326
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700327 if (cu.enable_debug & (1 << kDebugShowSummaryMemoryUsage)) {
328 LOG(INFO) << "MEMINFO " << cu.arena.BytesAllocated() << " " << cu.mir_graph->GetNumBlocks()
Brian Carlstrom7940e442013-07-12 13:46:57 -0700329 << " " << PrettyMethod(method_idx, dex_file);
330 }
331
buzbeea61f4952013-08-23 14:27:06 -0700332 cu.EndTiming();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700333 return result;
334}
335
336CompiledMethod* CompileOneMethod(CompilerDriver& compiler,
337 const CompilerBackend backend,
338 const DexFile::CodeItem* code_item,
339 uint32_t access_flags,
340 InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700341 uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700342 uint32_t method_idx,
343 jobject class_loader,
344 const DexFile& dex_file,
345 llvm::LlvmCompilationUnit* llvm_compilation_unit) {
346 return CompileMethod(compiler, backend, code_item, access_flags, invoke_type, class_def_idx,
347 method_idx, class_loader, dex_file
348#if defined(ART_USE_PORTABLE_COMPILER)
349 , llvm_compilation_unit
350#endif
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700351 ); // NOLINT(whitespace/parens)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700352}
353
354} // namespace art
355
356extern "C" art::CompiledMethod*
357 ArtQuickCompileMethod(art::CompilerDriver& compiler,
358 const art::DexFile::CodeItem* code_item,
359 uint32_t access_flags, art::InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700360 uint16_t class_def_idx, uint32_t method_idx, jobject class_loader,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700361 const art::DexFile& dex_file) {
362 // TODO: check method fingerprint here to determine appropriate backend type. Until then, use build default
363 art::CompilerBackend backend = compiler.GetCompilerBackend();
364 return art::CompileOneMethod(compiler, backend, code_item, access_flags, invoke_type,
365 class_def_idx, method_idx, class_loader, dex_file,
366 NULL /* use thread llvm_info */);
367}