OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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_NODE_H_ | 5 #ifndef V8_COMPILER_NODE_H_ |
6 #define V8_COMPILER_NODE_H_ | 6 #define V8_COMPILER_NODE_H_ |
7 | 7 |
8 #include <deque> | |
9 #include <vector> | |
10 | |
11 #include "src/compiler/opcodes.h" | 8 #include "src/compiler/opcodes.h" |
12 #include "src/compiler/operator.h" | 9 #include "src/compiler/operator.h" |
13 #include "src/types-inl.h" | 10 #include "src/types-inl.h" |
14 #include "src/zone.h" | |
15 #include "src/zone-allocator.h" | |
16 #include "src/zone-containers.h" | 11 #include "src/zone-containers.h" |
17 | 12 |
18 namespace v8 { | 13 namespace v8 { |
19 namespace internal { | 14 namespace internal { |
20 namespace compiler { | 15 namespace compiler { |
21 | 16 |
22 // Forward declarations. | 17 // Forward declarations. |
23 class Edge; | 18 class Edge; |
24 class Graph; | 19 class Graph; |
25 | 20 |
(...skipping 13 matching lines...) Expand all Loading... |
39 // input/use chains but by default otherwise contain only an identifying number | 34 // input/use chains but by default otherwise contain only an identifying number |
40 // which specific applications of graphs and nodes can use to index auxiliary | 35 // which specific applications of graphs and nodes can use to index auxiliary |
41 // out-of-line data, especially transient data. | 36 // out-of-line data, especially transient data. |
42 // | 37 // |
43 // In addition Nodes only contain a mutable Operator that may change during | 38 // In addition Nodes only contain a mutable Operator that may change during |
44 // compilation, e.g. during lowering passes. Other information that needs to be | 39 // compilation, e.g. during lowering passes. Other information that needs to be |
45 // associated with Nodes during compilation must be stored out-of-line indexed | 40 // associated with Nodes during compilation must be stored out-of-line indexed |
46 // by the Node's id. | 41 // by the Node's id. |
47 class Node FINAL { | 42 class Node FINAL { |
48 public: | 43 public: |
49 bool IsDead() const { return InputCount() > 0 && InputAt(0) == NULL; } | 44 static Node* New(Zone* zone, NodeId id, const Operator* op, int input_count, |
| 45 Node** inputs, bool has_extensible_inputs); |
| 46 |
| 47 bool IsDead() const { return InputCount() > 0 && !InputAt(0); } |
50 void Kill(); | 48 void Kill(); |
51 | 49 |
52 void CollectProjections(ZoneVector<Node*>* projections); | |
53 Node* FindProjection(size_t projection_index); | |
54 | |
55 const Operator* op() const { return op_; } | 50 const Operator* op() const { return op_; } |
56 void set_op(const Operator* op) { op_ = op; } | 51 void set_op(const Operator* op) { op_ = op; } |
57 | 52 |
58 IrOpcode::Value opcode() const { | 53 IrOpcode::Value opcode() const { |
59 DCHECK(op_->opcode() <= IrOpcode::kLast); | 54 DCHECK(op_->opcode() <= IrOpcode::kLast); |
60 return static_cast<IrOpcode::Value>(op_->opcode()); | 55 return static_cast<IrOpcode::Value>(op_->opcode()); |
61 } | 56 } |
62 | 57 |
63 NodeId id() const { return id_; } | 58 NodeId id() const { return id_; } |
64 | 59 |
65 int InputCount() const { return input_count(); } | 60 int InputCount() const { return input_count(); } |
66 Node* InputAt(int index) const { return GetInputRecordPtr(index)->to; } | 61 Node* InputAt(int index) const { return GetInputRecordPtr(index)->to; } |
67 inline void ReplaceInput(int index, Node* new_input); | 62 inline void ReplaceInput(int index, Node* new_to); |
68 inline void AppendInput(Zone* zone, Node* new_input); | 63 void AppendInput(Zone* zone, Node* new_to); |
69 inline void InsertInput(Zone* zone, int index, Node* new_input); | 64 void InsertInput(Zone* zone, int index, Node* new_to); |
70 inline void RemoveInput(int index); | 65 void RemoveInput(int index); |
| 66 void RemoveAllInputs(); |
| 67 void TrimInputCount(int new_input_count); |
71 | 68 |
72 int UseCount() const; | 69 int UseCount() const; |
73 Node* UseAt(int index) const; | 70 Node* UseAt(int index) const; |
74 inline void ReplaceUses(Node* replace_to); | 71 void ReplaceUses(Node* replace_to); |
75 template <class UnaryPredicate> | |
76 inline void ReplaceUsesIf(UnaryPredicate pred, Node* replace_to); | |
77 inline void RemoveAllInputs(); | |
78 | 72 |
79 inline void TrimInputCount(int input_count); | 73 class InputEdges FINAL { |
| 74 public: |
| 75 typedef Edge value_type; |
80 | 76 |
81 class InputEdges { | |
82 public: | |
83 class iterator; | 77 class iterator; |
84 iterator begin() const; | 78 inline iterator begin() const; |
85 iterator end() const; | 79 inline iterator end() const; |
| 80 |
86 bool empty() const; | 81 bool empty() const; |
87 | 82 |
88 explicit InputEdges(Node* node) : node_(node) {} | 83 explicit InputEdges(Node* node) : node_(node) {} |
89 | 84 |
90 private: | 85 private: |
91 Node* node_; | 86 Node* node_; |
92 }; | 87 }; |
93 | 88 |
94 class Inputs { | 89 InputEdges input_edges() { return InputEdges(this); } |
| 90 |
| 91 class Inputs FINAL { |
95 public: | 92 public: |
96 class iterator; | 93 typedef Node* value_type; |
97 iterator begin() const; | 94 |
98 iterator end() const; | 95 class const_iterator; |
| 96 inline const_iterator begin() const; |
| 97 inline const_iterator end() const; |
| 98 |
99 bool empty() const; | 99 bool empty() const; |
100 | 100 |
101 explicit Inputs(Node* node) : node_(node) {} | 101 explicit Inputs(Node* node) : node_(node) {} |
102 | 102 |
103 private: | 103 private: |
104 Node* node_; | 104 Node* node_; |
105 }; | 105 }; |
106 | 106 |
107 Inputs inputs() { return Inputs(this); } | 107 Inputs inputs() { return Inputs(this); } |
108 InputEdges input_edges() { return InputEdges(this); } | |
109 | 108 |
110 class UseEdges { | 109 class UseEdges FINAL { |
111 public: | 110 public: |
| 111 typedef Edge value_type; |
| 112 |
112 class iterator; | 113 class iterator; |
113 iterator begin() const; | 114 inline iterator begin() const; |
114 iterator end() const; | 115 inline iterator end() const; |
| 116 |
115 bool empty() const; | 117 bool empty() const; |
116 | 118 |
117 explicit UseEdges(Node* node) : node_(node) {} | 119 explicit UseEdges(Node* node) : node_(node) {} |
118 | 120 |
119 private: | 121 private: |
120 Node* node_; | 122 Node* node_; |
121 }; | 123 }; |
122 | 124 |
123 class Uses { | 125 UseEdges use_edges() { return UseEdges(this); } |
| 126 |
| 127 class Uses FINAL { |
124 public: | 128 public: |
125 class iterator; | 129 typedef Node* value_type; |
126 iterator begin() const; | 130 |
127 iterator end() const; | 131 class const_iterator; |
| 132 inline const_iterator begin() const; |
| 133 inline const_iterator end() const; |
| 134 |
128 bool empty() const; | 135 bool empty() const; |
129 | 136 |
130 explicit Uses(Node* node) : node_(node) {} | 137 explicit Uses(Node* node) : node_(node) {} |
131 | 138 |
132 private: | 139 private: |
133 Node* node_; | 140 Node* node_; |
134 }; | 141 }; |
135 | 142 |
136 Uses uses() { return Uses(this); } | 143 Uses uses() { return Uses(this); } |
137 UseEdges use_edges() { return UseEdges(this); } | |
138 | 144 |
139 bool OwnedBy(Node* owner) const; | 145 // Returns true if {owner} is the user of {this} node. |
| 146 bool OwnedBy(Node* owner) const { |
| 147 return first_use_ && first_use_->from == owner && !first_use_->next; |
| 148 } |
140 | 149 |
141 static Node* New(Zone* zone, NodeId id, const Operator* op, int input_count, | 150 private: |
142 Node** inputs, bool has_extensible_inputs); | 151 struct Use FINAL : public ZoneObject { |
143 | |
144 protected: | |
145 friend class Graph; | |
146 friend class Edge; | |
147 | |
148 class Use : public ZoneObject { | |
149 public: | |
150 Node* from; | 152 Node* from; |
151 Use* next; | 153 Use* next; |
152 Use* prev; | 154 Use* prev; |
153 int input_index; | 155 int input_index; |
154 }; | 156 }; |
155 | 157 |
156 class Input { | 158 class Input FINAL { |
157 public: | 159 public: |
158 Node* to; | 160 Node* to; |
159 Use* use; | 161 Use* use; |
160 | 162 |
161 void Update(Node* new_to); | 163 void Update(Node* new_to); |
162 }; | 164 }; |
163 | 165 |
164 void EnsureAppendableInputs(Zone* zone); | 166 inline Node(NodeId id, const Operator* op, int input_count, |
| 167 int reserve_input_count); |
| 168 |
| 169 inline void EnsureAppendableInputs(Zone* zone); |
165 | 170 |
166 Input* GetInputRecordPtr(int index) const { | 171 Input* GetInputRecordPtr(int index) const { |
167 if (has_appendable_inputs()) { | 172 if (has_appendable_inputs()) { |
168 return &((*inputs_.appendable_)[index]); | 173 return &((*inputs_.appendable_)[index]); |
169 } else { | 174 } else { |
170 return &inputs_.static_[index]; | 175 return &inputs_.static_[index]; |
171 } | 176 } |
172 } | 177 } |
173 | 178 |
174 inline void AppendUse(Use* use); | 179 inline void AppendUse(Use* const use); |
175 inline void RemoveUse(Use* use); | 180 inline void RemoveUse(Use* const use); |
176 | 181 |
177 void* operator new(size_t, void* location) { return location; } | 182 void* operator new(size_t, void* location) { return location; } |
178 | 183 |
179 private: | |
180 inline Node(NodeId id, const Operator* op, int input_count, | |
181 int reserve_input_count); | |
182 | |
183 typedef ZoneDeque<Input> InputDeque; | 184 typedef ZoneDeque<Input> InputDeque; |
184 | 185 |
185 friend class NodeMarkerBase; | |
186 friend class NodeProperties; | |
187 | |
188 // Only NodeProperties should manipulate the bounds. | 186 // Only NodeProperties should manipulate the bounds. |
189 Bounds bounds() { return bounds_; } | 187 Bounds bounds() { return bounds_; } |
190 void set_bounds(Bounds b) { bounds_ = b; } | 188 void set_bounds(Bounds b) { bounds_ = b; } |
191 | 189 |
192 // Only NodeMarkers should manipulate the marks on nodes. | 190 // Only NodeMarkers should manipulate the marks on nodes. |
193 Mark mark() { return mark_; } | 191 Mark mark() { return mark_; } |
194 void set_mark(Mark mark) { mark_ = mark; } | 192 void set_mark(Mark mark) { mark_ = mark; } |
195 | 193 |
196 int input_count() const { return InputCountField::decode(bit_field_); } | 194 int input_count() const { return InputCountField::decode(bit_field_); } |
197 void set_input_count(int input_count) { | 195 void set_input_count(int input_count) { |
(...skipping 19 matching lines...) Expand all Loading... |
217 } | 215 } |
218 | 216 |
219 typedef BitField<unsigned, 0, 29> InputCountField; | 217 typedef BitField<unsigned, 0, 29> InputCountField; |
220 typedef BitField<unsigned, 29, 2> ReservedInputCountField; | 218 typedef BitField<unsigned, 29, 2> ReservedInputCountField; |
221 typedef BitField<unsigned, 31, 1> HasAppendableInputsField; | 219 typedef BitField<unsigned, 31, 1> HasAppendableInputsField; |
222 static const int kDefaultReservedInputs = ReservedInputCountField::kMax; | 220 static const int kDefaultReservedInputs = ReservedInputCountField::kMax; |
223 | 221 |
224 const Operator* op_; | 222 const Operator* op_; |
225 Bounds bounds_; | 223 Bounds bounds_; |
226 Mark mark_; | 224 Mark mark_; |
227 NodeId id_; | 225 NodeId const id_; |
228 unsigned bit_field_; | 226 unsigned bit_field_; |
229 union { | 227 union { |
230 // When a node is initially allocated, it uses a static buffer to hold its | 228 // When a node is initially allocated, it uses a static buffer to hold its |
231 // inputs under the assumption that the number of outputs will not increase. | 229 // inputs under the assumption that the number of outputs will not increase. |
232 // When the first input is appended, the static buffer is converted into a | 230 // When the first input is appended, the static buffer is converted into a |
233 // deque to allow for space-efficient growing. | 231 // deque to allow for space-efficient growing. |
234 Input* static_; | 232 Input* static_; |
235 InputDeque* appendable_; | 233 InputDeque* appendable_; |
236 } inputs_; | 234 } inputs_; |
237 Use* first_use_; | 235 Use* first_use_; |
238 Use* last_use_; | 236 Use* last_use_; |
239 | 237 |
| 238 friend class Edge; |
| 239 friend class NodeMarkerBase; |
| 240 friend class NodeProperties; |
| 241 |
240 DISALLOW_COPY_AND_ASSIGN(Node); | 242 DISALLOW_COPY_AND_ASSIGN(Node); |
241 }; | 243 }; |
242 | 244 |
243 | 245 |
| 246 std::ostream& operator<<(std::ostream& os, const Node& n); |
| 247 |
| 248 |
| 249 // Typedefs to shorten commonly used Node containers. |
| 250 typedef ZoneDeque<Node*> NodeDeque; |
| 251 typedef ZoneVector<Node*> NodeVector; |
| 252 typedef ZoneVector<NodeVector> NodeVectorVector; |
| 253 |
| 254 |
| 255 // Helper to extract parameters from Operator1<*> nodes. |
| 256 template <typename T> |
| 257 static inline const T& OpParameter(const Node* node) { |
| 258 return OpParameter<T>(node->op()); |
| 259 } |
| 260 |
| 261 |
244 // An encapsulation for information associated with a single use of node as a | 262 // An encapsulation for information associated with a single use of node as a |
245 // input from another node, allowing access to both the defining node and | 263 // input from another node, allowing access to both the defining node and |
246 // the node having the input. | 264 // the node having the input. |
247 class Edge { | 265 class Edge FINAL { |
248 public: | 266 public: |
249 Node* from() const { return input_->use->from; } | 267 Node* from() const { return input_->use->from; } |
250 Node* to() const { return input_->to; } | 268 Node* to() const { return input_->to; } |
251 int index() const { | 269 int index() const { |
252 int index = input_->use->input_index; | 270 int const index = input_->use->input_index; |
253 DCHECK(index < input_->use->from->input_count()); | 271 DCHECK_LT(index, input_->use->from->input_count()); |
254 return index; | 272 return index; |
255 } | 273 } |
256 | 274 |
257 bool operator==(const Edge& other) { return input_ == other.input_; } | 275 bool operator==(const Edge& other) { return input_ == other.input_; } |
258 bool operator!=(const Edge& other) { return !(*this == other); } | 276 bool operator!=(const Edge& other) { return !(*this == other); } |
259 | 277 |
260 void UpdateTo(Node* new_to) { input_->Update(new_to); } | 278 void UpdateTo(Node* new_to) { input_->Update(new_to); } |
261 | 279 |
262 private: | 280 private: |
263 friend class Node::Uses::iterator; | |
264 friend class Node::Inputs::iterator; | |
265 friend class Node::UseEdges::iterator; | 281 friend class Node::UseEdges::iterator; |
266 friend class Node::InputEdges::iterator; | 282 friend class Node::InputEdges::iterator; |
267 | 283 |
268 explicit Edge(Node::Input* input) : input_(input) {} | 284 explicit Edge(Node::Input* input) : input_(input) { DCHECK_NOT_NULL(input); } |
269 | 285 |
270 Node::Input* input_; | 286 Node::Input* const input_; |
271 }; | 287 }; |
272 | 288 |
273 | 289 |
274 // A forward iterator to visit the edges for the input dependencies of a node.. | 290 // A forward iterator to visit the edges for the input dependencies of a node. |
275 class Node::InputEdges::iterator { | 291 class Node::InputEdges::iterator FINAL { |
276 public: | 292 public: |
277 typedef std::forward_iterator_tag iterator_category; | 293 typedef std::forward_iterator_tag iterator_category; |
278 typedef int difference_type; | 294 typedef int difference_type; |
279 typedef Edge value_type; | 295 typedef Edge value_type; |
280 typedef Edge* pointer; | 296 typedef Edge* pointer; |
281 typedef Edge& reference; | 297 typedef Edge& reference; |
282 iterator(const Node::InputEdges::iterator& other) // NOLINT | 298 |
283 : input_(other.input_) {} | 299 iterator() : input_(nullptr) {} |
284 iterator() : input_(NULL) {} | 300 iterator(const iterator& other) : input_(other.input_) {} |
285 | 301 |
286 Edge operator*() const { return Edge(input_); } | 302 Edge operator*() const { return Edge(input_); } |
287 bool operator==(const iterator& other) const { return Equals(other); } | 303 bool operator==(const iterator& other) const { |
288 bool operator!=(const iterator& other) const { return !Equals(other); } | 304 return input_ == other.input_; |
| 305 } |
| 306 bool operator!=(const iterator& other) const { return !(*this == other); } |
289 iterator& operator++() { | 307 iterator& operator++() { |
290 DCHECK(input_ != NULL); | 308 SetInput(Edge(input_).from(), input_->use->input_index + 1); |
291 Edge edge(input_); | |
292 Node* from = edge.from(); | |
293 SetInput(from, input_->use->input_index + 1); | |
294 return *this; | 309 return *this; |
295 } | 310 } |
296 iterator operator++(int) { | 311 iterator operator++(int); |
297 iterator result(*this); | |
298 ++(*this); | |
299 return result; | |
300 } | |
301 | 312 |
302 private: | 313 private: |
303 friend class Node; | 314 friend class Node; |
304 | 315 |
305 explicit iterator(Node* from, int index = 0) : input_(NULL) { | 316 explicit iterator(Node* from, int index = 0) : input_(nullptr) { |
306 SetInput(from, index); | 317 SetInput(from, index); |
307 } | 318 } |
308 | 319 |
309 bool Equals(const iterator& other) const { return other.input_ == input_; } | |
310 void SetInput(Node* from, int index) { | 320 void SetInput(Node* from, int index) { |
311 DCHECK(index >= 0 && index <= from->InputCount()); | 321 DCHECK(index >= 0 && index <= from->InputCount()); |
312 if (index < from->InputCount()) { | 322 if (index < from->InputCount()) { |
313 input_ = from->GetInputRecordPtr(index); | 323 input_ = from->GetInputRecordPtr(index); |
314 } else { | 324 } else { |
315 input_ = NULL; | 325 input_ = nullptr; |
316 } | 326 } |
317 } | 327 } |
318 | 328 |
319 Input* input_; | 329 Input* input_; |
320 }; | 330 }; |
321 | 331 |
322 | 332 |
| 333 Node::InputEdges::iterator Node::InputEdges::begin() const { |
| 334 return Node::InputEdges::iterator(this->node_, 0); |
| 335 } |
| 336 |
| 337 |
| 338 Node::InputEdges::iterator Node::InputEdges::end() const { |
| 339 return Node::InputEdges::iterator(this->node_, this->node_->InputCount()); |
| 340 } |
| 341 |
| 342 |
323 // A forward iterator to visit the inputs of a node. | 343 // A forward iterator to visit the inputs of a node. |
324 class Node::Inputs::iterator { | 344 class Node::Inputs::const_iterator FINAL { |
325 public: | 345 public: |
326 typedef std::forward_iterator_tag iterator_category; | 346 typedef std::forward_iterator_tag iterator_category; |
327 typedef int difference_type; | 347 typedef int difference_type; |
328 typedef Node* value_type; | 348 typedef Node* value_type; |
329 typedef Node** pointer; | 349 typedef Node** pointer; |
330 typedef Node*& reference; | 350 typedef Node*& reference; |
331 | 351 |
332 iterator(const Node::Inputs::iterator& other) // NOLINT | 352 const_iterator(const const_iterator& other) : iter_(other.iter_) {} |
333 : iter_(other.iter_) {} | |
334 | 353 |
335 Node* operator*() const { return (*iter_).to(); } | 354 Node* operator*() const { return (*iter_).to(); } |
336 bool operator==(const iterator& other) const { return Equals(other); } | 355 bool operator==(const const_iterator& other) const { |
337 bool operator!=(const iterator& other) const { return !Equals(other); } | 356 return iter_ == other.iter_; |
338 iterator& operator++() { | 357 } |
| 358 bool operator!=(const const_iterator& other) const { |
| 359 return !(*this == other); |
| 360 } |
| 361 const_iterator& operator++() { |
339 ++iter_; | 362 ++iter_; |
340 return *this; | 363 return *this; |
341 } | 364 } |
342 iterator operator++(int) { | 365 const_iterator operator++(int); |
343 iterator result(*this); | |
344 ++(*this); | |
345 return result; | |
346 } | |
347 | |
348 | 366 |
349 private: | 367 private: |
350 friend class Node::Inputs; | 368 friend class Node::Inputs; |
351 | 369 |
352 explicit iterator(Node* node, int index) : iter_(node, index) {} | 370 const_iterator(Node* node, int index) : iter_(node, index) {} |
353 | |
354 bool Equals(const iterator& other) const { return other.iter_ == iter_; } | |
355 | 371 |
356 Node::InputEdges::iterator iter_; | 372 Node::InputEdges::iterator iter_; |
357 }; | 373 }; |
358 | 374 |
| 375 |
| 376 Node::Inputs::const_iterator Node::Inputs::begin() const { |
| 377 return const_iterator(this->node_, 0); |
| 378 } |
| 379 |
| 380 |
| 381 Node::Inputs::const_iterator Node::Inputs::end() const { |
| 382 return const_iterator(this->node_, this->node_->InputCount()); |
| 383 } |
| 384 |
| 385 |
359 // A forward iterator to visit the uses edges of a node. The edges are returned | 386 // A forward iterator to visit the uses edges of a node. The edges are returned |
360 // in | 387 // in |
361 // the order in which they were added as inputs. | 388 // the order in which they were added as inputs. |
362 class Node::UseEdges::iterator { | 389 class Node::UseEdges::iterator FINAL { |
363 public: | 390 public: |
364 iterator(const Node::UseEdges::iterator& other) // NOLINT | 391 iterator(const iterator& other) |
365 : current_(other.current_), | 392 : current_(other.current_), next_(other.next_) {} |
366 next_(other.next_) {} | |
367 | 393 |
368 Edge operator*() const { return Edge(CurrentInput()); } | 394 Edge operator*() const { |
| 395 return Edge(current_->from->GetInputRecordPtr(current_->input_index)); |
| 396 } |
369 | 397 |
370 bool operator==(const iterator& other) { return Equals(other); } | 398 bool operator==(const iterator& other) const { |
371 bool operator!=(const iterator& other) { return !Equals(other); } | 399 return current_ == other.current_; |
| 400 } |
| 401 bool operator!=(const iterator& other) const { return !(*this == other); } |
372 iterator& operator++() { | 402 iterator& operator++() { |
373 DCHECK(current_ != NULL); | 403 DCHECK_NOT_NULL(current_); |
374 current_ = next_; | 404 current_ = next_; |
375 next_ = (current_ == NULL) ? NULL : current_->next; | 405 next_ = current_ ? current_->next : nullptr; |
376 return *this; | 406 return *this; |
377 } | 407 } |
378 iterator operator++(int) { | 408 iterator operator++(int); |
379 iterator result(*this); | |
380 ++(*this); | |
381 return result; | |
382 } | |
383 | 409 |
384 private: | 410 private: |
385 friend class Node::UseEdges; | 411 friend class Node::UseEdges; |
386 | 412 |
387 iterator() : current_(NULL), next_(NULL) {} | 413 iterator() : current_(nullptr), next_(nullptr) {} |
388 explicit iterator(Node* node) | 414 explicit iterator(Node* node) |
389 : current_(node->first_use_), | 415 : current_(node->first_use_), |
390 next_(current_ == NULL ? NULL : current_->next) {} | 416 next_(current_ ? current_->next : nullptr) {} |
391 | |
392 bool Equals(const iterator& other) const { | |
393 return other.current_ == current_; | |
394 } | |
395 | |
396 Input* CurrentInput() const { | |
397 return current_->from->GetInputRecordPtr(current_->input_index); | |
398 } | |
399 | 417 |
400 Node::Use* current_; | 418 Node::Use* current_; |
401 Node::Use* next_; | 419 Node::Use* next_; |
402 }; | 420 }; |
403 | 421 |
404 | 422 |
| 423 Node::UseEdges::iterator Node::UseEdges::begin() const { |
| 424 return Node::UseEdges::iterator(this->node_); |
| 425 } |
| 426 |
| 427 |
| 428 Node::UseEdges::iterator Node::UseEdges::end() const { |
| 429 return Node::UseEdges::iterator(); |
| 430 } |
| 431 |
| 432 |
405 // A forward iterator to visit the uses of a node. The uses are returned in | 433 // A forward iterator to visit the uses of a node. The uses are returned in |
406 // the order in which they were added as inputs. | 434 // the order in which they were added as inputs. |
407 class Node::Uses::iterator { | 435 class Node::Uses::const_iterator FINAL { |
408 public: | 436 public: |
409 iterator(const Node::Uses::iterator& other) // NOLINT | 437 typedef std::forward_iterator_tag iterator_category; |
410 : current_(other.current_) {} | 438 typedef int difference_type; |
| 439 typedef Node* value_type; |
| 440 typedef Node** pointer; |
| 441 typedef Node*& reference; |
411 | 442 |
412 Node* operator*() { return current_->from; } | 443 const_iterator(const const_iterator& other) : current_(other.current_) {} |
413 | 444 |
414 bool operator==(const iterator& other) { return other.current_ == current_; } | 445 Node* operator*() const { return current_->from; } |
415 bool operator!=(const iterator& other) { return other.current_ != current_; } | 446 bool operator==(const const_iterator& other) const { |
416 iterator& operator++() { | 447 return other.current_ == current_; |
417 DCHECK(current_ != NULL); | 448 } |
| 449 bool operator!=(const const_iterator& other) const { |
| 450 return other.current_ != current_; |
| 451 } |
| 452 const_iterator& operator++() { |
| 453 DCHECK_NOT_NULL(current_); |
418 current_ = current_->next; | 454 current_ = current_->next; |
419 return *this; | 455 return *this; |
420 } | 456 } |
| 457 const_iterator operator++(int); |
421 | 458 |
422 private: | 459 private: |
423 friend class Node::Uses; | 460 friend class Node::Uses; |
424 | 461 |
425 iterator() : current_(NULL) {} | 462 const_iterator() : current_(nullptr) {} |
426 explicit iterator(Node* node) : current_(node->first_use_) {} | 463 explicit const_iterator(Node* node) : current_(node->first_use_) {} |
427 | |
428 Input* CurrentInput() const { | |
429 return current_->from->GetInputRecordPtr(current_->input_index); | |
430 } | |
431 | 464 |
432 Node::Use* current_; | 465 Node::Use* current_; |
433 }; | 466 }; |
434 | 467 |
435 | 468 |
436 std::ostream& operator<<(std::ostream& os, const Node& n); | 469 Node::Uses::const_iterator Node::Uses::begin() const { |
437 | 470 return const_iterator(this->node_); |
438 typedef ZoneDeque<Node*> NodeDeque; | |
439 | |
440 typedef ZoneVector<Node*> NodeVector; | |
441 typedef NodeVector::iterator NodeVectorIter; | |
442 typedef NodeVector::const_iterator NodeVectorConstIter; | |
443 typedef NodeVector::reverse_iterator NodeVectorRIter; | |
444 | |
445 typedef ZoneVector<NodeVector> NodeVectorVector; | |
446 typedef NodeVectorVector::iterator NodeVectorVectorIter; | |
447 typedef NodeVectorVector::reverse_iterator NodeVectorVectorRIter; | |
448 | |
449 typedef Node::Uses::iterator UseIter; | |
450 typedef Node::Inputs::iterator InputIter; | |
451 | |
452 // Helper to extract parameters from Operator1<*> nodes. | |
453 template <typename T> | |
454 static inline const T& OpParameter(const Node* node) { | |
455 return OpParameter<T>(node->op()); | |
456 } | 471 } |
457 | 472 |
458 inline Node::InputEdges::iterator Node::InputEdges::begin() const { | |
459 return Node::InputEdges::iterator(this->node_, 0); | |
460 } | |
461 | 473 |
462 inline Node::InputEdges::iterator Node::InputEdges::end() const { | 474 Node::Uses::const_iterator Node::Uses::end() const { return const_iterator(); } |
463 return Node::InputEdges::iterator(this->node_, this->node_->InputCount()); | |
464 } | |
465 | 475 |
466 inline Node::Inputs::iterator Node::Inputs::begin() const { | |
467 return Node::Inputs::iterator(this->node_, 0); | |
468 } | |
469 | 476 |
470 inline Node::Inputs::iterator Node::Inputs::end() const { | 477 void Node::ReplaceInput(int index, Node* new_to) { |
471 return Node::Inputs::iterator(this->node_, this->node_->InputCount()); | 478 GetInputRecordPtr(index)->Update(new_to); |
472 } | |
473 | |
474 inline Node::UseEdges::iterator Node::UseEdges::begin() const { | |
475 return Node::UseEdges::iterator(this->node_); | |
476 } | |
477 | |
478 inline Node::UseEdges::iterator Node::UseEdges::end() const { | |
479 return Node::UseEdges::iterator(); | |
480 } | |
481 | |
482 inline Node::Uses::iterator Node::Uses::begin() const { | |
483 return Node::Uses::iterator(this->node_); | |
484 } | |
485 | |
486 inline Node::Uses::iterator Node::Uses::end() const { | |
487 return Node::Uses::iterator(); | |
488 } | |
489 | |
490 inline bool Node::InputEdges::empty() const { return begin() == end(); } | |
491 inline bool Node::Uses::empty() const { return begin() == end(); } | |
492 inline bool Node::UseEdges::empty() const { return begin() == end(); } | |
493 inline bool Node::Inputs::empty() const { return begin() == end(); } | |
494 | |
495 inline void Node::ReplaceUses(Node* replace_to) { | |
496 for (Use* use = first_use_; use != NULL; use = use->next) { | |
497 use->from->GetInputRecordPtr(use->input_index)->to = replace_to; | |
498 } | |
499 if (replace_to->last_use_ == NULL) { | |
500 DCHECK_EQ(NULL, replace_to->first_use_); | |
501 replace_to->first_use_ = first_use_; | |
502 replace_to->last_use_ = last_use_; | |
503 } else if (first_use_ != NULL) { | |
504 DCHECK_NE(NULL, replace_to->first_use_); | |
505 replace_to->last_use_->next = first_use_; | |
506 first_use_->prev = replace_to->last_use_; | |
507 replace_to->last_use_ = last_use_; | |
508 } | |
509 first_use_ = NULL; | |
510 last_use_ = NULL; | |
511 } | |
512 | |
513 template <class UnaryPredicate> | |
514 inline void Node::ReplaceUsesIf(UnaryPredicate pred, Node* replace_to) { | |
515 for (Use* use = first_use_; use != NULL;) { | |
516 Use* next = use->next; | |
517 if (pred(use->from)) { | |
518 RemoveUse(use); | |
519 replace_to->AppendUse(use); | |
520 use->from->GetInputRecordPtr(use->input_index)->to = replace_to; | |
521 } | |
522 use = next; | |
523 } | |
524 } | |
525 | |
526 inline void Node::RemoveAllInputs() { | |
527 for (Edge edge : input_edges()) { | |
528 edge.UpdateTo(NULL); | |
529 } | |
530 } | |
531 | |
532 inline void Node::TrimInputCount(int new_input_count) { | |
533 if (new_input_count == input_count()) return; // Nothing to do. | |
534 | |
535 DCHECK(new_input_count < input_count()); | |
536 | |
537 // Update inline inputs. | |
538 for (int i = new_input_count; i < input_count(); i++) { | |
539 Node::Input* input = GetInputRecordPtr(i); | |
540 input->Update(NULL); | |
541 } | |
542 set_input_count(new_input_count); | |
543 } | |
544 | |
545 inline void Node::ReplaceInput(int index, Node* new_to) { | |
546 Input* input = GetInputRecordPtr(index); | |
547 input->Update(new_to); | |
548 } | |
549 | |
550 inline void Node::Input::Update(Node* new_to) { | |
551 Node* old_to = this->to; | |
552 if (new_to == old_to) return; // Nothing to do. | |
553 // Snip out the use from where it used to be | |
554 if (old_to != NULL) { | |
555 old_to->RemoveUse(use); | |
556 } | |
557 to = new_to; | |
558 // And put it into the new node's use list. | |
559 if (new_to != NULL) { | |
560 new_to->AppendUse(use); | |
561 } else { | |
562 use->next = NULL; | |
563 use->prev = NULL; | |
564 } | |
565 } | |
566 | |
567 inline void Node::EnsureAppendableInputs(Zone* zone) { | |
568 if (!has_appendable_inputs()) { | |
569 void* deque_buffer = zone->New(sizeof(InputDeque)); | |
570 InputDeque* deque = new (deque_buffer) InputDeque(zone); | |
571 for (int i = 0; i < input_count(); ++i) { | |
572 deque->push_back(inputs_.static_[i]); | |
573 } | |
574 inputs_.appendable_ = deque; | |
575 set_has_appendable_inputs(true); | |
576 } | |
577 } | |
578 | |
579 inline void Node::AppendInput(Zone* zone, Node* to_append) { | |
580 Use* new_use = new (zone) Use; | |
581 Input new_input; | |
582 new_input.to = to_append; | |
583 new_input.use = new_use; | |
584 if (reserved_input_count() > 0) { | |
585 DCHECK(!has_appendable_inputs()); | |
586 set_reserved_input_count(reserved_input_count() - 1); | |
587 inputs_.static_[input_count()] = new_input; | |
588 } else { | |
589 EnsureAppendableInputs(zone); | |
590 inputs_.appendable_->push_back(new_input); | |
591 } | |
592 new_use->input_index = input_count(); | |
593 new_use->from = this; | |
594 to_append->AppendUse(new_use); | |
595 set_input_count(input_count() + 1); | |
596 } | |
597 | |
598 inline void Node::InsertInput(Zone* zone, int index, Node* to_insert) { | |
599 DCHECK(index >= 0 && index < InputCount()); | |
600 // TODO(turbofan): Optimize this implementation! | |
601 AppendInput(zone, InputAt(InputCount() - 1)); | |
602 for (int i = InputCount() - 1; i > index; --i) { | |
603 ReplaceInput(i, InputAt(i - 1)); | |
604 } | |
605 ReplaceInput(index, to_insert); | |
606 } | |
607 | |
608 inline void Node::RemoveInput(int index) { | |
609 DCHECK(index >= 0 && index < InputCount()); | |
610 // TODO(turbofan): Optimize this implementation! | |
611 for (; index < InputCount() - 1; ++index) { | |
612 ReplaceInput(index, InputAt(index + 1)); | |
613 } | |
614 TrimInputCount(InputCount() - 1); | |
615 } | |
616 | |
617 inline void Node::AppendUse(Use* use) { | |
618 use->next = NULL; | |
619 use->prev = last_use_; | |
620 if (last_use_ == NULL) { | |
621 first_use_ = use; | |
622 } else { | |
623 last_use_->next = use; | |
624 } | |
625 last_use_ = use; | |
626 } | |
627 | |
628 inline void Node::RemoveUse(Use* use) { | |
629 if (last_use_ == use) { | |
630 last_use_ = use->prev; | |
631 } | |
632 if (use->prev != NULL) { | |
633 use->prev->next = use->next; | |
634 } else { | |
635 first_use_ = use->next; | |
636 } | |
637 if (use->next != NULL) { | |
638 use->next->prev = use->prev; | |
639 } | |
640 } | |
641 | |
642 inline bool Node::OwnedBy(Node* owner) const { | |
643 return first_use_ != NULL && first_use_->from == owner && | |
644 first_use_->next == NULL; | |
645 } | 479 } |
646 | 480 |
647 } // namespace compiler | 481 } // namespace compiler |
648 } // namespace internal | 482 } // namespace internal |
649 } // namespace v8 | 483 } // namespace v8 |
650 | 484 |
651 #endif // V8_COMPILER_NODE_H_ | 485 #endif // V8_COMPILER_NODE_H_ |
OLD | NEW |