blob: 078ddf1bea67a41d4bad44c7d24c549763c53a77 [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
Andreas Gampe53c913b2014-08-12 23:19:23 -070017#include "frontend.h"
18
Andreas Gampe0d8ea462014-07-17 18:04:32 -070019#include <cstdint>
20
Andreas Gampe53c913b2014-08-12 23:19:23 -070021#include "backend.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000022#include "compiler.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070023#include "compiler_internals.h"
24#include "driver/compiler_driver.h"
Dave Allison39c3bfb2014-01-28 18:33:52 -080025#include "driver/compiler_options.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070026#include "mirror/object.h"
Jean Christophe Beyler2469e602014-05-06 20:36:55 -070027#include "pass_driver_me_opts.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070028#include "runtime.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070029#include "base/logging.h"
buzbeea61f4952013-08-23 14:27:06 -070030#include "base/timing_logger.h"
Dave Allison39c3bfb2014-01-28 18:33:52 -080031#include "driver/compiler_options.h"
Vladimir Marko5c96e6b2013-11-14 15:34:17 +000032#include "dex/quick/dex_file_to_method_inliner_map.h"
33
Brian Carlstrom7940e442013-07-12 13:46:57 -070034namespace art {
Brian Carlstrom7940e442013-07-12 13:46:57 -070035
Brian Carlstrom7940e442013-07-12 13:46:57 -070036/* Default optimizer/debug setting for the compiler. */
Brian Carlstrom7934ac22013-07-26 10:54:15 -070037static uint32_t kCompilerOptimizerDisableFlags = 0 | // Disable specific optimizations
Serban Constantinescu63999682014-07-15 17:44:21 +010038 // (1 << kLoadStoreElimination) |
Brian Carlstrom7934ac22013-07-26 10:54:15 -070039 // (1 << kLoadHoisting) |
40 // (1 << kSuppressLoads) |
41 // (1 << kNullCheckElimination) |
Vladimir Markobfea9c22014-01-17 17:49:33 +000042 // (1 << kClassInitCheckElimination) |
Vladimir Marko95a05972014-05-30 10:01:32 +010043 // (1 << kGlobalValueNumbering) |
Brian Carlstrom7934ac22013-07-26 10:54:15 -070044 // (1 << kPromoteRegs) |
buzbee30adc732014-05-09 15:10:18 -070045 // (1 << kTrackLiveTemps) |
Brian Carlstrom7934ac22013-07-26 10:54:15 -070046 // (1 << kSafeOptimizations) |
47 // (1 << kBBOpt) |
48 // (1 << kMatch) |
49 // (1 << kPromoteCompilerTemps) |
buzbee17189ac2013-11-08 11:07:02 -080050 // (1 << kSuppressExceptionEdges) |
Vladimir Marko9820b7c2014-01-02 16:40:37 +000051 // (1 << kSuppressMethodInlining) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070052 0;
53
54static uint32_t kCompilerDebugFlags = 0 | // Enable debug/testing modes
Brian Carlstrom7934ac22013-07-26 10:54:15 -070055 // (1 << kDebugDisplayMissingTargets) |
56 // (1 << kDebugVerbose) |
57 // (1 << kDebugDumpCFG) |
58 // (1 << kDebugSlowFieldPath) |
59 // (1 << kDebugSlowInvokePath) |
60 // (1 << kDebugSlowStringPath) |
61 // (1 << kDebugSlowestFieldPath) |
62 // (1 << kDebugSlowestStringPath) |
63 // (1 << kDebugExerciseResolveMethod) |
64 // (1 << kDebugVerifyDataflow) |
65 // (1 << kDebugShowMemoryUsage) |
66 // (1 << kDebugShowNops) |
67 // (1 << kDebugCountOpcodes) |
68 // (1 << kDebugDumpCheckStats) |
69 // (1 << kDebugDumpBitcodeFile) |
70 // (1 << kDebugVerifyBitcode) |
71 // (1 << kDebugShowSummaryMemoryUsage) |
buzbeeee17e0a2013-07-31 10:47:37 -070072 // (1 << kDebugShowFilterStats) |
buzbeea61f4952013-08-23 14:27:06 -070073 // (1 << kDebugTimings) |
buzbeeb01bf152014-05-13 15:59:07 -070074 // (1 << kDebugCodegenDump) |
Brian Carlstrom7940e442013-07-12 13:46:57 -070075 0;
76
Ian Rogers3d504072014-03-01 09:16:49 -080077static CompiledMethod* CompileMethod(CompilerDriver& driver,
Andreas Gampe53c913b2014-08-12 23:19:23 -070078 const Compiler* compiler,
Brian Carlstrom7940e442013-07-12 13:46:57 -070079 const DexFile::CodeItem* code_item,
80 uint32_t access_flags, InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -070081 uint16_t class_def_idx, uint32_t method_idx,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +000082 jobject class_loader, const DexFile& dex_file,
83 void* llvm_compilation_unit) {
Ian Rogers1ff3c982014-08-12 02:30:58 -070084 VLOG(compiler) << "Compiling " << PrettyMethod(method_idx, dex_file) << "...";
buzbeeb48819d2013-09-14 16:15:25 -070085 if (code_item->insns_size_in_code_units_ >= 0x10000) {
86 LOG(INFO) << "Method size exceeds compiler limits: " << code_item->insns_size_in_code_units_
Ian Rogers1ff3c982014-08-12 02:30:58 -070087 << " in " << PrettyMethod(method_idx, dex_file);
buzbeeb48819d2013-09-14 16:15:25 -070088 return NULL;
89 }
Brian Carlstrom7940e442013-07-12 13:46:57 -070090
Jeff Hao4a200f52014-04-01 14:58:49 -070091 if (!driver.GetCompilerOptions().IsCompilationEnabled()) {
Ian Rogersa03de6d2014-03-08 23:37:07 +000092 return nullptr;
93 }
94
Brian Carlstrom7940e442013-07-12 13:46:57 -070095 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers3d504072014-03-01 09:16:49 -080096 CompilationUnit cu(driver.GetArenaPool());
Brian Carlstrom7940e442013-07-12 13:46:57 -070097
Ian Rogers3d504072014-03-01 09:16:49 -080098 cu.compiler_driver = &driver;
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -070099 cu.class_linker = class_linker;
Ian Rogers3d504072014-03-01 09:16:49 -0800100 cu.instruction_set = driver.GetInstructionSet();
Mathieu Chartier53bee422014-04-04 16:10:05 -0700101 if (cu.instruction_set == kArm) {
102 cu.instruction_set = kThumb2;
103 }
Andreas Gampeaf13ad92014-04-11 12:07:48 -0700104 cu.target64 = Is64BitInstructionSet(cu.instruction_set);
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000105 cu.compiler = compiler;
Andreas Gampe00caeed2014-07-10 01:43:08 -0700106 // TODO: Mips64 is not yet implemented.
Mathieu Chartier53bee422014-04-04 16:10:05 -0700107 CHECK((cu.instruction_set == kThumb2) ||
Zheng Xu9e06c8c2014-05-06 18:06:07 +0100108 (cu.instruction_set == kArm64) ||
Mathieu Chartier53bee422014-04-04 16:10:05 -0700109 (cu.instruction_set == kX86) ||
110 (cu.instruction_set == kX86_64) ||
111 (cu.instruction_set == kMips));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700112
Brian Carlstrom7940e442013-07-12 13:46:57 -0700113 /* Adjust this value accordingly once inlining is performed */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700114 cu.num_dalvik_registers = code_item->registers_size_;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700115 // TODO: set this from command line
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700116 cu.compiler_flip_match = false;
117 bool use_match = !cu.compiler_method_match.empty();
118 bool match = use_match && (cu.compiler_flip_match ^
Ian Rogers1ff3c982014-08-12 02:30:58 -0700119 (PrettyMethod(method_idx, dex_file).find(cu.compiler_method_match) != std::string::npos));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700120 if (!use_match || match) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700121 cu.disable_opt = kCompilerOptimizerDisableFlags;
122 cu.enable_debug = kCompilerDebugFlags;
123 cu.verbose = VLOG_IS_ON(compiler) ||
124 (cu.enable_debug & (1 << kDebugVerbose));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700125 }
126
Mingyao Yang42d65c52014-04-18 16:49:39 -0700127 if (gVerboseMethods.size() != 0) {
128 cu.verbose = false;
129 for (size_t i = 0; i < gVerboseMethods.size(); ++i) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700130 if (PrettyMethod(method_idx, dex_file).find(gVerboseMethods[i])
Mingyao Yang42d65c52014-04-18 16:49:39 -0700131 != std::string::npos) {
132 cu.verbose = true;
133 break;
134 }
135 }
136 }
137
buzbeeb01bf152014-05-13 15:59:07 -0700138 if (cu.verbose) {
139 cu.enable_debug |= (1 << kDebugCodegenDump);
140 }
141
Brian Carlstrom7940e442013-07-12 13:46:57 -0700142 /*
143 * TODO: rework handling of optimization and debug flags. Should we split out
144 * MIR and backend flags? Need command-line setting as well.
145 */
146
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000147 compiler->InitCompilationUnit(cu);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700148
buzbeea61f4952013-08-23 14:27:06 -0700149 cu.StartTimingSplit("BuildMIRGraph");
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700150 cu.mir_graph.reset(new MIRGraph(&cu, &cu.arena));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700151
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800152 /*
153 * After creation of the MIR graph, also create the code generator.
154 * The reason we do this is that optimizations on the MIR graph may need to get information
155 * that is only available if a CG exists.
156 */
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000157 cu.cg.reset(compiler->GetCodeGenerator(&cu, llvm_compilation_unit));
Razvan A Lupusoruda7a69b2014-01-08 15:09:50 -0800158
Brian Carlstrom7940e442013-07-12 13:46:57 -0700159 /* Gathering opcode stats? */
160 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700161 cu.mir_graph->EnableOpcodeCounting();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700162 }
163
164 /* Build the raw MIR graph */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700165 cu.mir_graph->InlineMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700166 class_loader, dex_file);
167
Andreas Gampe53c913b2014-08-12 23:19:23 -0700168 if (!compiler->CanCompileMethod(method_idx, dex_file, &cu)) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700169 VLOG(compiler) << cu.instruction_set << ": Cannot compile method : "
170 << PrettyMethod(method_idx, dex_file);
Zheng Xu9e06c8c2014-05-06 18:06:07 +0100171 return nullptr;
172 }
173
buzbee1da1e2f2013-11-15 13:37:01 -0800174 cu.NewTimingSplit("MIROpt:CheckFilters");
Andreas Gampe060e6fe2014-06-19 11:34:06 -0700175 std::string skip_message;
176 if (cu.mir_graph->SkipCompilation(&skip_message)) {
177 VLOG(compiler) << cu.instruction_set << ": Skipping method : "
Ian Rogers1ff3c982014-08-12 02:30:58 -0700178 << PrettyMethod(method_idx, dex_file) << " Reason = " << skip_message;
buzbee33ae5582014-06-12 14:56:32 -0700179 return nullptr;
buzbeeee17e0a2013-07-31 10:47:37 -0700180 }
181
Jean Christophe Beyler4e97c532014-01-07 10:07:18 -0800182 /* Create the pass driver and launch it */
Jean Christophe Beyler2469e602014-05-06 20:36:55 -0700183 PassDriverMEOpts pass_driver(&cu);
Ian Rogers3d504072014-03-01 09:16:49 -0800184 pass_driver.Launch();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700185
Calin Juravle38a09042014-06-23 14:40:31 +0100186 /* For non-leaf methods check if we should skip compilation when the profiler is enabled. */
187 if (cu.compiler_driver->ProfilePresent()
188 && !cu.mir_graph->MethodIsLeaf()
Ian Rogers1ff3c982014-08-12 02:30:58 -0700189 && cu.mir_graph->SkipCompilationByName(PrettyMethod(method_idx, dex_file))) {
Calin Juravle38a09042014-06-23 14:40:31 +0100190 return nullptr;
191 }
192
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700193 if (cu.enable_debug & (1 << kDebugDumpCheckStats)) {
194 cu.mir_graph->DumpCheckStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700195 }
196
197 if (kCompilerDebugFlags & (1 << kDebugCountOpcodes)) {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700198 cu.mir_graph->ShowOpcodeStats();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700199 }
200
buzbee1da1e2f2013-11-15 13:37:01 -0800201 /* Reassociate sreg names with original Dalvik vreg names. */
202 cu.mir_graph->RemapRegLocations();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700203
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000204 /* Free Arenas from the cu.arena_stack for reuse by the cu.arena in the codegen. */
205 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
Vladimir Markob19955d2014-07-29 12:04:10 +0100206 if (cu.arena_stack.PeakBytesAllocated() > 1 * 1024 * 1024) {
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000207 MemStats stack_stats(cu.arena_stack.GetPeakStats());
Ian Rogers1ff3c982014-08-12 02:30:58 -0700208 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(stack_stats);
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000209 }
210 }
211 cu.arena_stack.Reset();
212
Brian Carlstrom7940e442013-07-12 13:46:57 -0700213 CompiledMethod* result = NULL;
214
buzbee8c7a02a2014-06-14 12:33:09 -0700215 if (cu.mir_graph->PuntToInterpreter()) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700216 VLOG(compiler) << cu.instruction_set << ": Punted method to interpreter: "
217 << PrettyMethod(method_idx, dex_file);
Andreas Gampe060e6fe2014-06-19 11:34:06 -0700218 return nullptr;
buzbee8c7a02a2014-06-14 12:33:09 -0700219 }
220
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700221 cu.cg->Materialize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700222
buzbee1da1e2f2013-11-15 13:37:01 -0800223 cu.NewTimingSplit("Dedupe"); /* deduping takes up the vast majority of time in GetCompiledMethod(). */
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700224 result = cu.cg->GetCompiledMethod();
buzbee1da1e2f2013-11-15 13:37:01 -0800225 cu.NewTimingSplit("Cleanup");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700226
227 if (result) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700228 VLOG(compiler) << cu.instruction_set << ": Compiled " << PrettyMethod(method_idx, dex_file);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700229 } else {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700230 VLOG(compiler) << cu.instruction_set << ": Deferred " << PrettyMethod(method_idx, dex_file);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700231 }
232
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700233 if (cu.enable_debug & (1 << kDebugShowMemoryUsage)) {
Vladimir Marko53b6afc2014-03-21 14:21:20 +0000234 if (cu.arena.BytesAllocated() > (1 * 1024 *1024)) {
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000235 MemStats mem_stats(cu.arena.GetMemStats());
Ian Rogers1ff3c982014-08-12 02:30:58 -0700236 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700237 }
238 }
239
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700240 if (cu.enable_debug & (1 << kDebugShowSummaryMemoryUsage)) {
241 LOG(INFO) << "MEMINFO " << cu.arena.BytesAllocated() << " " << cu.mir_graph->GetNumBlocks()
Ian Rogers1ff3c982014-08-12 02:30:58 -0700242 << " " << PrettyMethod(method_idx, dex_file);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700243 }
244
buzbeea61f4952013-08-23 14:27:06 -0700245 cu.EndTiming();
Ian Rogers3d504072014-03-01 09:16:49 -0800246 driver.GetTimingsLogger()->AddLogger(cu.timings);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700247 return result;
248}
249
Andreas Gampe53c913b2014-08-12 23:19:23 -0700250CompiledMethod* CompileOneMethod(CompilerDriver* driver,
251 const Compiler* compiler,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700252 const DexFile::CodeItem* code_item,
253 uint32_t access_flags,
254 InvokeType invoke_type,
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700255 uint16_t class_def_idx,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700256 uint32_t method_idx,
257 jobject class_loader,
258 const DexFile& dex_file,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000259 void* compilation_unit) {
Andreas Gampe53c913b2014-08-12 23:19:23 -0700260 return CompileMethod(*driver, compiler, code_item, access_flags, invoke_type, class_def_idx,
Nicolas Geoffrayf5df8972014-02-14 18:37:08 +0000261 method_idx, class_loader, dex_file, compilation_unit);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700262}
263
264} // namespace art