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 3 // found in the LICENSE file. 4 5 #include "control-builders.h" 6 7 namespace v8 { 8 namespace internal { 9 namespace compiler { 10 11 12 void IfBuilder::If(Node* condition) { 13 builder_->NewBranch(condition); 14 else_environment_ = environment()->CopyForConditional(); 15 } 16 17 18 void IfBuilder::Then() { builder_->NewIfTrue(); } 19 20 21 void IfBuilder::Else() { 22 builder_->NewMerge(); 23 then_environment_ = environment(); 24 set_environment(else_environment_); 25 builder_->NewIfFalse(); 26 } 27 28 29 void IfBuilder::End() { 30 then_environment_->Merge(environment()); 31 set_environment(then_environment_); 32 } 33 34 35 void LoopBuilder::BeginLoop() { 36 builder_->NewLoop(); 37 loop_environment_ = environment()->CopyForLoop(); 38 continue_environment_ = environment()->CopyAsUnreachable(); 39 break_environment_ = environment()->CopyAsUnreachable(); 40 } 41 42 43 void LoopBuilder::Continue() { 44 continue_environment_->Merge(environment()); 45 environment()->MarkAsUnreachable(); 46 } 47 48 49 void LoopBuilder::Break() { 50 break_environment_->Merge(environment()); 51 environment()->MarkAsUnreachable(); 52 } 53 54 55 void LoopBuilder::EndBody() { 56 continue_environment_->Merge(environment()); 57 set_environment(continue_environment_); 58 } 59 60 61 void LoopBuilder::EndLoop() { 62 loop_environment_->Merge(environment()); 63 set_environment(break_environment_); 64 } 65 66 67 void LoopBuilder::BreakUnless(Node* condition) { 68 IfBuilder control_if(builder_); 69 control_if.If(condition); 70 control_if.Then(); 71 control_if.Else(); 72 Break(); 73 control_if.End(); 74 } 75 76 77 void SwitchBuilder::BeginSwitch() { 78 body_environment_ = environment()->CopyAsUnreachable(); 79 label_environment_ = environment()->CopyAsUnreachable(); 80 break_environment_ = environment()->CopyAsUnreachable(); 81 body_environments_.AddBlock(NULL, case_count(), zone()); 82 } 83 84 85 void SwitchBuilder::BeginLabel(int index, Node* condition) { 86 builder_->NewBranch(condition); 87 label_environment_ = environment()->CopyForConditional(); 88 builder_->NewIfTrue(); 89 body_environments_[index] = environment(); 90 } 91 92 93 void SwitchBuilder::EndLabel() { 94 set_environment(label_environment_); 95 builder_->NewIfFalse(); 96 } 97 98 99 void SwitchBuilder::DefaultAt(int index) { 100 label_environment_ = environment()->CopyAsUnreachable(); 101 body_environments_[index] = environment(); 102 } 103 104 105 void SwitchBuilder::BeginCase(int index) { 106 set_environment(body_environments_[index]); 107 environment()->Merge(body_environment_); 108 } 109 110 111 void SwitchBuilder::Break() { 112 break_environment_->Merge(environment()); 113 environment()->MarkAsUnreachable(); 114 } 115 116 117 void SwitchBuilder::EndCase() { body_environment_ = environment(); } 118 119 120 void SwitchBuilder::EndSwitch() { 121 break_environment_->Merge(label_environment_); 122 break_environment_->Merge(environment()); 123 set_environment(break_environment_); 124 } 125 126 127 void BlockBuilder::BeginBlock() { 128 break_environment_ = environment()->CopyAsUnreachable(); 129 } 130 131 132 void BlockBuilder::Break() { 133 break_environment_->Merge(environment()); 134 environment()->MarkAsUnreachable(); 135 } 136 137 138 void BlockBuilder::EndBlock() { 139 break_environment_->Merge(environment()); 140 set_environment(break_environment_); 141 } 142 } 143 } 144 } // namespace v8::internal::compiler 145