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-numbering.h" | 9 #include "src/ast-numbering.h" |
10 #include "src/bootstrapper.h" | 10 #include "src/bootstrapper.h" |
(...skipping 673 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
684 ? String::cast(script->name()) | 684 ? String::cast(script->name()) |
685 : info->isolate()->heap()->empty_string(); | 685 : info->isolate()->heap()->empty_string(); |
686 Logger::LogEventsAndTags log_tag = Logger::ToNativeByScript(tag, *script); | 686 Logger::LogEventsAndTags log_tag = Logger::ToNativeByScript(tag, *script); |
687 PROFILE(info->isolate(), | 687 PROFILE(info->isolate(), |
688 CodeCreateEvent(log_tag, *code, *shared, info, script_name, | 688 CodeCreateEvent(log_tag, *code, *shared, info, script_name, |
689 line_num, column_num)); | 689 line_num, column_num)); |
690 } | 690 } |
691 } | 691 } |
692 | 692 |
693 | 693 |
694 // Checks whether top level functions should be passed by {raw_filter}. | |
695 // TODO(rmcilroy): Remove filtering once ignition can handle test262 harness. | |
696 static bool TopLevelFunctionPassesFilter(const char* raw_filter) { | |
697 Vector<const char> filter = CStrVector(raw_filter); | |
698 return (filter.length() == 0) || (filter.length() == 1 && filter[0] == '*'); | |
699 } | |
700 | |
701 | |
702 // Checks whether the passed {raw_filter} is a prefix of the given scripts name. | |
703 // TODO(rmcilroy): Remove filtering once ignition can handle test262 harness. | |
704 static bool ScriptPassesFilter(const char* raw_filter, Handle<Script> script) { | |
705 Vector<const char> filter = CStrVector(raw_filter); | |
706 if (!script->name()->IsString()) return filter.length() == 0; | |
707 String* name = String::cast(script->name()); | |
708 return name->IsUtf8EqualTo(filter, true); | |
709 } | |
710 | |
711 | |
712 static bool CompileUnoptimizedCode(CompilationInfo* info) { | 694 static bool CompileUnoptimizedCode(CompilationInfo* info) { |
713 DCHECK(AllowCompilation::IsAllowed(info->isolate())); | 695 DCHECK(AllowCompilation::IsAllowed(info->isolate())); |
714 if (!Compiler::Analyze(info->parse_info()) || | 696 if (!Compiler::Analyze(info->parse_info()) || |
715 !FullCodeGenerator::MakeCode(info)) { | 697 !FullCodeGenerator::MakeCode(info)) { |
716 Isolate* isolate = info->isolate(); | 698 Isolate* isolate = info->isolate(); |
717 if (!isolate->has_pending_exception()) isolate->StackOverflow(); | 699 if (!isolate->has_pending_exception()) isolate->StackOverflow(); |
718 return false; | 700 return false; |
719 } | 701 } |
720 return true; | 702 return true; |
721 } | 703 } |
722 | 704 |
723 | 705 |
| 706 // TODO(rmcilroy): Remove this temporary work-around when ignition supports |
| 707 // catch and eval. |
| 708 static bool IgnitionShouldFallbackToFullCodeGen(Scope* scope) { |
| 709 if (!FLAG_ignition_fallback_on_eval_and_catch) return false; |
| 710 |
| 711 if (scope->is_eval_scope() || scope->is_catch_scope() || |
| 712 scope->calls_eval()) { |
| 713 return true; |
| 714 } |
| 715 for (auto inner_scope : *scope->inner_scopes()) { |
| 716 if (IgnitionShouldFallbackToFullCodeGen(inner_scope)) return true; |
| 717 } |
| 718 return false; |
| 719 } |
| 720 |
| 721 |
724 static bool GenerateBytecode(CompilationInfo* info) { | 722 static bool GenerateBytecode(CompilationInfo* info) { |
725 DCHECK(AllowCompilation::IsAllowed(info->isolate())); | 723 DCHECK(AllowCompilation::IsAllowed(info->isolate())); |
726 if (!Compiler::Analyze(info->parse_info()) || | 724 bool success = false; |
727 !interpreter::Interpreter::MakeBytecode(info)) { | 725 if (Compiler::Analyze(info->parse_info())) { |
| 726 if (IgnitionShouldFallbackToFullCodeGen(info->scope())) { |
| 727 success = FullCodeGenerator::MakeCode(info); |
| 728 } else { |
| 729 success = interpreter::Interpreter::MakeBytecode(info); |
| 730 } |
| 731 } |
| 732 if (!success) { |
728 Isolate* isolate = info->isolate(); | 733 Isolate* isolate = info->isolate(); |
729 if (!isolate->has_pending_exception()) isolate->StackOverflow(); | 734 if (!isolate->has_pending_exception()) isolate->StackOverflow(); |
730 return false; | |
731 } | 735 } |
732 return true; | 736 return success; |
733 } | 737 } |
734 | 738 |
735 | 739 |
736 MUST_USE_RESULT static MaybeHandle<Code> GetUnoptimizedCodeCommon( | 740 MUST_USE_RESULT static MaybeHandle<Code> GetUnoptimizedCodeCommon( |
737 CompilationInfo* info) { | 741 CompilationInfo* info) { |
738 VMState<COMPILER> state(info->isolate()); | 742 VMState<COMPILER> state(info->isolate()); |
739 PostponeInterruptsScope postpone(info->isolate()); | 743 PostponeInterruptsScope postpone(info->isolate()); |
740 | 744 |
741 // Parse and update CompilationInfo with the results. | 745 // Parse and update CompilationInfo with the results. |
742 if (!Parser::ParseStatic(info->parse_info())) return MaybeHandle<Code>(); | 746 if (!Parser::ParseStatic(info->parse_info())) return MaybeHandle<Code>(); |
743 Handle<SharedFunctionInfo> shared = info->shared_info(); | 747 Handle<SharedFunctionInfo> shared = info->shared_info(); |
744 FunctionLiteral* lit = info->literal(); | 748 FunctionLiteral* lit = info->literal(); |
745 shared->set_language_mode(lit->language_mode()); | 749 shared->set_language_mode(lit->language_mode()); |
746 SetExpectedNofPropertiesFromEstimate(shared, lit->expected_property_count()); | 750 SetExpectedNofPropertiesFromEstimate(shared, lit->expected_property_count()); |
747 MaybeDisableOptimization(shared, lit->dont_optimize_reason()); | 751 MaybeDisableOptimization(shared, lit->dont_optimize_reason()); |
748 | 752 |
749 if (FLAG_ignition && !shared->HasBuiltinFunctionId() && | 753 if (FLAG_ignition && !shared->HasBuiltinFunctionId() && |
750 info->closure()->PassesFilter(FLAG_ignition_filter) && | 754 info->closure()->PassesFilter(FLAG_ignition_filter)) { |
751 ScriptPassesFilter(FLAG_ignition_script_filter, info->script())) { | |
752 // Compile bytecode for the interpreter. | 755 // Compile bytecode for the interpreter. |
753 if (!GenerateBytecode(info)) return MaybeHandle<Code>(); | 756 if (!GenerateBytecode(info)) return MaybeHandle<Code>(); |
754 } else { | 757 } else { |
755 // Compile unoptimized code. | 758 // Compile unoptimized code. |
756 if (!CompileUnoptimizedCode(info)) return MaybeHandle<Code>(); | 759 if (!CompileUnoptimizedCode(info)) return MaybeHandle<Code>(); |
757 | 760 |
758 CHECK_EQ(Code::FUNCTION, info->code()->kind()); | 761 CHECK_EQ(Code::FUNCTION, info->code()->kind()); |
759 RecordFunctionCompilation(Logger::LAZY_COMPILE_TAG, info, shared); | 762 RecordFunctionCompilation(Logger::LAZY_COMPILE_TAG, info, shared); |
760 } | 763 } |
761 | 764 |
(...skipping 404 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1166 if (!CompileUnoptimizedCode(&info)) return; | 1169 if (!CompileUnoptimizedCode(&info)) return; |
1167 if (info.has_shared_info()) { | 1170 if (info.has_shared_info()) { |
1168 Handle<ScopeInfo> scope_info = | 1171 Handle<ScopeInfo> scope_info = |
1169 ScopeInfo::Create(info.isolate(), info.zone(), info.scope()); | 1172 ScopeInfo::Create(info.isolate(), info.zone(), info.scope()); |
1170 info.shared_info()->set_scope_info(*scope_info); | 1173 info.shared_info()->set_scope_info(*scope_info); |
1171 } | 1174 } |
1172 tracker.RecordRootFunctionInfo(info.code()); | 1175 tracker.RecordRootFunctionInfo(info.code()); |
1173 } | 1176 } |
1174 | 1177 |
1175 | 1178 |
| 1179 // Checks whether top level functions should be passed by {raw_filter}. |
| 1180 static bool TopLevelFunctionPassesFilter(const char* raw_filter) { |
| 1181 Vector<const char> filter = CStrVector(raw_filter); |
| 1182 return (filter.length() == 0) || (filter.length() == 1 && filter[0] == '*'); |
| 1183 } |
| 1184 |
| 1185 |
1176 static Handle<SharedFunctionInfo> CompileToplevel(CompilationInfo* info) { | 1186 static Handle<SharedFunctionInfo> CompileToplevel(CompilationInfo* info) { |
1177 Isolate* isolate = info->isolate(); | 1187 Isolate* isolate = info->isolate(); |
1178 PostponeInterruptsScope postpone(isolate); | 1188 PostponeInterruptsScope postpone(isolate); |
1179 DCHECK(!isolate->native_context().is_null()); | 1189 DCHECK(!isolate->native_context().is_null()); |
1180 ParseInfo* parse_info = info->parse_info(); | 1190 ParseInfo* parse_info = info->parse_info(); |
1181 Handle<Script> script = parse_info->script(); | 1191 Handle<Script> script = parse_info->script(); |
1182 | 1192 |
1183 // TODO(svenpanne) Obscure place for this, perhaps move to OnBeforeCompile? | 1193 // TODO(svenpanne) Obscure place for this, perhaps move to OnBeforeCompile? |
1184 FixedArray* array = isolate->native_context()->embedder_data(); | 1194 FixedArray* array = isolate->native_context()->embedder_data(); |
1185 script->set_context_data(array->get(v8::Context::kDebugIdIndex)); | 1195 script->set_context_data(array->get(v8::Context::kDebugIdIndex)); |
(...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1229 | 1239 |
1230 // Measure how long it takes to do the compilation; only take the | 1240 // Measure how long it takes to do the compilation; only take the |
1231 // rest of the function into account to avoid overlap with the | 1241 // rest of the function into account to avoid overlap with the |
1232 // parsing statistics. | 1242 // parsing statistics. |
1233 HistogramTimer* rate = info->is_eval() | 1243 HistogramTimer* rate = info->is_eval() |
1234 ? info->isolate()->counters()->compile_eval() | 1244 ? info->isolate()->counters()->compile_eval() |
1235 : info->isolate()->counters()->compile(); | 1245 : info->isolate()->counters()->compile(); |
1236 HistogramTimerScope timer(rate); | 1246 HistogramTimerScope timer(rate); |
1237 | 1247 |
1238 // Compile the code. | 1248 // Compile the code. |
1239 if (FLAG_ignition && TopLevelFunctionPassesFilter(FLAG_ignition_filter) && | 1249 if (FLAG_ignition && TopLevelFunctionPassesFilter(FLAG_ignition_filter)) { |
1240 ScriptPassesFilter(FLAG_ignition_script_filter, script)) { | |
1241 if (!GenerateBytecode(info)) { | 1250 if (!GenerateBytecode(info)) { |
1242 return Handle<SharedFunctionInfo>::null(); | 1251 return Handle<SharedFunctionInfo>::null(); |
1243 } | 1252 } |
1244 } else { | 1253 } else { |
1245 if (!CompileUnoptimizedCode(info)) { | 1254 if (!CompileUnoptimizedCode(info)) { |
1246 return Handle<SharedFunctionInfo>::null(); | 1255 return Handle<SharedFunctionInfo>::null(); |
1247 } | 1256 } |
1248 } | 1257 } |
1249 | 1258 |
1250 // Allocate function. | 1259 // Allocate function. |
(...skipping 542 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1793 } | 1802 } |
1794 | 1803 |
1795 #if DEBUG | 1804 #if DEBUG |
1796 void CompilationInfo::PrintAstForTesting() { | 1805 void CompilationInfo::PrintAstForTesting() { |
1797 PrintF("--- Source from AST ---\n%s\n", | 1806 PrintF("--- Source from AST ---\n%s\n", |
1798 PrettyPrinter(isolate()).PrintProgram(literal())); | 1807 PrettyPrinter(isolate()).PrintProgram(literal())); |
1799 } | 1808 } |
1800 #endif | 1809 #endif |
1801 } // namespace internal | 1810 } // namespace internal |
1802 } // namespace v8 | 1811 } // namespace v8 |
OLD | NEW |