blob: 4eb695493bbbc67ba9367af668397e87c1cb3899 [file] [log] [blame]
Brian Carlstrom6449c622014-02-10 23:48:36 -08001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#ifndef ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_
18#define ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_
19
Andreas Gampedbfe2542014-11-25 22:21:42 -080020#include <ostream>
Ian Rogersc7dd2952014-10-21 23:31:19 -070021#include <string>
22#include <vector>
23
24#include "base/macros.h"
Andreas Gampe29d38e72016-03-23 15:31:51 +000025#include "compiler_filter.h"
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070026#include "globals.h"
Matthew Gharrity2cd05b72016-08-03 16:57:37 -070027#include "optimizing/register_allocator.h"
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000028#include "utils.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070029
Brian Carlstrom6449c622014-02-10 23:48:36 -080030namespace art {
31
David Sehr709b0702016-10-13 09:12:37 -070032class DexFile;
33
Ian Rogersc7dd2952014-10-21 23:31:19 -070034class CompilerOptions FINAL {
Brian Carlstrom6449c622014-02-10 23:48:36 -080035 public:
Brian Carlstrom6449c622014-02-10 23:48:36 -080036 // Guide heuristics to determine whether to compile method if profile data not available.
Brian Carlstrom6449c622014-02-10 23:48:36 -080037 static const size_t kDefaultHugeMethodThreshold = 10000;
38 static const size_t kDefaultLargeMethodThreshold = 600;
39 static const size_t kDefaultSmallMethodThreshold = 60;
40 static const size_t kDefaultTinyMethodThreshold = 20;
41 static const size_t kDefaultNumDexMethodsThreshold = 900;
Calin Juravlec1b643c2014-05-30 23:44:11 +010042 static constexpr double kDefaultTopKProfileThreshold = 90.0;
David Srbecky3e09eeb2016-01-12 14:54:03 +000043 static const bool kDefaultGenerateDebugInfo = false;
David Srbecky5b1c2ca2016-01-25 17:32:41 +000044 static const bool kDefaultGenerateMiniDebugInfo = false;
Alex Light53cb16b2014-06-12 11:26:29 -070045 static const bool kDefaultIncludePatchInformation = false;
Calin Juravleec748352015-07-29 13:52:12 +010046 static const size_t kDefaultInlineDepthLimit = 3;
Nicolas Geoffray5949fa02015-12-18 10:57:10 +000047 static const size_t kDefaultInlineMaxCodeUnits = 32;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000048 static constexpr size_t kUnsetInlineDepthLimit = -1;
49 static constexpr size_t kUnsetInlineMaxCodeUnits = -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -080050
Roland Levillaina215b952015-08-07 11:38:32 +010051 // Default inlining settings when the space filter is used.
52 static constexpr size_t kSpaceFilterInlineDepthLimit = 3;
53 static constexpr size_t kSpaceFilterInlineMaxCodeUnits = 10;
54
Mathieu Chartier5bdab122015-01-26 18:30:19 -080055 CompilerOptions();
Vladimir Markob163bb72015-03-31 21:49:49 +010056 ~CompilerOptions();
Brian Carlstrom6449c622014-02-10 23:48:36 -080057
Andreas Gampe29d38e72016-03-23 15:31:51 +000058 CompilerOptions(CompilerFilter::Filter compiler_filter,
Brian Carlstrom6449c622014-02-10 23:48:36 -080059 size_t huge_method_threshold,
60 size_t large_method_threshold,
61 size_t small_method_threshold,
62 size_t tiny_method_threshold,
Mark Mendellae9fd932014-02-10 16:14:35 -080063 size_t num_dex_methods_threshold,
Calin Juravleec748352015-07-29 13:52:12 +010064 size_t inline_depth_limit,
65 size_t inline_max_code_units,
Vladimir Marko47496c22016-01-27 16:15:08 +000066 const std::vector<const DexFile*>* no_inline_from,
Alex Light53cb16b2014-06-12 11:26:29 -070067 bool include_patch_information,
Alex Light78382fa2014-06-06 15:45:32 -070068 double top_k_profile_threshold,
Andreas Gampe7b2f09e2015-03-02 14:07:33 -080069 bool debuggable,
David Srbecky8363c772015-05-28 16:12:43 +010070 bool generate_debug_info,
Dave Allison69dfe512014-07-11 17:11:58 +000071 bool implicit_null_checks,
72 bool implicit_so_checks,
Igor Murashkind6dee672014-10-16 18:36:16 -070073 bool implicit_suspend_checks,
Ian Rogersc7dd2952014-10-21 23:31:19 -070074 bool compile_pic,
Andreas Gampedbfe2542014-11-25 22:21:42 -080075 const std::vector<std::string>* verbose_methods,
Andreas Gampe6cf49e52015-03-05 13:08:45 -080076 std::ostream* init_failure_output,
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +000077 bool abort_on_hard_verifier_failure,
78 const std::string& dump_cfg_file_name,
Andreas Gampeace0dc12016-01-20 13:33:13 -080079 bool dump_cfg_append,
Matthew Gharrity2cd05b72016-08-03 16:57:37 -070080 bool force_determinism,
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -070081 RegisterAllocator::Strategy regalloc_strategy,
82 const std::vector<std::string>* passes_to_run);
Brian Carlstrom6449c622014-02-10 23:48:36 -080083
Andreas Gampe29d38e72016-03-23 15:31:51 +000084 CompilerFilter::Filter GetCompilerFilter() const {
Brian Carlstrom6449c622014-02-10 23:48:36 -080085 return compiler_filter_;
86 }
87
Andreas Gampe29d38e72016-03-23 15:31:51 +000088 void SetCompilerFilter(CompilerFilter::Filter compiler_filter) {
Brian Carlstrom6449c622014-02-10 23:48:36 -080089 compiler_filter_ = compiler_filter;
90 }
91
Mathieu Chartiere86deef2015-03-19 13:43:37 -070092 bool VerifyAtRuntime() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +000093 return compiler_filter_ == CompilerFilter::kVerifyAtRuntime;
Mathieu Chartiere86deef2015-03-19 13:43:37 -070094 }
95
Vladimir Markof6d1e0f2016-05-23 15:32:42 +010096 bool IsBytecodeCompilationEnabled() const {
97 return CompilerFilter::IsBytecodeCompilationEnabled(compiler_filter_);
98 }
99
100 bool IsJniCompilationEnabled() const {
101 return CompilerFilter::IsJniCompilationEnabled(compiler_filter_);
Jeff Hao4a200f52014-04-01 14:58:49 -0700102 }
103
104 bool IsVerificationEnabled() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000105 return CompilerFilter::IsVerificationEnabled(compiler_filter_);
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700106 }
107
108 bool NeverVerify() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000109 return compiler_filter_ == CompilerFilter::kVerifyNone;
David Brazdilce4b0ba2016-01-28 15:05:49 +0000110 }
111
Mathieu Chartiera8077802016-03-16 19:08:31 -0700112 bool VerifyOnlyProfile() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000113 return compiler_filter_ == CompilerFilter::kVerifyProfile;
Mathieu Chartiera8077802016-03-16 19:08:31 -0700114 }
115
Brian Carlstrom6449c622014-02-10 23:48:36 -0800116 size_t GetHugeMethodThreshold() const {
117 return huge_method_threshold_;
118 }
119
120 size_t GetLargeMethodThreshold() const {
121 return large_method_threshold_;
122 }
123
124 size_t GetSmallMethodThreshold() const {
125 return small_method_threshold_;
126 }
127
128 size_t GetTinyMethodThreshold() const {
129 return tiny_method_threshold_;
130 }
131
132 bool IsHugeMethod(size_t num_dalvik_instructions) const {
133 return num_dalvik_instructions > huge_method_threshold_;
134 }
135
136 bool IsLargeMethod(size_t num_dalvik_instructions) const {
137 return num_dalvik_instructions > large_method_threshold_;
138 }
139
140 bool IsSmallMethod(size_t num_dalvik_instructions) const {
141 return num_dalvik_instructions > small_method_threshold_;
142 }
143
144 bool IsTinyMethod(size_t num_dalvik_instructions) const {
145 return num_dalvik_instructions > tiny_method_threshold_;
146 }
147
148 size_t GetNumDexMethodsThreshold() const {
149 return num_dex_methods_threshold_;
150 }
151
Calin Juravleec748352015-07-29 13:52:12 +0100152 size_t GetInlineDepthLimit() const {
153 return inline_depth_limit_;
154 }
Andreas Gampe3f41a012016-02-18 16:53:41 -0800155 void SetInlineDepthLimit(size_t limit) {
156 inline_depth_limit_ = limit;
157 }
Calin Juravleec748352015-07-29 13:52:12 +0100158
159 size_t GetInlineMaxCodeUnits() const {
160 return inline_max_code_units_;
161 }
Andreas Gampe3f41a012016-02-18 16:53:41 -0800162 void SetInlineMaxCodeUnits(size_t units) {
163 inline_max_code_units_ = units;
164 }
Calin Juravleec748352015-07-29 13:52:12 +0100165
Calin Juravlec1b643c2014-05-30 23:44:11 +0100166 double GetTopKProfileThreshold() const {
167 return top_k_profile_threshold_;
168 }
169
Andreas Gampe7b2f09e2015-03-02 14:07:33 -0800170 bool GetDebuggable() const {
171 return debuggable_;
172 }
173
David Srbecky0cf44932015-12-09 14:09:59 +0000174 bool GetNativeDebuggable() const {
David Srbecky346dc992016-03-13 22:00:07 +0000175 return GetDebuggable() && GetGenerateDebugInfo();
David Srbecky0cf44932015-12-09 14:09:59 +0000176 }
177
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000178 // This flag controls whether the compiler collects debugging information.
179 // The other flags control how the information is written to disk.
180 bool GenerateAnyDebugInfo() const {
181 return GetGenerateDebugInfo() || GetGenerateMiniDebugInfo();
182 }
183
David Srbecky8363c772015-05-28 16:12:43 +0100184 bool GetGenerateDebugInfo() const {
185 return generate_debug_info_;
David Srbecky8dc73242015-04-12 11:40:39 +0100186 }
187
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000188 bool GetGenerateMiniDebugInfo() const {
189 return generate_mini_debug_info_;
190 }
191
Alexey Alexandrovab40c112016-09-19 09:33:49 -0700192 bool GetGenerateBuildId() const {
193 return generate_build_id_;
194 }
195
Dave Allison69dfe512014-07-11 17:11:58 +0000196 bool GetImplicitNullChecks() const {
197 return implicit_null_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700198 }
199
Dave Allison69dfe512014-07-11 17:11:58 +0000200 bool GetImplicitStackOverflowChecks() const {
201 return implicit_so_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700202 }
203
Dave Allison69dfe512014-07-11 17:11:58 +0000204 bool GetImplicitSuspendChecks() const {
205 return implicit_suspend_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700206 }
207
Alex Light53cb16b2014-06-12 11:26:29 -0700208 bool GetIncludePatchInformation() const {
209 return include_patch_information_;
210 }
211
Vladimir Markoaad75c62016-10-03 08:46:48 +0000212 bool IsBootImage() const {
213 return boot_image_;
214 }
215
216 bool IsAppImage() const {
217 return app_image_;
218 }
219
Igor Murashkind6dee672014-10-16 18:36:16 -0700220 // Should the code be compiled as position independent?
221 bool GetCompilePic() const {
222 return compile_pic_;
223 }
224
Ian Rogersc7dd2952014-10-21 23:31:19 -0700225 bool HasVerboseMethods() const {
226 return verbose_methods_ != nullptr && !verbose_methods_->empty();
227 }
228
229 bool IsVerboseMethod(const std::string& pretty_method) const {
230 for (const std::string& cur_method : *verbose_methods_) {
231 if (pretty_method.find(cur_method) != std::string::npos) {
232 return true;
233 }
234 }
235 return false;
236 }
237
Andreas Gampedbfe2542014-11-25 22:21:42 -0800238 std::ostream* GetInitFailureOutput() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000239 return init_failure_output_.get();
Andreas Gampedbfe2542014-11-25 22:21:42 -0800240 }
241
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800242 bool AbortOnHardVerifierFailure() const {
243 return abort_on_hard_verifier_failure_;
244 }
245
Vladimir Marko47496c22016-01-27 16:15:08 +0000246 const std::vector<const DexFile*>* GetNoInlineFromDexFile() const {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800247 return no_inline_from_;
248 }
249
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000250 bool ParseCompilerOption(const StringPiece& option, UsageFn Usage);
251
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000252 const std::string& GetDumpCfgFileName() const {
253 return dump_cfg_file_name_;
254 }
255
256 bool GetDumpCfgAppend() const {
257 return dump_cfg_append_;
258 }
259
Andreas Gampeace0dc12016-01-20 13:33:13 -0800260 bool IsForceDeterminism() const {
261 return force_determinism_;
262 }
263
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700264 RegisterAllocator::Strategy GetRegisterAllocationStrategy() const {
265 return register_allocation_strategy_;
266 }
267
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -0700268 const std::vector<std::string>* GetPassesToRun() const {
269 return passes_to_run_;
270 }
271
Brian Carlstrom6449c622014-02-10 23:48:36 -0800272 private:
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000273 void ParseDumpInitFailures(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000274 void ParseDumpCfgPasses(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000275 void ParseInlineMaxCodeUnits(const StringPiece& option, UsageFn Usage);
276 void ParseInlineDepthLimit(const StringPiece& option, UsageFn Usage);
277 void ParseNumDexMethods(const StringPiece& option, UsageFn Usage);
278 void ParseTinyMethodMax(const StringPiece& option, UsageFn Usage);
279 void ParseSmallMethodMax(const StringPiece& option, UsageFn Usage);
280 void ParseLargeMethodMax(const StringPiece& option, UsageFn Usage);
281 void ParseHugeMethodMax(const StringPiece& option, UsageFn Usage);
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700282 void ParseRegisterAllocationStrategy(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000283
Andreas Gampe29d38e72016-03-23 15:31:51 +0000284 CompilerFilter::Filter compiler_filter_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000285 size_t huge_method_threshold_;
286 size_t large_method_threshold_;
287 size_t small_method_threshold_;
288 size_t tiny_method_threshold_;
289 size_t num_dex_methods_threshold_;
290 size_t inline_depth_limit_;
291 size_t inline_max_code_units_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800292
Vladimir Marko47496c22016-01-27 16:15:08 +0000293 // Dex files from which we should not inline code.
294 // This is usually a very short list (i.e. a single dex file), so we
295 // prefer vector<> over a lookup-oriented container, such as set<>.
296 const std::vector<const DexFile*>* no_inline_from_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800297
Vladimir Markoaad75c62016-10-03 08:46:48 +0000298 bool boot_image_;
299 bool app_image_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000300 bool include_patch_information_;
Calin Juravlec1b643c2014-05-30 23:44:11 +0100301 // When using a profile file only the top K% of the profiled samples will be compiled.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000302 double top_k_profile_threshold_;
303 bool debuggable_;
304 bool generate_debug_info_;
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000305 bool generate_mini_debug_info_;
Alexey Alexandrovab40c112016-09-19 09:33:49 -0700306 bool generate_build_id_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000307 bool implicit_null_checks_;
308 bool implicit_so_checks_;
309 bool implicit_suspend_checks_;
310 bool compile_pic_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700311
Ian Rogersc7dd2952014-10-21 23:31:19 -0700312 // Vector of methods to have verbose output enabled for.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000313 const std::vector<std::string>* verbose_methods_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700314
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800315 // Abort compilation with an error if we find a class that fails verification with a hard
316 // failure.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000317 bool abort_on_hard_verifier_failure_;
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800318
Andreas Gampedbfe2542014-11-25 22:21:42 -0800319 // Log initialization of initialization failures to this stream if not null.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000320 std::unique_ptr<std::ostream> init_failure_output_;
321
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000322 std::string dump_cfg_file_name_;
323 bool dump_cfg_append_;
324
Vladimir Markoaad75c62016-10-03 08:46:48 +0000325 // Whether the compiler should trade performance for determinism to guarantee exactly reproducible
Andreas Gampeace0dc12016-01-20 13:33:13 -0800326 // outcomes.
327 bool force_determinism_;
328
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700329 RegisterAllocator::Strategy register_allocation_strategy_;
330
Wojciech Staszkiewicz5319d3c2016-08-01 17:48:59 -0700331 // If not null, specifies optimization passes which will be run instead of defaults.
332 // Note that passes_to_run_ is not checked for correctness and providing an incorrect
333 // list of passes can lead to unexpected compiler behaviour. This is caused by dependencies
334 // between passes. Failing to satisfy them can for example lead to compiler crashes.
335 // Passing pass names which are not recognized by the compiler will result in
336 // compiler-dependant behavior.
337 const std::vector<std::string>* passes_to_run_;
338
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000339 friend class Dex2Oat;
Vladimir Markoaad75c62016-10-03 08:46:48 +0000340 friend class CommonCompilerTest;
Andreas Gampedbfe2542014-11-25 22:21:42 -0800341
Ian Rogersc7dd2952014-10-21 23:31:19 -0700342 DISALLOW_COPY_AND_ASSIGN(CompilerOptions);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800343};
Brian Carlstrom6449c622014-02-10 23:48:36 -0800344
345} // namespace art
346
347#endif // ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_