blob: 898b656b8090b662aa5303b077356252fa58fc72 [file] [log] [blame]
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +00001/*
2 * Copyright (C) 2014 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 "optimizing_compiler.h"
18
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010019#include <fstream>
Nicolas Geoffray787c3072014-03-17 10:20:19 +000020#include <stdint.h>
21
Alexandre Rames44b9cf92015-08-19 15:39:06 +010022#ifdef ART_ENABLE_CODEGEN_arm64
23#include "instruction_simplifier_arm64.h"
24#endif
25
Mathieu Chartiere401d142015-04-22 13:56:20 -070026#include "art_method-inl.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080027#include "base/arena_allocator.h"
Vladimir Markof9f64412015-09-02 14:05:49 +010028#include "base/arena_containers.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000029#include "base/dumpable.h"
30#include "base/timing_logger.h"
David Brazdil46e2a392015-03-16 17:31:52 +000031#include "boolean_simplifier.h"
Mingyao Yangf384f882014-10-22 16:08:18 -070032#include "bounds_check_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000033#include "builder.h"
34#include "code_generator.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000035#include "compiled_method.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070036#include "compiler.h"
Roland Levillain75be2832014-10-17 17:02:00 +010037#include "constant_folding.h"
38#include "dead_code_elimination.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080039#include "dex/quick/dex_file_to_method_inliner_map.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010040#include "dex/verified_method.h"
41#include "dex/verification_results.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000042#include "driver/compiler_driver.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000043#include "driver/compiler_driver-inl.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000044#include "driver/compiler_options.h"
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000045#include "driver/dex_compilation_unit.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000046#include "elf_writer_quick.h"
David Brazdil69ba7b72015-06-23 18:27:30 +010047#include "graph_checker.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010048#include "graph_visualizer.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +010049#include "gvn.h"
Nicolas Geoffraye53798a2014-12-01 10:31:54 +000050#include "inliner.h"
Nicolas Geoffray3c049742014-09-24 18:10:46 +010051#include "instruction_simplifier.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080052#include "intrinsics.h"
Nicolas Geoffray82091da2015-01-26 10:02:45 +000053#include "licm.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000054#include "jni/quick/jni_compiler.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000055#include "nodes.h"
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +010056#include "prepare_for_register_allocation.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010057#include "reference_type_propagation.h"
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010058#include "register_allocator.h"
Nicolas Geoffray827eedb2015-01-26 15:18:36 +000059#include "side_effects_analysis.h"
Nicolas Geoffray31596742014-11-24 15:28:45 +000060#include "ssa_builder.h"
Nicolas Geoffray7dc206a2014-07-11 09:49:49 +010061#include "ssa_phi_elimination.h"
Nicolas Geoffray804d0932014-05-02 08:46:00 +010062#include "ssa_liveness_analysis.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010063#include "utils/assembler.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000064
65namespace art {
66
Nicolas Geoffray787c3072014-03-17 10:20:19 +000067/**
68 * Used by the code generator, to allocate the code in a vector.
69 */
70class CodeVectorAllocator FINAL : public CodeAllocator {
71 public:
Vladimir Markof9f64412015-09-02 14:05:49 +010072 explicit CodeVectorAllocator(ArenaAllocator* arena)
73 : memory_(arena->Adapter(kArenaAllocCodeBuffer)),
74 size_(0) {}
Nicolas Geoffray787c3072014-03-17 10:20:19 +000075
76 virtual uint8_t* Allocate(size_t size) {
77 size_ = size;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000078 memory_.resize(size);
Nicolas Geoffray787c3072014-03-17 10:20:19 +000079 return &memory_[0];
80 }
81
82 size_t GetSize() const { return size_; }
Vladimir Markof9f64412015-09-02 14:05:49 +010083 const ArenaVector<uint8_t>& GetMemory() const { return memory_; }
Nicolas Geoffray787c3072014-03-17 10:20:19 +000084
85 private:
Vladimir Markof9f64412015-09-02 14:05:49 +010086 ArenaVector<uint8_t> memory_;
Nicolas Geoffray787c3072014-03-17 10:20:19 +000087 size_t size_;
88
89 DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
90};
91
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010092/**
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010093 * Filter to apply to the visualizer. Methods whose name contain that filter will
David Brazdilee690a32014-12-01 17:04:16 +000094 * be dumped.
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010095 */
Andreas Gampe53fcd0f2015-07-22 12:10:13 -070096static constexpr const char kStringFilter[] = "";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010097
David Brazdil69ba7b72015-06-23 18:27:30 +010098class PassScope;
David Brazdil809658e2015-02-05 11:34:02 +000099
David Brazdil69ba7b72015-06-23 18:27:30 +0100100class PassObserver : public ValueObject {
David Brazdil5e8b1372015-01-23 14:39:08 +0000101 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100102 PassObserver(HGraph* graph,
103 const char* method_name,
104 CodeGenerator* codegen,
105 std::ostream* visualizer_output,
106 CompilerDriver* compiler_driver)
107 : graph_(graph),
108 method_name_(method_name),
David Brazdil809658e2015-02-05 11:34:02 +0000109 timing_logger_enabled_(compiler_driver->GetDumpPasses()),
David Brazdil5e8b1372015-01-23 14:39:08 +0000110 timing_logger_(method_name, true, true),
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100111 disasm_info_(graph->GetArena()),
David Brazdil809658e2015-02-05 11:34:02 +0000112 visualizer_enabled_(!compiler_driver->GetDumpCfgFileName().empty()),
David Brazdil69ba7b72015-06-23 18:27:30 +0100113 visualizer_(visualizer_output, graph, *codegen),
114 graph_in_bad_state_(false) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700115 if (timing_logger_enabled_ || visualizer_enabled_) {
116 if (!IsVerboseMethod(compiler_driver, method_name)) {
117 timing_logger_enabled_ = visualizer_enabled_ = false;
118 }
119 if (visualizer_enabled_) {
120 visualizer_.PrintHeader(method_name_);
121 codegen->SetDisassemblyInformation(&disasm_info_);
122 }
David Brazdil62e074f2015-04-07 18:09:37 +0100123 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000124 }
125
David Brazdil69ba7b72015-06-23 18:27:30 +0100126 ~PassObserver() {
David Brazdil5e8b1372015-01-23 14:39:08 +0000127 if (timing_logger_enabled_) {
David Brazdil5e8b1372015-01-23 14:39:08 +0000128 LOG(INFO) << "TIMINGS " << method_name_;
129 LOG(INFO) << Dumpable<TimingLogger>(timing_logger_);
130 }
131 }
132
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100133 void DumpDisassembly() const {
134 if (visualizer_enabled_) {
135 visualizer_.DumpGraphWithDisassembly();
136 }
137 }
138
David Brazdil69ba7b72015-06-23 18:27:30 +0100139 void SetGraphInBadState() { graph_in_bad_state_ = true; }
140
David Brazdil5e8b1372015-01-23 14:39:08 +0000141 private:
David Brazdil809658e2015-02-05 11:34:02 +0000142 void StartPass(const char* pass_name) {
143 // Dump graph first, then start timer.
144 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100145 visualizer_.DumpGraph(pass_name, /* is_after_pass */ false, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000146 }
147 if (timing_logger_enabled_) {
148 timing_logger_.StartTiming(pass_name);
149 }
150 }
151
152 void EndPass(const char* pass_name) {
153 // Pause timer first, then dump graph.
154 if (timing_logger_enabled_) {
155 timing_logger_.EndTiming();
156 }
157 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100158 visualizer_.DumpGraph(pass_name, /* is_after_pass */ true, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000159 }
David Brazdil69ba7b72015-06-23 18:27:30 +0100160
161 // Validate the HGraph if running in debug mode.
162 if (kIsDebugBuild) {
163 if (!graph_in_bad_state_) {
164 if (graph_->IsInSsaForm()) {
165 SSAChecker checker(graph_->GetArena(), graph_);
166 checker.Run();
167 if (!checker.IsValid()) {
168 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<SSAChecker>(checker);
169 }
170 } else {
171 GraphChecker checker(graph_->GetArena(), graph_);
172 checker.Run();
173 if (!checker.IsValid()) {
174 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<GraphChecker>(checker);
175 }
176 }
177 }
178 }
David Brazdil809658e2015-02-05 11:34:02 +0000179 }
180
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700181 static bool IsVerboseMethod(CompilerDriver* compiler_driver, const char* method_name) {
182 // Test an exact match to --verbose-methods. If verbose-methods is set, this overrides an
183 // empty kStringFilter matching all methods.
184 if (compiler_driver->GetCompilerOptions().HasVerboseMethods()) {
185 return compiler_driver->GetCompilerOptions().IsVerboseMethod(method_name);
186 }
187
188 // Test the kStringFilter sub-string. constexpr helper variable to silence unreachable-code
189 // warning when the string is empty.
190 constexpr bool kStringFilterEmpty = arraysize(kStringFilter) <= 1;
191 if (kStringFilterEmpty || strstr(method_name, kStringFilter) != nullptr) {
192 return true;
193 }
194
195 return false;
196 }
197
David Brazdil69ba7b72015-06-23 18:27:30 +0100198 HGraph* const graph_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000199 const char* method_name_;
200
201 bool timing_logger_enabled_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000202 TimingLogger timing_logger_;
203
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100204 DisassemblyInformation disasm_info_;
205
David Brazdil5e8b1372015-01-23 14:39:08 +0000206 bool visualizer_enabled_;
207 HGraphVisualizer visualizer_;
208
David Brazdil69ba7b72015-06-23 18:27:30 +0100209 // Flag to be set by the compiler if the pass failed and the graph is not
210 // expected to validate.
211 bool graph_in_bad_state_;
David Brazdil809658e2015-02-05 11:34:02 +0000212
David Brazdil69ba7b72015-06-23 18:27:30 +0100213 friend PassScope;
214
215 DISALLOW_COPY_AND_ASSIGN(PassObserver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000216};
217
David Brazdil69ba7b72015-06-23 18:27:30 +0100218class PassScope : public ValueObject {
David Brazdil809658e2015-02-05 11:34:02 +0000219 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100220 PassScope(const char *pass_name, PassObserver* pass_observer)
David Brazdil809658e2015-02-05 11:34:02 +0000221 : pass_name_(pass_name),
David Brazdil69ba7b72015-06-23 18:27:30 +0100222 pass_observer_(pass_observer) {
223 pass_observer_->StartPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000224 }
225
David Brazdil69ba7b72015-06-23 18:27:30 +0100226 ~PassScope() {
227 pass_observer_->EndPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000228 }
229
230 private:
231 const char* const pass_name_;
David Brazdil69ba7b72015-06-23 18:27:30 +0100232 PassObserver* const pass_observer_;
David Brazdil809658e2015-02-05 11:34:02 +0000233};
234
Andreas Gampe53c913b2014-08-12 23:19:23 -0700235class OptimizingCompiler FINAL : public Compiler {
236 public:
237 explicit OptimizingCompiler(CompilerDriver* driver);
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100238 ~OptimizingCompiler();
Andreas Gampe53c913b2014-08-12 23:19:23 -0700239
240 bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file, CompilationUnit* cu) const
241 OVERRIDE;
242
243 CompiledMethod* Compile(const DexFile::CodeItem* code_item,
244 uint32_t access_flags,
245 InvokeType invoke_type,
246 uint16_t class_def_idx,
247 uint32_t method_idx,
248 jobject class_loader,
249 const DexFile& dex_file) const OVERRIDE;
250
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000251 CompiledMethod* TryCompile(const DexFile::CodeItem* code_item,
252 uint32_t access_flags,
253 InvokeType invoke_type,
254 uint16_t class_def_idx,
255 uint32_t method_idx,
256 jobject class_loader,
257 const DexFile& dex_file) const;
258
Andreas Gampe53c913b2014-08-12 23:19:23 -0700259 CompiledMethod* JniCompile(uint32_t access_flags,
260 uint32_t method_idx,
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000261 const DexFile& dex_file) const OVERRIDE {
262 return ArtQuickJniCompileMethod(GetCompilerDriver(), access_flags, method_idx, dex_file);
263 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700264
Mathieu Chartiere401d142015-04-22 13:56:20 -0700265 uintptr_t GetEntryPointOf(ArtMethod* method) const OVERRIDE
Mathieu Chartier90443472015-07-16 20:32:27 -0700266 SHARED_REQUIRES(Locks::mutator_lock_) {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000267 return reinterpret_cast<uintptr_t>(method->GetEntryPointFromQuickCompiledCodePtrSize(
268 InstructionSetPointerSize(GetCompilerDriver()->GetInstructionSet())));
269 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700270
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000271 void InitCompilationUnit(CompilationUnit& cu) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700272
David Brazdilee690a32014-12-01 17:04:16 +0000273 void Init() OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700274
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000275 void UnInit() const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700276
Calin Juravle2be39e02015-04-21 13:56:34 +0100277 void MaybeRecordStat(MethodCompilationStat compilation_stat) const {
278 if (compilation_stats_.get() != nullptr) {
279 compilation_stats_->RecordStat(compilation_stat);
280 }
281 }
282
Andreas Gampe53c913b2014-08-12 23:19:23 -0700283 private:
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100284 // Whether we should run any optimization or register allocation. If false, will
285 // just run the code generation after the graph was built.
286 const bool run_optimizations_;
Calin Juravle48c2b032014-12-09 18:11:36 +0000287
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000288 // Optimize and compile `graph`.
289 CompiledMethod* CompileOptimized(HGraph* graph,
290 CodeGenerator* codegen,
291 CompilerDriver* driver,
292 const DexCompilationUnit& dex_compilation_unit,
David Brazdil69ba7b72015-06-23 18:27:30 +0100293 PassObserver* pass_observer) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000294
295 // Just compile without doing optimizations.
296 CompiledMethod* CompileBaseline(CodeGenerator* codegen,
297 CompilerDriver* driver,
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100298 const DexCompilationUnit& dex_compilation_unit,
David Brazdil69ba7b72015-06-23 18:27:30 +0100299 PassObserver* pass_observer) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000300
Calin Juravle2be39e02015-04-21 13:56:34 +0100301 std::unique_ptr<OptimizingCompilerStats> compilation_stats_;
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100302
Andreas Gampe53c913b2014-08-12 23:19:23 -0700303 std::unique_ptr<std::ostream> visualizer_output_;
304
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000305 // Delegate to Quick in case the optimizing compiler cannot compile a method.
306 std::unique_ptr<Compiler> delegate_;
307
Andreas Gampe53c913b2014-08-12 23:19:23 -0700308 DISALLOW_COPY_AND_ASSIGN(OptimizingCompiler);
309};
310
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100311static const int kMaximumCompilationTimeBeforeWarning = 100; /* ms */
312
313OptimizingCompiler::OptimizingCompiler(CompilerDriver* driver)
314 : Compiler(driver, kMaximumCompilationTimeBeforeWarning),
315 run_optimizations_(
Nicolas Geoffraya3d90fb2015-03-16 13:55:40 +0000316 (driver->GetCompilerOptions().GetCompilerFilter() != CompilerOptions::kTime)
317 && !driver->GetCompilerOptions().GetDebuggable()),
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000318 delegate_(Create(driver, Compiler::Kind::kQuick)) {}
David Brazdilee690a32014-12-01 17:04:16 +0000319
320void OptimizingCompiler::Init() {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000321 delegate_->Init();
David Brazdilee690a32014-12-01 17:04:16 +0000322 // Enable C1visualizer output. Must be done in Init() because the compiler
323 // driver is not fully initialized when passed to the compiler's constructor.
324 CompilerDriver* driver = GetCompilerDriver();
David Brazdil866c0312015-01-13 21:21:31 +0000325 const std::string cfg_file_name = driver->GetDumpCfgFileName();
326 if (!cfg_file_name.empty()) {
David Brazdilee690a32014-12-01 17:04:16 +0000327 CHECK_EQ(driver->GetThreadCount(), 1U)
328 << "Graph visualizer requires the compiler to run single-threaded. "
329 << "Invoke the compiler with '-j1'.";
David Brazdil866c0312015-01-13 21:21:31 +0000330 visualizer_output_.reset(new std::ofstream(cfg_file_name));
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100331 }
Calin Juravle2be39e02015-04-21 13:56:34 +0100332 if (driver->GetDumpStats()) {
333 compilation_stats_.reset(new OptimizingCompilerStats());
334 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100335}
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000336
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000337void OptimizingCompiler::UnInit() const {
338 delegate_->UnInit();
339}
340
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100341OptimizingCompiler::~OptimizingCompiler() {
Calin Juravle2be39e02015-04-21 13:56:34 +0100342 if (compilation_stats_.get() != nullptr) {
343 compilation_stats_->Log();
344 }
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100345}
346
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000347void OptimizingCompiler::InitCompilationUnit(CompilationUnit& cu) const {
348 delegate_->InitCompilationUnit(cu);
349}
350
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +0000351bool OptimizingCompiler::CanCompileMethod(uint32_t method_idx ATTRIBUTE_UNUSED,
352 const DexFile& dex_file ATTRIBUTE_UNUSED,
353 CompilationUnit* cu ATTRIBUTE_UNUSED) const {
354 return true;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700355}
356
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000357static bool IsInstructionSetSupported(InstructionSet instruction_set) {
358 return instruction_set == kArm64
359 || (instruction_set == kThumb2 && !kArm32QuickCodeUseSoftFloat)
Alexey Frunze4dda3372015-06-01 18:31:49 -0700360 || instruction_set == kMips64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000361 || instruction_set == kX86
362 || instruction_set == kX86_64;
363}
364
Calin Juravle10e244f2015-01-26 18:54:32 +0000365static void RunOptimizations(HOptimization* optimizations[],
366 size_t length,
David Brazdil69ba7b72015-06-23 18:27:30 +0100367 PassObserver* pass_observer) {
Calin Juravle10e244f2015-01-26 18:54:32 +0000368 for (size_t i = 0; i < length; ++i) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100369 PassScope scope(optimizations[i]->GetPassName(), pass_observer);
370 optimizations[i]->Run();
Calin Juravle10e244f2015-01-26 18:54:32 +0000371 }
372}
373
Calin Juravleec748352015-07-29 13:52:12 +0100374static void MaybeRunInliner(HGraph* graph,
375 CompilerDriver* driver,
376 OptimizingCompilerStats* stats,
377 const DexCompilationUnit& dex_compilation_unit,
378 PassObserver* pass_observer,
379 StackHandleScopeCollection* handles) {
380 const CompilerOptions& compiler_options = driver->GetCompilerOptions();
381 bool should_inline = (compiler_options.GetInlineDepthLimit() > 0)
382 && (compiler_options.GetInlineMaxCodeUnits() > 0);
383 if (!should_inline) {
384 return;
385 }
386
387 ArenaAllocator* arena = graph->GetArena();
388 HInliner* inliner = new (arena) HInliner(
389 graph, dex_compilation_unit, dex_compilation_unit, driver, handles, stats);
390 ReferenceTypePropagation* type_propagation =
391 new (arena) ReferenceTypePropagation(graph, handles,
392 "reference_type_propagation_after_inlining");
393
394 HOptimization* optimizations[] = {
395 inliner,
396 // Run another type propagation phase: inlining will open up more opportunities
397 // to remove checkcast/instanceof and null checks.
398 type_propagation,
399 };
400
401 RunOptimizations(optimizations, arraysize(optimizations), pass_observer);
402}
403
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100404static void RunArchOptimizations(InstructionSet instruction_set,
405 HGraph* graph,
406 OptimizingCompilerStats* stats,
407 PassObserver* pass_observer) {
408 ArenaAllocator* arena = graph->GetArena();
409 switch (instruction_set) {
410#ifdef ART_ENABLE_CODEGEN_arm64
411 case kArm64: {
412 arm64::InstructionSimplifierArm64* simplifier =
413 new (arena) arm64::InstructionSimplifierArm64(graph, stats);
414 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
415 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
416 HOptimization* arm64_optimizations[] = {
417 simplifier,
418 side_effects,
419 gvn
420 };
421 RunOptimizations(arm64_optimizations, arraysize(arm64_optimizations), pass_observer);
422 break;
423 }
424#endif
425 default:
426 break;
427 }
428}
429
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000430static void RunOptimizations(HGraph* graph,
431 CompilerDriver* driver,
432 OptimizingCompilerStats* stats,
433 const DexCompilationUnit& dex_compilation_unit,
David Brazdil69ba7b72015-06-23 18:27:30 +0100434 PassObserver* pass_observer,
Calin Juravleacf735c2015-02-12 15:25:22 +0000435 StackHandleScopeCollection* handles) {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100436 ArenaAllocator* arena = graph->GetArena();
437 HDeadCodeElimination* dce1 = new (arena) HDeadCodeElimination(
438 graph, stats, HDeadCodeElimination::kInitialDeadCodeEliminationPassName);
439 HDeadCodeElimination* dce2 = new (arena) HDeadCodeElimination(
440 graph, stats, HDeadCodeElimination::kFinalDeadCodeEliminationPassName);
441 HConstantFolding* fold1 = new (arena) HConstantFolding(graph);
442 InstructionSimplifier* simplify1 = new (arena) InstructionSimplifier(graph, stats);
443 HBooleanSimplifier* boolean_simplify = new (arena) HBooleanSimplifier(graph);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100444 HConstantFolding* fold2 = new (arena) HConstantFolding(graph, "constant_folding_after_inlining");
445 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
446 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects);
447 LICM* licm = new (arena) LICM(graph, *side_effects);
448 BoundsCheckElimination* bce = new (arena) BoundsCheckElimination(graph);
449 ReferenceTypePropagation* type_propagation =
450 new (arena) ReferenceTypePropagation(graph, handles);
451 InstructionSimplifier* simplify2 = new (arena) InstructionSimplifier(
452 graph, stats, "instruction_simplifier_after_types");
453 InstructionSimplifier* simplify3 = new (arena) InstructionSimplifier(
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100454 graph, stats, "instruction_simplifier_after_bce");
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100455 InstructionSimplifier* simplify4 = new (arena) InstructionSimplifier(
456 graph, stats, "instruction_simplifier_before_codegen");
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000457
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100458 IntrinsicsRecognizer* intrinsics = new (arena) IntrinsicsRecognizer(graph, driver);
Andreas Gampe71fb52f2014-12-29 17:43:08 -0800459
Calin Juravleec748352015-07-29 13:52:12 +0100460 HOptimization* optimizations1[] = {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100461 intrinsics,
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100462 fold1,
463 simplify1,
464 type_propagation,
Nicolas Geoffray18e68732015-06-17 23:09:05 +0100465 dce1,
Calin Juravleec748352015-07-29 13:52:12 +0100466 simplify2
467 };
468
469 RunOptimizations(optimizations1, arraysize(optimizations1), pass_observer);
470
David Brazdilbbd733e2015-08-18 17:48:17 +0100471 if (graph->HasTryCatch()) {
472 // TODO: Update the optimizations below to work correctly under try/catch
473 // semantics. The optimizations above suffice for running codegen
474 // in the meanwhile.
475 return;
476 }
477
Calin Juravleec748352015-07-29 13:52:12 +0100478 MaybeRunInliner(graph, driver, stats, dex_compilation_unit, pass_observer, handles);
479
480 HOptimization* optimizations2[] = {
David Brazdil46e2a392015-03-16 17:31:52 +0000481 // BooleanSimplifier depends on the InstructionSimplifier removing redundant
482 // suspend checks to recognize empty blocks.
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100483 boolean_simplify,
Calin Juravleec748352015-07-29 13:52:12 +0100484 fold2, // TODO: if we don't inline we can also skip fold2.
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100485 side_effects,
486 gvn,
487 licm,
488 bce,
489 simplify3,
490 dce2,
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100491 // The codegen has a few assumptions that only the instruction simplifier can
492 // satisfy. For example, the code generator does not expect to see a
493 // HTypeConversion from a type to the same type.
494 simplify4,
Nicolas Geoffray31596742014-11-24 15:28:45 +0000495 };
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000496
Calin Juravleec748352015-07-29 13:52:12 +0100497 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100498
499 RunArchOptimizations(driver->GetInstructionSet(), graph, stats, pass_observer);
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000500}
501
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000502// The stack map we generate must be 4-byte aligned on ARM. Since existing
503// maps are generated alongside these stack maps, we must also align them.
Vladimir Markof9f64412015-09-02 14:05:49 +0100504static ArrayRef<const uint8_t> AlignVectorSize(ArenaVector<uint8_t>& vector) {
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000505 size_t size = vector.size();
506 size_t aligned_size = RoundUp(size, 4);
507 for (; size < aligned_size; ++size) {
508 vector.push_back(0);
509 }
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800510 return ArrayRef<const uint8_t>(vector);
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000511}
512
Andreas Gampec2bcafe2015-04-10 10:49:32 -0700513static void AllocateRegisters(HGraph* graph,
514 CodeGenerator* codegen,
David Brazdil69ba7b72015-06-23 18:27:30 +0100515 PassObserver* pass_observer) {
Andreas Gampec2bcafe2015-04-10 10:49:32 -0700516 PrepareForRegisterAllocation(graph).Run();
Nicolas Geoffray0d9f17d2015-04-15 14:17:44 +0100517 SsaLivenessAnalysis liveness(graph, codegen);
Andreas Gampec2bcafe2015-04-10 10:49:32 -0700518 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100519 PassScope scope(SsaLivenessAnalysis::kLivenessPassName, pass_observer);
Andreas Gampec2bcafe2015-04-10 10:49:32 -0700520 liveness.Analyze();
521 }
522 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100523 PassScope scope(RegisterAllocator::kRegisterAllocatorPassName, pass_observer);
Andreas Gampec2bcafe2015-04-10 10:49:32 -0700524 RegisterAllocator(graph->GetArena(), codegen, liveness).AllocateRegisters();
525 }
526}
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000527
Vladimir Marko58155012015-08-19 12:49:41 +0000528static ArenaVector<LinkerPatch> EmitAndSortLinkerPatches(CodeGenerator* codegen) {
529 ArenaVector<LinkerPatch> linker_patches(codegen->GetGraph()->GetArena()->Adapter());
530 codegen->EmitLinkerPatches(&linker_patches);
531
532 // Sort patches by literal offset. Required for .oat_patches encoding.
533 std::sort(linker_patches.begin(), linker_patches.end(),
534 [](const LinkerPatch& lhs, const LinkerPatch& rhs) {
535 return lhs.LiteralOffset() < rhs.LiteralOffset();
536 });
537
538 return linker_patches;
539}
540
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000541CompiledMethod* OptimizingCompiler::CompileOptimized(HGraph* graph,
542 CodeGenerator* codegen,
543 CompilerDriver* compiler_driver,
544 const DexCompilationUnit& dex_compilation_unit,
David Brazdil69ba7b72015-06-23 18:27:30 +0100545 PassObserver* pass_observer) const {
Mathieu Chartiered150002015-08-28 11:16:54 -0700546 ScopedObjectAccess soa(Thread::Current());
547 StackHandleScopeCollection handles(soa.Self());
548 soa.Self()->TransitionFromRunnableToSuspended(kNative);
Calin Juravle2be39e02015-04-21 13:56:34 +0100549 RunOptimizations(graph, compiler_driver, compilation_stats_.get(),
David Brazdil69ba7b72015-06-23 18:27:30 +0100550 dex_compilation_unit, pass_observer, &handles);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000551
David Brazdilbbd733e2015-08-18 17:48:17 +0100552 if (graph->HasTryCatch()) {
Mathieu Chartiered150002015-08-28 11:16:54 -0700553 soa.Self()->TransitionFromSuspendedToRunnable();
David Brazdilbbd733e2015-08-18 17:48:17 +0100554 return nullptr;
555 }
556
David Brazdil69ba7b72015-06-23 18:27:30 +0100557 AllocateRegisters(graph, codegen, pass_observer);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000558
Vladimir Markof9f64412015-09-02 14:05:49 +0100559 ArenaAllocator* arena = graph->GetArena();
560 CodeVectorAllocator allocator(arena);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000561 codegen->CompileOptimized(&allocator);
562
Vladimir Marko58155012015-08-19 12:49:41 +0000563 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
564
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100565 DefaultSrcMap src_mapping_table;
David Srbecky8363c772015-05-28 16:12:43 +0100566 if (compiler_driver->GetCompilerOptions().GetGenerateDebugInfo()) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100567 codegen->BuildSourceMap(&src_mapping_table);
568 }
569
Vladimir Markof9f64412015-09-02 14:05:49 +0100570 ArenaVector<uint8_t> stack_map(arena->Adapter(kArenaAllocStackMaps));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000571 codegen->BuildStackMaps(&stack_map);
572
Calin Juravle2be39e02015-04-21 13:56:34 +0100573 MaybeRecordStat(MethodCompilationStat::kCompiledOptimized);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000574
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100575 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000576 compiler_driver,
577 codegen->GetInstructionSet(),
578 ArrayRef<const uint8_t>(allocator.GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000579 // Follow Quick's behavior and set the frame size to zero if it is
580 // considered "empty" (see the definition of
581 // art::CodeGenerator::HasEmptyFrame).
582 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000583 codegen->GetCoreSpillMask(),
Nicolas Geoffrayd97dc402015-01-22 13:50:01 +0000584 codegen->GetFpuSpillMask(),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100585 &src_mapping_table,
586 ArrayRef<const uint8_t>(), // mapping_table.
587 ArrayRef<const uint8_t>(stack_map),
588 ArrayRef<const uint8_t>(), // native_gc_map.
589 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000590 ArrayRef<const LinkerPatch>(linker_patches));
David Brazdil69ba7b72015-06-23 18:27:30 +0100591 pass_observer->DumpDisassembly();
Mathieu Chartiered150002015-08-28 11:16:54 -0700592
593 soa.Self()->TransitionFromSuspendedToRunnable();
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100594 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000595}
596
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000597CompiledMethod* OptimizingCompiler::CompileBaseline(
598 CodeGenerator* codegen,
599 CompilerDriver* compiler_driver,
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100600 const DexCompilationUnit& dex_compilation_unit,
David Brazdil69ba7b72015-06-23 18:27:30 +0100601 PassObserver* pass_observer) const {
Vladimir Markof9f64412015-09-02 14:05:49 +0100602 ArenaAllocator* arena = codegen->GetGraph()->GetArena();
603 CodeVectorAllocator allocator(arena);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000604 codegen->CompileBaseline(&allocator);
605
Vladimir Marko58155012015-08-19 12:49:41 +0000606 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
607
Vladimir Markof9f64412015-09-02 14:05:49 +0100608 ArenaVector<uint8_t> mapping_table(arena->Adapter(kArenaAllocBaselineMaps));
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100609 codegen->BuildMappingTable(&mapping_table);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000610 DefaultSrcMap src_mapping_table;
David Srbecky8363c772015-05-28 16:12:43 +0100611 if (compiler_driver->GetCompilerOptions().GetGenerateDebugInfo()) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100612 codegen->BuildSourceMap(&src_mapping_table);
613 }
Vladimir Markof9f64412015-09-02 14:05:49 +0100614 ArenaVector<uint8_t> vmap_table(arena->Adapter(kArenaAllocBaselineMaps));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000615 codegen->BuildVMapTable(&vmap_table);
Vladimir Markof9f64412015-09-02 14:05:49 +0100616 ArenaVector<uint8_t> gc_map(arena->Adapter(kArenaAllocBaselineMaps));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000617 codegen->BuildNativeGCMap(&gc_map, dex_compilation_unit);
618
Calin Juravle2be39e02015-04-21 13:56:34 +0100619 MaybeRecordStat(MethodCompilationStat::kCompiledBaseline);
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100620 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000621 compiler_driver,
622 codegen->GetInstructionSet(),
623 ArrayRef<const uint8_t>(allocator.GetMemory()),
624 // Follow Quick's behavior and set the frame size to zero if it is
625 // considered "empty" (see the definition of
626 // art::CodeGenerator::HasEmptyFrame).
627 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
628 codegen->GetCoreSpillMask(),
629 codegen->GetFpuSpillMask(),
630 &src_mapping_table,
631 AlignVectorSize(mapping_table),
632 AlignVectorSize(vmap_table),
633 AlignVectorSize(gc_map),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100634 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000635 ArrayRef<const LinkerPatch>(linker_patches));
David Brazdil69ba7b72015-06-23 18:27:30 +0100636 pass_observer->DumpDisassembly();
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100637 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000638}
639
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000640CompiledMethod* OptimizingCompiler::TryCompile(const DexFile::CodeItem* code_item,
641 uint32_t access_flags,
642 InvokeType invoke_type,
643 uint16_t class_def_idx,
644 uint32_t method_idx,
645 jobject class_loader,
646 const DexFile& dex_file) const {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700647 UNUSED(invoke_type);
David Brazdil5e8b1372015-01-23 14:39:08 +0000648 std::string method_name = PrettyMethod(method_idx, dex_file);
Calin Juravle2be39e02015-04-21 13:56:34 +0100649 MaybeRecordStat(MethodCompilationStat::kAttemptCompilation);
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000650 CompilerDriver* compiler_driver = GetCompilerDriver();
651 InstructionSet instruction_set = compiler_driver->GetInstructionSet();
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100652 // Always use the thumb2 assembler: some runtime functionality (like implicit stack
653 // overflow checks) assume thumb2.
654 if (instruction_set == kArm) {
655 instruction_set = kThumb2;
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100656 }
657
658 // Do not attempt to compile on architectures we do not support.
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000659 if (!IsInstructionSetSupported(instruction_set)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100660 MaybeRecordStat(MethodCompilationStat::kNotCompiledUnsupportedIsa);
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100661 return nullptr;
662 }
663
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000664 if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100665 MaybeRecordStat(MethodCompilationStat::kNotCompiledPathological);
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000666 return nullptr;
667 }
668
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000669 // Implementation of the space filter: do not compile a code item whose size in
Nicolas Geoffray432bf3d2015-07-17 11:11:09 +0100670 // code units is bigger than 128.
671 static constexpr size_t kSpaceFilterOptimizingThreshold = 128;
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000672 const CompilerOptions& compiler_options = compiler_driver->GetCompilerOptions();
673 if ((compiler_options.GetCompilerFilter() == CompilerOptions::kSpace)
674 && (code_item->insns_size_in_code_units_ > kSpaceFilterOptimizingThreshold)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100675 MaybeRecordStat(MethodCompilationStat::kNotCompiledSpaceFilter);
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000676 return nullptr;
677 }
678
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000679 DexCompilationUnit dex_compilation_unit(
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000680 nullptr, class_loader, Runtime::Current()->GetClassLinker(), dex_file, code_item,
Ian Rogers72d32622014-05-06 16:20:11 -0700681 class_def_idx, method_idx, access_flags,
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000682 compiler_driver->GetVerifiedMethod(&dex_file, method_idx));
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000683
Calin Juravle3cd4fc82015-05-14 15:15:42 +0100684 bool requires_barrier = dex_compilation_unit.IsConstructor()
685 && compiler_driver->RequiresConstructorBarrier(Thread::Current(),
686 dex_compilation_unit.GetDexFile(),
687 dex_compilation_unit.GetClassDefIndex());
Nicolas Geoffray579ea7d2015-03-24 17:28:38 +0000688 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
Nicolas Geoffraye0fe7ae2015-03-09 10:02:49 +0000689 HGraph* graph = new (&arena) HGraph(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700690 &arena, dex_file, method_idx, requires_barrier, compiler_driver->GetInstructionSet(),
691 kInvalidInvokeType, compiler_driver->GetCompilerOptions().GetDebuggable());
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000692
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000693 // For testing purposes, we put a special marker on method names that should be compiled
694 // with this compiler. This makes sure we're not regressing.
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000695 bool shouldCompile = method_name.find("$opt$") != std::string::npos;
Nicolas Geoffraya3d90fb2015-03-16 13:55:40 +0000696 bool shouldOptimize = method_name.find("$opt$reg$") != std::string::npos && run_optimizations_;
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000697
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000698 std::unique_ptr<CodeGenerator> codegen(
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000699 CodeGenerator::Create(graph,
700 instruction_set,
701 *compiler_driver->GetInstructionSetFeatures(),
702 compiler_driver->GetCompilerOptions()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000703 if (codegen.get() == nullptr) {
Zheng Xu5667fdb2014-10-23 18:29:55 +0800704 CHECK(!shouldCompile) << "Could not find code generator for optimizing compiler";
Calin Juravle2be39e02015-04-21 13:56:34 +0100705 MaybeRecordStat(MethodCompilationStat::kNotCompiledNoCodegen);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000706 return nullptr;
707 }
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100708 codegen->GetAssembler()->cfi().SetEnabled(
David Srbecky8363c772015-05-28 16:12:43 +0100709 compiler_driver->GetCompilerOptions().GetGenerateDebugInfo());
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000710
David Brazdil69ba7b72015-06-23 18:27:30 +0100711 PassObserver pass_observer(graph,
712 method_name.c_str(),
713 codegen.get(),
714 visualizer_output_.get(),
715 compiler_driver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000716
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000717 const uint8_t* interpreter_metadata = nullptr;
718 {
719 ScopedObjectAccess soa(Thread::Current());
720 StackHandleScope<4> hs(soa.Self());
721 ClassLinker* class_linker = dex_compilation_unit.GetClassLinker();
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700722 Handle<mirror::DexCache> dex_cache(hs.NewHandle(class_linker->FindDexCache(
723 soa.Self(), dex_file)));
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000724 Handle<mirror::ClassLoader> loader(hs.NewHandle(
725 soa.Decode<mirror::ClassLoader*>(class_loader)));
726 ArtMethod* art_method = compiler_driver->ResolveMethod(
727 soa, dex_cache, loader, &dex_compilation_unit, method_idx, invoke_type);
728 // We may not get a method, for example if its class is erroneous.
729 // TODO: Clean this up, the compiler driver should just pass the ArtMethod to compile.
730 if (art_method != nullptr) {
731 interpreter_metadata = art_method->GetQuickenedInfo();
732 }
733 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000734 HGraphBuilder builder(graph,
735 &dex_compilation_unit,
736 &dex_compilation_unit,
737 &dex_file,
738 compiler_driver,
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000739 compilation_stats_.get(),
740 interpreter_metadata);
David Brazdil5e8b1372015-01-23 14:39:08 +0000741
742 VLOG(compiler) << "Building " << method_name;
743
David Brazdil809658e2015-02-05 11:34:02 +0000744 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100745 PassScope scope(HGraphBuilder::kBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000746 if (!builder.BuildGraph(*code_item)) {
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100747 DCHECK(!(IsCompilingWithCoreImage() && shouldCompile))
748 << "Could not build graph in optimizing compiler";
David Brazdil69ba7b72015-06-23 18:27:30 +0100749 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000750 return nullptr;
751 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000752 }
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100753
Calin Juravle48c2b032014-12-09 18:11:36 +0000754 bool can_allocate_registers = RegisterAllocator::CanAllocateRegistersFor(*graph, instruction_set);
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000755
756 // `run_optimizations_` is set explicitly (either through a compiler filter
757 // or the debuggable flag). If it is set, we can run baseline. Otherwise, we fall back
758 // to Quick.
Nicolas Geoffray2e7cd752015-07-10 11:38:52 +0100759 bool can_use_baseline = !run_optimizations_ && builder.CanUseBaselineForStringInit();
Vladimir Markof9f64412015-09-02 14:05:49 +0100760 CompiledMethod* compiled_method = nullptr;
David Brazdilffee3d32015-07-06 11:48:53 +0100761 if (run_optimizations_ && can_allocate_registers) {
David Brazdil5e8b1372015-01-23 14:39:08 +0000762 VLOG(compiler) << "Optimizing " << method_name;
763
David Brazdil809658e2015-02-05 11:34:02 +0000764 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100765 PassScope scope(SsaBuilder::kSsaBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000766 if (!graph->TryBuildingSsa()) {
767 // We could not transform the graph to SSA, bailout.
768 LOG(INFO) << "Skipping compilation of " << method_name << ": it contains a non natural loop";
Calin Juravle2be39e02015-04-21 13:56:34 +0100769 MaybeRecordStat(MethodCompilationStat::kNotCompiledCannotBuildSSA);
David Brazdilffee3d32015-07-06 11:48:53 +0100770 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000771 return nullptr;
772 }
Nicolas Geoffrayf5370122014-12-02 11:51:19 +0000773 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000774
Vladimir Markof9f64412015-09-02 14:05:49 +0100775 compiled_method = CompileOptimized(graph,
776 codegen.get(),
777 compiler_driver,
778 dex_compilation_unit,
779 &pass_observer);
David Brazdilbbd733e2015-08-18 17:48:17 +0100780 } else if (shouldOptimize && can_allocate_registers) {
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100781 LOG(FATAL) << "Could not allocate registers in optimizing compiler";
Zheng Xu5667fdb2014-10-23 18:29:55 +0800782 UNREACHABLE();
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000783 } else if (can_use_baseline) {
David Brazdil5e8b1372015-01-23 14:39:08 +0000784 VLOG(compiler) << "Compile baseline " << method_name;
Calin Juravle48c2b032014-12-09 18:11:36 +0000785
786 if (!run_optimizations_) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100787 MaybeRecordStat(MethodCompilationStat::kNotOptimizedDisabled);
Calin Juravle48c2b032014-12-09 18:11:36 +0000788 } else if (!can_allocate_registers) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100789 MaybeRecordStat(MethodCompilationStat::kNotOptimizedRegisterAllocator);
Calin Juravle48c2b032014-12-09 18:11:36 +0000790 }
791
Vladimir Markof9f64412015-09-02 14:05:49 +0100792 compiled_method = CompileBaseline(codegen.get(),
793 compiler_driver,
794 dex_compilation_unit,
795 &pass_observer);
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100796 }
Vladimir Markof9f64412015-09-02 14:05:49 +0100797
798 if (kArenaAllocatorCountAllocations) {
799 if (arena.BytesAllocated() > 4 * MB) {
800 MemStats mem_stats(arena.GetMemStats());
801 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
802 }
803 }
804
805 return compiled_method;
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000806}
807
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000808CompiledMethod* OptimizingCompiler::Compile(const DexFile::CodeItem* code_item,
809 uint32_t access_flags,
810 InvokeType invoke_type,
811 uint16_t class_def_idx,
812 uint32_t method_idx,
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100813 jobject jclass_loader,
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000814 const DexFile& dex_file) const {
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100815 CompilerDriver* compiler_driver = GetCompilerDriver();
816 CompiledMethod* method = nullptr;
Andreas Gampe0760a812015-08-26 17:12:51 -0700817 DCHECK(!compiler_driver->GetVerifiedMethod(&dex_file, method_idx)->HasRuntimeThrow());
818 if (compiler_driver->IsMethodVerifiedWithoutFailures(method_idx, class_def_idx, dex_file)) {
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100819 method = TryCompile(code_item, access_flags, invoke_type, class_def_idx,
820 method_idx, jclass_loader, dex_file);
821 } else {
822 if (compiler_driver->GetCompilerOptions().VerifyAtRuntime()) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100823 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerifyAtRuntime);
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100824 } else {
Calin Juravle2be39e02015-04-21 13:56:34 +0100825 MaybeRecordStat(MethodCompilationStat::kNotCompiledClassNotVerified);
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100826 }
827 }
828
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000829 if (method != nullptr) {
830 return method;
831 }
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100832 method = delegate_->Compile(code_item, access_flags, invoke_type, class_def_idx, method_idx,
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100833 jclass_loader, dex_file);
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100834
835 if (method != nullptr) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100836 MaybeRecordStat(MethodCompilationStat::kCompiledQuick);
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100837 }
838 return method;
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000839}
840
Andreas Gampe53c913b2014-08-12 23:19:23 -0700841Compiler* CreateOptimizingCompiler(CompilerDriver* driver) {
842 return new OptimizingCompiler(driver);
843}
844
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100845bool IsCompilingWithCoreImage() {
846 const std::string& image = Runtime::Current()->GetImageLocation();
847 return EndsWith(image, "core.art") || EndsWith(image, "core-optimizing.art");
848}
849
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000850} // namespace art