blob: 1a9379ac1fb05f31360bd49955b174b02c674905 [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 Geoffrayb34f69a2014-03-07 15:28:39 +000017#include "compiler.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070018#include "compiler_internals.h"
19#include "driver/compiler_driver.h"
Dave Allison39c3bfb2014-01-28 18:33:52 -080020#include "driver/compiler_options.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070021#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"
Brian Carlstrom7940e442013-07-12 13:46:57 -070026#include "base/logging.h"
buzbeea61f4952013-08-23 14:27:06 -070027#include "base/timing_logger.h"
Dave Allison39c3bfb2014-01-28 18:33:52 -080028#include "driver/compiler_options.h"
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
buzbee091cc402014-03-31 10:14:40 -070043 (1 << kLoadStoreElimination) | // TODO: this pass has been broken for awhile - fix or delete.
Brian Carlstrom7934ac22013-07-26 10:54:15 -070044 // (1 << kLoadHoisting) |
45 // (1 << kSuppressLoads) |
46 // (1 << kNullCheckElimination) |
Vladimir Markobfea9c22014-01-17 17:49:33 +000047 // (1 << kClassInitCheckElimination) |
Brian Carlstrom7934ac22013-07-26 10:54:15 -070048 // (1 << kPromoteRegs) |
buzbee091cc402014-03-31 10:14:40 -070049 (1 << kTrackLiveTemps) | // FIXME: disable until liveness issue fixed.
Brian Carlstrom7934ac22013-07-26 10:54:15 -070050 // (1 << kSafeOptimizations) |
51 // (1 << kBBOpt) |
52 // (1 << kMatch) |
53 // (1 << kPromoteCompilerTemps) |
buzbee17189ac2013-11-08 11:07:02 -080054 // (1 << kSuppressExceptionEdges) |
Vladimir Marko9820b7c2014-01-02 16:40:37 +000055 // (1 << kSuppressMethodInlining) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070056 0;
57
58static uint32_t kCompilerDebugFlags = 0 | // Enable debug/testing modes
Brian Carlstrom7934ac22013-07-26 10:54:15 -070059 // (1 << kDebugDisplayMissingTargets) |
60 // (1 << kDebugVerbose) |
61 // (1 << kDebugDumpCFG) |
62 // (1 << kDebugSlowFieldPath) |
63 // (1 << kDebugSlowInvokePath) |
64 // (1 << kDebugSlowStringPath) |
65 // (1 << kDebugSlowestFieldPath) |
66 // (1 << kDebugSlowestStringPath) |
67 // (1 << kDebugExerciseResolveMethod) |
68 // (1 << kDebugVerifyDataflow) |
69 // (1 << kDebugShowMemoryUsage) |
70 // (1 << kDebugShowNops) |
71 // (1 << kDebugCountOpcodes) |
72 // (1 << kDebugDumpCheckStats) |
73 // (1 << kDebugDumpBitcodeFile) |
74 // (1 << kDebugVerifyBitcode) |
75 // (1 << kDebugShowSummaryMemoryUsage) |
buzbeeee17e0a2013-07-31 10:47:37 -070076 // (1 << kDebugShowFilterStats) |
buzbeea61f4952013-08-23 14:27:06 -070077 // (1 << kDebugTimings) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070078 0;
79
Vladimir Marko25724ef2013-11-12 15:09:20 +000080CompilationUnit::CompilationUnit(ArenaPool* pool)
81 : compiler_driver(NULL),
82 class_linker(NULL),
83 dex_file(NULL),
84 class_loader(NULL),
85 class_def_idx(0),
86 method_idx(0),
87 code_item(NULL),
88 access_flags(0),
89 invoke_type(kDirect),
90 shorty(NULL),
91 disable_opt(0),
92 enable_debug(0),
93 verbose(false),
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000094 compiler(NULL),
Vladimir Marko25724ef2013-11-12 15:09:20 +000095 instruction_set(kNone),
96 num_dalvik_registers(0),
97 insns(NULL),
98 num_ins(0),
99 num_outs(0),
100 num_regs(0),
Vladimir Marko25724ef2013-11-12 15:09:20 +0000101 compiler_flip_match(false),
102 arena(pool),
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000103 arena_stack(pool),
Vladimir Marko25724ef2013-11-12 15:09:20 +0000104 mir_graph(NULL),
105 cg(NULL),
106 timings("QuickCompiler", true, false) {
107}
108
109CompilationUnit::~CompilationUnit() {
110}
111
buzbeea61f4952013-08-23 14:27:06 -0700112void CompilationUnit::StartTimingSplit(const char* label) {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000113 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700114 timings.StartSplit(label);
115 }
116}
117
118void CompilationUnit::NewTimingSplit(const char* label) {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000119 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700120 timings.NewSplit(label);
121 }
122}
123
124void CompilationUnit::EndTiming() {
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000125 if (compiler_driver->GetDumpPasses()) {
buzbeea61f4952013-08-23 14:27:06 -0700126 timings.EndSplit();
Nicolas Geoffrayea3fa0b2014-02-10 11:59:41 +0000127 if (enable_debug & (1 << kDebugTimings)) {
128 LOG(INFO) << "TIMINGS " << PrettyMethod(method_idx, *dex_file);
129 LOG(INFO) << Dumpable<TimingLogger>(timings);
130 }
buzbeea61f4952013-08-23 14:27:06 -0700131 }
132}
133
Ian Rogers3d504072014-03-01 09:16:49 -0800134static CompiledMethod* CompileMethod(CompilerDriver& driver,
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000135 Compiler* compiler,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700136 const DexFile::CodeItem* code_item,
137 uint32_t access_flags, InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700138 uint16_t class_def_idx, uint32_t method_idx,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000139 jobject class_loader, const DexFile& dex_file,
140 void* llvm_compilation_unit) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700141 VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
buzbeeb48819d2013-09-14 16:15:25 -0700142 if (code_item->insns_size_in_code_units_ >= 0x10000) {
143 LOG(INFO) << "Method size exceeds compiler limits: " << code_item->insns_size_in_code_units_
144 << " in " << PrettyMethod(method_idx, dex_file);
145 return NULL;
146 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700147
Jeff Hao4a200f52014-04-01 14:58:49 -0700148 if (!driver.GetCompilerOptions().IsCompilationEnabled()) {
Ian Rogersa03de6d2014-03-08 23:37:07 +0000149 return nullptr;
150 }
151
Brian Carlstrom7940e442013-07-12 13:46:57 -0700152 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers3d504072014-03-01 09:16:49 -0800153 CompilationUnit cu(driver.GetArenaPool());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700154
Ian Rogers3d504072014-03-01 09:16:49 -0800155 cu.compiler_driver = &driver;
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700156 cu.class_linker = class_linker;
Ian Rogers3d504072014-03-01 09:16:49 -0800157 cu.instruction_set = driver.GetInstructionSet();
Mathieu Chartier53bee422014-04-04 16:10:05 -0700158 if (cu.instruction_set == kArm) {
159 cu.instruction_set = kThumb2;
160 }
Andreas Gampeaf13ad92014-04-11 12:07:48 -0700161 cu.target64 = Is64BitInstructionSet(cu.instruction_set);
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000162 cu.compiler = compiler;
Stuart Monteithb95a5342014-03-12 13:32:32 +0000163 // TODO: x86_64 & arm64 are not yet implemented.
Mathieu Chartier53bee422014-04-04 16:10:05 -0700164 CHECK((cu.instruction_set == kThumb2) ||
165 (cu.instruction_set == kX86) ||
166 (cu.instruction_set == kX86_64) ||
167 (cu.instruction_set == kMips));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700168
Brian Carlstrom7940e442013-07-12 13:46:57 -0700169 /* Adjust this value accordingly once inlining is performed */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700170 cu.num_dalvik_registers = code_item->registers_size_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700171 // TODO: set this from command line
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700172 cu.compiler_flip_match = false;
173 bool use_match = !cu.compiler_method_match.empty();
174 bool match = use_match && (cu.compiler_flip_match ^
175 (PrettyMethod(method_idx, dex_file).find(cu.compiler_method_match) !=
Brian Carlstrom7940e442013-07-12 13:46:57 -0700176 std::string::npos));
177 if (!use_match || match) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700178 cu.disable_opt = kCompilerOptimizerDisableFlags;
179 cu.enable_debug = kCompilerDebugFlags;
180 cu.verbose = VLOG_IS_ON(compiler) ||
181 (cu.enable_debug & (1 << kDebugVerbose));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700182 }
183
Mingyao Yang42d65c52014-04-18 16:49:39 -0700184 if (gVerboseMethods.size() != 0) {
185 cu.verbose = false;
186 for (size_t i = 0; i < gVerboseMethods.size(); ++i) {
187 if (PrettyMethod(method_idx, dex_file).find(gVerboseMethods[i])
188 != std::string::npos) {
189 cu.verbose = true;
190 break;
191 }
192 }
193 }
194
Brian Carlstrom7940e442013-07-12 13:46:57 -0700195 /*
196 * TODO: rework handling of optimization and debug flags. Should we split out
197 * MIR and backend flags? Need command-line setting as well.
198 */
199
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000200 compiler->InitCompilationUnit(cu);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700201
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700202 if (cu.instruction_set == kMips) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700203 // Disable some optimizations for mips for now
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700204 cu.disable_opt |= (
Brian Carlstrom7940e442013-07-12 13:46:57 -0700205 (1 << kLoadStoreElimination) |
206 (1 << kLoadHoisting) |
207 (1 << kSuppressLoads) |
208 (1 << kNullCheckElimination) |
209 (1 << kPromoteRegs) |
210 (1 << kTrackLiveTemps) |
211 (1 << kSafeOptimizations) |
212 (1 << kBBOpt) |
213 (1 << kMatch) |
214 (1 << kPromoteCompilerTemps));
215 }
216
buzbeea61f4952013-08-23 14:27:06 -0700217 cu.StartTimingSplit("BuildMIRGraph");
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700218 cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700219
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800220 /*
221 * After creation of the MIR graph, also create the code generator.
222 * The reason we do this is that optimizations on the MIR graph may need to get information
223 * that is only available if a CG exists.
224 */
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000225 cu.cg.reset(compiler->GetCodeGenerator(&cu, llvm_compilation_unit));
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800226
Brian Carlstrom7940e442013-07-12 13:46:57 -0700227 /* Gathering opcode stats? */
228 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700229 cu.mir_graph->EnableOpcodeCounting();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700230 }
231
Dave Allison39c3bfb2014-01-28 18:33:52 -0800232 // Check early if we should skip this compilation if using the profiled filter.
233 if (cu.compiler_driver->ProfilePresent()) {
234 std::string methodname = PrettyMethod(method_idx, dex_file);
235 if (cu.mir_graph->SkipCompilation(methodname)) {
236 return NULL;
237 }
238 }
239
Brian Carlstrom7940e442013-07-12 13:46:57 -0700240 /* Build the raw MIR graph */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700241 cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700242 class_loader, dex_file);
243
buzbee1da1e2f2013-11-15 13:37:01 -0800244 cu.NewTimingSplit("MIROpt:CheckFilters");
Jeff Hao4a200f52014-04-01 14:58:49 -0700245 if (cu.mir_graph->SkipCompilation()) {
246 return NULL;
buzbeeee17e0a2013-07-31 10:47:37 -0700247 }
248
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800249 /* Create the pass driver and launch it */
Ian Rogers3d504072014-03-01 09:16:49 -0800250 PassDriver pass_driver(&cu);
251 pass_driver.Launch();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700252
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700253 if (cu.enable_debug & (1 << kDebugDumpCheckStats)) {
254 cu.mir_graph->DumpCheckStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700255 }
256
257 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700258 cu.mir_graph->ShowOpcodeStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700259 }
260
buzbee1da1e2f2013-11-15 13:37:01 -0800261 /* Reassociate sreg names with original Dalvik vreg names. */
262 cu.mir_graph->RemapRegLocations();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700263
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000264 /* Free Arenas from the cu.arena_stack for reuse by the cu.arena in the codegen. */
265 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
266 if (cu.arena_stack.PeakBytesAllocated() > 256 * 1024) {
267 MemStats stack_stats(cu.arena_stack.GetPeakStats());
268 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(stack_stats);
269 }
270 }
271 cu.arena_stack.Reset();
272
Brian Carlstrom7940e442013-07-12 13:46:57 -0700273 CompiledMethod* result = NULL;
274
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700275 cu.cg->Materialize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700276
buzbee1da1e2f2013-11-15 13:37:01 -0800277 cu.NewTimingSplit("Dedupe"); /* deduping takes up the vast majority of time in GetCompiledMethod(). */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700278 result = cu.cg->GetCompiledMethod();
buzbee1da1e2f2013-11-15 13:37:01 -0800279 cu.NewTimingSplit("Cleanup");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700280
281 if (result) {
282 VLOG(compiler) << "Compiled " << PrettyMethod(method_idx, dex_file);
283 } else {
284 VLOG(compiler) << "Deferred " << PrettyMethod(method_idx, dex_file);
285 }
286
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700287 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000288 if (cu.arena.BytesAllocated() > (1 * 1024 *1024)) {
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000289 MemStats mem_stats(cu.arena.GetMemStats());
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000290 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700291 }
292 }
293
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700294 if (cu.enable_debug & (1 << kDebugShowSummaryMemoryUsage)) {
295 LOG(INFO) << "MEMINFO " << cu.arena.BytesAllocated() << " " << cu.mir_graph->GetNumBlocks()
Brian Carlstrom7940e442013-07-12 13:46:57 -0700296 << " " << PrettyMethod(method_idx, dex_file);
297 }
298
buzbeea61f4952013-08-23 14:27:06 -0700299 cu.EndTiming();
Ian Rogers3d504072014-03-01 09:16:49 -0800300 driver.GetTimingsLogger()->AddLogger(cu.timings);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700301 return result;
302}
303
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000304CompiledMethod* CompileOneMethod(CompilerDriver& driver,
305 Compiler* compiler,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700306 const DexFile::CodeItem* code_item,
307 uint32_t access_flags,
308 InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700309 uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700310 uint32_t method_idx,
311 jobject class_loader,
312 const DexFile& dex_file,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000313 void* compilation_unit) {
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000314 return CompileMethod(driver, compiler, code_item, access_flags, invoke_type, class_def_idx,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000315 method_idx, class_loader, dex_file, compilation_unit);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700316}
317
318} // namespace art
319
320extern "C" art::CompiledMethod*
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000321 ArtQuickCompileMethod(art::CompilerDriver& driver,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700322 const art::DexFile::CodeItem* code_item,
323 uint32_t access_flags, art::InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700324 uint16_t class_def_idx, uint32_t method_idx, jobject class_loader,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700325 const art::DexFile& dex_file) {
326 // TODO: check method fingerprint here to determine appropriate backend type. Until then, use build default
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000327 art::Compiler* compiler = driver.GetCompiler();
328 return art::CompileOneMethod(driver, compiler, code_item, access_flags, invoke_type,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700329 class_def_idx, method_idx, class_loader, dex_file,
330 NULL /* use thread llvm_info */);
331}