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 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
58 end_(NULL), | 58 end_(NULL), |
59 loop_information_(NULL), | 59 loop_information_(NULL), |
60 predecessors_(2), | 60 predecessors_(2), |
61 dominator_(NULL), | 61 dominator_(NULL), |
62 dominated_blocks_(4), | 62 dominated_blocks_(4), |
63 last_environment_(NULL), | 63 last_environment_(NULL), |
64 argument_count_(-1), | 64 argument_count_(-1), |
65 first_instruction_index_(-1), | 65 first_instruction_index_(-1), |
66 last_instruction_index_(-1), | 66 last_instruction_index_(-1), |
67 deleted_phis_(4), | 67 deleted_phis_(4), |
| 68 parent_loop_header_(NULL), |
68 is_inline_return_target_(false) { | 69 is_inline_return_target_(false) { |
69 } | 70 } |
70 | 71 |
71 | 72 |
72 void HBasicBlock::AttachLoopInformation() { | 73 void HBasicBlock::AttachLoopInformation() { |
73 ASSERT(!IsLoopHeader()); | 74 ASSERT(!IsLoopHeader()); |
74 loop_information_ = new HLoopInformation(this); | 75 loop_information_ = new HLoopInformation(this); |
75 } | 76 } |
76 | 77 |
77 | 78 |
(...skipping 208 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
286 UNREACHABLE(); | 287 UNREACHABLE(); |
287 return -1; | 288 return -1; |
288 } | 289 } |
289 | 290 |
290 | 291 |
291 #ifdef DEBUG | 292 #ifdef DEBUG |
292 void HBasicBlock::Verify() { | 293 void HBasicBlock::Verify() { |
293 // Check that every block is finished. | 294 // Check that every block is finished. |
294 ASSERT(IsFinished()); | 295 ASSERT(IsFinished()); |
295 ASSERT(block_id() >= 0); | 296 ASSERT(block_id() >= 0); |
296 | |
297 // Verify that all blocks targetting a branch target, have the same boolean | |
298 // value on top of their expression stack. | |
299 if (!cond().is_null()) { | |
300 ASSERT(predecessors()->length() > 0); | |
301 for (int i = 1; i < predecessors()->length(); i++) { | |
302 HBasicBlock* pred = predecessors()->at(i); | |
303 HValue* top = pred->last_environment()->Top(); | |
304 ASSERT(top->IsConstant()); | |
305 Object* a = *HConstant::cast(top)->handle(); | |
306 Object* b = *cond(); | |
307 ASSERT(a == b); | |
308 } | |
309 } | |
310 } | 297 } |
311 #endif | 298 #endif |
312 | 299 |
313 | 300 |
314 void HLoopInformation::RegisterBackEdge(HBasicBlock* block) { | 301 void HLoopInformation::RegisterBackEdge(HBasicBlock* block) { |
315 this->back_edges_.Add(block); | 302 this->back_edges_.Add(block); |
316 AddBlock(block); | 303 AddBlock(block); |
317 } | 304 } |
318 | 305 |
319 | 306 |
(...skipping 5685 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6005 } | 5992 } |
6006 } | 5993 } |
6007 | 5994 |
6008 #ifdef DEBUG | 5995 #ifdef DEBUG |
6009 if (graph_ != NULL) graph_->Verify(); | 5996 if (graph_ != NULL) graph_->Verify(); |
6010 if (allocator_ != NULL) allocator_->Verify(); | 5997 if (allocator_ != NULL) allocator_->Verify(); |
6011 #endif | 5998 #endif |
6012 } | 5999 } |
6013 | 6000 |
6014 } } // namespace v8::internal | 6001 } } // namespace v8::internal |
OLD | NEW |