DFG should hoist structure checks
[WebKit-https.git] / Source / JavaScriptCore / runtime / Options.h
1 /*
2  * Copyright (C) 2011, 2012 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #ifndef Options_h
27 #define Options_h
28
29 #include "JSExportMacros.h"
30 #include <stdint.h>
31 #include <stdio.h>
32
33 namespace JSC {
34
35 // How do JSC VM options work?
36 // ===========================
37 // The JSC_OPTIONS() macro below defines a list of all JSC options in use,
38 // along with their types and default values. The options values are actually
39 // realized as an array of Options::Entry elements.
40 //
41 //     Options::initialize() will initialize the array of options values with
42 // the defaults specified in JSC_OPTIONS() below. After that, the values can
43 // be programmatically read and written to using an accessor method with the
44 // same name as the option. For example, the option "useJIT" can be read and
45 // set like so:
46 //
47 //     bool jitIsOn = Options::useJIT();  // Get the option value.
48 //     Options::useJIT() = false;         // Sets the option value.
49 //
50 //     If you want to tweak any of these values programmatically for testing
51 // purposes, you can do so in Options::initialize() after the default values
52 // are set.
53 //
54 //     Alternatively, you can enable RUN_TIME_HEURISTICS which will allow you
55 // to override the default values by specifying environment variables of the
56 // form: JSC_<name of JSC option>.
57 //
58 // Note: Options::initialize() tries to ensure some sanity on the option values
59 // which are set by doing some range checks, and value corrections. These
60 // checks are done after the option values are set. If you alter the option
61 // values after the sanity checks (for your own testing), then you're liable to
62 // ensure that the new values set are sane and reasonable for your own run.
63
64
65 #define JSC_OPTIONS(v) \
66     v(bool, useJIT,    true) \
67     v(bool, useDFGJIT, true) \
68     \
69     /* showDisassembly implies showDFGDisassembly. */ \
70     v(bool, showDisassembly, false) \
71     v(bool, showDFGDisassembly, false) \
72     \
73     v(unsigned, maximumOptimizationCandidateInstructionCount, 10000) \
74     \
75     v(unsigned, maximumFunctionForCallInlineCandidateInstructionCount, 180) \
76     v(unsigned, maximumFunctionForConstructInlineCandidateInstructionCount, 100) \
77     \
78     /* Depth of inline stack, so 1 = no inlining, 2 = one level, etc. */ \
79     v(unsigned, maximumInliningDepth, 5) \
80     \
81     v(int32, thresholdForJITAfterWarmUp, 100) \
82     v(int32, thresholdForJITSoon, 100) \
83     \
84     v(int32, thresholdForOptimizeAfterWarmUp, 1000) \
85     v(int32, thresholdForOptimizeAfterLongWarmUp, 5000) \
86     v(int32, thresholdForOptimizeSoon, 1000) \
87     \
88     v(int32, executionCounterIncrementForLoop, 1) \
89     v(int32, executionCounterIncrementForReturn, 15) \
90     \
91     v(bool, randomizeExecutionCountsBetweenCheckpoints, false) \
92     v(int32, maximumExecutionCountsBetweenCheckpoints, 1000) \
93     \
94     v(double, likelyToTakeSlowCaseThreshold, 0.15) \
95     v(double, couldTakeSlowCaseThreshold, 0.05) \
96     v(unsigned, likelyToTakeSlowCaseMinimumCount, 100) \
97     v(unsigned, couldTakeSlowCaseMinimumCount, 10) \
98     \
99     v(double, osrExitProminenceForFrequentExitSite, 0.3) \
100     v(unsigned, osrExitCountForReoptimization, 100) \
101     v(unsigned, osrExitCountForReoptimizationFromLoop, 5) \
102     \
103     v(unsigned, reoptimizationRetryCounterMax, 0)  \
104     v(unsigned, reoptimizationRetryCounterStep, 1) \
105     \
106     v(unsigned, minimumOptimizationDelay, 1) \
107     v(unsigned, maximumOptimizationDelay, 5) \
108     v(double, desiredProfileLivenessRate, 0.75) \
109     v(double, desiredProfileFullnessRate, 0.35) \
110     \
111     v(double, doubleVoteRatioForDoubleFormat, 2) \
112     v(double, structureCheckVoteRatioForHoisting, 1) \
113     \
114     v(unsigned, minimumNumberOfScansBetweenRebalance, 100) \
115     v(unsigned, gcMarkStackSegmentSize, pageSize()) \
116     v(unsigned, numberOfGCMarkers, computeNumberOfGCMarkers(7)) \
117     v(unsigned, opaqueRootMergeThreshold, 1000) \
118     \
119     v(bool, forceWeakRandomSeed, false) \
120     v(unsigned, forcedWeakRandomSeed, 0)
121
122
123 class Options {
124 public:
125     // This typedef is to allow us to eliminate the '_' in the field name in
126     // union inside Entry. This is needed to keep the style checker happy.
127     typedef int32_t int32;
128
129     // Declare the option IDs:
130     enum OptionID {
131 #define FOR_EACH_OPTION(type_, name_, defaultValue_) \
132         OPT_##name_,
133         JSC_OPTIONS(FOR_EACH_OPTION)
134 #undef FOR_EACH_OPTION
135         numberOfOptions
136     };
137
138
139     static void initialize();
140
141     // Parses a single command line option in the format "<optionName>=<value>"
142     // (no spaces allowed) and set the specified option if appropriate.
143     JS_EXPORT_PRIVATE static bool setOption(const char* arg);
144     JS_EXPORT_PRIVATE static void dumpAllOptions(FILE* stream = stdout);
145     static void dumpOption(OptionID id, FILE* stream = stdout, const char* header = "", const char* footer = "");
146
147     // Declare accessors for each option:
148 #define FOR_EACH_OPTION(type_, name_, defaultValue_) \
149     ALWAYS_INLINE static type_& name_() { return s_options[OPT_##name_].u.type_##Val; }
150
151     JSC_OPTIONS(FOR_EACH_OPTION)
152 #undef FOR_EACH_OPTION
153
154 private:
155     enum EntryType {
156         boolType,
157         unsignedType,
158         doubleType,
159         int32Type
160     };
161
162     // For storing for an option value:
163     struct Entry {
164         union {
165             bool boolVal;
166             unsigned unsignedVal;
167             double doubleVal;
168             int32 int32Val;
169         } u;
170     };
171
172     // For storing constant meta data about each option:
173     struct EntryInfo {
174         const char* name;
175         EntryType type;
176     };
177
178     Options();
179
180     // Declare the options:
181 #define FOR_EACH_OPTION(type_, name_, defaultValue_) \
182     type_ m_##name_;
183     JSC_OPTIONS(FOR_EACH_OPTION)
184 #undef FOR_EACH_OPTION
185
186     // Declare the singleton instance of the options store:
187     JS_EXPORTDATA static Entry s_options[numberOfOptions];
188     static const EntryInfo s_optionsInfo[numberOfOptions];
189 };
190
191 } // namespace JSC
192
193 #endif // Options_h