blob: cc66d7a57724e6db940e324341a13d0a3b94d135 [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
Ian Rogersc7dd2952014-10-21 23:31:19 -070032class CompilerOptions FINAL {
Brian Carlstrom6449c622014-02-10 23:48:36 -080033 public:
Brian Carlstrom6449c622014-02-10 23:48:36 -080034 // Guide heuristics to determine whether to compile method if profile data not available.
Brian Carlstrom6449c622014-02-10 23:48:36 -080035 static const size_t kDefaultHugeMethodThreshold = 10000;
36 static const size_t kDefaultLargeMethodThreshold = 600;
37 static const size_t kDefaultSmallMethodThreshold = 60;
38 static const size_t kDefaultTinyMethodThreshold = 20;
39 static const size_t kDefaultNumDexMethodsThreshold = 900;
Calin Juravlec1b643c2014-05-30 23:44:11 +010040 static constexpr double kDefaultTopKProfileThreshold = 90.0;
David Srbecky3e09eeb2016-01-12 14:54:03 +000041 static const bool kDefaultGenerateDebugInfo = false;
David Srbecky5b1c2ca2016-01-25 17:32:41 +000042 static const bool kDefaultGenerateMiniDebugInfo = false;
Alex Light53cb16b2014-06-12 11:26:29 -070043 static const bool kDefaultIncludePatchInformation = false;
Calin Juravleec748352015-07-29 13:52:12 +010044 static const size_t kDefaultInlineDepthLimit = 3;
Nicolas Geoffray5949fa02015-12-18 10:57:10 +000045 static const size_t kDefaultInlineMaxCodeUnits = 32;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000046 static constexpr size_t kUnsetInlineDepthLimit = -1;
47 static constexpr size_t kUnsetInlineMaxCodeUnits = -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -080048
Roland Levillaina215b952015-08-07 11:38:32 +010049 // Default inlining settings when the space filter is used.
50 static constexpr size_t kSpaceFilterInlineDepthLimit = 3;
51 static constexpr size_t kSpaceFilterInlineMaxCodeUnits = 10;
52
Mathieu Chartier5bdab122015-01-26 18:30:19 -080053 CompilerOptions();
Vladimir Markob163bb72015-03-31 21:49:49 +010054 ~CompilerOptions();
Brian Carlstrom6449c622014-02-10 23:48:36 -080055
Andreas Gampe29d38e72016-03-23 15:31:51 +000056 CompilerOptions(CompilerFilter::Filter compiler_filter,
Brian Carlstrom6449c622014-02-10 23:48:36 -080057 size_t huge_method_threshold,
58 size_t large_method_threshold,
59 size_t small_method_threshold,
60 size_t tiny_method_threshold,
Mark Mendellae9fd932014-02-10 16:14:35 -080061 size_t num_dex_methods_threshold,
Calin Juravleec748352015-07-29 13:52:12 +010062 size_t inline_depth_limit,
63 size_t inline_max_code_units,
Vladimir Marko47496c22016-01-27 16:15:08 +000064 const std::vector<const DexFile*>* no_inline_from,
Alex Light53cb16b2014-06-12 11:26:29 -070065 bool include_patch_information,
Alex Light78382fa2014-06-06 15:45:32 -070066 double top_k_profile_threshold,
Andreas Gampe7b2f09e2015-03-02 14:07:33 -080067 bool debuggable,
David Srbecky8363c772015-05-28 16:12:43 +010068 bool generate_debug_info,
Dave Allison69dfe512014-07-11 17:11:58 +000069 bool implicit_null_checks,
70 bool implicit_so_checks,
Igor Murashkind6dee672014-10-16 18:36:16 -070071 bool implicit_suspend_checks,
Ian Rogersc7dd2952014-10-21 23:31:19 -070072 bool compile_pic,
Andreas Gampedbfe2542014-11-25 22:21:42 -080073 const std::vector<std::string>* verbose_methods,
Andreas Gampe6cf49e52015-03-05 13:08:45 -080074 std::ostream* init_failure_output,
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +000075 bool abort_on_hard_verifier_failure,
76 const std::string& dump_cfg_file_name,
Andreas Gampeace0dc12016-01-20 13:33:13 -080077 bool dump_cfg_append,
Matthew Gharrity2cd05b72016-08-03 16:57:37 -070078 bool force_determinism,
79 RegisterAllocator::Strategy regalloc_strategy);
Brian Carlstrom6449c622014-02-10 23:48:36 -080080
Andreas Gampe29d38e72016-03-23 15:31:51 +000081 CompilerFilter::Filter GetCompilerFilter() const {
Brian Carlstrom6449c622014-02-10 23:48:36 -080082 return compiler_filter_;
83 }
84
Andreas Gampe29d38e72016-03-23 15:31:51 +000085 void SetCompilerFilter(CompilerFilter::Filter compiler_filter) {
Brian Carlstrom6449c622014-02-10 23:48:36 -080086 compiler_filter_ = compiler_filter;
87 }
88
Mathieu Chartiere86deef2015-03-19 13:43:37 -070089 bool VerifyAtRuntime() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +000090 return compiler_filter_ == CompilerFilter::kVerifyAtRuntime;
Mathieu Chartiere86deef2015-03-19 13:43:37 -070091 }
92
Vladimir Markof6d1e0f2016-05-23 15:32:42 +010093 bool IsBytecodeCompilationEnabled() const {
94 return CompilerFilter::IsBytecodeCompilationEnabled(compiler_filter_);
95 }
96
97 bool IsJniCompilationEnabled() const {
98 return CompilerFilter::IsJniCompilationEnabled(compiler_filter_);
Jeff Hao4a200f52014-04-01 14:58:49 -070099 }
100
101 bool IsVerificationEnabled() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000102 return CompilerFilter::IsVerificationEnabled(compiler_filter_);
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700103 }
104
105 bool NeverVerify() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000106 return compiler_filter_ == CompilerFilter::kVerifyNone;
David Brazdilce4b0ba2016-01-28 15:05:49 +0000107 }
108
Mathieu Chartiera8077802016-03-16 19:08:31 -0700109 bool VerifyOnlyProfile() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000110 return compiler_filter_ == CompilerFilter::kVerifyProfile;
Mathieu Chartiera8077802016-03-16 19:08:31 -0700111 }
112
Brian Carlstrom6449c622014-02-10 23:48:36 -0800113 size_t GetHugeMethodThreshold() const {
114 return huge_method_threshold_;
115 }
116
117 size_t GetLargeMethodThreshold() const {
118 return large_method_threshold_;
119 }
120
121 size_t GetSmallMethodThreshold() const {
122 return small_method_threshold_;
123 }
124
125 size_t GetTinyMethodThreshold() const {
126 return tiny_method_threshold_;
127 }
128
129 bool IsHugeMethod(size_t num_dalvik_instructions) const {
130 return num_dalvik_instructions > huge_method_threshold_;
131 }
132
133 bool IsLargeMethod(size_t num_dalvik_instructions) const {
134 return num_dalvik_instructions > large_method_threshold_;
135 }
136
137 bool IsSmallMethod(size_t num_dalvik_instructions) const {
138 return num_dalvik_instructions > small_method_threshold_;
139 }
140
141 bool IsTinyMethod(size_t num_dalvik_instructions) const {
142 return num_dalvik_instructions > tiny_method_threshold_;
143 }
144
145 size_t GetNumDexMethodsThreshold() const {
146 return num_dex_methods_threshold_;
147 }
148
Calin Juravleec748352015-07-29 13:52:12 +0100149 size_t GetInlineDepthLimit() const {
150 return inline_depth_limit_;
151 }
Andreas Gampe3f41a012016-02-18 16:53:41 -0800152 void SetInlineDepthLimit(size_t limit) {
153 inline_depth_limit_ = limit;
154 }
Calin Juravleec748352015-07-29 13:52:12 +0100155
156 size_t GetInlineMaxCodeUnits() const {
157 return inline_max_code_units_;
158 }
Andreas Gampe3f41a012016-02-18 16:53:41 -0800159 void SetInlineMaxCodeUnits(size_t units) {
160 inline_max_code_units_ = units;
161 }
Calin Juravleec748352015-07-29 13:52:12 +0100162
Calin Juravlec1b643c2014-05-30 23:44:11 +0100163 double GetTopKProfileThreshold() const {
164 return top_k_profile_threshold_;
165 }
166
Andreas Gampe7b2f09e2015-03-02 14:07:33 -0800167 bool GetDebuggable() const {
168 return debuggable_;
169 }
170
David Srbecky0cf44932015-12-09 14:09:59 +0000171 bool GetNativeDebuggable() const {
David Srbecky346dc992016-03-13 22:00:07 +0000172 return GetDebuggable() && GetGenerateDebugInfo();
David Srbecky0cf44932015-12-09 14:09:59 +0000173 }
174
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000175 // This flag controls whether the compiler collects debugging information.
176 // The other flags control how the information is written to disk.
177 bool GenerateAnyDebugInfo() const {
178 return GetGenerateDebugInfo() || GetGenerateMiniDebugInfo();
179 }
180
David Srbecky8363c772015-05-28 16:12:43 +0100181 bool GetGenerateDebugInfo() const {
182 return generate_debug_info_;
David Srbecky8dc73242015-04-12 11:40:39 +0100183 }
184
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000185 bool GetGenerateMiniDebugInfo() const {
186 return generate_mini_debug_info_;
187 }
188
Dave Allison69dfe512014-07-11 17:11:58 +0000189 bool GetImplicitNullChecks() const {
190 return implicit_null_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700191 }
192
Dave Allison69dfe512014-07-11 17:11:58 +0000193 bool GetImplicitStackOverflowChecks() const {
194 return implicit_so_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700195 }
196
Dave Allison69dfe512014-07-11 17:11:58 +0000197 bool GetImplicitSuspendChecks() const {
198 return implicit_suspend_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700199 }
200
Alex Light53cb16b2014-06-12 11:26:29 -0700201 bool GetIncludePatchInformation() const {
202 return include_patch_information_;
203 }
204
Igor Murashkind6dee672014-10-16 18:36:16 -0700205 // Should the code be compiled as position independent?
206 bool GetCompilePic() const {
207 return compile_pic_;
208 }
209
Ian Rogersc7dd2952014-10-21 23:31:19 -0700210 bool HasVerboseMethods() const {
211 return verbose_methods_ != nullptr && !verbose_methods_->empty();
212 }
213
214 bool IsVerboseMethod(const std::string& pretty_method) const {
215 for (const std::string& cur_method : *verbose_methods_) {
216 if (pretty_method.find(cur_method) != std::string::npos) {
217 return true;
218 }
219 }
220 return false;
221 }
222
Andreas Gampedbfe2542014-11-25 22:21:42 -0800223 std::ostream* GetInitFailureOutput() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000224 return init_failure_output_.get();
Andreas Gampedbfe2542014-11-25 22:21:42 -0800225 }
226
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800227 bool AbortOnHardVerifierFailure() const {
228 return abort_on_hard_verifier_failure_;
229 }
230
Vladimir Marko47496c22016-01-27 16:15:08 +0000231 const std::vector<const DexFile*>* GetNoInlineFromDexFile() const {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800232 return no_inline_from_;
233 }
234
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000235 bool ParseCompilerOption(const StringPiece& option, UsageFn Usage);
236
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000237 const std::string& GetDumpCfgFileName() const {
238 return dump_cfg_file_name_;
239 }
240
241 bool GetDumpCfgAppend() const {
242 return dump_cfg_append_;
243 }
244
Andreas Gampeace0dc12016-01-20 13:33:13 -0800245 bool IsForceDeterminism() const {
246 return force_determinism_;
247 }
248
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700249 RegisterAllocator::Strategy GetRegisterAllocationStrategy() const {
250 return register_allocation_strategy_;
251 }
252
Brian Carlstrom6449c622014-02-10 23:48:36 -0800253 private:
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000254 void ParseDumpInitFailures(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000255 void ParseDumpCfgPasses(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000256 void ParseInlineMaxCodeUnits(const StringPiece& option, UsageFn Usage);
257 void ParseInlineDepthLimit(const StringPiece& option, UsageFn Usage);
258 void ParseNumDexMethods(const StringPiece& option, UsageFn Usage);
259 void ParseTinyMethodMax(const StringPiece& option, UsageFn Usage);
260 void ParseSmallMethodMax(const StringPiece& option, UsageFn Usage);
261 void ParseLargeMethodMax(const StringPiece& option, UsageFn Usage);
262 void ParseHugeMethodMax(const StringPiece& option, UsageFn Usage);
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700263 void ParseRegisterAllocationStrategy(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000264
Andreas Gampe29d38e72016-03-23 15:31:51 +0000265 CompilerFilter::Filter compiler_filter_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000266 size_t huge_method_threshold_;
267 size_t large_method_threshold_;
268 size_t small_method_threshold_;
269 size_t tiny_method_threshold_;
270 size_t num_dex_methods_threshold_;
271 size_t inline_depth_limit_;
272 size_t inline_max_code_units_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800273
Vladimir Marko47496c22016-01-27 16:15:08 +0000274 // Dex files from which we should not inline code.
275 // This is usually a very short list (i.e. a single dex file), so we
276 // prefer vector<> over a lookup-oriented container, such as set<>.
277 const std::vector<const DexFile*>* no_inline_from_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800278
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000279 bool include_patch_information_;
Calin Juravlec1b643c2014-05-30 23:44:11 +0100280 // When using a profile file only the top K% of the profiled samples will be compiled.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000281 double top_k_profile_threshold_;
282 bool debuggable_;
283 bool generate_debug_info_;
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000284 bool generate_mini_debug_info_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000285 bool implicit_null_checks_;
286 bool implicit_so_checks_;
287 bool implicit_suspend_checks_;
288 bool compile_pic_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700289
Ian Rogersc7dd2952014-10-21 23:31:19 -0700290 // Vector of methods to have verbose output enabled for.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000291 const std::vector<std::string>* verbose_methods_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700292
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800293 // Abort compilation with an error if we find a class that fails verification with a hard
294 // failure.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000295 bool abort_on_hard_verifier_failure_;
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800296
Andreas Gampedbfe2542014-11-25 22:21:42 -0800297 // Log initialization of initialization failures to this stream if not null.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000298 std::unique_ptr<std::ostream> init_failure_output_;
299
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000300 std::string dump_cfg_file_name_;
301 bool dump_cfg_append_;
302
Andreas Gampeace0dc12016-01-20 13:33:13 -0800303 // Whether the compiler should trade performance for determinism to guarantee exactly reproducable
304 // outcomes.
305 bool force_determinism_;
306
Matthew Gharrity2cd05b72016-08-03 16:57:37 -0700307 RegisterAllocator::Strategy register_allocation_strategy_;
308
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000309 friend class Dex2Oat;
Andreas Gampedbfe2542014-11-25 22:21:42 -0800310
Ian Rogersc7dd2952014-10-21 23:31:19 -0700311 DISALLOW_COPY_AND_ASSIGN(CompilerOptions);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800312};
Brian Carlstrom6449c622014-02-10 23:48:36 -0800313
314} // namespace art
315
316#endif // ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_