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

Side by Side Diff: src/compiler.cc

Issue 2579973002: Don't compile inner functions when compiling via the dispatcher (Closed)
Patch Set: added comment Created 4 years 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
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/compiler.h" 5 #include "src/compiler.h"
6 6
7 #include <algorithm> 7 #include <algorithm>
8 #include <memory> 8 #include <memory>
9 9
10 #include "src/asmjs/asm-js.h" 10 #include "src/asmjs/asm-js.h"
(...skipping 348 matching lines...) Expand 10 before | Expand all | Expand 10 after
359 // Checks whether top level functions should be passed by the filter. 359 // Checks whether top level functions should be passed by the filter.
360 if (shared->is_toplevel()) { 360 if (shared->is_toplevel()) {
361 Vector<const char> filter = CStrVector(FLAG_ignition_filter); 361 Vector<const char> filter = CStrVector(FLAG_ignition_filter);
362 return (filter.length() == 0) || (filter.length() == 1 && filter[0] == '*'); 362 return (filter.length() == 0) || (filter.length() == 1 && filter[0] == '*');
363 } 363 }
364 364
365 // Finally respect the filter. 365 // Finally respect the filter.
366 return shared->PassesFilter(FLAG_ignition_filter); 366 return shared->PassesFilter(FLAG_ignition_filter);
367 } 367 }
368 368
369 CompilationJob* GetUnoptimizedCompilationJob(CompilationInfo* info) { 369 CompilationJob* GetUnoptimizedCompilationJob(CompilationInfo* info,
370 LazyCompilationMode mode) {
370 // Function should have been parsed and analyzed before creating a compilation 371 // Function should have been parsed and analyzed before creating a compilation
371 // job. 372 // job.
372 DCHECK_NOT_NULL(info->literal()); 373 DCHECK_NOT_NULL(info->literal());
373 DCHECK_NOT_NULL(info->scope()); 374 DCHECK_NOT_NULL(info->scope());
374 375
375 EnsureFeedbackMetadata(info); 376 EnsureFeedbackMetadata(info);
376 if (ShouldUseIgnition(info)) { 377 if (ShouldUseIgnition(info)) {
377 return interpreter::Interpreter::NewCompilationJob(info); 378 return interpreter::Interpreter::NewCompilationJob(info, mode);
378 } else { 379 } else {
379 return FullCodeGenerator::NewCompilationJob(info); 380 return FullCodeGenerator::NewCompilationJob(info, mode);
380 } 381 }
381 } 382 }
382 383
383 void InstallSharedScopeInfo(CompilationInfo* info, 384 void InstallSharedScopeInfo(CompilationInfo* info,
384 Handle<SharedFunctionInfo> shared) { 385 Handle<SharedFunctionInfo> shared) {
385 Handle<ScopeInfo> scope_info = info->scope()->scope_info(); 386 Handle<ScopeInfo> scope_info = info->scope()->scope_info();
386 shared->set_scope_info(*scope_info); 387 shared->set_scope_info(*scope_info);
387 Scope* outer_scope = info->scope()->GetOuterScopeWithContext(); 388 Scope* outer_scope = info->scope()->GetOuterScopeWithContext();
388 if (outer_scope) { 389 if (outer_scope) {
389 shared->set_outer_scope_info(*outer_scope->scope_info()); 390 shared->set_outer_scope_info(*outer_scope->scope_info());
(...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after
432 MaybeHandle<FixedArray> wasm_data; 433 MaybeHandle<FixedArray> wasm_data;
433 wasm_data = AsmJs::CompileAsmViaWasm(info->parse_info()); 434 wasm_data = AsmJs::CompileAsmViaWasm(info->parse_info());
434 if (!wasm_data.is_null()) { 435 if (!wasm_data.is_null()) {
435 info->shared_info()->set_asm_wasm_data(*wasm_data.ToHandleChecked()); 436 info->shared_info()->set_asm_wasm_data(*wasm_data.ToHandleChecked());
436 info->SetCode(info->isolate()->builtins()->InstantiateAsmJs()); 437 info->SetCode(info->isolate()->builtins()->InstantiateAsmJs());
437 InstallUnoptimizedCode(info); 438 InstallUnoptimizedCode(info);
438 return true; 439 return true;
439 } 440 }
440 } 441 }
441 442
442 std::unique_ptr<CompilationJob> job(GetUnoptimizedCompilationJob(info)); 443 std::unique_ptr<CompilationJob> job(
444 GetUnoptimizedCompilationJob(info, LazyCompilationMode::kIfRequested));
443 if (job->PrepareJob() != CompilationJob::SUCCEEDED) return false; 445 if (job->PrepareJob() != CompilationJob::SUCCEEDED) return false;
444 if (job->ExecuteJob() != CompilationJob::SUCCEEDED) return false; 446 if (job->ExecuteJob() != CompilationJob::SUCCEEDED) return false;
445 if (FinalizeUnoptimizedCompilationJob(job.get()) != 447 if (FinalizeUnoptimizedCompilationJob(job.get()) !=
446 CompilationJob::SUCCEEDED) { 448 CompilationJob::SUCCEEDED) {
447 return false; 449 return false;
448 } 450 }
449 return true; 451 return true;
450 } 452 }
451 453
452 bool CompileUnoptimizedCode(CompilationInfo* info) { 454 bool CompileUnoptimizedCode(CompilationInfo* info) {
(...skipping 1104 matching lines...) Expand 10 before | Expand all | Expand 10 after
1557 CompilationInfo compile_info(parse_info, Handle<JSFunction>::null()); 1559 CompilationInfo compile_info(parse_info, Handle<JSFunction>::null());
1558 1560
1559 // The source was parsed lazily, so compiling for debugging is not possible. 1561 // The source was parsed lazily, so compiling for debugging is not possible.
1560 DCHECK(!compile_info.is_debug()); 1562 DCHECK(!compile_info.is_debug());
1561 1563
1562 Handle<SharedFunctionInfo> result = CompileToplevel(&compile_info); 1564 Handle<SharedFunctionInfo> result = CompileToplevel(&compile_info);
1563 if (!result.is_null()) isolate->debug()->OnAfterCompile(script); 1565 if (!result.is_null()) isolate->debug()->OnAfterCompile(script);
1564 return result; 1566 return result;
1565 } 1567 }
1566 1568
1567
1568 Handle<SharedFunctionInfo> Compiler::GetSharedFunctionInfo( 1569 Handle<SharedFunctionInfo> Compiler::GetSharedFunctionInfo(
1569 FunctionLiteral* literal, Handle<Script> script, 1570 FunctionLiteral* literal, Handle<Script> script,
1570 CompilationInfo* outer_info) { 1571 CompilationInfo* outer_info, LazyCompilationMode mode) {
1571 // Precondition: code has been parsed and scopes have been analyzed. 1572 // Precondition: code has been parsed and scopes have been analyzed.
1572 Isolate* isolate = outer_info->isolate(); 1573 Isolate* isolate = outer_info->isolate();
1573 MaybeHandle<SharedFunctionInfo> maybe_existing; 1574 MaybeHandle<SharedFunctionInfo> maybe_existing;
1574 1575
1575 // Find any previously allocated shared function info for the given literal. 1576 // Find any previously allocated shared function info for the given literal.
1576 maybe_existing = script->FindSharedFunctionInfo(isolate, literal); 1577 maybe_existing = script->FindSharedFunctionInfo(isolate, literal);
1577 1578
1578 // We found an existing shared function info. If it has any sort of code 1579 // We found an existing shared function info. If it has any sort of code
1579 // attached, don't worry about compiling and simply return it. Otherwise, 1580 // attached, don't worry about compiling and simply return it. Otherwise,
1580 // continue to decide whether to eagerly compile. 1581 // continue to decide whether to eagerly compile.
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after
1612 if (outer_info->will_serialize()) info.PrepareForSerializing(); 1613 if (outer_info->will_serialize()) info.PrepareForSerializing();
1613 if (outer_info->is_debug()) info.MarkAsDebug(); 1614 if (outer_info->is_debug()) info.MarkAsDebug();
1614 1615
1615 // If this inner function is already compiled, we don't need to compile 1616 // If this inner function is already compiled, we don't need to compile
1616 // again. When compiling for debug, we are not interested in having debug 1617 // again. When compiling for debug, we are not interested in having debug
1617 // break slots in inner functions, neither for setting break points nor 1618 // break slots in inner functions, neither for setting break points nor
1618 // for revealing inner functions. 1619 // for revealing inner functions.
1619 // This is especially important for generators. We must not replace the 1620 // This is especially important for generators. We must not replace the
1620 // code for generators, as there may be suspended generator objects. 1621 // code for generators, as there may be suspended generator objects.
1621 if (!result->is_compiled()) { 1622 if (!result->is_compiled()) {
1622 if (!literal->ShouldEagerCompile()) { 1623 if (mode == LazyCompilationMode::kAlways ||
1624 !literal->ShouldEagerCompile()) {
1623 info.SetCode(isolate->builtins()->CompileLazy()); 1625 info.SetCode(isolate->builtins()->CompileLazy());
1624 Scope* outer_scope = literal->scope()->GetOuterScopeWithContext(); 1626 Scope* outer_scope = literal->scope()->GetOuterScopeWithContext();
1625 if (outer_scope) { 1627 if (outer_scope) {
1626 result->set_outer_scope_info(*outer_scope->scope_info()); 1628 result->set_outer_scope_info(*outer_scope->scope_info());
1627 } 1629 }
1628 } else { 1630 } else {
1629 // Generate code 1631 // Generate code
1630 TimerEventScope<TimerEventCompileCode> timer(isolate); 1632 TimerEventScope<TimerEventCompileCode> timer(isolate);
1631 RuntimeCallTimerScope runtimeTimer(isolate, 1633 RuntimeCallTimerScope runtimeTimer(isolate,
1632 &RuntimeCallStats::CompileCode); 1634 &RuntimeCallStats::CompileCode);
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after
1685 1687
1686 MaybeHandle<Code> Compiler::GetOptimizedCodeForOSR(Handle<JSFunction> function, 1688 MaybeHandle<Code> Compiler::GetOptimizedCodeForOSR(Handle<JSFunction> function,
1687 BailoutId osr_ast_id, 1689 BailoutId osr_ast_id,
1688 JavaScriptFrame* osr_frame) { 1690 JavaScriptFrame* osr_frame) {
1689 DCHECK(!osr_ast_id.IsNone()); 1691 DCHECK(!osr_ast_id.IsNone());
1690 DCHECK_NOT_NULL(osr_frame); 1692 DCHECK_NOT_NULL(osr_frame);
1691 return GetOptimizedCode(function, NOT_CONCURRENT, osr_ast_id, osr_frame); 1693 return GetOptimizedCode(function, NOT_CONCURRENT, osr_ast_id, osr_frame);
1692 } 1694 }
1693 1695
1694 CompilationJob* Compiler::PrepareUnoptimizedCompilationJob( 1696 CompilationJob* Compiler::PrepareUnoptimizedCompilationJob(
1695 CompilationInfo* info) { 1697 CompilationInfo* info, LazyCompilationMode mode) {
1696 VMState<COMPILER> state(info->isolate()); 1698 VMState<COMPILER> state(info->isolate());
1697 std::unique_ptr<CompilationJob> job(GetUnoptimizedCompilationJob(info)); 1699 std::unique_ptr<CompilationJob> job(GetUnoptimizedCompilationJob(info, mode));
1698 if (job->PrepareJob() != CompilationJob::SUCCEEDED) { 1700 if (job->PrepareJob() != CompilationJob::SUCCEEDED) {
1699 return nullptr; 1701 return nullptr;
1700 } 1702 }
1701 return job.release(); 1703 return job.release();
1702 } 1704 }
1703 1705
1704 bool Compiler::FinalizeCompilationJob(CompilationJob* raw_job) { 1706 bool Compiler::FinalizeCompilationJob(CompilationJob* raw_job) {
1705 // Take ownership of compilation job. Deleting job also tears down the zone. 1707 // Take ownership of compilation job. Deleting job also tears down the zone.
1706 std::unique_ptr<CompilationJob> job(raw_job); 1708 std::unique_ptr<CompilationJob> job(raw_job);
1707 1709
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after
1743 DCHECK(shared->is_compiled()); 1745 DCHECK(shared->is_compiled());
1744 function->set_literals(cached.literals); 1746 function->set_literals(cached.literals);
1745 } else if (shared->is_compiled()) { 1747 } else if (shared->is_compiled()) {
1746 // TODO(mvstanton): pass pretenure flag to EnsureLiterals. 1748 // TODO(mvstanton): pass pretenure flag to EnsureLiterals.
1747 JSFunction::EnsureLiterals(function); 1749 JSFunction::EnsureLiterals(function);
1748 } 1750 }
1749 } 1751 }
1750 1752
1751 } // namespace internal 1753 } // namespace internal
1752 } // namespace v8 1754 } // namespace v8
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698