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 #include "src/compiler/schedule.h" |
| 6 |
5 #include "src/compiler/node.h" | 7 #include "src/compiler/node.h" |
6 #include "src/compiler/node-properties.h" | 8 #include "src/compiler/node-properties.h" |
7 #include "src/compiler/node-properties-inl.h" | 9 #include "src/compiler/node-properties-inl.h" |
8 #include "src/compiler/schedule.h" | |
9 #include "src/ostreams.h" | 10 #include "src/ostreams.h" |
10 | 11 |
11 namespace v8 { | 12 namespace v8 { |
12 namespace internal { | 13 namespace internal { |
13 namespace compiler { | 14 namespace compiler { |
14 | 15 |
15 BasicBlock::BasicBlock(Zone* zone, Id id) | 16 BasicBlock::BasicBlock(Zone* zone, Id id) |
16 : loop_number_(-1), | 17 : loop_number_(-1), |
17 rpo_number_(-1), | 18 rpo_number_(-1), |
18 deferred_(false), | 19 deferred_(false), |
(...skipping 209 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
228 } | 229 } |
229 | 230 |
230 | 231 |
231 void Schedule::AddSuccessor(BasicBlock* block, BasicBlock* succ) { | 232 void Schedule::AddSuccessor(BasicBlock* block, BasicBlock* succ) { |
232 block->AddSuccessor(succ); | 233 block->AddSuccessor(succ); |
233 succ->AddPredecessor(block); | 234 succ->AddPredecessor(block); |
234 } | 235 } |
235 | 236 |
236 | 237 |
237 void Schedule::MoveSuccessors(BasicBlock* from, BasicBlock* to) { | 238 void Schedule::MoveSuccessors(BasicBlock* from, BasicBlock* to) { |
238 for (BasicBlock::Predecessors::iterator i = from->successors_begin(); | 239 for (BasicBlock* const successor : from->successors()) { |
239 i != from->successors_end(); ++i) { | 240 to->AddSuccessor(successor); |
240 BasicBlock* succ = *i; | 241 for (BasicBlock*& predecessor : successor->predecessors()) { |
241 to->AddSuccessor(succ); | 242 if (predecessor == from) predecessor = to; |
242 for (BasicBlock::Predecessors::iterator j = succ->predecessors_begin(); | |
243 j != succ->predecessors_end(); ++j) { | |
244 if (*j == from) *j = to; | |
245 } | 243 } |
246 } | 244 } |
247 from->ClearSuccessors(); | 245 from->ClearSuccessors(); |
248 } | 246 } |
249 | 247 |
250 | 248 |
251 void Schedule::SetControlInput(BasicBlock* block, Node* node) { | 249 void Schedule::SetControlInput(BasicBlock* block, Node* node) { |
252 block->set_control_input(node); | 250 block->set_control_input(node); |
253 SetBlockForNode(block, node); | 251 SetBlockForNode(block, node); |
254 } | 252 } |
255 | 253 |
256 | 254 |
257 void Schedule::SetBlockForNode(BasicBlock* block, Node* node) { | 255 void Schedule::SetBlockForNode(BasicBlock* block, Node* node) { |
258 int length = static_cast<int>(nodeid_to_block_.size()); | 256 int length = static_cast<int>(nodeid_to_block_.size()); |
259 if (node->id() >= length) { | 257 if (node->id() >= length) { |
260 nodeid_to_block_.resize(node->id() + 1); | 258 nodeid_to_block_.resize(node->id() + 1); |
261 } | 259 } |
262 nodeid_to_block_[node->id()] = block; | 260 nodeid_to_block_[node->id()] = block; |
263 } | 261 } |
264 | 262 |
265 | 263 |
266 std::ostream& operator<<(std::ostream& os, const Schedule& s) { | 264 std::ostream& operator<<(std::ostream& os, const Schedule& s) { |
267 // TODO(svenpanne) Const-correct the RPO stuff/iterators. | 265 for (BasicBlock* block : *s.rpo_order()) { |
268 BasicBlockVector* rpo = const_cast<Schedule*>(&s)->rpo_order(); | |
269 for (BasicBlockVectorIter i = rpo->begin(); i != rpo->end(); ++i) { | |
270 BasicBlock* block = *i; | |
271 os << "--- BLOCK B" << block->id(); | 266 os << "--- BLOCK B" << block->id(); |
272 if (block->deferred()) os << " (deferred)"; | 267 if (block->deferred()) os << " (deferred)"; |
273 if (block->PredecessorCount() != 0) os << " <- "; | 268 if (block->PredecessorCount() != 0) os << " <- "; |
274 bool comma = false; | 269 bool comma = false; |
275 for (BasicBlock::Predecessors::iterator j = block->predecessors_begin(); | 270 for (BasicBlock const* predecessor : block->predecessors()) { |
276 j != block->predecessors_end(); ++j) { | |
277 if (comma) os << ", "; | 271 if (comma) os << ", "; |
278 comma = true; | 272 comma = true; |
279 os << "B" << (*j)->id(); | 273 os << "B" << predecessor->id(); |
280 } | 274 } |
281 os << " ---\n"; | 275 os << " ---\n"; |
282 for (BasicBlock::const_iterator j = block->begin(); j != block->end(); | 276 for (Node* node : *block) { |
283 ++j) { | |
284 Node* node = *j; | |
285 os << " " << *node; | 277 os << " " << *node; |
286 if (NodeProperties::IsTyped(node)) { | 278 if (NodeProperties::IsTyped(node)) { |
287 Bounds bounds = NodeProperties::GetBounds(node); | 279 Bounds bounds = NodeProperties::GetBounds(node); |
288 os << " : "; | 280 os << " : "; |
289 bounds.lower->PrintTo(os); | 281 bounds.lower->PrintTo(os); |
290 if (!bounds.upper->Is(bounds.lower)) { | 282 if (!bounds.upper->Is(bounds.lower)) { |
291 os << ".."; | 283 os << ".."; |
292 bounds.upper->PrintTo(os); | 284 bounds.upper->PrintTo(os); |
293 } | 285 } |
294 } | 286 } |
295 os << "\n"; | 287 os << "\n"; |
296 } | 288 } |
297 BasicBlock::Control control = block->control(); | 289 BasicBlock::Control control = block->control(); |
298 if (control != BasicBlock::kNone) { | 290 if (control != BasicBlock::kNone) { |
299 os << " "; | 291 os << " "; |
300 if (block->control_input() != NULL) { | 292 if (block->control_input() != NULL) { |
301 os << *block->control_input(); | 293 os << *block->control_input(); |
302 } else { | 294 } else { |
303 os << "Goto"; | 295 os << "Goto"; |
304 } | 296 } |
305 os << " -> "; | 297 os << " -> "; |
306 comma = false; | 298 comma = false; |
307 for (BasicBlock::Successors::iterator j = block->successors_begin(); | 299 for (BasicBlock const* successor : block->successors()) { |
308 j != block->successors_end(); ++j) { | |
309 if (comma) os << ", "; | 300 if (comma) os << ", "; |
310 comma = true; | 301 comma = true; |
311 os << "B" << (*j)->id(); | 302 os << "B" << successor->id(); |
312 } | 303 } |
313 os << "\n"; | 304 os << "\n"; |
314 } | 305 } |
315 } | 306 } |
316 return os; | 307 return os; |
317 } | 308 } |
318 | 309 |
319 } // namespace compiler | 310 } // namespace compiler |
320 } // namespace internal | 311 } // namespace internal |
321 } // namespace v8 | 312 } // namespace v8 |
OLD | NEW |