blob: 8f83cd039ddd63c27b612d72a58eeead0d7b059b [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
buzbeea61f4952013-08-23 14:27:06 -0700143void CompilationUnit::StartTimingSplit(const char* label) {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000144 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700145 timings.StartSplit(label);
146 }
147}
148
149void CompilationUnit::NewTimingSplit(const char* label) {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000150 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700151 timings.NewSplit(label);
152 }
153}
154
155void CompilationUnit::EndTiming() {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000156 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700157 timings.EndSplit();
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000158 if (enable_debug & (1 << kDebugTimings)) {
159 LOG(INFO) << "TIMINGS " << PrettyMethod(method_idx, *dex_file);
160 LOG(INFO) << Dumpable<TimingLogger>(timings);
161 }
buzbeea61f4952013-08-23 14:27:06 -0700162 }
163}
164
Brian Carlstrom7940e442013-07-12 13:46:57 -0700165static CompiledMethod* CompileMethod(CompilerDriver& compiler,
166 const CompilerBackend compiler_backend,
167 const DexFile::CodeItem* code_item,
168 uint32_t access_flags, InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700169 uint16_t class_def_idx, uint32_t method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700170 jobject class_loader, const DexFile& dex_file
171#if defined(ART_USE_PORTABLE_COMPILER)
172 , llvm::LlvmCompilationUnit* llvm_compilation_unit
173#endif
174) {
175 VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
buzbeeb48819d2013-09-14 16:15:25 -0700176 if (code_item->insns_size_in_code_units_ >= 0x10000) {
177 LOG(INFO) << "Method size exceeds compiler limits: " << code_item->insns_size_in_code_units_
178 << " in " << PrettyMethod(method_idx, dex_file);
179 return NULL;
180 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700181
182 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700183 CompilationUnit cu(&compiler.GetArenaPool());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700184
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700185 cu.compiler_driver = &compiler;
186 cu.class_linker = class_linker;
187 cu.instruction_set = compiler.GetInstructionSet();
188 cu.compiler_backend = compiler_backend;
189 DCHECK((cu.instruction_set == kThumb2) ||
190 (cu.instruction_set == kX86) ||
191 (cu.instruction_set == kMips));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700192
193
194 /* Adjust this value accordingly once inlining is performed */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700195 cu.num_dalvik_registers = code_item->registers_size_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700196 // TODO: set this from command line
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700197 cu.compiler_flip_match = false;
198 bool use_match = !cu.compiler_method_match.empty();
199 bool match = use_match && (cu.compiler_flip_match ^
200 (PrettyMethod(method_idx, dex_file).find(cu.compiler_method_match) !=
Brian Carlstrom7940e442013-07-12 13:46:57 -0700201 std::string::npos));
202 if (!use_match || match) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700203 cu.disable_opt = kCompilerOptimizerDisableFlags;
204 cu.enable_debug = kCompilerDebugFlags;
205 cu.verbose = VLOG_IS_ON(compiler) ||
206 (cu.enable_debug & (1 << kDebugVerbose));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700207 }
208
209 /*
210 * TODO: rework handling of optimization and debug flags. Should we split out
211 * MIR and backend flags? Need command-line setting as well.
212 */
213
214 if (compiler_backend == kPortable) {
buzbeeb48819d2013-09-14 16:15:25 -0700215 // Fused long branches not currently useful in bitcode.
buzbee17189ac2013-11-08 11:07:02 -0800216 cu.disable_opt |=
217 (1 << kBranchFusing) |
218 (1 << kSuppressExceptionEdges);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700219 }
220
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700221 if (cu.instruction_set == kMips) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700222 // Disable some optimizations for mips for now
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700223 cu.disable_opt |= (
Brian Carlstrom7940e442013-07-12 13:46:57 -0700224 (1 << kLoadStoreElimination) |
225 (1 << kLoadHoisting) |
226 (1 << kSuppressLoads) |
227 (1 << kNullCheckElimination) |
228 (1 << kPromoteRegs) |
229 (1 << kTrackLiveTemps) |
230 (1 << kSafeOptimizations) |
231 (1 << kBBOpt) |
232 (1 << kMatch) |
233 (1 << kPromoteCompilerTemps));
234 }
235
buzbeea61f4952013-08-23 14:27:06 -0700236 cu.StartTimingSplit("BuildMIRGraph");
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700237 cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700238
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800239 /*
240 * After creation of the MIR graph, also create the code generator.
241 * The reason we do this is that optimizations on the MIR graph may need to get information
242 * that is only available if a CG exists.
243 */
244#if defined(ART_USE_PORTABLE_COMPILER)
245 if (compiler_backend == kPortable) {
246 cu.cg.reset(PortableCodeGenerator(&cu, cu.mir_graph.get(), &cu.arena, llvm_compilation_unit));
247 } else {
248#endif
249 Mir2Lir* mir_to_lir = nullptr;
250 switch (compiler.GetInstructionSet()) {
251 case kThumb2:
252 mir_to_lir = ArmCodeGenerator(&cu, cu.mir_graph.get(), &cu.arena);
253 break;
254 case kMips:
255 mir_to_lir = MipsCodeGenerator(&cu, cu.mir_graph.get(), &cu.arena);
256 break;
257 case kX86:
258 mir_to_lir = X86CodeGenerator(&cu, cu.mir_graph.get(), &cu.arena);
259 break;
260 default:
261 LOG(FATAL) << "Unexpected instruction set: " << compiler.GetInstructionSet();
262 }
263
264 cu.cg.reset(mir_to_lir);
265
266 /* The number of compiler temporaries depends on backend so set it up now if possible */
267 if (mir_to_lir) {
268 size_t max_temps = mir_to_lir->GetMaxPossibleCompilerTemps();
269 bool set_max = cu.mir_graph->SetMaxAvailableNonSpecialCompilerTemps(max_temps);
270 CHECK(set_max);
271 }
272#if defined(ART_USE_PORTABLE_COMPILER)
273 }
274#endif
275
Brian Carlstrom7940e442013-07-12 13:46:57 -0700276 /* Gathering opcode stats? */
277 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700278 cu.mir_graph->EnableOpcodeCounting();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700279 }
280
281 /* Build the raw MIR graph */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700282 cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700283 class_loader, dex_file);
284
buzbee1da1e2f2013-11-15 13:37:01 -0800285 cu.NewTimingSplit("MIROpt:CheckFilters");
Ian Rogers677ffa42013-08-21 21:53:05 -0700286#if !defined(ART_USE_PORTABLE_COMPILER)
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700287 if (cu.mir_graph->SkipCompilation(Runtime::Current()->GetCompilerFilter())) {
buzbeeee17e0a2013-07-31 10:47:37 -0700288 return NULL;
289 }
Ian Rogers677ffa42013-08-21 21:53:05 -0700290#endif
buzbeeee17e0a2013-07-31 10:47:37 -0700291
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800292 /* Create the pass driver and launch it */
293 PassDriver driver(&cu);
294 driver.Launch();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700295
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700296 if (cu.enable_debug & (1 << kDebugDumpCheckStats)) {
297 cu.mir_graph->DumpCheckStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700298 }
299
300 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700301 cu.mir_graph->ShowOpcodeStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700302 }
303
buzbee1da1e2f2013-11-15 13:37:01 -0800304 /* Reassociate sreg names with original Dalvik vreg names. */
305 cu.mir_graph->RemapRegLocations();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700306
307 CompiledMethod* result = NULL;
308
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700309 cu.cg->Materialize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700310
buzbee1da1e2f2013-11-15 13:37:01 -0800311 cu.NewTimingSplit("Dedupe"); /* deduping takes up the vast majority of time in GetCompiledMethod(). */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700312 result = cu.cg->GetCompiledMethod();
buzbee1da1e2f2013-11-15 13:37:01 -0800313 cu.NewTimingSplit("Cleanup");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700314
315 if (result) {
316 VLOG(compiler) << "Compiled " << PrettyMethod(method_idx, dex_file);
317 } else {
318 VLOG(compiler) << "Deferred " << PrettyMethod(method_idx, dex_file);
319 }
320
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700321 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
322 if (cu.arena.BytesAllocated() > (5 * 1024 *1024)) {
323 MemStats mem_stats(cu.arena);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700324 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
325 }
326 }
327
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700328 if (cu.enable_debug & (1 << kDebugShowSummaryMemoryUsage)) {
329 LOG(INFO) << "MEMINFO " << cu.arena.BytesAllocated() << " " << cu.mir_graph->GetNumBlocks()
Brian Carlstrom7940e442013-07-12 13:46:57 -0700330 << " " << PrettyMethod(method_idx, dex_file);
331 }
332
buzbeea61f4952013-08-23 14:27:06 -0700333 cu.EndTiming();
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000334 compiler.GetTimingsLogger().Start();
335 compiler.GetTimingsLogger().AddLogger(cu.timings);
336 compiler.GetTimingsLogger().End();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700337 return result;
338}
339
340CompiledMethod* CompileOneMethod(CompilerDriver& compiler,
341 const CompilerBackend backend,
342 const DexFile::CodeItem* code_item,
343 uint32_t access_flags,
344 InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700345 uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700346 uint32_t method_idx,
347 jobject class_loader,
348 const DexFile& dex_file,
349 llvm::LlvmCompilationUnit* llvm_compilation_unit) {
350 return CompileMethod(compiler, backend, code_item, access_flags, invoke_type, class_def_idx,
351 method_idx, class_loader, dex_file
352#if defined(ART_USE_PORTABLE_COMPILER)
353 , llvm_compilation_unit
354#endif
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700355 ); // NOLINT(whitespace/parens)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700356}
357
358} // namespace art
359
360extern "C" art::CompiledMethod*
361 ArtQuickCompileMethod(art::CompilerDriver& compiler,
362 const art::DexFile::CodeItem* code_item,
363 uint32_t access_flags, art::InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700364 uint16_t class_def_idx, uint32_t method_idx, jobject class_loader,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700365 const art::DexFile& dex_file) {
366 // TODO: check method fingerprint here to determine appropriate backend type. Until then, use build default
367 art::CompilerBackend backend = compiler.GetCompilerBackend();
368 return art::CompileOneMethod(compiler, backend, code_item, access_flags, invoke_type,
369 class_def_idx, method_idx, class_loader, dex_file,
370 NULL /* use thread llvm_info */);
371}