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/graph-reducer.h" | 5 #include "src/compiler/graph-reducer.h" |
6 | 6 |
7 #include <functional> | 7 #include <functional> |
8 | 8 |
9 #include "src/compiler/graph-inl.h" | 9 #include "src/compiler/graph-inl.h" |
10 | 10 |
11 namespace v8 { | 11 namespace v8 { |
12 namespace internal { | 12 namespace internal { |
13 namespace compiler { | 13 namespace compiler { |
14 | 14 |
15 enum class GraphReducer::State : uint8_t { | 15 enum class GraphReducer::State : uint8_t { |
16 kUnvisited, | 16 kUnvisited, |
17 kRevisit, | 17 kRevisit, |
18 kOnStack, | 18 kOnStack, |
19 kVisited | 19 kVisited |
20 }; | 20 }; |
21 | 21 |
22 | 22 |
23 GraphReducer::GraphReducer(Graph* graph, Zone* zone) | 23 GraphReducer::GraphReducer(Graph* graph, Zone* zone) |
24 : graph_(graph), | 24 : graph_(graph), |
| 25 state_(graph, 4), |
25 reducers_(zone), | 26 reducers_(zone), |
26 revisit_(zone), | 27 revisit_(zone), |
27 stack_(zone), | 28 stack_(zone) {} |
28 state_(zone) {} | |
29 | 29 |
30 | 30 |
31 void GraphReducer::AddReducer(Reducer* reducer) { | 31 void GraphReducer::AddReducer(Reducer* reducer) { |
32 reducers_.push_back(reducer); | 32 reducers_.push_back(reducer); |
33 } | 33 } |
34 | 34 |
35 | 35 |
36 void GraphReducer::ReduceNode(Node* node) { | 36 void GraphReducer::ReduceNode(Node* node) { |
37 DCHECK(stack_.empty()); | 37 DCHECK(stack_.empty()); |
38 DCHECK(revisit_.empty()); | 38 DCHECK(revisit_.empty()); |
39 std::fill(state_.begin(), state_.end(), State::kUnvisited); | |
40 Push(node); | 39 Push(node); |
41 for (;;) { | 40 for (;;) { |
42 DCHECK(!stack_.empty() || | |
43 std::find(state_.begin(), state_.end(), State::kOnStack) == | |
44 state_.end()); | |
45 if (!stack_.empty()) { | 41 if (!stack_.empty()) { |
46 // Process the node on the top of the stack, potentially pushing more or | 42 // Process the node on the top of the stack, potentially pushing more or |
47 // popping the node off the stack. | 43 // popping the node off the stack. |
48 ReduceTop(); | 44 ReduceTop(); |
49 } else if (!revisit_.empty()) { | 45 } else if (!revisit_.empty()) { |
50 // If the stack becomes empty, revisit any nodes in the revisit queue. | 46 // If the stack becomes empty, revisit any nodes in the revisit queue. |
51 Node* const node = revisit_.top(); | 47 Node* const node = revisit_.top(); |
52 revisit_.pop(); | 48 revisit_.pop(); |
53 if (state_[node->id()] == State::kRevisit) { | 49 if (state_.Get(node) == State::kRevisit) { |
54 // state can change while in queue. | 50 // state can change while in queue. |
55 Push(node); | 51 Push(node); |
56 } | 52 } |
57 } else { | 53 } else { |
58 break; | 54 break; |
59 } | 55 } |
60 } | 56 } |
61 DCHECK(std::find(state_.begin(), state_.end(), State::kOnStack) == | |
62 state_.end()); | |
63 DCHECK(revisit_.empty()); | 57 DCHECK(revisit_.empty()); |
64 DCHECK(stack_.empty()); | 58 DCHECK(stack_.empty()); |
65 } | 59 } |
66 | 60 |
67 | 61 |
68 void GraphReducer::ReduceGraph() { ReduceNode(graph()->end()); } | 62 void GraphReducer::ReduceGraph() { ReduceNode(graph()->end()); } |
69 | 63 |
70 | 64 |
71 Reduction GraphReducer::Reduce(Node* const node) { | 65 Reduction GraphReducer::Reduce(Node* const node) { |
72 auto skip = reducers_.end(); | 66 auto skip = reducers_.end(); |
(...skipping 21 matching lines...) Expand all Loading... |
94 return Reducer::NoChange(); | 88 return Reducer::NoChange(); |
95 } | 89 } |
96 // At least one reducer did some in-place reduction. | 90 // At least one reducer did some in-place reduction. |
97 return Reducer::Changed(node); | 91 return Reducer::Changed(node); |
98 } | 92 } |
99 | 93 |
100 | 94 |
101 void GraphReducer::ReduceTop() { | 95 void GraphReducer::ReduceTop() { |
102 NodeState& entry = stack_.top(); | 96 NodeState& entry = stack_.top(); |
103 Node* node = entry.node; | 97 Node* node = entry.node; |
104 DCHECK(state_[node->id()] == State::kOnStack); | 98 DCHECK(state_.Get(node) == State::kOnStack); |
105 | 99 |
106 if (node->IsDead()) return Pop(); // Node was killed while on stack. | 100 if (node->IsDead()) return Pop(); // Node was killed while on stack. |
107 | 101 |
108 // Recurse on an input if necessary. | 102 // Recurse on an input if necessary. |
109 int start = entry.input_index < node->InputCount() ? entry.input_index : 0; | 103 int start = entry.input_index < node->InputCount() ? entry.input_index : 0; |
110 for (int i = start; i < node->InputCount(); i++) { | 104 for (int i = start; i < node->InputCount(); i++) { |
111 Node* input = node->InputAt(i); | 105 Node* input = node->InputAt(i); |
112 entry.input_index = i + 1; | 106 entry.input_index = i + 1; |
113 if (input != node && Recurse(input)) return; | 107 if (input != node && Recurse(input)) return; |
114 } | 108 } |
(...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
157 | 151 |
158 // If there was a replacement, reduce it after popping {node}. | 152 // If there was a replacement, reduce it after popping {node}. |
159 Recurse(replacement); | 153 Recurse(replacement); |
160 } | 154 } |
161 } | 155 } |
162 } | 156 } |
163 } | 157 } |
164 | 158 |
165 | 159 |
166 void GraphReducer::Pop() { | 160 void GraphReducer::Pop() { |
167 Node* const node = stack_.top().node; | 161 Node* node = stack_.top().node; |
168 state_[node->id()] = State::kVisited; | 162 state_.Set(node, State::kVisited); |
169 stack_.pop(); | 163 stack_.pop(); |
170 } | 164 } |
171 | 165 |
172 | 166 |
173 void GraphReducer::Push(Node* const node) { | 167 void GraphReducer::Push(Node* const node) { |
174 size_t const id = static_cast<size_t>(node->id()); | 168 DCHECK(state_.Get(node) != State::kOnStack); |
175 if (id >= state_.size()) state_.resize(id + 1); | 169 state_.Set(node, State::kOnStack); |
176 DCHECK(id < state_.size()); | |
177 DCHECK(state_[id] != State::kOnStack); | |
178 state_[id] = State::kOnStack; | |
179 stack_.push({node, 0}); | 170 stack_.push({node, 0}); |
180 } | 171 } |
181 | 172 |
182 | 173 |
183 bool GraphReducer::Recurse(Node* const node) { | 174 bool GraphReducer::Recurse(Node* node) { |
184 size_t const id = static_cast<size_t>(node->id()); | 175 if (state_.Get(node) > State::kRevisit) return false; |
185 if (id < state_.size() && state_[id] > State::kRevisit) return false; | |
186 Push(node); | 176 Push(node); |
187 return true; | 177 return true; |
188 } | 178 } |
189 | 179 |
190 | 180 |
191 void GraphReducer::Revisit(Node* const node) { | 181 void GraphReducer::Revisit(Node* node) { |
192 size_t const id = static_cast<size_t>(node->id()); | 182 if (state_.Get(node) == State::kVisited) { |
193 if (id < state_.size() && state_[id] == State::kVisited) { | 183 state_.Set(node, State::kRevisit); |
194 state_[id] = State::kRevisit; | |
195 revisit_.push(node); | 184 revisit_.push(node); |
196 } | 185 } |
197 } | 186 } |
198 | 187 |
199 } // namespace compiler | 188 } // namespace compiler |
200 } // namespace internal | 189 } // namespace internal |
201 } // namespace v8 | 190 } // namespace v8 |
OLD | NEW |