OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 18 matching lines...) Expand all Loading... |
29 #define V8_COMPILER_H_ | 29 #define V8_COMPILER_H_ |
30 | 30 |
31 #include "allocation.h" | 31 #include "allocation.h" |
32 #include "ast.h" | 32 #include "ast.h" |
33 #include "zone.h" | 33 #include "zone.h" |
34 | 34 |
35 namespace v8 { | 35 namespace v8 { |
36 namespace internal { | 36 namespace internal { |
37 | 37 |
38 class ScriptDataImpl; | 38 class ScriptDataImpl; |
| 39 class HydrogenCodeStub; |
39 | 40 |
40 // CompilationInfo encapsulates some information known at compile time. It | 41 // CompilationInfo encapsulates some information known at compile time. It |
41 // is constructed based on the resources available at compile-time. | 42 // is constructed based on the resources available at compile-time. |
42 class CompilationInfo { | 43 class CompilationInfo { |
43 public: | 44 public: |
44 CompilationInfo(Handle<Script> script, Zone* zone); | 45 CompilationInfo(Handle<Script> script, Zone* zone); |
45 CompilationInfo(Handle<SharedFunctionInfo> shared_info, Zone* zone); | 46 CompilationInfo(Handle<SharedFunctionInfo> shared_info, Zone* zone); |
46 CompilationInfo(Handle<JSFunction> closure, Zone* zone); | 47 CompilationInfo(Handle<JSFunction> closure, Zone* zone); |
| 48 CompilationInfo(HydrogenCodeStub* stub, Isolate* isolate, Zone* zone); |
47 | 49 |
48 virtual ~CompilationInfo(); | 50 virtual ~CompilationInfo(); |
49 | 51 |
50 Isolate* isolate() { | 52 Isolate* isolate() { |
51 ASSERT(Isolate::Current() == isolate_); | 53 ASSERT(Isolate::Current() == isolate_); |
52 return isolate_; | 54 return isolate_; |
53 } | 55 } |
54 Zone* zone() { | 56 Zone* zone() { |
55 return zone_; | 57 return zone_; |
56 } | 58 } |
57 bool is_lazy() const { return IsLazy::decode(flags_); } | 59 bool is_lazy() const { return IsLazy::decode(flags_); } |
58 bool is_eval() const { return IsEval::decode(flags_); } | 60 bool is_eval() const { return IsEval::decode(flags_); } |
59 bool is_global() const { return IsGlobal::decode(flags_); } | 61 bool is_global() const { return IsGlobal::decode(flags_); } |
60 bool is_classic_mode() const { return language_mode() == CLASSIC_MODE; } | 62 bool is_classic_mode() const { return language_mode() == CLASSIC_MODE; } |
61 bool is_extended_mode() const { return language_mode() == EXTENDED_MODE; } | 63 bool is_extended_mode() const { return language_mode() == EXTENDED_MODE; } |
62 LanguageMode language_mode() const { | 64 LanguageMode language_mode() const { |
63 return LanguageModeField::decode(flags_); | 65 return LanguageModeField::decode(flags_); |
64 } | 66 } |
65 bool is_in_loop() const { return IsInLoop::decode(flags_); } | 67 bool is_in_loop() const { return IsInLoop::decode(flags_); } |
66 FunctionLiteral* function() const { return function_; } | 68 FunctionLiteral* function() const { return function_; } |
67 Scope* scope() const { return scope_; } | 69 Scope* scope() const { return scope_; } |
68 Scope* global_scope() const { return global_scope_; } | 70 Scope* global_scope() const { return global_scope_; } |
69 Handle<Code> code() const { return code_; } | 71 Handle<Code> code() const { return code_; } |
70 Handle<JSFunction> closure() const { return closure_; } | 72 Handle<JSFunction> closure() const { return closure_; } |
71 Handle<SharedFunctionInfo> shared_info() const { return shared_info_; } | 73 Handle<SharedFunctionInfo> shared_info() const { return shared_info_; } |
72 Handle<Script> script() const { return script_; } | 74 Handle<Script> script() const { return script_; } |
| 75 HydrogenCodeStub* code_stub() {return code_stub_; } |
73 v8::Extension* extension() const { return extension_; } | 76 v8::Extension* extension() const { return extension_; } |
74 ScriptDataImpl* pre_parse_data() const { return pre_parse_data_; } | 77 ScriptDataImpl* pre_parse_data() const { return pre_parse_data_; } |
75 Handle<Context> context() const { return context_; } | 78 Handle<Context> context() const { return context_; } |
76 BailoutId osr_ast_id() const { return osr_ast_id_; } | 79 BailoutId osr_ast_id() const { return osr_ast_id_; } |
| 80 int num_parameters() const; |
| 81 int num_heap_slots() const; |
| 82 Code::Flags flags() const; |
77 | 83 |
78 void MarkAsEval() { | 84 void MarkAsEval() { |
79 ASSERT(!is_lazy()); | 85 ASSERT(!is_lazy()); |
80 flags_ |= IsEval::encode(true); | 86 flags_ |= IsEval::encode(true); |
81 } | 87 } |
82 void MarkAsGlobal() { | 88 void MarkAsGlobal() { |
83 ASSERT(!is_lazy()); | 89 ASSERT(!is_lazy()); |
84 flags_ |= IsGlobal::encode(true); | 90 flags_ |= IsGlobal::encode(true); |
85 } | 91 } |
86 void SetLanguageMode(LanguageMode language_mode) { | 92 void SetLanguageMode(LanguageMode language_mode) { |
87 ASSERT(this->language_mode() == CLASSIC_MODE || | 93 ASSERT(this->language_mode() == CLASSIC_MODE || |
88 this->language_mode() == language_mode || | 94 this->language_mode() == language_mode || |
89 language_mode == EXTENDED_MODE); | 95 language_mode == EXTENDED_MODE); |
90 flags_ = LanguageModeField::update(flags_, language_mode); | 96 flags_ = LanguageModeField::update(flags_, language_mode); |
91 } | 97 } |
92 void MarkAsInLoop() { | 98 void MarkAsInLoop() { |
93 ASSERT(is_lazy()); | 99 ASSERT(is_lazy()); |
94 flags_ |= IsInLoop::encode(true); | 100 flags_ |= IsInLoop::encode(true); |
95 } | 101 } |
96 void MarkAsNative() { | 102 void MarkAsNative() { |
97 flags_ |= IsNative::encode(true); | 103 flags_ |= IsNative::encode(true); |
98 } | 104 } |
| 105 |
99 bool is_native() const { | 106 bool is_native() const { |
100 return IsNative::decode(flags_); | 107 return IsNative::decode(flags_); |
101 } | 108 } |
| 109 |
| 110 bool is_calling() const { |
| 111 return is_deferred_calling() || is_non_deferred_calling(); |
| 112 } |
| 113 |
| 114 void MarkAsDeferredCalling() { |
| 115 flags_ |= IsDeferredCalling::encode(true); |
| 116 } |
| 117 |
| 118 bool is_deferred_calling() const { |
| 119 return IsDeferredCalling::decode(flags_); |
| 120 } |
| 121 |
| 122 void MarkAsNonDeferredCalling() { |
| 123 flags_ |= IsNonDeferredCalling::encode(true); |
| 124 } |
| 125 |
| 126 bool is_non_deferred_calling() const { |
| 127 return IsNonDeferredCalling::decode(flags_); |
| 128 } |
| 129 |
102 void SetFunction(FunctionLiteral* literal) { | 130 void SetFunction(FunctionLiteral* literal) { |
103 ASSERT(function_ == NULL); | 131 ASSERT(function_ == NULL); |
104 function_ = literal; | 132 function_ = literal; |
105 } | 133 } |
106 void SetScope(Scope* scope) { | 134 void SetScope(Scope* scope) { |
107 ASSERT(scope_ == NULL); | 135 ASSERT(scope_ == NULL); |
108 scope_ = scope; | 136 scope_ = scope; |
109 } | 137 } |
110 void SetGlobalScope(Scope* global_scope) { | 138 void SetGlobalScope(Scope* global_scope) { |
111 ASSERT(global_scope_ == NULL); | 139 ASSERT(global_scope_ == NULL); |
(...skipping 30 matching lines...) Expand all Loading... |
142 (closure()->context()->global_object() != NULL); | 170 (closure()->context()->global_object() != NULL); |
143 } | 171 } |
144 | 172 |
145 GlobalObject* global_object() const { | 173 GlobalObject* global_object() const { |
146 return has_global_object() ? closure()->context()->global_object() : NULL; | 174 return has_global_object() ? closure()->context()->global_object() : NULL; |
147 } | 175 } |
148 | 176 |
149 // Accessors for the different compilation modes. | 177 // Accessors for the different compilation modes. |
150 bool IsOptimizing() const { return mode_ == OPTIMIZE; } | 178 bool IsOptimizing() const { return mode_ == OPTIMIZE; } |
151 bool IsOptimizable() const { return mode_ == BASE; } | 179 bool IsOptimizable() const { return mode_ == BASE; } |
| 180 bool IsStub() const { return mode_ == STUB; } |
152 void SetOptimizing(BailoutId osr_ast_id) { | 181 void SetOptimizing(BailoutId osr_ast_id) { |
153 SetMode(OPTIMIZE); | 182 SetMode(OPTIMIZE); |
154 osr_ast_id_ = osr_ast_id; | 183 osr_ast_id_ = osr_ast_id; |
155 } | 184 } |
156 void DisableOptimization(); | 185 void DisableOptimization(); |
157 | 186 |
158 // Deoptimization support. | 187 // Deoptimization support. |
159 bool HasDeoptimizationSupport() const { | 188 bool HasDeoptimizationSupport() const { |
160 return SupportsDeoptimization::decode(flags_); | 189 return SupportsDeoptimization::decode(flags_); |
161 } | 190 } |
(...skipping 28 matching lines...) Expand all Loading... |
190 Isolate* isolate_; | 219 Isolate* isolate_; |
191 | 220 |
192 // Compilation mode. | 221 // Compilation mode. |
193 // BASE is generated by the full codegen, optionally prepared for bailouts. | 222 // BASE is generated by the full codegen, optionally prepared for bailouts. |
194 // OPTIMIZE is optimized code generated by the Hydrogen-based backend. | 223 // OPTIMIZE is optimized code generated by the Hydrogen-based backend. |
195 // NONOPT is generated by the full codegen and is not prepared for | 224 // NONOPT is generated by the full codegen and is not prepared for |
196 // recompilation/bailouts. These functions are never recompiled. | 225 // recompilation/bailouts. These functions are never recompiled. |
197 enum Mode { | 226 enum Mode { |
198 BASE, | 227 BASE, |
199 OPTIMIZE, | 228 OPTIMIZE, |
200 NONOPT | 229 NONOPT, |
| 230 STUB |
201 }; | 231 }; |
202 | 232 |
203 void Initialize(Mode mode) { | 233 void Initialize(Mode mode) { |
| 234 if (mode == STUB) { |
| 235 mode_ = STUB; |
| 236 return; |
| 237 } |
204 mode_ = V8::UseCrankshaft() ? mode : NONOPT; | 238 mode_ = V8::UseCrankshaft() ? mode : NONOPT; |
205 ASSERT(!script_.is_null()); | 239 ASSERT(!script_.is_null()); |
206 if (script_->type()->value() == Script::TYPE_NATIVE) { | 240 if (script_->type()->value() == Script::TYPE_NATIVE) { |
207 MarkAsNative(); | 241 MarkAsNative(); |
208 } | 242 } |
209 if (!shared_info_.is_null()) { | 243 if (!shared_info_.is_null()) { |
210 ASSERT(language_mode() == CLASSIC_MODE); | 244 ASSERT(language_mode() == CLASSIC_MODE); |
211 SetLanguageMode(shared_info_->language_mode()); | 245 SetLanguageMode(shared_info_->language_mode()); |
212 } | 246 } |
213 set_bailout_reason("unknown"); | 247 set_bailout_reason("unknown"); |
(...skipping 16 matching lines...) Expand all Loading... |
230 class IsInLoop: public BitField<bool, 3, 1> {}; | 264 class IsInLoop: public BitField<bool, 3, 1> {}; |
231 // Strict mode - used in eager compilation. | 265 // Strict mode - used in eager compilation. |
232 class LanguageModeField: public BitField<LanguageMode, 4, 2> {}; | 266 class LanguageModeField: public BitField<LanguageMode, 4, 2> {}; |
233 // Is this a function from our natives. | 267 // Is this a function from our natives. |
234 class IsNative: public BitField<bool, 6, 1> {}; | 268 class IsNative: public BitField<bool, 6, 1> {}; |
235 // Is this code being compiled with support for deoptimization.. | 269 // Is this code being compiled with support for deoptimization.. |
236 class SupportsDeoptimization: public BitField<bool, 7, 1> {}; | 270 class SupportsDeoptimization: public BitField<bool, 7, 1> {}; |
237 // If compiling for debugging produce just full code matching the | 271 // If compiling for debugging produce just full code matching the |
238 // initial mode setting. | 272 // initial mode setting. |
239 class IsCompilingForDebugging: public BitField<bool, 8, 1> {}; | 273 class IsCompilingForDebugging: public BitField<bool, 8, 1> {}; |
| 274 // If the compiled code contains calls that require building a frame |
| 275 class IsCalling: public BitField<bool, 9, 1> {}; |
| 276 // If the compiled code contains calls that require building a frame |
| 277 class IsDeferredCalling: public BitField<bool, 10, 1> {}; |
| 278 // If the compiled code contains calls that require building a frame |
| 279 class IsNonDeferredCalling: public BitField<bool, 11, 1> {}; |
240 | 280 |
241 | 281 |
242 unsigned flags_; | 282 unsigned flags_; |
243 | 283 |
244 // Fields filled in by the compilation pipeline. | 284 // Fields filled in by the compilation pipeline. |
245 // AST filled in by the parser. | 285 // AST filled in by the parser. |
246 FunctionLiteral* function_; | 286 FunctionLiteral* function_; |
247 // The scope of the function literal as a convenience. Set to indicate | 287 // The scope of the function literal as a convenience. Set to indicate |
248 // that scopes have been analyzed. | 288 // that scopes have been analyzed. |
249 Scope* scope_; | 289 Scope* scope_; |
250 // The global scope provided as a convenience. | 290 // The global scope provided as a convenience. |
251 Scope* global_scope_; | 291 Scope* global_scope_; |
| 292 // For compiled stubs, the stub object |
| 293 HydrogenCodeStub* code_stub_; |
252 // The compiled code. | 294 // The compiled code. |
253 Handle<Code> code_; | 295 Handle<Code> code_; |
254 | 296 |
255 // Possible initial inputs to the compilation process. | 297 // Possible initial inputs to the compilation process. |
256 Handle<JSFunction> closure_; | 298 Handle<JSFunction> closure_; |
257 Handle<SharedFunctionInfo> shared_info_; | 299 Handle<SharedFunctionInfo> shared_info_; |
258 Handle<Script> script_; | 300 Handle<Script> script_; |
259 | 301 |
260 // Fields possibly needed for eager compilation, NULL by default. | 302 // Fields possibly needed for eager compilation, NULL by default. |
261 v8::Extension* extension_; | 303 v8::Extension* extension_; |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
300 zone_(script->GetIsolate()), | 342 zone_(script->GetIsolate()), |
301 zone_scope_(&zone_, DELETE_ON_EXIT) {} | 343 zone_scope_(&zone_, DELETE_ON_EXIT) {} |
302 explicit CompilationInfoWithZone(Handle<SharedFunctionInfo> shared_info) | 344 explicit CompilationInfoWithZone(Handle<SharedFunctionInfo> shared_info) |
303 : CompilationInfo(shared_info, &zone_), | 345 : CompilationInfo(shared_info, &zone_), |
304 zone_(shared_info->GetIsolate()), | 346 zone_(shared_info->GetIsolate()), |
305 zone_scope_(&zone_, DELETE_ON_EXIT) {} | 347 zone_scope_(&zone_, DELETE_ON_EXIT) {} |
306 explicit CompilationInfoWithZone(Handle<JSFunction> closure) | 348 explicit CompilationInfoWithZone(Handle<JSFunction> closure) |
307 : CompilationInfo(closure, &zone_), | 349 : CompilationInfo(closure, &zone_), |
308 zone_(closure->GetIsolate()), | 350 zone_(closure->GetIsolate()), |
309 zone_scope_(&zone_, DELETE_ON_EXIT) {} | 351 zone_scope_(&zone_, DELETE_ON_EXIT) {} |
| 352 explicit CompilationInfoWithZone(HydrogenCodeStub* stub, Isolate* isolate) |
| 353 : CompilationInfo(stub, isolate, &zone_), |
| 354 zone_(isolate), |
| 355 zone_scope_(&zone_, DELETE_ON_EXIT) {} |
310 | 356 |
311 private: | 357 private: |
312 Zone zone_; | 358 Zone zone_; |
313 ZoneScope zone_scope_; | 359 ZoneScope zone_scope_; |
314 }; | 360 }; |
315 | 361 |
316 | 362 |
317 // A wrapper around a CompilationInfo that detaches the Handles from | 363 // A wrapper around a CompilationInfo that detaches the Handles from |
318 // the underlying DeferredHandleScope and stores them in info_ on | 364 // the underlying DeferredHandleScope and stores them in info_ on |
319 // destruction. | 365 // destruction. |
320 class CompilationHandleScope BASE_EMBEDDED { | 366 class CompilationHandleScope BASE_EMBEDDED { |
321 public: | 367 public: |
322 explicit CompilationHandleScope(CompilationInfo* info) | 368 explicit CompilationHandleScope(CompilationInfo* info) |
323 : deferred_(info->isolate()), info_(info) {} | 369 : deferred_(info->isolate()), info_(info) {} |
324 ~CompilationHandleScope() { | 370 ~CompilationHandleScope() { |
325 info_->set_deferred_handles(deferred_.Detach()); | 371 info_->set_deferred_handles(deferred_.Detach()); |
326 } | 372 } |
327 | 373 |
328 private: | 374 private: |
329 DeferredHandleScope deferred_; | 375 DeferredHandleScope deferred_; |
330 CompilationInfo* info_; | 376 CompilationInfo* info_; |
331 }; | 377 }; |
332 | 378 |
333 | 379 |
334 class HGraph; | 380 class HGraph; |
335 class HGraphBuilder; | 381 class HOptimizedGraphBuilder; |
336 class LChunk; | 382 class LChunk; |
337 | 383 |
338 // A helper class that calls the three compilation phases in | 384 // A helper class that calls the three compilation phases in |
339 // Crankshaft and keeps track of its state. The three phases | 385 // Crankshaft and keeps track of its state. The three phases |
340 // CreateGraph, OptimizeGraph and GenerateAndInstallCode can either | 386 // CreateGraph, OptimizeGraph and GenerateAndInstallCode can either |
341 // fail, bail-out to the full code generator or succeed. Apart from | 387 // fail, bail-out to the full code generator or succeed. Apart from |
342 // their return value, the status of the phase last run can be checked | 388 // their return value, the status of the phase last run can be checked |
343 // using last_status(). | 389 // using last_status(). |
344 class OptimizingCompiler: public ZoneObject { | 390 class OptimizingCompiler: public ZoneObject { |
345 public: | 391 public: |
(...skipping 21 matching lines...) Expand all Loading... |
367 | 413 |
368 MUST_USE_RESULT Status AbortOptimization() { | 414 MUST_USE_RESULT Status AbortOptimization() { |
369 info_->AbortOptimization(); | 415 info_->AbortOptimization(); |
370 info_->shared_info()->DisableOptimization(info_->bailout_reason()); | 416 info_->shared_info()->DisableOptimization(info_->bailout_reason()); |
371 return SetLastStatus(BAILED_OUT); | 417 return SetLastStatus(BAILED_OUT); |
372 } | 418 } |
373 | 419 |
374 private: | 420 private: |
375 CompilationInfo* info_; | 421 CompilationInfo* info_; |
376 TypeFeedbackOracle* oracle_; | 422 TypeFeedbackOracle* oracle_; |
377 HGraphBuilder* graph_builder_; | 423 HOptimizedGraphBuilder* graph_builder_; |
378 HGraph* graph_; | 424 HGraph* graph_; |
379 LChunk* chunk_; | 425 LChunk* chunk_; |
380 int64_t time_taken_to_create_graph_; | 426 int64_t time_taken_to_create_graph_; |
381 int64_t time_taken_to_optimize_; | 427 int64_t time_taken_to_optimize_; |
382 int64_t time_taken_to_codegen_; | 428 int64_t time_taken_to_codegen_; |
383 Status last_status_; | 429 Status last_status_; |
384 | 430 |
385 MUST_USE_RESULT Status SetLastStatus(Status status) { | 431 MUST_USE_RESULT Status SetLastStatus(Status status) { |
386 last_status_ = status; | 432 last_status_ = status; |
387 return last_status_; | 433 return last_status_; |
(...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
470 | 516 |
471 static void RecordFunctionCompilation(Logger::LogEventsAndTags tag, | 517 static void RecordFunctionCompilation(Logger::LogEventsAndTags tag, |
472 CompilationInfo* info, | 518 CompilationInfo* info, |
473 Handle<SharedFunctionInfo> shared); | 519 Handle<SharedFunctionInfo> shared); |
474 }; | 520 }; |
475 | 521 |
476 | 522 |
477 } } // namespace v8::internal | 523 } } // namespace v8::internal |
478 | 524 |
479 #endif // V8_COMPILER_H_ | 525 #endif // V8_COMPILER_H_ |
OLD | NEW |