blob: 9d51b750bf9889f01f6a9c62879a3b7b2b50503b [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,
Vladimir Marko47496c22016-01-27 16:15:08 +000075 const std::vector<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,
88 bool dump_cfg_append);
Brian Carlstrom6449c622014-02-10 23:48:36 -080089
90 CompilerFilter GetCompilerFilter() const {
91 return compiler_filter_;
92 }
93
94 void SetCompilerFilter(CompilerFilter compiler_filter) {
95 compiler_filter_ = compiler_filter;
96 }
97
Mathieu Chartiere86deef2015-03-19 13:43:37 -070098 bool VerifyAtRuntime() const {
99 return compiler_filter_ == CompilerOptions::kVerifyAtRuntime;
100 }
101
Jeff Hao4a200f52014-04-01 14:58:49 -0700102 bool IsCompilationEnabled() const {
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700103 return compiler_filter_ != CompilerOptions::kVerifyNone &&
104 compiler_filter_ != CompilerOptions::kInterpretOnly &&
105 compiler_filter_ != CompilerOptions::kVerifyAtRuntime;
Jeff Hao4a200f52014-04-01 14:58:49 -0700106 }
107
108 bool IsVerificationEnabled() const {
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700109 return compiler_filter_ != CompilerOptions::kVerifyNone &&
110 compiler_filter_ != CompilerOptions::kVerifyAtRuntime;
111 }
112
113 bool NeverVerify() const {
114 return compiler_filter_ == CompilerOptions::kVerifyNone;
Jeff Hao4a200f52014-04-01 14:58:49 -0700115 }
116
Brian Carlstrom6449c622014-02-10 23:48:36 -0800117 size_t GetHugeMethodThreshold() const {
118 return huge_method_threshold_;
119 }
120
121 size_t GetLargeMethodThreshold() const {
122 return large_method_threshold_;
123 }
124
125 size_t GetSmallMethodThreshold() const {
126 return small_method_threshold_;
127 }
128
129 size_t GetTinyMethodThreshold() const {
130 return tiny_method_threshold_;
131 }
132
133 bool IsHugeMethod(size_t num_dalvik_instructions) const {
134 return num_dalvik_instructions > huge_method_threshold_;
135 }
136
137 bool IsLargeMethod(size_t num_dalvik_instructions) const {
138 return num_dalvik_instructions > large_method_threshold_;
139 }
140
141 bool IsSmallMethod(size_t num_dalvik_instructions) const {
142 return num_dalvik_instructions > small_method_threshold_;
143 }
144
145 bool IsTinyMethod(size_t num_dalvik_instructions) const {
146 return num_dalvik_instructions > tiny_method_threshold_;
147 }
148
149 size_t GetNumDexMethodsThreshold() const {
150 return num_dex_methods_threshold_;
151 }
152
Calin Juravleec748352015-07-29 13:52:12 +0100153 size_t GetInlineDepthLimit() const {
154 return inline_depth_limit_;
155 }
156
157 size_t GetInlineMaxCodeUnits() const {
158 return inline_max_code_units_;
159 }
160
Calin Juravlec1b643c2014-05-30 23:44:11 +0100161 double GetTopKProfileThreshold() const {
162 return top_k_profile_threshold_;
163 }
164
Andreas Gampe7b2f09e2015-03-02 14:07:33 -0800165 bool GetDebuggable() const {
166 return debuggable_;
167 }
168
David Srbecky0cf44932015-12-09 14:09:59 +0000169 bool GetNativeDebuggable() const {
170 return native_debuggable_;
171 }
172
David Srbecky8363c772015-05-28 16:12:43 +0100173 bool GetGenerateDebugInfo() const {
174 return generate_debug_info_;
David Srbecky8dc73242015-04-12 11:40:39 +0100175 }
176
Dave Allison69dfe512014-07-11 17:11:58 +0000177 bool GetImplicitNullChecks() const {
178 return implicit_null_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700179 }
180
Dave Allison69dfe512014-07-11 17:11:58 +0000181 bool GetImplicitStackOverflowChecks() const {
182 return implicit_so_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700183 }
184
Dave Allison69dfe512014-07-11 17:11:58 +0000185 bool GetImplicitSuspendChecks() const {
186 return implicit_suspend_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700187 }
188
Alex Light53cb16b2014-06-12 11:26:29 -0700189 bool GetIncludePatchInformation() const {
190 return include_patch_information_;
191 }
192
Igor Murashkind6dee672014-10-16 18:36:16 -0700193 // Should the code be compiled as position independent?
194 bool GetCompilePic() const {
195 return compile_pic_;
196 }
197
Ian Rogersc7dd2952014-10-21 23:31:19 -0700198 bool HasVerboseMethods() const {
199 return verbose_methods_ != nullptr && !verbose_methods_->empty();
200 }
201
202 bool IsVerboseMethod(const std::string& pretty_method) const {
203 for (const std::string& cur_method : *verbose_methods_) {
204 if (pretty_method.find(cur_method) != std::string::npos) {
205 return true;
206 }
207 }
208 return false;
209 }
210
Andreas Gampedbfe2542014-11-25 22:21:42 -0800211 std::ostream* GetInitFailureOutput() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000212 return init_failure_output_.get();
Andreas Gampedbfe2542014-11-25 22:21:42 -0800213 }
214
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800215 const PassManagerOptions* GetPassManagerOptions() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000216 return &pass_manager_options_;
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800217 }
218
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800219 bool AbortOnHardVerifierFailure() const {
220 return abort_on_hard_verifier_failure_;
221 }
222
Vladimir Marko47496c22016-01-27 16:15:08 +0000223 const std::vector<const DexFile*>* GetNoInlineFromDexFile() const {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800224 return no_inline_from_;
225 }
226
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000227 bool ParseCompilerOption(const StringPiece& option, UsageFn Usage);
228
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000229 const std::string& GetDumpCfgFileName() const {
230 return dump_cfg_file_name_;
231 }
232
233 bool GetDumpCfgAppend() const {
234 return dump_cfg_append_;
235 }
236
Brian Carlstrom6449c622014-02-10 23:48:36 -0800237 private:
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000238 void ParseDumpInitFailures(const StringPiece& option, UsageFn Usage);
239 void ParsePassOptions(const StringPiece& option, UsageFn Usage);
240 void ParseDumpCfgPasses(const StringPiece& option, UsageFn Usage);
241 void ParsePrintPasses(const StringPiece& option, UsageFn Usage);
242 void ParseDisablePasses(const StringPiece& option, UsageFn Usage);
243 void ParseInlineMaxCodeUnits(const StringPiece& option, UsageFn Usage);
244 void ParseInlineDepthLimit(const StringPiece& option, UsageFn Usage);
245 void ParseNumDexMethods(const StringPiece& option, UsageFn Usage);
246 void ParseTinyMethodMax(const StringPiece& option, UsageFn Usage);
247 void ParseSmallMethodMax(const StringPiece& option, UsageFn Usage);
248 void ParseLargeMethodMax(const StringPiece& option, UsageFn Usage);
249 void ParseHugeMethodMax(const StringPiece& option, UsageFn Usage);
250
Brian Carlstrom6449c622014-02-10 23:48:36 -0800251 CompilerFilter compiler_filter_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000252 size_t huge_method_threshold_;
253 size_t large_method_threshold_;
254 size_t small_method_threshold_;
255 size_t tiny_method_threshold_;
256 size_t num_dex_methods_threshold_;
257 size_t inline_depth_limit_;
258 size_t inline_max_code_units_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800259
Vladimir Marko47496c22016-01-27 16:15:08 +0000260 // Dex files from which we should not inline code.
261 // This is usually a very short list (i.e. a single dex file), so we
262 // prefer vector<> over a lookup-oriented container, such as set<>.
263 const std::vector<const DexFile*>* no_inline_from_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800264
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000265 bool include_patch_information_;
Calin Juravlec1b643c2014-05-30 23:44:11 +0100266 // When using a profile file only the top K% of the profiled samples will be compiled.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000267 double top_k_profile_threshold_;
268 bool debuggable_;
David Srbecky0cf44932015-12-09 14:09:59 +0000269 bool native_debuggable_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000270 bool generate_debug_info_;
271 bool implicit_null_checks_;
272 bool implicit_so_checks_;
273 bool implicit_suspend_checks_;
274 bool compile_pic_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700275
Ian Rogersc7dd2952014-10-21 23:31:19 -0700276 // Vector of methods to have verbose output enabled for.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000277 const std::vector<std::string>* verbose_methods_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700278
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000279 PassManagerOptions pass_manager_options_;
Mathieu Chartier5bdab122015-01-26 18:30:19 -0800280
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800281 // Abort compilation with an error if we find a class that fails verification with a hard
282 // failure.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000283 bool abort_on_hard_verifier_failure_;
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800284
Andreas Gampedbfe2542014-11-25 22:21:42 -0800285 // Log initialization of initialization failures to this stream if not null.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000286 std::unique_ptr<std::ostream> init_failure_output_;
287
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000288 std::string dump_cfg_file_name_;
289 bool dump_cfg_append_;
290
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000291 friend class Dex2Oat;
Andreas Gampedbfe2542014-11-25 22:21:42 -0800292
Ian Rogersc7dd2952014-10-21 23:31:19 -0700293 DISALLOW_COPY_AND_ASSIGN(CompilerOptions);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800294};
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700295std::ostream& operator<<(std::ostream& os, const CompilerOptions::CompilerFilter& rhs);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800296
297} // namespace art
298
299#endif // ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_