OLD | NEW |
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 | 8 |
9 #include "src/ast/ast-numbering.h" | 9 #include "src/ast/ast-numbering.h" |
10 #include "src/ast/prettyprinter.h" | 10 #include "src/ast/prettyprinter.h" |
(...skipping 910 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
921 bool Compiler::ParseAndAnalyze(ParseInfo* info) { | 921 bool Compiler::ParseAndAnalyze(ParseInfo* info) { |
922 if (!Parser::ParseStatic(info)) return false; | 922 if (!Parser::ParseStatic(info)) return false; |
923 return Compiler::Analyze(info); | 923 return Compiler::Analyze(info); |
924 } | 924 } |
925 | 925 |
926 | 926 |
927 static bool GetOptimizedCodeNow(CompilationInfo* info) { | 927 static bool GetOptimizedCodeNow(CompilationInfo* info) { |
928 Isolate* isolate = info->isolate(); | 928 Isolate* isolate = info->isolate(); |
929 CanonicalHandleScope canonical(isolate); | 929 CanonicalHandleScope canonical(isolate); |
930 TimerEventScope<TimerEventOptimizeCode> optimize_code_timer(isolate); | 930 TimerEventScope<TimerEventOptimizeCode> optimize_code_timer(isolate); |
| 931 TRACE_EVENT0("v8", "V8.OptimizeCode"); |
931 | 932 |
932 if (!Compiler::ParseAndAnalyze(info->parse_info())) return false; | 933 if (!Compiler::ParseAndAnalyze(info->parse_info())) return false; |
933 | 934 |
934 TimerEventScope<TimerEventRecompileSynchronous> timer(isolate); | 935 TimerEventScope<TimerEventRecompileSynchronous> timer(isolate); |
| 936 TRACE_EVENT0("v8", "V8.RecompileSynchronous"); |
935 | 937 |
936 OptimizedCompileJob job(info); | 938 OptimizedCompileJob job(info); |
937 if (job.CreateGraph() != OptimizedCompileJob::SUCCEEDED || | 939 if (job.CreateGraph() != OptimizedCompileJob::SUCCEEDED || |
938 job.OptimizeGraph() != OptimizedCompileJob::SUCCEEDED || | 940 job.OptimizeGraph() != OptimizedCompileJob::SUCCEEDED || |
939 job.GenerateCode() != OptimizedCompileJob::SUCCEEDED) { | 941 job.GenerateCode() != OptimizedCompileJob::SUCCEEDED) { |
940 if (FLAG_trace_opt) { | 942 if (FLAG_trace_opt) { |
941 PrintF("[aborted optimizing "); | 943 PrintF("[aborted optimizing "); |
942 info->closure()->ShortPrint(); | 944 info->closure()->ShortPrint(); |
943 PrintF(" because: %s]\n", GetBailoutReason(info->bailout_reason())); | 945 PrintF(" because: %s]\n", GetBailoutReason(info->bailout_reason())); |
944 } | 946 } |
945 return false; | 947 return false; |
946 } | 948 } |
947 | 949 |
948 // Success! | 950 // Success! |
949 DCHECK(!isolate->has_pending_exception()); | 951 DCHECK(!isolate->has_pending_exception()); |
950 InsertCodeIntoOptimizedCodeMap(info); | 952 InsertCodeIntoOptimizedCodeMap(info); |
951 RecordFunctionCompilation(Logger::LAZY_COMPILE_TAG, info, | 953 RecordFunctionCompilation(Logger::LAZY_COMPILE_TAG, info, |
952 info->shared_info()); | 954 info->shared_info()); |
953 return true; | 955 return true; |
954 } | 956 } |
955 | 957 |
956 | 958 |
957 static bool GetOptimizedCodeLater(CompilationInfo* info) { | 959 static bool GetOptimizedCodeLater(CompilationInfo* info) { |
958 Isolate* isolate = info->isolate(); | 960 Isolate* isolate = info->isolate(); |
959 CanonicalHandleScope canonical(isolate); | 961 CanonicalHandleScope canonical(isolate); |
960 TimerEventScope<TimerEventOptimizeCode> optimize_code_timer(isolate); | 962 TimerEventScope<TimerEventOptimizeCode> optimize_code_timer(isolate); |
| 963 TRACE_EVENT0("v8", "V8.OptimizeCode"); |
961 | 964 |
962 if (!isolate->optimizing_compile_dispatcher()->IsQueueAvailable()) { | 965 if (!isolate->optimizing_compile_dispatcher()->IsQueueAvailable()) { |
963 if (FLAG_trace_concurrent_recompilation) { | 966 if (FLAG_trace_concurrent_recompilation) { |
964 PrintF(" ** Compilation queue full, will retry optimizing "); | 967 PrintF(" ** Compilation queue full, will retry optimizing "); |
965 info->closure()->ShortPrint(); | 968 info->closure()->ShortPrint(); |
966 PrintF(" later.\n"); | 969 PrintF(" later.\n"); |
967 } | 970 } |
968 return false; | 971 return false; |
969 } | 972 } |
970 | 973 |
971 CompilationHandleScope handle_scope(info); | 974 CompilationHandleScope handle_scope(info); |
972 if (!Compiler::ParseAndAnalyze(info->parse_info())) return false; | 975 if (!Compiler::ParseAndAnalyze(info->parse_info())) return false; |
973 | 976 |
974 // Reopen handles in the new CompilationHandleScope. | 977 // Reopen handles in the new CompilationHandleScope. |
975 info->ReopenHandlesInNewHandleScope(); | 978 info->ReopenHandlesInNewHandleScope(); |
976 info->parse_info()->ReopenHandlesInNewHandleScope(); | 979 info->parse_info()->ReopenHandlesInNewHandleScope(); |
977 | 980 |
978 TimerEventScope<TimerEventRecompileSynchronous> timer(info->isolate()); | 981 TimerEventScope<TimerEventRecompileSynchronous> timer(info->isolate()); |
| 982 TRACE_EVENT0("v8", "V8.RecompileSynchronous"); |
979 | 983 |
980 OptimizedCompileJob* job = new (info->zone()) OptimizedCompileJob(info); | 984 OptimizedCompileJob* job = new (info->zone()) OptimizedCompileJob(info); |
981 OptimizedCompileJob::Status status = job->CreateGraph(); | 985 OptimizedCompileJob::Status status = job->CreateGraph(); |
982 if (status != OptimizedCompileJob::SUCCEEDED) return false; | 986 if (status != OptimizedCompileJob::SUCCEEDED) return false; |
983 isolate->optimizing_compile_dispatcher()->QueueForOptimization(job); | 987 isolate->optimizing_compile_dispatcher()->QueueForOptimization(job); |
984 | 988 |
985 if (FLAG_trace_concurrent_recompilation) { | 989 if (FLAG_trace_concurrent_recompilation) { |
986 PrintF(" ** Queued "); | 990 PrintF(" ** Queued "); |
987 info->closure()->ShortPrint(); | 991 info->closure()->ShortPrint(); |
988 if (info->is_osr()) { | 992 if (info->is_osr()) { |
(...skipping 20 matching lines...) Expand all Loading... |
1009 Code); | 1013 Code); |
1010 return result; | 1014 return result; |
1011 } | 1015 } |
1012 | 1016 |
1013 | 1017 |
1014 MaybeHandle<Code> Compiler::GetLazyCode(Handle<JSFunction> function) { | 1018 MaybeHandle<Code> Compiler::GetLazyCode(Handle<JSFunction> function) { |
1015 Isolate* isolate = function->GetIsolate(); | 1019 Isolate* isolate = function->GetIsolate(); |
1016 DCHECK(!isolate->has_pending_exception()); | 1020 DCHECK(!isolate->has_pending_exception()); |
1017 DCHECK(!function->is_compiled()); | 1021 DCHECK(!function->is_compiled()); |
1018 TimerEventScope<TimerEventCompileCode> compile_timer(isolate); | 1022 TimerEventScope<TimerEventCompileCode> compile_timer(isolate); |
| 1023 TRACE_EVENT0("v8", "V8.CompileCode"); |
1019 AggregatedHistogramTimerScope timer(isolate->counters()->compile_lazy()); | 1024 AggregatedHistogramTimerScope timer(isolate->counters()->compile_lazy()); |
1020 // If the debugger is active, do not compile with turbofan unless we can | 1025 // If the debugger is active, do not compile with turbofan unless we can |
1021 // deopt from turbofan code. | 1026 // deopt from turbofan code. |
1022 if (FLAG_turbo_asm && function->shared()->asm_function() && | 1027 if (FLAG_turbo_asm && function->shared()->asm_function() && |
1023 (FLAG_turbo_asm_deoptimization || !isolate->debug()->is_active()) && | 1028 (FLAG_turbo_asm_deoptimization || !isolate->debug()->is_active()) && |
1024 !FLAG_turbo_osr) { | 1029 !FLAG_turbo_osr) { |
1025 CompilationInfoWithZone info(function); | 1030 CompilationInfoWithZone info(function); |
1026 | 1031 |
1027 VMState<COMPILER> state(isolate); | 1032 VMState<COMPILER> state(isolate); |
1028 PostponeInterruptsScope postpone(isolate); | 1033 PostponeInterruptsScope postpone(isolate); |
(...skipping 188 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1217 ScopeInfo::Create(info.isolate(), info.zone(), info.scope()); | 1222 ScopeInfo::Create(info.isolate(), info.zone(), info.scope()); |
1218 info.shared_info()->set_scope_info(*scope_info); | 1223 info.shared_info()->set_scope_info(*scope_info); |
1219 } | 1224 } |
1220 tracker.RecordRootFunctionInfo(info.code()); | 1225 tracker.RecordRootFunctionInfo(info.code()); |
1221 } | 1226 } |
1222 | 1227 |
1223 | 1228 |
1224 static Handle<SharedFunctionInfo> CompileToplevel(CompilationInfo* info) { | 1229 static Handle<SharedFunctionInfo> CompileToplevel(CompilationInfo* info) { |
1225 Isolate* isolate = info->isolate(); | 1230 Isolate* isolate = info->isolate(); |
1226 TimerEventScope<TimerEventCompileCode> timer(isolate); | 1231 TimerEventScope<TimerEventCompileCode> timer(isolate); |
| 1232 TRACE_EVENT0("v8", "V8.CompileCode"); |
1227 PostponeInterruptsScope postpone(isolate); | 1233 PostponeInterruptsScope postpone(isolate); |
1228 DCHECK(!isolate->native_context().is_null()); | 1234 DCHECK(!isolate->native_context().is_null()); |
1229 ParseInfo* parse_info = info->parse_info(); | 1235 ParseInfo* parse_info = info->parse_info(); |
1230 Handle<Script> script = parse_info->script(); | 1236 Handle<Script> script = parse_info->script(); |
1231 | 1237 |
1232 // TODO(svenpanne) Obscure place for this, perhaps move to OnBeforeCompile? | 1238 // TODO(svenpanne) Obscure place for this, perhaps move to OnBeforeCompile? |
1233 FixedArray* array = isolate->native_context()->embedder_data(); | 1239 FixedArray* array = isolate->native_context()->embedder_data(); |
1234 script->set_context_data(array->get(v8::Context::kDebugIdIndex)); | 1240 script->set_context_data(array->get(v8::Context::kDebugIdIndex)); |
1235 | 1241 |
1236 isolate->debug()->OnBeforeCompile(script); | 1242 isolate->debug()->OnBeforeCompile(script); |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1276 FunctionLiteral* lit = parse_info->literal(); | 1282 FunctionLiteral* lit = parse_info->literal(); |
1277 LiveEditFunctionTracker live_edit_tracker(isolate, lit); | 1283 LiveEditFunctionTracker live_edit_tracker(isolate, lit); |
1278 | 1284 |
1279 // Measure how long it takes to do the compilation; only take the | 1285 // Measure how long it takes to do the compilation; only take the |
1280 // rest of the function into account to avoid overlap with the | 1286 // rest of the function into account to avoid overlap with the |
1281 // parsing statistics. | 1287 // parsing statistics. |
1282 HistogramTimer* rate = info->is_eval() | 1288 HistogramTimer* rate = info->is_eval() |
1283 ? info->isolate()->counters()->compile_eval() | 1289 ? info->isolate()->counters()->compile_eval() |
1284 : info->isolate()->counters()->compile(); | 1290 : info->isolate()->counters()->compile(); |
1285 HistogramTimerScope timer(rate); | 1291 HistogramTimerScope timer(rate); |
| 1292 TRACE_EVENT0("v8", info->is_eval() ? "V8.CompileEval" : "V8.Compile"); |
1286 | 1293 |
1287 // Compile the code. | 1294 // Compile the code. |
1288 if (!CompileBaselineCode(info)) { | 1295 if (!CompileBaselineCode(info)) { |
1289 return Handle<SharedFunctionInfo>::null(); | 1296 return Handle<SharedFunctionInfo>::null(); |
1290 } | 1297 } |
1291 | 1298 |
1292 // Allocate function. | 1299 // Allocate function. |
1293 DCHECK(!info->code().is_null()); | 1300 DCHECK(!info->code().is_null()); |
1294 result = isolate->factory()->NewSharedFunctionInfo( | 1301 result = isolate->factory()->NewSharedFunctionInfo( |
1295 lit->name(), lit->materialized_literal_count(), lit->kind(), | 1302 lit->name(), lit->materialized_literal_count(), lit->kind(), |
(...skipping 150 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1446 if (extension == NULL) { | 1453 if (extension == NULL) { |
1447 // First check per-isolate compilation cache. | 1454 // First check per-isolate compilation cache. |
1448 maybe_result = compilation_cache->LookupScript( | 1455 maybe_result = compilation_cache->LookupScript( |
1449 source, script_name, line_offset, column_offset, resource_options, | 1456 source, script_name, line_offset, column_offset, resource_options, |
1450 context, language_mode); | 1457 context, language_mode); |
1451 if (maybe_result.is_null() && FLAG_serialize_toplevel && | 1458 if (maybe_result.is_null() && FLAG_serialize_toplevel && |
1452 compile_options == ScriptCompiler::kConsumeCodeCache && | 1459 compile_options == ScriptCompiler::kConsumeCodeCache && |
1453 !isolate->debug()->is_loaded()) { | 1460 !isolate->debug()->is_loaded()) { |
1454 // Then check cached code provided by embedder. | 1461 // Then check cached code provided by embedder. |
1455 HistogramTimerScope timer(isolate->counters()->compile_deserialize()); | 1462 HistogramTimerScope timer(isolate->counters()->compile_deserialize()); |
| 1463 TRACE_EVENT0("v8", "V8.CompileDeserialize"); |
1456 Handle<SharedFunctionInfo> result; | 1464 Handle<SharedFunctionInfo> result; |
1457 if (CodeSerializer::Deserialize(isolate, *cached_data, source) | 1465 if (CodeSerializer::Deserialize(isolate, *cached_data, source) |
1458 .ToHandle(&result)) { | 1466 .ToHandle(&result)) { |
1459 // Promote to per-isolate compilation cache. | 1467 // Promote to per-isolate compilation cache. |
1460 compilation_cache->PutScript(source, context, language_mode, result); | 1468 compilation_cache->PutScript(source, context, language_mode, result); |
1461 return result; | 1469 return result; |
1462 } | 1470 } |
1463 // Deserializer failed. Fall through to compile. | 1471 // Deserializer failed. Fall through to compile. |
1464 } | 1472 } |
1465 } | 1473 } |
(...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1514 | 1522 |
1515 parse_info.set_language_mode( | 1523 parse_info.set_language_mode( |
1516 static_cast<LanguageMode>(info.language_mode() | language_mode)); | 1524 static_cast<LanguageMode>(info.language_mode() | language_mode)); |
1517 result = CompileToplevel(&info); | 1525 result = CompileToplevel(&info); |
1518 if (extension == NULL && !result.is_null()) { | 1526 if (extension == NULL && !result.is_null()) { |
1519 compilation_cache->PutScript(source, context, language_mode, result); | 1527 compilation_cache->PutScript(source, context, language_mode, result); |
1520 if (FLAG_serialize_toplevel && | 1528 if (FLAG_serialize_toplevel && |
1521 compile_options == ScriptCompiler::kProduceCodeCache) { | 1529 compile_options == ScriptCompiler::kProduceCodeCache) { |
1522 HistogramTimerScope histogram_timer( | 1530 HistogramTimerScope histogram_timer( |
1523 isolate->counters()->compile_serialize()); | 1531 isolate->counters()->compile_serialize()); |
| 1532 TRACE_EVENT0("v8", "V8.CompileSerialize"); |
1524 *cached_data = CodeSerializer::Serialize(isolate, result, source); | 1533 *cached_data = CodeSerializer::Serialize(isolate, result, source); |
1525 if (FLAG_profile_deserialization) { | 1534 if (FLAG_profile_deserialization) { |
1526 PrintF("[Compiling and serializing took %0.3f ms]\n", | 1535 PrintF("[Compiling and serializing took %0.3f ms]\n", |
1527 timer.Elapsed().InMillisecondsF()); | 1536 timer.Elapsed().InMillisecondsF()); |
1528 } | 1537 } |
1529 } | 1538 } |
1530 } | 1539 } |
1531 | 1540 |
1532 if (result.is_null()) { | 1541 if (result.is_null()) { |
1533 isolate->ReportPendingMessages(); | 1542 isolate->ReportPendingMessages(); |
(...skipping 81 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1615 // Compile eagerly for live edit. When compiling debug code, eagerly compile | 1624 // Compile eagerly for live edit. When compiling debug code, eagerly compile |
1616 // unless we can lazily compile without the context. | 1625 // unless we can lazily compile without the context. |
1617 bool allow_lazy = literal->AllowsLazyCompilation() && | 1626 bool allow_lazy = literal->AllowsLazyCompilation() && |
1618 !LiveEditFunctionTracker::IsActive(isolate) && | 1627 !LiveEditFunctionTracker::IsActive(isolate) && |
1619 (!info.is_debug() || allow_lazy_without_ctx); | 1628 (!info.is_debug() || allow_lazy_without_ctx); |
1620 | 1629 |
1621 bool lazy = FLAG_lazy && allow_lazy && !literal->should_eager_compile(); | 1630 bool lazy = FLAG_lazy && allow_lazy && !literal->should_eager_compile(); |
1622 | 1631 |
1623 // Generate code | 1632 // Generate code |
1624 TimerEventScope<TimerEventCompileCode> timer(isolate); | 1633 TimerEventScope<TimerEventCompileCode> timer(isolate); |
| 1634 TRACE_EVENT0("v8", "V8.CompileCode"); |
1625 Handle<ScopeInfo> scope_info; | 1635 Handle<ScopeInfo> scope_info; |
1626 if (lazy) { | 1636 if (lazy) { |
1627 Handle<Code> code = isolate->builtins()->CompileLazy(); | 1637 Handle<Code> code = isolate->builtins()->CompileLazy(); |
1628 info.SetCode(code); | 1638 info.SetCode(code); |
1629 // There's no need in theory for a lazy-compiled function to have a type | 1639 // There's no need in theory for a lazy-compiled function to have a type |
1630 // feedback vector, but some parts of the system expect all | 1640 // feedback vector, but some parts of the system expect all |
1631 // SharedFunctionInfo instances to have one. The size of the vector depends | 1641 // SharedFunctionInfo instances to have one. The size of the vector depends |
1632 // on how many feedback-needing nodes are in the tree, and when lazily | 1642 // on how many feedback-needing nodes are in the tree, and when lazily |
1633 // parsing we might not know that, if this function was never parsed before. | 1643 // parsing we might not know that, if this function was never parsed before. |
1634 // In that case the vector will be replaced the next time MakeCode is | 1644 // In that case the vector will be replaced the next time MakeCode is |
(...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1794 | 1804 |
1795 MaybeHandle<Code> Compiler::GetConcurrentlyOptimizedCode( | 1805 MaybeHandle<Code> Compiler::GetConcurrentlyOptimizedCode( |
1796 OptimizedCompileJob* job) { | 1806 OptimizedCompileJob* job) { |
1797 // Take ownership of compilation info. Deleting compilation info | 1807 // Take ownership of compilation info. Deleting compilation info |
1798 // also tears down the zone and the recompile job. | 1808 // also tears down the zone and the recompile job. |
1799 base::SmartPointer<CompilationInfo> info(job->info()); | 1809 base::SmartPointer<CompilationInfo> info(job->info()); |
1800 Isolate* isolate = info->isolate(); | 1810 Isolate* isolate = info->isolate(); |
1801 | 1811 |
1802 VMState<COMPILER> state(isolate); | 1812 VMState<COMPILER> state(isolate); |
1803 TimerEventScope<TimerEventRecompileSynchronous> timer(info->isolate()); | 1813 TimerEventScope<TimerEventRecompileSynchronous> timer(info->isolate()); |
| 1814 TRACE_EVENT0("v8", "V8.RecompileSynchronous"); |
1804 | 1815 |
1805 Handle<SharedFunctionInfo> shared = info->shared_info(); | 1816 Handle<SharedFunctionInfo> shared = info->shared_info(); |
1806 shared->code()->set_profiler_ticks(0); | 1817 shared->code()->set_profiler_ticks(0); |
1807 | 1818 |
1808 DCHECK(!shared->HasDebugInfo()); | 1819 DCHECK(!shared->HasDebugInfo()); |
1809 | 1820 |
1810 // 1) Optimization on the concurrent thread may have failed. | 1821 // 1) Optimization on the concurrent thread may have failed. |
1811 // 2) The function may have already been optimized by OSR. Simply continue. | 1822 // 2) The function may have already been optimized by OSR. Simply continue. |
1812 // Except when OSR already disabled optimization for some reason. | 1823 // Except when OSR already disabled optimization for some reason. |
1813 // 3) The code may have already been invalidated due to dependency change. | 1824 // 3) The code may have already been invalidated due to dependency change. |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1873 } | 1884 } |
1874 | 1885 |
1875 #if DEBUG | 1886 #if DEBUG |
1876 void CompilationInfo::PrintAstForTesting() { | 1887 void CompilationInfo::PrintAstForTesting() { |
1877 PrintF("--- Source from AST ---\n%s\n", | 1888 PrintF("--- Source from AST ---\n%s\n", |
1878 PrettyPrinter(isolate()).PrintProgram(literal())); | 1889 PrettyPrinter(isolate()).PrintProgram(literal())); |
1879 } | 1890 } |
1880 #endif | 1891 #endif |
1881 } // namespace internal | 1892 } // namespace internal |
1882 } // namespace v8 | 1893 } // namespace v8 |
OLD | NEW |