blob: 4ee7fca760eabad7431845617484b449f2e2022c [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
Vladimir Markob4536b72015-11-24 13:45:23 +000023#include "dex_cache_array_fixups_arm.h"
24#endif
25
26#ifdef ART_ENABLE_CODEGEN_arm64
Alexandre Rames44b9cf92015-08-19 15:39:06 +010027#include "instruction_simplifier_arm64.h"
28#endif
29
Mark Mendell0616ae02015-04-17 12:49:27 -040030#ifdef ART_ENABLE_CODEGEN_x86
Vladimir Marko0f7dca42015-11-02 14:36:43 +000031#include "pc_relative_fixups_x86.h"
Mark Mendell0616ae02015-04-17 12:49:27 -040032#endif
33
Mathieu Chartiere401d142015-04-22 13:56:20 -070034#include "art_method-inl.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080035#include "base/arena_allocator.h"
Vladimir Markof9f64412015-09-02 14:05:49 +010036#include "base/arena_containers.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000037#include "base/dumpable.h"
Vladimir Markoc90d7c72015-10-06 17:30:45 +000038#include "base/macros.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000039#include "base/timing_logger.h"
David Brazdil46e2a392015-03-16 17:31:52 +000040#include "boolean_simplifier.h"
Mingyao Yangf384f882014-10-22 16:08:18 -070041#include "bounds_check_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000042#include "builder.h"
43#include "code_generator.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000044#include "compiled_method.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070045#include "compiler.h"
Roland Levillain75be2832014-10-17 17:02:00 +010046#include "constant_folding.h"
47#include "dead_code_elimination.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080048#include "dex/quick/dex_file_to_method_inliner_map.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010049#include "dex/verified_method.h"
50#include "dex/verification_results.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000051#include "driver/compiler_driver.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000052#include "driver/compiler_driver-inl.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000053#include "driver/compiler_options.h"
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000054#include "driver/dex_compilation_unit.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000055#include "elf_writer_quick.h"
David Brazdil69ba7b72015-06-23 18:27:30 +010056#include "graph_checker.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010057#include "graph_visualizer.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +010058#include "gvn.h"
Aart Bik22af3be2015-09-10 12:50:58 -070059#include "induction_var_analysis.h"
Nicolas Geoffraye53798a2014-12-01 10:31:54 +000060#include "inliner.h"
Nicolas Geoffray3c049742014-09-24 18:10:46 +010061#include "instruction_simplifier.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080062#include "intrinsics.h"
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +000063#include "jit/jit_code_cache.h"
Nicolas Geoffray82091da2015-01-26 10:02:45 +000064#include "licm.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000065#include "jni/quick/jni_compiler.h"
Mingyao Yang8df69d42015-10-22 15:40:58 -070066#include "load_store_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000067#include "nodes.h"
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +010068#include "prepare_for_register_allocation.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010069#include "reference_type_propagation.h"
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010070#include "register_allocator.h"
Vladimir Markodc151b22015-10-15 18:02:30 +010071#include "sharpening.h"
Nicolas Geoffray827eedb2015-01-26 15:18:36 +000072#include "side_effects_analysis.h"
Nicolas Geoffray31596742014-11-24 15:28:45 +000073#include "ssa_builder.h"
Nicolas Geoffray7dc206a2014-07-11 09:49:49 +010074#include "ssa_phi_elimination.h"
Nicolas Geoffray804d0932014-05-02 08:46:00 +010075#include "ssa_liveness_analysis.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010076#include "utils/assembler.h"
Calin Juravle175dc732015-08-25 15:42:32 +010077#include "verifier/method_verifier.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000078
79namespace art {
80
Nicolas Geoffray787c3072014-03-17 10:20:19 +000081/**
82 * Used by the code generator, to allocate the code in a vector.
83 */
84class CodeVectorAllocator FINAL : public CodeAllocator {
85 public:
Vladimir Markof9f64412015-09-02 14:05:49 +010086 explicit CodeVectorAllocator(ArenaAllocator* arena)
87 : memory_(arena->Adapter(kArenaAllocCodeBuffer)),
88 size_(0) {}
Nicolas Geoffray787c3072014-03-17 10:20:19 +000089
90 virtual uint8_t* Allocate(size_t size) {
91 size_ = size;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000092 memory_.resize(size);
Nicolas Geoffray787c3072014-03-17 10:20:19 +000093 return &memory_[0];
94 }
95
96 size_t GetSize() const { return size_; }
Vladimir Markof9f64412015-09-02 14:05:49 +010097 const ArenaVector<uint8_t>& GetMemory() const { return memory_; }
Nicolas Geoffray787c3072014-03-17 10:20:19 +000098
99 private:
Vladimir Markof9f64412015-09-02 14:05:49 +0100100 ArenaVector<uint8_t> memory_;
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000101 size_t size_;
102
103 DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
104};
105
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100106/**
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100107 * Filter to apply to the visualizer. Methods whose name contain that filter will
David Brazdilee690a32014-12-01 17:04:16 +0000108 * be dumped.
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100109 */
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700110static constexpr const char kStringFilter[] = "";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100111
David Brazdil69ba7b72015-06-23 18:27:30 +0100112class PassScope;
David Brazdil809658e2015-02-05 11:34:02 +0000113
David Brazdil69ba7b72015-06-23 18:27:30 +0100114class PassObserver : public ValueObject {
David Brazdil5e8b1372015-01-23 14:39:08 +0000115 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100116 PassObserver(HGraph* graph,
David Brazdil69ba7b72015-06-23 18:27:30 +0100117 CodeGenerator* codegen,
118 std::ostream* visualizer_output,
119 CompilerDriver* compiler_driver)
120 : graph_(graph),
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000121 cached_method_name_(),
David Brazdil809658e2015-02-05 11:34:02 +0000122 timing_logger_enabled_(compiler_driver->GetDumpPasses()),
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000123 timing_logger_(timing_logger_enabled_ ? GetMethodName() : "", true, true),
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100124 disasm_info_(graph->GetArena()),
David Brazdil809658e2015-02-05 11:34:02 +0000125 visualizer_enabled_(!compiler_driver->GetDumpCfgFileName().empty()),
David Brazdil69ba7b72015-06-23 18:27:30 +0100126 visualizer_(visualizer_output, graph, *codegen),
127 graph_in_bad_state_(false) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700128 if (timing_logger_enabled_ || visualizer_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000129 if (!IsVerboseMethod(compiler_driver, GetMethodName())) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700130 timing_logger_enabled_ = visualizer_enabled_ = false;
131 }
132 if (visualizer_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000133 visualizer_.PrintHeader(GetMethodName());
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700134 codegen->SetDisassemblyInformation(&disasm_info_);
135 }
David Brazdil62e074f2015-04-07 18:09:37 +0100136 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000137 }
138
David Brazdil69ba7b72015-06-23 18:27:30 +0100139 ~PassObserver() {
David Brazdil5e8b1372015-01-23 14:39:08 +0000140 if (timing_logger_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000141 LOG(INFO) << "TIMINGS " << GetMethodName();
David Brazdil5e8b1372015-01-23 14:39:08 +0000142 LOG(INFO) << Dumpable<TimingLogger>(timing_logger_);
143 }
144 }
145
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100146 void DumpDisassembly() const {
147 if (visualizer_enabled_) {
148 visualizer_.DumpGraphWithDisassembly();
149 }
150 }
151
David Brazdil69ba7b72015-06-23 18:27:30 +0100152 void SetGraphInBadState() { graph_in_bad_state_ = true; }
153
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000154 const char* GetMethodName() {
155 // PrettyMethod() is expensive, so we delay calling it until we actually have to.
156 if (cached_method_name_.empty()) {
157 cached_method_name_ = PrettyMethod(graph_->GetMethodIdx(), graph_->GetDexFile());
158 }
159 return cached_method_name_.c_str();
160 }
161
David Brazdil5e8b1372015-01-23 14:39:08 +0000162 private:
David Brazdil809658e2015-02-05 11:34:02 +0000163 void StartPass(const char* pass_name) {
164 // Dump graph first, then start timer.
165 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100166 visualizer_.DumpGraph(pass_name, /* is_after_pass */ false, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000167 }
168 if (timing_logger_enabled_) {
169 timing_logger_.StartTiming(pass_name);
170 }
171 }
172
173 void EndPass(const char* pass_name) {
174 // Pause timer first, then dump graph.
175 if (timing_logger_enabled_) {
176 timing_logger_.EndTiming();
177 }
178 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100179 visualizer_.DumpGraph(pass_name, /* is_after_pass */ true, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000180 }
David Brazdil69ba7b72015-06-23 18:27:30 +0100181
182 // Validate the HGraph if running in debug mode.
183 if (kIsDebugBuild) {
184 if (!graph_in_bad_state_) {
185 if (graph_->IsInSsaForm()) {
Vladimir Marko655e5852015-10-12 10:38:28 +0100186 SSAChecker checker(graph_);
David Brazdil69ba7b72015-06-23 18:27:30 +0100187 checker.Run();
188 if (!checker.IsValid()) {
189 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<SSAChecker>(checker);
190 }
191 } else {
Vladimir Marko655e5852015-10-12 10:38:28 +0100192 GraphChecker checker(graph_);
David Brazdil69ba7b72015-06-23 18:27:30 +0100193 checker.Run();
194 if (!checker.IsValid()) {
195 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<GraphChecker>(checker);
196 }
197 }
198 }
199 }
David Brazdil809658e2015-02-05 11:34:02 +0000200 }
201
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700202 static bool IsVerboseMethod(CompilerDriver* compiler_driver, const char* method_name) {
203 // Test an exact match to --verbose-methods. If verbose-methods is set, this overrides an
204 // empty kStringFilter matching all methods.
205 if (compiler_driver->GetCompilerOptions().HasVerboseMethods()) {
206 return compiler_driver->GetCompilerOptions().IsVerboseMethod(method_name);
207 }
208
209 // Test the kStringFilter sub-string. constexpr helper variable to silence unreachable-code
210 // warning when the string is empty.
211 constexpr bool kStringFilterEmpty = arraysize(kStringFilter) <= 1;
212 if (kStringFilterEmpty || strstr(method_name, kStringFilter) != nullptr) {
213 return true;
214 }
215
216 return false;
217 }
218
David Brazdil69ba7b72015-06-23 18:27:30 +0100219 HGraph* const graph_;
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000220
221 std::string cached_method_name_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000222
223 bool timing_logger_enabled_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000224 TimingLogger timing_logger_;
225
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100226 DisassemblyInformation disasm_info_;
227
David Brazdil5e8b1372015-01-23 14:39:08 +0000228 bool visualizer_enabled_;
229 HGraphVisualizer visualizer_;
230
David Brazdil69ba7b72015-06-23 18:27:30 +0100231 // Flag to be set by the compiler if the pass failed and the graph is not
232 // expected to validate.
233 bool graph_in_bad_state_;
David Brazdil809658e2015-02-05 11:34:02 +0000234
David Brazdil69ba7b72015-06-23 18:27:30 +0100235 friend PassScope;
236
237 DISALLOW_COPY_AND_ASSIGN(PassObserver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000238};
239
David Brazdil69ba7b72015-06-23 18:27:30 +0100240class PassScope : public ValueObject {
David Brazdil809658e2015-02-05 11:34:02 +0000241 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100242 PassScope(const char *pass_name, PassObserver* pass_observer)
David Brazdil809658e2015-02-05 11:34:02 +0000243 : pass_name_(pass_name),
David Brazdil69ba7b72015-06-23 18:27:30 +0100244 pass_observer_(pass_observer) {
245 pass_observer_->StartPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000246 }
247
David Brazdil69ba7b72015-06-23 18:27:30 +0100248 ~PassScope() {
249 pass_observer_->EndPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000250 }
251
252 private:
253 const char* const pass_name_;
David Brazdil69ba7b72015-06-23 18:27:30 +0100254 PassObserver* const pass_observer_;
David Brazdil809658e2015-02-05 11:34:02 +0000255};
256
Andreas Gampe53c913b2014-08-12 23:19:23 -0700257class OptimizingCompiler FINAL : public Compiler {
258 public:
259 explicit OptimizingCompiler(CompilerDriver* driver);
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100260 ~OptimizingCompiler();
Andreas Gampe53c913b2014-08-12 23:19:23 -0700261
262 bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file, CompilationUnit* cu) const
263 OVERRIDE;
264
265 CompiledMethod* Compile(const DexFile::CodeItem* code_item,
266 uint32_t access_flags,
267 InvokeType invoke_type,
268 uint16_t class_def_idx,
269 uint32_t method_idx,
270 jobject class_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700271 const DexFile& dex_file,
272 Handle<mirror::DexCache> dex_cache) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700273
Andreas Gampe53c913b2014-08-12 23:19:23 -0700274 CompiledMethod* JniCompile(uint32_t access_flags,
275 uint32_t method_idx,
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000276 const DexFile& dex_file) const OVERRIDE {
277 return ArtQuickJniCompileMethod(GetCompilerDriver(), access_flags, method_idx, dex_file);
278 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700279
Mathieu Chartiere401d142015-04-22 13:56:20 -0700280 uintptr_t GetEntryPointOf(ArtMethod* method) const OVERRIDE
Mathieu Chartier90443472015-07-16 20:32:27 -0700281 SHARED_REQUIRES(Locks::mutator_lock_) {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000282 return reinterpret_cast<uintptr_t>(method->GetEntryPointFromQuickCompiledCodePtrSize(
283 InstructionSetPointerSize(GetCompilerDriver()->GetInstructionSet())));
284 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700285
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000286 void InitCompilationUnit(CompilationUnit& cu) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700287
David Brazdilee690a32014-12-01 17:04:16 +0000288 void Init() OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700289
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000290 void UnInit() const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700291
Calin Juravle2be39e02015-04-21 13:56:34 +0100292 void MaybeRecordStat(MethodCompilationStat compilation_stat) const {
293 if (compilation_stats_.get() != nullptr) {
294 compilation_stats_->RecordStat(compilation_stat);
295 }
296 }
297
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000298 bool JitCompile(Thread* self, jit::JitCodeCache* code_cache, ArtMethod* method)
299 OVERRIDE
300 SHARED_REQUIRES(Locks::mutator_lock_);
301
Andreas Gampe53c913b2014-08-12 23:19:23 -0700302 private:
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100303 // Whether we should run any optimization or register allocation. If false, will
304 // just run the code generation after the graph was built.
305 const bool run_optimizations_;
Calin Juravle48c2b032014-12-09 18:11:36 +0000306
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000307 // Create a 'CompiledMethod' for an optimized graph.
308 CompiledMethod* EmitOptimized(ArenaAllocator* arena,
309 CodeVectorAllocator* code_allocator,
310 CodeGenerator* codegen,
311 CompilerDriver* driver) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000312
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000313 // Create a 'CompiledMethod' for a non-optimized graph.
314 CompiledMethod* EmitBaseline(ArenaAllocator* arena,
315 CodeVectorAllocator* code_allocator,
316 CodeGenerator* codegen,
317 CompilerDriver* driver) const;
318
319 // Try compiling a method and return the code generator used for
320 // compiling it.
321 // This method:
322 // 1) Builds the graph. Returns null if it failed to build it.
323 // 2) If `run_optimizations_` is set:
324 // 2.1) Transform the graph to SSA. Returns null if it failed.
325 // 2.2) Run optimizations on the graph, including register allocator.
326 // 3) Generate code with the `code_allocator` provided.
327 CodeGenerator* TryCompile(ArenaAllocator* arena,
328 CodeVectorAllocator* code_allocator,
329 const DexFile::CodeItem* code_item,
330 uint32_t access_flags,
331 InvokeType invoke_type,
332 uint16_t class_def_idx,
333 uint32_t method_idx,
334 jobject class_loader,
335 const DexFile& dex_file,
336 Handle<mirror::DexCache> dex_cache) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000337
Calin Juravle2be39e02015-04-21 13:56:34 +0100338 std::unique_ptr<OptimizingCompilerStats> compilation_stats_;
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100339
Andreas Gampe53c913b2014-08-12 23:19:23 -0700340 std::unique_ptr<std::ostream> visualizer_output_;
341
Andreas Gampe53c913b2014-08-12 23:19:23 -0700342 DISALLOW_COPY_AND_ASSIGN(OptimizingCompiler);
343};
344
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100345static const int kMaximumCompilationTimeBeforeWarning = 100; /* ms */
346
347OptimizingCompiler::OptimizingCompiler(CompilerDriver* driver)
348 : Compiler(driver, kMaximumCompilationTimeBeforeWarning),
349 run_optimizations_(
Nicolas Geoffrayda3a55b2015-10-02 11:56:50 +0100350 driver->GetCompilerOptions().GetCompilerFilter() != CompilerOptions::kTime) {}
David Brazdilee690a32014-12-01 17:04:16 +0000351
352void OptimizingCompiler::Init() {
353 // Enable C1visualizer output. Must be done in Init() because the compiler
354 // driver is not fully initialized when passed to the compiler's constructor.
355 CompilerDriver* driver = GetCompilerDriver();
David Brazdil866c0312015-01-13 21:21:31 +0000356 const std::string cfg_file_name = driver->GetDumpCfgFileName();
357 if (!cfg_file_name.empty()) {
David Brazdilee690a32014-12-01 17:04:16 +0000358 CHECK_EQ(driver->GetThreadCount(), 1U)
359 << "Graph visualizer requires the compiler to run single-threaded. "
360 << "Invoke the compiler with '-j1'.";
Calin Juravle87000a92015-08-24 15:34:44 +0100361 std::ios_base::openmode cfg_file_mode =
362 driver->GetDumpCfgAppend() ? std::ofstream::app : std::ofstream::out;
363 visualizer_output_.reset(new std::ofstream(cfg_file_name, cfg_file_mode));
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100364 }
Calin Juravle2be39e02015-04-21 13:56:34 +0100365 if (driver->GetDumpStats()) {
366 compilation_stats_.reset(new OptimizingCompilerStats());
367 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100368}
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000369
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000370void OptimizingCompiler::UnInit() const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000371}
372
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100373OptimizingCompiler::~OptimizingCompiler() {
Calin Juravle2be39e02015-04-21 13:56:34 +0100374 if (compilation_stats_.get() != nullptr) {
375 compilation_stats_->Log();
376 }
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100377}
378
Nicolas Geoffrayda3a55b2015-10-02 11:56:50 +0100379void OptimizingCompiler::InitCompilationUnit(CompilationUnit& cu ATTRIBUTE_UNUSED) const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000380}
381
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +0000382bool OptimizingCompiler::CanCompileMethod(uint32_t method_idx ATTRIBUTE_UNUSED,
383 const DexFile& dex_file ATTRIBUTE_UNUSED,
384 CompilationUnit* cu ATTRIBUTE_UNUSED) const {
385 return true;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700386}
387
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000388static bool IsInstructionSetSupported(InstructionSet instruction_set) {
Calin Juravlecff8cc72015-10-09 12:03:24 +0100389 return (instruction_set == kArm && !kArm32QuickCodeUseSoftFloat)
390 || instruction_set == kArm64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000391 || (instruction_set == kThumb2 && !kArm32QuickCodeUseSoftFloat)
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200392 || instruction_set == kMips
Alexey Frunze4dda3372015-06-01 18:31:49 -0700393 || instruction_set == kMips64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000394 || instruction_set == kX86
395 || instruction_set == kX86_64;
396}
397
Roland Levillain22ccc3a2015-11-24 13:10:05 +0000398// Read barrier are supported on ARM, ARM64, x86 and x86-64 at the moment.
Roland Levillain0d5a2812015-11-13 10:07:31 +0000399// TODO: Add support for other architectures and remove this function
400static bool InstructionSetSupportsReadBarrier(InstructionSet instruction_set) {
Roland Levillain22ccc3a2015-11-24 13:10:05 +0000401 return instruction_set == kArm64
402 || instruction_set == kThumb2
Roland Levillain3b359c72015-11-17 19:35:12 +0000403 || instruction_set == kX86
Roland Levillain0d5a2812015-11-13 10:07:31 +0000404 || instruction_set == kX86_64;
405}
406
Calin Juravle10e244f2015-01-26 18:54:32 +0000407static void RunOptimizations(HOptimization* optimizations[],
408 size_t length,
David Brazdil69ba7b72015-06-23 18:27:30 +0100409 PassObserver* pass_observer) {
Calin Juravle10e244f2015-01-26 18:54:32 +0000410 for (size_t i = 0; i < length; ++i) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100411 PassScope scope(optimizations[i]->GetPassName(), pass_observer);
412 optimizations[i]->Run();
Calin Juravle10e244f2015-01-26 18:54:32 +0000413 }
414}
415
Calin Juravleec748352015-07-29 13:52:12 +0100416static void MaybeRunInliner(HGraph* graph,
Vladimir Markodc151b22015-10-15 18:02:30 +0100417 CodeGenerator* codegen,
Calin Juravleec748352015-07-29 13:52:12 +0100418 CompilerDriver* driver,
419 OptimizingCompilerStats* stats,
420 const DexCompilationUnit& dex_compilation_unit,
421 PassObserver* pass_observer,
422 StackHandleScopeCollection* handles) {
423 const CompilerOptions& compiler_options = driver->GetCompilerOptions();
424 bool should_inline = (compiler_options.GetInlineDepthLimit() > 0)
425 && (compiler_options.GetInlineMaxCodeUnits() > 0);
426 if (!should_inline) {
427 return;
428 }
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000429 HInliner* inliner = new (graph->GetArena()) HInliner(
Vladimir Markodc151b22015-10-15 18:02:30 +0100430 graph, codegen, dex_compilation_unit, dex_compilation_unit, driver, handles, stats);
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000431 HOptimization* optimizations[] = { inliner };
Calin Juravleec748352015-07-29 13:52:12 +0100432
433 RunOptimizations(optimizations, arraysize(optimizations), pass_observer);
434}
435
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100436static void RunArchOptimizations(InstructionSet instruction_set,
437 HGraph* graph,
438 OptimizingCompilerStats* stats,
439 PassObserver* pass_observer) {
440 ArenaAllocator* arena = graph->GetArena();
441 switch (instruction_set) {
Vladimir Markob4536b72015-11-24 13:45:23 +0000442#ifdef ART_ENABLE_CODEGEN_arm
443 case kThumb2:
444 case kArm: {
445 arm::DexCacheArrayFixups* fixups = new (arena) arm::DexCacheArrayFixups(graph, stats);
446 HOptimization* arm_optimizations[] = {
447 fixups
448 };
449 RunOptimizations(arm_optimizations, arraysize(arm_optimizations), pass_observer);
450 break;
451 }
452#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100453#ifdef ART_ENABLE_CODEGEN_arm64
454 case kArm64: {
455 arm64::InstructionSimplifierArm64* simplifier =
456 new (arena) arm64::InstructionSimplifierArm64(graph, stats);
457 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
458 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
459 HOptimization* arm64_optimizations[] = {
460 simplifier,
461 side_effects,
462 gvn
463 };
464 RunOptimizations(arm64_optimizations, arraysize(arm64_optimizations), pass_observer);
465 break;
466 }
467#endif
Mark Mendell0616ae02015-04-17 12:49:27 -0400468#ifdef ART_ENABLE_CODEGEN_x86
469 case kX86: {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000470 x86::PcRelativeFixups* pc_relative_fixups = new (arena) x86::PcRelativeFixups(graph, stats);
Mark Mendell0616ae02015-04-17 12:49:27 -0400471 HOptimization* x86_optimizations[] = {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000472 pc_relative_fixups
Mark Mendell0616ae02015-04-17 12:49:27 -0400473 };
474 RunOptimizations(x86_optimizations, arraysize(x86_optimizations), pass_observer);
475 break;
476 }
477#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100478 default:
479 break;
480 }
481}
482
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000483NO_INLINE // Avoid increasing caller's frame size by large stack-allocated objects.
484static void AllocateRegisters(HGraph* graph,
485 CodeGenerator* codegen,
486 PassObserver* pass_observer) {
487 PrepareForRegisterAllocation(graph).Run();
488 SsaLivenessAnalysis liveness(graph, codegen);
489 {
490 PassScope scope(SsaLivenessAnalysis::kLivenessPassName, pass_observer);
491 liveness.Analyze();
492 }
493 {
494 PassScope scope(RegisterAllocator::kRegisterAllocatorPassName, pass_observer);
495 RegisterAllocator(graph->GetArena(), codegen, liveness).AllocateRegisters();
496 }
497}
498
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000499static void RunOptimizations(HGraph* graph,
Vladimir Markodc151b22015-10-15 18:02:30 +0100500 CodeGenerator* codegen,
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000501 CompilerDriver* driver,
502 OptimizingCompilerStats* stats,
503 const DexCompilationUnit& dex_compilation_unit,
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000504 PassObserver* pass_observer) {
505 ScopedObjectAccess soa(Thread::Current());
506 StackHandleScopeCollection handles(soa.Self());
507 ScopedThreadSuspension sts(soa.Self(), kNative);
508
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100509 ArenaAllocator* arena = graph->GetArena();
510 HDeadCodeElimination* dce1 = new (arena) HDeadCodeElimination(
511 graph, stats, HDeadCodeElimination::kInitialDeadCodeEliminationPassName);
512 HDeadCodeElimination* dce2 = new (arena) HDeadCodeElimination(
513 graph, stats, HDeadCodeElimination::kFinalDeadCodeEliminationPassName);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000514 HConstantFolding* fold1 = new (arena) HConstantFolding(graph);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100515 InstructionSimplifier* simplify1 = new (arena) InstructionSimplifier(graph, stats);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000516 HBooleanSimplifier* boolean_simplify = new (arena) HBooleanSimplifier(graph);
517 HConstantFolding* fold2 = new (arena) HConstantFolding(graph, "constant_folding_after_inlining");
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100518 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
519 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects);
520 LICM* licm = new (arena) LICM(graph, *side_effects);
Mingyao Yang8df69d42015-10-22 15:40:58 -0700521 LoadStoreElimination* lse = new (arena) LoadStoreElimination(graph, *side_effects);
Aart Bik22af3be2015-09-10 12:50:58 -0700522 HInductionVarAnalysis* induction = new (arena) HInductionVarAnalysis(graph);
Aart Bikd59c7062015-11-21 05:21:52 +0000523 BoundsCheckElimination* bce = new (arena) BoundsCheckElimination(graph, induction);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100524 ReferenceTypePropagation* type_propagation =
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000525 new (arena) ReferenceTypePropagation(graph, &handles);
Vladimir Markodc151b22015-10-15 18:02:30 +0100526 HSharpening* sharpening = new (arena) HSharpening(graph, codegen, dex_compilation_unit, driver);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100527 InstructionSimplifier* simplify2 = new (arena) InstructionSimplifier(
528 graph, stats, "instruction_simplifier_after_types");
529 InstructionSimplifier* simplify3 = new (arena) InstructionSimplifier(
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100530 graph, stats, "instruction_simplifier_after_bce");
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100531 InstructionSimplifier* simplify4 = new (arena) InstructionSimplifier(
532 graph, stats, "instruction_simplifier_before_codegen");
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000533
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000534 IntrinsicsRecognizer* intrinsics = new (arena) IntrinsicsRecognizer(graph, driver);
Andreas Gampe71fb52f2014-12-29 17:43:08 -0800535
Calin Juravleec748352015-07-29 13:52:12 +0100536 HOptimization* optimizations1[] = {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100537 intrinsics,
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100538 fold1,
539 simplify1,
540 type_propagation,
Vladimir Markodc151b22015-10-15 18:02:30 +0100541 sharpening,
Nicolas Geoffray18e68732015-06-17 23:09:05 +0100542 dce1,
Calin Juravleec748352015-07-29 13:52:12 +0100543 simplify2
544 };
545
546 RunOptimizations(optimizations1, arraysize(optimizations1), pass_observer);
547
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000548 MaybeRunInliner(graph, codegen, driver, stats, dex_compilation_unit, pass_observer, &handles);
David Brazdil95177982015-10-30 12:56:58 -0500549
David Brazdil77a48ae2015-09-15 12:34:04 +0000550 // TODO: Update passes incompatible with try/catch so we have the same
551 // pipeline for all methods.
David Brazdil771e5cc2015-10-29 22:47:39 +0000552 if (graph->HasTryCatch()) {
553 HOptimization* optimizations2[] = {
David Brazdil8a7c0fe2015-11-02 20:24:55 +0000554 boolean_simplify,
David Brazdil771e5cc2015-10-29 22:47:39 +0000555 side_effects,
556 gvn,
557 dce2,
558 // The codegen has a few assumptions that only the instruction simplifier
559 // can satisfy. For example, the code generator does not expect to see a
560 // HTypeConversion from a type to the same type.
561 simplify4,
562 };
563
564 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
565 } else {
David Brazdil771e5cc2015-10-29 22:47:39 +0000566 HOptimization* optimizations2[] = {
567 // BooleanSimplifier depends on the InstructionSimplifier removing
568 // redundant suspend checks to recognize empty blocks.
569 boolean_simplify,
570 fold2, // TODO: if we don't inline we can also skip fold2.
571 side_effects,
572 gvn,
573 licm,
574 induction,
575 bce,
576 simplify3,
577 lse,
578 dce2,
579 // The codegen has a few assumptions that only the instruction simplifier
580 // can satisfy. For example, the code generator does not expect to see a
581 // HTypeConversion from a type to the same type.
582 simplify4,
583 };
584
585 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
David Brazdilbbd733e2015-08-18 17:48:17 +0100586 }
587
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100588 RunArchOptimizations(driver->GetInstructionSet(), graph, stats, pass_observer);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000589 AllocateRegisters(graph, codegen, pass_observer);
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000590}
591
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000592// The stack map we generate must be 4-byte aligned on ARM. Since existing
593// maps are generated alongside these stack maps, we must also align them.
Vladimir Markof9f64412015-09-02 14:05:49 +0100594static ArrayRef<const uint8_t> AlignVectorSize(ArenaVector<uint8_t>& vector) {
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000595 size_t size = vector.size();
596 size_t aligned_size = RoundUp(size, 4);
597 for (; size < aligned_size; ++size) {
598 vector.push_back(0);
599 }
Andreas Gampee21dc3d2014-12-08 16:59:43 -0800600 return ArrayRef<const uint8_t>(vector);
Nicolas Geoffray376b2bb2014-12-09 14:26:32 +0000601}
602
Vladimir Marko58155012015-08-19 12:49:41 +0000603static ArenaVector<LinkerPatch> EmitAndSortLinkerPatches(CodeGenerator* codegen) {
604 ArenaVector<LinkerPatch> linker_patches(codegen->GetGraph()->GetArena()->Adapter());
605 codegen->EmitLinkerPatches(&linker_patches);
606
607 // Sort patches by literal offset. Required for .oat_patches encoding.
608 std::sort(linker_patches.begin(), linker_patches.end(),
609 [](const LinkerPatch& lhs, const LinkerPatch& rhs) {
610 return lhs.LiteralOffset() < rhs.LiteralOffset();
611 });
612
613 return linker_patches;
614}
615
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000616CompiledMethod* OptimizingCompiler::EmitOptimized(ArenaAllocator* arena,
617 CodeVectorAllocator* code_allocator,
618 CodeGenerator* codegen,
619 CompilerDriver* compiler_driver) const {
Vladimir Marko58155012015-08-19 12:49:41 +0000620 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
Vladimir Markof9f64412015-09-02 14:05:49 +0100621 ArenaVector<uint8_t> stack_map(arena->Adapter(kArenaAllocStackMaps));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000622 stack_map.resize(codegen->ComputeStackMapsSize());
623 codegen->BuildStackMaps(MemoryRegion(stack_map.data(), stack_map.size()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000624
Calin Juravle2be39e02015-04-21 13:56:34 +0100625 MaybeRecordStat(MethodCompilationStat::kCompiledOptimized);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000626
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100627 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000628 compiler_driver,
629 codegen->GetInstructionSet(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000630 ArrayRef<const uint8_t>(code_allocator->GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000631 // Follow Quick's behavior and set the frame size to zero if it is
632 // considered "empty" (see the definition of
633 // art::CodeGenerator::HasEmptyFrame).
634 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000635 codegen->GetCoreSpillMask(),
Nicolas Geoffrayd97dc402015-01-22 13:50:01 +0000636 codegen->GetFpuSpillMask(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000637 ArrayRef<const SrcMapElem>(codegen->GetSrcMappingTable()),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100638 ArrayRef<const uint8_t>(), // mapping_table.
639 ArrayRef<const uint8_t>(stack_map),
640 ArrayRef<const uint8_t>(), // native_gc_map.
641 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000642 ArrayRef<const LinkerPatch>(linker_patches));
Mathieu Chartiered150002015-08-28 11:16:54 -0700643
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100644 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000645}
646
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000647CompiledMethod* OptimizingCompiler::EmitBaseline(
648 ArenaAllocator* arena,
649 CodeVectorAllocator* code_allocator,
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000650 CodeGenerator* codegen,
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000651 CompilerDriver* compiler_driver) const {
Vladimir Marko58155012015-08-19 12:49:41 +0000652 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
653
Vladimir Markof9f64412015-09-02 14:05:49 +0100654 ArenaVector<uint8_t> mapping_table(arena->Adapter(kArenaAllocBaselineMaps));
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100655 codegen->BuildMappingTable(&mapping_table);
Vladimir Markof9f64412015-09-02 14:05:49 +0100656 ArenaVector<uint8_t> vmap_table(arena->Adapter(kArenaAllocBaselineMaps));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000657 codegen->BuildVMapTable(&vmap_table);
Vladimir Markof9f64412015-09-02 14:05:49 +0100658 ArenaVector<uint8_t> gc_map(arena->Adapter(kArenaAllocBaselineMaps));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000659 codegen->BuildNativeGCMap(&gc_map, *compiler_driver);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000660
Calin Juravle2be39e02015-04-21 13:56:34 +0100661 MaybeRecordStat(MethodCompilationStat::kCompiledBaseline);
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100662 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000663 compiler_driver,
664 codegen->GetInstructionSet(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000665 ArrayRef<const uint8_t>(code_allocator->GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000666 // Follow Quick's behavior and set the frame size to zero if it is
667 // considered "empty" (see the definition of
668 // art::CodeGenerator::HasEmptyFrame).
669 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
670 codegen->GetCoreSpillMask(),
671 codegen->GetFpuSpillMask(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000672 ArrayRef<const SrcMapElem>(codegen->GetSrcMappingTable()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000673 AlignVectorSize(mapping_table),
674 AlignVectorSize(vmap_table),
675 AlignVectorSize(gc_map),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100676 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000677 ArrayRef<const LinkerPatch>(linker_patches));
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100678 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000679}
680
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000681CodeGenerator* OptimizingCompiler::TryCompile(ArenaAllocator* arena,
682 CodeVectorAllocator* code_allocator,
683 const DexFile::CodeItem* code_item,
684 uint32_t access_flags,
685 InvokeType invoke_type,
686 uint16_t class_def_idx,
687 uint32_t method_idx,
688 jobject class_loader,
689 const DexFile& dex_file,
690 Handle<mirror::DexCache> dex_cache) const {
Calin Juravle2be39e02015-04-21 13:56:34 +0100691 MaybeRecordStat(MethodCompilationStat::kAttemptCompilation);
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000692 CompilerDriver* compiler_driver = GetCompilerDriver();
693 InstructionSet instruction_set = compiler_driver->GetInstructionSet();
Calin Juravlecff8cc72015-10-09 12:03:24 +0100694
Roland Levillain3b359c72015-11-17 19:35:12 +0000695 // Always use the Thumb-2 assembler: some runtime functionality
696 // (like implicit stack overflow checks) assume Thumb-2.
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100697 if (instruction_set == kArm) {
698 instruction_set = kThumb2;
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100699 }
700
701 // Do not attempt to compile on architectures we do not support.
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000702 if (!IsInstructionSetSupported(instruction_set)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100703 MaybeRecordStat(MethodCompilationStat::kNotCompiledUnsupportedIsa);
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100704 return nullptr;
705 }
706
Roland Levillain0d5a2812015-11-13 10:07:31 +0000707 // When read barriers are enabled, do not attempt to compile for
708 // instruction sets that have no read barrier support.
709 if (kEmitCompilerReadBarrier && !InstructionSetSupportsReadBarrier(instruction_set)) {
710 return nullptr;
711 }
712
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000713 if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100714 MaybeRecordStat(MethodCompilationStat::kNotCompiledPathological);
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000715 return nullptr;
716 }
717
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000718 // Implementation of the space filter: do not compile a code item whose size in
Nicolas Geoffray432bf3d2015-07-17 11:11:09 +0100719 // code units is bigger than 128.
720 static constexpr size_t kSpaceFilterOptimizingThreshold = 128;
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000721 const CompilerOptions& compiler_options = compiler_driver->GetCompilerOptions();
722 if ((compiler_options.GetCompilerFilter() == CompilerOptions::kSpace)
723 && (code_item->insns_size_in_code_units_ > kSpaceFilterOptimizingThreshold)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100724 MaybeRecordStat(MethodCompilationStat::kNotCompiledSpaceFilter);
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000725 return nullptr;
726 }
727
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000728 DexCompilationUnit dex_compilation_unit(
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000729 nullptr, class_loader, Runtime::Current()->GetClassLinker(), dex_file, code_item,
Ian Rogers72d32622014-05-06 16:20:11 -0700730 class_def_idx, method_idx, access_flags,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700731 compiler_driver->GetVerifiedMethod(&dex_file, method_idx), dex_cache);
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000732
Calin Juravle3cd4fc82015-05-14 15:15:42 +0100733 bool requires_barrier = dex_compilation_unit.IsConstructor()
734 && compiler_driver->RequiresConstructorBarrier(Thread::Current(),
735 dex_compilation_unit.GetDexFile(),
736 dex_compilation_unit.GetClassDefIndex());
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000737 HGraph* graph = new (arena) HGraph(
738 arena, dex_file, method_idx, requires_barrier, compiler_driver->GetInstructionSet(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700739 kInvalidInvokeType, compiler_driver->GetCompilerOptions().GetDebuggable());
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000740
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000741 std::unique_ptr<CodeGenerator> codegen(
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000742 CodeGenerator::Create(graph,
743 instruction_set,
744 *compiler_driver->GetInstructionSetFeatures(),
745 compiler_driver->GetCompilerOptions()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000746 if (codegen.get() == nullptr) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100747 MaybeRecordStat(MethodCompilationStat::kNotCompiledNoCodegen);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000748 return nullptr;
749 }
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100750 codegen->GetAssembler()->cfi().SetEnabled(
David Srbecky8363c772015-05-28 16:12:43 +0100751 compiler_driver->GetCompilerOptions().GetGenerateDebugInfo());
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000752
David Brazdil69ba7b72015-06-23 18:27:30 +0100753 PassObserver pass_observer(graph,
David Brazdil69ba7b72015-06-23 18:27:30 +0100754 codegen.get(),
755 visualizer_output_.get(),
756 compiler_driver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000757
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000758 const uint8_t* interpreter_metadata = nullptr;
759 {
760 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier736b5602015-09-02 14:54:11 -0700761 StackHandleScope<1> hs(soa.Self());
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000762 Handle<mirror::ClassLoader> loader(hs.NewHandle(
763 soa.Decode<mirror::ClassLoader*>(class_loader)));
764 ArtMethod* art_method = compiler_driver->ResolveMethod(
765 soa, dex_cache, loader, &dex_compilation_unit, method_idx, invoke_type);
766 // We may not get a method, for example if its class is erroneous.
767 // TODO: Clean this up, the compiler driver should just pass the ArtMethod to compile.
768 if (art_method != nullptr) {
769 interpreter_metadata = art_method->GetQuickenedInfo();
770 }
771 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000772 HGraphBuilder builder(graph,
773 &dex_compilation_unit,
774 &dex_compilation_unit,
775 &dex_file,
776 compiler_driver,
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000777 compilation_stats_.get(),
Mathieu Chartier736b5602015-09-02 14:54:11 -0700778 interpreter_metadata,
779 dex_cache);
David Brazdil5e8b1372015-01-23 14:39:08 +0000780
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000781 VLOG(compiler) << "Building " << pass_observer.GetMethodName();
David Brazdil5e8b1372015-01-23 14:39:08 +0000782
David Brazdil809658e2015-02-05 11:34:02 +0000783 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100784 PassScope scope(HGraphBuilder::kBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000785 if (!builder.BuildGraph(*code_item)) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100786 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000787 return nullptr;
788 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000789 }
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100790
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000791 VLOG(compiler) << "Optimizing " << pass_observer.GetMethodName();
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000792 if (run_optimizations_) {
David Brazdil809658e2015-02-05 11:34:02 +0000793 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100794 PassScope scope(SsaBuilder::kSsaBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000795 if (!graph->TryBuildingSsa()) {
796 // We could not transform the graph to SSA, bailout.
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000797 LOG(INFO) << "Skipping compilation of " << pass_observer.GetMethodName()
798 << ": it contains a non natural loop";
Calin Juravle2be39e02015-04-21 13:56:34 +0100799 MaybeRecordStat(MethodCompilationStat::kNotCompiledCannotBuildSSA);
David Brazdilffee3d32015-07-06 11:48:53 +0100800 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000801 return nullptr;
802 }
Nicolas Geoffrayf5370122014-12-02 11:51:19 +0000803 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000804
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000805 RunOptimizations(graph,
806 codegen.get(),
807 compiler_driver,
808 compilation_stats_.get(),
809 dex_compilation_unit,
810 &pass_observer);
811 codegen->CompileOptimized(code_allocator);
812 } else {
813 codegen->CompileBaseline(code_allocator);
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100814 }
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000815 pass_observer.DumpDisassembly();
Vladimir Markof9f64412015-09-02 14:05:49 +0100816
817 if (kArenaAllocatorCountAllocations) {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000818 if (arena->BytesAllocated() > 4 * MB) {
819 MemStats mem_stats(arena->GetMemStats());
Vladimir Markof9f64412015-09-02 14:05:49 +0100820 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
821 }
822 }
823
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000824 return codegen.release();
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000825}
826
Calin Juravle07380a22015-09-17 14:15:12 +0100827static bool CanHandleVerificationFailure(const VerifiedMethod* verified_method) {
828 // For access errors the compiler will use the unresolved helpers (e.g. HInvokeUnresolved).
829 uint32_t unresolved_mask = verifier::VerifyError::VERIFY_ERROR_NO_CLASS
830 | verifier::VerifyError::VERIFY_ERROR_ACCESS_CLASS
831 | verifier::VerifyError::VERIFY_ERROR_ACCESS_FIELD
832 | verifier::VerifyError::VERIFY_ERROR_ACCESS_METHOD;
Calin Juravle175dc732015-08-25 15:42:32 +0100833 return (verified_method->GetEncounteredVerificationFailures() & (~unresolved_mask)) == 0;
834}
835
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000836CompiledMethod* OptimizingCompiler::Compile(const DexFile::CodeItem* code_item,
837 uint32_t access_flags,
838 InvokeType invoke_type,
839 uint16_t class_def_idx,
840 uint32_t method_idx,
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100841 jobject jclass_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700842 const DexFile& dex_file,
843 Handle<mirror::DexCache> dex_cache) const {
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100844 CompilerDriver* compiler_driver = GetCompilerDriver();
845 CompiledMethod* method = nullptr;
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000846 DCHECK(Runtime::Current()->IsAotCompiler());
847 const VerifiedMethod* verified_method = compiler_driver->GetVerifiedMethod(&dex_file, method_idx);
848 DCHECK(!verified_method->HasRuntimeThrow());
849 if (compiler_driver->IsMethodVerifiedWithoutFailures(method_idx, class_def_idx, dex_file)
850 || CanHandleVerificationFailure(verified_method)) {
851 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
852 CodeVectorAllocator code_allocator(&arena);
853 std::unique_ptr<CodeGenerator> codegen(
854 TryCompile(&arena,
855 &code_allocator,
856 code_item,
857 access_flags,
858 invoke_type,
859 class_def_idx,
860 method_idx,
861 jclass_loader,
862 dex_file,
863 dex_cache));
864 if (codegen.get() != nullptr) {
865 if (run_optimizations_) {
866 method = EmitOptimized(&arena, &code_allocator, codegen.get(), compiler_driver);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100867 } else {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000868 method = EmitBaseline(&arena, &code_allocator, codegen.get(), compiler_driver);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100869 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100870 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100871 } else {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000872 if (compiler_driver->GetCompilerOptions().VerifyAtRuntime()) {
873 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerifyAtRuntime);
874 } else {
875 MaybeRecordStat(MethodCompilationStat::kNotCompiledClassNotVerified);
876 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100877 }
878
Calin Juravlecff8cc72015-10-09 12:03:24 +0100879 if (kIsDebugBuild &&
880 IsCompilingWithCoreImage() &&
Roland Levillain0d5a2812015-11-13 10:07:31 +0000881 IsInstructionSetSupported(compiler_driver->GetInstructionSet()) &&
882 (!kEmitCompilerReadBarrier ||
883 InstructionSetSupportsReadBarrier(compiler_driver->GetInstructionSet()))) {
884 // For testing purposes, we put a special marker on method names
885 // that should be compiled with this compiler (when the the
886 // instruction set is supported -- and has support for read
887 // barriers, if they are enabled). This makes sure we're not
888 // regressing.
Calin Juravle09b1d6f2015-10-07 12:08:54 +0100889 std::string method_name = PrettyMethod(method_idx, dex_file);
890 bool shouldCompile = method_name.find("$opt$") != std::string::npos;
891 DCHECK((method != nullptr) || !shouldCompile) << "Didn't compile " << method_name;
892 }
893
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100894 return method;
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000895}
896
Andreas Gampe53c913b2014-08-12 23:19:23 -0700897Compiler* CreateOptimizingCompiler(CompilerDriver* driver) {
898 return new OptimizingCompiler(driver);
899}
900
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100901bool IsCompilingWithCoreImage() {
902 const std::string& image = Runtime::Current()->GetImageLocation();
903 return EndsWith(image, "core.art") || EndsWith(image, "core-optimizing.art");
904}
905
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000906bool OptimizingCompiler::JitCompile(Thread* self,
907 jit::JitCodeCache* code_cache,
908 ArtMethod* method) {
909 StackHandleScope<2> hs(self);
910 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(
911 method->GetDeclaringClass()->GetClassLoader()));
912 Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
913
914 jobject jclass_loader = class_loader.ToJObject();
915 const DexFile* dex_file = method->GetDexFile();
916 const uint16_t class_def_idx = method->GetClassDefIndex();
917 const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
918 const uint32_t method_idx = method->GetDexMethodIndex();
919 const uint32_t access_flags = method->GetAccessFlags();
920 const InvokeType invoke_type = method->GetInvokeType();
921
922 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
923 CodeVectorAllocator code_allocator(&arena);
924 std::unique_ptr<CodeGenerator> codegen;
925 {
926 // Go to native so that we don't block GC during compilation.
927 ScopedThreadSuspension sts(self, kNative);
928
929 DCHECK(run_optimizations_);
930 codegen.reset(
931 TryCompile(&arena,
932 &code_allocator,
933 code_item,
934 access_flags,
935 invoke_type,
936 class_def_idx,
937 method_idx,
938 jclass_loader,
939 *dex_file,
940 dex_cache));
941 if (codegen.get() == nullptr) {
942 return false;
943 }
944 }
945
946 size_t stack_map_size = codegen->ComputeStackMapsSize();
947 uint8_t* stack_map_data = code_cache->ReserveData(self, stack_map_size);
948 if (stack_map_data == nullptr) {
949 return false;
950 }
951 codegen->BuildStackMaps(MemoryRegion(stack_map_data, stack_map_size));
952 const void* code = code_cache->CommitCode(
953 self,
954 method,
955 nullptr,
956 stack_map_data,
957 nullptr,
958 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
959 codegen->GetCoreSpillMask(),
960 codegen->GetFpuSpillMask(),
961 code_allocator.GetMemory().data(),
962 code_allocator.GetSize());
963
964 if (code == nullptr) {
965 code_cache->ClearData(self, stack_map_data);
966 return false;
967 }
968
969 return true;
970}
971
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000972} // namespace art