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 #ifndef V8_COMPILER_LOOP_ANALYSIS_H_ | 5 #ifndef V8_COMPILER_LOOP_ANALYSIS_H_ |
6 #define V8_COMPILER_LOOP_ANALYSIS_H_ | 6 #define V8_COMPILER_LOOP_ANALYSIS_H_ |
7 | 7 |
8 #include "src/base/iterator.h" | 8 #include "src/base/iterator.h" |
9 #include "src/compiler/graph.h" | 9 #include "src/compiler/graph.h" |
10 #include "src/compiler/node.h" | 10 #include "src/compiler/node.h" |
11 #include "src/zone-containers.h" | 11 #include "src/zone-containers.h" |
12 | 12 |
13 namespace v8 { | 13 namespace v8 { |
14 namespace internal { | 14 namespace internal { |
15 namespace compiler { | 15 namespace compiler { |
16 | 16 |
17 class LoopFinderImpl; | 17 class LoopFinderImpl; |
18 | 18 |
19 typedef base::iterator_range<Node**> NodeRange; | 19 typedef base::iterator_range<Node**> NodeRange; |
20 | 20 |
21 // Represents a tree of loops in a graph. | 21 // Represents a tree of loops in a graph. |
22 class LoopTree : public ZoneObject { | 22 class LoopTree : public ZoneObject { |
23 public: | 23 public: |
24 LoopTree(size_t num_nodes, Zone* zone) | 24 LoopTree(size_t num_nodes, Zone* zone) |
25 : zone_(zone), | 25 : zone_(zone), |
26 outer_loops_(zone), | 26 outer_loops_(zone), |
27 all_loops_(zone), | 27 all_loops_(zone), |
28 node_to_loop_num_(static_cast<int>(num_nodes), 0, zone), | 28 node_to_loop_num_(static_cast<int>(num_nodes), -1, zone), |
29 loop_nodes_(zone) {} | 29 loop_nodes_(zone) {} |
30 | 30 |
31 // Represents a loop in the tree of loops, including the header nodes, | 31 // Represents a loop in the tree of loops, including the header nodes, |
32 // the body, and any nested loops. | 32 // the body, and any nested loops. |
33 class Loop { | 33 class Loop { |
34 public: | 34 public: |
35 Loop* parent() const { return parent_; } | 35 Loop* parent() const { return parent_; } |
36 const ZoneVector<Loop*>& children() const { return children_; } | 36 const ZoneVector<Loop*>& children() const { return children_; } |
37 size_t HeaderSize() const { return body_start_ - header_start_; } | 37 size_t HeaderSize() const { return body_start_ - header_start_; } |
38 size_t BodySize() const { return body_end_ - body_start_; } | 38 size_t BodySize() const { return body_end_ - body_start_; } |
(...skipping 15 matching lines...) Expand all Loading... |
54 ZoneVector<Loop*> children_; | 54 ZoneVector<Loop*> children_; |
55 int header_start_; | 55 int header_start_; |
56 int body_start_; | 56 int body_start_; |
57 int body_end_; | 57 int body_end_; |
58 }; | 58 }; |
59 | 59 |
60 // Return the innermost nested loop, if any, that contains {node}. | 60 // Return the innermost nested loop, if any, that contains {node}. |
61 Loop* ContainingLoop(Node* node) { | 61 Loop* ContainingLoop(Node* node) { |
62 if (node->id() >= static_cast<int>(node_to_loop_num_.size())) | 62 if (node->id() >= static_cast<int>(node_to_loop_num_.size())) |
63 return nullptr; | 63 return nullptr; |
64 uint8_t num = node_to_loop_num_[node->id()]; | 64 int num = node_to_loop_num_[node->id()]; |
65 return num > 0 ? &all_loops_[num - 1] : nullptr; | 65 return num > 0 ? &all_loops_[num - 1] : nullptr; |
66 } | 66 } |
67 | 67 |
68 // Check if the {loop} contains the {node}, either directly or by containing | 68 // Check if the {loop} contains the {node}, either directly or by containing |
69 // a nested loop that contains {node}. | 69 // a nested loop that contains {node}. |
70 bool Contains(Loop* loop, Node* node) { | 70 bool Contains(Loop* loop, Node* node) { |
71 for (Loop* c = ContainingLoop(node); c != nullptr; c = c->parent_) { | 71 for (Loop* c = ContainingLoop(node); c != nullptr; c = c->parent_) { |
72 if (c == loop) return true; | 72 if (c == loop) return true; |
73 } | 73 } |
74 return false; | 74 return false; |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
109 child->parent_ = parent; | 109 child->parent_ = parent; |
110 child->depth_ = parent->depth_ + 1; | 110 child->depth_ = parent->depth_ + 1; |
111 } else { | 111 } else { |
112 outer_loops_.push_back(child); | 112 outer_loops_.push_back(child); |
113 } | 113 } |
114 } | 114 } |
115 | 115 |
116 Zone* zone_; | 116 Zone* zone_; |
117 ZoneVector<Loop*> outer_loops_; | 117 ZoneVector<Loop*> outer_loops_; |
118 ZoneVector<Loop> all_loops_; | 118 ZoneVector<Loop> all_loops_; |
119 // TODO(titzer): lift loop count restriction. | 119 ZoneVector<int> node_to_loop_num_; |
120 ZoneVector<uint8_t> node_to_loop_num_; | |
121 ZoneVector<Node*> loop_nodes_; | 120 ZoneVector<Node*> loop_nodes_; |
122 }; | 121 }; |
123 | 122 |
124 | 123 |
125 class LoopFinder { | 124 class LoopFinder { |
126 public: | 125 public: |
127 // Build a loop tree for the entire graph. | 126 // Build a loop tree for the entire graph. |
128 static LoopTree* BuildLoopTree(Graph* graph, Zone* temp_zone); | 127 static LoopTree* BuildLoopTree(Graph* graph, Zone* temp_zone); |
129 }; | 128 }; |
130 | 129 |
131 } // namespace compiler | 130 } // namespace compiler |
132 } // namespace internal | 131 } // namespace internal |
133 } // namespace v8 | 132 } // namespace v8 |
134 | 133 |
135 #endif // V8_COMPILER_LOOP_ANALYSIS_H_ | 134 #endif // V8_COMPILER_LOOP_ANALYSIS_H_ |
OLD | NEW |