blob: 2204921c53c795bc939bf64b761038bfcee234a2 [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
Mark Mendell0616ae02015-04-17 12:49:27 -040026#ifdef ART_ENABLE_CODEGEN_x86
Vladimir Marko0f7dca42015-11-02 14:36:43 +000027#include "pc_relative_fixups_x86.h"
Mark Mendell0616ae02015-04-17 12:49:27 -040028#endif
29
Mathieu Chartiere401d142015-04-22 13:56:20 -070030#include "art_method-inl.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080031#include "base/arena_allocator.h"
Vladimir Markof9f64412015-09-02 14:05:49 +010032#include "base/arena_containers.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000033#include "base/dumpable.h"
Vladimir Markoc90d7c72015-10-06 17:30:45 +000034#include "base/macros.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000035#include "base/timing_logger.h"
David Brazdil46e2a392015-03-16 17:31:52 +000036#include "boolean_simplifier.h"
Mingyao Yangf384f882014-10-22 16:08:18 -070037#include "bounds_check_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000038#include "builder.h"
39#include "code_generator.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000040#include "compiled_method.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070041#include "compiler.h"
Roland Levillain75be2832014-10-17 17:02:00 +010042#include "constant_folding.h"
43#include "dead_code_elimination.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080044#include "dex/quick/dex_file_to_method_inliner_map.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010045#include "dex/verified_method.h"
46#include "dex/verification_results.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000047#include "driver/compiler_driver.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000048#include "driver/compiler_driver-inl.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000049#include "driver/compiler_options.h"
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000050#include "driver/dex_compilation_unit.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000051#include "elf_writer_quick.h"
David Brazdil69ba7b72015-06-23 18:27:30 +010052#include "graph_checker.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010053#include "graph_visualizer.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +010054#include "gvn.h"
Aart Bik22af3be2015-09-10 12:50:58 -070055#include "induction_var_analysis.h"
Nicolas Geoffraye53798a2014-12-01 10:31:54 +000056#include "inliner.h"
Nicolas Geoffray3c049742014-09-24 18:10:46 +010057#include "instruction_simplifier.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080058#include "intrinsics.h"
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +000059#include "jit/jit_code_cache.h"
Nicolas Geoffray82091da2015-01-26 10:02:45 +000060#include "licm.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000061#include "jni/quick/jni_compiler.h"
Mingyao Yang8df69d42015-10-22 15:40:58 -070062#include "load_store_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000063#include "nodes.h"
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +010064#include "prepare_for_register_allocation.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010065#include "reference_type_propagation.h"
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010066#include "register_allocator.h"
Vladimir Markodc151b22015-10-15 18:02:30 +010067#include "sharpening.h"
Nicolas Geoffray827eedb2015-01-26 15:18:36 +000068#include "side_effects_analysis.h"
Nicolas Geoffray31596742014-11-24 15:28:45 +000069#include "ssa_builder.h"
Nicolas Geoffray7dc206a2014-07-11 09:49:49 +010070#include "ssa_phi_elimination.h"
Nicolas Geoffray804d0932014-05-02 08:46:00 +010071#include "ssa_liveness_analysis.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010072#include "utils/assembler.h"
Calin Juravle175dc732015-08-25 15:42:32 +010073#include "verifier/method_verifier.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000074
75namespace art {
76
Nicolas Geoffray787c3072014-03-17 10:20:19 +000077/**
78 * Used by the code generator, to allocate the code in a vector.
79 */
80class CodeVectorAllocator FINAL : public CodeAllocator {
81 public:
Vladimir Markof9f64412015-09-02 14:05:49 +010082 explicit CodeVectorAllocator(ArenaAllocator* arena)
83 : memory_(arena->Adapter(kArenaAllocCodeBuffer)),
84 size_(0) {}
Nicolas Geoffray787c3072014-03-17 10:20:19 +000085
86 virtual uint8_t* Allocate(size_t size) {
87 size_ = size;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000088 memory_.resize(size);
Nicolas Geoffray787c3072014-03-17 10:20:19 +000089 return &memory_[0];
90 }
91
92 size_t GetSize() const { return size_; }
Vladimir Markof9f64412015-09-02 14:05:49 +010093 const ArenaVector<uint8_t>& GetMemory() const { return memory_; }
Nicolas Geoffray787c3072014-03-17 10:20:19 +000094
95 private:
Vladimir Markof9f64412015-09-02 14:05:49 +010096 ArenaVector<uint8_t> memory_;
Nicolas Geoffray787c3072014-03-17 10:20:19 +000097 size_t size_;
98
99 DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
100};
101
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100102/**
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100103 * Filter to apply to the visualizer. Methods whose name contain that filter will
David Brazdilee690a32014-12-01 17:04:16 +0000104 * be dumped.
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100105 */
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700106static constexpr const char kStringFilter[] = "";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100107
David Brazdil69ba7b72015-06-23 18:27:30 +0100108class PassScope;
David Brazdil809658e2015-02-05 11:34:02 +0000109
David Brazdil69ba7b72015-06-23 18:27:30 +0100110class PassObserver : public ValueObject {
David Brazdil5e8b1372015-01-23 14:39:08 +0000111 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100112 PassObserver(HGraph* graph,
113 const char* method_name,
114 CodeGenerator* codegen,
115 std::ostream* visualizer_output,
116 CompilerDriver* compiler_driver)
117 : graph_(graph),
118 method_name_(method_name),
David Brazdil809658e2015-02-05 11:34:02 +0000119 timing_logger_enabled_(compiler_driver->GetDumpPasses()),
David Brazdil5e8b1372015-01-23 14:39:08 +0000120 timing_logger_(method_name, true, true),
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100121 disasm_info_(graph->GetArena()),
David Brazdil809658e2015-02-05 11:34:02 +0000122 visualizer_enabled_(!compiler_driver->GetDumpCfgFileName().empty()),
David Brazdil69ba7b72015-06-23 18:27:30 +0100123 visualizer_(visualizer_output, graph, *codegen),
124 graph_in_bad_state_(false) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700125 if (timing_logger_enabled_ || visualizer_enabled_) {
126 if (!IsVerboseMethod(compiler_driver, method_name)) {
127 timing_logger_enabled_ = visualizer_enabled_ = false;
128 }
129 if (visualizer_enabled_) {
130 visualizer_.PrintHeader(method_name_);
131 codegen->SetDisassemblyInformation(&disasm_info_);
132 }
David Brazdil62e074f2015-04-07 18:09:37 +0100133 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000134 }
135
David Brazdil69ba7b72015-06-23 18:27:30 +0100136 ~PassObserver() {
David Brazdil5e8b1372015-01-23 14:39:08 +0000137 if (timing_logger_enabled_) {
David Brazdil5e8b1372015-01-23 14:39:08 +0000138 LOG(INFO) << "TIMINGS " << method_name_;
139 LOG(INFO) << Dumpable<TimingLogger>(timing_logger_);
140 }
141 }
142
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100143 void DumpDisassembly() const {
144 if (visualizer_enabled_) {
145 visualizer_.DumpGraphWithDisassembly();
146 }
147 }
148
David Brazdil69ba7b72015-06-23 18:27:30 +0100149 void SetGraphInBadState() { graph_in_bad_state_ = true; }
150
David Brazdil5e8b1372015-01-23 14:39:08 +0000151 private:
David Brazdil809658e2015-02-05 11:34:02 +0000152 void StartPass(const char* pass_name) {
153 // Dump graph first, then start timer.
154 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100155 visualizer_.DumpGraph(pass_name, /* is_after_pass */ false, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000156 }
157 if (timing_logger_enabled_) {
158 timing_logger_.StartTiming(pass_name);
159 }
160 }
161
162 void EndPass(const char* pass_name) {
163 // Pause timer first, then dump graph.
164 if (timing_logger_enabled_) {
165 timing_logger_.EndTiming();
166 }
167 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100168 visualizer_.DumpGraph(pass_name, /* is_after_pass */ true, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000169 }
David Brazdil69ba7b72015-06-23 18:27:30 +0100170
171 // Validate the HGraph if running in debug mode.
172 if (kIsDebugBuild) {
173 if (!graph_in_bad_state_) {
174 if (graph_->IsInSsaForm()) {
Vladimir Marko655e5852015-10-12 10:38:28 +0100175 SSAChecker checker(graph_);
David Brazdil69ba7b72015-06-23 18:27:30 +0100176 checker.Run();
177 if (!checker.IsValid()) {
178 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<SSAChecker>(checker);
179 }
180 } else {
Vladimir Marko655e5852015-10-12 10:38:28 +0100181 GraphChecker checker(graph_);
David Brazdil69ba7b72015-06-23 18:27:30 +0100182 checker.Run();
183 if (!checker.IsValid()) {
184 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<GraphChecker>(checker);
185 }
186 }
187 }
188 }
David Brazdil809658e2015-02-05 11:34:02 +0000189 }
190
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700191 static bool IsVerboseMethod(CompilerDriver* compiler_driver, const char* method_name) {
192 // Test an exact match to --verbose-methods. If verbose-methods is set, this overrides an
193 // empty kStringFilter matching all methods.
194 if (compiler_driver->GetCompilerOptions().HasVerboseMethods()) {
195 return compiler_driver->GetCompilerOptions().IsVerboseMethod(method_name);
196 }
197
198 // Test the kStringFilter sub-string. constexpr helper variable to silence unreachable-code
199 // warning when the string is empty.
200 constexpr bool kStringFilterEmpty = arraysize(kStringFilter) <= 1;
201 if (kStringFilterEmpty || strstr(method_name, kStringFilter) != nullptr) {
202 return true;
203 }
204
205 return false;
206 }
207
David Brazdil69ba7b72015-06-23 18:27:30 +0100208 HGraph* const graph_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000209 const char* method_name_;
210
211 bool timing_logger_enabled_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000212 TimingLogger timing_logger_;
213
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100214 DisassemblyInformation disasm_info_;
215
David Brazdil5e8b1372015-01-23 14:39:08 +0000216 bool visualizer_enabled_;
217 HGraphVisualizer visualizer_;
218
David Brazdil69ba7b72015-06-23 18:27:30 +0100219 // Flag to be set by the compiler if the pass failed and the graph is not
220 // expected to validate.
221 bool graph_in_bad_state_;
David Brazdil809658e2015-02-05 11:34:02 +0000222
David Brazdil69ba7b72015-06-23 18:27:30 +0100223 friend PassScope;
224
225 DISALLOW_COPY_AND_ASSIGN(PassObserver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000226};
227
David Brazdil69ba7b72015-06-23 18:27:30 +0100228class PassScope : public ValueObject {
David Brazdil809658e2015-02-05 11:34:02 +0000229 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100230 PassScope(const char *pass_name, PassObserver* pass_observer)
David Brazdil809658e2015-02-05 11:34:02 +0000231 : pass_name_(pass_name),
David Brazdil69ba7b72015-06-23 18:27:30 +0100232 pass_observer_(pass_observer) {
233 pass_observer_->StartPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000234 }
235
David Brazdil69ba7b72015-06-23 18:27:30 +0100236 ~PassScope() {
237 pass_observer_->EndPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000238 }
239
240 private:
241 const char* const pass_name_;
David Brazdil69ba7b72015-06-23 18:27:30 +0100242 PassObserver* const pass_observer_;
David Brazdil809658e2015-02-05 11:34:02 +0000243};
244
Andreas Gampe53c913b2014-08-12 23:19:23 -0700245class OptimizingCompiler FINAL : public Compiler {
246 public:
247 explicit OptimizingCompiler(CompilerDriver* driver);
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100248 ~OptimizingCompiler();
Andreas Gampe53c913b2014-08-12 23:19:23 -0700249
250 bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file, CompilationUnit* cu) const
251 OVERRIDE;
252
253 CompiledMethod* Compile(const DexFile::CodeItem* code_item,
254 uint32_t access_flags,
255 InvokeType invoke_type,
256 uint16_t class_def_idx,
257 uint32_t method_idx,
258 jobject class_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700259 const DexFile& dex_file,
260 Handle<mirror::DexCache> dex_cache) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700261
Andreas Gampe53c913b2014-08-12 23:19:23 -0700262 CompiledMethod* JniCompile(uint32_t access_flags,
263 uint32_t method_idx,
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000264 const DexFile& dex_file) const OVERRIDE {
265 return ArtQuickJniCompileMethod(GetCompilerDriver(), access_flags, method_idx, dex_file);
266 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700267
Mathieu Chartiere401d142015-04-22 13:56:20 -0700268 uintptr_t GetEntryPointOf(ArtMethod* method) const OVERRIDE
Mathieu Chartier90443472015-07-16 20:32:27 -0700269 SHARED_REQUIRES(Locks::mutator_lock_) {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000270 return reinterpret_cast<uintptr_t>(method->GetEntryPointFromQuickCompiledCodePtrSize(
271 InstructionSetPointerSize(GetCompilerDriver()->GetInstructionSet())));
272 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700273
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000274 void InitCompilationUnit(CompilationUnit& cu) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700275
David Brazdilee690a32014-12-01 17:04:16 +0000276 void Init() OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700277
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000278 void UnInit() const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700279
Calin Juravle2be39e02015-04-21 13:56:34 +0100280 void MaybeRecordStat(MethodCompilationStat compilation_stat) const {
281 if (compilation_stats_.get() != nullptr) {
282 compilation_stats_->RecordStat(compilation_stat);
283 }
284 }
285
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000286 bool JitCompile(Thread* self, jit::JitCodeCache* code_cache, ArtMethod* method)
287 OVERRIDE
288 SHARED_REQUIRES(Locks::mutator_lock_);
289
Andreas Gampe53c913b2014-08-12 23:19:23 -0700290 private:
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100291 // Whether we should run any optimization or register allocation. If false, will
292 // just run the code generation after the graph was built.
293 const bool run_optimizations_;
Calin Juravle48c2b032014-12-09 18:11:36 +0000294
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000295 // Create a 'CompiledMethod' for an optimized graph.
296 CompiledMethod* EmitOptimized(ArenaAllocator* arena,
297 CodeVectorAllocator* code_allocator,
298 CodeGenerator* codegen,
299 CompilerDriver* driver) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000300
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000301 // Create a 'CompiledMethod' for a non-optimized graph.
302 CompiledMethod* EmitBaseline(ArenaAllocator* arena,
303 CodeVectorAllocator* code_allocator,
304 CodeGenerator* codegen,
305 CompilerDriver* driver) const;
306
307 // Try compiling a method and return the code generator used for
308 // compiling it.
309 // This method:
310 // 1) Builds the graph. Returns null if it failed to build it.
311 // 2) If `run_optimizations_` is set:
312 // 2.1) Transform the graph to SSA. Returns null if it failed.
313 // 2.2) Run optimizations on the graph, including register allocator.
314 // 3) Generate code with the `code_allocator` provided.
315 CodeGenerator* TryCompile(ArenaAllocator* arena,
316 CodeVectorAllocator* code_allocator,
317 const DexFile::CodeItem* code_item,
318 uint32_t access_flags,
319 InvokeType invoke_type,
320 uint16_t class_def_idx,
321 uint32_t method_idx,
322 jobject class_loader,
323 const DexFile& dex_file,
324 Handle<mirror::DexCache> dex_cache) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000325
Calin Juravle2be39e02015-04-21 13:56:34 +0100326 std::unique_ptr<OptimizingCompilerStats> compilation_stats_;
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100327
Andreas Gampe53c913b2014-08-12 23:19:23 -0700328 std::unique_ptr<std::ostream> visualizer_output_;
329
Andreas Gampe53c913b2014-08-12 23:19:23 -0700330 DISALLOW_COPY_AND_ASSIGN(OptimizingCompiler);
331};
332
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100333static const int kMaximumCompilationTimeBeforeWarning = 100; /* ms */
334
335OptimizingCompiler::OptimizingCompiler(CompilerDriver* driver)
336 : Compiler(driver, kMaximumCompilationTimeBeforeWarning),
337 run_optimizations_(
Nicolas Geoffrayda3a55b2015-10-02 11:56:50 +0100338 driver->GetCompilerOptions().GetCompilerFilter() != CompilerOptions::kTime) {}
David Brazdilee690a32014-12-01 17:04:16 +0000339
340void OptimizingCompiler::Init() {
341 // Enable C1visualizer output. Must be done in Init() because the compiler
342 // driver is not fully initialized when passed to the compiler's constructor.
343 CompilerDriver* driver = GetCompilerDriver();
David Brazdil866c0312015-01-13 21:21:31 +0000344 const std::string cfg_file_name = driver->GetDumpCfgFileName();
345 if (!cfg_file_name.empty()) {
David Brazdilee690a32014-12-01 17:04:16 +0000346 CHECK_EQ(driver->GetThreadCount(), 1U)
347 << "Graph visualizer requires the compiler to run single-threaded. "
348 << "Invoke the compiler with '-j1'.";
Calin Juravle87000a92015-08-24 15:34:44 +0100349 std::ios_base::openmode cfg_file_mode =
350 driver->GetDumpCfgAppend() ? std::ofstream::app : std::ofstream::out;
351 visualizer_output_.reset(new std::ofstream(cfg_file_name, cfg_file_mode));
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100352 }
Calin Juravle2be39e02015-04-21 13:56:34 +0100353 if (driver->GetDumpStats()) {
354 compilation_stats_.reset(new OptimizingCompilerStats());
355 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100356}
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000357
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000358void OptimizingCompiler::UnInit() const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000359}
360
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100361OptimizingCompiler::~OptimizingCompiler() {
Calin Juravle2be39e02015-04-21 13:56:34 +0100362 if (compilation_stats_.get() != nullptr) {
363 compilation_stats_->Log();
364 }
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100365}
366
Nicolas Geoffrayda3a55b2015-10-02 11:56:50 +0100367void OptimizingCompiler::InitCompilationUnit(CompilationUnit& cu ATTRIBUTE_UNUSED) const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000368}
369
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +0000370bool OptimizingCompiler::CanCompileMethod(uint32_t method_idx ATTRIBUTE_UNUSED,
371 const DexFile& dex_file ATTRIBUTE_UNUSED,
372 CompilationUnit* cu ATTRIBUTE_UNUSED) const {
373 return true;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700374}
375
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000376static bool IsInstructionSetSupported(InstructionSet instruction_set) {
Calin Juravlecff8cc72015-10-09 12:03:24 +0100377 return (instruction_set == kArm && !kArm32QuickCodeUseSoftFloat)
378 || instruction_set == kArm64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000379 || (instruction_set == kThumb2 && !kArm32QuickCodeUseSoftFloat)
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200380 || instruction_set == kMips
Alexey Frunze4dda3372015-06-01 18:31:49 -0700381 || instruction_set == kMips64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000382 || instruction_set == kX86
383 || instruction_set == kX86_64;
384}
385
Roland Levillain3b359c72015-11-17 19:35:12 +0000386// Read barrier are supported only on ARM, x86 and x86-64 at the moment.
Roland Levillain0d5a2812015-11-13 10:07:31 +0000387// TODO: Add support for other architectures and remove this function
388static bool InstructionSetSupportsReadBarrier(InstructionSet instruction_set) {
Roland Levillain3b359c72015-11-17 19:35:12 +0000389 return instruction_set == kThumb2
390 || instruction_set == kX86
Roland Levillain0d5a2812015-11-13 10:07:31 +0000391 || instruction_set == kX86_64;
392}
393
Calin Juravle10e244f2015-01-26 18:54:32 +0000394static void RunOptimizations(HOptimization* optimizations[],
395 size_t length,
David Brazdil69ba7b72015-06-23 18:27:30 +0100396 PassObserver* pass_observer) {
Calin Juravle10e244f2015-01-26 18:54:32 +0000397 for (size_t i = 0; i < length; ++i) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100398 PassScope scope(optimizations[i]->GetPassName(), pass_observer);
399 optimizations[i]->Run();
Calin Juravle10e244f2015-01-26 18:54:32 +0000400 }
401}
402
Calin Juravleec748352015-07-29 13:52:12 +0100403static void MaybeRunInliner(HGraph* graph,
Vladimir Markodc151b22015-10-15 18:02:30 +0100404 CodeGenerator* codegen,
Calin Juravleec748352015-07-29 13:52:12 +0100405 CompilerDriver* driver,
406 OptimizingCompilerStats* stats,
407 const DexCompilationUnit& dex_compilation_unit,
408 PassObserver* pass_observer,
409 StackHandleScopeCollection* handles) {
410 const CompilerOptions& compiler_options = driver->GetCompilerOptions();
411 bool should_inline = (compiler_options.GetInlineDepthLimit() > 0)
412 && (compiler_options.GetInlineMaxCodeUnits() > 0);
413 if (!should_inline) {
414 return;
415 }
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000416 HInliner* inliner = new (graph->GetArena()) HInliner(
Vladimir Markodc151b22015-10-15 18:02:30 +0100417 graph, codegen, dex_compilation_unit, dex_compilation_unit, driver, handles, stats);
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000418 HOptimization* optimizations[] = { inliner };
Calin Juravleec748352015-07-29 13:52:12 +0100419
420 RunOptimizations(optimizations, arraysize(optimizations), pass_observer);
421}
422
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100423static void RunArchOptimizations(InstructionSet instruction_set,
424 HGraph* graph,
425 OptimizingCompilerStats* stats,
426 PassObserver* pass_observer) {
427 ArenaAllocator* arena = graph->GetArena();
428 switch (instruction_set) {
429#ifdef ART_ENABLE_CODEGEN_arm64
430 case kArm64: {
431 arm64::InstructionSimplifierArm64* simplifier =
432 new (arena) arm64::InstructionSimplifierArm64(graph, stats);
433 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
434 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
435 HOptimization* arm64_optimizations[] = {
436 simplifier,
437 side_effects,
438 gvn
439 };
440 RunOptimizations(arm64_optimizations, arraysize(arm64_optimizations), pass_observer);
441 break;
442 }
443#endif
Mark Mendell0616ae02015-04-17 12:49:27 -0400444#ifdef ART_ENABLE_CODEGEN_x86
445 case kX86: {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000446 x86::PcRelativeFixups* pc_relative_fixups = new (arena) x86::PcRelativeFixups(graph, stats);
Mark Mendell0616ae02015-04-17 12:49:27 -0400447 HOptimization* x86_optimizations[] = {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000448 pc_relative_fixups
Mark Mendell0616ae02015-04-17 12:49:27 -0400449 };
450 RunOptimizations(x86_optimizations, arraysize(x86_optimizations), pass_observer);
451 break;
452 }
453#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100454 default:
455 break;
456 }
457}
458
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000459NO_INLINE // Avoid increasing caller's frame size by large stack-allocated objects.
460static void AllocateRegisters(HGraph* graph,
461 CodeGenerator* codegen,
462 PassObserver* pass_observer) {
463 PrepareForRegisterAllocation(graph).Run();
464 SsaLivenessAnalysis liveness(graph, codegen);
465 {
466 PassScope scope(SsaLivenessAnalysis::kLivenessPassName, pass_observer);
467 liveness.Analyze();
468 }
469 {
470 PassScope scope(RegisterAllocator::kRegisterAllocatorPassName, pass_observer);
471 RegisterAllocator(graph->GetArena(), codegen, liveness).AllocateRegisters();
472 }
473}
474
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000475static void RunOptimizations(HGraph* graph,
Vladimir Markodc151b22015-10-15 18:02:30 +0100476 CodeGenerator* codegen,
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000477 CompilerDriver* driver,
478 OptimizingCompilerStats* stats,
479 const DexCompilationUnit& dex_compilation_unit,
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000480 PassObserver* pass_observer) {
481 ScopedObjectAccess soa(Thread::Current());
482 StackHandleScopeCollection handles(soa.Self());
483 ScopedThreadSuspension sts(soa.Self(), kNative);
484
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100485 ArenaAllocator* arena = graph->GetArena();
486 HDeadCodeElimination* dce1 = new (arena) HDeadCodeElimination(
487 graph, stats, HDeadCodeElimination::kInitialDeadCodeEliminationPassName);
488 HDeadCodeElimination* dce2 = new (arena) HDeadCodeElimination(
489 graph, stats, HDeadCodeElimination::kFinalDeadCodeEliminationPassName);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000490 HConstantFolding* fold1 = new (arena) HConstantFolding(graph);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100491 InstructionSimplifier* simplify1 = new (arena) InstructionSimplifier(graph, stats);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000492 HBooleanSimplifier* boolean_simplify = new (arena) HBooleanSimplifier(graph);
493 HConstantFolding* fold2 = new (arena) HConstantFolding(graph, "constant_folding_after_inlining");
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100494 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
495 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects);
496 LICM* licm = new (arena) LICM(graph, *side_effects);
Mingyao Yang8df69d42015-10-22 15:40:58 -0700497 LoadStoreElimination* lse = new (arena) LoadStoreElimination(graph, *side_effects);
Aart Bik22af3be2015-09-10 12:50:58 -0700498 HInductionVarAnalysis* induction = new (arena) HInductionVarAnalysis(graph);
Aart Bikd59c7062015-11-21 05:21:52 +0000499 BoundsCheckElimination* bce = new (arena) BoundsCheckElimination(graph, induction);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100500 ReferenceTypePropagation* type_propagation =
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000501 new (arena) ReferenceTypePropagation(graph, &handles);
Vladimir Markodc151b22015-10-15 18:02:30 +0100502 HSharpening* sharpening = new (arena) HSharpening(graph, codegen, dex_compilation_unit, driver);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100503 InstructionSimplifier* simplify2 = new (arena) InstructionSimplifier(
504 graph, stats, "instruction_simplifier_after_types");
505 InstructionSimplifier* simplify3 = new (arena) InstructionSimplifier(
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100506 graph, stats, "instruction_simplifier_after_bce");
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100507 InstructionSimplifier* simplify4 = new (arena) InstructionSimplifier(
508 graph, stats, "instruction_simplifier_before_codegen");
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000509
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000510 IntrinsicsRecognizer* intrinsics = new (arena) IntrinsicsRecognizer(graph, driver);
Andreas Gampe71fb52f2014-12-29 17:43:08 -0800511
Calin Juravleec748352015-07-29 13:52:12 +0100512 HOptimization* optimizations1[] = {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100513 intrinsics,
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100514 fold1,
515 simplify1,
516 type_propagation,
Vladimir Markodc151b22015-10-15 18:02:30 +0100517 sharpening,
Nicolas Geoffray18e68732015-06-17 23:09:05 +0100518 dce1,
Calin Juravleec748352015-07-29 13:52:12 +0100519 simplify2
520 };
521
522 RunOptimizations(optimizations1, arraysize(optimizations1), pass_observer);
523
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000524 MaybeRunInliner(graph, codegen, driver, stats, dex_compilation_unit, pass_observer, &handles);
David Brazdil95177982015-10-30 12:56:58 -0500525
David Brazdil77a48ae2015-09-15 12:34:04 +0000526 // TODO: Update passes incompatible with try/catch so we have the same
527 // pipeline for all methods.
David Brazdil771e5cc2015-10-29 22:47:39 +0000528 if (graph->HasTryCatch()) {
529 HOptimization* optimizations2[] = {
David Brazdil8a7c0fe2015-11-02 20:24:55 +0000530 boolean_simplify,
David Brazdil771e5cc2015-10-29 22:47:39 +0000531 side_effects,
532 gvn,
533 dce2,
534 // The codegen has a few assumptions that only the instruction simplifier
535 // can satisfy. For example, the code generator does not expect to see a
536 // HTypeConversion from a type to the same type.
537 simplify4,
538 };
539
540 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
541 } else {
David Brazdil771e5cc2015-10-29 22:47:39 +0000542 HOptimization* optimizations2[] = {
543 // BooleanSimplifier depends on the InstructionSimplifier removing
544 // redundant suspend checks to recognize empty blocks.
545 boolean_simplify,
546 fold2, // TODO: if we don't inline we can also skip fold2.
547 side_effects,
548 gvn,
549 licm,
550 induction,
551 bce,
552 simplify3,
553 lse,
554 dce2,
555 // The codegen has a few assumptions that only the instruction simplifier
556 // can satisfy. For example, the code generator does not expect to see a
557 // HTypeConversion from a type to the same type.
558 simplify4,
559 };
560
561 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
David Brazdilbbd733e2015-08-18 17:48:17 +0100562 }
563
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100564 RunArchOptimizations(driver->GetInstructionSet(), graph, stats, pass_observer);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000565 AllocateRegisters(graph, codegen, pass_observer);
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000566}
567
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000568// The stack map we generate must be 4-byte aligned on ARM. Since existing
569// maps are generated alongside these stack maps, we must also align them.
Vladimir Markof9f64412015-09-02 14:05:49 +0100570static ArrayRef<const uint8_t> AlignVectorSize(ArenaVector<uint8_t>& vector) {
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000571 size_t size = vector.size();
572 size_t aligned_size = RoundUp(size, 4);
573 for (; size < aligned_size; ++size) {
574 vector.push_back(0);
575 }
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800576 return ArrayRef<const uint8_t>(vector);
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000577}
578
Vladimir Marko58155012015-08-19 12:49:41 +0000579static ArenaVector<LinkerPatch> EmitAndSortLinkerPatches(CodeGenerator* codegen) {
580 ArenaVector<LinkerPatch> linker_patches(codegen->GetGraph()->GetArena()->Adapter());
581 codegen->EmitLinkerPatches(&linker_patches);
582
583 // Sort patches by literal offset. Required for .oat_patches encoding.
584 std::sort(linker_patches.begin(), linker_patches.end(),
585 [](const LinkerPatch& lhs, const LinkerPatch& rhs) {
586 return lhs.LiteralOffset() < rhs.LiteralOffset();
587 });
588
589 return linker_patches;
590}
591
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000592CompiledMethod* OptimizingCompiler::EmitOptimized(ArenaAllocator* arena,
593 CodeVectorAllocator* code_allocator,
594 CodeGenerator* codegen,
595 CompilerDriver* compiler_driver) const {
Vladimir Marko58155012015-08-19 12:49:41 +0000596 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
Vladimir Markof9f64412015-09-02 14:05:49 +0100597 ArenaVector<uint8_t> stack_map(arena->Adapter(kArenaAllocStackMaps));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000598 stack_map.resize(codegen->ComputeStackMapsSize());
599 codegen->BuildStackMaps(MemoryRegion(stack_map.data(), stack_map.size()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000600
Calin Juravle2be39e02015-04-21 13:56:34 +0100601 MaybeRecordStat(MethodCompilationStat::kCompiledOptimized);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000602
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100603 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000604 compiler_driver,
605 codegen->GetInstructionSet(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000606 ArrayRef<const uint8_t>(code_allocator->GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000607 // Follow Quick's behavior and set the frame size to zero if it is
608 // considered "empty" (see the definition of
609 // art::CodeGenerator::HasEmptyFrame).
610 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000611 codegen->GetCoreSpillMask(),
Nicolas Geoffrayd97dc402015-01-22 13:50:01 +0000612 codegen->GetFpuSpillMask(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000613 ArrayRef<const SrcMapElem>(codegen->GetSrcMappingTable()),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100614 ArrayRef<const uint8_t>(), // mapping_table.
615 ArrayRef<const uint8_t>(stack_map),
616 ArrayRef<const uint8_t>(), // native_gc_map.
617 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000618 ArrayRef<const LinkerPatch>(linker_patches));
Mathieu Chartiered150002015-08-28 11:16:54 -0700619
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100620 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000621}
622
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000623CompiledMethod* OptimizingCompiler::EmitBaseline(
624 ArenaAllocator* arena,
625 CodeVectorAllocator* code_allocator,
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000626 CodeGenerator* codegen,
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000627 CompilerDriver* compiler_driver) const {
Vladimir Marko58155012015-08-19 12:49:41 +0000628 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
629
Vladimir Markof9f64412015-09-02 14:05:49 +0100630 ArenaVector<uint8_t> mapping_table(arena->Adapter(kArenaAllocBaselineMaps));
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100631 codegen->BuildMappingTable(&mapping_table);
Vladimir Markof9f64412015-09-02 14:05:49 +0100632 ArenaVector<uint8_t> vmap_table(arena->Adapter(kArenaAllocBaselineMaps));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000633 codegen->BuildVMapTable(&vmap_table);
Vladimir Markof9f64412015-09-02 14:05:49 +0100634 ArenaVector<uint8_t> gc_map(arena->Adapter(kArenaAllocBaselineMaps));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000635 codegen->BuildNativeGCMap(&gc_map, *compiler_driver);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000636
Calin Juravle2be39e02015-04-21 13:56:34 +0100637 MaybeRecordStat(MethodCompilationStat::kCompiledBaseline);
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100638 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000639 compiler_driver,
640 codegen->GetInstructionSet(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000641 ArrayRef<const uint8_t>(code_allocator->GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000642 // Follow Quick's behavior and set the frame size to zero if it is
643 // considered "empty" (see the definition of
644 // art::CodeGenerator::HasEmptyFrame).
645 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
646 codegen->GetCoreSpillMask(),
647 codegen->GetFpuSpillMask(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000648 ArrayRef<const SrcMapElem>(codegen->GetSrcMappingTable()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000649 AlignVectorSize(mapping_table),
650 AlignVectorSize(vmap_table),
651 AlignVectorSize(gc_map),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100652 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000653 ArrayRef<const LinkerPatch>(linker_patches));
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100654 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000655}
656
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000657CodeGenerator* OptimizingCompiler::TryCompile(ArenaAllocator* arena,
658 CodeVectorAllocator* code_allocator,
659 const DexFile::CodeItem* code_item,
660 uint32_t access_flags,
661 InvokeType invoke_type,
662 uint16_t class_def_idx,
663 uint32_t method_idx,
664 jobject class_loader,
665 const DexFile& dex_file,
666 Handle<mirror::DexCache> dex_cache) const {
David Brazdil5e8b1372015-01-23 14:39:08 +0000667 std::string method_name = PrettyMethod(method_idx, dex_file);
Calin Juravle2be39e02015-04-21 13:56:34 +0100668 MaybeRecordStat(MethodCompilationStat::kAttemptCompilation);
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000669 CompilerDriver* compiler_driver = GetCompilerDriver();
670 InstructionSet instruction_set = compiler_driver->GetInstructionSet();
Calin Juravlecff8cc72015-10-09 12:03:24 +0100671
Roland Levillain3b359c72015-11-17 19:35:12 +0000672 // Always use the Thumb-2 assembler: some runtime functionality
673 // (like implicit stack overflow checks) assume Thumb-2.
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100674 if (instruction_set == kArm) {
675 instruction_set = kThumb2;
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100676 }
677
678 // Do not attempt to compile on architectures we do not support.
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000679 if (!IsInstructionSetSupported(instruction_set)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100680 MaybeRecordStat(MethodCompilationStat::kNotCompiledUnsupportedIsa);
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100681 return nullptr;
682 }
683
Roland Levillain0d5a2812015-11-13 10:07:31 +0000684 // When read barriers are enabled, do not attempt to compile for
685 // instruction sets that have no read barrier support.
686 if (kEmitCompilerReadBarrier && !InstructionSetSupportsReadBarrier(instruction_set)) {
687 return nullptr;
688 }
689
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000690 if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100691 MaybeRecordStat(MethodCompilationStat::kNotCompiledPathological);
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000692 return nullptr;
693 }
694
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000695 // Implementation of the space filter: do not compile a code item whose size in
Nicolas Geoffray432bf3d2015-07-17 11:11:09 +0100696 // code units is bigger than 128.
697 static constexpr size_t kSpaceFilterOptimizingThreshold = 128;
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000698 const CompilerOptions& compiler_options = compiler_driver->GetCompilerOptions();
699 if ((compiler_options.GetCompilerFilter() == CompilerOptions::kSpace)
700 && (code_item->insns_size_in_code_units_ > kSpaceFilterOptimizingThreshold)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100701 MaybeRecordStat(MethodCompilationStat::kNotCompiledSpaceFilter);
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000702 return nullptr;
703 }
704
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000705 DexCompilationUnit dex_compilation_unit(
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000706 nullptr, class_loader, Runtime::Current()->GetClassLinker(), dex_file, code_item,
Ian Rogers72d32622014-05-06 16:20:11 -0700707 class_def_idx, method_idx, access_flags,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700708 compiler_driver->GetVerifiedMethod(&dex_file, method_idx), dex_cache);
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000709
Calin Juravle3cd4fc82015-05-14 15:15:42 +0100710 bool requires_barrier = dex_compilation_unit.IsConstructor()
711 && compiler_driver->RequiresConstructorBarrier(Thread::Current(),
712 dex_compilation_unit.GetDexFile(),
713 dex_compilation_unit.GetClassDefIndex());
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000714 HGraph* graph = new (arena) HGraph(
715 arena, dex_file, method_idx, requires_barrier, compiler_driver->GetInstructionSet(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700716 kInvalidInvokeType, compiler_driver->GetCompilerOptions().GetDebuggable());
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000717
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000718 std::unique_ptr<CodeGenerator> codegen(
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000719 CodeGenerator::Create(graph,
720 instruction_set,
721 *compiler_driver->GetInstructionSetFeatures(),
722 compiler_driver->GetCompilerOptions()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000723 if (codegen.get() == nullptr) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100724 MaybeRecordStat(MethodCompilationStat::kNotCompiledNoCodegen);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000725 return nullptr;
726 }
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100727 codegen->GetAssembler()->cfi().SetEnabled(
David Srbecky8363c772015-05-28 16:12:43 +0100728 compiler_driver->GetCompilerOptions().GetGenerateDebugInfo());
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000729
David Brazdil69ba7b72015-06-23 18:27:30 +0100730 PassObserver pass_observer(graph,
731 method_name.c_str(),
732 codegen.get(),
733 visualizer_output_.get(),
734 compiler_driver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000735
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000736 const uint8_t* interpreter_metadata = nullptr;
737 {
738 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier736b5602015-09-02 14:54:11 -0700739 StackHandleScope<1> hs(soa.Self());
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000740 Handle<mirror::ClassLoader> loader(hs.NewHandle(
741 soa.Decode<mirror::ClassLoader*>(class_loader)));
742 ArtMethod* art_method = compiler_driver->ResolveMethod(
743 soa, dex_cache, loader, &dex_compilation_unit, method_idx, invoke_type);
744 // We may not get a method, for example if its class is erroneous.
745 // TODO: Clean this up, the compiler driver should just pass the ArtMethod to compile.
746 if (art_method != nullptr) {
747 interpreter_metadata = art_method->GetQuickenedInfo();
748 }
749 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000750 HGraphBuilder builder(graph,
751 &dex_compilation_unit,
752 &dex_compilation_unit,
753 &dex_file,
754 compiler_driver,
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000755 compilation_stats_.get(),
Mathieu Chartier736b5602015-09-02 14:54:11 -0700756 interpreter_metadata,
757 dex_cache);
David Brazdil5e8b1372015-01-23 14:39:08 +0000758
759 VLOG(compiler) << "Building " << method_name;
760
David Brazdil809658e2015-02-05 11:34:02 +0000761 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100762 PassScope scope(HGraphBuilder::kBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000763 if (!builder.BuildGraph(*code_item)) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100764 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000765 return nullptr;
766 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000767 }
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100768
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000769 VLOG(compiler) << "Optimizing " << method_name;
770 if (run_optimizations_) {
David Brazdil809658e2015-02-05 11:34:02 +0000771 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100772 PassScope scope(SsaBuilder::kSsaBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000773 if (!graph->TryBuildingSsa()) {
774 // We could not transform the graph to SSA, bailout.
775 LOG(INFO) << "Skipping compilation of " << method_name << ": it contains a non natural loop";
Calin Juravle2be39e02015-04-21 13:56:34 +0100776 MaybeRecordStat(MethodCompilationStat::kNotCompiledCannotBuildSSA);
David Brazdilffee3d32015-07-06 11:48:53 +0100777 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000778 return nullptr;
779 }
Nicolas Geoffrayf5370122014-12-02 11:51:19 +0000780 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000781
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000782 RunOptimizations(graph,
783 codegen.get(),
784 compiler_driver,
785 compilation_stats_.get(),
786 dex_compilation_unit,
787 &pass_observer);
788 codegen->CompileOptimized(code_allocator);
789 } else {
790 codegen->CompileBaseline(code_allocator);
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100791 }
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000792 pass_observer.DumpDisassembly();
Vladimir Markof9f64412015-09-02 14:05:49 +0100793
794 if (kArenaAllocatorCountAllocations) {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000795 if (arena->BytesAllocated() > 4 * MB) {
796 MemStats mem_stats(arena->GetMemStats());
Vladimir Markof9f64412015-09-02 14:05:49 +0100797 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
798 }
799 }
800
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000801 return codegen.release();
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000802}
803
Calin Juravle07380a22015-09-17 14:15:12 +0100804static bool CanHandleVerificationFailure(const VerifiedMethod* verified_method) {
805 // For access errors the compiler will use the unresolved helpers (e.g. HInvokeUnresolved).
806 uint32_t unresolved_mask = verifier::VerifyError::VERIFY_ERROR_NO_CLASS
807 | verifier::VerifyError::VERIFY_ERROR_ACCESS_CLASS
808 | verifier::VerifyError::VERIFY_ERROR_ACCESS_FIELD
809 | verifier::VerifyError::VERIFY_ERROR_ACCESS_METHOD;
Calin Juravle175dc732015-08-25 15:42:32 +0100810 return (verified_method->GetEncounteredVerificationFailures() & (~unresolved_mask)) == 0;
811}
812
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000813CompiledMethod* OptimizingCompiler::Compile(const DexFile::CodeItem* code_item,
814 uint32_t access_flags,
815 InvokeType invoke_type,
816 uint16_t class_def_idx,
817 uint32_t method_idx,
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100818 jobject jclass_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700819 const DexFile& dex_file,
820 Handle<mirror::DexCache> dex_cache) const {
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100821 CompilerDriver* compiler_driver = GetCompilerDriver();
822 CompiledMethod* method = nullptr;
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000823 DCHECK(Runtime::Current()->IsAotCompiler());
824 const VerifiedMethod* verified_method = compiler_driver->GetVerifiedMethod(&dex_file, method_idx);
825 DCHECK(!verified_method->HasRuntimeThrow());
826 if (compiler_driver->IsMethodVerifiedWithoutFailures(method_idx, class_def_idx, dex_file)
827 || CanHandleVerificationFailure(verified_method)) {
828 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
829 CodeVectorAllocator code_allocator(&arena);
830 std::unique_ptr<CodeGenerator> codegen(
831 TryCompile(&arena,
832 &code_allocator,
833 code_item,
834 access_flags,
835 invoke_type,
836 class_def_idx,
837 method_idx,
838 jclass_loader,
839 dex_file,
840 dex_cache));
841 if (codegen.get() != nullptr) {
842 if (run_optimizations_) {
843 method = EmitOptimized(&arena, &code_allocator, codegen.get(), compiler_driver);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100844 } else {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000845 method = EmitBaseline(&arena, &code_allocator, codegen.get(), compiler_driver);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100846 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100847 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100848 } else {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000849 if (compiler_driver->GetCompilerOptions().VerifyAtRuntime()) {
850 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerifyAtRuntime);
851 } else {
852 MaybeRecordStat(MethodCompilationStat::kNotCompiledClassNotVerified);
853 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100854 }
855
Calin Juravlecff8cc72015-10-09 12:03:24 +0100856 if (kIsDebugBuild &&
857 IsCompilingWithCoreImage() &&
Roland Levillain0d5a2812015-11-13 10:07:31 +0000858 IsInstructionSetSupported(compiler_driver->GetInstructionSet()) &&
859 (!kEmitCompilerReadBarrier ||
860 InstructionSetSupportsReadBarrier(compiler_driver->GetInstructionSet()))) {
861 // For testing purposes, we put a special marker on method names
862 // that should be compiled with this compiler (when the the
863 // instruction set is supported -- and has support for read
864 // barriers, if they are enabled). This makes sure we're not
865 // regressing.
Calin Juravle09b1d6f2015-10-07 12:08:54 +0100866 std::string method_name = PrettyMethod(method_idx, dex_file);
867 bool shouldCompile = method_name.find("$opt$") != std::string::npos;
868 DCHECK((method != nullptr) || !shouldCompile) << "Didn't compile " << method_name;
869 }
870
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100871 return method;
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000872}
873
Andreas Gampe53c913b2014-08-12 23:19:23 -0700874Compiler* CreateOptimizingCompiler(CompilerDriver* driver) {
875 return new OptimizingCompiler(driver);
876}
877
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100878bool IsCompilingWithCoreImage() {
879 const std::string& image = Runtime::Current()->GetImageLocation();
880 return EndsWith(image, "core.art") || EndsWith(image, "core-optimizing.art");
881}
882
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000883bool OptimizingCompiler::JitCompile(Thread* self,
884 jit::JitCodeCache* code_cache,
885 ArtMethod* method) {
886 StackHandleScope<2> hs(self);
887 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(
888 method->GetDeclaringClass()->GetClassLoader()));
889 Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
890
891 jobject jclass_loader = class_loader.ToJObject();
892 const DexFile* dex_file = method->GetDexFile();
893 const uint16_t class_def_idx = method->GetClassDefIndex();
894 const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
895 const uint32_t method_idx = method->GetDexMethodIndex();
896 const uint32_t access_flags = method->GetAccessFlags();
897 const InvokeType invoke_type = method->GetInvokeType();
898
899 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
900 CodeVectorAllocator code_allocator(&arena);
901 std::unique_ptr<CodeGenerator> codegen;
902 {
903 // Go to native so that we don't block GC during compilation.
904 ScopedThreadSuspension sts(self, kNative);
905
906 DCHECK(run_optimizations_);
907 codegen.reset(
908 TryCompile(&arena,
909 &code_allocator,
910 code_item,
911 access_flags,
912 invoke_type,
913 class_def_idx,
914 method_idx,
915 jclass_loader,
916 *dex_file,
917 dex_cache));
918 if (codegen.get() == nullptr) {
919 return false;
920 }
921 }
922
923 size_t stack_map_size = codegen->ComputeStackMapsSize();
924 uint8_t* stack_map_data = code_cache->ReserveData(self, stack_map_size);
925 if (stack_map_data == nullptr) {
926 return false;
927 }
928 codegen->BuildStackMaps(MemoryRegion(stack_map_data, stack_map_size));
929 const void* code = code_cache->CommitCode(
930 self,
931 method,
932 nullptr,
933 stack_map_data,
934 nullptr,
935 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
936 codegen->GetCoreSpillMask(),
937 codegen->GetFpuSpillMask(),
938 code_allocator.GetMemory().data(),
939 code_allocator.GetSize());
940
941 if (code == nullptr) {
942 code_cache->ClearData(self, stack_map_data);
943 return false;
944 }
945
946 return true;
947}
948
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000949} // namespace art