blob: 4da48bdfc3880444ef152533a0e91edb236f1365 [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>
David Srbecky5cc349f2015-12-18 15:04:48 +000020#include <memory>
Nicolas Geoffray787c3072014-03-17 10:20:19 +000021#include <stdint.h>
22
Alexandre Rames44b9cf92015-08-19 15:39:06 +010023#ifdef ART_ENABLE_CODEGEN_arm64
Vladimir Markob4536b72015-11-24 13:45:23 +000024#include "dex_cache_array_fixups_arm.h"
25#endif
26
27#ifdef ART_ENABLE_CODEGEN_arm64
Alexandre Rames44b9cf92015-08-19 15:39:06 +010028#include "instruction_simplifier_arm64.h"
29#endif
30
Mark Mendell0616ae02015-04-17 12:49:27 -040031#ifdef ART_ENABLE_CODEGEN_x86
Vladimir Marko0f7dca42015-11-02 14:36:43 +000032#include "pc_relative_fixups_x86.h"
Mark Mendell0616ae02015-04-17 12:49:27 -040033#endif
34
Mathieu Chartiere401d142015-04-22 13:56:20 -070035#include "art_method-inl.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080036#include "base/arena_allocator.h"
Vladimir Markof9f64412015-09-02 14:05:49 +010037#include "base/arena_containers.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000038#include "base/dumpable.h"
Vladimir Markoc90d7c72015-10-06 17:30:45 +000039#include "base/macros.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000040#include "base/timing_logger.h"
David Brazdil46e2a392015-03-16 17:31:52 +000041#include "boolean_simplifier.h"
Mingyao Yangf384f882014-10-22 16:08:18 -070042#include "bounds_check_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000043#include "builder.h"
44#include "code_generator.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000045#include "compiled_method.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070046#include "compiler.h"
Roland Levillain75be2832014-10-17 17:02:00 +010047#include "constant_folding.h"
48#include "dead_code_elimination.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080049#include "dex/quick/dex_file_to_method_inliner_map.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010050#include "dex/verified_method.h"
51#include "dex/verification_results.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000052#include "driver/compiler_driver.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000053#include "driver/compiler_driver-inl.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000054#include "driver/compiler_options.h"
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000055#include "driver/dex_compilation_unit.h"
David Srbecky5cc349f2015-12-18 15:04:48 +000056#include "dwarf/method_debug_info.h"
57#include "elf_writer_debug.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000058#include "elf_writer_quick.h"
David Brazdil69ba7b72015-06-23 18:27:30 +010059#include "graph_checker.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010060#include "graph_visualizer.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +010061#include "gvn.h"
Aart Bik22af3be2015-09-10 12:50:58 -070062#include "induction_var_analysis.h"
Nicolas Geoffraye53798a2014-12-01 10:31:54 +000063#include "inliner.h"
Nicolas Geoffray3c049742014-09-24 18:10:46 +010064#include "instruction_simplifier.h"
Ilmir Usmanovdebeb982015-12-11 11:39:44 +030065#include "instruction_simplifier_arm.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080066#include "intrinsics.h"
David Srbecky5cc349f2015-12-18 15:04:48 +000067#include "jit/debugger_interface.h"
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +000068#include "jit/jit_code_cache.h"
Nicolas Geoffray82091da2015-01-26 10:02:45 +000069#include "licm.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000070#include "jni/quick/jni_compiler.h"
Mingyao Yang8df69d42015-10-22 15:40:58 -070071#include "load_store_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000072#include "nodes.h"
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +010073#include "prepare_for_register_allocation.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010074#include "reference_type_propagation.h"
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010075#include "register_allocator.h"
David Srbecky5cc349f2015-12-18 15:04:48 +000076#include "oat_quick_method_header.h"
Vladimir Markodc151b22015-10-15 18:02:30 +010077#include "sharpening.h"
Nicolas Geoffray827eedb2015-01-26 15:18:36 +000078#include "side_effects_analysis.h"
Nicolas Geoffray31596742014-11-24 15:28:45 +000079#include "ssa_builder.h"
Nicolas Geoffray7dc206a2014-07-11 09:49:49 +010080#include "ssa_phi_elimination.h"
Nicolas Geoffray804d0932014-05-02 08:46:00 +010081#include "ssa_liveness_analysis.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010082#include "utils/assembler.h"
Calin Juravle175dc732015-08-25 15:42:32 +010083#include "verifier/method_verifier.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000084
85namespace art {
86
Nicolas Geoffray787c3072014-03-17 10:20:19 +000087/**
88 * Used by the code generator, to allocate the code in a vector.
89 */
90class CodeVectorAllocator FINAL : public CodeAllocator {
91 public:
Vladimir Markof9f64412015-09-02 14:05:49 +010092 explicit CodeVectorAllocator(ArenaAllocator* arena)
93 : memory_(arena->Adapter(kArenaAllocCodeBuffer)),
94 size_(0) {}
Nicolas Geoffray787c3072014-03-17 10:20:19 +000095
96 virtual uint8_t* Allocate(size_t size) {
97 size_ = size;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000098 memory_.resize(size);
Nicolas Geoffray787c3072014-03-17 10:20:19 +000099 return &memory_[0];
100 }
101
102 size_t GetSize() const { return size_; }
Vladimir Markof9f64412015-09-02 14:05:49 +0100103 const ArenaVector<uint8_t>& GetMemory() const { return memory_; }
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000104
105 private:
Vladimir Markof9f64412015-09-02 14:05:49 +0100106 ArenaVector<uint8_t> memory_;
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000107 size_t size_;
108
109 DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
110};
111
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100112/**
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100113 * Filter to apply to the visualizer. Methods whose name contain that filter will
David Brazdilee690a32014-12-01 17:04:16 +0000114 * be dumped.
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100115 */
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700116static constexpr const char kStringFilter[] = "";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100117
David Brazdil69ba7b72015-06-23 18:27:30 +0100118class PassScope;
David Brazdil809658e2015-02-05 11:34:02 +0000119
David Brazdil69ba7b72015-06-23 18:27:30 +0100120class PassObserver : public ValueObject {
David Brazdil5e8b1372015-01-23 14:39:08 +0000121 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100122 PassObserver(HGraph* graph,
David Brazdil69ba7b72015-06-23 18:27:30 +0100123 CodeGenerator* codegen,
124 std::ostream* visualizer_output,
125 CompilerDriver* compiler_driver)
126 : graph_(graph),
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000127 cached_method_name_(),
David Brazdil809658e2015-02-05 11:34:02 +0000128 timing_logger_enabled_(compiler_driver->GetDumpPasses()),
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000129 timing_logger_(timing_logger_enabled_ ? GetMethodName() : "", true, true),
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100130 disasm_info_(graph->GetArena()),
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000131 visualizer_enabled_(!compiler_driver->GetCompilerOptions().GetDumpCfgFileName().empty()),
David Brazdil69ba7b72015-06-23 18:27:30 +0100132 visualizer_(visualizer_output, graph, *codegen),
133 graph_in_bad_state_(false) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700134 if (timing_logger_enabled_ || visualizer_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000135 if (!IsVerboseMethod(compiler_driver, GetMethodName())) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700136 timing_logger_enabled_ = visualizer_enabled_ = false;
137 }
138 if (visualizer_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000139 visualizer_.PrintHeader(GetMethodName());
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700140 codegen->SetDisassemblyInformation(&disasm_info_);
141 }
David Brazdil62e074f2015-04-07 18:09:37 +0100142 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000143 }
144
David Brazdil69ba7b72015-06-23 18:27:30 +0100145 ~PassObserver() {
David Brazdil5e8b1372015-01-23 14:39:08 +0000146 if (timing_logger_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000147 LOG(INFO) << "TIMINGS " << GetMethodName();
David Brazdil5e8b1372015-01-23 14:39:08 +0000148 LOG(INFO) << Dumpable<TimingLogger>(timing_logger_);
149 }
150 }
151
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100152 void DumpDisassembly() const {
153 if (visualizer_enabled_) {
154 visualizer_.DumpGraphWithDisassembly();
155 }
156 }
157
David Brazdil69ba7b72015-06-23 18:27:30 +0100158 void SetGraphInBadState() { graph_in_bad_state_ = true; }
159
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000160 const char* GetMethodName() {
161 // PrettyMethod() is expensive, so we delay calling it until we actually have to.
162 if (cached_method_name_.empty()) {
163 cached_method_name_ = PrettyMethod(graph_->GetMethodIdx(), graph_->GetDexFile());
164 }
165 return cached_method_name_.c_str();
166 }
167
David Brazdil5e8b1372015-01-23 14:39:08 +0000168 private:
David Brazdil809658e2015-02-05 11:34:02 +0000169 void StartPass(const char* pass_name) {
170 // Dump graph first, then start timer.
171 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100172 visualizer_.DumpGraph(pass_name, /* is_after_pass */ false, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000173 }
174 if (timing_logger_enabled_) {
175 timing_logger_.StartTiming(pass_name);
176 }
177 }
178
179 void EndPass(const char* pass_name) {
180 // Pause timer first, then dump graph.
181 if (timing_logger_enabled_) {
182 timing_logger_.EndTiming();
183 }
184 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100185 visualizer_.DumpGraph(pass_name, /* is_after_pass */ true, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000186 }
David Brazdil69ba7b72015-06-23 18:27:30 +0100187
188 // Validate the HGraph if running in debug mode.
189 if (kIsDebugBuild) {
190 if (!graph_in_bad_state_) {
191 if (graph_->IsInSsaForm()) {
Vladimir Marko655e5852015-10-12 10:38:28 +0100192 SSAChecker checker(graph_);
David Brazdil69ba7b72015-06-23 18:27:30 +0100193 checker.Run();
194 if (!checker.IsValid()) {
195 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<SSAChecker>(checker);
196 }
197 } else {
Vladimir Marko655e5852015-10-12 10:38:28 +0100198 GraphChecker checker(graph_);
David Brazdil69ba7b72015-06-23 18:27:30 +0100199 checker.Run();
200 if (!checker.IsValid()) {
201 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<GraphChecker>(checker);
202 }
203 }
204 }
205 }
David Brazdil809658e2015-02-05 11:34:02 +0000206 }
207
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700208 static bool IsVerboseMethod(CompilerDriver* compiler_driver, const char* method_name) {
209 // Test an exact match to --verbose-methods. If verbose-methods is set, this overrides an
210 // empty kStringFilter matching all methods.
211 if (compiler_driver->GetCompilerOptions().HasVerboseMethods()) {
212 return compiler_driver->GetCompilerOptions().IsVerboseMethod(method_name);
213 }
214
215 // Test the kStringFilter sub-string. constexpr helper variable to silence unreachable-code
216 // warning when the string is empty.
217 constexpr bool kStringFilterEmpty = arraysize(kStringFilter) <= 1;
218 if (kStringFilterEmpty || strstr(method_name, kStringFilter) != nullptr) {
219 return true;
220 }
221
222 return false;
223 }
224
David Brazdil69ba7b72015-06-23 18:27:30 +0100225 HGraph* const graph_;
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000226
227 std::string cached_method_name_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000228
229 bool timing_logger_enabled_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000230 TimingLogger timing_logger_;
231
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100232 DisassemblyInformation disasm_info_;
233
David Brazdil5e8b1372015-01-23 14:39:08 +0000234 bool visualizer_enabled_;
235 HGraphVisualizer visualizer_;
236
David Brazdil69ba7b72015-06-23 18:27:30 +0100237 // Flag to be set by the compiler if the pass failed and the graph is not
238 // expected to validate.
239 bool graph_in_bad_state_;
David Brazdil809658e2015-02-05 11:34:02 +0000240
David Brazdil69ba7b72015-06-23 18:27:30 +0100241 friend PassScope;
242
243 DISALLOW_COPY_AND_ASSIGN(PassObserver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000244};
245
David Brazdil69ba7b72015-06-23 18:27:30 +0100246class PassScope : public ValueObject {
David Brazdil809658e2015-02-05 11:34:02 +0000247 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100248 PassScope(const char *pass_name, PassObserver* pass_observer)
David Brazdil809658e2015-02-05 11:34:02 +0000249 : pass_name_(pass_name),
David Brazdil69ba7b72015-06-23 18:27:30 +0100250 pass_observer_(pass_observer) {
251 pass_observer_->StartPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000252 }
253
David Brazdil69ba7b72015-06-23 18:27:30 +0100254 ~PassScope() {
255 pass_observer_->EndPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000256 }
257
258 private:
259 const char* const pass_name_;
David Brazdil69ba7b72015-06-23 18:27:30 +0100260 PassObserver* const pass_observer_;
David Brazdil809658e2015-02-05 11:34:02 +0000261};
262
Andreas Gampe53c913b2014-08-12 23:19:23 -0700263class OptimizingCompiler FINAL : public Compiler {
264 public:
265 explicit OptimizingCompiler(CompilerDriver* driver);
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100266 ~OptimizingCompiler();
Andreas Gampe53c913b2014-08-12 23:19:23 -0700267
268 bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file, CompilationUnit* cu) const
269 OVERRIDE;
270
271 CompiledMethod* Compile(const DexFile::CodeItem* code_item,
272 uint32_t access_flags,
273 InvokeType invoke_type,
274 uint16_t class_def_idx,
275 uint32_t method_idx,
276 jobject class_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700277 const DexFile& dex_file,
278 Handle<mirror::DexCache> dex_cache) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700279
Andreas Gampe53c913b2014-08-12 23:19:23 -0700280 CompiledMethod* JniCompile(uint32_t access_flags,
281 uint32_t method_idx,
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000282 const DexFile& dex_file) const OVERRIDE {
283 return ArtQuickJniCompileMethod(GetCompilerDriver(), access_flags, method_idx, dex_file);
284 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700285
Mathieu Chartiere401d142015-04-22 13:56:20 -0700286 uintptr_t GetEntryPointOf(ArtMethod* method) const OVERRIDE
Mathieu Chartier90443472015-07-16 20:32:27 -0700287 SHARED_REQUIRES(Locks::mutator_lock_) {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000288 return reinterpret_cast<uintptr_t>(method->GetEntryPointFromQuickCompiledCodePtrSize(
289 InstructionSetPointerSize(GetCompilerDriver()->GetInstructionSet())));
290 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700291
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000292 void InitCompilationUnit(CompilationUnit& cu) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700293
David Brazdilee690a32014-12-01 17:04:16 +0000294 void Init() OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700295
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000296 void UnInit() const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700297
Calin Juravle2be39e02015-04-21 13:56:34 +0100298 void MaybeRecordStat(MethodCompilationStat compilation_stat) const {
299 if (compilation_stats_.get() != nullptr) {
300 compilation_stats_->RecordStat(compilation_stat);
301 }
302 }
303
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000304 bool JitCompile(Thread* self, jit::JitCodeCache* code_cache, ArtMethod* method)
305 OVERRIDE
306 SHARED_REQUIRES(Locks::mutator_lock_);
307
Andreas Gampe53c913b2014-08-12 23:19:23 -0700308 private:
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000309 // Create a 'CompiledMethod' for an optimized graph.
David Brazdil58282f42016-01-14 12:45:10 +0000310 CompiledMethod* Emit(ArenaAllocator* arena,
311 CodeVectorAllocator* code_allocator,
312 CodeGenerator* codegen,
313 CompilerDriver* driver) const;
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000314
315 // Try compiling a method and return the code generator used for
316 // compiling it.
317 // This method:
318 // 1) Builds the graph. Returns null if it failed to build it.
David Brazdil58282f42016-01-14 12:45:10 +0000319 // 2) Transforms the graph to SSA. Returns null if it failed.
320 // 3) Runs optimizations on the graph, including register allocator.
321 // 4) Generates code with the `code_allocator` provided.
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000322 CodeGenerator* TryCompile(ArenaAllocator* arena,
323 CodeVectorAllocator* code_allocator,
324 const DexFile::CodeItem* code_item,
325 uint32_t access_flags,
326 InvokeType invoke_type,
327 uint16_t class_def_idx,
328 uint32_t method_idx,
329 jobject class_loader,
330 const DexFile& dex_file,
331 Handle<mirror::DexCache> dex_cache) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000332
Calin Juravle2be39e02015-04-21 13:56:34 +0100333 std::unique_ptr<OptimizingCompilerStats> compilation_stats_;
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100334
Andreas Gampe53c913b2014-08-12 23:19:23 -0700335 std::unique_ptr<std::ostream> visualizer_output_;
336
Andreas Gampe53c913b2014-08-12 23:19:23 -0700337 DISALLOW_COPY_AND_ASSIGN(OptimizingCompiler);
338};
339
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100340static const int kMaximumCompilationTimeBeforeWarning = 100; /* ms */
341
342OptimizingCompiler::OptimizingCompiler(CompilerDriver* driver)
David Brazdil58282f42016-01-14 12:45:10 +0000343 : Compiler(driver, kMaximumCompilationTimeBeforeWarning) {}
David Brazdilee690a32014-12-01 17:04:16 +0000344
345void OptimizingCompiler::Init() {
346 // Enable C1visualizer output. Must be done in Init() because the compiler
347 // driver is not fully initialized when passed to the compiler's constructor.
348 CompilerDriver* driver = GetCompilerDriver();
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000349 const std::string cfg_file_name = driver->GetCompilerOptions().GetDumpCfgFileName();
David Brazdil866c0312015-01-13 21:21:31 +0000350 if (!cfg_file_name.empty()) {
David Brazdilee690a32014-12-01 17:04:16 +0000351 CHECK_EQ(driver->GetThreadCount(), 1U)
352 << "Graph visualizer requires the compiler to run single-threaded. "
353 << "Invoke the compiler with '-j1'.";
Calin Juravle87000a92015-08-24 15:34:44 +0100354 std::ios_base::openmode cfg_file_mode =
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000355 driver->GetCompilerOptions().GetDumpCfgAppend() ? std::ofstream::app : std::ofstream::out;
Calin Juravle87000a92015-08-24 15:34:44 +0100356 visualizer_output_.reset(new std::ofstream(cfg_file_name, cfg_file_mode));
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100357 }
Calin Juravle2be39e02015-04-21 13:56:34 +0100358 if (driver->GetDumpStats()) {
359 compilation_stats_.reset(new OptimizingCompilerStats());
360 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100361}
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000362
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000363void OptimizingCompiler::UnInit() const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000364}
365
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100366OptimizingCompiler::~OptimizingCompiler() {
Calin Juravle2be39e02015-04-21 13:56:34 +0100367 if (compilation_stats_.get() != nullptr) {
368 compilation_stats_->Log();
369 }
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100370}
371
Nicolas Geoffrayda3a55b2015-10-02 11:56:50 +0100372void OptimizingCompiler::InitCompilationUnit(CompilationUnit& cu ATTRIBUTE_UNUSED) const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000373}
374
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +0000375bool OptimizingCompiler::CanCompileMethod(uint32_t method_idx ATTRIBUTE_UNUSED,
376 const DexFile& dex_file ATTRIBUTE_UNUSED,
377 CompilationUnit* cu ATTRIBUTE_UNUSED) const {
378 return true;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700379}
380
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000381static bool IsInstructionSetSupported(InstructionSet instruction_set) {
Calin Juravlecff8cc72015-10-09 12:03:24 +0100382 return (instruction_set == kArm && !kArm32QuickCodeUseSoftFloat)
383 || instruction_set == kArm64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000384 || (instruction_set == kThumb2 && !kArm32QuickCodeUseSoftFloat)
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200385 || instruction_set == kMips
Alexey Frunze4dda3372015-06-01 18:31:49 -0700386 || instruction_set == kMips64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000387 || instruction_set == kX86
388 || instruction_set == kX86_64;
389}
390
Roland Levillain22ccc3a2015-11-24 13:10:05 +0000391// Read barrier are supported on ARM, ARM64, x86 and x86-64 at the moment.
Roland Levillain0d5a2812015-11-13 10:07:31 +0000392// TODO: Add support for other architectures and remove this function
393static bool InstructionSetSupportsReadBarrier(InstructionSet instruction_set) {
Roland Levillain22ccc3a2015-11-24 13:10:05 +0000394 return instruction_set == kArm64
395 || instruction_set == kThumb2
Roland Levillain3b359c72015-11-17 19:35:12 +0000396 || instruction_set == kX86
Roland Levillain0d5a2812015-11-13 10:07:31 +0000397 || instruction_set == kX86_64;
398}
399
Calin Juravle10e244f2015-01-26 18:54:32 +0000400static void RunOptimizations(HOptimization* optimizations[],
401 size_t length,
David Brazdil69ba7b72015-06-23 18:27:30 +0100402 PassObserver* pass_observer) {
Calin Juravle10e244f2015-01-26 18:54:32 +0000403 for (size_t i = 0; i < length; ++i) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100404 PassScope scope(optimizations[i]->GetPassName(), pass_observer);
405 optimizations[i]->Run();
Calin Juravle10e244f2015-01-26 18:54:32 +0000406 }
407}
408
Calin Juravleec748352015-07-29 13:52:12 +0100409static void MaybeRunInliner(HGraph* graph,
Vladimir Markodc151b22015-10-15 18:02:30 +0100410 CodeGenerator* codegen,
Calin Juravleec748352015-07-29 13:52:12 +0100411 CompilerDriver* driver,
412 OptimizingCompilerStats* stats,
413 const DexCompilationUnit& dex_compilation_unit,
414 PassObserver* pass_observer,
415 StackHandleScopeCollection* handles) {
416 const CompilerOptions& compiler_options = driver->GetCompilerOptions();
417 bool should_inline = (compiler_options.GetInlineDepthLimit() > 0)
418 && (compiler_options.GetInlineMaxCodeUnits() > 0);
419 if (!should_inline) {
420 return;
421 }
Nicolas Geoffray5949fa02015-12-18 10:57:10 +0000422 size_t number_of_dex_registers = dex_compilation_unit.GetCodeItem()->registers_size_;
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000423 HInliner* inliner = new (graph->GetArena()) HInliner(
Nicolas Geoffray5949fa02015-12-18 10:57:10 +0000424 graph,
425 graph,
426 codegen,
427 dex_compilation_unit,
428 dex_compilation_unit,
429 driver,
430 handles,
431 stats,
432 number_of_dex_registers,
433 /* depth */ 0);
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000434 HOptimization* optimizations[] = { inliner };
Calin Juravleec748352015-07-29 13:52:12 +0100435
436 RunOptimizations(optimizations, arraysize(optimizations), pass_observer);
437}
438
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100439static void RunArchOptimizations(InstructionSet instruction_set,
440 HGraph* graph,
441 OptimizingCompilerStats* stats,
442 PassObserver* pass_observer) {
443 ArenaAllocator* arena = graph->GetArena();
444 switch (instruction_set) {
Vladimir Markob4536b72015-11-24 13:45:23 +0000445#ifdef ART_ENABLE_CODEGEN_arm
446 case kThumb2:
447 case kArm: {
448 arm::DexCacheArrayFixups* fixups = new (arena) arm::DexCacheArrayFixups(graph, stats);
Ilmir Usmanovdebeb982015-12-11 11:39:44 +0300449 arm::InstructionSimplifierArm* simplifier =
450 new (arena) arm::InstructionSimplifierArm(graph, stats);
Vladimir Markob4536b72015-11-24 13:45:23 +0000451 HOptimization* arm_optimizations[] = {
Ilmir Usmanovdebeb982015-12-11 11:39:44 +0300452 fixups,
453 simplifier
Vladimir Markob4536b72015-11-24 13:45:23 +0000454 };
455 RunOptimizations(arm_optimizations, arraysize(arm_optimizations), pass_observer);
456 break;
457 }
458#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100459#ifdef ART_ENABLE_CODEGEN_arm64
460 case kArm64: {
461 arm64::InstructionSimplifierArm64* simplifier =
462 new (arena) arm64::InstructionSimplifierArm64(graph, stats);
463 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
464 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
465 HOptimization* arm64_optimizations[] = {
466 simplifier,
467 side_effects,
468 gvn
469 };
470 RunOptimizations(arm64_optimizations, arraysize(arm64_optimizations), pass_observer);
471 break;
472 }
473#endif
Mark Mendell0616ae02015-04-17 12:49:27 -0400474#ifdef ART_ENABLE_CODEGEN_x86
475 case kX86: {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000476 x86::PcRelativeFixups* pc_relative_fixups = new (arena) x86::PcRelativeFixups(graph, stats);
Mark Mendell0616ae02015-04-17 12:49:27 -0400477 HOptimization* x86_optimizations[] = {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000478 pc_relative_fixups
Mark Mendell0616ae02015-04-17 12:49:27 -0400479 };
480 RunOptimizations(x86_optimizations, arraysize(x86_optimizations), pass_observer);
481 break;
482 }
483#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100484 default:
485 break;
486 }
487}
488
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000489NO_INLINE // Avoid increasing caller's frame size by large stack-allocated objects.
490static void AllocateRegisters(HGraph* graph,
491 CodeGenerator* codegen,
492 PassObserver* pass_observer) {
493 PrepareForRegisterAllocation(graph).Run();
494 SsaLivenessAnalysis liveness(graph, codegen);
495 {
496 PassScope scope(SsaLivenessAnalysis::kLivenessPassName, pass_observer);
497 liveness.Analyze();
498 }
499 {
500 PassScope scope(RegisterAllocator::kRegisterAllocatorPassName, pass_observer);
501 RegisterAllocator(graph->GetArena(), codegen, liveness).AllocateRegisters();
502 }
503}
504
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000505static void RunOptimizations(HGraph* graph,
Vladimir Markodc151b22015-10-15 18:02:30 +0100506 CodeGenerator* codegen,
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000507 CompilerDriver* driver,
508 OptimizingCompilerStats* stats,
509 const DexCompilationUnit& dex_compilation_unit,
David Brazdil4833f5a2015-12-16 10:37:39 +0000510 PassObserver* pass_observer,
511 StackHandleScopeCollection* handles) {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100512 ArenaAllocator* arena = graph->GetArena();
513 HDeadCodeElimination* dce1 = new (arena) HDeadCodeElimination(
514 graph, stats, HDeadCodeElimination::kInitialDeadCodeEliminationPassName);
515 HDeadCodeElimination* dce2 = new (arena) HDeadCodeElimination(
516 graph, stats, HDeadCodeElimination::kFinalDeadCodeEliminationPassName);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000517 HConstantFolding* fold1 = new (arena) HConstantFolding(graph);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100518 InstructionSimplifier* simplify1 = new (arena) InstructionSimplifier(graph, stats);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000519 HBooleanSimplifier* boolean_simplify = new (arena) HBooleanSimplifier(graph);
520 HConstantFolding* fold2 = new (arena) HConstantFolding(graph, "constant_folding_after_inlining");
Aart Bik4a342772015-11-30 10:17:46 -0800521 HConstantFolding* fold3 = new (arena) HConstantFolding(graph, "constant_folding_after_bce");
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100522 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
523 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects);
524 LICM* licm = new (arena) LICM(graph, *side_effects);
Mingyao Yang8df69d42015-10-22 15:40:58 -0700525 LoadStoreElimination* lse = new (arena) LoadStoreElimination(graph, *side_effects);
Aart Bik22af3be2015-09-10 12:50:58 -0700526 HInductionVarAnalysis* induction = new (arena) HInductionVarAnalysis(graph);
Aart Bik4a342772015-11-30 10:17:46 -0800527 BoundsCheckElimination* bce = new (arena) BoundsCheckElimination(graph, *side_effects, induction);
Vladimir Markodc151b22015-10-15 18:02:30 +0100528 HSharpening* sharpening = new (arena) HSharpening(graph, codegen, dex_compilation_unit, driver);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100529 InstructionSimplifier* simplify2 = new (arena) InstructionSimplifier(
Alex Light68289a52015-12-15 17:30:30 -0800530 graph, stats, "instruction_simplifier_after_bce");
David Brazdil4833f5a2015-12-16 10:37:39 +0000531 InstructionSimplifier* simplify3 = new (arena) InstructionSimplifier(
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100532 graph, stats, "instruction_simplifier_before_codegen");
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000533 IntrinsicsRecognizer* intrinsics = new (arena) IntrinsicsRecognizer(graph, driver);
Andreas Gampe71fb52f2014-12-29 17:43:08 -0800534
Calin Juravleec748352015-07-29 13:52:12 +0100535 HOptimization* optimizations1[] = {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100536 intrinsics,
David Brazdil4833f5a2015-12-16 10:37:39 +0000537 sharpening,
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100538 fold1,
539 simplify1,
Nicolas Geoffray18e68732015-06-17 23:09:05 +0100540 dce1,
Calin Juravleec748352015-07-29 13:52:12 +0100541 };
Calin Juravleec748352015-07-29 13:52:12 +0100542 RunOptimizations(optimizations1, arraysize(optimizations1), pass_observer);
543
David Brazdil4833f5a2015-12-16 10:37:39 +0000544 MaybeRunInliner(graph, codegen, driver, stats, dex_compilation_unit, pass_observer, handles);
David Brazdil95177982015-10-30 12:56:58 -0500545
David Brazdil8993caf2015-12-07 10:04:40 +0000546 HOptimization* optimizations2[] = {
547 // BooleanSimplifier depends on the InstructionSimplifier removing
548 // redundant suspend checks to recognize empty blocks.
549 boolean_simplify,
550 fold2, // TODO: if we don't inline we can also skip fold2.
551 side_effects,
552 gvn,
553 licm,
554 induction,
555 bce,
556 fold3, // evaluates code generated by dynamic bce
David Brazdil4833f5a2015-12-16 10:37:39 +0000557 simplify2,
David Brazdil8993caf2015-12-07 10:04:40 +0000558 lse,
559 dce2,
560 // The codegen has a few assumptions that only the instruction simplifier
561 // can satisfy. For example, the code generator does not expect to see a
562 // HTypeConversion from a type to the same type.
David Brazdil4833f5a2015-12-16 10:37:39 +0000563 simplify3,
David Brazdil8993caf2015-12-07 10:04:40 +0000564 };
565 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
David Brazdilbbd733e2015-08-18 17:48:17 +0100566
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100567 RunArchOptimizations(driver->GetInstructionSet(), graph, stats, pass_observer);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000568 AllocateRegisters(graph, codegen, pass_observer);
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000569}
570
Vladimir Marko58155012015-08-19 12:49:41 +0000571static ArenaVector<LinkerPatch> EmitAndSortLinkerPatches(CodeGenerator* codegen) {
572 ArenaVector<LinkerPatch> linker_patches(codegen->GetGraph()->GetArena()->Adapter());
573 codegen->EmitLinkerPatches(&linker_patches);
574
575 // Sort patches by literal offset. Required for .oat_patches encoding.
576 std::sort(linker_patches.begin(), linker_patches.end(),
577 [](const LinkerPatch& lhs, const LinkerPatch& rhs) {
578 return lhs.LiteralOffset() < rhs.LiteralOffset();
579 });
580
581 return linker_patches;
582}
583
David Brazdil58282f42016-01-14 12:45:10 +0000584CompiledMethod* OptimizingCompiler::Emit(ArenaAllocator* arena,
585 CodeVectorAllocator* code_allocator,
586 CodeGenerator* codegen,
587 CompilerDriver* compiler_driver) const {
Vladimir Marko58155012015-08-19 12:49:41 +0000588 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
Vladimir Markof9f64412015-09-02 14:05:49 +0100589 ArenaVector<uint8_t> stack_map(arena->Adapter(kArenaAllocStackMaps));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000590 stack_map.resize(codegen->ComputeStackMapsSize());
591 codegen->BuildStackMaps(MemoryRegion(stack_map.data(), stack_map.size()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000592
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100593 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000594 compiler_driver,
595 codegen->GetInstructionSet(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000596 ArrayRef<const uint8_t>(code_allocator->GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000597 // Follow Quick's behavior and set the frame size to zero if it is
598 // considered "empty" (see the definition of
599 // art::CodeGenerator::HasEmptyFrame).
600 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000601 codegen->GetCoreSpillMask(),
Nicolas Geoffrayd97dc402015-01-22 13:50:01 +0000602 codegen->GetFpuSpillMask(),
David Srbeckyf71b3ad2015-12-08 15:05:08 +0000603 ArrayRef<const SrcMapElem>(),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100604 ArrayRef<const uint8_t>(), // mapping_table.
605 ArrayRef<const uint8_t>(stack_map),
606 ArrayRef<const uint8_t>(), // native_gc_map.
607 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000608 ArrayRef<const LinkerPatch>(linker_patches));
Mathieu Chartiered150002015-08-28 11:16:54 -0700609
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100610 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000611}
612
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000613CodeGenerator* OptimizingCompiler::TryCompile(ArenaAllocator* arena,
614 CodeVectorAllocator* code_allocator,
615 const DexFile::CodeItem* code_item,
616 uint32_t access_flags,
617 InvokeType invoke_type,
618 uint16_t class_def_idx,
619 uint32_t method_idx,
620 jobject class_loader,
621 const DexFile& dex_file,
622 Handle<mirror::DexCache> dex_cache) const {
Calin Juravle2be39e02015-04-21 13:56:34 +0100623 MaybeRecordStat(MethodCompilationStat::kAttemptCompilation);
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000624 CompilerDriver* compiler_driver = GetCompilerDriver();
625 InstructionSet instruction_set = compiler_driver->GetInstructionSet();
Calin Juravlecff8cc72015-10-09 12:03:24 +0100626
Roland Levillain3b359c72015-11-17 19:35:12 +0000627 // Always use the Thumb-2 assembler: some runtime functionality
628 // (like implicit stack overflow checks) assume Thumb-2.
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100629 if (instruction_set == kArm) {
630 instruction_set = kThumb2;
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100631 }
632
633 // Do not attempt to compile on architectures we do not support.
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000634 if (!IsInstructionSetSupported(instruction_set)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100635 MaybeRecordStat(MethodCompilationStat::kNotCompiledUnsupportedIsa);
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100636 return nullptr;
637 }
638
Roland Levillain0d5a2812015-11-13 10:07:31 +0000639 // When read barriers are enabled, do not attempt to compile for
640 // instruction sets that have no read barrier support.
641 if (kEmitCompilerReadBarrier && !InstructionSetSupportsReadBarrier(instruction_set)) {
642 return nullptr;
643 }
644
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000645 if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100646 MaybeRecordStat(MethodCompilationStat::kNotCompiledPathological);
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000647 return nullptr;
648 }
649
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000650 // Implementation of the space filter: do not compile a code item whose size in
Nicolas Geoffray432bf3d2015-07-17 11:11:09 +0100651 // code units is bigger than 128.
652 static constexpr size_t kSpaceFilterOptimizingThreshold = 128;
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000653 const CompilerOptions& compiler_options = compiler_driver->GetCompilerOptions();
654 if ((compiler_options.GetCompilerFilter() == CompilerOptions::kSpace)
655 && (code_item->insns_size_in_code_units_ > kSpaceFilterOptimizingThreshold)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100656 MaybeRecordStat(MethodCompilationStat::kNotCompiledSpaceFilter);
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000657 return nullptr;
658 }
659
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000660 DexCompilationUnit dex_compilation_unit(
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000661 nullptr, class_loader, Runtime::Current()->GetClassLinker(), dex_file, code_item,
Ian Rogers72d32622014-05-06 16:20:11 -0700662 class_def_idx, method_idx, access_flags,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700663 compiler_driver->GetVerifiedMethod(&dex_file, method_idx), dex_cache);
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000664
Calin Juravle3cd4fc82015-05-14 15:15:42 +0100665 bool requires_barrier = dex_compilation_unit.IsConstructor()
666 && compiler_driver->RequiresConstructorBarrier(Thread::Current(),
667 dex_compilation_unit.GetDexFile(),
668 dex_compilation_unit.GetClassDefIndex());
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000669 HGraph* graph = new (arena) HGraph(
670 arena, dex_file, method_idx, requires_barrier, compiler_driver->GetInstructionSet(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700671 kInvalidInvokeType, compiler_driver->GetCompilerOptions().GetDebuggable());
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000672
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000673 std::unique_ptr<CodeGenerator> codegen(
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000674 CodeGenerator::Create(graph,
675 instruction_set,
676 *compiler_driver->GetInstructionSetFeatures(),
677 compiler_driver->GetCompilerOptions()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000678 if (codegen.get() == nullptr) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100679 MaybeRecordStat(MethodCompilationStat::kNotCompiledNoCodegen);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000680 return nullptr;
681 }
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100682 codegen->GetAssembler()->cfi().SetEnabled(
David Srbecky8363c772015-05-28 16:12:43 +0100683 compiler_driver->GetCompilerOptions().GetGenerateDebugInfo());
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000684
David Brazdil69ba7b72015-06-23 18:27:30 +0100685 PassObserver pass_observer(graph,
David Brazdil69ba7b72015-06-23 18:27:30 +0100686 codegen.get(),
687 visualizer_output_.get(),
688 compiler_driver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000689
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000690 const uint8_t* interpreter_metadata = nullptr;
691 {
692 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier736b5602015-09-02 14:54:11 -0700693 StackHandleScope<1> hs(soa.Self());
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000694 Handle<mirror::ClassLoader> loader(hs.NewHandle(
695 soa.Decode<mirror::ClassLoader*>(class_loader)));
696 ArtMethod* art_method = compiler_driver->ResolveMethod(
697 soa, dex_cache, loader, &dex_compilation_unit, method_idx, invoke_type);
698 // We may not get a method, for example if its class is erroneous.
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000699 if (art_method != nullptr) {
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100700 graph->SetArtMethod(art_method);
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000701 interpreter_metadata = art_method->GetQuickenedInfo();
702 }
703 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000704 HGraphBuilder builder(graph,
705 &dex_compilation_unit,
706 &dex_compilation_unit,
707 &dex_file,
708 compiler_driver,
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000709 compilation_stats_.get(),
Mathieu Chartier736b5602015-09-02 14:54:11 -0700710 interpreter_metadata,
711 dex_cache);
David Brazdil5e8b1372015-01-23 14:39:08 +0000712
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000713 VLOG(compiler) << "Building " << pass_observer.GetMethodName();
David Brazdil5e8b1372015-01-23 14:39:08 +0000714
David Brazdil809658e2015-02-05 11:34:02 +0000715 {
David Brazdil69ba7b72015-06-23 18:27:30 +0100716 PassScope scope(HGraphBuilder::kBuilderPassName, &pass_observer);
David Brazdil809658e2015-02-05 11:34:02 +0000717 if (!builder.BuildGraph(*code_item)) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100718 pass_observer.SetGraphInBadState();
David Brazdil809658e2015-02-05 11:34:02 +0000719 return nullptr;
720 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000721 }
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100722
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000723 VLOG(compiler) << "Optimizing " << pass_observer.GetMethodName();
David Brazdil4833f5a2015-12-16 10:37:39 +0000724
David Brazdil58282f42016-01-14 12:45:10 +0000725 ScopedObjectAccess soa(Thread::Current());
726 StackHandleScopeCollection handles(soa.Self());
727 ScopedThreadSuspension sts(soa.Self(), kNative);
David Brazdil4833f5a2015-12-16 10:37:39 +0000728
David Brazdil58282f42016-01-14 12:45:10 +0000729 {
730 PassScope scope(SsaBuilder::kSsaBuilderPassName, &pass_observer);
731 GraphAnalysisResult result = graph->TryBuildingSsa(&handles);
732 if (result != kAnalysisSuccess) {
733 switch (result) {
734 case kAnalysisFailThrowCatchLoop:
735 MaybeRecordStat(MethodCompilationStat::kNotCompiledThrowCatchLoop);
736 break;
737 case kAnalysisFailAmbiguousArrayOp:
738 MaybeRecordStat(MethodCompilationStat::kNotCompiledAmbiguousArrayOp);
739 break;
740 case kAnalysisSuccess:
741 UNREACHABLE();
David Brazdil809658e2015-02-05 11:34:02 +0000742 }
David Brazdil58282f42016-01-14 12:45:10 +0000743 pass_observer.SetGraphInBadState();
744 return nullptr;
Nicolas Geoffrayf5370122014-12-02 11:51:19 +0000745 }
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100746 }
David Brazdil58282f42016-01-14 12:45:10 +0000747
748 RunOptimizations(graph,
749 codegen.get(),
750 compiler_driver,
751 compilation_stats_.get(),
752 dex_compilation_unit,
753 &pass_observer,
754 &handles);
755 codegen->Compile(code_allocator);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000756 pass_observer.DumpDisassembly();
Vladimir Markof9f64412015-09-02 14:05:49 +0100757
758 if (kArenaAllocatorCountAllocations) {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000759 if (arena->BytesAllocated() > 4 * MB) {
760 MemStats mem_stats(arena->GetMemStats());
Vladimir Markof9f64412015-09-02 14:05:49 +0100761 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
762 }
763 }
764
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000765 return codegen.release();
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000766}
767
Calin Juravle07380a22015-09-17 14:15:12 +0100768static bool CanHandleVerificationFailure(const VerifiedMethod* verified_method) {
769 // For access errors the compiler will use the unresolved helpers (e.g. HInvokeUnresolved).
770 uint32_t unresolved_mask = verifier::VerifyError::VERIFY_ERROR_NO_CLASS
771 | verifier::VerifyError::VERIFY_ERROR_ACCESS_CLASS
772 | verifier::VerifyError::VERIFY_ERROR_ACCESS_FIELD
773 | verifier::VerifyError::VERIFY_ERROR_ACCESS_METHOD;
Calin Juravle175dc732015-08-25 15:42:32 +0100774 return (verified_method->GetEncounteredVerificationFailures() & (~unresolved_mask)) == 0;
775}
776
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000777CompiledMethod* OptimizingCompiler::Compile(const DexFile::CodeItem* code_item,
778 uint32_t access_flags,
779 InvokeType invoke_type,
780 uint16_t class_def_idx,
781 uint32_t method_idx,
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100782 jobject jclass_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700783 const DexFile& dex_file,
784 Handle<mirror::DexCache> dex_cache) const {
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100785 CompilerDriver* compiler_driver = GetCompilerDriver();
786 CompiledMethod* method = nullptr;
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000787 DCHECK(Runtime::Current()->IsAotCompiler());
788 const VerifiedMethod* verified_method = compiler_driver->GetVerifiedMethod(&dex_file, method_idx);
789 DCHECK(!verified_method->HasRuntimeThrow());
790 if (compiler_driver->IsMethodVerifiedWithoutFailures(method_idx, class_def_idx, dex_file)
791 || CanHandleVerificationFailure(verified_method)) {
792 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
793 CodeVectorAllocator code_allocator(&arena);
794 std::unique_ptr<CodeGenerator> codegen(
795 TryCompile(&arena,
796 &code_allocator,
797 code_item,
798 access_flags,
799 invoke_type,
800 class_def_idx,
801 method_idx,
802 jclass_loader,
803 dex_file,
804 dex_cache));
805 if (codegen.get() != nullptr) {
Calin Juravlead543382015-11-19 17:26:29 +0000806 MaybeRecordStat(MethodCompilationStat::kCompiled);
David Brazdil58282f42016-01-14 12:45:10 +0000807 method = Emit(&arena, &code_allocator, codegen.get(), compiler_driver);
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100808 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100809 } else {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000810 if (compiler_driver->GetCompilerOptions().VerifyAtRuntime()) {
811 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerifyAtRuntime);
812 } else {
Calin Juravlead543382015-11-19 17:26:29 +0000813 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerificationError);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000814 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100815 }
816
Calin Juravlecff8cc72015-10-09 12:03:24 +0100817 if (kIsDebugBuild &&
818 IsCompilingWithCoreImage() &&
Roland Levillain0d5a2812015-11-13 10:07:31 +0000819 IsInstructionSetSupported(compiler_driver->GetInstructionSet()) &&
820 (!kEmitCompilerReadBarrier ||
821 InstructionSetSupportsReadBarrier(compiler_driver->GetInstructionSet()))) {
822 // For testing purposes, we put a special marker on method names
823 // that should be compiled with this compiler (when the the
824 // instruction set is supported -- and has support for read
825 // barriers, if they are enabled). This makes sure we're not
826 // regressing.
Calin Juravle09b1d6f2015-10-07 12:08:54 +0100827 std::string method_name = PrettyMethod(method_idx, dex_file);
828 bool shouldCompile = method_name.find("$opt$") != std::string::npos;
829 DCHECK((method != nullptr) || !shouldCompile) << "Didn't compile " << method_name;
830 }
831
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100832 return method;
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000833}
834
Andreas Gampe53c913b2014-08-12 23:19:23 -0700835Compiler* CreateOptimizingCompiler(CompilerDriver* driver) {
836 return new OptimizingCompiler(driver);
837}
838
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100839bool IsCompilingWithCoreImage() {
840 const std::string& image = Runtime::Current()->GetImageLocation();
Jeff Haodcdc85b2015-12-04 14:06:18 -0800841 // TODO: This is under-approximating...
842 if (EndsWith(image, "core.art") || EndsWith(image, "core-optimizing.art")) {
843 return true;
844 }
845 return false;
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100846}
847
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000848bool OptimizingCompiler::JitCompile(Thread* self,
849 jit::JitCodeCache* code_cache,
850 ArtMethod* method) {
851 StackHandleScope<2> hs(self);
852 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(
853 method->GetDeclaringClass()->GetClassLoader()));
854 Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
855
856 jobject jclass_loader = class_loader.ToJObject();
857 const DexFile* dex_file = method->GetDexFile();
858 const uint16_t class_def_idx = method->GetClassDefIndex();
859 const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
860 const uint32_t method_idx = method->GetDexMethodIndex();
861 const uint32_t access_flags = method->GetAccessFlags();
862 const InvokeType invoke_type = method->GetInvokeType();
863
864 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
865 CodeVectorAllocator code_allocator(&arena);
866 std::unique_ptr<CodeGenerator> codegen;
867 {
868 // Go to native so that we don't block GC during compilation.
869 ScopedThreadSuspension sts(self, kNative);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000870 codegen.reset(
871 TryCompile(&arena,
872 &code_allocator,
873 code_item,
874 access_flags,
875 invoke_type,
876 class_def_idx,
877 method_idx,
878 jclass_loader,
879 *dex_file,
880 dex_cache));
881 if (codegen.get() == nullptr) {
882 return false;
883 }
884 }
885
886 size_t stack_map_size = codegen->ComputeStackMapsSize();
887 uint8_t* stack_map_data = code_cache->ReserveData(self, stack_map_size);
888 if (stack_map_data == nullptr) {
889 return false;
890 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100891 MaybeRecordStat(MethodCompilationStat::kCompiled);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000892 codegen->BuildStackMaps(MemoryRegion(stack_map_data, stack_map_size));
893 const void* code = code_cache->CommitCode(
894 self,
895 method,
896 nullptr,
897 stack_map_data,
898 nullptr,
899 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
900 codegen->GetCoreSpillMask(),
901 codegen->GetFpuSpillMask(),
902 code_allocator.GetMemory().data(),
903 code_allocator.GetSize());
904
905 if (code == nullptr) {
906 code_cache->ClearData(self, stack_map_data);
907 return false;
908 }
909
David Srbecky5cc349f2015-12-18 15:04:48 +0000910 if (GetCompilerDriver()->GetCompilerOptions().GetGenerateDebugInfo()) {
911 const auto* method_header = reinterpret_cast<const OatQuickMethodHeader*>(code);
912 const uintptr_t code_address = reinterpret_cast<uintptr_t>(method_header->GetCode());
913 CompiledMethod compiled_method(
914 GetCompilerDriver(),
915 codegen->GetInstructionSet(),
916 ArrayRef<const uint8_t>(code_allocator.GetMemory()),
917 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
918 codegen->GetCoreSpillMask(),
919 codegen->GetFpuSpillMask(),
920 ArrayRef<const SrcMapElem>(),
921 ArrayRef<const uint8_t>(), // mapping_table.
922 ArrayRef<const uint8_t>(stack_map_data, stack_map_size),
923 ArrayRef<const uint8_t>(), // native_gc_map.
924 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
925 ArrayRef<const LinkerPatch>());
926 dwarf::MethodDebugInfo method_debug_info {
927 dex_file,
928 class_def_idx,
929 method_idx,
930 access_flags,
931 code_item,
932 false, // deduped.
933 code_address,
934 code_address + code_allocator.GetSize(),
935 &compiled_method
936 };
Tamas Berghammer86e42782016-01-05 14:29:02 +0000937 ArrayRef<const uint8_t> elf_file = dwarf::WriteDebugElfFileForMethod(method_debug_info);
David Srbecky5cc349f2015-12-18 15:04:48 +0000938 CreateJITCodeEntryForAddress(code_address,
939 std::unique_ptr<const uint8_t[]>(elf_file.data()),
940 elf_file.size());
941 }
942
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000943 return true;
944}
945
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000946} // namespace art