blob: 30da69ffffa392a0c25a0a1ffc04745d923b8042 [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
Aart Bikd1c40452016-03-02 16:06:13 -080023#ifdef ART_ENABLE_CODEGEN_arm
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
Alexey Frunzee3fb2452016-05-10 16:08:05 -070031#ifdef ART_ENABLE_CODEGEN_mips
32#include "dex_cache_array_fixups_mips.h"
33#include "pc_relative_fixups_mips.h"
34#endif
35
Mark Mendell0616ae02015-04-17 12:49:27 -040036#ifdef ART_ENABLE_CODEGEN_x86
Vladimir Marko0f7dca42015-11-02 14:36:43 +000037#include "pc_relative_fixups_x86.h"
Mark Mendell0616ae02015-04-17 12:49:27 -040038#endif
39
Mark Mendellee8d9712016-07-12 11:13:15 -040040#if defined(ART_ENABLE_CODEGEN_x86) || defined(ART_ENABLE_CODEGEN_x86_64)
41#include "x86_memory_gen.h"
42#endif
43
Mathieu Chartiere401d142015-04-22 13:56:20 -070044#include "art_method-inl.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080045#include "base/arena_allocator.h"
Vladimir Markof9f64412015-09-02 14:05:49 +010046#include "base/arena_containers.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000047#include "base/dumpable.h"
Vladimir Markoc90d7c72015-10-06 17:30:45 +000048#include "base/macros.h"
David Brazdil5e8b1372015-01-23 14:39:08 +000049#include "base/timing_logger.h"
Mingyao Yangf384f882014-10-22 16:08:18 -070050#include "bounds_check_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000051#include "builder.h"
52#include "code_generator.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000053#include "compiled_method.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070054#include "compiler.h"
Roland Levillain75be2832014-10-17 17:02:00 +010055#include "constant_folding.h"
56#include "dead_code_elimination.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000057#include "debug/elf_debug_writer.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000058#include "debug/method_debug_info.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080059#include "dex/quick/dex_file_to_method_inliner_map.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010060#include "dex/verification_results.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000061#include "dex/verified_method.h"
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +000062#include "driver/compiler_driver-inl.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000063#include "driver/compiler_options.h"
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +000064#include "driver/dex_compilation_unit.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000065#include "elf_writer_quick.h"
David Brazdil69ba7b72015-06-23 18:27:30 +010066#include "graph_checker.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010067#include "graph_visualizer.h"
Nicolas Geoffrayd31cf3d2014-09-08 17:30:24 +010068#include "gvn.h"
Aart Bik22af3be2015-09-10 12:50:58 -070069#include "induction_var_analysis.h"
Nicolas Geoffraye53798a2014-12-01 10:31:54 +000070#include "inliner.h"
Nicolas Geoffray3c049742014-09-24 18:10:46 +010071#include "instruction_simplifier.h"
Artem Udovichenko4a0dad62016-01-26 12:28:31 +030072#include "instruction_simplifier_arm.h"
Andreas Gampe71fb52f2014-12-29 17:43:08 -080073#include "intrinsics.h"
David Srbecky5cc349f2015-12-18 15:04:48 +000074#include "jit/debugger_interface.h"
Nicolas Geoffraya4f81542016-03-08 16:57:48 +000075#include "jit/jit.h"
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +000076#include "jit/jit_code_cache.h"
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +000077#include "jni/quick/jni_compiler.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000078#include "licm.h"
Mingyao Yang8df69d42015-10-22 15:40:58 -070079#include "load_store_elimination.h"
Nicolas Geoffray787c3072014-03-17 10:20:19 +000080#include "nodes.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000081#include "oat_quick_method_header.h"
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +010082#include "prepare_for_register_allocation.h"
Calin Juravlef1c6d9e2015-04-13 18:42:21 +010083#include "reference_type_propagation.h"
Matthew Gharritye9288852016-07-14 14:08:16 -070084#include "register_allocator_linear_scan.h"
David Brazdil74eb1b22015-12-14 11:44:01 +000085#include "select_generator.h"
Vladimir Markodc151b22015-10-15 18:02:30 +010086#include "sharpening.h"
Nicolas Geoffray827eedb2015-01-26 15:18:36 +000087#include "side_effects_analysis.h"
Nicolas Geoffray31596742014-11-24 15:28:45 +000088#include "ssa_builder.h"
Nicolas Geoffray804d0932014-05-02 08:46:00 +010089#include "ssa_liveness_analysis.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000090#include "ssa_phi_elimination.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010091#include "utils/assembler.h"
Calin Juravle175dc732015-08-25 15:42:32 +010092#include "verifier/method_verifier.h"
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +000093
94namespace art {
95
Vladimir Marko3a40bf22016-03-22 16:26:33 +000096static constexpr size_t kArenaAllocatorMemoryReportThreshold = 8 * MB;
97
Nicolas Geoffray787c3072014-03-17 10:20:19 +000098/**
99 * Used by the code generator, to allocate the code in a vector.
100 */
101class CodeVectorAllocator FINAL : public CodeAllocator {
102 public:
Vladimir Markof9f64412015-09-02 14:05:49 +0100103 explicit CodeVectorAllocator(ArenaAllocator* arena)
104 : memory_(arena->Adapter(kArenaAllocCodeBuffer)),
105 size_(0) {}
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000106
107 virtual uint8_t* Allocate(size_t size) {
108 size_ = size;
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000109 memory_.resize(size);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000110 return &memory_[0];
111 }
112
113 size_t GetSize() const { return size_; }
Vladimir Markof9f64412015-09-02 14:05:49 +0100114 const ArenaVector<uint8_t>& GetMemory() const { return memory_; }
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000115
116 private:
Vladimir Markof9f64412015-09-02 14:05:49 +0100117 ArenaVector<uint8_t> memory_;
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000118 size_t size_;
119
120 DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
121};
122
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100123/**
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100124 * Filter to apply to the visualizer. Methods whose name contain that filter will
David Brazdilee690a32014-12-01 17:04:16 +0000125 * be dumped.
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100126 */
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700127static constexpr const char kStringFilter[] = "";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100128
David Brazdil69ba7b72015-06-23 18:27:30 +0100129class PassScope;
David Brazdil809658e2015-02-05 11:34:02 +0000130
David Brazdil69ba7b72015-06-23 18:27:30 +0100131class PassObserver : public ValueObject {
David Brazdil5e8b1372015-01-23 14:39:08 +0000132 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100133 PassObserver(HGraph* graph,
David Brazdil69ba7b72015-06-23 18:27:30 +0100134 CodeGenerator* codegen,
135 std::ostream* visualizer_output,
136 CompilerDriver* compiler_driver)
137 : graph_(graph),
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000138 cached_method_name_(),
David Brazdil809658e2015-02-05 11:34:02 +0000139 timing_logger_enabled_(compiler_driver->GetDumpPasses()),
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000140 timing_logger_(timing_logger_enabled_ ? GetMethodName() : "", true, true),
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100141 disasm_info_(graph->GetArena()),
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000142 visualizer_enabled_(!compiler_driver->GetCompilerOptions().GetDumpCfgFileName().empty()),
David Brazdil69ba7b72015-06-23 18:27:30 +0100143 visualizer_(visualizer_output, graph, *codegen),
144 graph_in_bad_state_(false) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700145 if (timing_logger_enabled_ || visualizer_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000146 if (!IsVerboseMethod(compiler_driver, GetMethodName())) {
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700147 timing_logger_enabled_ = visualizer_enabled_ = false;
148 }
149 if (visualizer_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000150 visualizer_.PrintHeader(GetMethodName());
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700151 codegen->SetDisassemblyInformation(&disasm_info_);
152 }
David Brazdil62e074f2015-04-07 18:09:37 +0100153 }
David Brazdil5e8b1372015-01-23 14:39:08 +0000154 }
155
David Brazdil69ba7b72015-06-23 18:27:30 +0100156 ~PassObserver() {
David Brazdil5e8b1372015-01-23 14:39:08 +0000157 if (timing_logger_enabled_) {
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000158 LOG(INFO) << "TIMINGS " << GetMethodName();
David Brazdil5e8b1372015-01-23 14:39:08 +0000159 LOG(INFO) << Dumpable<TimingLogger>(timing_logger_);
160 }
161 }
162
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100163 void DumpDisassembly() const {
164 if (visualizer_enabled_) {
165 visualizer_.DumpGraphWithDisassembly();
166 }
167 }
168
David Brazdil69ba7b72015-06-23 18:27:30 +0100169 void SetGraphInBadState() { graph_in_bad_state_ = true; }
170
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000171 const char* GetMethodName() {
172 // PrettyMethod() is expensive, so we delay calling it until we actually have to.
173 if (cached_method_name_.empty()) {
174 cached_method_name_ = PrettyMethod(graph_->GetMethodIdx(), graph_->GetDexFile());
175 }
176 return cached_method_name_.c_str();
177 }
178
David Brazdil5e8b1372015-01-23 14:39:08 +0000179 private:
David Brazdil809658e2015-02-05 11:34:02 +0000180 void StartPass(const char* pass_name) {
181 // Dump graph first, then start timer.
182 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100183 visualizer_.DumpGraph(pass_name, /* is_after_pass */ false, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000184 }
185 if (timing_logger_enabled_) {
186 timing_logger_.StartTiming(pass_name);
187 }
188 }
189
190 void EndPass(const char* pass_name) {
191 // Pause timer first, then dump graph.
192 if (timing_logger_enabled_) {
193 timing_logger_.EndTiming();
194 }
195 if (visualizer_enabled_) {
David Brazdilffee3d32015-07-06 11:48:53 +0100196 visualizer_.DumpGraph(pass_name, /* is_after_pass */ true, graph_in_bad_state_);
David Brazdil809658e2015-02-05 11:34:02 +0000197 }
David Brazdil69ba7b72015-06-23 18:27:30 +0100198
199 // Validate the HGraph if running in debug mode.
200 if (kIsDebugBuild) {
201 if (!graph_in_bad_state_) {
David Brazdilbadd8262016-02-02 16:28:56 +0000202 GraphChecker checker(graph_);
203 checker.Run();
204 if (!checker.IsValid()) {
205 LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<GraphChecker>(checker);
David Brazdil69ba7b72015-06-23 18:27:30 +0100206 }
207 }
208 }
David Brazdil809658e2015-02-05 11:34:02 +0000209 }
210
Andreas Gampe53fcd0f2015-07-22 12:10:13 -0700211 static bool IsVerboseMethod(CompilerDriver* compiler_driver, const char* method_name) {
212 // Test an exact match to --verbose-methods. If verbose-methods is set, this overrides an
213 // empty kStringFilter matching all methods.
214 if (compiler_driver->GetCompilerOptions().HasVerboseMethods()) {
215 return compiler_driver->GetCompilerOptions().IsVerboseMethod(method_name);
216 }
217
218 // Test the kStringFilter sub-string. constexpr helper variable to silence unreachable-code
219 // warning when the string is empty.
220 constexpr bool kStringFilterEmpty = arraysize(kStringFilter) <= 1;
221 if (kStringFilterEmpty || strstr(method_name, kStringFilter) != nullptr) {
222 return true;
223 }
224
225 return false;
226 }
227
David Brazdil69ba7b72015-06-23 18:27:30 +0100228 HGraph* const graph_;
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000229
230 std::string cached_method_name_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000231
232 bool timing_logger_enabled_;
David Brazdil5e8b1372015-01-23 14:39:08 +0000233 TimingLogger timing_logger_;
234
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100235 DisassemblyInformation disasm_info_;
236
David Brazdil5e8b1372015-01-23 14:39:08 +0000237 bool visualizer_enabled_;
238 HGraphVisualizer visualizer_;
239
David Brazdil69ba7b72015-06-23 18:27:30 +0100240 // Flag to be set by the compiler if the pass failed and the graph is not
241 // expected to validate.
242 bool graph_in_bad_state_;
David Brazdil809658e2015-02-05 11:34:02 +0000243
David Brazdil69ba7b72015-06-23 18:27:30 +0100244 friend PassScope;
245
246 DISALLOW_COPY_AND_ASSIGN(PassObserver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000247};
248
David Brazdil69ba7b72015-06-23 18:27:30 +0100249class PassScope : public ValueObject {
David Brazdil809658e2015-02-05 11:34:02 +0000250 public:
David Brazdil69ba7b72015-06-23 18:27:30 +0100251 PassScope(const char *pass_name, PassObserver* pass_observer)
David Brazdil809658e2015-02-05 11:34:02 +0000252 : pass_name_(pass_name),
David Brazdil69ba7b72015-06-23 18:27:30 +0100253 pass_observer_(pass_observer) {
254 pass_observer_->StartPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000255 }
256
David Brazdil69ba7b72015-06-23 18:27:30 +0100257 ~PassScope() {
258 pass_observer_->EndPass(pass_name_);
David Brazdil809658e2015-02-05 11:34:02 +0000259 }
260
261 private:
262 const char* const pass_name_;
David Brazdil69ba7b72015-06-23 18:27:30 +0100263 PassObserver* const pass_observer_;
David Brazdil809658e2015-02-05 11:34:02 +0000264};
265
Andreas Gampe53c913b2014-08-12 23:19:23 -0700266class OptimizingCompiler FINAL : public Compiler {
267 public:
268 explicit OptimizingCompiler(CompilerDriver* driver);
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100269 ~OptimizingCompiler();
Andreas Gampe53c913b2014-08-12 23:19:23 -0700270
Vladimir Markodf739842016-03-23 16:59:07 +0000271 bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700272
273 CompiledMethod* Compile(const DexFile::CodeItem* code_item,
274 uint32_t access_flags,
275 InvokeType invoke_type,
276 uint16_t class_def_idx,
277 uint32_t method_idx,
278 jobject class_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700279 const DexFile& dex_file,
280 Handle<mirror::DexCache> dex_cache) const OVERRIDE;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700281
Andreas Gampe53c913b2014-08-12 23:19:23 -0700282 CompiledMethod* JniCompile(uint32_t access_flags,
283 uint32_t method_idx,
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000284 const DexFile& dex_file) const OVERRIDE {
285 return ArtQuickJniCompileMethod(GetCompilerDriver(), access_flags, method_idx, dex_file);
286 }
Andreas Gampe53c913b2014-08-12 23:19:23 -0700287
Mathieu Chartiere401d142015-04-22 13:56:20 -0700288 uintptr_t GetEntryPointOf(ArtMethod* method) const OVERRIDE
Mathieu Chartier90443472015-07-16 20:32:27 -0700289 SHARED_REQUIRES(Locks::mutator_lock_) {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000290 return reinterpret_cast<uintptr_t>(method->GetEntryPointFromQuickCompiledCodePtrSize(
291 InstructionSetPointerSize(GetCompilerDriver()->GetInstructionSet())));
292 }
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 Geoffrayb331feb2016-02-05 16:51:53 +0000304 bool JitCompile(Thread* self, jit::JitCodeCache* code_cache, ArtMethod* method, bool osr)
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000305 OVERRIDE
306 SHARED_REQUIRES(Locks::mutator_lock_);
307
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700308 protected:
309 virtual void RunOptimizations(HGraph* graph,
310 CodeGenerator* codegen,
311 CompilerDriver* driver,
312 const DexCompilationUnit& dex_compilation_unit,
313 PassObserver* pass_observer,
314 StackHandleScopeCollection* handles) const;
315
316 virtual void RunOptimizations(HOptimization* optimizations[],
317 size_t length,
318 PassObserver* pass_observer) const;
319
Andreas Gampe53c913b2014-08-12 23:19:23 -0700320 private:
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000321 // Create a 'CompiledMethod' for an optimized graph.
David Brazdil58282f42016-01-14 12:45:10 +0000322 CompiledMethod* Emit(ArenaAllocator* arena,
323 CodeVectorAllocator* code_allocator,
324 CodeGenerator* codegen,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000325 CompilerDriver* driver,
326 const DexFile::CodeItem* item) const;
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000327
328 // Try compiling a method and return the code generator used for
329 // compiling it.
330 // This method:
331 // 1) Builds the graph. Returns null if it failed to build it.
David Brazdil58282f42016-01-14 12:45:10 +0000332 // 2) Transforms the graph to SSA. Returns null if it failed.
333 // 3) Runs optimizations on the graph, including register allocator.
334 // 4) Generates code with the `code_allocator` provided.
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000335 CodeGenerator* TryCompile(ArenaAllocator* arena,
336 CodeVectorAllocator* code_allocator,
337 const DexFile::CodeItem* code_item,
338 uint32_t access_flags,
339 InvokeType invoke_type,
340 uint16_t class_def_idx,
341 uint32_t method_idx,
342 jobject class_loader,
343 const DexFile& dex_file,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000344 Handle<mirror::DexCache> dex_cache,
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000345 ArtMethod* method,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000346 bool osr) const;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000347
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700348 void MaybeRunInliner(HGraph* graph,
349 CodeGenerator* codegen,
350 CompilerDriver* driver,
351 const DexCompilationUnit& dex_compilation_unit,
352 PassObserver* pass_observer,
353 StackHandleScopeCollection* handles) const;
354
355 void RunArchOptimizations(InstructionSet instruction_set,
356 HGraph* graph,
357 CodeGenerator* codegen,
358 PassObserver* pass_observer) const;
359
Calin Juravle2be39e02015-04-21 13:56:34 +0100360 std::unique_ptr<OptimizingCompilerStats> compilation_stats_;
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100361
Andreas Gampe53c913b2014-08-12 23:19:23 -0700362 std::unique_ptr<std::ostream> visualizer_output_;
363
Andreas Gampe53c913b2014-08-12 23:19:23 -0700364 DISALLOW_COPY_AND_ASSIGN(OptimizingCompiler);
365};
366
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100367static const int kMaximumCompilationTimeBeforeWarning = 100; /* ms */
368
369OptimizingCompiler::OptimizingCompiler(CompilerDriver* driver)
David Brazdil58282f42016-01-14 12:45:10 +0000370 : Compiler(driver, kMaximumCompilationTimeBeforeWarning) {}
David Brazdilee690a32014-12-01 17:04:16 +0000371
372void OptimizingCompiler::Init() {
373 // Enable C1visualizer output. Must be done in Init() because the compiler
374 // driver is not fully initialized when passed to the compiler's constructor.
375 CompilerDriver* driver = GetCompilerDriver();
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000376 const std::string cfg_file_name = driver->GetCompilerOptions().GetDumpCfgFileName();
David Brazdil866c0312015-01-13 21:21:31 +0000377 if (!cfg_file_name.empty()) {
David Brazdilee690a32014-12-01 17:04:16 +0000378 CHECK_EQ(driver->GetThreadCount(), 1U)
379 << "Graph visualizer requires the compiler to run single-threaded. "
380 << "Invoke the compiler with '-j1'.";
Calin Juravle87000a92015-08-24 15:34:44 +0100381 std::ios_base::openmode cfg_file_mode =
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000382 driver->GetCompilerOptions().GetDumpCfgAppend() ? std::ofstream::app : std::ofstream::out;
Calin Juravle87000a92015-08-24 15:34:44 +0100383 visualizer_output_.reset(new std::ofstream(cfg_file_name, cfg_file_mode));
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100384 }
Calin Juravle2be39e02015-04-21 13:56:34 +0100385 if (driver->GetDumpStats()) {
386 compilation_stats_.reset(new OptimizingCompilerStats());
387 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100388}
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000389
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000390void OptimizingCompiler::UnInit() const {
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000391}
392
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100393OptimizingCompiler::~OptimizingCompiler() {
Calin Juravle2be39e02015-04-21 13:56:34 +0100394 if (compilation_stats_.get() != nullptr) {
395 compilation_stats_->Log();
396 }
Nicolas Geoffray88157ef2014-09-12 10:29:53 +0100397}
398
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +0000399bool OptimizingCompiler::CanCompileMethod(uint32_t method_idx ATTRIBUTE_UNUSED,
Vladimir Markodf739842016-03-23 16:59:07 +0000400 const DexFile& dex_file ATTRIBUTE_UNUSED) const {
Nicolas Geoffraye2dc6fa2014-11-17 12:55:12 +0000401 return true;
Andreas Gampe53c913b2014-08-12 23:19:23 -0700402}
403
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000404static bool IsInstructionSetSupported(InstructionSet instruction_set) {
Calin Juravlecff8cc72015-10-09 12:03:24 +0100405 return (instruction_set == kArm && !kArm32QuickCodeUseSoftFloat)
406 || instruction_set == kArm64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000407 || (instruction_set == kThumb2 && !kArm32QuickCodeUseSoftFloat)
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200408 || instruction_set == kMips
Alexey Frunze4dda3372015-06-01 18:31:49 -0700409 || instruction_set == kMips64
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000410 || instruction_set == kX86
411 || instruction_set == kX86_64;
412}
413
Roland Levillain22ccc3a2015-11-24 13:10:05 +0000414// Read barrier are supported on ARM, ARM64, x86 and x86-64 at the moment.
Roland Levillain0d5a2812015-11-13 10:07:31 +0000415// TODO: Add support for other architectures and remove this function
416static bool InstructionSetSupportsReadBarrier(InstructionSet instruction_set) {
Roland Levillain22ccc3a2015-11-24 13:10:05 +0000417 return instruction_set == kArm64
418 || instruction_set == kThumb2
Roland Levillain3b359c72015-11-17 19:35:12 +0000419 || instruction_set == kX86
Roland Levillain0d5a2812015-11-13 10:07:31 +0000420 || instruction_set == kX86_64;
421}
422
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700423void OptimizingCompiler::RunOptimizations(HOptimization* optimizations[],
424 size_t length,
425 PassObserver* pass_observer) const {
Calin Juravle10e244f2015-01-26 18:54:32 +0000426 for (size_t i = 0; i < length; ++i) {
David Brazdil69ba7b72015-06-23 18:27:30 +0100427 PassScope scope(optimizations[i]->GetPassName(), pass_observer);
428 optimizations[i]->Run();
Calin Juravle10e244f2015-01-26 18:54:32 +0000429 }
430}
431
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700432void OptimizingCompiler::MaybeRunInliner(HGraph* graph,
433 CodeGenerator* codegen,
434 CompilerDriver* driver,
435 const DexCompilationUnit& dex_compilation_unit,
436 PassObserver* pass_observer,
437 StackHandleScopeCollection* handles) const {
438 OptimizingCompilerStats* stats = compilation_stats_.get();
Calin Juravleec748352015-07-29 13:52:12 +0100439 const CompilerOptions& compiler_options = driver->GetCompilerOptions();
440 bool should_inline = (compiler_options.GetInlineDepthLimit() > 0)
441 && (compiler_options.GetInlineMaxCodeUnits() > 0);
442 if (!should_inline) {
443 return;
444 }
Nicolas Geoffray5949fa02015-12-18 10:57:10 +0000445 size_t number_of_dex_registers = dex_compilation_unit.GetCodeItem()->registers_size_;
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000446 HInliner* inliner = new (graph->GetArena()) HInliner(
Nicolas Geoffray5949fa02015-12-18 10:57:10 +0000447 graph,
448 graph,
449 codegen,
450 dex_compilation_unit,
451 dex_compilation_unit,
452 driver,
453 handles,
454 stats,
455 number_of_dex_registers,
456 /* depth */ 0);
Calin Juravlecdfed3d2015-10-26 14:05:01 +0000457 HOptimization* optimizations[] = { inliner };
Calin Juravleec748352015-07-29 13:52:12 +0100458
459 RunOptimizations(optimizations, arraysize(optimizations), pass_observer);
460}
461
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700462void OptimizingCompiler::RunArchOptimizations(InstructionSet instruction_set,
463 HGraph* graph,
464 CodeGenerator* codegen,
465 PassObserver* pass_observer) const {
466 OptimizingCompilerStats* stats = compilation_stats_.get();
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100467 ArenaAllocator* arena = graph->GetArena();
468 switch (instruction_set) {
Vladimir Markob4536b72015-11-24 13:45:23 +0000469#ifdef ART_ENABLE_CODEGEN_arm
470 case kThumb2:
471 case kArm: {
472 arm::DexCacheArrayFixups* fixups = new (arena) arm::DexCacheArrayFixups(graph, stats);
Artem Udovichenko4a0dad62016-01-26 12:28:31 +0300473 arm::InstructionSimplifierArm* simplifier =
474 new (arena) arm::InstructionSimplifierArm(graph, stats);
Artem Serov328429f2016-07-06 16:23:04 +0100475 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
476 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
Vladimir Markob4536b72015-11-24 13:45:23 +0000477 HOptimization* arm_optimizations[] = {
Artem Udovichenko4a0dad62016-01-26 12:28:31 +0300478 simplifier,
Artem Serov328429f2016-07-06 16:23:04 +0100479 side_effects,
480 gvn,
Nicolas Geoffray6b5afdd2016-01-22 09:31:52 +0000481 fixups
Vladimir Markob4536b72015-11-24 13:45:23 +0000482 };
483 RunOptimizations(arm_optimizations, arraysize(arm_optimizations), pass_observer);
484 break;
485 }
486#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100487#ifdef ART_ENABLE_CODEGEN_arm64
488 case kArm64: {
489 arm64::InstructionSimplifierArm64* simplifier =
490 new (arena) arm64::InstructionSimplifierArm64(graph, stats);
491 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
492 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
493 HOptimization* arm64_optimizations[] = {
494 simplifier,
495 side_effects,
496 gvn
497 };
498 RunOptimizations(arm64_optimizations, arraysize(arm64_optimizations), pass_observer);
499 break;
500 }
501#endif
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700502#ifdef ART_ENABLE_CODEGEN_mips
503 case kMips: {
504 mips::PcRelativeFixups* pc_relative_fixups =
505 new (arena) mips::PcRelativeFixups(graph, codegen, stats);
506 mips::DexCacheArrayFixups* dex_cache_array_fixups =
Alexey Frunze06a46c42016-07-19 15:00:40 -0700507 new (arena) mips::DexCacheArrayFixups(graph, codegen, stats);
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700508 HOptimization* mips_optimizations[] = {
509 pc_relative_fixups,
510 dex_cache_array_fixups
511 };
512 RunOptimizations(mips_optimizations, arraysize(mips_optimizations), pass_observer);
513 break;
514 }
515#endif
Mark Mendell0616ae02015-04-17 12:49:27 -0400516#ifdef ART_ENABLE_CODEGEN_x86
517 case kX86: {
Aart Bikd1c40452016-03-02 16:06:13 -0800518 x86::PcRelativeFixups* pc_relative_fixups =
519 new (arena) x86::PcRelativeFixups(graph, codegen, stats);
Mark Mendellee8d9712016-07-12 11:13:15 -0400520 x86::X86MemoryOperandGeneration* memory_gen =
521 new(arena) x86::X86MemoryOperandGeneration(graph, stats, codegen);
Mark Mendell0616ae02015-04-17 12:49:27 -0400522 HOptimization* x86_optimizations[] = {
Mark Mendellee8d9712016-07-12 11:13:15 -0400523 pc_relative_fixups,
524 memory_gen
Mark Mendell0616ae02015-04-17 12:49:27 -0400525 };
526 RunOptimizations(x86_optimizations, arraysize(x86_optimizations), pass_observer);
527 break;
528 }
529#endif
Mark Mendellee8d9712016-07-12 11:13:15 -0400530#ifdef ART_ENABLE_CODEGEN_x86_64
531 case kX86_64: {
532 x86::X86MemoryOperandGeneration* memory_gen =
533 new(arena) x86::X86MemoryOperandGeneration(graph, stats, codegen);
534 HOptimization* x86_64_optimizations[] = {
535 memory_gen
536 };
537 RunOptimizations(x86_64_optimizations, arraysize(x86_64_optimizations), pass_observer);
538 break;
539 }
540#endif
Alexandre Rames44b9cf92015-08-19 15:39:06 +0100541 default:
542 break;
543 }
544}
545
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000546NO_INLINE // Avoid increasing caller's frame size by large stack-allocated objects.
547static void AllocateRegisters(HGraph* graph,
548 CodeGenerator* codegen,
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700549 PassObserver* pass_observer,
550 RegisterAllocator::Strategy strategy) {
Mingyao Yang700347e2016-03-02 14:59:32 -0800551 {
552 PassScope scope(PrepareForRegisterAllocation::kPrepareForRegisterAllocationPassName,
553 pass_observer);
554 PrepareForRegisterAllocation(graph).Run();
555 }
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000556 SsaLivenessAnalysis liveness(graph, codegen);
557 {
558 PassScope scope(SsaLivenessAnalysis::kLivenessPassName, pass_observer);
559 liveness.Analyze();
560 }
561 {
562 PassScope scope(RegisterAllocator::kRegisterAllocatorPassName, pass_observer);
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700563 RegisterAllocator::Create(graph->GetArena(), codegen, liveness, strategy)->AllocateRegisters();
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000564 }
565}
566
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700567void OptimizingCompiler::RunOptimizations(HGraph* graph,
568 CodeGenerator* codegen,
569 CompilerDriver* driver,
570 const DexCompilationUnit& dex_compilation_unit,
571 PassObserver* pass_observer,
572 StackHandleScopeCollection* handles) const {
573 OptimizingCompilerStats* stats = compilation_stats_.get();
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100574 ArenaAllocator* arena = graph->GetArena();
575 HDeadCodeElimination* dce1 = new (arena) HDeadCodeElimination(
576 graph, stats, HDeadCodeElimination::kInitialDeadCodeEliminationPassName);
577 HDeadCodeElimination* dce2 = new (arena) HDeadCodeElimination(
578 graph, stats, HDeadCodeElimination::kFinalDeadCodeEliminationPassName);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000579 HConstantFolding* fold1 = new (arena) HConstantFolding(graph);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100580 InstructionSimplifier* simplify1 = new (arena) InstructionSimplifier(graph, stats);
Jean-Philippe Halimi38e9e802016-02-18 16:42:03 +0100581 HSelectGenerator* select_generator = new (arena) HSelectGenerator(graph, stats);
Nicolas Geoffraye34648d2015-11-23 08:59:07 +0000582 HConstantFolding* fold2 = new (arena) HConstantFolding(graph, "constant_folding_after_inlining");
Aart Bik4a342772015-11-30 10:17:46 -0800583 HConstantFolding* fold3 = new (arena) HConstantFolding(graph, "constant_folding_after_bce");
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100584 SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
585 GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects);
Jean-Philippe Halimi38e9e802016-02-18 16:42:03 +0100586 LICM* licm = new (arena) LICM(graph, *side_effects, stats);
Mingyao Yang8df69d42015-10-22 15:40:58 -0700587 LoadStoreElimination* lse = new (arena) LoadStoreElimination(graph, *side_effects);
Aart Bik22af3be2015-09-10 12:50:58 -0700588 HInductionVarAnalysis* induction = new (arena) HInductionVarAnalysis(graph);
Aart Bik4a342772015-11-30 10:17:46 -0800589 BoundsCheckElimination* bce = new (arena) BoundsCheckElimination(graph, *side_effects, induction);
Vladimir Markodc151b22015-10-15 18:02:30 +0100590 HSharpening* sharpening = new (arena) HSharpening(graph, codegen, dex_compilation_unit, driver);
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100591 InstructionSimplifier* simplify2 = new (arena) InstructionSimplifier(
Alex Light68289a52015-12-15 17:30:30 -0800592 graph, stats, "instruction_simplifier_after_bce");
David Brazdil4833f5a2015-12-16 10:37:39 +0000593 InstructionSimplifier* simplify3 = new (arena) InstructionSimplifier(
Nicolas Geoffrayb2bdfce2015-06-18 15:46:47 +0100594 graph, stats, "instruction_simplifier_before_codegen");
Jean-Philippe Halimi38e9e802016-02-18 16:42:03 +0100595 IntrinsicsRecognizer* intrinsics = new (arena) IntrinsicsRecognizer(graph, driver, stats);
Andreas Gampe71fb52f2014-12-29 17:43:08 -0800596
Calin Juravleec748352015-07-29 13:52:12 +0100597 HOptimization* optimizations1[] = {
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100598 intrinsics,
David Brazdil4833f5a2015-12-16 10:37:39 +0000599 sharpening,
Vladimir Markoa3a3c592015-06-12 14:30:53 +0100600 fold1,
601 simplify1,
Nicolas Geoffray18e68732015-06-17 23:09:05 +0100602 dce1,
Calin Juravleec748352015-07-29 13:52:12 +0100603 };
Calin Juravleec748352015-07-29 13:52:12 +0100604 RunOptimizations(optimizations1, arraysize(optimizations1), pass_observer);
605
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700606 MaybeRunInliner(graph, codegen, driver, dex_compilation_unit, pass_observer, handles);
David Brazdil95177982015-10-30 12:56:58 -0500607
David Brazdil8993caf2015-12-07 10:04:40 +0000608 HOptimization* optimizations2[] = {
David Brazdil74eb1b22015-12-14 11:44:01 +0000609 // SelectGenerator depends on the InstructionSimplifier removing
David Brazdil8993caf2015-12-07 10:04:40 +0000610 // redundant suspend checks to recognize empty blocks.
David Brazdil74eb1b22015-12-14 11:44:01 +0000611 select_generator,
David Brazdil8993caf2015-12-07 10:04:40 +0000612 fold2, // TODO: if we don't inline we can also skip fold2.
613 side_effects,
614 gvn,
615 licm,
616 induction,
617 bce,
618 fold3, // evaluates code generated by dynamic bce
David Brazdil4833f5a2015-12-16 10:37:39 +0000619 simplify2,
David Brazdil8993caf2015-12-07 10:04:40 +0000620 lse,
621 dce2,
622 // The codegen has a few assumptions that only the instruction simplifier
623 // can satisfy. For example, the code generator does not expect to see a
624 // HTypeConversion from a type to the same type.
David Brazdil4833f5a2015-12-16 10:37:39 +0000625 simplify3,
David Brazdil8993caf2015-12-07 10:04:40 +0000626 };
627 RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
David Brazdilbbd733e2015-08-18 17:48:17 +0100628
Wojciech Staszkiewiczf5fb0902016-07-22 13:33:11 -0700629 RunArchOptimizations(driver->GetInstructionSet(), graph, codegen, pass_observer);
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700630 RegisterAllocator::Strategy regalloc_strategy =
631 driver->GetCompilerOptions().GetRegisterAllocationStrategy();
632 AllocateRegisters(graph, codegen, pass_observer, regalloc_strategy);
Nicolas Geoffray5e6916c2014-11-18 16:53:35 +0000633}
634
Vladimir Marko58155012015-08-19 12:49:41 +0000635static ArenaVector<LinkerPatch> EmitAndSortLinkerPatches(CodeGenerator* codegen) {
636 ArenaVector<LinkerPatch> linker_patches(codegen->GetGraph()->GetArena()->Adapter());
637 codegen->EmitLinkerPatches(&linker_patches);
638
639 // Sort patches by literal offset. Required for .oat_patches encoding.
640 std::sort(linker_patches.begin(), linker_patches.end(),
641 [](const LinkerPatch& lhs, const LinkerPatch& rhs) {
642 return lhs.LiteralOffset() < rhs.LiteralOffset();
643 });
644
645 return linker_patches;
646}
647
David Brazdil58282f42016-01-14 12:45:10 +0000648CompiledMethod* OptimizingCompiler::Emit(ArenaAllocator* arena,
649 CodeVectorAllocator* code_allocator,
650 CodeGenerator* codegen,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000651 CompilerDriver* compiler_driver,
652 const DexFile::CodeItem* code_item) const {
Vladimir Marko58155012015-08-19 12:49:41 +0000653 ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
Vladimir Markof9f64412015-09-02 14:05:49 +0100654 ArenaVector<uint8_t> stack_map(arena->Adapter(kArenaAllocStackMaps));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000655 stack_map.resize(codegen->ComputeStackMapsSize());
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000656 codegen->BuildStackMaps(MemoryRegion(stack_map.data(), stack_map.size()), *code_item);
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000657
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100658 CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000659 compiler_driver,
660 codegen->GetInstructionSet(),
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000661 ArrayRef<const uint8_t>(code_allocator->GetMemory()),
Roland Levillainaa9b7c42015-02-17 15:40:09 +0000662 // Follow Quick's behavior and set the frame size to zero if it is
663 // considered "empty" (see the definition of
664 // art::CodeGenerator::HasEmptyFrame).
665 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000666 codegen->GetCoreSpillMask(),
Nicolas Geoffrayd97dc402015-01-22 13:50:01 +0000667 codegen->GetFpuSpillMask(),
David Srbeckyf71b3ad2015-12-08 15:05:08 +0000668 ArrayRef<const SrcMapElem>(),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100669 ArrayRef<const uint8_t>(stack_map),
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100670 ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
Vladimir Marko58155012015-08-19 12:49:41 +0000671 ArrayRef<const LinkerPatch>(linker_patches));
Mathieu Chartiered150002015-08-28 11:16:54 -0700672
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100673 return compiled_method;
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000674}
675
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000676CodeGenerator* OptimizingCompiler::TryCompile(ArenaAllocator* arena,
677 CodeVectorAllocator* code_allocator,
678 const DexFile::CodeItem* code_item,
679 uint32_t access_flags,
680 InvokeType invoke_type,
681 uint16_t class_def_idx,
682 uint32_t method_idx,
683 jobject class_loader,
684 const DexFile& dex_file,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000685 Handle<mirror::DexCache> dex_cache,
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000686 ArtMethod* method,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000687 bool osr) const {
Calin Juravle2be39e02015-04-21 13:56:34 +0100688 MaybeRecordStat(MethodCompilationStat::kAttemptCompilation);
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000689 CompilerDriver* compiler_driver = GetCompilerDriver();
690 InstructionSet instruction_set = compiler_driver->GetInstructionSet();
Calin Juravlecff8cc72015-10-09 12:03:24 +0100691
Roland Levillain3b359c72015-11-17 19:35:12 +0000692 // Always use the Thumb-2 assembler: some runtime functionality
693 // (like implicit stack overflow checks) assume Thumb-2.
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100694 if (instruction_set == kArm) {
695 instruction_set = kThumb2;
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100696 }
697
698 // Do not attempt to compile on architectures we do not support.
Nicolas Geoffray1ba0f592014-10-27 15:14:55 +0000699 if (!IsInstructionSetSupported(instruction_set)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100700 MaybeRecordStat(MethodCompilationStat::kNotCompiledUnsupportedIsa);
Nicolas Geoffray8fb5ce32014-07-04 09:43:26 +0100701 return nullptr;
702 }
703
Roland Levillain0d5a2812015-11-13 10:07:31 +0000704 // When read barriers are enabled, do not attempt to compile for
705 // instruction sets that have no read barrier support.
706 if (kEmitCompilerReadBarrier && !InstructionSetSupportsReadBarrier(instruction_set)) {
707 return nullptr;
708 }
709
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000710 if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100711 MaybeRecordStat(MethodCompilationStat::kNotCompiledPathological);
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000712 return nullptr;
713 }
714
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000715 // Implementation of the space filter: do not compile a code item whose size in
Nicolas Geoffray432bf3d2015-07-17 11:11:09 +0100716 // code units is bigger than 128.
717 static constexpr size_t kSpaceFilterOptimizingThreshold = 128;
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000718 const CompilerOptions& compiler_options = compiler_driver->GetCompilerOptions();
Andreas Gampe29d38e72016-03-23 15:31:51 +0000719 if ((compiler_options.GetCompilerFilter() == CompilerFilter::kSpace)
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000720 && (code_item->insns_size_in_code_units_ > kSpaceFilterOptimizingThreshold)) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100721 MaybeRecordStat(MethodCompilationStat::kNotCompiledSpaceFilter);
Nicolas Geoffray36540cb2015-03-23 14:45:53 +0000722 return nullptr;
723 }
724
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000725 DexCompilationUnit dex_compilation_unit(
Vladimir Markodf739842016-03-23 16:59:07 +0000726 class_loader,
727 Runtime::Current()->GetClassLinker(),
728 dex_file,
729 code_item,
730 class_def_idx,
731 method_idx,
732 access_flags,
733 /* verified_method */ nullptr,
734 dex_cache);
Nicolas Geoffray92cf83e2014-03-18 17:59:20 +0000735
Calin Juravle3cd4fc82015-05-14 15:15:42 +0100736 bool requires_barrier = dex_compilation_unit.IsConstructor()
737 && compiler_driver->RequiresConstructorBarrier(Thread::Current(),
738 dex_compilation_unit.GetDexFile(),
739 dex_compilation_unit.GetClassDefIndex());
David Brazdilbadd8262016-02-02 16:28:56 +0000740
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000741 HGraph* graph = new (arena) HGraph(
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000742 arena,
743 dex_file,
744 method_idx,
745 requires_barrier,
746 compiler_driver->GetInstructionSet(),
747 kInvalidInvokeType,
748 compiler_driver->GetCompilerOptions().GetDebuggable(),
749 osr);
Nicolas Geoffraye53798a2014-12-01 10:31:54 +0000750
David Brazdilbadd8262016-02-02 16:28:56 +0000751 const uint8_t* interpreter_metadata = nullptr;
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000752 if (method == nullptr) {
David Brazdilbadd8262016-02-02 16:28:56 +0000753 ScopedObjectAccess soa(Thread::Current());
754 StackHandleScope<1> hs(soa.Self());
755 Handle<mirror::ClassLoader> loader(hs.NewHandle(
756 soa.Decode<mirror::ClassLoader*>(class_loader)));
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000757 method = compiler_driver->ResolveMethod(
David Brazdilbadd8262016-02-02 16:28:56 +0000758 soa, dex_cache, loader, &dex_compilation_unit, method_idx, invoke_type);
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000759 }
760 // For AOT compilation, we may not get a method, for example if its class is erroneous.
761 // JIT should always have a method.
762 DCHECK(Runtime::Current()->IsAotCompiler() || method != nullptr);
763 if (method != nullptr) {
764 graph->SetArtMethod(method);
765 ScopedObjectAccess soa(Thread::Current());
766 interpreter_metadata = method->GetQuickenedInfo();
767 uint16_t type_index = method->GetDeclaringClass()->GetDexTypeIndex();
768
769 // Update the dex cache if the type is not in it yet. Note that under AOT,
770 // the verifier must have set it, but under JIT, there's no guarantee, as we
771 // don't necessarily run the verifier.
772 // The compiler and the compiler driver assume the compiling class is
773 // in the dex cache.
774 if (dex_cache->GetResolvedType(type_index) == nullptr) {
775 dex_cache->SetResolvedType(type_index, method->GetDeclaringClass());
Nicolas Geoffray12abcbd2016-06-06 15:51:58 +0000776 }
David Brazdilbadd8262016-02-02 16:28:56 +0000777 }
778
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000779 std::unique_ptr<CodeGenerator> codegen(
Calin Juravlecd6dffe2015-01-08 17:35:35 +0000780 CodeGenerator::Create(graph,
781 instruction_set,
782 *compiler_driver->GetInstructionSetFeatures(),
Calin Juravle2ae48182016-03-16 14:05:09 +0000783 compiler_driver->GetCompilerOptions(),
784 compilation_stats_.get()));
Nicolas Geoffray12df9eb2015-01-09 14:53:50 +0000785 if (codegen.get() == nullptr) {
Calin Juravle2be39e02015-04-21 13:56:34 +0100786 MaybeRecordStat(MethodCompilationStat::kNotCompiledNoCodegen);
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000787 return nullptr;
788 }
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100789 codegen->GetAssembler()->cfi().SetEnabled(
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000790 compiler_driver->GetCompilerOptions().GenerateAnyDebugInfo());
Nicolas Geoffray787c3072014-03-17 10:20:19 +0000791
David Brazdil69ba7b72015-06-23 18:27:30 +0100792 PassObserver pass_observer(graph,
David Brazdil69ba7b72015-06-23 18:27:30 +0100793 codegen.get(),
794 visualizer_output_.get(),
795 compiler_driver);
David Brazdil5e8b1372015-01-23 14:39:08 +0000796
Vladimir Marko0d1caa52015-11-20 13:02:22 +0000797 VLOG(compiler) << "Building " << pass_observer.GetMethodName();
David Brazdil5e8b1372015-01-23 14:39:08 +0000798
David Brazdil809658e2015-02-05 11:34:02 +0000799 {
David Brazdilbadd8262016-02-02 16:28:56 +0000800 ScopedObjectAccess soa(Thread::Current());
801 StackHandleScopeCollection handles(soa.Self());
802 // Do not hold `mutator_lock_` between optimizations.
803 ScopedThreadSuspension sts(soa.Self(), kNative);
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100804
David Brazdilbadd8262016-02-02 16:28:56 +0000805 {
806 PassScope scope(HGraphBuilder::kBuilderPassName, &pass_observer);
807 HGraphBuilder builder(graph,
808 &dex_compilation_unit,
809 &dex_compilation_unit,
810 &dex_file,
David Brazdil86ea7ee2016-02-16 09:26:07 +0000811 *code_item,
David Brazdilbadd8262016-02-02 16:28:56 +0000812 compiler_driver,
813 compilation_stats_.get(),
814 interpreter_metadata,
David Brazdildee58d62016-04-07 09:54:26 +0000815 dex_cache,
816 &handles);
817 GraphAnalysisResult result = builder.BuildGraph();
David Brazdilbadd8262016-02-02 16:28:56 +0000818 if (result != kAnalysisSuccess) {
819 switch (result) {
David Brazdil86ea7ee2016-02-16 09:26:07 +0000820 case kAnalysisSkipped:
821 MaybeRecordStat(MethodCompilationStat::kNotCompiledSkipped);
822 break;
David Brazdilbadd8262016-02-02 16:28:56 +0000823 case kAnalysisInvalidBytecode:
David Brazdil86ea7ee2016-02-16 09:26:07 +0000824 MaybeRecordStat(MethodCompilationStat::kNotCompiledInvalidBytecode);
David Brazdilbadd8262016-02-02 16:28:56 +0000825 break;
826 case kAnalysisFailThrowCatchLoop:
827 MaybeRecordStat(MethodCompilationStat::kNotCompiledThrowCatchLoop);
828 break;
829 case kAnalysisFailAmbiguousArrayOp:
830 MaybeRecordStat(MethodCompilationStat::kNotCompiledAmbiguousArrayOp);
831 break;
832 case kAnalysisSuccess:
833 UNREACHABLE();
834 }
835 pass_observer.SetGraphInBadState();
836 return nullptr;
David Brazdil809658e2015-02-05 11:34:02 +0000837 }
Nicolas Geoffrayf5370122014-12-02 11:51:19 +0000838 }
David Brazdil58282f42016-01-14 12:45:10 +0000839
David Brazdilbadd8262016-02-02 16:28:56 +0000840 RunOptimizations(graph,
841 codegen.get(),
842 compiler_driver,
David Brazdilbadd8262016-02-02 16:28:56 +0000843 dex_compilation_unit,
844 &pass_observer,
845 &handles);
846
847 codegen->Compile(code_allocator);
848 pass_observer.DumpDisassembly();
849 }
Vladimir Markof9f64412015-09-02 14:05:49 +0100850
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000851 return codegen.release();
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +0000852}
853
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000854CompiledMethod* OptimizingCompiler::Compile(const DexFile::CodeItem* code_item,
855 uint32_t access_flags,
856 InvokeType invoke_type,
857 uint16_t class_def_idx,
858 uint32_t method_idx,
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100859 jobject jclass_loader,
Mathieu Chartier736b5602015-09-02 14:54:11 -0700860 const DexFile& dex_file,
861 Handle<mirror::DexCache> dex_cache) const {
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100862 CompilerDriver* compiler_driver = GetCompilerDriver();
863 CompiledMethod* method = nullptr;
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000864 DCHECK(Runtime::Current()->IsAotCompiler());
865 const VerifiedMethod* verified_method = compiler_driver->GetVerifiedMethod(&dex_file, method_idx);
866 DCHECK(!verified_method->HasRuntimeThrow());
867 if (compiler_driver->IsMethodVerifiedWithoutFailures(method_idx, class_def_idx, dex_file)
Nicolas Geoffray250a3782016-04-20 16:27:53 +0100868 || verifier::MethodVerifier::CanCompilerHandleVerificationFailure(
869 verified_method->GetEncounteredVerificationFailures())) {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000870 ArenaAllocator arena(Runtime::Current()->GetArenaPool());
871 CodeVectorAllocator code_allocator(&arena);
872 std::unique_ptr<CodeGenerator> codegen(
873 TryCompile(&arena,
874 &code_allocator,
875 code_item,
876 access_flags,
877 invoke_type,
878 class_def_idx,
879 method_idx,
880 jclass_loader,
881 dex_file,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000882 dex_cache,
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000883 nullptr,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000884 /* osr */ false));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000885 if (codegen.get() != nullptr) {
Calin Juravlead543382015-11-19 17:26:29 +0000886 MaybeRecordStat(MethodCompilationStat::kCompiled);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000887 method = Emit(&arena, &code_allocator, codegen.get(), compiler_driver, code_item);
Vladimir Marko3a40bf22016-03-22 16:26:33 +0000888
889 if (kArenaAllocatorCountAllocations) {
890 if (arena.BytesAllocated() > kArenaAllocatorMemoryReportThreshold) {
891 MemStats mem_stats(arena.GetMemStats());
892 LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
893 }
894 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100895 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100896 } else {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000897 if (compiler_driver->GetCompilerOptions().VerifyAtRuntime()) {
898 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerifyAtRuntime);
899 } else {
Calin Juravlead543382015-11-19 17:26:29 +0000900 MaybeRecordStat(MethodCompilationStat::kNotCompiledVerificationError);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000901 }
Calin Juravlef1c6d9e2015-04-13 18:42:21 +0100902 }
903
Calin Juravlecff8cc72015-10-09 12:03:24 +0100904 if (kIsDebugBuild &&
905 IsCompilingWithCoreImage() &&
Roland Levillain0d5a2812015-11-13 10:07:31 +0000906 IsInstructionSetSupported(compiler_driver->GetInstructionSet()) &&
907 (!kEmitCompilerReadBarrier ||
908 InstructionSetSupportsReadBarrier(compiler_driver->GetInstructionSet()))) {
909 // For testing purposes, we put a special marker on method names
910 // that should be compiled with this compiler (when the the
911 // instruction set is supported -- and has support for read
912 // barriers, if they are enabled). This makes sure we're not
913 // regressing.
Calin Juravle09b1d6f2015-10-07 12:08:54 +0100914 std::string method_name = PrettyMethod(method_idx, dex_file);
915 bool shouldCompile = method_name.find("$opt$") != std::string::npos;
916 DCHECK((method != nullptr) || !shouldCompile) << "Didn't compile " << method_name;
917 }
918
Nicolas Geoffray12be74e2015-03-30 13:29:08 +0100919 return method;
Nicolas Geoffray216eaa22015-03-17 17:09:30 +0000920}
921
Andreas Gampe53c913b2014-08-12 23:19:23 -0700922Compiler* CreateOptimizingCompiler(CompilerDriver* driver) {
923 return new OptimizingCompiler(driver);
924}
925
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100926bool IsCompilingWithCoreImage() {
927 const std::string& image = Runtime::Current()->GetImageLocation();
Jeff Haodcdc85b2015-12-04 14:06:18 -0800928 // TODO: This is under-approximating...
929 if (EndsWith(image, "core.art") || EndsWith(image, "core-optimizing.art")) {
930 return true;
931 }
932 return false;
Nicolas Geoffray335005e2015-06-25 10:01:47 +0100933}
934
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000935bool OptimizingCompiler::JitCompile(Thread* self,
936 jit::JitCodeCache* code_cache,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000937 ArtMethod* method,
938 bool osr) {
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000939 StackHandleScope<2> hs(self);
940 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(
941 method->GetDeclaringClass()->GetClassLoader()));
942 Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
Nicolas Geoffray250a3782016-04-20 16:27:53 +0100943 DCHECK(method->IsCompilable());
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000944
945 jobject jclass_loader = class_loader.ToJObject();
946 const DexFile* dex_file = method->GetDexFile();
947 const uint16_t class_def_idx = method->GetClassDefIndex();
948 const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
949 const uint32_t method_idx = method->GetDexMethodIndex();
950 const uint32_t access_flags = method->GetAccessFlags();
951 const InvokeType invoke_type = method->GetInvokeType();
952
Nicolas Geoffray25e04562016-03-01 13:17:58 +0000953 ArenaAllocator arena(Runtime::Current()->GetJitArenaPool());
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000954 CodeVectorAllocator code_allocator(&arena);
955 std::unique_ptr<CodeGenerator> codegen;
956 {
957 // Go to native so that we don't block GC during compilation.
958 ScopedThreadSuspension sts(self, kNative);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000959 codegen.reset(
960 TryCompile(&arena,
961 &code_allocator,
962 code_item,
963 access_flags,
964 invoke_type,
965 class_def_idx,
966 method_idx,
967 jclass_loader,
968 *dex_file,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000969 dex_cache,
Nicolas Geoffray3aaf9642016-06-07 14:14:37 +0000970 method,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000971 osr));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000972 if (codegen.get() == nullptr) {
973 return false;
974 }
Vladimir Marko3a40bf22016-03-22 16:26:33 +0000975
976 if (kArenaAllocatorCountAllocations) {
977 if (arena.BytesAllocated() > kArenaAllocatorMemoryReportThreshold) {
978 MemStats mem_stats(arena.GetMemStats());
979 LOG(INFO) << PrettyMethod(method_idx, *dex_file) << " " << Dumpable<MemStats>(mem_stats);
980 }
981 }
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000982 }
983
984 size_t stack_map_size = codegen->ComputeStackMapsSize();
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000985 uint8_t* stack_map_data = code_cache->ReserveData(self, stack_map_size, method);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000986 if (stack_map_data == nullptr) {
987 return false;
988 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100989 MaybeRecordStat(MethodCompilationStat::kCompiled);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000990 codegen->BuildStackMaps(MemoryRegion(stack_map_data, stack_map_size), *code_item);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000991 const void* code = code_cache->CommitCode(
992 self,
993 method,
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000994 stack_map_data,
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000995 codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
996 codegen->GetCoreSpillMask(),
997 codegen->GetFpuSpillMask(),
998 code_allocator.GetMemory().data(),
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000999 code_allocator.GetSize(),
1000 osr);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +00001001
1002 if (code == nullptr) {
1003 code_cache->ClearData(self, stack_map_data);
1004 return false;
1005 }
1006
David Srbecky91cc06c2016-03-07 16:13:58 +00001007 const CompilerOptions& compiler_options = GetCompilerDriver()->GetCompilerOptions();
1008 if (compiler_options.GetGenerateDebugInfo()) {
David Srbecky5cc349f2015-12-18 15:04:48 +00001009 const auto* method_header = reinterpret_cast<const OatQuickMethodHeader*>(code);
1010 const uintptr_t code_address = reinterpret_cast<uintptr_t>(method_header->GetCode());
David Srbecky09c2a6b2016-03-11 17:11:44 +00001011 debug::MethodDebugInfo info = debug::MethodDebugInfo();
1012 info.trampoline_name = nullptr;
David Srbecky197160d2016-03-07 17:33:57 +00001013 info.dex_file = dex_file;
1014 info.class_def_index = class_def_idx;
1015 info.dex_method_index = method_idx;
1016 info.access_flags = access_flags;
1017 info.code_item = code_item;
1018 info.isa = codegen->GetInstructionSet();
1019 info.deduped = false;
1020 info.is_native_debuggable = compiler_options.GetNativeDebuggable();
1021 info.is_optimized = true;
1022 info.is_code_address_text_relative = false;
1023 info.code_address = code_address;
1024 info.code_size = code_allocator.GetSize();
1025 info.frame_size_in_bytes = method_header->GetFrameSizeInBytes();
1026 info.code_info = stack_map_size == 0 ? nullptr : stack_map_data;
1027 info.cfi = ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data());
Vladimir Marko93205e32016-04-13 11:59:46 +01001028 std::vector<uint8_t> elf_file = debug::WriteDebugElfFileForMethods(
David Srbecky5d811202016-03-08 13:21:22 +00001029 GetCompilerDriver()->GetInstructionSet(),
1030 GetCompilerDriver()->GetInstructionSetFeatures(),
David Srbeckyfe736b72016-03-09 11:44:44 +00001031 ArrayRef<const debug::MethodDebugInfo>(&info, 1));
Vladimir Marko93205e32016-04-13 11:59:46 +01001032 CreateJITCodeEntryForAddress(code_address, std::move(elf_file));
David Srbecky5cc349f2015-12-18 15:04:48 +00001033 }
1034
Nicolas Geoffraya4f81542016-03-08 16:57:48 +00001035 Runtime::Current()->GetJit()->AddMemoryUsage(method, arena.BytesUsed());
1036
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +00001037 return true;
1038}
1039
Nicolas Geoffrayb34f69a2014-03-07 15:28:39 +00001040} // namespace art