blob: a5805f953b2abf9c884013dfb16d5894e2d47610 [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"
23
Vladimir Markoa0431112018-06-25 09:32:54 +010024#include "arch/instruction_set.h"
25#include "arch/instruction_set_features.h"
Andreas Gampe2a5d7282018-01-02 11:53:35 -080026#include "base/runtime_debug.h"
Vladimir Marko44ca0752019-07-29 10:18:25 +010027#include "base/string_view_cpp20.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),
Mathieu Chartier5bdab122015-01-26 18:30:19 -080045 num_dex_methods_threshold_(kDefaultNumDexMethodsThreshold),
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000046 inline_max_code_units_(kUnsetInlineMaxCodeUnits),
Vladimir Markoa0431112018-06-25 09:32:54 +010047 instruction_set_(kRuntimeISA == InstructionSet::kArm ? InstructionSet::kThumb2 : kRuntimeISA),
48 instruction_set_features_(nullptr),
Vladimir Markodc4bcce2018-06-21 16:15:42 +010049 no_inline_from_(),
Vladimir Marko213ee2d2018-06-22 11:56:34 +010050 dex_files_for_oat_file_(),
Vladimir Markodc4bcce2018-06-21 16:15:42 +010051 image_classes_(),
Vladimir Marko2afaff72018-11-30 17:01:50 +000052 verification_results_(nullptr),
Vladimir Marko695348f2020-05-19 14:42:02 +010053 compiler_type_(CompilerType::kAotCompiler),
Vladimir Marko9c4b9702018-11-14 15:09:02 +000054 image_type_(ImageType::kNone),
David Srbecky4fa07a52020-03-31 20:52:09 +010055 compile_art_test_(false),
Nicolas Geoffrayacc56ac2018-10-09 08:45:24 +010056 baseline_(false),
Andreas Gampe7b2f09e2015-03-02 14:07:33 -080057 debuggable_(false),
David Srbecky8363c772015-05-28 16:12:43 +010058 generate_debug_info_(kDefaultGenerateDebugInfo),
David Srbecky5b1c2ca2016-01-25 17:32:41 +000059 generate_mini_debug_info_(kDefaultGenerateMiniDebugInfo),
Alexey Alexandrovab40c112016-09-19 09:33:49 -070060 generate_build_id_(false),
Mathieu Chartier5bdab122015-01-26 18:30:19 -080061 implicit_null_checks_(true),
62 implicit_so_checks_(true),
63 implicit_suspend_checks_(false),
64 compile_pic_(false),
Nicolas Geoffray2d8801f2017-11-28 15:50:07 +000065 dump_timings_(false),
Vladimir Marko2da52b02018-05-08 16:31:34 +010066 dump_pass_timings_(false),
Nicolas Geoffray2d8801f2017-11-28 15:50:07 +000067 dump_stats_(false),
Vladimir Markoa0431112018-06-25 09:32:54 +010068 top_k_profile_threshold_(kDefaultTopKProfileThreshold),
Vladimir Marko1a2a5cd2018-11-07 15:39:48 +000069 profile_compilation_info_(nullptr),
Nicolas Geoffray57c47042017-06-29 11:31:39 +010070 verbose_methods_(),
Andreas Gampe6cf49e52015-03-05 13:08:45 -080071 abort_on_hard_verifier_failure_(false),
Andreas Gampef39208f2017-10-19 15:06:59 -070072 abort_on_soft_verifier_failure_(false),
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +000073 init_failure_output_(nullptr),
74 dump_cfg_file_name_(""),
Andreas Gampeace0dc12016-01-20 13:33:13 -080075 dump_cfg_append_(false),
Matthew Gharrity2cd05b72016-08-03 16:57:37 -070076 force_determinism_(false),
David Sehrfe57c2b2020-03-27 14:58:54 +000077 check_linkage_conditions_(false),
78 crash_on_linkage_violation_(false),
Andreas Gampecac31ad2017-11-06 20:01:17 -080079 deduplicate_code_(true),
Nicolas Geoffray8d728322018-01-18 22:44:32 +000080 count_hotness_in_compiled_code_(false),
Mathieu Chartiercd0f38f2018-10-15 09:44:35 -070081 resolve_startup_const_strings_(false),
Mathieu Chartier5132e0d2019-07-10 09:38:48 -070082 initialize_app_image_classes_(false),
Andreas Gampe5c803112018-04-13 17:28:34 -070083 check_profiled_methods_(ProfileMethodsCheck::kNone),
Mathieu Chartier1a842962018-11-13 15:09:51 -080084 max_image_block_size_(std::numeric_limits<uint32_t>::max()),
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -070085 register_allocation_strategy_(RegisterAllocator::kRegisterAllocatorDefault),
86 passes_to_run_(nullptr) {
Mathieu Chartier5bdab122015-01-26 18:30:19 -080087}
88
Vladimir Markob163bb72015-03-31 21:49:49 +010089CompilerOptions::~CompilerOptions() {
Vladimir Markodc4bcce2018-06-21 16:15:42 +010090 // Everything done by member destructors.
91 // The definitions of classes forward-declared in the header have now been #included.
Vladimir Markob163bb72015-03-31 21:49:49 +010092}
93
Andreas Gampe2a5d7282018-01-02 11:53:35 -080094namespace {
95
96bool kEmitRuntimeReadBarrierChecks = kIsDebugBuild &&
97 RegisterRuntimeDebugFlag(&kEmitRuntimeReadBarrierChecks);
98
99} // namespace
100
Roland Levillain2b03a1f2017-06-06 16:09:59 +0100101bool CompilerOptions::EmitRunTimeChecksInDebugMode() const {
Andreas Gampe2a5d7282018-01-02 11:53:35 -0800102 // Run-time checks (e.g. Marking Register checks) are only emitted in slow-debug mode.
103 return kEmitRuntimeReadBarrierChecks;
Roland Levillain2b03a1f2017-06-06 16:09:59 +0100104}
105
Andreas Gampe097f34c2017-08-23 08:57:51 -0700106bool CompilerOptions::ParseDumpInitFailures(const std::string& option, std::string* error_msg) {
107 init_failure_output_.reset(new std::ofstream(option));
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000108 if (init_failure_output_.get() == nullptr) {
Andreas Gampe097f34c2017-08-23 08:57:51 -0700109 *error_msg = "Failed to construct std::ofstream";
110 return false;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000111 } else if (init_failure_output_->fail()) {
Andreas Gampe097f34c2017-08-23 08:57:51 -0700112 *error_msg = android::base::StringPrintf(
113 "Failed to open %s for writing the initialization failures.", option.c_str());
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000114 init_failure_output_.reset();
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000115 return false;
116 }
117 return true;
118}
119
Andreas Gampe097f34c2017-08-23 08:57:51 -0700120bool CompilerOptions::ParseRegisterAllocationStrategy(const std::string& option,
121 std::string* error_msg) {
122 if (option == "linear-scan") {
123 register_allocation_strategy_ = RegisterAllocator::Strategy::kRegisterAllocatorLinearScan;
124 } else if (option == "graph-color") {
125 register_allocation_strategy_ = RegisterAllocator::Strategy::kRegisterAllocatorGraphColor;
126 } else {
127 *error_msg = "Unrecognized register allocation strategy. Try linear-scan, or graph-color.";
128 return false;
129 }
130 return true;
131}
132
Andreas Gampe097f34c2017-08-23 08:57:51 -0700133bool CompilerOptions::ParseCompilerOptions(const std::vector<std::string>& options,
134 bool ignore_unrecognized,
135 std::string* error_msg) {
136 auto parser = CreateSimpleParser(ignore_unrecognized);
137 CmdlineResult parse_result = parser.Parse(options);
138 if (!parse_result.IsSuccess()) {
139 *error_msg = parse_result.GetMessage();
140 return false;
141 }
142
143 SimpleParseArgumentMap args = parser.ReleaseArgumentsMap();
144 return ReadCompilerOptions(args, this, error_msg);
145}
146
Vladimir Markodc4bcce2018-06-21 16:15:42 +0100147bool CompilerOptions::IsImageClass(const char* descriptor) const {
148 // Historical note: We used to hold the set indirectly and there was a distinction between an
149 // empty set and a null, null meaning to include all classes. However, the distiction has been
150 // 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 +0000151 return image_classes_.find(std::string_view(descriptor)) != image_classes_.end();
Vladimir Markodc4bcce2018-06-21 16:15:42 +0100152}
153
Vladimir Marko2afaff72018-11-30 17:01:50 +0000154const VerificationResults* CompilerOptions::GetVerificationResults() const {
155 DCHECK(Runtime::Current()->IsAotCompiler());
156 return verification_results_;
157}
158
159const VerifiedMethod* CompilerOptions::GetVerifiedMethod(const DexFile* dex_file,
160 uint32_t method_idx) const {
161 MethodReference ref(dex_file, method_idx);
162 return verification_results_->GetVerifiedMethod(ref);
163}
164
165bool CompilerOptions::IsMethodVerifiedWithoutFailures(uint32_t method_idx,
166 uint16_t class_def_idx,
167 const DexFile& dex_file) const {
168 const VerifiedMethod* verified_method = GetVerifiedMethod(&dex_file, method_idx);
169 if (verified_method != nullptr) {
170 return !verified_method->HasVerificationFailures();
171 }
172
173 // If we can't find verification metadata, check if this is a system class (we trust that system
174 // classes have their methods verified). If it's not, be conservative and assume the method
175 // has not been verified successfully.
176
177 // TODO: When compiling the boot image it should be safe to assume that everything is verified,
178 // even if methods are not found in the verification cache.
179 const char* descriptor = dex_file.GetClassDescriptor(dex_file.GetClassDef(class_def_idx));
180 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
181 Thread* self = Thread::Current();
182 ScopedObjectAccess soa(self);
183 bool is_system_class = class_linker->FindSystemClass(self, descriptor) != nullptr;
184 if (!is_system_class) {
185 self->ClearException();
186 }
187 return is_system_class;
188}
189
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800190} // namespace art