optimizing_compiler.cc revision 25e0456b6ea13eba290b63ea88b6b7120ed89413
1b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray/*
2b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * Copyright (C) 2014 The Android Open Source Project
3b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray *
4b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * Licensed under the Apache License, Version 2.0 (the "License");
5b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * you may not use this file except in compliance with the License.
6b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * You may obtain a copy of the License at
7b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray *
8b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray *      http://www.apache.org/licenses/LICENSE-2.0
9b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray *
10b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * Unless required by applicable law or agreed to in writing, software
11b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * distributed under the License is distributed on an "AS IS" BASIS,
12b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * See the License for the specific language governing permissions and
14b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray * limitations under the License.
15b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray */
16b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray
1753c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe#include "optimizing_compiler.h"
1853c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
19f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray#include <fstream>
205cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky#include <memory>
21787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray#include <stdint.h>
22787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
2344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames#ifdef ART_ENABLE_CODEGEN_arm64
24b4536b7de576b20c74c612406c5d3132998075efVladimir Marko#include "dex_cache_array_fixups_arm.h"
25b4536b7de576b20c74c612406c5d3132998075efVladimir Marko#endif
26b4536b7de576b20c74c612406c5d3132998075efVladimir Marko
27b4536b7de576b20c74c612406c5d3132998075efVladimir Marko#ifdef ART_ENABLE_CODEGEN_arm64
2844b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames#include "instruction_simplifier_arm64.h"
2944b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames#endif
3044b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames
310616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell#ifdef ART_ENABLE_CODEGEN_x86
320f7dca4ca0be8d2f8776794d35edf8b51b5bc997Vladimir Marko#include "pc_relative_fixups_x86.h"
330616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell#endif
340616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell
35e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "art_method-inl.h"
36b666f4805c8ae707ea6fd7f6c7f375e0b000dba8Mathieu Chartier#include "base/arena_allocator.h"
37f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko#include "base/arena_containers.h"
385e8b137d28c840b128e2488f954cccee3e86db14David Brazdil#include "base/dumpable.h"
39c90d7c7cd3103a7b7ce62b40873d2dfcf306ca74Vladimir Marko#include "base/macros.h"
405e8b137d28c840b128e2488f954cccee3e86db14David Brazdil#include "base/timing_logger.h"
41f384f88d4d1e89df82f47fbc7245a8acc9c2d49cMingyao Yang#include "bounds_check_elimination.h"
42787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray#include "builder.h"
43787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray#include "code_generator.h"
4420f85597828194c12be10d3a927999def066555eVladimir Marko#include "compiled_method.h"
4553c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe#include "compiler.h"
4675be28332b278cff9039b54bfb228ac72f539cccRoland Levillain#include "constant_folding.h"
4775be28332b278cff9039b54bfb228ac72f539cccRoland Levillain#include "dead_code_elimination.h"
48c5bfa97c47d656b76f297af8abcd5f7502987399David Srbecky#include "debug/elf_debug_writer.h"
494fda4eb799c95be266f52aaf3461a440ea86b841David Srbecky#include "debug/method_debug_info.h"
5071fb52fee246b7d511f520febbd73dc7a9bbca79Andreas Gampe#include "dex/quick/dex_file_to_method_inliner_map.h"
51f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle#include "dex/verification_results.h"
524fda4eb799c95be266f52aaf3461a440ea86b841David Srbecky#include "dex/verified_method.h"
539523a3ed0ae6fa31cd978a3999fd88233218f98bNicolas Geoffray#include "driver/compiler_driver-inl.h"
5420f85597828194c12be10d3a927999def066555eVladimir Marko#include "driver/compiler_options.h"
5592cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray#include "driver/dex_compilation_unit.h"
56e2dc6fa7aa319ee892d6ed407c986c5a3ec3dcd7Nicolas Geoffray#include "elf_writer_quick.h"
5769ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil#include "graph_checker.h"
58f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray#include "graph_visualizer.h"
59d31cf3d55a0847c018c4eaa2b349b8eea509de64Nicolas Geoffray#include "gvn.h"
6022af3bee34d0ab1a4bd186c71ccab00366882259Aart Bik#include "induction_var_analysis.h"
61e53798a7e3267305f696bf658e418c92e63e0834Nicolas Geoffray#include "inliner.h"
623c04974a90b0e03f4b509010bff49f0b2a3da57fNicolas Geoffray#include "instruction_simplifier.h"
634a0dad67867f389e01a5a6c0fe381d210f687c0dArtem Udovichenko#include "instruction_simplifier_arm.h"
6471fb52fee246b7d511f520febbd73dc7a9bbca79Andreas Gampe#include "intrinsics.h"
655cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky#include "jit/debugger_interface.h"
66d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray#include "jit/jit_code_cache.h"
67e2dc6fa7aa319ee892d6ed407c986c5a3ec3dcd7Nicolas Geoffray#include "jni/quick/jni_compiler.h"
684fda4eb799c95be266f52aaf3461a440ea86b841David Srbecky#include "licm.h"
698df69d42a9e3ccd9456ff72fac8dbd1999f98755Mingyao Yang#include "load_store_elimination.h"
70787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray#include "nodes.h"
714fda4eb799c95be266f52aaf3461a440ea86b841David Srbecky#include "oat_quick_method_header.h"
7226a25ef62a13f409f941aa39825a51b4d6f0f047Nicolas Geoffray#include "prepare_for_register_allocation.h"
73f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle#include "reference_type_propagation.h"
74a7062e05e6048c7f817d784a5b94e3122e25b1ecNicolas Geoffray#include "register_allocator.h"
7574eb1b264691c4eb399d0858015a7fc13c476ac6David Brazdil#include "select_generator.h"
76dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko#include "sharpening.h"
77827eedbfa882496407375f22b08243a38a5bd53bNicolas Geoffray#include "side_effects_analysis.h"
783159674c0863f53cfbc1913d493550221ac47f02Nicolas Geoffray#include "ssa_builder.h"
79804d09372cc3d80d537da1489da4a45e0e19aa5dNicolas Geoffray#include "ssa_liveness_analysis.h"
804fda4eb799c95be266f52aaf3461a440ea86b841David Srbecky#include "ssa_phi_elimination.h"
81c6b4dd8980350aaf250f0185f73e9c42ec17cd57David Srbecky#include "utils/assembler.h"
82175dc732c80e6f2afd83209348124df349290ba8Calin Juravle#include "verifier/method_verifier.h"
83b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray
84b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffraynamespace art {
85b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray
86787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray/**
87787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray * Used by the code generator, to allocate the code in a vector.
88787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray */
89787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffrayclass CodeVectorAllocator FINAL : public CodeAllocator {
90787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray public:
91f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko  explicit CodeVectorAllocator(ArenaAllocator* arena)
92f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko      : memory_(arena->Adapter(kArenaAllocCodeBuffer)),
93f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko        size_(0) {}
94787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
95787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray  virtual uint8_t* Allocate(size_t size) {
96787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray    size_ = size;
9792cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray    memory_.resize(size);
98787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray    return &memory_[0];
99787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray  }
100787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
101787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray  size_t GetSize() const { return size_; }
102f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko  const ArenaVector<uint8_t>& GetMemory() const { return memory_; }
103787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
104787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray private:
105f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko  ArenaVector<uint8_t> memory_;
106787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray  size_t size_;
107787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
108787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray  DISALLOW_COPY_AND_ASSIGN(CodeVectorAllocator);
109787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray};
110787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
111f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray/**
112f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray * Filter to apply to the visualizer. Methods whose name contain that filter will
113ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil * be dumped.
114f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray */
11553fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampestatic constexpr const char kStringFilter[] = "";
116f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray
11769ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdilclass PassScope;
118809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil
11969ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdilclass PassObserver : public ValueObject {
1205e8b137d28c840b128e2488f954cccee3e86db14David Brazdil public:
12169ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  PassObserver(HGraph* graph,
12269ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil               CodeGenerator* codegen,
12369ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil               std::ostream* visualizer_output,
12469ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil               CompilerDriver* compiler_driver)
12569ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil      : graph_(graph),
1260d1caa5df8d99320036888600190337bbe540731Vladimir Marko        cached_method_name_(),
127809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil        timing_logger_enabled_(compiler_driver->GetDumpPasses()),
1280d1caa5df8d99320036888600190337bbe540731Vladimir Marko        timing_logger_(timing_logger_enabled_ ? GetMethodName() : "", true, true),
129eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames        disasm_info_(graph->GetArena()),
130c903b6af634927479915eaa9516d493eea23f911Nicolas Geoffray        visualizer_enabled_(!compiler_driver->GetCompilerOptions().GetDumpCfgFileName().empty()),
13169ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil        visualizer_(visualizer_output, graph, *codegen),
13269ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil        graph_in_bad_state_(false) {
13353fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    if (timing_logger_enabled_ || visualizer_enabled_) {
1340d1caa5df8d99320036888600190337bbe540731Vladimir Marko      if (!IsVerboseMethod(compiler_driver, GetMethodName())) {
13553fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe        timing_logger_enabled_ = visualizer_enabled_ = false;
13653fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe      }
13753fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe      if (visualizer_enabled_) {
1380d1caa5df8d99320036888600190337bbe540731Vladimir Marko        visualizer_.PrintHeader(GetMethodName());
13953fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe        codegen->SetDisassemblyInformation(&disasm_info_);
14053fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe      }
14162e074f0d1a18f0f5aa6716f000825704f55e81bDavid Brazdil    }
1425e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  }
1435e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
14469ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  ~PassObserver() {
145809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil    if (timing_logger_enabled_) {
1460d1caa5df8d99320036888600190337bbe540731Vladimir Marko      LOG(INFO) << "TIMINGS " << GetMethodName();
147809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil      LOG(INFO) << Dumpable<TimingLogger>(timing_logger_);
148809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil    }
149809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  }
150809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil
151eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames  void DumpDisassembly() const {
152eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames    if (visualizer_enabled_) {
153eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames      visualizer_.DumpGraphWithDisassembly();
154eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames    }
155eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames  }
156eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames
15769ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  void SetGraphInBadState() { graph_in_bad_state_ = true; }
15869ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil
1590d1caa5df8d99320036888600190337bbe540731Vladimir Marko  const char* GetMethodName() {
1600d1caa5df8d99320036888600190337bbe540731Vladimir Marko    // PrettyMethod() is expensive, so we delay calling it until we actually have to.
1610d1caa5df8d99320036888600190337bbe540731Vladimir Marko    if (cached_method_name_.empty()) {
1620d1caa5df8d99320036888600190337bbe540731Vladimir Marko      cached_method_name_ = PrettyMethod(graph_->GetMethodIdx(), graph_->GetDexFile());
1630d1caa5df8d99320036888600190337bbe540731Vladimir Marko    }
1640d1caa5df8d99320036888600190337bbe540731Vladimir Marko    return cached_method_name_.c_str();
1650d1caa5df8d99320036888600190337bbe540731Vladimir Marko  }
1660d1caa5df8d99320036888600190337bbe540731Vladimir Marko
167809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil private:
168809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  void StartPass(const char* pass_name) {
1695e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    // Dump graph first, then start timer.
1705e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    if (visualizer_enabled_) {
171ffee3d33f3ea39aa6031c3d2ff29c4806c8dcc51David Brazdil      visualizer_.DumpGraph(pass_name, /* is_after_pass */ false, graph_in_bad_state_);
1725e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    }
1735e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    if (timing_logger_enabled_) {
1745e8b137d28c840b128e2488f954cccee3e86db14David Brazdil      timing_logger_.StartTiming(pass_name);
1755e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    }
1765e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  }
1775e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
178809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  void EndPass(const char* pass_name) {
1795e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    // Pause timer first, then dump graph.
1805e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    if (timing_logger_enabled_) {
1815e8b137d28c840b128e2488f954cccee3e86db14David Brazdil      timing_logger_.EndTiming();
1825e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    }
1835e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    if (visualizer_enabled_) {
184ffee3d33f3ea39aa6031c3d2ff29c4806c8dcc51David Brazdil      visualizer_.DumpGraph(pass_name, /* is_after_pass */ true, graph_in_bad_state_);
1855e8b137d28c840b128e2488f954cccee3e86db14David Brazdil    }
18669ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil
18769ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    // Validate the HGraph if running in debug mode.
18869ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    if (kIsDebugBuild) {
18969ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil      if (!graph_in_bad_state_) {
190badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        GraphChecker checker(graph_);
191badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        checker.Run();
192badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        if (!checker.IsValid()) {
193badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil          LOG(FATAL) << "Error after " << pass_name << ": " << Dumpable<GraphChecker>(checker);
19469ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil        }
19569ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil      }
19669ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    }
1975e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  }
1985e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
19953fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe  static bool IsVerboseMethod(CompilerDriver* compiler_driver, const char* method_name) {
20053fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    // Test an exact match to --verbose-methods. If verbose-methods is set, this overrides an
20153fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    // empty kStringFilter matching all methods.
20253fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    if (compiler_driver->GetCompilerOptions().HasVerboseMethods()) {
20353fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe      return compiler_driver->GetCompilerOptions().IsVerboseMethod(method_name);
20453fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    }
20553fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe
20653fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    // Test the kStringFilter sub-string. constexpr helper variable to silence unreachable-code
20753fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    // warning when the string is empty.
20853fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    constexpr bool kStringFilterEmpty = arraysize(kStringFilter) <= 1;
20953fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    if (kStringFilterEmpty || strstr(method_name, kStringFilter) != nullptr) {
21053fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe      return true;
21153fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    }
21253fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe
21353fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe    return false;
21453fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe  }
21553fcd0f2637207ecad2fd57a6a0f1cf8392fcc40Andreas Gampe
21669ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  HGraph* const graph_;
2170d1caa5df8d99320036888600190337bbe540731Vladimir Marko
2180d1caa5df8d99320036888600190337bbe540731Vladimir Marko  std::string cached_method_name_;
2195e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
2205e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  bool timing_logger_enabled_;
2215e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  TimingLogger timing_logger_;
2225e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
223eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames  DisassemblyInformation disasm_info_;
224eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames
2255e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  bool visualizer_enabled_;
2265e8b137d28c840b128e2488f954cccee3e86db14David Brazdil  HGraphVisualizer visualizer_;
2275e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
22869ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  // Flag to be set by the compiler if the pass failed and the graph is not
22969ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  // expected to validate.
23069ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  bool graph_in_bad_state_;
231809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil
23269ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  friend PassScope;
23369ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil
23469ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  DISALLOW_COPY_AND_ASSIGN(PassObserver);
2355e8b137d28c840b128e2488f954cccee3e86db14David Brazdil};
2365e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
23769ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdilclass PassScope : public ValueObject {
238809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil public:
23969ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  PassScope(const char *pass_name, PassObserver* pass_observer)
240809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil      : pass_name_(pass_name),
24169ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil        pass_observer_(pass_observer) {
24269ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    pass_observer_->StartPass(pass_name_);
243809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  }
244809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil
24569ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  ~PassScope() {
24669ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    pass_observer_->EndPass(pass_name_);
247809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  }
248809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil
249809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil private:
250809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  const char* const pass_name_;
25169ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  PassObserver* const pass_observer_;
252809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil};
253809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil
25453c913bb71b218714823c8c87a1f92830c336f61Andreas Gampeclass OptimizingCompiler FINAL : public Compiler {
25553c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe public:
25653c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  explicit OptimizingCompiler(CompilerDriver* driver);
25788157efc1e16707d4ae10775d4acb15121c50fe7Nicolas Geoffray  ~OptimizingCompiler();
25853c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
25953c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  bool CanCompileMethod(uint32_t method_idx, const DexFile& dex_file, CompilationUnit* cu) const
26053c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe      OVERRIDE;
26153c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
26253c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  CompiledMethod* Compile(const DexFile::CodeItem* code_item,
26353c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe                          uint32_t access_flags,
26453c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe                          InvokeType invoke_type,
26553c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe                          uint16_t class_def_idx,
26653c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe                          uint32_t method_idx,
26753c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe                          jobject class_loader,
268736b560f2d2c89b63dc895888c671b5519afa4c8Mathieu Chartier                          const DexFile& dex_file,
269736b560f2d2c89b63dc895888c671b5519afa4c8Mathieu Chartier                          Handle<mirror::DexCache> dex_cache) const OVERRIDE;
27053c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
27153c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  CompiledMethod* JniCompile(uint32_t access_flags,
27253c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe                             uint32_t method_idx,
273216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray                             const DexFile& dex_file) const OVERRIDE {
274216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray    return ArtQuickJniCompileMethod(GetCompilerDriver(), access_flags, method_idx, dex_file);
275216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray  }
27653c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
277e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier  uintptr_t GetEntryPointOf(ArtMethod* method) const OVERRIDE
27890443477f9a0061581c420775ce3b7eeae7468bcMathieu Chartier      SHARED_REQUIRES(Locks::mutator_lock_) {
279216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray    return reinterpret_cast<uintptr_t>(method->GetEntryPointFromQuickCompiledCodePtrSize(
280216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray        InstructionSetPointerSize(GetCompilerDriver()->GetInstructionSet())));
281216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray  }
28253c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
283216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray  void InitCompilationUnit(CompilationUnit& cu) const OVERRIDE;
28453c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
285ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil  void Init() OVERRIDE;
28653c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
287216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray  void UnInit() const OVERRIDE;
28853c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
2892be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  void MaybeRecordStat(MethodCompilationStat compilation_stat) const {
2902be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    if (compilation_stats_.get() != nullptr) {
2912be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle      compilation_stats_->RecordStat(compilation_stat);
2922be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    }
2932be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  }
2942be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle
295b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray  bool JitCompile(Thread* self, jit::JitCodeCache* code_cache, ArtMethod* method, bool osr)
296d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      OVERRIDE
297d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      SHARED_REQUIRES(Locks::mutator_lock_);
298d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
29953c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe private:
300d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  // Create a 'CompiledMethod' for an optimized graph.
30158282f4510961317b8d5a364a6f740a78926716fDavid Brazdil  CompiledMethod* Emit(ArenaAllocator* arena,
30258282f4510961317b8d5a364a6f740a78926716fDavid Brazdil                       CodeVectorAllocator* code_allocator,
30358282f4510961317b8d5a364a6f740a78926716fDavid Brazdil                       CodeGenerator* codegen,
304b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                       CompilerDriver* driver,
305b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                       const DexFile::CodeItem* item) const;
306d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
307d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  // Try compiling a method and return the code generator used for
308d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  // compiling it.
309d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  // This method:
310d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  // 1) Builds the graph. Returns null if it failed to build it.
31158282f4510961317b8d5a364a6f740a78926716fDavid Brazdil  // 2) Transforms the graph to SSA. Returns null if it failed.
31258282f4510961317b8d5a364a6f740a78926716fDavid Brazdil  // 3) Runs optimizations on the graph, including register allocator.
31358282f4510961317b8d5a364a6f740a78926716fDavid Brazdil  // 4) Generates code with the `code_allocator` provided.
314d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  CodeGenerator* TryCompile(ArenaAllocator* arena,
315d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            CodeVectorAllocator* code_allocator,
316d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            const DexFile::CodeItem* code_item,
317d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            uint32_t access_flags,
318d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            InvokeType invoke_type,
319d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            uint16_t class_def_idx,
320d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            uint32_t method_idx,
321d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            jobject class_loader,
322d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                            const DexFile& dex_file,
323b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                            Handle<mirror::DexCache> dex_cache,
324b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                            bool osr) const;
32512df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray
3262be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  std::unique_ptr<OptimizingCompilerStats> compilation_stats_;
32788157efc1e16707d4ae10775d4acb15121c50fe7Nicolas Geoffray
32853c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  std::unique_ptr<std::ostream> visualizer_output_;
32953c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
33053c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  DISALLOW_COPY_AND_ASSIGN(OptimizingCompiler);
33153c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe};
33253c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
33388157efc1e16707d4ae10775d4acb15121c50fe7Nicolas Geoffraystatic const int kMaximumCompilationTimeBeforeWarning = 100; /* ms */
33488157efc1e16707d4ae10775d4acb15121c50fe7Nicolas Geoffray
33588157efc1e16707d4ae10775d4acb15121c50fe7Nicolas GeoffrayOptimizingCompiler::OptimizingCompiler(CompilerDriver* driver)
33658282f4510961317b8d5a364a6f740a78926716fDavid Brazdil    : Compiler(driver, kMaximumCompilationTimeBeforeWarning) {}
337ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil
338ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdilvoid OptimizingCompiler::Init() {
339ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil  // Enable C1visualizer output. Must be done in Init() because the compiler
340ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil  // driver is not fully initialized when passed to the compiler's constructor.
341ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil  CompilerDriver* driver = GetCompilerDriver();
342c903b6af634927479915eaa9516d493eea23f911Nicolas Geoffray  const std::string cfg_file_name = driver->GetCompilerOptions().GetDumpCfgFileName();
343866c03125a3fcd74c9fff04da87865f5eb1767d9David Brazdil  if (!cfg_file_name.empty()) {
344ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil    CHECK_EQ(driver->GetThreadCount(), 1U)
345ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil      << "Graph visualizer requires the compiler to run single-threaded. "
346ee690a3dd364c025ebc1767d9f84097bb7473eecDavid Brazdil      << "Invoke the compiler with '-j1'.";
34787000a948524cba7538ccc5438f6a9ecbd4e347eCalin Juravle    std::ios_base::openmode cfg_file_mode =
348c903b6af634927479915eaa9516d493eea23f911Nicolas Geoffray        driver->GetCompilerOptions().GetDumpCfgAppend() ? std::ofstream::app : std::ofstream::out;
34987000a948524cba7538ccc5438f6a9ecbd4e347eCalin Juravle    visualizer_output_.reset(new std::ofstream(cfg_file_name, cfg_file_mode));
350f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray  }
3512be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  if (driver->GetDumpStats()) {
3522be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    compilation_stats_.reset(new OptimizingCompilerStats());
3532be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  }
354f635e63318447ca04731b265a86a573c9ed1737cNicolas Geoffray}
355787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
356216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffrayvoid OptimizingCompiler::UnInit() const {
357216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray}
358216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray
35988157efc1e16707d4ae10775d4acb15121c50fe7Nicolas GeoffrayOptimizingCompiler::~OptimizingCompiler() {
3602be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  if (compilation_stats_.get() != nullptr) {
3612be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    compilation_stats_->Log();
3622be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  }
36388157efc1e16707d4ae10775d4acb15121c50fe7Nicolas Geoffray}
36488157efc1e16707d4ae10775d4acb15121c50fe7Nicolas Geoffray
365da3a55bd07e1907d4286dd1b6de77ff42d861e16Nicolas Geoffrayvoid OptimizingCompiler::InitCompilationUnit(CompilationUnit& cu ATTRIBUTE_UNUSED) const {
366216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray}
367216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray
368e2dc6fa7aa319ee892d6ed407c986c5a3ec3dcd7Nicolas Geoffraybool OptimizingCompiler::CanCompileMethod(uint32_t method_idx ATTRIBUTE_UNUSED,
369e2dc6fa7aa319ee892d6ed407c986c5a3ec3dcd7Nicolas Geoffray                                          const DexFile& dex_file ATTRIBUTE_UNUSED,
370e2dc6fa7aa319ee892d6ed407c986c5a3ec3dcd7Nicolas Geoffray                                          CompilationUnit* cu ATTRIBUTE_UNUSED) const {
371e2dc6fa7aa319ee892d6ed407c986c5a3ec3dcd7Nicolas Geoffray  return true;
37253c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe}
37353c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
3741ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffraystatic bool IsInstructionSetSupported(InstructionSet instruction_set) {
375cff8cc7818dd901d3667025ad0ff654100bbb629Calin Juravle  return (instruction_set == kArm && !kArm32QuickCodeUseSoftFloat)
376cff8cc7818dd901d3667025ad0ff654100bbb629Calin Juravle      || instruction_set == kArm64
3771ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffray      || (instruction_set == kThumb2 && !kArm32QuickCodeUseSoftFloat)
378f652cecb984c104d44a0223c3c98400ef8ed8ce2Goran Jakovljevic      || instruction_set == kMips
3794dda3376b71209fae07f5c3c8ac3eb4b54207aa8Alexey Frunze      || instruction_set == kMips64
3801ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffray      || instruction_set == kX86
3811ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffray      || instruction_set == kX86_64;
3821ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffray}
3831ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffray
38422ccc3a93d32fa6991535eaebb17daf5abaf4ebfRoland Levillain// Read barrier are supported on ARM, ARM64, x86 and x86-64 at the moment.
3850d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain// TODO: Add support for other architectures and remove this function
3860d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillainstatic bool InstructionSetSupportsReadBarrier(InstructionSet instruction_set) {
38722ccc3a93d32fa6991535eaebb17daf5abaf4ebfRoland Levillain  return instruction_set == kArm64
38822ccc3a93d32fa6991535eaebb17daf5abaf4ebfRoland Levillain      || instruction_set == kThumb2
3893b359c71f2fb784589be113206932e76807787bbRoland Levillain      || instruction_set == kX86
3900d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain      || instruction_set == kX86_64;
3910d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain}
3920d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain
39310e244f9e7f6d96a95c910a2bedef5bd3810c637Calin Juravlestatic void RunOptimizations(HOptimization* optimizations[],
39410e244f9e7f6d96a95c910a2bedef5bd3810c637Calin Juravle                             size_t length,
39569ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil                             PassObserver* pass_observer) {
39610e244f9e7f6d96a95c910a2bedef5bd3810c637Calin Juravle  for (size_t i = 0; i < length; ++i) {
39769ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    PassScope scope(optimizations[i]->GetPassName(), pass_observer);
39869ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil    optimizations[i]->Run();
39910e244f9e7f6d96a95c910a2bedef5bd3810c637Calin Juravle  }
40010e244f9e7f6d96a95c910a2bedef5bd3810c637Calin Juravle}
40110e244f9e7f6d96a95c910a2bedef5bd3810c637Calin Juravle
402ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravlestatic void MaybeRunInliner(HGraph* graph,
403dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko                            CodeGenerator* codegen,
404ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle                            CompilerDriver* driver,
405ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle                            OptimizingCompilerStats* stats,
406ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle                            const DexCompilationUnit& dex_compilation_unit,
407ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle                            PassObserver* pass_observer,
408ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle                            StackHandleScopeCollection* handles) {
409ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  const CompilerOptions& compiler_options = driver->GetCompilerOptions();
410ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  bool should_inline = (compiler_options.GetInlineDepthLimit() > 0)
411ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle      && (compiler_options.GetInlineMaxCodeUnits() > 0);
412ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  if (!should_inline) {
413ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle    return;
414ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  }
4155949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray  size_t number_of_dex_registers = dex_compilation_unit.GetCodeItem()->registers_size_;
416cdfed3dc422d0e1a9a0a948863308e58c39d01baCalin Juravle  HInliner* inliner = new (graph->GetArena()) HInliner(
4175949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      graph,
4185949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      graph,
4195949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      codegen,
4205949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      dex_compilation_unit,
4215949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      dex_compilation_unit,
4225949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      driver,
4235949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      handles,
4245949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      stats,
4255949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      number_of_dex_registers,
4265949fa0cb9a8d26ac20b9b02065a63b4b20443beNicolas Geoffray      /* depth */ 0);
427cdfed3dc422d0e1a9a0a948863308e58c39d01baCalin Juravle  HOptimization* optimizations[] = { inliner };
428ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle
429ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  RunOptimizations(optimizations, arraysize(optimizations), pass_observer);
430ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle}
431ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle
43244b9cf937836bb33139123e15ca8b586b5853268Alexandre Ramesstatic void RunArchOptimizations(InstructionSet instruction_set,
43344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames                                 HGraph* graph,
43444b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames                                 OptimizingCompilerStats* stats,
43544b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames                                 PassObserver* pass_observer) {
43644b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames  ArenaAllocator* arena = graph->GetArena();
43744b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames  switch (instruction_set) {
438b4536b7de576b20c74c612406c5d3132998075efVladimir Marko#ifdef ART_ENABLE_CODEGEN_arm
439b4536b7de576b20c74c612406c5d3132998075efVladimir Marko    case kThumb2:
440b4536b7de576b20c74c612406c5d3132998075efVladimir Marko    case kArm: {
441b4536b7de576b20c74c612406c5d3132998075efVladimir Marko      arm::DexCacheArrayFixups* fixups = new (arena) arm::DexCacheArrayFixups(graph, stats);
4424a0dad67867f389e01a5a6c0fe381d210f687c0dArtem Udovichenko      arm::InstructionSimplifierArm* simplifier =
4434a0dad67867f389e01a5a6c0fe381d210f687c0dArtem Udovichenko          new (arena) arm::InstructionSimplifierArm(graph, stats);
444b4536b7de576b20c74c612406c5d3132998075efVladimir Marko      HOptimization* arm_optimizations[] = {
4454a0dad67867f389e01a5a6c0fe381d210f687c0dArtem Udovichenko        simplifier,
4466b5afdd144d2bb3bf994240797834b5666b2cf98Nicolas Geoffray        fixups
447b4536b7de576b20c74c612406c5d3132998075efVladimir Marko      };
448b4536b7de576b20c74c612406c5d3132998075efVladimir Marko      RunOptimizations(arm_optimizations, arraysize(arm_optimizations), pass_observer);
449b4536b7de576b20c74c612406c5d3132998075efVladimir Marko      break;
450b4536b7de576b20c74c612406c5d3132998075efVladimir Marko    }
451b4536b7de576b20c74c612406c5d3132998075efVladimir Marko#endif
45244b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames#ifdef ART_ENABLE_CODEGEN_arm64
45344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames    case kArm64: {
45444b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      arm64::InstructionSimplifierArm64* simplifier =
45544b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames          new (arena) arm64::InstructionSimplifierArm64(graph, stats);
45644b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
45744b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects, "GVN_after_arch");
45844b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      HOptimization* arm64_optimizations[] = {
45944b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames        simplifier,
46044b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames        side_effects,
46144b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames        gvn
46244b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      };
46344b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      RunOptimizations(arm64_optimizations, arraysize(arm64_optimizations), pass_observer);
46444b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      break;
46544b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames    }
46644b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames#endif
4670616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell#ifdef ART_ENABLE_CODEGEN_x86
4680616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell    case kX86: {
4690f7dca4ca0be8d2f8776794d35edf8b51b5bc997Vladimir Marko      x86::PcRelativeFixups* pc_relative_fixups = new (arena) x86::PcRelativeFixups(graph, stats);
4700616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell      HOptimization* x86_optimizations[] = {
4710f7dca4ca0be8d2f8776794d35edf8b51b5bc997Vladimir Marko          pc_relative_fixups
4720616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell      };
4730616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell      RunOptimizations(x86_optimizations, arraysize(x86_optimizations), pass_observer);
4740616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell      break;
4750616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell    }
4760616ae081e648f4b9b64b33e2624a943c5fce977Mark Mendell#endif
47744b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames    default:
47844b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames      break;
47944b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames  }
48044b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames}
48144b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames
482d28b969c273ab777ca9b147b87fcef671b4f695fNicolas GeoffrayNO_INLINE  // Avoid increasing caller's frame size by large stack-allocated objects.
483d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffraystatic void AllocateRegisters(HGraph* graph,
484d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                              CodeGenerator* codegen,
485d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                              PassObserver* pass_observer) {
486d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  PrepareForRegisterAllocation(graph).Run();
487d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  SsaLivenessAnalysis liveness(graph, codegen);
488d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  {
489d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    PassScope scope(SsaLivenessAnalysis::kLivenessPassName, pass_observer);
490d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    liveness.Analyze();
491d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  }
492d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  {
493d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    PassScope scope(RegisterAllocator::kRegisterAllocatorPassName, pass_observer);
494d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    RegisterAllocator(graph->GetArena(), codegen, liveness).AllocateRegisters();
495d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  }
496d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray}
497d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
498e53798a7e3267305f696bf658e418c92e63e0834Nicolas Geoffraystatic void RunOptimizations(HGraph* graph,
499dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko                             CodeGenerator* codegen,
500e53798a7e3267305f696bf658e418c92e63e0834Nicolas Geoffray                             CompilerDriver* driver,
501e53798a7e3267305f696bf658e418c92e63e0834Nicolas Geoffray                             OptimizingCompilerStats* stats,
502e53798a7e3267305f696bf658e418c92e63e0834Nicolas Geoffray                             const DexCompilationUnit& dex_compilation_unit,
5034833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil                             PassObserver* pass_observer,
5044833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil                             StackHandleScopeCollection* handles) {
505a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  ArenaAllocator* arena = graph->GetArena();
506a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  HDeadCodeElimination* dce1 = new (arena) HDeadCodeElimination(
507a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko      graph, stats, HDeadCodeElimination::kInitialDeadCodeEliminationPassName);
508a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  HDeadCodeElimination* dce2 = new (arena) HDeadCodeElimination(
509a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko      graph, stats, HDeadCodeElimination::kFinalDeadCodeEliminationPassName);
510e34648dec914453f7e8b6c517dd272823319cd6dNicolas Geoffray  HConstantFolding* fold1 = new (arena) HConstantFolding(graph);
511a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  InstructionSimplifier* simplify1 = new (arena) InstructionSimplifier(graph, stats);
51238e9e8046ea2196284bdb4638771c31108a30a4aJean-Philippe Halimi  HSelectGenerator* select_generator = new (arena) HSelectGenerator(graph, stats);
513e34648dec914453f7e8b6c517dd272823319cd6dNicolas Geoffray  HConstantFolding* fold2 = new (arena) HConstantFolding(graph, "constant_folding_after_inlining");
5144a34277c55279ba57ab361f7580db846a201d9b1Aart Bik  HConstantFolding* fold3 = new (arena) HConstantFolding(graph, "constant_folding_after_bce");
515a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  SideEffectsAnalysis* side_effects = new (arena) SideEffectsAnalysis(graph);
516a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  GVNOptimization* gvn = new (arena) GVNOptimization(graph, *side_effects);
51738e9e8046ea2196284bdb4638771c31108a30a4aJean-Philippe Halimi  LICM* licm = new (arena) LICM(graph, *side_effects, stats);
5188df69d42a9e3ccd9456ff72fac8dbd1999f98755Mingyao Yang  LoadStoreElimination* lse = new (arena) LoadStoreElimination(graph, *side_effects);
51922af3bee34d0ab1a4bd186c71ccab00366882259Aart Bik  HInductionVarAnalysis* induction = new (arena) HInductionVarAnalysis(graph);
5204a34277c55279ba57ab361f7580db846a201d9b1Aart Bik  BoundsCheckElimination* bce = new (arena) BoundsCheckElimination(graph, *side_effects, induction);
521dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko  HSharpening* sharpening = new (arena) HSharpening(graph, codegen, dex_compilation_unit, driver);
522a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko  InstructionSimplifier* simplify2 = new (arena) InstructionSimplifier(
52368289a531484d26214e09f1eadd9833531a3bc3cAlex Light      graph, stats, "instruction_simplifier_after_bce");
5244833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil  InstructionSimplifier* simplify3 = new (arena) InstructionSimplifier(
525b2bdfce7f805b00668a2521b1c939a0aafb2be49Nicolas Geoffray      graph, stats, "instruction_simplifier_before_codegen");
52638e9e8046ea2196284bdb4638771c31108a30a4aJean-Philippe Halimi  IntrinsicsRecognizer* intrinsics = new (arena) IntrinsicsRecognizer(graph, driver, stats);
52771fb52fee246b7d511f520febbd73dc7a9bbca79Andreas Gampe
528ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  HOptimization* optimizations1[] = {
529a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko    intrinsics,
5304833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil    sharpening,
531a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko    fold1,
532a3a3c5943522e7325d60cfcbdd17aff1e138f53dVladimir Marko    simplify1,
53318e6873c469b48aaed22148451523479eece98e3Nicolas Geoffray    dce1,
534ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  };
535ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle  RunOptimizations(optimizations1, arraysize(optimizations1), pass_observer);
536ec74835a7e4f2660250a2f3f9508cbbe5269e49aCalin Juravle
5374833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil  MaybeRunInliner(graph, codegen, driver, stats, dex_compilation_unit, pass_observer, handles);
538951779839f0d35ed5336f399c8f521fd9a6b7c27David Brazdil
5398993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil  HOptimization* optimizations2[] = {
54074eb1b264691c4eb399d0858015a7fc13c476ac6David Brazdil    // SelectGenerator depends on the InstructionSimplifier removing
5418993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    // redundant suspend checks to recognize empty blocks.
54274eb1b264691c4eb399d0858015a7fc13c476ac6David Brazdil    select_generator,
5438993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    fold2,  // TODO: if we don't inline we can also skip fold2.
5448993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    side_effects,
5458993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    gvn,
5468993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    licm,
5478993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    induction,
5488993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    bce,
5498993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    fold3,  // evaluates code generated by dynamic bce
5504833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil    simplify2,
5518993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    lse,
5528993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    dce2,
5538993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    // The codegen has a few assumptions that only the instruction simplifier
5548993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    // can satisfy. For example, the code generator does not expect to see a
5558993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil    // HTypeConversion from a type to the same type.
5564833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil    simplify3,
5578993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil  };
5588993caf6571863c8e5eec0b2ce4d72f6f1793f31David Brazdil  RunOptimizations(optimizations2, arraysize(optimizations2), pass_observer);
55939fabd6bb6fcf7a712b370d3b6fd0ada83e2e5d8David Brazdil
56044b9cf937836bb33139123e15ca8b586b5853268Alexandre Rames  RunArchOptimizations(driver->GetInstructionSet(), graph, stats, pass_observer);
561d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  AllocateRegisters(graph, codegen, pass_observer);
5625e6916cea259897baaca019c5c7a5d05746306edNicolas Geoffray}
5635e6916cea259897baaca019c5c7a5d05746306edNicolas Geoffray
564581550137ee3a068a14224870e71aeee924a0646Vladimir Markostatic ArenaVector<LinkerPatch> EmitAndSortLinkerPatches(CodeGenerator* codegen) {
565581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  ArenaVector<LinkerPatch> linker_patches(codegen->GetGraph()->GetArena()->Adapter());
566581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  codegen->EmitLinkerPatches(&linker_patches);
567581550137ee3a068a14224870e71aeee924a0646Vladimir Marko
568581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  // Sort patches by literal offset. Required for .oat_patches encoding.
569581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  std::sort(linker_patches.begin(), linker_patches.end(),
570581550137ee3a068a14224870e71aeee924a0646Vladimir Marko            [](const LinkerPatch& lhs, const LinkerPatch& rhs) {
571581550137ee3a068a14224870e71aeee924a0646Vladimir Marko    return lhs.LiteralOffset() < rhs.LiteralOffset();
572581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  });
573581550137ee3a068a14224870e71aeee924a0646Vladimir Marko
574581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  return linker_patches;
575581550137ee3a068a14224870e71aeee924a0646Vladimir Marko}
576581550137ee3a068a14224870e71aeee924a0646Vladimir Marko
57758282f4510961317b8d5a364a6f740a78926716fDavid BrazdilCompiledMethod* OptimizingCompiler::Emit(ArenaAllocator* arena,
57858282f4510961317b8d5a364a6f740a78926716fDavid Brazdil                                         CodeVectorAllocator* code_allocator,
57958282f4510961317b8d5a364a6f740a78926716fDavid Brazdil                                         CodeGenerator* codegen,
580b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                                         CompilerDriver* compiler_driver,
581b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                                         const DexFile::CodeItem* code_item) const {
582581550137ee3a068a14224870e71aeee924a0646Vladimir Marko  ArenaVector<LinkerPatch> linker_patches = EmitAndSortLinkerPatches(codegen);
583f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko  ArenaVector<uint8_t> stack_map(arena->Adapter(kArenaAllocStackMaps));
584d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  stack_map.resize(codegen->ComputeStackMapsSize());
585b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray  codegen->BuildStackMaps(MemoryRegion(stack_map.data(), stack_map.size()), *code_item);
58612df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray
587eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames  CompiledMethod* compiled_method = CompiledMethod::SwapAllocCompiledMethod(
58812df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray      compiler_driver,
58912df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray      codegen->GetInstructionSet(),
590d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      ArrayRef<const uint8_t>(code_allocator->GetMemory()),
591aa9b7c48069699e2aabedc6c0f62cb131fee0c73Roland Levillain      // Follow Quick's behavior and set the frame size to zero if it is
592aa9b7c48069699e2aabedc6c0f62cb131fee0c73Roland Levillain      // considered "empty" (see the definition of
593aa9b7c48069699e2aabedc6c0f62cb131fee0c73Roland Levillain      // art::CodeGenerator::HasEmptyFrame).
594aa9b7c48069699e2aabedc6c0f62cb131fee0c73Roland Levillain      codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
59512df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray      codegen->GetCoreSpillMask(),
596d97dc40d186aec46bfd318b6a2026a98241d7e9cNicolas Geoffray      codegen->GetFpuSpillMask(),
597f71b3ade9c99ce2fec2f5049ce9c5968721e1b81David Srbecky      ArrayRef<const SrcMapElem>(),
598c6b4dd8980350aaf250f0185f73e9c42ec17cd57David Srbecky      ArrayRef<const uint8_t>(),  // mapping_table.
599c6b4dd8980350aaf250f0185f73e9c42ec17cd57David Srbecky      ArrayRef<const uint8_t>(stack_map),
600c6b4dd8980350aaf250f0185f73e9c42ec17cd57David Srbecky      ArrayRef<const uint8_t>(),  // native_gc_map.
601c6b4dd8980350aaf250f0185f73e9c42ec17cd57David Srbecky      ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
602581550137ee3a068a14224870e71aeee924a0646Vladimir Marko      ArrayRef<const LinkerPatch>(linker_patches));
603ed15000a5099f5e230c8ded5ac75692bae272650Mathieu Chartier
604eb7b7399dbdb5e471b8ae00a567bf4f19edd3907Alexandre Rames  return compiled_method;
60512df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray}
60612df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray
607d28b969c273ab777ca9b147b87fcef671b4f695fNicolas GeoffrayCodeGenerator* OptimizingCompiler::TryCompile(ArenaAllocator* arena,
608d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              CodeVectorAllocator* code_allocator,
609d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              const DexFile::CodeItem* code_item,
610d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              uint32_t access_flags,
611d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              InvokeType invoke_type,
612d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              uint16_t class_def_idx,
613d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              uint32_t method_idx,
614d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              jobject class_loader,
615d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                              const DexFile& dex_file,
616b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                                              Handle<mirror::DexCache> dex_cache,
617b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                                              bool osr) const {
6182be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle  MaybeRecordStat(MethodCompilationStat::kAttemptCompilation);
619cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle  CompilerDriver* compiler_driver = GetCompilerDriver();
620cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle  InstructionSet instruction_set = compiler_driver->GetInstructionSet();
621cff8cc7818dd901d3667025ad0ff654100bbb629Calin Juravle
6223b359c71f2fb784589be113206932e76807787bbRoland Levillain  // Always use the Thumb-2 assembler: some runtime functionality
6233b359c71f2fb784589be113206932e76807787bbRoland Levillain  // (like implicit stack overflow checks) assume Thumb-2.
6248d486731559ba0c5e12c27b4a507181333702b7eNicolas Geoffray  if (instruction_set == kArm) {
6258d486731559ba0c5e12c27b4a507181333702b7eNicolas Geoffray    instruction_set = kThumb2;
6268fb5ce3a7e1dec587642f900be86729c10224174Nicolas Geoffray  }
6278fb5ce3a7e1dec587642f900be86729c10224174Nicolas Geoffray
6288fb5ce3a7e1dec587642f900be86729c10224174Nicolas Geoffray  // Do not attempt to compile on architectures we do not support.
6291ba0f596e9e4ddd778ab431237d11baa85594ebaNicolas Geoffray  if (!IsInstructionSetSupported(instruction_set)) {
6302be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    MaybeRecordStat(MethodCompilationStat::kNotCompiledUnsupportedIsa);
6318fb5ce3a7e1dec587642f900be86729c10224174Nicolas Geoffray    return nullptr;
6328fb5ce3a7e1dec587642f900be86729c10224174Nicolas Geoffray  }
6338fb5ce3a7e1dec587642f900be86729c10224174Nicolas Geoffray
6340d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain  // When read barriers are enabled, do not attempt to compile for
6350d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain  // instruction sets that have no read barrier support.
6360d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain  if (kEmitCompilerReadBarrier && !InstructionSetSupportsReadBarrier(instruction_set)) {
6370d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain    return nullptr;
6380d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain  }
6390d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain
640b5f62b3dc5ac2731ba8ad53cdf3d9bdb14fbf86bNicolas Geoffray  if (Compiler::IsPathologicalCase(*code_item, method_idx, dex_file)) {
6412be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    MaybeRecordStat(MethodCompilationStat::kNotCompiledPathological);
642b5f62b3dc5ac2731ba8ad53cdf3d9bdb14fbf86bNicolas Geoffray    return nullptr;
643b5f62b3dc5ac2731ba8ad53cdf3d9bdb14fbf86bNicolas Geoffray  }
644b5f62b3dc5ac2731ba8ad53cdf3d9bdb14fbf86bNicolas Geoffray
64536540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray  // Implementation of the space filter: do not compile a code item whose size in
646432bf3d525dd0736c91238d69e29b4db6a2f7b80Nicolas Geoffray  // code units is bigger than 128.
647432bf3d525dd0736c91238d69e29b4db6a2f7b80Nicolas Geoffray  static constexpr size_t kSpaceFilterOptimizingThreshold = 128;
64836540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray  const CompilerOptions& compiler_options = compiler_driver->GetCompilerOptions();
64936540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray  if ((compiler_options.GetCompilerFilter() == CompilerOptions::kSpace)
65036540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray      && (code_item->insns_size_in_code_units_ > kSpaceFilterOptimizingThreshold)) {
6512be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    MaybeRecordStat(MethodCompilationStat::kNotCompiledSpaceFilter);
65236540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray    return nullptr;
65336540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray  }
65436540cb4d549c706cc7cd23086684f1548a91042Nicolas Geoffray
65592cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray  DexCompilationUnit dex_compilation_unit(
6569523a3ed0ae6fa31cd978a3999fd88233218f98bNicolas Geoffray    nullptr, class_loader, Runtime::Current()->GetClassLinker(), dex_file, code_item,
65772d32629303f8f39362a4099481f48646aed042fIan Rogers    class_def_idx, method_idx, access_flags,
6585b82d339955d1a0dc23eeb8d2d5659459ff987baNicolas Geoffray    nullptr, dex_cache);
65992cf83e001357329cbf41fa15a6e053fab6f4933Nicolas Geoffray
6603cd4fc8bbb40a57d2ffde85f543c124f53237c1dCalin Juravle  bool requires_barrier = dex_compilation_unit.IsConstructor()
6613cd4fc8bbb40a57d2ffde85f543c124f53237c1dCalin Juravle      && compiler_driver->RequiresConstructorBarrier(Thread::Current(),
6623cd4fc8bbb40a57d2ffde85f543c124f53237c1dCalin Juravle                                                     dex_compilation_unit.GetDexFile(),
6633cd4fc8bbb40a57d2ffde85f543c124f53237c1dCalin Juravle                                                     dex_compilation_unit.GetClassDefIndex());
664badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil
665d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  HGraph* graph = new (arena) HGraph(
666b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      arena,
667b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      dex_file,
668b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      method_idx,
669b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      requires_barrier,
670b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      compiler_driver->GetInstructionSet(),
671b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      kInvalidInvokeType,
672b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      compiler_driver->GetCompilerOptions().GetDebuggable(),
673b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      osr);
674e53798a7e3267305f696bf658e418c92e63e0834Nicolas Geoffray
675badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil  const uint8_t* interpreter_metadata = nullptr;
676badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil  {
677badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    ScopedObjectAccess soa(Thread::Current());
678badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    StackHandleScope<1> hs(soa.Self());
679badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    Handle<mirror::ClassLoader> loader(hs.NewHandle(
680badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        soa.Decode<mirror::ClassLoader*>(class_loader)));
681badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    ArtMethod* art_method = compiler_driver->ResolveMethod(
682badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        soa, dex_cache, loader, &dex_compilation_unit, method_idx, invoke_type);
683badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    // We may not get a method, for example if its class is erroneous.
684badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    if (art_method != nullptr) {
685badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      graph->SetArtMethod(art_method);
686badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      interpreter_metadata = art_method->GetQuickenedInfo();
687badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    }
688badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil  }
689badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil
69012df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray  std::unique_ptr<CodeGenerator> codegen(
691cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle      CodeGenerator::Create(graph,
692cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle                            instruction_set,
693cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle                            *compiler_driver->GetInstructionSetFeatures(),
694cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle                            compiler_driver->GetCompilerOptions()));
69512df9ebf72255544b0147c81b1dca6644a29764eNicolas Geoffray  if (codegen.get() == nullptr) {
6962be39e05ea8c4475278fe6a6573c3c8f04e075d4Calin Juravle    MaybeRecordStat(MethodCompilationStat::kNotCompiledNoCodegen);
697787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray    return nullptr;
698787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray  }
699c6b4dd8980350aaf250f0185f73e9c42ec17cd57David Srbecky  codegen->GetAssembler()->cfi().SetEnabled(
7005b1c2ca30dad519be285f0a1e839c23cc4e3a51dDavid Srbecky      compiler_driver->GetCompilerOptions().GenerateAnyDebugInfo());
701787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray
70269ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil  PassObserver pass_observer(graph,
70369ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil                             codegen.get(),
70469ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil                             visualizer_output_.get(),
70569ba7b7112c2277ac225615b37e6df74c055740dDavid Brazdil                             compiler_driver);
7065e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
7070d1caa5df8d99320036888600190337bbe540731Vladimir Marko  VLOG(compiler) << "Building " << pass_observer.GetMethodName();
7085e8b137d28c840b128e2488f954cccee3e86db14David Brazdil
709809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil  {
710badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    ScopedObjectAccess soa(Thread::Current());
711badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    StackHandleScopeCollection handles(soa.Self());
712badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    // Do not hold `mutator_lock_` between optimizations.
713badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    ScopedThreadSuspension sts(soa.Self(), kNative);
714badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil
715badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    {
716badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      PassScope scope(HGraphBuilder::kBuilderPassName, &pass_observer);
717badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      HGraphBuilder builder(graph,
718badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            &dex_compilation_unit,
719badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            &dex_compilation_unit,
720badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            &dex_file,
721badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            compiler_driver,
722badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            compilation_stats_.get(),
723badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            interpreter_metadata,
724badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                            dex_cache);
725badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      GraphAnalysisResult result = builder.BuildGraph(*code_item, &handles);
726badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      if (result != kAnalysisSuccess) {
727badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        switch (result) {
728badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil          case kAnalysisInvalidBytecode:
729badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil            break;
730badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil          case kAnalysisFailThrowCatchLoop:
731badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil            MaybeRecordStat(MethodCompilationStat::kNotCompiledThrowCatchLoop);
732badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil            break;
733badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil          case kAnalysisFailAmbiguousArrayOp:
734badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil            MaybeRecordStat(MethodCompilationStat::kNotCompiledAmbiguousArrayOp);
735badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil            break;
736badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil          case kAnalysisSuccess:
737badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil            UNREACHABLE();
738badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        }
739badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        pass_observer.SetGraphInBadState();
740badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil        return nullptr;
741badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil      }
742809658ec5c5515ae9eb87d32012ec5e088612949David Brazdil    }
743a7062e05e6048c7f817d784a5b94e3122e25b1ecNicolas Geoffray
744badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    RunOptimizations(graph,
745badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                     codegen.get(),
746badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                     compiler_driver,
747badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                     compilation_stats_.get(),
748badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                     dex_compilation_unit,
749badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                     &pass_observer,
750badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil                     &handles);
7514833f5a1990c76bc2be89504225fb13cca22bedfDavid Brazdil
752badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    codegen->Compile(code_allocator);
753badd826664896d4a9628a5a89b78016894aa414bDavid Brazdil    pass_observer.DumpDisassembly();
754216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray  }
75558282f4510961317b8d5a364a6f740a78926716fDavid Brazdil
756f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko  if (kArenaAllocatorCountAllocations) {
757d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    if (arena->BytesAllocated() > 4 * MB) {
758d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      MemStats mem_stats(arena->GetMemStats());
759f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko      LOG(INFO) << PrettyMethod(method_idx, dex_file) << " " << Dumpable<MemStats>(mem_stats);
760f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko    }
761f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko  }
762f9f6441c665b5ff9004d3ed55014f46d416fb1bbVladimir Marko
763d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  return codegen.release();
764216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray}
765216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray
76607380a2d6cb9feee02facc81f699eed5cb670cd5Calin Juravlestatic bool CanHandleVerificationFailure(const VerifiedMethod* verified_method) {
76707380a2d6cb9feee02facc81f699eed5cb670cd5Calin Juravle  // For access errors the compiler will use the unresolved helpers (e.g. HInvokeUnresolved).
76807380a2d6cb9feee02facc81f699eed5cb670cd5Calin Juravle  uint32_t unresolved_mask = verifier::VerifyError::VERIFY_ERROR_NO_CLASS
76907380a2d6cb9feee02facc81f699eed5cb670cd5Calin Juravle      | verifier::VerifyError::VERIFY_ERROR_ACCESS_CLASS
77007380a2d6cb9feee02facc81f699eed5cb670cd5Calin Juravle      | verifier::VerifyError::VERIFY_ERROR_ACCESS_FIELD
77107380a2d6cb9feee02facc81f699eed5cb670cd5Calin Juravle      | verifier::VerifyError::VERIFY_ERROR_ACCESS_METHOD;
772175dc732c80e6f2afd83209348124df349290ba8Calin Juravle  return (verified_method->GetEncounteredVerificationFailures() & (~unresolved_mask)) == 0;
773175dc732c80e6f2afd83209348124df349290ba8Calin Juravle}
774175dc732c80e6f2afd83209348124df349290ba8Calin Juravle
775216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas GeoffrayCompiledMethod* OptimizingCompiler::Compile(const DexFile::CodeItem* code_item,
776216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray                                            uint32_t access_flags,
777216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray                                            InvokeType invoke_type,
778216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray                                            uint16_t class_def_idx,
779216eaa2927f424821a03d7c4c6bf701fdb48e865Nicolas Geoffray                                            uint32_t method_idx,
780f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle                                            jobject jclass_loader,
781736b560f2d2c89b63dc895888c671b5519afa4c8Mathieu Chartier                                            const DexFile& dex_file,
782736b560f2d2c89b63dc895888c671b5519afa4c8Mathieu Chartier                                            Handle<mirror::DexCache> dex_cache) const {
783f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle  CompilerDriver* compiler_driver = GetCompilerDriver();
784f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle  CompiledMethod* method = nullptr;
785d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  DCHECK(Runtime::Current()->IsAotCompiler());
786d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const VerifiedMethod* verified_method = compiler_driver->GetVerifiedMethod(&dex_file, method_idx);
787d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  DCHECK(!verified_method->HasRuntimeThrow());
788d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  if (compiler_driver->IsMethodVerifiedWithoutFailures(method_idx, class_def_idx, dex_file)
789d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      || CanHandleVerificationFailure(verified_method)) {
790d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    ArenaAllocator arena(Runtime::Current()->GetArenaPool());
791d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    CodeVectorAllocator code_allocator(&arena);
792d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    std::unique_ptr<CodeGenerator> codegen(
793d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray        TryCompile(&arena,
794d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   &code_allocator,
795d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   code_item,
796d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   access_flags,
797d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   invoke_type,
798d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   class_def_idx,
799d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   method_idx,
800d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   jclass_loader,
801d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   dex_file,
802b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                   dex_cache,
803b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                   /* osr */ false));
804d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    if (codegen.get() != nullptr) {
805ad543383b5883d6e32993efaefc704eff3225ffeCalin Juravle      MaybeRecordStat(MethodCompilationStat::kCompiled);
806b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      method = Emit(&arena, &code_allocator, codegen.get(), compiler_driver, code_item);
807f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle    }
8080c3c2668ef44fdbd18d97f9134a85d1a7d561aa4Nicolas Geoffray  } else {
809d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    if (compiler_driver->GetCompilerOptions().VerifyAtRuntime()) {
810d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      MaybeRecordStat(MethodCompilationStat::kNotCompiledVerifyAtRuntime);
811d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    } else {
812ad543383b5883d6e32993efaefc704eff3225ffeCalin Juravle      MaybeRecordStat(MethodCompilationStat::kNotCompiledVerificationError);
813d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    }
814f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle  }
815f1c6d9e87cbfd27702103ccc7c7f08ce784dc872Calin Juravle
816cff8cc7818dd901d3667025ad0ff654100bbb629Calin Juravle  if (kIsDebugBuild &&
817cff8cc7818dd901d3667025ad0ff654100bbb629Calin Juravle      IsCompilingWithCoreImage() &&
8180d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain      IsInstructionSetSupported(compiler_driver->GetInstructionSet()) &&
8190d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain      (!kEmitCompilerReadBarrier ||
8200d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain       InstructionSetSupportsReadBarrier(compiler_driver->GetInstructionSet()))) {
8210d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain    // For testing purposes, we put a special marker on method names
8220d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain    // that should be compiled with this compiler (when the the
8230d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain    // instruction set is supported -- and has support for read
8240d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain    // barriers, if they are enabled). This makes sure we're not
8250d5a281c671444bfa75d63caf1427a8c0e6e1177Roland Levillain    // regressing.
82609b1d6f749437bdd47f61e7c4f924f6d16b59536Calin Juravle    std::string method_name = PrettyMethod(method_idx, dex_file);
82709b1d6f749437bdd47f61e7c4f924f6d16b59536Calin Juravle    bool shouldCompile = method_name.find("$opt$") != std::string::npos;
82809b1d6f749437bdd47f61e7c4f924f6d16b59536Calin Juravle    DCHECK((method != nullptr) || !shouldCompile) << "Didn't compile " << method_name;
82909b1d6f749437bdd47f61e7c4f924f6d16b59536Calin Juravle  }
83009b1d6f749437bdd47f61e7c4f924f6d16b59536Calin Juravle
83112be74e37b587ef2dea838d480018f4658b95ad7Nicolas Geoffray  return method;
832b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray}
833b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray
83453c913bb71b218714823c8c87a1f92830c336f61Andreas GampeCompiler* CreateOptimizingCompiler(CompilerDriver* driver) {
83553c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe  return new OptimizingCompiler(driver);
83653c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe}
83753c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe
838335005e2b3a179f26b7a8ae64ca60a1406b669bdNicolas Geoffraybool IsCompilingWithCoreImage() {
839335005e2b3a179f26b7a8ae64ca60a1406b669bdNicolas Geoffray  const std::string& image = Runtime::Current()->GetImageLocation();
840dcdc85bbd569f0ee66c331b4219c19304a616214Jeff Hao  // TODO: This is under-approximating...
841dcdc85bbd569f0ee66c331b4219c19304a616214Jeff Hao  if (EndsWith(image, "core.art") || EndsWith(image, "core-optimizing.art")) {
842dcdc85bbd569f0ee66c331b4219c19304a616214Jeff Hao    return true;
843dcdc85bbd569f0ee66c331b4219c19304a616214Jeff Hao  }
844dcdc85bbd569f0ee66c331b4219c19304a616214Jeff Hao  return false;
845335005e2b3a179f26b7a8ae64ca60a1406b669bdNicolas Geoffray}
846335005e2b3a179f26b7a8ae64ca60a1406b669bdNicolas Geoffray
847d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffraybool OptimizingCompiler::JitCompile(Thread* self,
848d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                                    jit::JitCodeCache* code_cache,
849b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                                    ArtMethod* method,
850b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                                    bool osr) {
851d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  StackHandleScope<2> hs(self);
852d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  Handle<mirror::ClassLoader> class_loader(hs.NewHandle(
853d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      method->GetDeclaringClass()->GetClassLoader()));
854d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  Handle<mirror::DexCache> dex_cache(hs.NewHandle(method->GetDexCache()));
855d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
856d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  jobject jclass_loader = class_loader.ToJObject();
857d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const DexFile* dex_file = method->GetDexFile();
858d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const uint16_t class_def_idx = method->GetClassDefIndex();
859d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset());
860d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const uint32_t method_idx = method->GetDexMethodIndex();
861d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const uint32_t access_flags = method->GetAccessFlags();
862d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const InvokeType invoke_type = method->GetInvokeType();
863d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
86425e0456b6ea13eba290b63ea88b6b7120ed89413Nicolas Geoffray  ArenaAllocator arena(Runtime::Current()->GetJitArenaPool());
865d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  CodeVectorAllocator code_allocator(&arena);
866d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  std::unique_ptr<CodeGenerator> codegen;
867d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  {
868d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    // Go to native so that we don't block GC during compilation.
869d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    ScopedThreadSuspension sts(self, kNative);
870d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    codegen.reset(
871d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray        TryCompile(&arena,
872d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   &code_allocator,
873d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   code_item,
874d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   access_flags,
875d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   invoke_type,
876d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   class_def_idx,
877d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   method_idx,
878d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   jclass_loader,
879d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray                   *dex_file,
880b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                   dex_cache,
881b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray                   osr));
882d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    if (codegen.get() == nullptr) {
883d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      return false;
884d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    }
885d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  }
886d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
887d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  size_t stack_map_size = codegen->ComputeStackMapsSize();
888d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  uint8_t* stack_map_data = code_cache->ReserveData(self, stack_map_size);
889d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  if (stack_map_data == nullptr) {
890d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    return false;
891d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  }
89273be1e8f8609708f6624bb297c9628de44fd8b6fNicolas Geoffray  MaybeRecordStat(MethodCompilationStat::kCompiled);
893b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray  codegen->BuildStackMaps(MemoryRegion(stack_map_data, stack_map_size), *code_item);
894d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  const void* code = code_cache->CommitCode(
895d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      self,
896d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      method,
897d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      nullptr,
898d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      stack_map_data,
899d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      nullptr,
900d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
901d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      codegen->GetCoreSpillMask(),
902d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      codegen->GetFpuSpillMask(),
903d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray      code_allocator.GetMemory().data(),
904b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      code_allocator.GetSize(),
905b331febbab8e916680faba722cc84b66b84218a3Nicolas Geoffray      osr);
906d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
907d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  if (code == nullptr) {
908d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    code_cache->ClearData(self, stack_map_data);
909d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray    return false;
910d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  }
911d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
9125cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky  if (GetCompilerDriver()->GetCompilerOptions().GetGenerateDebugInfo()) {
9135cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky    const auto* method_header = reinterpret_cast<const OatQuickMethodHeader*>(code);
9145cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky    const uintptr_t code_address = reinterpret_cast<uintptr_t>(method_header->GetCode());
9155cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky    CompiledMethod compiled_method(
9165cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        GetCompilerDriver(),
9175cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        codegen->GetInstructionSet(),
9185cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const uint8_t>(code_allocator.GetMemory()),
9195cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        codegen->HasEmptyFrame() ? 0 : codegen->GetFrameSize(),
9205cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        codegen->GetCoreSpillMask(),
9215cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        codegen->GetFpuSpillMask(),
9225cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const SrcMapElem>(),
9235cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const uint8_t>(),  // mapping_table.
9245cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const uint8_t>(stack_map_data, stack_map_size),
9255cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const uint8_t>(),  // native_gc_map.
9265cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const uint8_t>(*codegen->GetAssembler()->cfi().data()),
9275cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        ArrayRef<const LinkerPatch>());
928c5bfa97c47d656b76f297af8abcd5f7502987399David Srbecky    debug::MethodDebugInfo method_debug_info {
9295cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        dex_file,
9305cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        class_def_idx,
9315cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        method_idx,
9325cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        access_flags,
9335cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        code_item,
9345cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        false,  // deduped.
9355cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        code_address,
9365cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        code_address + code_allocator.GetSize(),
9375cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky        &compiled_method
9385cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky    };
939c5bfa97c47d656b76f297af8abcd5f7502987399David Srbecky    ArrayRef<const uint8_t> elf_file = debug::WriteDebugElfFileForMethod(method_debug_info);
9405cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky    CreateJITCodeEntryForAddress(code_address,
9415cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky                                 std::unique_ptr<const uint8_t[]>(elf_file.data()),
9425cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky                                 elf_file.size());
9435cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky  }
9445cc349f3dd578e974f78314c50b6a0267c23e591David Srbecky
945d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray  return true;
946d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray}
947d28b969c273ab777ca9b147b87fcef671b4f695fNicolas Geoffray
948b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray}  // namespace art
949