blob: 1a9bf4bb0b043d0e7a212c9106e8bc1981469381 [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"
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000025#include "dex/pass_manager.h"
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070026#include "globals.h"
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000027#include "utils.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070028
Brian Carlstrom6449c622014-02-10 23:48:36 -080029namespace art {
30
Ian Rogersc7dd2952014-10-21 23:31:19 -070031class CompilerOptions FINAL {
Brian Carlstrom6449c622014-02-10 23:48:36 -080032 public:
33 enum CompilerFilter {
Jeff Hao4a200f52014-04-01 14:58:49 -070034 kVerifyNone, // Skip verification and compile nothing except JNI stubs.
Mathieu Chartiere86deef2015-03-19 13:43:37 -070035 kInterpretOnly, // Verify, and compile only JNI stubs.
36 kVerifyAtRuntime, // Only compile JNI stubs and verify at runtime.
Brian Carlstrom6449c622014-02-10 23:48:36 -080037 kSpace, // Maximize space savings.
38 kBalanced, // Try to get the best performance return on compilation investment.
39 kSpeed, // Maximize runtime performance.
buzbeec8332992015-06-25 15:53:45 -070040 kEverything, // Force compilation of everything capable of being compiled.
Igor Murashkind6dee672014-10-16 18:36:16 -070041 kTime, // Compile methods, but minimize compilation time.
Brian Carlstrom6449c622014-02-10 23:48:36 -080042 };
43
44 // Guide heuristics to determine whether to compile method if profile data not available.
45 static const CompilerFilter kDefaultCompilerFilter = kSpeed;
46 static const size_t kDefaultHugeMethodThreshold = 10000;
47 static const size_t kDefaultLargeMethodThreshold = 600;
48 static const size_t kDefaultSmallMethodThreshold = 60;
49 static const size_t kDefaultTinyMethodThreshold = 20;
50 static const size_t kDefaultNumDexMethodsThreshold = 900;
Calin Juravlec1b643c2014-05-30 23:44:11 +010051 static constexpr double kDefaultTopKProfileThreshold = 90.0;
David Srbecky0cf44932015-12-09 14:09:59 +000052 static const bool kDefaultNativeDebuggable = false;
David Srbecky3e09eeb2016-01-12 14:54:03 +000053 static const bool kDefaultGenerateDebugInfo = false;
Alex Light53cb16b2014-06-12 11:26:29 -070054 static const bool kDefaultIncludePatchInformation = false;
Calin Juravleec748352015-07-29 13:52:12 +010055 static const size_t kDefaultInlineDepthLimit = 3;
Nicolas Geoffray5949fa02015-12-18 10:57:10 +000056 static const size_t kDefaultInlineMaxCodeUnits = 32;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000057 static constexpr size_t kUnsetInlineDepthLimit = -1;
58 static constexpr size_t kUnsetInlineMaxCodeUnits = -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -080059
Roland Levillaina215b952015-08-07 11:38:32 +010060 // Default inlining settings when the space filter is used.
61 static constexpr size_t kSpaceFilterInlineDepthLimit = 3;
62 static constexpr size_t kSpaceFilterInlineMaxCodeUnits = 10;
63
Mathieu Chartier5bdab122015-01-26 18:30:19 -080064 CompilerOptions();
Vladimir Markob163bb72015-03-31 21:49:49 +010065 ~CompilerOptions();
Brian Carlstrom6449c622014-02-10 23:48:36 -080066
67 CompilerOptions(CompilerFilter compiler_filter,
68 size_t huge_method_threshold,
69 size_t large_method_threshold,
70 size_t small_method_threshold,
71 size_t tiny_method_threshold,
Mark Mendellae9fd932014-02-10 16:14:35 -080072 size_t num_dex_methods_threshold,
Calin Juravleec748352015-07-29 13:52:12 +010073 size_t inline_depth_limit,
74 size_t inline_max_code_units,
Jeff Haodcdc85b2015-12-04 14:06:18 -080075 const DexFile* no_inline_from,
Alex Light53cb16b2014-06-12 11:26:29 -070076 bool include_patch_information,
Alex Light78382fa2014-06-06 15:45:32 -070077 double top_k_profile_threshold,
Andreas Gampe7b2f09e2015-03-02 14:07:33 -080078 bool debuggable,
David Srbecky8363c772015-05-28 16:12:43 +010079 bool generate_debug_info,
Dave Allison69dfe512014-07-11 17:11:58 +000080 bool implicit_null_checks,
81 bool implicit_so_checks,
Igor Murashkind6dee672014-10-16 18:36:16 -070082 bool implicit_suspend_checks,
Ian Rogersc7dd2952014-10-21 23:31:19 -070083 bool compile_pic,
Andreas Gampedbfe2542014-11-25 22:21:42 -080084 const std::vector<std::string>* verbose_methods,
Andreas Gampe6cf49e52015-03-05 13:08:45 -080085 std::ostream* init_failure_output,
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +000086 bool abort_on_hard_verifier_failure,
87 const std::string& dump_cfg_file_name,
Andreas Gampeace0dc12016-01-20 13:33:13 -080088 bool dump_cfg_append,
89 bool force_determinism);
Brian Carlstrom6449c622014-02-10 23:48:36 -080090
91 CompilerFilter GetCompilerFilter() const {
92 return compiler_filter_;
93 }
94
95 void SetCompilerFilter(CompilerFilter compiler_filter) {
96 compiler_filter_ = compiler_filter;
97 }
98
Mathieu Chartiere86deef2015-03-19 13:43:37 -070099 bool VerifyAtRuntime() const {
100 return compiler_filter_ == CompilerOptions::kVerifyAtRuntime;
101 }
102
Jeff Hao4a200f52014-04-01 14:58:49 -0700103 bool IsCompilationEnabled() const {
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700104 return compiler_filter_ != CompilerOptions::kVerifyNone &&
105 compiler_filter_ != CompilerOptions::kInterpretOnly &&
106 compiler_filter_ != CompilerOptions::kVerifyAtRuntime;
Jeff Hao4a200f52014-04-01 14:58:49 -0700107 }
108
109 bool IsVerificationEnabled() const {
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700110 return compiler_filter_ != CompilerOptions::kVerifyNone &&
111 compiler_filter_ != CompilerOptions::kVerifyAtRuntime;
112 }
113
114 bool NeverVerify() const {
115 return compiler_filter_ == CompilerOptions::kVerifyNone;
Jeff Hao4a200f52014-04-01 14:58:49 -0700116 }
117
Brian Carlstrom6449c622014-02-10 23:48:36 -0800118 size_t GetHugeMethodThreshold() const {
119 return huge_method_threshold_;
120 }
121
122 size_t GetLargeMethodThreshold() const {
123 return large_method_threshold_;
124 }
125
126 size_t GetSmallMethodThreshold() const {
127 return small_method_threshold_;
128 }
129
130 size_t GetTinyMethodThreshold() const {
131 return tiny_method_threshold_;
132 }
133
134 bool IsHugeMethod(size_t num_dalvik_instructions) const {
135 return num_dalvik_instructions > huge_method_threshold_;
136 }
137
138 bool IsLargeMethod(size_t num_dalvik_instructions) const {
139 return num_dalvik_instructions > large_method_threshold_;
140 }
141
142 bool IsSmallMethod(size_t num_dalvik_instructions) const {
143 return num_dalvik_instructions > small_method_threshold_;
144 }
145
146 bool IsTinyMethod(size_t num_dalvik_instructions) const {
147 return num_dalvik_instructions > tiny_method_threshold_;
148 }
149
150 size_t GetNumDexMethodsThreshold() const {
151 return num_dex_methods_threshold_;
152 }
153
Calin Juravleec748352015-07-29 13:52:12 +0100154 size_t GetInlineDepthLimit() const {
155 return inline_depth_limit_;
156 }
157
158 size_t GetInlineMaxCodeUnits() const {
159 return inline_max_code_units_;
160 }
161
Calin Juravlec1b643c2014-05-30 23:44:11 +0100162 double GetTopKProfileThreshold() const {
163 return top_k_profile_threshold_;
164 }
165
Andreas Gampe7b2f09e2015-03-02 14:07:33 -0800166 bool GetDebuggable() const {
167 return debuggable_;
168 }
169
David Srbecky0cf44932015-12-09 14:09:59 +0000170 bool GetNativeDebuggable() const {
171 return native_debuggable_;
172 }
173
David Srbecky8363c772015-05-28 16:12:43 +0100174 bool GetGenerateDebugInfo() const {
175 return generate_debug_info_;
David Srbecky8dc73242015-04-12 11:40:39 +0100176 }
177
Dave Allison69dfe512014-07-11 17:11:58 +0000178 bool GetImplicitNullChecks() const {
179 return implicit_null_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700180 }
181
Dave Allison69dfe512014-07-11 17:11:58 +0000182 bool GetImplicitStackOverflowChecks() const {
183 return implicit_so_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700184 }
185
Dave Allison69dfe512014-07-11 17:11:58 +0000186 bool GetImplicitSuspendChecks() const {
187 return implicit_suspend_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700188 }
189
Alex Light53cb16b2014-06-12 11:26:29 -0700190 bool GetIncludePatchInformation() const {
191 return include_patch_information_;
192 }
193
Igor Murashkind6dee672014-10-16 18:36:16 -0700194 // Should the code be compiled as position independent?
195 bool GetCompilePic() const {
196 return compile_pic_;
197 }
198
Ian Rogersc7dd2952014-10-21 23:31:19 -0700199 bool HasVerboseMethods() const {
200 return verbose_methods_ != nullptr && !verbose_methods_->empty();
201 }
202
203 bool IsVerboseMethod(const std::string& pretty_method) const {
204 for (const std::string& cur_method : *verbose_methods_) {
205 if (pretty_method.find(cur_method) != std::string::npos) {
206 return true;
207 }
208 }
209 return false;
210 }
211
Andreas Gampedbfe2542014-11-25 22:21:42 -0800212 std::ostream* GetInitFailureOutput() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000213 return init_failure_output_.get();
Andreas Gampedbfe2542014-11-25 22:21:42 -0800214 }
215
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800216 const PassManagerOptions* GetPassManagerOptions() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000217 return &pass_manager_options_;
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800218 }
219
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800220 bool AbortOnHardVerifierFailure() const {
221 return abort_on_hard_verifier_failure_;
222 }
223
Jeff Haodcdc85b2015-12-04 14:06:18 -0800224 const DexFile* GetNoInlineFromDexFile() const {
225 return no_inline_from_;
226 }
227
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000228 bool ParseCompilerOption(const StringPiece& option, UsageFn Usage);
229
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000230 const std::string& GetDumpCfgFileName() const {
231 return dump_cfg_file_name_;
232 }
233
234 bool GetDumpCfgAppend() const {
235 return dump_cfg_append_;
236 }
237
Andreas Gampeace0dc12016-01-20 13:33:13 -0800238 bool IsForceDeterminism() const {
239 return force_determinism_;
240 }
241
Brian Carlstrom6449c622014-02-10 23:48:36 -0800242 private:
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000243 void ParseDumpInitFailures(const StringPiece& option, UsageFn Usage);
244 void ParsePassOptions(const StringPiece& option, UsageFn Usage);
245 void ParseDumpCfgPasses(const StringPiece& option, UsageFn Usage);
246 void ParsePrintPasses(const StringPiece& option, UsageFn Usage);
247 void ParseDisablePasses(const StringPiece& option, UsageFn Usage);
248 void ParseInlineMaxCodeUnits(const StringPiece& option, UsageFn Usage);
249 void ParseInlineDepthLimit(const StringPiece& option, UsageFn Usage);
250 void ParseNumDexMethods(const StringPiece& option, UsageFn Usage);
251 void ParseTinyMethodMax(const StringPiece& option, UsageFn Usage);
252 void ParseSmallMethodMax(const StringPiece& option, UsageFn Usage);
253 void ParseLargeMethodMax(const StringPiece& option, UsageFn Usage);
254 void ParseHugeMethodMax(const StringPiece& option, UsageFn Usage);
255
Brian Carlstrom6449c622014-02-10 23:48:36 -0800256 CompilerFilter compiler_filter_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000257 size_t huge_method_threshold_;
258 size_t large_method_threshold_;
259 size_t small_method_threshold_;
260 size_t tiny_method_threshold_;
261 size_t num_dex_methods_threshold_;
262 size_t inline_depth_limit_;
263 size_t inline_max_code_units_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800264
265 // A dex file from which we should not inline code.
266 const DexFile* no_inline_from_;
267
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000268 bool include_patch_information_;
Calin Juravlec1b643c2014-05-30 23:44:11 +0100269 // When using a profile file only the top K% of the profiled samples will be compiled.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000270 double top_k_profile_threshold_;
271 bool debuggable_;
David Srbecky0cf44932015-12-09 14:09:59 +0000272 bool native_debuggable_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000273 bool generate_debug_info_;
274 bool implicit_null_checks_;
275 bool implicit_so_checks_;
276 bool implicit_suspend_checks_;
277 bool compile_pic_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700278
Ian Rogersc7dd2952014-10-21 23:31:19 -0700279 // Vector of methods to have verbose output enabled for.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000280 const std::vector<std::string>* verbose_methods_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700281
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000282 PassManagerOptions pass_manager_options_;
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800283
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800284 // Abort compilation with an error if we find a class that fails verification with a hard
285 // failure.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000286 bool abort_on_hard_verifier_failure_;
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800287
Andreas Gampedbfe2542014-11-25 22:21:42 -0800288 // Log initialization of initialization failures to this stream if not null.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000289 std::unique_ptr<std::ostream> init_failure_output_;
290
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000291 std::string dump_cfg_file_name_;
292 bool dump_cfg_append_;
293
Andreas Gampeace0dc12016-01-20 13:33:13 -0800294 // Whether the compiler should trade performance for determinism to guarantee exactly reproducable
295 // outcomes.
296 bool force_determinism_;
297
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000298 friend class Dex2Oat;
Andreas Gampedbfe2542014-11-25 22:21:42 -0800299
Ian Rogersc7dd2952014-10-21 23:31:19 -0700300 DISALLOW_COPY_AND_ASSIGN(CompilerOptions);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800301};
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700302std::ostream& operator<<(std::ostream& os, const CompilerOptions::CompilerFilter& rhs);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800303
304} // namespace art
305
306#endif // ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_