blob: 74603c668fdd172af8665266871da707c48b71e4 [file] [log] [blame]
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001/*
2 * Copyright 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
17#include "jit_compiler.h"
18
Andreas Gampe46ee31b2016-12-14 10:11:49 -080019#include "android-base/stringprintf.h"
20
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080021#include "arch/instruction_set.h"
22#include "arch/instruction_set_features.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000023#include "art_method-inl.h"
Andreas Gampe170331f2017-12-07 18:41:03 -080024#include "base/logging.h" // For VLOG
Mathieu Chartier085fc872015-10-15 18:19:01 -070025#include "base/stringpiece.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010026#include "base/time_utils.h"
Mathieu Chartiera4885cb2015-03-09 15:38:54 -070027#include "base/timing_logger.h"
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000028#include "base/unix_file/fd_file.h"
David Srbeckyc5bfa972016-02-05 15:49:10 +000029#include "debug/elf_debug_writer.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080030#include "driver/compiler_driver.h"
31#include "driver/compiler_options.h"
Tamas Berghammer160e6df2016-01-05 14:29:02 +000032#include "jit/debugger_interface.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080033#include "jit/jit.h"
34#include "jit/jit_code_cache.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080035#include "oat_file-inl.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010036#include "oat_quick_method_header.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080037#include "object_lock.h"
Matthew Gharrity2cd05b72016-08-03 16:57:37 -070038#include "optimizing/register_allocator.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080039#include "thread_list.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080040
41namespace art {
42namespace jit {
43
44JitCompiler* JitCompiler::Create() {
45 return new JitCompiler();
46}
47
Nicolas Geoffray5b82d332016-02-18 14:22:32 +000048extern "C" void* jit_load(bool* generate_debug_info) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080049 VLOG(jit) << "loading jit compiler";
50 auto* const jit_compiler = JitCompiler::Create();
51 CHECK(jit_compiler != nullptr);
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000052 *generate_debug_info = jit_compiler->GetCompilerOptions()->GetGenerateDebugInfo();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080053 VLOG(jit) << "Done loading jit compiler";
54 return jit_compiler;
55}
56
57extern "C" void jit_unload(void* handle) {
58 DCHECK(handle != nullptr);
59 delete reinterpret_cast<JitCompiler*>(handle);
60}
61
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +000062extern "C" bool jit_compile_method(
63 void* handle, ArtMethod* method, Thread* self, bool osr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070064 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080065 auto* jit_compiler = reinterpret_cast<JitCompiler*>(handle);
66 DCHECK(jit_compiler != nullptr);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +000067 return jit_compiler->CompileMethod(self, method, osr);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080068}
69
Tamas Berghammerfffbee42016-01-15 13:09:34 +000070extern "C" void jit_types_loaded(void* handle, mirror::Class** types, size_t count)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070071 REQUIRES_SHARED(Locks::mutator_lock_) {
Tamas Berghammer160e6df2016-01-05 14:29:02 +000072 auto* jit_compiler = reinterpret_cast<JitCompiler*>(handle);
73 DCHECK(jit_compiler != nullptr);
74 if (jit_compiler->GetCompilerOptions()->GetGenerateDebugInfo()) {
Tamas Berghammerfffbee42016-01-15 13:09:34 +000075 const ArrayRef<mirror::Class*> types_array(types, count);
Vladimir Marko93205e32016-04-13 11:59:46 +010076 std::vector<uint8_t> elf_file = debug::WriteDebugElfFileForClasses(
David Srbecky5d811202016-03-08 13:21:22 +000077 kRuntimeISA, jit_compiler->GetCompilerDriver()->GetInstructionSetFeatures(), types_array);
Vladimir Marko93205e32016-04-13 11:59:46 +010078 CreateJITCodeEntry(std::move(elf_file));
Tamas Berghammer160e6df2016-01-05 14:29:02 +000079 }
80}
81
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +000082JitCompiler::JitCompiler() {
Nicolas Geoffray57c47042017-06-29 11:31:39 +010083 compiler_options_.reset(new CompilerOptions());
Nicolas Geoffray62a2f272017-11-10 16:46:43 +000084 // Special case max code units for inlining, whose default is "unset" (implictly
85 // meaning no limit). Do this before parsing the actuall passed options.
86 compiler_options_->SetInlineMaxCodeUnits(CompilerOptions::kDefaultInlineMaxCodeUnits);
Andreas Gampe097f34c2017-08-23 08:57:51 -070087 {
88 std::string error_msg;
89 if (!compiler_options_->ParseCompilerOptions(Runtime::Current()->GetCompilerOptions(),
90 true /* ignore_unrecognized */,
91 &error_msg)) {
92 LOG(FATAL) << error_msg;
93 UNREACHABLE();
94 }
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000095 }
Vladimir Marko2fad5272017-05-17 12:57:18 +010096 // JIT is never PIC, no matter what the runtime compiler options specify.
97 compiler_options_->SetNonPic();
98
Nicolas Geoffray57c47042017-06-29 11:31:39 +010099 // Set debuggability based on the runtime value.
100 compiler_options_->SetDebuggable(Runtime::Current()->IsJavaDebuggable());
101
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800102 const InstructionSet instruction_set = kRuntimeISA;
Mathieu Chartier085fc872015-10-15 18:19:01 -0700103 for (const StringPiece option : Runtime::Current()->GetCompilerOptions()) {
104 VLOG(compiler) << "JIT compiler option " << option;
105 std::string error_msg;
106 if (option.starts_with("--instruction-set-variant=")) {
107 StringPiece str = option.substr(strlen("--instruction-set-variant=")).data();
108 VLOG(compiler) << "JIT instruction set variant " << str;
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800109 instruction_set_features_ = InstructionSetFeatures::FromVariant(
110 instruction_set, str.as_string(), &error_msg);
Mathieu Chartier085fc872015-10-15 18:19:01 -0700111 if (instruction_set_features_ == nullptr) {
112 LOG(WARNING) << "Error parsing " << option << " message=" << error_msg;
113 }
114 } else if (option.starts_with("--instruction-set-features=")) {
115 StringPiece str = option.substr(strlen("--instruction-set-features=")).data();
116 VLOG(compiler) << "JIT instruction set features " << str;
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800117 if (instruction_set_features_ == nullptr) {
118 instruction_set_features_ = InstructionSetFeatures::FromVariant(
119 instruction_set, "default", &error_msg);
Mathieu Chartier085fc872015-10-15 18:19:01 -0700120 if (instruction_set_features_ == nullptr) {
121 LOG(WARNING) << "Error parsing " << option << " message=" << error_msg;
122 }
123 }
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800124 instruction_set_features_ =
125 instruction_set_features_->AddFeaturesFromString(str.as_string(), &error_msg);
Mathieu Chartier085fc872015-10-15 18:19:01 -0700126 if (instruction_set_features_ == nullptr) {
127 LOG(WARNING) << "Error parsing " << option << " message=" << error_msg;
128 }
129 }
130 }
131 if (instruction_set_features_ == nullptr) {
Andreas Gampe0415b4e2015-01-06 15:17:07 -0800132 instruction_set_features_ = InstructionSetFeatures::FromCppDefines();
Mathieu Chartier085fc872015-10-15 18:19:01 -0700133 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800134 compiler_driver_.reset(new CompilerDriver(
Nicolas Geoffray7a4d0152015-07-10 17:29:39 +0100135 compiler_options_.get(),
Nicolas Geoffray5b82d332016-02-18 14:22:32 +0000136 /* verification_results */ nullptr,
Nicolas Geoffray7a4d0152015-07-10 17:29:39 +0100137 Compiler::kOptimizing,
138 instruction_set,
139 instruction_set_features_.get(),
Nicolas Geoffray7a4d0152015-07-10 17:29:39 +0100140 /* image_classes */ nullptr,
141 /* compiled_classes */ nullptr,
142 /* compiled_methods */ nullptr,
143 /* thread_count */ 1,
Nicolas Geoffray7a4d0152015-07-10 17:29:39 +0100144 /* swap_fd */ -1,
Calin Juravle998c2162015-12-21 15:39:33 +0200145 /* profile_compilation_info */ nullptr));
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800146 // Disable dedupe so we can remove compiled methods.
147 compiler_driver_->SetDedupeEnabled(false);
148 compiler_driver_->SetSupportBootImageFixup(false);
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000149
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000150 size_t thread_count = compiler_driver_->GetThreadCount();
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000151 if (compiler_options_->GetGenerateDebugInfo()) {
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000152 DCHECK_EQ(thread_count, 1u)
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000153 << "Generating debug info only works with one compiler thread";
xueliang.zhong383b57d2016-10-04 11:19:17 +0100154 jit_logger_.reset(new JitLogger());
155 jit_logger_->OpenLog();
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000156 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800157}
158
159JitCompiler::~JitCompiler() {
xueliang.zhong383b57d2016-10-04 11:19:17 +0100160 if (compiler_options_->GetGenerateDebugInfo()) {
161 jit_logger_->CloseLog();
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000162 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800163}
164
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000165bool JitCompiler::CompileMethod(Thread* self, ArtMethod* method, bool osr) {
Nicolas Geoffrayd9994f02016-02-11 17:35:55 +0000166 DCHECK(!method->IsProxyMethod());
Nicolas Geoffray23ddfe82017-06-07 14:09:43 +0100167 DCHECK(method->GetDeclaringClass()->IsResolved());
168
Nicolas Geoffray3d699222017-09-20 15:15:20 +0100169 TimingLogger logger(
170 "JIT compiler timing logger", true, VLOG_IS_ON(jit), TimingLogger::TimingKind::kThreadCpu);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800171 self->AssertNoPendingException();
172 Runtime* runtime = Runtime::Current();
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100173
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100174 // Do the compilation.
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000175 bool success = false;
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700176 {
177 TimingLogger::ScopedTiming t2("Compiling", &logger);
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100178 JitCodeCache* const code_cache = runtime->GetJit()->GetCodeCache();
Nicolas Geoffray01db5f72017-07-19 15:05:49 +0100179 success = compiler_driver_->GetCompiler()->JitCompile(
180 self, code_cache, method, osr, jit_logger_.get());
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700181 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100182
183 // Trim maps to reduce memory usage.
Nicolas Geoffray25e04562016-03-01 13:17:58 +0000184 // TODO: move this to an idle phase.
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700185 {
186 TimingLogger::ScopedTiming t2("TrimMaps", &logger);
Nicolas Geoffray25e04562016-03-01 13:17:58 +0000187 runtime->GetJitArenaPool()->TrimMaps();
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700188 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100189
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700190 runtime->GetJit()->AddTimingLogger(logger);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000191 return success;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800192}
193
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800194} // namespace jit
195} // namespace art