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 4780 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4791 : CALL_AS_METHOD; | 4791 : CALL_AS_METHOD; |
4792 | 4792 |
4793 // Precondition: call is monomorphic and we have found a target with the | 4793 // Precondition: call is monomorphic and we have found a target with the |
4794 // appropriate arity. | 4794 // appropriate arity. |
4795 Handle<JSFunction> caller = info()->closure(); | 4795 Handle<JSFunction> caller = info()->closure(); |
4796 Handle<JSFunction> target = expr->target(); | 4796 Handle<JSFunction> target = expr->target(); |
4797 Handle<SharedFunctionInfo> target_shared(target->shared()); | 4797 Handle<SharedFunctionInfo> target_shared(target->shared()); |
4798 | 4798 |
4799 // Do a quick check on source code length to avoid parsing large | 4799 // Do a quick check on source code length to avoid parsing large |
4800 // inlining candidates. | 4800 // inlining candidates. |
4801 if ((FLAG_limit_inlining && target->shared()->SourceSize() > kMaxSourceSize) | 4801 if ((FLAG_limit_inlining && target_shared->SourceSize() > kMaxSourceSize) |
4802 || target->shared()->SourceSize() > kUnlimitedMaxSourceSize) { | 4802 || target_shared->SourceSize() > kUnlimitedMaxSourceSize) { |
4803 TraceInline(target, caller, "target text too big"); | 4803 TraceInline(target, caller, "target text too big"); |
4804 return false; | 4804 return false; |
4805 } | 4805 } |
4806 | 4806 |
4807 // Target must be inlineable. | 4807 // Target must be inlineable. |
4808 if (!target->IsInlineable()) { | 4808 if (!target->IsInlineable()) { |
4809 TraceInline(target, caller, "target not inlineable"); | 4809 TraceInline(target, caller, "target not inlineable"); |
4810 return false; | 4810 return false; |
4811 } | 4811 } |
| 4812 if (target_shared->dont_inline() || target_shared->dont_crankshaft()) { |
| 4813 TraceInline(target, caller, "target contains unsupported syntax"); |
| 4814 return false; |
| 4815 } |
4812 | 4816 |
4813 #if !defined(V8_TARGET_ARCH_IA32) | 4817 #if !defined(V8_TARGET_ARCH_IA32) |
4814 // Target must be able to use caller's context. | 4818 // Target must be able to use caller's context. |
4815 CompilationInfo* outer_info = info(); | 4819 CompilationInfo* outer_info = info(); |
4816 if (target->context() != outer_info->closure()->context() || | 4820 if (target->context() != outer_info->closure()->context() || |
4817 outer_info->scope()->contains_with() || | 4821 outer_info->scope()->contains_with() || |
4818 outer_info->scope()->num_heap_slots() > 0) { | 4822 outer_info->scope()->num_heap_slots() > 0) { |
4819 TraceInline(target, caller, "target requires context change"); | 4823 TraceInline(target, caller, "target requires context change"); |
4820 return false; | 4824 return false; |
4821 } | 4825 } |
(...skipping 24 matching lines...) Expand all Loading... |
4846 } | 4850 } |
4847 } | 4851 } |
4848 | 4852 |
4849 // We don't want to add more than a certain number of nodes from inlining. | 4853 // We don't want to add more than a certain number of nodes from inlining. |
4850 if ((FLAG_limit_inlining && inlined_count_ > kMaxInlinedNodes) || | 4854 if ((FLAG_limit_inlining && inlined_count_ > kMaxInlinedNodes) || |
4851 inlined_count_ > kUnlimitedMaxInlinedNodes) { | 4855 inlined_count_ > kUnlimitedMaxInlinedNodes) { |
4852 TraceInline(target, caller, "cumulative AST node limit reached"); | 4856 TraceInline(target, caller, "cumulative AST node limit reached"); |
4853 return false; | 4857 return false; |
4854 } | 4858 } |
4855 | 4859 |
4856 int count_before = AstNode::Count(); | |
4857 | |
4858 // Parse and allocate variables. | 4860 // Parse and allocate variables. |
4859 CompilationInfo target_info(target); | 4861 CompilationInfo target_info(target); |
4860 if (!ParserApi::Parse(&target_info, kNoParsingFlags) || | 4862 if (!ParserApi::Parse(&target_info, kNoParsingFlags) || |
4861 !Scope::Analyze(&target_info)) { | 4863 !Scope::Analyze(&target_info)) { |
4862 if (target_info.isolate()->has_pending_exception()) { | 4864 if (target_info.isolate()->has_pending_exception()) { |
4863 // Parse or scope error, never optimize this function. | 4865 // Parse or scope error, never optimize this function. |
4864 SetStackOverflow(); | 4866 SetStackOverflow(); |
4865 target_shared->DisableOptimization(*target); | 4867 target_shared->DisableOptimization(*target); |
4866 } | 4868 } |
4867 TraceInline(target, caller, "parse failure"); | 4869 TraceInline(target, caller, "parse failure"); |
4868 return false; | 4870 return false; |
4869 } | 4871 } |
4870 | 4872 |
4871 if (target_info.scope()->num_heap_slots() > 0) { | 4873 if (target_info.scope()->num_heap_slots() > 0) { |
4872 TraceInline(target, caller, "target has context-allocated variables"); | 4874 TraceInline(target, caller, "target has context-allocated variables"); |
4873 return false; | 4875 return false; |
4874 } | 4876 } |
4875 FunctionLiteral* function = target_info.function(); | 4877 FunctionLiteral* function = target_info.function(); |
4876 | 4878 |
4877 // Count the number of AST nodes added by inlining this call. | 4879 // Count the number of AST nodes added by inlining this call. |
4878 int nodes_added = AstNode::Count() - count_before; | 4880 int nodes_added = function->AstNodeCount(); |
4879 if ((FLAG_limit_inlining && nodes_added > kMaxInlinedSize) || | 4881 if ((FLAG_limit_inlining && nodes_added > kMaxInlinedSize) || |
4880 nodes_added > kUnlimitedMaxInlinedSize) { | 4882 nodes_added > kUnlimitedMaxInlinedSize) { |
4881 TraceInline(target, caller, "target AST is too large"); | 4883 TraceInline(target, caller, "target AST is too large"); |
4882 return false; | 4884 return false; |
4883 } | 4885 } |
4884 | 4886 |
4885 // Don't inline functions that uses the arguments object. | 4887 // Don't inline functions that uses the arguments object. |
4886 if (function->scope()->arguments() != NULL) { | 4888 if (function->scope()->arguments() != NULL) { |
4887 TraceInline(target, caller, "target requires special argument handling"); | 4889 TraceInline(target, caller, "target requires special argument handling"); |
4888 return false; | 4890 return false; |
4889 } | 4891 } |
4890 | 4892 |
4891 // All declarations must be inlineable. | 4893 // All declarations must be inlineable. |
4892 ZoneList<Declaration*>* decls = target_info.scope()->declarations(); | 4894 ZoneList<Declaration*>* decls = target_info.scope()->declarations(); |
4893 int decl_count = decls->length(); | 4895 int decl_count = decls->length(); |
4894 for (int i = 0; i < decl_count; ++i) { | 4896 for (int i = 0; i < decl_count; ++i) { |
4895 if (!decls->at(i)->IsInlineable()) { | 4897 if (!decls->at(i)->IsInlineable()) { |
4896 TraceInline(target, caller, "target has non-trivial declaration"); | 4898 TraceInline(target, caller, "target has non-trivial declaration"); |
4897 return false; | 4899 return false; |
4898 } | 4900 } |
4899 } | 4901 } |
4900 // All statements in the body must be inlineable. | |
4901 for (int i = 0, count = function->body()->length(); i < count; ++i) { | |
4902 if (!function->body()->at(i)->IsInlineable()) { | |
4903 TraceInline(target, caller, "target contains unsupported syntax"); | |
4904 return false; | |
4905 } | |
4906 } | |
4907 | 4902 |
4908 // Generate the deoptimization data for the unoptimized version of | 4903 // Generate the deoptimization data for the unoptimized version of |
4909 // the target function if we don't already have it. | 4904 // the target function if we don't already have it. |
4910 if (!target_shared->has_deoptimization_support()) { | 4905 if (!target_shared->has_deoptimization_support()) { |
4911 // Note that we compile here using the same AST that we will use for | 4906 // Note that we compile here using the same AST that we will use for |
4912 // generating the optimized inline code. | 4907 // generating the optimized inline code. |
4913 target_info.EnableDeoptimizationSupport(); | 4908 target_info.EnableDeoptimizationSupport(); |
4914 if (!FullCodeGenerator::MakeCode(&target_info)) { | 4909 if (!FullCodeGenerator::MakeCode(&target_info)) { |
4915 TraceInline(target, caller, "could not generate deoptimization info"); | 4910 TraceInline(target, caller, "could not generate deoptimization info"); |
4916 return false; | 4911 return false; |
(...skipping 2536 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
7453 } | 7448 } |
7454 } | 7449 } |
7455 | 7450 |
7456 #ifdef DEBUG | 7451 #ifdef DEBUG |
7457 if (graph_ != NULL) graph_->Verify(false); // No full verify. | 7452 if (graph_ != NULL) graph_->Verify(false); // No full verify. |
7458 if (allocator_ != NULL) allocator_->Verify(); | 7453 if (allocator_ != NULL) allocator_->Verify(); |
7459 #endif | 7454 #endif |
7460 } | 7455 } |
7461 | 7456 |
7462 } } // namespace v8::internal | 7457 } } // namespace v8::internal |
OLD | NEW |