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 174 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
185 | 185 |
186 private: | 186 private: |
187 void AddBlock(HBasicBlock* block); | 187 void AddBlock(HBasicBlock* block); |
188 | 188 |
189 ZoneList<HBasicBlock*> back_edges_; | 189 ZoneList<HBasicBlock*> back_edges_; |
190 HBasicBlock* loop_header_; | 190 HBasicBlock* loop_header_; |
191 ZoneList<HBasicBlock*> blocks_; | 191 ZoneList<HBasicBlock*> blocks_; |
192 }; | 192 }; |
193 | 193 |
194 | 194 |
195 class HSubgraph: public ZoneObject { | 195 class HGraph: public ZoneObject { |
196 public: | |
197 explicit HSubgraph(HGraph* graph) | |
198 : graph_(graph), | |
199 entry_block_(NULL), | |
200 exit_block_(NULL) { | |
201 } | |
202 | |
203 HGraph* graph() const { return graph_; } | |
204 HBasicBlock* entry_block() const { return entry_block_; } | |
205 HBasicBlock* exit_block() const { return exit_block_; } | |
206 void set_exit_block(HBasicBlock* block) { | |
207 exit_block_ = block; | |
208 } | |
209 | |
210 void Initialize(HBasicBlock* block) { | |
211 ASSERT(entry_block_ == NULL); | |
212 entry_block_ = block; | |
213 exit_block_ = block; | |
214 } | |
215 | |
216 protected: | |
217 HGraph* graph_; // The graph this is a subgraph of. | |
218 HBasicBlock* entry_block_; | |
219 HBasicBlock* exit_block_; | |
220 }; | |
221 | |
222 | |
223 class HGraph: public HSubgraph { | |
224 public: | 196 public: |
225 explicit HGraph(CompilationInfo* info); | 197 explicit HGraph(CompilationInfo* info); |
226 | 198 |
227 const ZoneList<HBasicBlock*>* blocks() const { return &blocks_; } | 199 const ZoneList<HBasicBlock*>* blocks() const { return &blocks_; } |
228 const ZoneList<HPhi*>* phi_list() const { return phi_list_; } | 200 const ZoneList<HPhi*>* phi_list() const { return phi_list_; } |
| 201 HBasicBlock* entry_block() const { return entry_block_; } |
229 HEnvironment* start_environment() const { return start_environment_; } | 202 HEnvironment* start_environment() const { return start_environment_; } |
230 | 203 |
231 void InitializeInferredTypes(); | 204 void InitializeInferredTypes(); |
232 void InsertTypeConversions(); | 205 void InsertTypeConversions(); |
233 void InsertRepresentationChanges(); | 206 void InsertRepresentationChanges(); |
234 void ComputeMinusZeroChecks(); | 207 void ComputeMinusZeroChecks(); |
235 bool ProcessArgumentsObject(); | 208 bool ProcessArgumentsObject(); |
236 void EliminateRedundantPhis(); | 209 void EliminateRedundantPhis(); |
237 void EliminateUnreachablePhis(); | 210 void EliminateUnreachablePhis(); |
238 void Canonicalize(); | 211 void Canonicalize(); |
(...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
297 HValue* use, | 270 HValue* use, |
298 Representation to); | 271 Representation to); |
299 void InsertRepresentationChangesForValue(HValue* current, | 272 void InsertRepresentationChangesForValue(HValue* current, |
300 ZoneList<HValue*>* value_list, | 273 ZoneList<HValue*>* value_list, |
301 ZoneList<Representation>* rep_list); | 274 ZoneList<Representation>* rep_list); |
302 void InferTypes(ZoneList<HValue*>* worklist); | 275 void InferTypes(ZoneList<HValue*>* worklist); |
303 void InitializeInferredTypes(int from_inclusive, int to_inclusive); | 276 void InitializeInferredTypes(int from_inclusive, int to_inclusive); |
304 void CheckForBackEdge(HBasicBlock* block, HBasicBlock* successor); | 277 void CheckForBackEdge(HBasicBlock* block, HBasicBlock* successor); |
305 | 278 |
306 int next_block_id_; | 279 int next_block_id_; |
| 280 HBasicBlock* entry_block_; |
307 HEnvironment* start_environment_; | 281 HEnvironment* start_environment_; |
308 ZoneList<HBasicBlock*> blocks_; | 282 ZoneList<HBasicBlock*> blocks_; |
309 ZoneList<HValue*> values_; | 283 ZoneList<HValue*> values_; |
310 ZoneList<HPhi*>* phi_list_; | 284 ZoneList<HPhi*>* phi_list_; |
311 SetOncePointer<HConstant> undefined_constant_; | 285 SetOncePointer<HConstant> undefined_constant_; |
312 SetOncePointer<HConstant> constant_1_; | 286 SetOncePointer<HConstant> constant_1_; |
313 SetOncePointer<HConstant> constant_minus1_; | 287 SetOncePointer<HConstant> constant_minus1_; |
314 SetOncePointer<HConstant> constant_true_; | 288 SetOncePointer<HConstant> constant_true_; |
315 SetOncePointer<HConstant> constant_false_; | 289 SetOncePointer<HConstant> constant_false_; |
316 SetOncePointer<HArgumentsObject> arguments_object_; | 290 SetOncePointer<HArgumentsObject> arguments_object_; |
317 | 291 |
318 friend class HSubgraph; | |
319 | |
320 DISALLOW_COPY_AND_ASSIGN(HGraph); | 292 DISALLOW_COPY_AND_ASSIGN(HGraph); |
321 }; | 293 }; |
322 | 294 |
323 | 295 |
324 class HEnvironment: public ZoneObject { | 296 class HEnvironment: public ZoneObject { |
325 public: | 297 public: |
326 HEnvironment(HEnvironment* outer, | 298 HEnvironment(HEnvironment* outer, |
327 Scope* scope, | 299 Scope* scope, |
328 Handle<JSFunction> closure); | 300 Handle<JSFunction> closure); |
329 | 301 |
(...skipping 306 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
636 HGraphBuilder* owner_; | 608 HGraphBuilder* owner_; |
637 BreakAndContinueScope* next_; | 609 BreakAndContinueScope* next_; |
638 }; | 610 }; |
639 | 611 |
640 HGraphBuilder(CompilationInfo* info, TypeFeedbackOracle* oracle) | 612 HGraphBuilder(CompilationInfo* info, TypeFeedbackOracle* oracle) |
641 : function_state_(NULL), | 613 : function_state_(NULL), |
642 initial_function_state_(this, info, oracle), | 614 initial_function_state_(this, info, oracle), |
643 ast_context_(NULL), | 615 ast_context_(NULL), |
644 break_scope_(NULL), | 616 break_scope_(NULL), |
645 graph_(NULL), | 617 graph_(NULL), |
646 current_subgraph_(NULL), | 618 current_block_(NULL), |
647 inlined_count_(0) { | 619 inlined_count_(0) { |
648 // This is not initialized in the initializer list because the | 620 // This is not initialized in the initializer list because the |
649 // constructor for the initial state relies on function_state_ == NULL | 621 // constructor for the initial state relies on function_state_ == NULL |
650 // to know it's the initial state. | 622 // to know it's the initial state. |
651 function_state_= &initial_function_state_; | 623 function_state_= &initial_function_state_; |
652 } | 624 } |
653 | 625 |
654 HGraph* CreateGraph(); | 626 HGraph* CreateGraph(); |
655 | 627 |
656 // Simple accessors. | 628 // Simple accessors. |
657 HGraph* graph() const { return graph_; } | 629 HGraph* graph() const { return graph_; } |
658 HSubgraph* subgraph() const { return current_subgraph_; } | |
659 BreakAndContinueScope* break_scope() const { return break_scope_; } | 630 BreakAndContinueScope* break_scope() const { return break_scope_; } |
660 void set_break_scope(BreakAndContinueScope* head) { break_scope_ = head; } | 631 void set_break_scope(BreakAndContinueScope* head) { break_scope_ = head; } |
661 | 632 |
662 HBasicBlock* current_block() const { return subgraph()->exit_block(); } | 633 HBasicBlock* current_block() const { return current_block_; } |
663 void set_current_block(HBasicBlock* block) { | 634 void set_current_block(HBasicBlock* block) { current_block_ = block; } |
664 subgraph()->set_exit_block(block); | |
665 } | |
666 HEnvironment* environment() const { | 635 HEnvironment* environment() const { |
667 return current_block()->last_environment(); | 636 return current_block()->last_environment(); |
668 } | 637 } |
669 | 638 |
670 // Adding instructions. | 639 // Adding instructions. |
671 HInstruction* AddInstruction(HInstruction* instr); | 640 HInstruction* AddInstruction(HInstruction* instr); |
672 void AddSimulate(int id); | 641 void AddSimulate(int id); |
673 | 642 |
674 // Bailout environment manipulation. | 643 // Bailout environment manipulation. |
675 void Push(HValue* value) { environment()->Push(value); } | 644 void Push(HValue* value) { environment()->Push(value); } |
(...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
746 HBasicBlock* CreateLoop(IterationStatement* statement, | 715 HBasicBlock* CreateLoop(IterationStatement* statement, |
747 HBasicBlock* loop_entry, | 716 HBasicBlock* loop_entry, |
748 HBasicBlock* body_exit, | 717 HBasicBlock* body_exit, |
749 HBasicBlock* loop_successor, | 718 HBasicBlock* loop_successor, |
750 HBasicBlock* break_block); | 719 HBasicBlock* break_block); |
751 | 720 |
752 HBasicBlock* JoinContinue(IterationStatement* statement, | 721 HBasicBlock* JoinContinue(IterationStatement* statement, |
753 HBasicBlock* exit_block, | 722 HBasicBlock* exit_block, |
754 HBasicBlock* continue_block); | 723 HBasicBlock* continue_block); |
755 | 724 |
756 void AddToSubgraph(HSubgraph* graph, ZoneList<Statement*>* stmts); | |
757 void AddToSubgraph(HSubgraph* graph, Statement* stmt); | |
758 void AddToSubgraph(HSubgraph* graph, Expression* expr); | |
759 | |
760 HValue* Top() const { return environment()->Top(); } | 725 HValue* Top() const { return environment()->Top(); } |
761 void Drop(int n) { environment()->Drop(n); } | 726 void Drop(int n) { environment()->Drop(n); } |
762 void Bind(Variable* var, HValue* value) { environment()->Bind(var, value); } | 727 void Bind(Variable* var, HValue* value) { environment()->Bind(var, value); } |
763 | 728 |
764 void VisitForValue(Expression* expr); | 729 void VisitForValue(Expression* expr); |
765 void VisitForEffect(Expression* expr); | 730 void VisitForEffect(Expression* expr); |
766 void VisitForControl(Expression* expr, | 731 void VisitForControl(Expression* expr, |
767 HBasicBlock* true_block, | 732 HBasicBlock* true_block, |
768 HBasicBlock* false_block); | 733 HBasicBlock* false_block); |
769 | 734 |
(...skipping 131 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
901 FunctionState initial_function_state_; | 866 FunctionState initial_function_state_; |
902 | 867 |
903 // Expression context of the currently visited subexpression. NULL when | 868 // Expression context of the currently visited subexpression. NULL when |
904 // visiting statements. | 869 // visiting statements. |
905 AstContext* ast_context_; | 870 AstContext* ast_context_; |
906 | 871 |
907 // A stack of breakable statements entered. | 872 // A stack of breakable statements entered. |
908 BreakAndContinueScope* break_scope_; | 873 BreakAndContinueScope* break_scope_; |
909 | 874 |
910 HGraph* graph_; | 875 HGraph* graph_; |
911 HSubgraph* current_subgraph_; | 876 HBasicBlock* current_block_; |
912 | 877 |
913 int inlined_count_; | 878 int inlined_count_; |
914 | 879 |
915 friend class FunctionState; // Pushes and pops the state stack. | 880 friend class FunctionState; // Pushes and pops the state stack. |
916 friend class AstContext; // Pushes and pops the AST context stack. | 881 friend class AstContext; // Pushes and pops the AST context stack. |
917 | 882 |
918 DISALLOW_COPY_AND_ASSIGN(HGraphBuilder); | 883 DISALLOW_COPY_AND_ASSIGN(HGraphBuilder); |
919 }; | 884 }; |
920 | 885 |
921 | 886 |
(...skipping 204 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1126 const char* filename_; | 1091 const char* filename_; |
1127 HeapStringAllocator string_allocator_; | 1092 HeapStringAllocator string_allocator_; |
1128 StringStream trace_; | 1093 StringStream trace_; |
1129 int indent_; | 1094 int indent_; |
1130 }; | 1095 }; |
1131 | 1096 |
1132 | 1097 |
1133 } } // namespace v8::internal | 1098 } } // namespace v8::internal |
1134 | 1099 |
1135 #endif // V8_HYDROGEN_H_ | 1100 #endif // V8_HYDROGEN_H_ |
OLD | NEW |