| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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 3457 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3468 current_block()->Goto(test->if_true(), state); | 3468 current_block()->Goto(test->if_true(), state); |
| 3469 } else if (context->IsEffect()) { | 3469 } else if (context->IsEffect()) { |
| 3470 CHECK_ALIVE(VisitForEffect(stmt->expression())); | 3470 CHECK_ALIVE(VisitForEffect(stmt->expression())); |
| 3471 current_block()->Goto(function_return(), state); | 3471 current_block()->Goto(function_return(), state); |
| 3472 } else { | 3472 } else { |
| 3473 ASSERT(context->IsValue()); | 3473 ASSERT(context->IsValue()); |
| 3474 CHECK_ALIVE(VisitForValue(stmt->expression())); | 3474 CHECK_ALIVE(VisitForValue(stmt->expression())); |
| 3475 HValue* return_value = Pop(); | 3475 HValue* return_value = Pop(); |
| 3476 HValue* receiver = environment()->arguments_environment()->Lookup(0); | 3476 HValue* receiver = environment()->arguments_environment()->Lookup(0); |
| 3477 HHasInstanceTypeAndBranch* typecheck = | 3477 HHasInstanceTypeAndBranch* typecheck = |
| 3478 new(zone()) HHasInstanceTypeAndBranch(return_value, | 3478 New<HHasInstanceTypeAndBranch>(return_value, |
| 3479 FIRST_SPEC_OBJECT_TYPE, | 3479 FIRST_SPEC_OBJECT_TYPE, |
| 3480 LAST_SPEC_OBJECT_TYPE); | 3480 LAST_SPEC_OBJECT_TYPE); |
| 3481 HBasicBlock* if_spec_object = graph()->CreateBasicBlock(); | 3481 HBasicBlock* if_spec_object = graph()->CreateBasicBlock(); |
| 3482 HBasicBlock* not_spec_object = graph()->CreateBasicBlock(); | 3482 HBasicBlock* not_spec_object = graph()->CreateBasicBlock(); |
| 3483 typecheck->SetSuccessorAt(0, if_spec_object); | 3483 typecheck->SetSuccessorAt(0, if_spec_object); |
| 3484 typecheck->SetSuccessorAt(1, not_spec_object); | 3484 typecheck->SetSuccessorAt(1, not_spec_object); |
| 3485 current_block()->Finish(typecheck); | 3485 current_block()->Finish(typecheck); |
| 3486 if_spec_object->AddLeaveInlined(return_value, state); | 3486 if_spec_object->AddLeaveInlined(return_value, state); |
| 3487 not_spec_object->AddLeaveInlined(receiver, state); | 3487 not_spec_object->AddLeaveInlined(receiver, state); |
| 3488 } | 3488 } |
| 3489 } else if (state->inlining_kind() == SETTER_CALL_RETURN) { | 3489 } else if (state->inlining_kind() == SETTER_CALL_RETURN) { |
| 3490 // Return from an inlined setter call. The returned value is never used, the | 3490 // Return from an inlined setter call. The returned value is never used, the |
| (...skipping 5285 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 8776 HIsSmiAndBranch* result = New<HIsSmiAndBranch>(value); | 8776 HIsSmiAndBranch* result = New<HIsSmiAndBranch>(value); |
| 8777 return ast_context()->ReturnControl(result, call->id()); | 8777 return ast_context()->ReturnControl(result, call->id()); |
| 8778 } | 8778 } |
| 8779 | 8779 |
| 8780 | 8780 |
| 8781 void HOptimizedGraphBuilder::GenerateIsSpecObject(CallRuntime* call) { | 8781 void HOptimizedGraphBuilder::GenerateIsSpecObject(CallRuntime* call) { |
| 8782 ASSERT(call->arguments()->length() == 1); | 8782 ASSERT(call->arguments()->length() == 1); |
| 8783 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); | 8783 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); |
| 8784 HValue* value = Pop(); | 8784 HValue* value = Pop(); |
| 8785 HHasInstanceTypeAndBranch* result = | 8785 HHasInstanceTypeAndBranch* result = |
| 8786 new(zone()) HHasInstanceTypeAndBranch(value, | 8786 New<HHasInstanceTypeAndBranch>(value, |
| 8787 FIRST_SPEC_OBJECT_TYPE, | 8787 FIRST_SPEC_OBJECT_TYPE, |
| 8788 LAST_SPEC_OBJECT_TYPE); | 8788 LAST_SPEC_OBJECT_TYPE); |
| 8789 return ast_context()->ReturnControl(result, call->id()); | 8789 return ast_context()->ReturnControl(result, call->id()); |
| 8790 } | 8790 } |
| 8791 | 8791 |
| 8792 | 8792 |
| 8793 void HOptimizedGraphBuilder::GenerateIsFunction(CallRuntime* call) { | 8793 void HOptimizedGraphBuilder::GenerateIsFunction(CallRuntime* call) { |
| 8794 ASSERT(call->arguments()->length() == 1); | 8794 ASSERT(call->arguments()->length() == 1); |
| 8795 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); | 8795 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); |
| 8796 HValue* value = Pop(); | 8796 HValue* value = Pop(); |
| 8797 HHasInstanceTypeAndBranch* result = | 8797 HHasInstanceTypeAndBranch* result = |
| 8798 new(zone()) HHasInstanceTypeAndBranch(value, JS_FUNCTION_TYPE); | 8798 New<HHasInstanceTypeAndBranch>(value, JS_FUNCTION_TYPE); |
| 8799 return ast_context()->ReturnControl(result, call->id()); | 8799 return ast_context()->ReturnControl(result, call->id()); |
| 8800 } | 8800 } |
| 8801 | 8801 |
| 8802 | 8802 |
| 8803 void HOptimizedGraphBuilder::GenerateHasCachedArrayIndex(CallRuntime* call) { | 8803 void HOptimizedGraphBuilder::GenerateHasCachedArrayIndex(CallRuntime* call) { |
| 8804 ASSERT(call->arguments()->length() == 1); | 8804 ASSERT(call->arguments()->length() == 1); |
| 8805 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); | 8805 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); |
| 8806 HValue* value = Pop(); | 8806 HValue* value = Pop(); |
| 8807 HHasCachedArrayIndexAndBranch* result = | 8807 HHasCachedArrayIndexAndBranch* result = |
| 8808 new(zone()) HHasCachedArrayIndexAndBranch(value); | 8808 new(zone()) HHasCachedArrayIndexAndBranch(value); |
| 8809 return ast_context()->ReturnControl(result, call->id()); | 8809 return ast_context()->ReturnControl(result, call->id()); |
| 8810 } | 8810 } |
| 8811 | 8811 |
| 8812 | 8812 |
| 8813 void HOptimizedGraphBuilder::GenerateIsArray(CallRuntime* call) { | 8813 void HOptimizedGraphBuilder::GenerateIsArray(CallRuntime* call) { |
| 8814 ASSERT(call->arguments()->length() == 1); | 8814 ASSERT(call->arguments()->length() == 1); |
| 8815 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); | 8815 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); |
| 8816 HValue* value = Pop(); | 8816 HValue* value = Pop(); |
| 8817 HHasInstanceTypeAndBranch* result = | 8817 HHasInstanceTypeAndBranch* result = |
| 8818 new(zone()) HHasInstanceTypeAndBranch(value, JS_ARRAY_TYPE); | 8818 New<HHasInstanceTypeAndBranch>(value, JS_ARRAY_TYPE); |
| 8819 return ast_context()->ReturnControl(result, call->id()); | 8819 return ast_context()->ReturnControl(result, call->id()); |
| 8820 } | 8820 } |
| 8821 | 8821 |
| 8822 | 8822 |
| 8823 void HOptimizedGraphBuilder::GenerateIsRegExp(CallRuntime* call) { | 8823 void HOptimizedGraphBuilder::GenerateIsRegExp(CallRuntime* call) { |
| 8824 ASSERT(call->arguments()->length() == 1); | 8824 ASSERT(call->arguments()->length() == 1); |
| 8825 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); | 8825 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); |
| 8826 HValue* value = Pop(); | 8826 HValue* value = Pop(); |
| 8827 HHasInstanceTypeAndBranch* result = | 8827 HHasInstanceTypeAndBranch* result = |
| 8828 new(zone()) HHasInstanceTypeAndBranch(value, JS_REGEXP_TYPE); | 8828 New<HHasInstanceTypeAndBranch>(value, JS_REGEXP_TYPE); |
| 8829 return ast_context()->ReturnControl(result, call->id()); | 8829 return ast_context()->ReturnControl(result, call->id()); |
| 8830 } | 8830 } |
| 8831 | 8831 |
| 8832 | 8832 |
| 8833 void HOptimizedGraphBuilder::GenerateIsObject(CallRuntime* call) { | 8833 void HOptimizedGraphBuilder::GenerateIsObject(CallRuntime* call) { |
| 8834 ASSERT(call->arguments()->length() == 1); | 8834 ASSERT(call->arguments()->length() == 1); |
| 8835 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); | 8835 CHECK_ALIVE(VisitForValue(call->arguments()->at(0))); |
| 8836 HValue* value = Pop(); | 8836 HValue* value = Pop(); |
| 8837 HIsObjectAndBranch* result = New<HIsObjectAndBranch>(value); | 8837 HIsObjectAndBranch* result = New<HIsObjectAndBranch>(value); |
| 8838 return ast_context()->ReturnControl(result, call->id()); | 8838 return ast_context()->ReturnControl(result, call->id()); |
| (...skipping 133 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 8972 // Check if object is a not a smi. | 8972 // Check if object is a not a smi. |
| 8973 HBasicBlock* if_smi = graph()->CreateBasicBlock(); | 8973 HBasicBlock* if_smi = graph()->CreateBasicBlock(); |
| 8974 HBasicBlock* if_heap_object = graph()->CreateBasicBlock(); | 8974 HBasicBlock* if_heap_object = graph()->CreateBasicBlock(); |
| 8975 HBasicBlock* join = graph()->CreateBasicBlock(); | 8975 HBasicBlock* join = graph()->CreateBasicBlock(); |
| 8976 current_block()->Finish(New<HIsSmiAndBranch>(object, if_smi, if_heap_object)); | 8976 current_block()->Finish(New<HIsSmiAndBranch>(object, if_smi, if_heap_object)); |
| 8977 if_smi->Goto(join); | 8977 if_smi->Goto(join); |
| 8978 | 8978 |
| 8979 // Check if object is a JSValue. | 8979 // Check if object is a JSValue. |
| 8980 set_current_block(if_heap_object); | 8980 set_current_block(if_heap_object); |
| 8981 HHasInstanceTypeAndBranch* typecheck = | 8981 HHasInstanceTypeAndBranch* typecheck = |
| 8982 new(zone()) HHasInstanceTypeAndBranch(object, JS_VALUE_TYPE); | 8982 New<HHasInstanceTypeAndBranch>(object, JS_VALUE_TYPE); |
| 8983 HBasicBlock* if_js_value = graph()->CreateBasicBlock(); | 8983 HBasicBlock* if_js_value = graph()->CreateBasicBlock(); |
| 8984 HBasicBlock* not_js_value = graph()->CreateBasicBlock(); | 8984 HBasicBlock* not_js_value = graph()->CreateBasicBlock(); |
| 8985 typecheck->SetSuccessorAt(0, if_js_value); | 8985 typecheck->SetSuccessorAt(0, if_js_value); |
| 8986 typecheck->SetSuccessorAt(1, not_js_value); | 8986 typecheck->SetSuccessorAt(1, not_js_value); |
| 8987 current_block()->Finish(typecheck); | 8987 current_block()->Finish(typecheck); |
| 8988 not_js_value->Goto(join); | 8988 not_js_value->Goto(join); |
| 8989 | 8989 |
| 8990 // Create in-object property store to kValueOffset. | 8990 // Create in-object property store to kValueOffset. |
| 8991 set_current_block(if_js_value); | 8991 set_current_block(if_js_value); |
| 8992 Add<HStoreNamedField>(object, | 8992 Add<HStoreNamedField>(object, |
| (...skipping 144 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 9137 | 9137 |
| 9138 for (int i = 0; i < arg_count; ++i) { | 9138 for (int i = 0; i < arg_count; ++i) { |
| 9139 CHECK_ALIVE(VisitArgument(call->arguments()->at(i))); | 9139 CHECK_ALIVE(VisitArgument(call->arguments()->at(i))); |
| 9140 } | 9140 } |
| 9141 CHECK_ALIVE(VisitForValue(call->arguments()->last())); | 9141 CHECK_ALIVE(VisitForValue(call->arguments()->last())); |
| 9142 | 9142 |
| 9143 HValue* function = Pop(); | 9143 HValue* function = Pop(); |
| 9144 | 9144 |
| 9145 // Branch for function proxies, or other non-functions. | 9145 // Branch for function proxies, or other non-functions. |
| 9146 HHasInstanceTypeAndBranch* typecheck = | 9146 HHasInstanceTypeAndBranch* typecheck = |
| 9147 new(zone()) HHasInstanceTypeAndBranch(function, JS_FUNCTION_TYPE); | 9147 New<HHasInstanceTypeAndBranch>(function, JS_FUNCTION_TYPE); |
| 9148 HBasicBlock* if_jsfunction = graph()->CreateBasicBlock(); | 9148 HBasicBlock* if_jsfunction = graph()->CreateBasicBlock(); |
| 9149 HBasicBlock* if_nonfunction = graph()->CreateBasicBlock(); | 9149 HBasicBlock* if_nonfunction = graph()->CreateBasicBlock(); |
| 9150 HBasicBlock* join = graph()->CreateBasicBlock(); | 9150 HBasicBlock* join = graph()->CreateBasicBlock(); |
| 9151 typecheck->SetSuccessorAt(0, if_jsfunction); | 9151 typecheck->SetSuccessorAt(0, if_jsfunction); |
| 9152 typecheck->SetSuccessorAt(1, if_nonfunction); | 9152 typecheck->SetSuccessorAt(1, if_nonfunction); |
| 9153 current_block()->Finish(typecheck); | 9153 current_block()->Finish(typecheck); |
| 9154 | 9154 |
| 9155 set_current_block(if_jsfunction); | 9155 set_current_block(if_jsfunction); |
| 9156 HInstruction* invoke_result = Add<HInvokeFunction>(function, arg_count); | 9156 HInstruction* invoke_result = Add<HInvokeFunction>(function, arg_count); |
| 9157 Drop(arg_count); | 9157 Drop(arg_count); |
| (...skipping 717 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 9875 if (ShouldProduceTraceOutput()) { | 9875 if (ShouldProduceTraceOutput()) { |
| 9876 isolate()->GetHTracer()->TraceHydrogen(name(), graph_); | 9876 isolate()->GetHTracer()->TraceHydrogen(name(), graph_); |
| 9877 } | 9877 } |
| 9878 | 9878 |
| 9879 #ifdef DEBUG | 9879 #ifdef DEBUG |
| 9880 graph_->Verify(false); // No full verify. | 9880 graph_->Verify(false); // No full verify. |
| 9881 #endif | 9881 #endif |
| 9882 } | 9882 } |
| 9883 | 9883 |
| 9884 } } // namespace v8::internal | 9884 } } // namespace v8::internal |
| OLD | NEW |