| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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/ast-graph-builder.h" | 5 #include "src/compiler/ast-graph-builder.h" |
| 6 | 6 |
| 7 #include "src/compiler.h" | 7 #include "src/compiler.h" |
| 8 #include "src/compiler/ast-loop-assignment-analyzer.h" | 8 #include "src/compiler/ast-loop-assignment-analyzer.h" |
| 9 #include "src/compiler/control-builders.h" | 9 #include "src/compiler/control-builders.h" |
| 10 #include "src/compiler/js-type-feedback.h" | 10 #include "src/compiler/js-type-feedback.h" |
| (...skipping 664 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 675 int param_num = 0; | 675 int param_num = 0; |
| 676 if (builder->info()->is_this_defined()) { | 676 if (builder->info()->is_this_defined()) { |
| 677 const Operator* op = common()->Parameter(param_num++, "%this"); | 677 const Operator* op = common()->Parameter(param_num++, "%this"); |
| 678 Node* receiver = builder->graph()->NewNode(op, builder->graph()->start()); | 678 Node* receiver = builder->graph()->NewNode(op, builder->graph()->start()); |
| 679 values()->push_back(receiver); | 679 values()->push_back(receiver); |
| 680 } else { | 680 } else { |
| 681 values()->push_back(builder->jsgraph()->UndefinedConstant()); | 681 values()->push_back(builder->jsgraph()->UndefinedConstant()); |
| 682 } | 682 } |
| 683 | 683 |
| 684 // Bind all parameter variables. The parameter indices are shifted by 1 | 684 // Bind all parameter variables. The parameter indices are shifted by 1 |
| 685 // (receiver is parameter index -1 but environment index 0). | 685 // (receiver is variable index -1 but {Parameter} node index 0 and located at |
| 686 // index 0 in the environment). |
| 686 for (int i = 0; i < scope->num_parameters(); ++i) { | 687 for (int i = 0; i < scope->num_parameters(); ++i) { |
| 687 const char* debug_name = GetDebugParameterName(graph()->zone(), scope, i); | 688 const char* debug_name = GetDebugParameterName(graph()->zone(), scope, i); |
| 688 const Operator* op = common()->Parameter(param_num++, debug_name); | 689 const Operator* op = common()->Parameter(param_num++, debug_name); |
| 689 Node* parameter = builder->graph()->NewNode(op, builder->graph()->start()); | 690 Node* parameter = builder->graph()->NewNode(op, builder->graph()->start()); |
| 690 values()->push_back(parameter); | 691 values()->push_back(parameter); |
| 691 } | 692 } |
| 692 | 693 |
| 693 // Bind all local variables to undefined. | 694 // Bind all local variables to undefined. |
| 694 Node* undefined_constant = builder->jsgraph()->UndefinedConstant(); | 695 Node* undefined_constant = builder->jsgraph()->UndefinedConstant(); |
| 695 values()->insert(values()->end(), locals_count(), undefined_constant); | 696 values()->insert(values()->end(), locals_count(), undefined_constant); |
| (...skipping 18 matching lines...) Expand all Loading... |
| 714 values_.insert(values_.begin(), copy->values_.begin(), copy->values_.end()); | 715 values_.insert(values_.begin(), copy->values_.begin(), copy->values_.end()); |
| 715 contexts_.reserve(copy->contexts_.size()); | 716 contexts_.reserve(copy->contexts_.size()); |
| 716 contexts_.insert(contexts_.begin(), copy->contexts_.begin(), | 717 contexts_.insert(contexts_.begin(), copy->contexts_.begin(), |
| 717 copy->contexts_.end()); | 718 copy->contexts_.end()); |
| 718 } | 719 } |
| 719 | 720 |
| 720 | 721 |
| 721 void AstGraphBuilder::Environment::Bind(Variable* variable, Node* node) { | 722 void AstGraphBuilder::Environment::Bind(Variable* variable, Node* node) { |
| 722 DCHECK(variable->IsStackAllocated()); | 723 DCHECK(variable->IsStackAllocated()); |
| 723 if (variable->IsParameter()) { | 724 if (variable->IsParameter()) { |
| 724 // The parameter indices are shifted by 1 (receiver is parameter | 725 // The parameter indices are shifted by 1 (receiver is variable |
| 725 // index -1 but environment index 0). | 726 // index -1 but located at index 0 in the environment). |
| 726 values()->at(variable->index() + 1) = node; | 727 values()->at(variable->index() + 1) = node; |
| 727 } else { | 728 } else { |
| 728 DCHECK(variable->IsStackLocal()); | 729 DCHECK(variable->IsStackLocal()); |
| 729 values()->at(variable->index() + parameters_count_) = node; | 730 values()->at(variable->index() + parameters_count_) = node; |
| 730 DCHECK(IsLivenessBlockConsistent()); | 731 DCHECK(IsLivenessBlockConsistent()); |
| 731 if (liveness_block() != nullptr) { | 732 if (liveness_block() != nullptr) { |
| 732 liveness_block()->Bind(variable->index()); | 733 liveness_block()->Bind(variable->index()); |
| 733 } | 734 } |
| 734 } | 735 } |
| 735 } | 736 } |
| 736 | 737 |
| 737 | 738 |
| 738 Node* AstGraphBuilder::Environment::Lookup(Variable* variable) { | 739 Node* AstGraphBuilder::Environment::Lookup(Variable* variable) { |
| 739 DCHECK(variable->IsStackAllocated()); | 740 DCHECK(variable->IsStackAllocated()); |
| 740 if (variable->IsParameter()) { | 741 if (variable->IsParameter()) { |
| 741 // The parameter indices are shifted by 1 (receiver is parameter | 742 // The parameter indices are shifted by 1 (receiver is variable |
| 742 // index -1 but environment index 0). | 743 // index -1 but located at index 0 in the environment). |
| 743 return values()->at(variable->index() + 1); | 744 return values()->at(variable->index() + 1); |
| 744 } else { | 745 } else { |
| 745 DCHECK(variable->IsStackLocal()); | 746 DCHECK(variable->IsStackLocal()); |
| 746 DCHECK(IsLivenessBlockConsistent()); | 747 DCHECK(IsLivenessBlockConsistent()); |
| 747 if (liveness_block() != nullptr) { | 748 if (liveness_block() != nullptr) { |
| 748 liveness_block()->Lookup(variable->index()); | 749 liveness_block()->Lookup(variable->index()); |
| 749 } | 750 } |
| 750 return values()->at(variable->index() + parameters_count_); | 751 return values()->at(variable->index() + parameters_count_); |
| 751 } | 752 } |
| 752 } | 753 } |
| (...skipping 3513 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4266 // Phi does not exist yet, introduce one. | 4267 // Phi does not exist yet, introduce one. |
| 4267 value = NewPhi(inputs, value, control); | 4268 value = NewPhi(inputs, value, control); |
| 4268 value->ReplaceInput(inputs - 1, other); | 4269 value->ReplaceInput(inputs - 1, other); |
| 4269 } | 4270 } |
| 4270 return value; | 4271 return value; |
| 4271 } | 4272 } |
| 4272 | 4273 |
| 4273 } // namespace compiler | 4274 } // namespace compiler |
| 4274 } // namespace internal | 4275 } // namespace internal |
| 4275 } // namespace v8 | 4276 } // namespace v8 |
| OLD | NEW |