Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(5)

Side by Side Diff: src/compiler.h

Issue 8404030: Version 3.7.1 (Closed) Base URL: http://v8.googlecode.com/svn/trunk/
Patch Set: Created 9 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/collection.js ('k') | src/compiler.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2011 the V8 project authors. All rights reserved. 1 // Copyright 2011 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after
45 explicit CompilationInfo(Handle<SharedFunctionInfo> shared_info); 45 explicit CompilationInfo(Handle<SharedFunctionInfo> shared_info);
46 explicit CompilationInfo(Handle<JSFunction> closure); 46 explicit CompilationInfo(Handle<JSFunction> closure);
47 47
48 Isolate* isolate() { 48 Isolate* isolate() {
49 ASSERT(Isolate::Current() == isolate_); 49 ASSERT(Isolate::Current() == isolate_);
50 return isolate_; 50 return isolate_;
51 } 51 }
52 bool is_lazy() const { return IsLazy::decode(flags_); } 52 bool is_lazy() const { return IsLazy::decode(flags_); }
53 bool is_eval() const { return IsEval::decode(flags_); } 53 bool is_eval() const { return IsEval::decode(flags_); }
54 bool is_global() const { return IsGlobal::decode(flags_); } 54 bool is_global() const { return IsGlobal::decode(flags_); }
55 bool is_strict_mode() const { return IsStrictMode::decode(flags_); } 55 bool is_strict_mode() const { return strict_mode_flag() == kStrictMode; }
56 StrictModeFlag strict_mode_flag() const {
57 return StrictModeFlagField::decode(flags_);
58 }
56 bool is_in_loop() const { return IsInLoop::decode(flags_); } 59 bool is_in_loop() const { return IsInLoop::decode(flags_); }
57 FunctionLiteral* function() const { return function_; } 60 FunctionLiteral* function() const { return function_; }
58 Scope* scope() const { return scope_; } 61 Scope* scope() const { return scope_; }
59 Handle<Code> code() const { return code_; } 62 Handle<Code> code() const { return code_; }
60 Handle<JSFunction> closure() const { return closure_; } 63 Handle<JSFunction> closure() const { return closure_; }
61 Handle<SharedFunctionInfo> shared_info() const { return shared_info_; } 64 Handle<SharedFunctionInfo> shared_info() const { return shared_info_; }
62 Handle<Script> script() const { return script_; } 65 Handle<Script> script() const { return script_; }
63 v8::Extension* extension() const { return extension_; } 66 v8::Extension* extension() const { return extension_; }
64 ScriptDataImpl* pre_parse_data() const { return pre_parse_data_; } 67 ScriptDataImpl* pre_parse_data() const { return pre_parse_data_; }
65 Handle<Context> calling_context() const { return calling_context_; } 68 Handle<Context> calling_context() const { return calling_context_; }
66 int osr_ast_id() const { return osr_ast_id_; } 69 int osr_ast_id() const { return osr_ast_id_; }
67 70
68 void MarkAsEval() { 71 void MarkAsEval() {
69 ASSERT(!is_lazy()); 72 ASSERT(!is_lazy());
70 flags_ |= IsEval::encode(true); 73 flags_ |= IsEval::encode(true);
71 } 74 }
72 void MarkAsGlobal() { 75 void MarkAsGlobal() {
73 ASSERT(!is_lazy()); 76 ASSERT(!is_lazy());
74 flags_ |= IsGlobal::encode(true); 77 flags_ |= IsGlobal::encode(true);
75 } 78 }
76 void MarkAsStrictMode() { 79 void SetStrictModeFlag(StrictModeFlag strict_mode_flag) {
77 flags_ |= IsStrictMode::encode(true); 80 ASSERT(StrictModeFlagField::decode(flags_) == kNonStrictMode ||
78 } 81 StrictModeFlagField::decode(flags_) == strict_mode_flag);
79 StrictModeFlag StrictMode() { 82 flags_ = StrictModeFlagField::update(flags_, strict_mode_flag);
80 return is_strict_mode() ? kStrictMode : kNonStrictMode;
81 } 83 }
82 void MarkAsInLoop() { 84 void MarkAsInLoop() {
83 ASSERT(is_lazy()); 85 ASSERT(is_lazy());
84 flags_ |= IsInLoop::encode(true); 86 flags_ |= IsInLoop::encode(true);
85 } 87 }
86 void MarkAsNative() { 88 void MarkAsNative() {
87 flags_ |= IsNative::encode(true); 89 flags_ |= IsNative::encode(true);
88 } 90 }
89 bool is_native() const { 91 bool is_native() const {
90 return IsNative::decode(flags_); 92 return IsNative::decode(flags_);
(...skipping 16 matching lines...) Expand all
107 pre_parse_data_ = pre_parse_data; 109 pre_parse_data_ = pre_parse_data;
108 } 110 }
109 void SetCallingContext(Handle<Context> context) { 111 void SetCallingContext(Handle<Context> context) {
110 ASSERT(is_eval()); 112 ASSERT(is_eval());
111 calling_context_ = context; 113 calling_context_ = context;
112 } 114 }
113 void SetOsrAstId(int osr_ast_id) { 115 void SetOsrAstId(int osr_ast_id) {
114 ASSERT(IsOptimizing()); 116 ASSERT(IsOptimizing());
115 osr_ast_id_ = osr_ast_id; 117 osr_ast_id_ = osr_ast_id;
116 } 118 }
119 void MarkCompilingForDebugging(Handle<Code> current_code) {
120 ASSERT(mode_ != OPTIMIZE);
121 ASSERT(current_code->kind() == Code::FUNCTION);
122 flags_ |= IsCompilingForDebugging::encode(true);
123 if (current_code->is_compiled_optimizable()) {
124 EnableDeoptimizationSupport();
125 } else {
126 mode_ = CompilationInfo::NONOPT;
127 }
128 }
129 bool IsCompilingForDebugging() {
130 return IsCompilingForDebugging::decode(flags_);
131 }
117 132
118 bool has_global_object() const { 133 bool has_global_object() const {
119 return !closure().is_null() && (closure()->context()->global() != NULL); 134 return !closure().is_null() && (closure()->context()->global() != NULL);
120 } 135 }
121 136
122 GlobalObject* global_object() const { 137 GlobalObject* global_object() const {
123 return has_global_object() ? closure()->context()->global() : NULL; 138 return has_global_object() ? closure()->context()->global() : NULL;
124 } 139 }
125 140
126 // Accessors for the different compilation modes. 141 // Accessors for the different compilation modes.
127 bool IsOptimizing() const { return mode_ == OPTIMIZE; } 142 bool IsOptimizing() const { return mode_ == OPTIMIZE; }
128 bool IsOptimizable() const { return mode_ == BASE; } 143 bool IsOptimizable() const { return mode_ == BASE; }
129 void SetOptimizing(int osr_ast_id) { 144 void SetOptimizing(int osr_ast_id) {
130 SetMode(OPTIMIZE); 145 SetMode(OPTIMIZE);
131 osr_ast_id_ = osr_ast_id; 146 osr_ast_id_ = osr_ast_id;
132 } 147 }
133 void DisableOptimization(); 148 void DisableOptimization();
134 149
135 // Deoptimization support. 150 // Deoptimization support.
136 bool HasDeoptimizationSupport() const { return supports_deoptimization_; } 151 bool HasDeoptimizationSupport() const {
152 return SupportsDeoptimization::decode(flags_);
153 }
137 void EnableDeoptimizationSupport() { 154 void EnableDeoptimizationSupport() {
138 ASSERT(IsOptimizable()); 155 ASSERT(IsOptimizable());
139 supports_deoptimization_ = true; 156 flags_ |= SupportsDeoptimization::encode(true);
140 } 157 }
141 158
142 // Determine whether or not we can adaptively optimize. 159 // Determine whether or not we can adaptively optimize.
143 bool AllowOptimize() { 160 bool AllowOptimize() {
144 return V8::UseCrankshaft() && !closure_.is_null(); 161 return V8::UseCrankshaft() && !closure_.is_null();
145 } 162 }
146 163
147 // Disable all optimization attempts of this info for the rest of the 164 // Disable all optimization attempts of this info for the rest of the
148 // current compilation pipeline. 165 // current compilation pipeline.
149 void AbortOptimization(); 166 void AbortOptimization();
(...skipping 14 matching lines...) Expand all
164 }; 181 };
165 182
166 CompilationInfo() : function_(NULL) {} 183 CompilationInfo() : function_(NULL) {}
167 184
168 void Initialize(Mode mode) { 185 void Initialize(Mode mode) {
169 mode_ = V8::UseCrankshaft() ? mode : NONOPT; 186 mode_ = V8::UseCrankshaft() ? mode : NONOPT;
170 ASSERT(!script_.is_null()); 187 ASSERT(!script_.is_null());
171 if (script_->type()->value() == Script::TYPE_NATIVE) { 188 if (script_->type()->value() == Script::TYPE_NATIVE) {
172 MarkAsNative(); 189 MarkAsNative();
173 } 190 }
174 if (!shared_info_.is_null() && shared_info_->strict_mode()) { 191 if (!shared_info_.is_null()) {
175 MarkAsStrictMode(); 192 ASSERT(strict_mode_flag() == kNonStrictMode);
193 SetStrictModeFlag(shared_info_->strict_mode_flag());
176 } 194 }
177 } 195 }
178 196
179 void SetMode(Mode mode) { 197 void SetMode(Mode mode) {
180 ASSERT(V8::UseCrankshaft()); 198 ASSERT(V8::UseCrankshaft());
181 mode_ = mode; 199 mode_ = mode;
182 } 200 }
183 201
184 // Flags using template class BitField<type, start, length>. All are 202 // Flags using template class BitField<type, start, length>. All are
185 // false by default. 203 // false by default.
186 // 204 //
187 // Compilation is either eager or lazy. 205 // Compilation is either eager or lazy.
188 class IsLazy: public BitField<bool, 0, 1> {}; 206 class IsLazy: public BitField<bool, 0, 1> {};
189 // Flags that can be set for eager compilation. 207 // Flags that can be set for eager compilation.
190 class IsEval: public BitField<bool, 1, 1> {}; 208 class IsEval: public BitField<bool, 1, 1> {};
191 class IsGlobal: public BitField<bool, 2, 1> {}; 209 class IsGlobal: public BitField<bool, 2, 1> {};
192 // Flags that can be set for lazy compilation. 210 // Flags that can be set for lazy compilation.
193 class IsInLoop: public BitField<bool, 3, 1> {}; 211 class IsInLoop: public BitField<bool, 3, 1> {};
194 // Strict mode - used in eager compilation. 212 // Strict mode - used in eager compilation.
195 class IsStrictMode: public BitField<bool, 4, 1> {}; 213 class StrictModeFlagField: public BitField<StrictModeFlag, 4, 1> {};
196 // Is this a function from our natives. 214 // Is this a function from our natives.
197 class IsNative: public BitField<bool, 6, 1> {}; 215 class IsNative: public BitField<bool, 6, 1> {};
216 // Is this code being compiled with support for deoptimization..
217 class SupportsDeoptimization: public BitField<bool, 7, 1> {};
218 // If compiling for debugging produce just full code matching the
219 // initial mode setting.
220 class IsCompilingForDebugging: public BitField<bool, 8, 1> {};
198 221
199 222
200 unsigned flags_; 223 unsigned flags_;
201 224
202 // Fields filled in by the compilation pipeline. 225 // Fields filled in by the compilation pipeline.
203 // AST filled in by the parser. 226 // AST filled in by the parser.
204 FunctionLiteral* function_; 227 FunctionLiteral* function_;
205 // The scope of the function literal as a convenience. Set to indicate 228 // The scope of the function literal as a convenience. Set to indicate
206 // that scopes have been analyzed. 229 // that scopes have been analyzed.
207 Scope* scope_; 230 Scope* scope_;
208 // The compiled code. 231 // The compiled code.
209 Handle<Code> code_; 232 Handle<Code> code_;
210 233
211 // Possible initial inputs to the compilation process. 234 // Possible initial inputs to the compilation process.
212 Handle<JSFunction> closure_; 235 Handle<JSFunction> closure_;
213 Handle<SharedFunctionInfo> shared_info_; 236 Handle<SharedFunctionInfo> shared_info_;
214 Handle<Script> script_; 237 Handle<Script> script_;
215 238
216 // Fields possibly needed for eager compilation, NULL by default. 239 // Fields possibly needed for eager compilation, NULL by default.
217 v8::Extension* extension_; 240 v8::Extension* extension_;
218 ScriptDataImpl* pre_parse_data_; 241 ScriptDataImpl* pre_parse_data_;
219 242
220 // The context of the caller is needed for eval code, and will be a null 243 // The context of the caller is needed for eval code, and will be a null
221 // handle otherwise. 244 // handle otherwise.
222 Handle<Context> calling_context_; 245 Handle<Context> calling_context_;
223 246
224 // Compilation mode flag and whether deoptimization is allowed. 247 // Compilation mode flag and whether deoptimization is allowed.
225 Mode mode_; 248 Mode mode_;
226 bool supports_deoptimization_;
227 int osr_ast_id_; 249 int osr_ast_id_;
228 250
229 DISALLOW_COPY_AND_ASSIGN(CompilationInfo); 251 DISALLOW_COPY_AND_ASSIGN(CompilationInfo);
230 }; 252 };
231 253
232 254
233 // The V8 compiler 255 // The V8 compiler
234 // 256 //
235 // General strategy: Source code is translated into an anonymous function w/o 257 // General strategy: Source code is translated into an anonymous function w/o
236 // parameters which then can be executed. If the source code contains other 258 // parameters which then can be executed. If the source code contains other
(...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after
290 312
291 static void RecordFunctionCompilation(Logger::LogEventsAndTags tag, 313 static void RecordFunctionCompilation(Logger::LogEventsAndTags tag,
292 CompilationInfo* info, 314 CompilationInfo* info,
293 Handle<SharedFunctionInfo> shared); 315 Handle<SharedFunctionInfo> shared);
294 }; 316 };
295 317
296 318
297 } } // namespace v8::internal 319 } } // namespace v8::internal
298 320
299 #endif // V8_COMPILER_H_ 321 #endif // V8_COMPILER_H_
OLDNEW
« no previous file with comments | « src/collection.js ('k') | src/compiler.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698