blob: 60b700ad917f148e2bdadf732c931392c5130c9e [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"
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:
Brian Carlstrom6449c622014-02-10 23:48:36 -080033 // Guide heuristics to determine whether to compile method if profile data not available.
Brian Carlstrom6449c622014-02-10 23:48:36 -080034 static const size_t kDefaultHugeMethodThreshold = 10000;
35 static const size_t kDefaultLargeMethodThreshold = 600;
36 static const size_t kDefaultSmallMethodThreshold = 60;
37 static const size_t kDefaultTinyMethodThreshold = 20;
38 static const size_t kDefaultNumDexMethodsThreshold = 900;
Calin Juravlec1b643c2014-05-30 23:44:11 +010039 static constexpr double kDefaultTopKProfileThreshold = 90.0;
David Srbecky3e09eeb2016-01-12 14:54:03 +000040 static const bool kDefaultGenerateDebugInfo = false;
David Srbecky5b1c2ca2016-01-25 17:32:41 +000041 static const bool kDefaultGenerateMiniDebugInfo = false;
Alex Light53cb16b2014-06-12 11:26:29 -070042 static const bool kDefaultIncludePatchInformation = false;
Calin Juravleec748352015-07-29 13:52:12 +010043 static const size_t kDefaultInlineDepthLimit = 3;
Nicolas Geoffray5949fa02015-12-18 10:57:10 +000044 static const size_t kDefaultInlineMaxCodeUnits = 32;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +000045 static constexpr size_t kUnsetInlineDepthLimit = -1;
46 static constexpr size_t kUnsetInlineMaxCodeUnits = -1;
Brian Carlstrom6449c622014-02-10 23:48:36 -080047
Roland Levillaina215b952015-08-07 11:38:32 +010048 // Default inlining settings when the space filter is used.
49 static constexpr size_t kSpaceFilterInlineDepthLimit = 3;
50 static constexpr size_t kSpaceFilterInlineMaxCodeUnits = 10;
51
Mathieu Chartier5bdab122015-01-26 18:30:19 -080052 CompilerOptions();
Vladimir Markob163bb72015-03-31 21:49:49 +010053 ~CompilerOptions();
Brian Carlstrom6449c622014-02-10 23:48:36 -080054
Andreas Gampe29d38e72016-03-23 15:31:51 +000055 CompilerOptions(CompilerFilter::Filter compiler_filter,
Brian Carlstrom6449c622014-02-10 23:48:36 -080056 size_t huge_method_threshold,
57 size_t large_method_threshold,
58 size_t small_method_threshold,
59 size_t tiny_method_threshold,
Mark Mendellae9fd932014-02-10 16:14:35 -080060 size_t num_dex_methods_threshold,
Calin Juravleec748352015-07-29 13:52:12 +010061 size_t inline_depth_limit,
62 size_t inline_max_code_units,
Vladimir Marko47496c22016-01-27 16:15:08 +000063 const std::vector<const DexFile*>* no_inline_from,
Alex Light53cb16b2014-06-12 11:26:29 -070064 bool include_patch_information,
Alex Light78382fa2014-06-06 15:45:32 -070065 double top_k_profile_threshold,
Andreas Gampe7b2f09e2015-03-02 14:07:33 -080066 bool debuggable,
David Srbecky8363c772015-05-28 16:12:43 +010067 bool generate_debug_info,
Dave Allison69dfe512014-07-11 17:11:58 +000068 bool implicit_null_checks,
69 bool implicit_so_checks,
Igor Murashkind6dee672014-10-16 18:36:16 -070070 bool implicit_suspend_checks,
Ian Rogersc7dd2952014-10-21 23:31:19 -070071 bool compile_pic,
Andreas Gampedbfe2542014-11-25 22:21:42 -080072 const std::vector<std::string>* verbose_methods,
Andreas Gampe6cf49e52015-03-05 13:08:45 -080073 std::ostream* init_failure_output,
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +000074 bool abort_on_hard_verifier_failure,
75 const std::string& dump_cfg_file_name,
Andreas Gampeace0dc12016-01-20 13:33:13 -080076 bool dump_cfg_append,
77 bool force_determinism);
Brian Carlstrom6449c622014-02-10 23:48:36 -080078
Andreas Gampe29d38e72016-03-23 15:31:51 +000079 CompilerFilter::Filter GetCompilerFilter() const {
Brian Carlstrom6449c622014-02-10 23:48:36 -080080 return compiler_filter_;
81 }
82
Andreas Gampe29d38e72016-03-23 15:31:51 +000083 void SetCompilerFilter(CompilerFilter::Filter compiler_filter) {
Brian Carlstrom6449c622014-02-10 23:48:36 -080084 compiler_filter_ = compiler_filter;
85 }
86
Mathieu Chartiere86deef2015-03-19 13:43:37 -070087 bool VerifyAtRuntime() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +000088 return compiler_filter_ == CompilerFilter::kVerifyAtRuntime;
Mathieu Chartiere86deef2015-03-19 13:43:37 -070089 }
90
Vladimir Markof6d1e0f2016-05-23 15:32:42 +010091 bool IsBytecodeCompilationEnabled() const {
92 return CompilerFilter::IsBytecodeCompilationEnabled(compiler_filter_);
93 }
94
95 bool IsJniCompilationEnabled() const {
96 return CompilerFilter::IsJniCompilationEnabled(compiler_filter_);
Jeff Hao4a200f52014-04-01 14:58:49 -070097 }
98
99 bool IsVerificationEnabled() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000100 return CompilerFilter::IsVerificationEnabled(compiler_filter_);
Mathieu Chartiere86deef2015-03-19 13:43:37 -0700101 }
102
103 bool NeverVerify() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000104 return compiler_filter_ == CompilerFilter::kVerifyNone;
David Brazdilce4b0ba2016-01-28 15:05:49 +0000105 }
106
Mathieu Chartiera8077802016-03-16 19:08:31 -0700107 bool VerifyOnlyProfile() const {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000108 return compiler_filter_ == CompilerFilter::kVerifyProfile;
Mathieu Chartiera8077802016-03-16 19:08:31 -0700109 }
110
Brian Carlstrom6449c622014-02-10 23:48:36 -0800111 size_t GetHugeMethodThreshold() const {
112 return huge_method_threshold_;
113 }
114
115 size_t GetLargeMethodThreshold() const {
116 return large_method_threshold_;
117 }
118
119 size_t GetSmallMethodThreshold() const {
120 return small_method_threshold_;
121 }
122
123 size_t GetTinyMethodThreshold() const {
124 return tiny_method_threshold_;
125 }
126
127 bool IsHugeMethod(size_t num_dalvik_instructions) const {
128 return num_dalvik_instructions > huge_method_threshold_;
129 }
130
131 bool IsLargeMethod(size_t num_dalvik_instructions) const {
132 return num_dalvik_instructions > large_method_threshold_;
133 }
134
135 bool IsSmallMethod(size_t num_dalvik_instructions) const {
136 return num_dalvik_instructions > small_method_threshold_;
137 }
138
139 bool IsTinyMethod(size_t num_dalvik_instructions) const {
140 return num_dalvik_instructions > tiny_method_threshold_;
141 }
142
143 size_t GetNumDexMethodsThreshold() const {
144 return num_dex_methods_threshold_;
145 }
146
Calin Juravleec748352015-07-29 13:52:12 +0100147 size_t GetInlineDepthLimit() const {
148 return inline_depth_limit_;
149 }
Andreas Gampe3f41a012016-02-18 16:53:41 -0800150 void SetInlineDepthLimit(size_t limit) {
151 inline_depth_limit_ = limit;
152 }
Calin Juravleec748352015-07-29 13:52:12 +0100153
154 size_t GetInlineMaxCodeUnits() const {
155 return inline_max_code_units_;
156 }
Andreas Gampe3f41a012016-02-18 16:53:41 -0800157 void SetInlineMaxCodeUnits(size_t units) {
158 inline_max_code_units_ = units;
159 }
Calin Juravleec748352015-07-29 13:52:12 +0100160
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 {
David Srbecky346dc992016-03-13 22:00:07 +0000170 return GetDebuggable() && GetGenerateDebugInfo();
David Srbecky0cf44932015-12-09 14:09:59 +0000171 }
172
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000173 // This flag controls whether the compiler collects debugging information.
174 // The other flags control how the information is written to disk.
175 bool GenerateAnyDebugInfo() const {
176 return GetGenerateDebugInfo() || GetGenerateMiniDebugInfo();
177 }
178
David Srbecky8363c772015-05-28 16:12:43 +0100179 bool GetGenerateDebugInfo() const {
180 return generate_debug_info_;
David Srbecky8dc73242015-04-12 11:40:39 +0100181 }
182
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000183 bool GetGenerateMiniDebugInfo() const {
184 return generate_mini_debug_info_;
185 }
186
Dave Allison69dfe512014-07-11 17:11:58 +0000187 bool GetImplicitNullChecks() const {
188 return implicit_null_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700189 }
190
Dave Allison69dfe512014-07-11 17:11:58 +0000191 bool GetImplicitStackOverflowChecks() const {
192 return implicit_so_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700193 }
194
Dave Allison69dfe512014-07-11 17:11:58 +0000195 bool GetImplicitSuspendChecks() const {
196 return implicit_suspend_checks_;
Andreas Gampe5655e842014-06-17 16:36:07 -0700197 }
198
Alex Light53cb16b2014-06-12 11:26:29 -0700199 bool GetIncludePatchInformation() const {
200 return include_patch_information_;
201 }
202
Igor Murashkind6dee672014-10-16 18:36:16 -0700203 // Should the code be compiled as position independent?
204 bool GetCompilePic() const {
205 return compile_pic_;
206 }
207
Ian Rogersc7dd2952014-10-21 23:31:19 -0700208 bool HasVerboseMethods() const {
209 return verbose_methods_ != nullptr && !verbose_methods_->empty();
210 }
211
212 bool IsVerboseMethod(const std::string& pretty_method) const {
213 for (const std::string& cur_method : *verbose_methods_) {
214 if (pretty_method.find(cur_method) != std::string::npos) {
215 return true;
216 }
217 }
218 return false;
219 }
220
Andreas Gampedbfe2542014-11-25 22:21:42 -0800221 std::ostream* GetInitFailureOutput() const {
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000222 return init_failure_output_.get();
Andreas Gampedbfe2542014-11-25 22:21:42 -0800223 }
224
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800225 bool AbortOnHardVerifierFailure() const {
226 return abort_on_hard_verifier_failure_;
227 }
228
Vladimir Marko47496c22016-01-27 16:15:08 +0000229 const std::vector<const DexFile*>* GetNoInlineFromDexFile() const {
Jeff Haodcdc85b2015-12-04 14:06:18 -0800230 return no_inline_from_;
231 }
232
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000233 bool ParseCompilerOption(const StringPiece& option, UsageFn Usage);
234
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000235 const std::string& GetDumpCfgFileName() const {
236 return dump_cfg_file_name_;
237 }
238
239 bool GetDumpCfgAppend() const {
240 return dump_cfg_append_;
241 }
242
Andreas Gampeace0dc12016-01-20 13:33:13 -0800243 bool IsForceDeterminism() const {
244 return force_determinism_;
245 }
246
Brian Carlstrom6449c622014-02-10 23:48:36 -0800247 private:
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000248 void ParseDumpInitFailures(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000249 void ParseDumpCfgPasses(const StringPiece& option, UsageFn Usage);
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000250 void ParseInlineMaxCodeUnits(const StringPiece& option, UsageFn Usage);
251 void ParseInlineDepthLimit(const StringPiece& option, UsageFn Usage);
252 void ParseNumDexMethods(const StringPiece& option, UsageFn Usage);
253 void ParseTinyMethodMax(const StringPiece& option, UsageFn Usage);
254 void ParseSmallMethodMax(const StringPiece& option, UsageFn Usage);
255 void ParseLargeMethodMax(const StringPiece& option, UsageFn Usage);
256 void ParseHugeMethodMax(const StringPiece& option, UsageFn Usage);
257
Andreas Gampe29d38e72016-03-23 15:31:51 +0000258 CompilerFilter::Filter compiler_filter_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000259 size_t huge_method_threshold_;
260 size_t large_method_threshold_;
261 size_t small_method_threshold_;
262 size_t tiny_method_threshold_;
263 size_t num_dex_methods_threshold_;
264 size_t inline_depth_limit_;
265 size_t inline_max_code_units_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800266
Vladimir Marko47496c22016-01-27 16:15:08 +0000267 // Dex files from which we should not inline code.
268 // This is usually a very short list (i.e. a single dex file), so we
269 // prefer vector<> over a lookup-oriented container, such as set<>.
270 const std::vector<const DexFile*>* no_inline_from_;
Jeff Haodcdc85b2015-12-04 14:06:18 -0800271
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000272 bool include_patch_information_;
Calin Juravlec1b643c2014-05-30 23:44:11 +0100273 // When using a profile file only the top K% of the profiled samples will be compiled.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000274 double top_k_profile_threshold_;
275 bool debuggable_;
276 bool generate_debug_info_;
David Srbecky5b1c2ca2016-01-25 17:32:41 +0000277 bool generate_mini_debug_info_;
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000278 bool implicit_null_checks_;
279 bool implicit_so_checks_;
280 bool implicit_suspend_checks_;
281 bool compile_pic_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700282
Ian Rogersc7dd2952014-10-21 23:31:19 -0700283 // Vector of methods to have verbose output enabled for.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000284 const std::vector<std::string>* verbose_methods_;
Ian Rogersc7dd2952014-10-21 23:31:19 -0700285
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800286 // Abort compilation with an error if we find a class that fails verification with a hard
287 // failure.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000288 bool abort_on_hard_verifier_failure_;
Andreas Gampe6cf49e52015-03-05 13:08:45 -0800289
Andreas Gampedbfe2542014-11-25 22:21:42 -0800290 // Log initialization of initialization failures to this stream if not null.
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000291 std::unique_ptr<std::ostream> init_failure_output_;
292
Nicolas Geoffrayc903b6a2016-01-18 12:56:06 +0000293 std::string dump_cfg_file_name_;
294 bool dump_cfg_append_;
295
Andreas Gampeace0dc12016-01-20 13:33:13 -0800296 // Whether the compiler should trade performance for determinism to guarantee exactly reproducable
297 // outcomes.
298 bool force_determinism_;
299
Nicolas Geoffrayabbb0f72015-10-29 18:55:58 +0000300 friend class Dex2Oat;
Andreas Gampedbfe2542014-11-25 22:21:42 -0800301
Ian Rogersc7dd2952014-10-21 23:31:19 -0700302 DISALLOW_COPY_AND_ASSIGN(CompilerOptions);
Brian Carlstrom6449c622014-02-10 23:48:36 -0800303};
Brian Carlstrom6449c622014-02-10 23:48:36 -0800304
305} // namespace art
306
307#endif // ART_COMPILER_DRIVER_COMPILER_OPTIONS_H_