blob: 6f39488cc76a28ed5542ceab915102f60ac80787 [file] [log] [blame]
Mathieu Chartier5bdab122015-01-26 18:30:19 -08001/*
2 * Copyright (C) 2015 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 "compiler_options.h"
18
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000019#include <fstream>
Vladimir Marko2ef01102019-02-05 15:05:10 +000020#include <string_view>
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000021
Andreas Gampe097f34c2017-08-23 08:57:51 -070022#include "android-base/stringprintf.h"
Vladimir Marko038924b2019-02-19 15:09:35 +000023#include "android-base/strings.h"
Andreas Gampe097f34c2017-08-23 08:57:51 -070024
Vladimir Markoa0431112018-06-25 09:32:54 +010025#include "arch/instruction_set.h"
26#include "arch/instruction_set_features.h"
Andreas Gampe2a5d7282018-01-02 11:53:35 -080027#include "base/runtime_debug.h"
Andreas Gampe097f34c2017-08-23 08:57:51 -070028#include "base/variant_map.h"
Vladimir Marko2afaff72018-11-30 17:01:50 +000029#include "class_linker.h"
Andreas Gampe097f34c2017-08-23 08:57:51 -070030#include "cmdline_parser.h"
31#include "compiler_options_map-inl.h"
Vladimir Marko2afaff72018-11-30 17:01:50 +000032#include "dex/dex_file-inl.h"
33#include "dex/verification_results.h"
34#include "dex/verified_method.h"
Roland Levillain2b03a1f2017-06-06 16:09:59 +010035#include "runtime.h"
Vladimir Marko2afaff72018-11-30 17:01:50 +000036#include "scoped_thread_state_change-inl.h"
Andreas Gampe097f34c2017-08-23 08:57:51 -070037#include "simple_compiler_options_map.h"
Roland Levillain2b03a1f2017-06-06 16:09:59 +010038
Mathieu Chartier5bdab122015-01-26 18:30:19 -080039namespace art {
40
41CompilerOptions::CompilerOptions()
Richard Uhlerf4b34872016-04-13 11:03:46 -070042 : compiler_filter_(CompilerFilter::kDefaultCompilerFilter),
Mathieu Chartier5bdab122015-01-26 18:30:19 -080043 huge_method_threshold_(kDefaultHugeMethodThreshold),
44 large_method_threshold_(kDefaultLargeMethodThreshold),
45 small_method_threshold_(kDefaultSmallMethodThreshold),
46 tiny_method_threshold_(kDefaultTinyMethodThreshold),
47 num_dex_methods_threshold_(kDefaultNumDexMethodsThreshold),
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000048 inline_max_code_units_(kUnsetInlineMaxCodeUnits),
Vladimir Markoa0431112018-06-25 09:32:54 +010049 instruction_set_(kRuntimeISA == InstructionSet::kArm ? InstructionSet::kThumb2 : kRuntimeISA),
50 instruction_set_features_(nullptr),
Vladimir Markodc4bcce2018-06-21 16:15:42 +010051 no_inline_from_(),
Vladimir Marko213ee2d2018-06-22 11:56:34 +010052 dex_files_for_oat_file_(),
Vladimir Markodc4bcce2018-06-21 16:15:42 +010053 image_classes_(),
Vladimir Marko2afaff72018-11-30 17:01:50 +000054 verification_results_(nullptr),
Vladimir Marko9c4b9702018-11-14 15:09:02 +000055 image_type_(ImageType::kNone),
Vladimir Marko6be1dbd2018-11-13 13:09:51 +000056 compiling_with_core_image_(false),
Nicolas Geoffrayacc56ac2018-10-09 08:45:24 +010057 baseline_(false),
Andreas Gampe7b2f09e2015-03-02 14:07:33 -080058 debuggable_(false),
David Srbecky8363c772015-05-28 16:12:43 +010059 generate_debug_info_(kDefaultGenerateDebugInfo),
David Srbecky5b1c2ca2016-01-25 17:32:41 +000060 generate_mini_debug_info_(kDefaultGenerateMiniDebugInfo),
Alexey Alexandrovab40c112016-09-19 09:33:49 -070061 generate_build_id_(false),
Mathieu Chartier5bdab122015-01-26 18:30:19 -080062 implicit_null_checks_(true),
63 implicit_so_checks_(true),
64 implicit_suspend_checks_(false),
65 compile_pic_(false),
Nicolas Geoffray2d8801f2017-11-28 15:50:07 +000066 dump_timings_(false),
Vladimir Marko2da52b02018-05-08 16:31:34 +010067 dump_pass_timings_(false),
Nicolas Geoffray2d8801f2017-11-28 15:50:07 +000068 dump_stats_(false),
Vladimir Markoa0431112018-06-25 09:32:54 +010069 top_k_profile_threshold_(kDefaultTopKProfileThreshold),
Vladimir Marko1a2a5cd2018-11-07 15:39:48 +000070 profile_compilation_info_(nullptr),
Nicolas Geoffray57c47042017-06-29 11:31:39 +010071 verbose_methods_(),
Andreas Gampe6cf49e52015-03-05 13:08:45 -080072 abort_on_hard_verifier_failure_(false),
Andreas Gampef39208f2017-10-19 15:06:59 -070073 abort_on_soft_verifier_failure_(false),
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +000074 init_failure_output_(nullptr),
75 dump_cfg_file_name_(""),
Andreas Gampeace0dc12016-01-20 13:33:13 -080076 dump_cfg_append_(false),
Matthew Gharrity2cd05b72016-08-03 16:57:37 -070077 force_determinism_(false),
Andreas Gampecac31ad2017-11-06 20:01:17 -080078 deduplicate_code_(true),
Nicolas Geoffray8d728322018-01-18 22:44:32 +000079 count_hotness_in_compiled_code_(false),
Mathieu Chartiercd0f38f2018-10-15 09:44:35 -070080 resolve_startup_const_strings_(false),
Andreas Gampe5c803112018-04-13 17:28:34 -070081 check_profiled_methods_(ProfileMethodsCheck::kNone),
Mathieu Chartier1a842962018-11-13 15:09:51 -080082 max_image_block_size_(std::numeric_limits<uint32_t>::max()),
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -070083 register_allocation_strategy_(RegisterAllocator::kRegisterAllocatorDefault),
84 passes_to_run_(nullptr) {
Mathieu Chartier5bdab122015-01-26 18:30:19 -080085}
86
Vladimir Markob163bb72015-03-31 21:49:49 +010087CompilerOptions::~CompilerOptions() {
Vladimir Markodc4bcce2018-06-21 16:15:42 +010088 // Everything done by member destructors.
89 // The definitions of classes forward-declared in the header have now been #included.
Vladimir Markob163bb72015-03-31 21:49:49 +010090}
91
Andreas Gampe2a5d7282018-01-02 11:53:35 -080092namespace {
93
94bool kEmitRuntimeReadBarrierChecks = kIsDebugBuild &&
95 RegisterRuntimeDebugFlag(&kEmitRuntimeReadBarrierChecks);
96
97} // namespace
98
Roland Levillain2b03a1f2017-06-06 16:09:59 +010099bool CompilerOptions::EmitRunTimeChecksInDebugMode() const {
Andreas Gampe2a5d7282018-01-02 11:53:35 -0800100 // Run-time checks (e.g. Marking Register checks) are only emitted in slow-debug mode.
101 return kEmitRuntimeReadBarrierChecks;
Roland Levillain2b03a1f2017-06-06 16:09:59 +0100102}
103
Andreas Gampe097f34c2017-08-23 08:57:51 -0700104bool CompilerOptions::ParseDumpInitFailures(const std::string& option, std::string* error_msg) {
105 init_failure_output_.reset(new std::ofstream(option));
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000106 if (init_failure_output_.get() == nullptr) {
Andreas Gampe097f34c2017-08-23 08:57:51 -0700107 *error_msg = "Failed to construct std::ofstream";
108 return false;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000109 } else if (init_failure_output_->fail()) {
Andreas Gampe097f34c2017-08-23 08:57:51 -0700110 *error_msg = android::base::StringPrintf(
111 "Failed to open %s for writing the initialization failures.", option.c_str());
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000112 init_failure_output_.reset();
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000113 return false;
114 }
115 return true;
116}
117
Andreas Gampe097f34c2017-08-23 08:57:51 -0700118bool CompilerOptions::ParseRegisterAllocationStrategy(const std::string& option,
119 std::string* error_msg) {
120 if (option == "linear-scan") {
121 register_allocation_strategy_ = RegisterAllocator::Strategy::kRegisterAllocatorLinearScan;
122 } else if (option == "graph-color") {
123 register_allocation_strategy_ = RegisterAllocator::Strategy::kRegisterAllocatorGraphColor;
124 } else {
125 *error_msg = "Unrecognized register allocation strategy. Try linear-scan, or graph-color.";
126 return false;
127 }
128 return true;
129}
130
Andreas Gampe097f34c2017-08-23 08:57:51 -0700131bool CompilerOptions::ParseCompilerOptions(const std::vector<std::string>& options,
132 bool ignore_unrecognized,
133 std::string* error_msg) {
134 auto parser = CreateSimpleParser(ignore_unrecognized);
135 CmdlineResult parse_result = parser.Parse(options);
136 if (!parse_result.IsSuccess()) {
137 *error_msg = parse_result.GetMessage();
138 return false;
139 }
140
141 SimpleParseArgumentMap args = parser.ReleaseArgumentsMap();
142 return ReadCompilerOptions(args, this, error_msg);
143}
144
Vladimir Markodc4bcce2018-06-21 16:15:42 +0100145bool CompilerOptions::IsImageClass(const char* descriptor) const {
146 // Historical note: We used to hold the set indirectly and there was a distinction between an
147 // empty set and a null, null meaning to include all classes. However, the distiction has been
148 // removed; if we don't have a profile, we treat it as an empty set of classes. b/77340429
Vladimir Marko2ef01102019-02-05 15:05:10 +0000149 return image_classes_.find(std::string_view(descriptor)) != image_classes_.end();
Vladimir Markodc4bcce2018-06-21 16:15:42 +0100150}
151
Vladimir Marko2afaff72018-11-30 17:01:50 +0000152const VerificationResults* CompilerOptions::GetVerificationResults() const {
153 DCHECK(Runtime::Current()->IsAotCompiler());
154 return verification_results_;
155}
156
157const VerifiedMethod* CompilerOptions::GetVerifiedMethod(const DexFile* dex_file,
158 uint32_t method_idx) const {
159 MethodReference ref(dex_file, method_idx);
160 return verification_results_->GetVerifiedMethod(ref);
161}
162
163bool CompilerOptions::IsMethodVerifiedWithoutFailures(uint32_t method_idx,
164 uint16_t class_def_idx,
165 const DexFile& dex_file) const {
166 const VerifiedMethod* verified_method = GetVerifiedMethod(&dex_file, method_idx);
167 if (verified_method != nullptr) {
168 return !verified_method->HasVerificationFailures();
169 }
170
171 // If we can't find verification metadata, check if this is a system class (we trust that system
172 // classes have their methods verified). If it's not, be conservative and assume the method
173 // has not been verified successfully.
174
175 // TODO: When compiling the boot image it should be safe to assume that everything is verified,
176 // even if methods are not found in the verification cache.
177 const char* descriptor = dex_file.GetClassDescriptor(dex_file.GetClassDef(class_def_idx));
178 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
179 Thread* self = Thread::Current();
180 ScopedObjectAccess soa(self);
181 bool is_system_class = class_linker->FindSystemClass(self, descriptor) != nullptr;
182 if (!is_system_class) {
183 self->ClearException();
184 }
185 return is_system_class;
186}
187
Vladimir Marko038924b2019-02-19 15:09:35 +0000188bool CompilerOptions::IsCoreImageFilename(const std::string& boot_image_filename) {
189 // Look for "core.art" or "core-*.art".
190 if (android::base::EndsWith(boot_image_filename, "core.art")) {
191 return true;
192 }
193 if (!android::base::EndsWith(boot_image_filename, ".art")) {
194 return false;
195 }
196 size_t slash_pos = boot_image_filename.rfind('/');
197 if (slash_pos == std::string::npos) {
198 return android::base::StartsWith(boot_image_filename, "core-");
199 }
200 return boot_image_filename.compare(slash_pos + 1, 5u, "core-") == 0;
201}
202
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800203} // namespace art