| 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 | 
|---|