OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 4744 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4755 } | 4755 } |
4756 return false; | 4756 return false; |
4757 } | 4757 } |
4758 | 4758 |
4759 | 4759 |
4760 bool HGraphBuilder::TryCallApply(Call* expr) { | 4760 bool HGraphBuilder::TryCallApply(Call* expr) { |
4761 Expression* callee = expr->expression(); | 4761 Expression* callee = expr->expression(); |
4762 Property* prop = callee->AsProperty(); | 4762 Property* prop = callee->AsProperty(); |
4763 ASSERT(prop != NULL); | 4763 ASSERT(prop != NULL); |
4764 | 4764 |
| 4765 if (!expr->IsMonomorphic() || expr->check_type() != RECEIVER_MAP_CHECK) { |
| 4766 return false; |
| 4767 } |
| 4768 Handle<Map> function_map = expr->GetReceiverTypes()->first(); |
| 4769 if (function_map->instance_type() != JS_FUNCTION_TYPE || |
| 4770 !expr->target()->shared()->HasBuiltinFunctionId() || |
| 4771 expr->target()->shared()->builtin_function_id() != kFunctionApply) { |
| 4772 return false; |
| 4773 } |
| 4774 |
4765 if (info()->scope()->arguments() == NULL) return false; | 4775 if (info()->scope()->arguments() == NULL) return false; |
4766 | 4776 |
4767 Handle<String> name = prop->key()->AsLiteral()->AsPropertyName(); | |
4768 if (!name->IsEqualTo(CStrVector("apply"))) return false; | |
4769 | |
4770 ZoneList<Expression*>* args = expr->arguments(); | 4777 ZoneList<Expression*>* args = expr->arguments(); |
4771 if (args->length() != 2) return false; | 4778 if (args->length() != 2) return false; |
4772 | 4779 |
4773 VariableProxy* arg_two = args->at(1)->AsVariableProxy(); | 4780 VariableProxy* arg_two = args->at(1)->AsVariableProxy(); |
4774 if (arg_two == NULL || !arg_two->var()->IsStackAllocated()) return false; | 4781 if (arg_two == NULL || !arg_two->var()->IsStackAllocated()) return false; |
4775 HValue* arg_two_value = environment()->Lookup(arg_two->var()); | 4782 HValue* arg_two_value = environment()->Lookup(arg_two->var()); |
4776 if (!arg_two_value->CheckFlag(HValue::kIsArguments)) return false; | 4783 if (!arg_two_value->CheckFlag(HValue::kIsArguments)) return false; |
4777 | 4784 |
4778 if (!expr->IsMonomorphic() || | |
4779 expr->check_type() != RECEIVER_MAP_CHECK) return false; | |
4780 | |
4781 // Our implementation of arguments (based on this stack frame or an | 4785 // Our implementation of arguments (based on this stack frame or an |
4782 // adapter below it) does not work for inlined functions. | 4786 // adapter below it) does not work for inlined functions. |
4783 if (function_state()->outer() != NULL) { | 4787 if (function_state()->outer() != NULL) { |
4784 Bailout("Function.prototype.apply optimization in inlined function"); | 4788 Bailout("Function.prototype.apply optimization in inlined function"); |
4785 return true; | 4789 return true; |
4786 } | 4790 } |
4787 | 4791 |
4788 // Found pattern f.apply(receiver, arguments). | 4792 // Found pattern f.apply(receiver, arguments). |
4789 VisitForValue(prop->obj()); | 4793 VisitForValue(prop->obj()); |
4790 if (HasStackOverflow() || current_block() == NULL) return true; | 4794 if (HasStackOverflow() || current_block() == NULL) return true; |
4791 HValue* function = Pop(); | 4795 HValue* function = Pop(); |
4792 VisitForValue(args->at(0)); | 4796 VisitForValue(args->at(0)); |
4793 if (HasStackOverflow() || current_block() == NULL) return true; | 4797 if (HasStackOverflow() || current_block() == NULL) return true; |
4794 HValue* receiver = Pop(); | 4798 HValue* receiver = Pop(); |
4795 HInstruction* elements = AddInstruction(new(zone()) HArgumentsElements); | 4799 HInstruction* elements = AddInstruction(new(zone()) HArgumentsElements); |
4796 HInstruction* length = AddInstruction(new(zone()) HArgumentsLength(elements)); | 4800 HInstruction* length = AddInstruction(new(zone()) HArgumentsLength(elements)); |
4797 AddCheckConstantFunction(expr, | 4801 AddCheckConstantFunction(expr, function, function_map, true); |
4798 function, | |
4799 expr->GetReceiverTypes()->first(), | |
4800 true); | |
4801 HInstruction* result = | 4802 HInstruction* result = |
4802 new(zone()) HApplyArguments(function, receiver, length, elements); | 4803 new(zone()) HApplyArguments(function, receiver, length, elements); |
4803 result->set_position(expr->position()); | 4804 result->set_position(expr->position()); |
4804 ast_context()->ReturnInstruction(result, expr->id()); | 4805 ast_context()->ReturnInstruction(result, expr->id()); |
4805 return true; | 4806 return true; |
4806 } | 4807 } |
4807 | 4808 |
4808 | 4809 |
4809 void HGraphBuilder::VisitCall(Call* expr) { | 4810 void HGraphBuilder::VisitCall(Call* expr) { |
4810 ASSERT(!HasStackOverflow()); | 4811 ASSERT(!HasStackOverflow()); |
(...skipping 1935 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6746 } | 6747 } |
6747 } | 6748 } |
6748 | 6749 |
6749 #ifdef DEBUG | 6750 #ifdef DEBUG |
6750 if (graph_ != NULL) graph_->Verify(); | 6751 if (graph_ != NULL) graph_->Verify(); |
6751 if (allocator_ != NULL) allocator_->Verify(); | 6752 if (allocator_ != NULL) allocator_->Verify(); |
6752 #endif | 6753 #endif |
6753 } | 6754 } |
6754 | 6755 |
6755 } } // namespace v8::internal | 6756 } } // namespace v8::internal |
OLD | NEW |