• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are
4 // met:
5 //
6 //     * Redistributions of source code must retain the above copyright
7 //       notice, this list of conditions and the following disclaimer.
8 //     * Redistributions in binary form must reproduce the above
9 //       copyright notice, this list of conditions and the following
10 //       disclaimer in the documentation and/or other materials provided
11 //       with the distribution.
12 //     * Neither the name of Google Inc. nor the names of its
13 //       contributors may be used to endorse or promote products derived
14 //       from this software without specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 
28 #include "v8.h"
29 
30 #include "compiler.h"
31 
32 #include "bootstrapper.h"
33 #include "codegen.h"
34 #include "compilation-cache.h"
35 #include "debug.h"
36 #include "full-codegen.h"
37 #include "gdb-jit.h"
38 #include "hydrogen.h"
39 #include "isolate-inl.h"
40 #include "lithium.h"
41 #include "liveedit.h"
42 #include "parser.h"
43 #include "rewriter.h"
44 #include "runtime-profiler.h"
45 #include "scanner-character-streams.h"
46 #include "scopeinfo.h"
47 #include "scopes.h"
48 #include "vm-state-inl.h"
49 
50 namespace v8 {
51 namespace internal {
52 
53 
CompilationInfo(Handle<Script> script)54 CompilationInfo::CompilationInfo(Handle<Script> script)
55     : isolate_(script->GetIsolate()),
56       flags_(LanguageModeField::encode(CLASSIC_MODE)),
57       function_(NULL),
58       scope_(NULL),
59       global_scope_(NULL),
60       script_(script),
61       extension_(NULL),
62       pre_parse_data_(NULL),
63       osr_ast_id_(AstNode::kNoNumber) {
64   Initialize(BASE);
65 }
66 
67 
CompilationInfo(Handle<SharedFunctionInfo> shared_info)68 CompilationInfo::CompilationInfo(Handle<SharedFunctionInfo> shared_info)
69     : isolate_(shared_info->GetIsolate()),
70       flags_(LanguageModeField::encode(CLASSIC_MODE) |
71              IsLazy::encode(true)),
72       function_(NULL),
73       scope_(NULL),
74       global_scope_(NULL),
75       shared_info_(shared_info),
76       script_(Handle<Script>(Script::cast(shared_info->script()))),
77       extension_(NULL),
78       pre_parse_data_(NULL),
79       osr_ast_id_(AstNode::kNoNumber) {
80   Initialize(BASE);
81 }
82 
83 
CompilationInfo(Handle<JSFunction> closure)84 CompilationInfo::CompilationInfo(Handle<JSFunction> closure)
85     : isolate_(closure->GetIsolate()),
86       flags_(LanguageModeField::encode(CLASSIC_MODE) |
87              IsLazy::encode(true)),
88       function_(NULL),
89       scope_(NULL),
90       global_scope_(NULL),
91       closure_(closure),
92       shared_info_(Handle<SharedFunctionInfo>(closure->shared())),
93       script_(Handle<Script>(Script::cast(shared_info_->script()))),
94       extension_(NULL),
95       pre_parse_data_(NULL),
96       osr_ast_id_(AstNode::kNoNumber) {
97   Initialize(BASE);
98 }
99 
100 
101 // Disable optimization for the rest of the compilation pipeline.
DisableOptimization()102 void CompilationInfo::DisableOptimization() {
103   bool is_optimizable_closure =
104     FLAG_optimize_closures &&
105     closure_.is_null() &&
106     !scope_->HasTrivialOuterContext() &&
107     !scope_->outer_scope_calls_non_strict_eval() &&
108     !scope_->inside_with();
109   SetMode(is_optimizable_closure ? BASE : NONOPT);
110 }
111 
112 
113 // Primitive functions are unlikely to be picked up by the stack-walking
114 // profiler, so they trigger their own optimization when they're called
115 // for the SharedFunctionInfo::kCallsUntilPrimitiveOptimization-th time.
ShouldSelfOptimize()116 bool CompilationInfo::ShouldSelfOptimize() {
117   return FLAG_self_optimization &&
118       FLAG_crankshaft &&
119       !function()->flags()->Contains(kDontSelfOptimize) &&
120       !function()->flags()->Contains(kDontOptimize) &&
121       function()->scope()->AllowsLazyRecompilation() &&
122       (shared_info().is_null() || !shared_info()->optimization_disabled());
123 }
124 
125 
AbortOptimization()126 void CompilationInfo::AbortOptimization() {
127   Handle<Code> code(shared_info()->code());
128   SetCode(code);
129 }
130 
131 
132 // Determine whether to use the full compiler for all code. If the flag
133 // --always-full-compiler is specified this is the case. For the virtual frame
134 // based compiler the full compiler is also used if a debugger is connected, as
135 // the code from the full compiler supports mode precise break points. For the
136 // crankshaft adaptive compiler debugging the optimized code is not possible at
137 // all. However crankshaft support recompilation of functions, so in this case
138 // the full compiler need not be be used if a debugger is attached, but only if
139 // break points has actually been set.
is_debugging_active()140 static bool is_debugging_active() {
141 #ifdef ENABLE_DEBUGGER_SUPPORT
142   Isolate* isolate = Isolate::Current();
143   return V8::UseCrankshaft() ?
144     isolate->debug()->has_break_points() :
145     isolate->debugger()->IsDebuggerActive();
146 #else
147   return false;
148 #endif
149 }
150 
151 
AlwaysFullCompiler()152 static bool AlwaysFullCompiler() {
153   return FLAG_always_full_compiler || is_debugging_active();
154 }
155 
156 
FinishOptimization(Handle<JSFunction> function,int64_t start)157 static void FinishOptimization(Handle<JSFunction> function, int64_t start) {
158   int opt_count = function->shared()->opt_count();
159   function->shared()->set_opt_count(opt_count + 1);
160   double ms = static_cast<double>(OS::Ticks() - start) / 1000;
161   if (FLAG_trace_opt) {
162     PrintF("[optimizing: ");
163     function->PrintName();
164     PrintF(" / %" V8PRIxPTR, reinterpret_cast<intptr_t>(*function));
165     PrintF(" - took %0.3f ms]\n", ms);
166   }
167   if (FLAG_trace_opt_stats) {
168     static double compilation_time = 0.0;
169     static int compiled_functions = 0;
170     static int code_size = 0;
171 
172     compilation_time += ms;
173     compiled_functions++;
174     code_size += function->shared()->SourceSize();
175     PrintF("Compiled: %d functions with %d byte source size in %fms.\n",
176            compiled_functions,
177            code_size,
178            compilation_time);
179   }
180 }
181 
182 
MakeCrankshaftCode(CompilationInfo * info)183 static bool MakeCrankshaftCode(CompilationInfo* info) {
184   // Test if we can optimize this function when asked to. We can only
185   // do this after the scopes are computed.
186   if (!V8::UseCrankshaft()) {
187     info->DisableOptimization();
188   }
189 
190   // In case we are not optimizing simply return the code from
191   // the full code generator.
192   if (!info->IsOptimizing()) {
193     return FullCodeGenerator::MakeCode(info);
194   }
195 
196   // We should never arrive here if there is not code object on the
197   // shared function object.
198   Handle<Code> code(info->shared_info()->code());
199   ASSERT(code->kind() == Code::FUNCTION);
200 
201   // We should never arrive here if optimization has been disabled on the
202   // shared function info.
203   ASSERT(!info->shared_info()->optimization_disabled());
204 
205   // Fall back to using the full code generator if it's not possible
206   // to use the Hydrogen-based optimizing compiler. We already have
207   // generated code for this from the shared function object.
208   if (AlwaysFullCompiler()) {
209     info->SetCode(code);
210     return true;
211   }
212 
213   // Limit the number of times we re-compile a functions with
214   // the optimizing compiler.
215   const int kMaxOptCount =
216       FLAG_deopt_every_n_times == 0 ? Compiler::kDefaultMaxOptCount : 1000;
217   if (info->shared_info()->opt_count() > kMaxOptCount) {
218     info->AbortOptimization();
219     info->shared_info()->DisableOptimization();
220     // True indicates the compilation pipeline is still going, not
221     // necessarily that we optimized the code.
222     return true;
223   }
224 
225   // Due to an encoding limit on LUnallocated operands in the Lithium
226   // language, we cannot optimize functions with too many formal parameters
227   // or perform on-stack replacement for function with too many
228   // stack-allocated local variables.
229   //
230   // The encoding is as a signed value, with parameters and receiver using
231   // the negative indices and locals the non-negative ones.
232   const int parameter_limit = -LUnallocated::kMinFixedIndex;
233   const int locals_limit = LUnallocated::kMaxFixedIndex;
234   Scope* scope = info->scope();
235   if ((scope->num_parameters() + 1) > parameter_limit ||
236       (info->osr_ast_id() != AstNode::kNoNumber &&
237        scope->num_parameters() + 1 + scope->num_stack_slots() > locals_limit)) {
238     info->AbortOptimization();
239     info->shared_info()->DisableOptimization();
240     // True indicates the compilation pipeline is still going, not
241     // necessarily that we optimized the code.
242     return true;
243   }
244 
245   // Take --hydrogen-filter into account.
246   Handle<String> name = info->function()->debug_name();
247   if (*FLAG_hydrogen_filter != '\0') {
248     Vector<const char> filter = CStrVector(FLAG_hydrogen_filter);
249     if ((filter[0] == '-'
250          && name->IsEqualTo(filter.SubVector(1, filter.length())))
251         || (filter[0] != '-' && !name->IsEqualTo(filter))) {
252       info->SetCode(code);
253       return true;
254     }
255   }
256 
257   // Recompile the unoptimized version of the code if the current version
258   // doesn't have deoptimization support. Alternatively, we may decide to
259   // run the full code generator to get a baseline for the compile-time
260   // performance of the hydrogen-based compiler.
261   int64_t start = OS::Ticks();
262   bool should_recompile = !info->shared_info()->has_deoptimization_support();
263   if (should_recompile || FLAG_hydrogen_stats) {
264     HPhase phase(HPhase::kFullCodeGen);
265     CompilationInfo unoptimized(info->shared_info());
266     // Note that we use the same AST that we will use for generating the
267     // optimized code.
268     unoptimized.SetFunction(info->function());
269     unoptimized.SetScope(info->scope());
270     if (should_recompile) unoptimized.EnableDeoptimizationSupport();
271     bool succeeded = FullCodeGenerator::MakeCode(&unoptimized);
272     if (should_recompile) {
273       if (!succeeded) return false;
274       Handle<SharedFunctionInfo> shared = info->shared_info();
275       shared->EnableDeoptimizationSupport(*unoptimized.code());
276       // The existing unoptimized code was replaced with the new one.
277       Compiler::RecordFunctionCompilation(
278           Logger::LAZY_COMPILE_TAG, &unoptimized, shared);
279     }
280   }
281 
282   // Check that the unoptimized, shared code is ready for
283   // optimizations.  When using the always_opt flag we disregard the
284   // optimizable marker in the code object and optimize anyway. This
285   // is safe as long as the unoptimized code has deoptimization
286   // support.
287   ASSERT(FLAG_always_opt || code->optimizable());
288   ASSERT(info->shared_info()->has_deoptimization_support());
289 
290   if (FLAG_trace_hydrogen) {
291     PrintF("-----------------------------------------------------------\n");
292     PrintF("Compiling method %s using hydrogen\n", *name->ToCString());
293     HTracer::Instance()->TraceCompilation(info->function());
294   }
295 
296   Handle<Context> global_context(info->closure()->context()->global_context());
297   TypeFeedbackOracle oracle(code, global_context, info->isolate());
298   HGraphBuilder builder(info, &oracle);
299   HPhase phase(HPhase::kTotal);
300   HGraph* graph = builder.CreateGraph();
301   if (info->isolate()->has_pending_exception()) {
302     info->SetCode(Handle<Code>::null());
303     return false;
304   }
305 
306   if (graph != NULL) {
307     Handle<Code> optimized_code = graph->Compile(info);
308     if (!optimized_code.is_null()) {
309       info->SetCode(optimized_code);
310       FinishOptimization(info->closure(), start);
311       return true;
312     }
313   }
314 
315   // Keep using the shared code.
316   info->AbortOptimization();
317   if (!builder.inline_bailout()) {
318     // Mark the shared code as unoptimizable unless it was an inlined
319     // function that bailed out.
320     info->shared_info()->DisableOptimization();
321   }
322   // True indicates the compilation pipeline is still going, not necessarily
323   // that we optimized the code.
324   return true;
325 }
326 
327 
GenerateCode(CompilationInfo * info)328 static bool GenerateCode(CompilationInfo* info) {
329   return info->IsCompilingForDebugging() || !V8::UseCrankshaft() ?
330       FullCodeGenerator::MakeCode(info) :
331       MakeCrankshaftCode(info);
332 }
333 
334 
MakeCode(CompilationInfo * info)335 static bool MakeCode(CompilationInfo* info) {
336   // Precondition: code has been parsed.  Postcondition: the code field in
337   // the compilation info is set if compilation succeeded.
338   ASSERT(info->function() != NULL);
339   return Rewriter::Rewrite(info) && Scope::Analyze(info) && GenerateCode(info);
340 }
341 
342 
343 #ifdef ENABLE_DEBUGGER_SUPPORT
MakeCodeForLiveEdit(CompilationInfo * info)344 bool Compiler::MakeCodeForLiveEdit(CompilationInfo* info) {
345   // Precondition: code has been parsed.  Postcondition: the code field in
346   // the compilation info is set if compilation succeeded.
347   bool succeeded = MakeCode(info);
348   if (!info->shared_info().is_null()) {
349     Handle<ScopeInfo> scope_info = ScopeInfo::Create(info->scope());
350     info->shared_info()->set_scope_info(*scope_info);
351   }
352   return succeeded;
353 }
354 #endif
355 
356 
MakeFunctionInfo(CompilationInfo * info)357 static Handle<SharedFunctionInfo> MakeFunctionInfo(CompilationInfo* info) {
358   Isolate* isolate = info->isolate();
359   ZoneScope zone_scope(isolate, DELETE_ON_EXIT);
360   PostponeInterruptsScope postpone(isolate);
361 
362   ASSERT(!isolate->global_context().is_null());
363   Handle<Script> script = info->script();
364   script->set_context_data((*isolate->global_context())->data());
365 
366 #ifdef ENABLE_DEBUGGER_SUPPORT
367   if (info->is_eval()) {
368     Script::CompilationType compilation_type = Script::COMPILATION_TYPE_EVAL;
369     script->set_compilation_type(Smi::FromInt(compilation_type));
370     // For eval scripts add information on the function from which eval was
371     // called.
372     if (info->is_eval()) {
373       StackTraceFrameIterator it(isolate);
374       if (!it.done()) {
375         script->set_eval_from_shared(
376             JSFunction::cast(it.frame()->function())->shared());
377         Code* code = it.frame()->LookupCode();
378         int offset = static_cast<int>(
379             it.frame()->pc() - code->instruction_start());
380         script->set_eval_from_instructions_offset(Smi::FromInt(offset));
381       }
382     }
383   }
384 
385   // Notify debugger
386   isolate->debugger()->OnBeforeCompile(script);
387 #endif
388 
389   // Only allow non-global compiles for eval.
390   ASSERT(info->is_eval() || info->is_global());
391   ParsingFlags flags = kNoParsingFlags;
392   if (info->pre_parse_data() != NULL ||
393       String::cast(script->source())->length() > FLAG_min_preparse_length) {
394     flags = kAllowLazy;
395   }
396   if (!ParserApi::Parse(info, flags)) {
397     return Handle<SharedFunctionInfo>::null();
398   }
399 
400   // Measure how long it takes to do the compilation; only take the
401   // rest of the function into account to avoid overlap with the
402   // parsing statistics.
403   HistogramTimer* rate = info->is_eval()
404       ? info->isolate()->counters()->compile_eval()
405       : info->isolate()->counters()->compile();
406   HistogramTimerScope timer(rate);
407 
408   // Compile the code.
409   FunctionLiteral* lit = info->function();
410   LiveEditFunctionTracker live_edit_tracker(isolate, lit);
411   if (!MakeCode(info)) {
412     if (!isolate->has_pending_exception()) isolate->StackOverflow();
413     return Handle<SharedFunctionInfo>::null();
414   }
415 
416   // Allocate function.
417   ASSERT(!info->code().is_null());
418   Handle<SharedFunctionInfo> result =
419       isolate->factory()->NewSharedFunctionInfo(
420           lit->name(),
421           lit->materialized_literal_count(),
422           info->code(),
423           ScopeInfo::Create(info->scope()));
424 
425   ASSERT_EQ(RelocInfo::kNoPosition, lit->function_token_position());
426   Compiler::SetFunctionInfo(result, lit, true, script);
427 
428   if (script->name()->IsString()) {
429     PROFILE(isolate, CodeCreateEvent(
430         info->is_eval()
431             ? Logger::EVAL_TAG
432             : Logger::ToNativeByScript(Logger::SCRIPT_TAG, *script),
433         *info->code(),
434         *result,
435         String::cast(script->name())));
436     GDBJIT(AddCode(Handle<String>(String::cast(script->name())),
437                    script,
438                    info->code(),
439                    info));
440   } else {
441     PROFILE(isolate, CodeCreateEvent(
442         info->is_eval()
443             ? Logger::EVAL_TAG
444             : Logger::ToNativeByScript(Logger::SCRIPT_TAG, *script),
445         *info->code(),
446         *result,
447         isolate->heap()->empty_string()));
448     GDBJIT(AddCode(Handle<String>(), script, info->code(), info));
449   }
450 
451   // Hint to the runtime system used when allocating space for initial
452   // property space by setting the expected number of properties for
453   // the instances of the function.
454   SetExpectedNofPropertiesFromEstimate(result, lit->expected_property_count());
455 
456   script->set_compilation_state(
457       Smi::FromInt(Script::COMPILATION_STATE_COMPILED));
458 
459 #ifdef ENABLE_DEBUGGER_SUPPORT
460   // Notify debugger
461   isolate->debugger()->OnAfterCompile(
462       script, Debugger::NO_AFTER_COMPILE_FLAGS);
463 #endif
464 
465   live_edit_tracker.RecordFunctionInfo(result, lit);
466 
467   return result;
468 }
469 
470 
Compile(Handle<String> source,Handle<Object> script_name,int line_offset,int column_offset,v8::Extension * extension,ScriptDataImpl * pre_data,Handle<Object> script_data,NativesFlag natives)471 Handle<SharedFunctionInfo> Compiler::Compile(Handle<String> source,
472                                              Handle<Object> script_name,
473                                              int line_offset,
474                                              int column_offset,
475                                              v8::Extension* extension,
476                                              ScriptDataImpl* pre_data,
477                                              Handle<Object> script_data,
478                                              NativesFlag natives) {
479   Isolate* isolate = source->GetIsolate();
480   int source_length = source->length();
481   isolate->counters()->total_load_size()->Increment(source_length);
482   isolate->counters()->total_compile_size()->Increment(source_length);
483 
484   // The VM is in the COMPILER state until exiting this function.
485   VMState state(isolate, COMPILER);
486 
487   CompilationCache* compilation_cache = isolate->compilation_cache();
488 
489   // Do a lookup in the compilation cache but not for extensions.
490   Handle<SharedFunctionInfo> result;
491   if (extension == NULL) {
492     result = compilation_cache->LookupScript(source,
493                                              script_name,
494                                              line_offset,
495                                              column_offset);
496   }
497 
498   if (result.is_null()) {
499     // No cache entry found. Do pre-parsing, if it makes sense, and compile
500     // the script.
501     // Building preparse data that is only used immediately after is only a
502     // saving if we might skip building the AST for lazily compiled functions.
503     // I.e., preparse data isn't relevant when the lazy flag is off, and
504     // for small sources, odds are that there aren't many functions
505     // that would be compiled lazily anyway, so we skip the preparse step
506     // in that case too.
507 
508     // Create a script object describing the script to be compiled.
509     Handle<Script> script = FACTORY->NewScript(source);
510     if (natives == NATIVES_CODE) {
511       script->set_type(Smi::FromInt(Script::TYPE_NATIVE));
512     }
513     if (!script_name.is_null()) {
514       script->set_name(*script_name);
515       script->set_line_offset(Smi::FromInt(line_offset));
516       script->set_column_offset(Smi::FromInt(column_offset));
517     }
518 
519     script->set_data(script_data.is_null() ? HEAP->undefined_value()
520                                            : *script_data);
521 
522     // Compile the function and add it to the cache.
523     CompilationInfo info(script);
524     info.MarkAsGlobal();
525     info.SetExtension(extension);
526     info.SetPreParseData(pre_data);
527     if (FLAG_use_strict) {
528       info.SetLanguageMode(FLAG_harmony_scoping ? EXTENDED_MODE : STRICT_MODE);
529     }
530     result = MakeFunctionInfo(&info);
531     if (extension == NULL && !result.is_null()) {
532       compilation_cache->PutScript(source, result);
533     }
534   } else {
535     if (result->ic_age() != HEAP->global_ic_age()) {
536       result->ResetForNewContext(HEAP->global_ic_age());
537     }
538   }
539 
540   if (result.is_null()) isolate->ReportPendingMessages();
541   return result;
542 }
543 
544 
CompileEval(Handle<String> source,Handle<Context> context,bool is_global,LanguageMode language_mode,int scope_position)545 Handle<SharedFunctionInfo> Compiler::CompileEval(Handle<String> source,
546                                                  Handle<Context> context,
547                                                  bool is_global,
548                                                  LanguageMode language_mode,
549                                                  int scope_position) {
550   Isolate* isolate = source->GetIsolate();
551   int source_length = source->length();
552   isolate->counters()->total_eval_size()->Increment(source_length);
553   isolate->counters()->total_compile_size()->Increment(source_length);
554 
555   // The VM is in the COMPILER state until exiting this function.
556   VMState state(isolate, COMPILER);
557 
558   // Do a lookup in the compilation cache; if the entry is not there, invoke
559   // the compiler and add the result to the cache.
560   Handle<SharedFunctionInfo> result;
561   CompilationCache* compilation_cache = isolate->compilation_cache();
562   result = compilation_cache->LookupEval(source,
563                                          context,
564                                          is_global,
565                                          language_mode,
566                                          scope_position);
567 
568   if (result.is_null()) {
569     // Create a script object describing the script to be compiled.
570     Handle<Script> script = isolate->factory()->NewScript(source);
571     CompilationInfo info(script);
572     info.MarkAsEval();
573     if (is_global) info.MarkAsGlobal();
574     info.SetLanguageMode(language_mode);
575     info.SetCallingContext(context);
576     result = MakeFunctionInfo(&info);
577     if (!result.is_null()) {
578       // Explicitly disable optimization for eval code. We're not yet prepared
579       // to handle eval-code in the optimizing compiler.
580       result->DisableOptimization();
581 
582       // If caller is strict mode, the result must be in strict mode or
583       // extended mode as well, but not the other way around. Consider:
584       // eval("'use strict'; ...");
585       ASSERT(language_mode != STRICT_MODE || !result->is_classic_mode());
586       // If caller is in extended mode, the result must also be in
587       // extended mode.
588       ASSERT(language_mode != EXTENDED_MODE ||
589              result->is_extended_mode());
590       compilation_cache->PutEval(
591           source, context, is_global, result, scope_position);
592     }
593   } else {
594     if (result->ic_age() != HEAP->global_ic_age()) {
595       result->ResetForNewContext(HEAP->global_ic_age());
596     }
597   }
598 
599   return result;
600 }
601 
602 
CompileLazy(CompilationInfo * info)603 bool Compiler::CompileLazy(CompilationInfo* info) {
604   Isolate* isolate = info->isolate();
605 
606   ZoneScope zone_scope(isolate, DELETE_ON_EXIT);
607 
608   // The VM is in the COMPILER state until exiting this function.
609   VMState state(isolate, COMPILER);
610 
611   PostponeInterruptsScope postpone(isolate);
612 
613   Handle<SharedFunctionInfo> shared = info->shared_info();
614   int compiled_size = shared->end_position() - shared->start_position();
615   isolate->counters()->total_compile_size()->Increment(compiled_size);
616 
617   // Generate the AST for the lazily compiled function.
618   if (ParserApi::Parse(info, kNoParsingFlags)) {
619     // Measure how long it takes to do the lazy compilation; only take the
620     // rest of the function into account to avoid overlap with the lazy
621     // parsing statistics.
622     HistogramTimerScope timer(isolate->counters()->compile_lazy());
623 
624     // After parsing we know the function's language mode. Remember it.
625     LanguageMode language_mode = info->function()->language_mode();
626     info->SetLanguageMode(language_mode);
627     shared->set_language_mode(language_mode);
628 
629     // Compile the code.
630     if (!MakeCode(info)) {
631       if (!isolate->has_pending_exception()) {
632         isolate->StackOverflow();
633       }
634     } else {
635       ASSERT(!info->code().is_null());
636       Handle<Code> code = info->code();
637       // Set optimizable to false if this is disallowed by the shared
638       // function info, e.g., we might have flushed the code and must
639       // reset this bit when lazy compiling the code again.
640       if (shared->optimization_disabled()) code->set_optimizable(false);
641 
642       Handle<JSFunction> function = info->closure();
643       RecordFunctionCompilation(Logger::LAZY_COMPILE_TAG, info, shared);
644 
645       if (info->IsOptimizing()) {
646         ASSERT(shared->scope_info() != ScopeInfo::Empty());
647         function->ReplaceCode(*code);
648       } else {
649         // Update the shared function info with the compiled code and the
650         // scope info.  Please note, that the order of the shared function
651         // info initialization is important since set_scope_info might
652         // trigger a GC, causing the ASSERT below to be invalid if the code
653         // was flushed. By setting the code object last we avoid this.
654         Handle<ScopeInfo> scope_info = ScopeInfo::Create(info->scope());
655         shared->set_scope_info(*scope_info);
656         shared->set_code(*code);
657         if (!function.is_null()) {
658           function->ReplaceCode(*code);
659           ASSERT(!function->IsOptimized());
660         }
661 
662         // Set the expected number of properties for instances.
663         FunctionLiteral* lit = info->function();
664         int expected = lit->expected_property_count();
665         SetExpectedNofPropertiesFromEstimate(shared, expected);
666 
667         // Set the optimization hints after performing lazy compilation, as
668         // these are not set when the function is set up as a lazily
669         // compiled function.
670         shared->SetThisPropertyAssignmentsInfo(
671             lit->has_only_simple_this_property_assignments(),
672             *lit->this_property_assignments());
673 
674         // Check the function has compiled code.
675         ASSERT(shared->is_compiled());
676         shared->set_code_age(0);
677         shared->set_dont_optimize(lit->flags()->Contains(kDontOptimize));
678         shared->set_dont_inline(lit->flags()->Contains(kDontInline));
679         shared->set_ast_node_count(lit->ast_node_count());
680 
681         if (V8::UseCrankshaft()&&
682             !function.is_null() &&
683             !shared->optimization_disabled()) {
684           // If we're asked to always optimize, we compile the optimized
685           // version of the function right away - unless the debugger is
686           // active as it makes no sense to compile optimized code then.
687           if (FLAG_always_opt &&
688               !Isolate::Current()->DebuggerHasBreakPoints()) {
689             CompilationInfo optimized(function);
690             optimized.SetOptimizing(AstNode::kNoNumber);
691             return CompileLazy(&optimized);
692           }
693         }
694       }
695 
696       return true;
697     }
698   }
699 
700   ASSERT(info->code().is_null());
701   return false;
702 }
703 
704 
BuildFunctionInfo(FunctionLiteral * literal,Handle<Script> script)705 Handle<SharedFunctionInfo> Compiler::BuildFunctionInfo(FunctionLiteral* literal,
706                                                        Handle<Script> script) {
707   // Precondition: code has been parsed and scopes have been analyzed.
708   CompilationInfo info(script);
709   info.SetFunction(literal);
710   info.SetScope(literal->scope());
711   info.SetLanguageMode(literal->scope()->language_mode());
712 
713   LiveEditFunctionTracker live_edit_tracker(info.isolate(), literal);
714   // Determine if the function can be lazily compiled. This is necessary to
715   // allow some of our builtin JS files to be lazily compiled. These
716   // builtins cannot be handled lazily by the parser, since we have to know
717   // if a function uses the special natives syntax, which is something the
718   // parser records.
719   bool allow_lazy = literal->AllowsLazyCompilation() &&
720       !LiveEditFunctionTracker::IsActive(info.isolate());
721 
722   Handle<ScopeInfo> scope_info(ScopeInfo::Empty());
723 
724   // Generate code
725   if (FLAG_lazy && allow_lazy) {
726     Handle<Code> code = info.isolate()->builtins()->LazyCompile();
727     info.SetCode(code);
728   } else if ((V8::UseCrankshaft() && MakeCrankshaftCode(&info)) ||
729              (!V8::UseCrankshaft() && FullCodeGenerator::MakeCode(&info))) {
730     ASSERT(!info.code().is_null());
731     scope_info = ScopeInfo::Create(info.scope());
732   } else {
733     return Handle<SharedFunctionInfo>::null();
734   }
735 
736   // Create a shared function info object.
737   Handle<SharedFunctionInfo> result =
738       FACTORY->NewSharedFunctionInfo(literal->name(),
739                                      literal->materialized_literal_count(),
740                                      info.code(),
741                                      scope_info);
742   SetFunctionInfo(result, literal, false, script);
743   RecordFunctionCompilation(Logger::FUNCTION_TAG, &info, result);
744   result->set_allows_lazy_compilation(allow_lazy);
745 
746   // Set the expected number of properties for instances and return
747   // the resulting function.
748   SetExpectedNofPropertiesFromEstimate(result,
749                                        literal->expected_property_count());
750   live_edit_tracker.RecordFunctionInfo(result, literal);
751   return result;
752 }
753 
754 
755 // Sets the function info on a function.
756 // The start_position points to the first '(' character after the function name
757 // in the full script source. When counting characters in the script source the
758 // the first character is number 0 (not 1).
SetFunctionInfo(Handle<SharedFunctionInfo> function_info,FunctionLiteral * lit,bool is_toplevel,Handle<Script> script)759 void Compiler::SetFunctionInfo(Handle<SharedFunctionInfo> function_info,
760                                FunctionLiteral* lit,
761                                bool is_toplevel,
762                                Handle<Script> script) {
763   function_info->set_length(lit->parameter_count());
764   function_info->set_formal_parameter_count(lit->parameter_count());
765   function_info->set_script(*script);
766   function_info->set_function_token_position(lit->function_token_position());
767   function_info->set_start_position(lit->start_position());
768   function_info->set_end_position(lit->end_position());
769   function_info->set_is_expression(lit->is_expression());
770   function_info->set_is_anonymous(lit->is_anonymous());
771   function_info->set_is_toplevel(is_toplevel);
772   function_info->set_inferred_name(*lit->inferred_name());
773   function_info->SetThisPropertyAssignmentsInfo(
774       lit->has_only_simple_this_property_assignments(),
775       *lit->this_property_assignments());
776   function_info->set_allows_lazy_compilation(lit->AllowsLazyCompilation());
777   function_info->set_language_mode(lit->language_mode());
778   function_info->set_uses_arguments(lit->scope()->arguments() != NULL);
779   function_info->set_has_duplicate_parameters(lit->has_duplicate_parameters());
780   function_info->set_ast_node_count(lit->ast_node_count());
781   function_info->set_is_function(lit->is_function());
782   function_info->set_dont_optimize(lit->flags()->Contains(kDontOptimize));
783   function_info->set_dont_inline(lit->flags()->Contains(kDontInline));
784 }
785 
786 
RecordFunctionCompilation(Logger::LogEventsAndTags tag,CompilationInfo * info,Handle<SharedFunctionInfo> shared)787 void Compiler::RecordFunctionCompilation(Logger::LogEventsAndTags tag,
788                                          CompilationInfo* info,
789                                          Handle<SharedFunctionInfo> shared) {
790   // SharedFunctionInfo is passed separately, because if CompilationInfo
791   // was created using Script object, it will not have it.
792 
793   // Log the code generation. If source information is available include
794   // script name and line number. Check explicitly whether logging is
795   // enabled as finding the line number is not free.
796   if (info->isolate()->logger()->is_logging() ||
797       CpuProfiler::is_profiling(info->isolate())) {
798     Handle<Script> script = info->script();
799     Handle<Code> code = info->code();
800     if (*code == info->isolate()->builtins()->builtin(Builtins::kLazyCompile))
801       return;
802     if (script->name()->IsString()) {
803       int line_num = GetScriptLineNumber(script, shared->start_position()) + 1;
804       USE(line_num);
805       PROFILE(info->isolate(),
806               CodeCreateEvent(Logger::ToNativeByScript(tag, *script),
807                               *code,
808                               *shared,
809                               String::cast(script->name()),
810                               line_num));
811     } else {
812       PROFILE(info->isolate(),
813               CodeCreateEvent(Logger::ToNativeByScript(tag, *script),
814                               *code,
815                               *shared,
816                               shared->DebugName()));
817     }
818   }
819 
820   GDBJIT(AddCode(Handle<String>(shared->DebugName()),
821                  Handle<Script>(info->script()),
822                  Handle<Code>(info->code()),
823                  info));
824 }
825 
826 } }  // namespace v8::internal
827