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/graph-builder.h" | 5 #include "src/compiler/graph-builder.h" |
6 | 6 |
7 #include "src/compiler.h" | 7 #include "src/compiler.h" |
8 #include "src/compiler/generic-graph.h" | 8 #include "src/compiler/generic-graph.h" |
9 #include "src/compiler/generic-node.h" | 9 #include "src/compiler/generic-node.h" |
10 #include "src/compiler/generic-node-inl.h" | 10 #include "src/compiler/generic-node-inl.h" |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
42 } | 42 } |
43 | 43 |
44 | 44 |
45 Node* StructuredGraphBuilder::MakeNode(const Operator* op, | 45 Node* StructuredGraphBuilder::MakeNode(const Operator* op, |
46 int value_input_count, | 46 int value_input_count, |
47 Node** value_inputs, bool incomplete) { | 47 Node** value_inputs, bool incomplete) { |
48 DCHECK(op->InputCount() == value_input_count); | 48 DCHECK(op->InputCount() == value_input_count); |
49 | 49 |
50 bool has_context = OperatorProperties::HasContextInput(op); | 50 bool has_context = OperatorProperties::HasContextInput(op); |
51 bool has_framestate = OperatorProperties::HasFrameStateInput(op); | 51 bool has_framestate = OperatorProperties::HasFrameStateInput(op); |
52 bool has_control = OperatorProperties::GetControlInputCount(op) == 1; | 52 bool has_control = op->ControlInputCount() == 1; |
53 bool has_effect = OperatorProperties::GetEffectInputCount(op) == 1; | 53 bool has_effect = op->EffectInputCount() == 1; |
54 | 54 |
55 DCHECK(OperatorProperties::GetControlInputCount(op) < 2); | 55 DCHECK(op->ControlInputCount() < 2); |
56 DCHECK(OperatorProperties::GetEffectInputCount(op) < 2); | 56 DCHECK(op->EffectInputCount() < 2); |
57 | 57 |
58 Node* result = NULL; | 58 Node* result = NULL; |
59 if (!has_context && !has_framestate && !has_control && !has_effect) { | 59 if (!has_context && !has_framestate && !has_control && !has_effect) { |
60 result = graph()->NewNode(op, value_input_count, value_inputs, incomplete); | 60 result = graph()->NewNode(op, value_input_count, value_inputs, incomplete); |
61 } else { | 61 } else { |
62 int input_count_with_deps = value_input_count; | 62 int input_count_with_deps = value_input_count; |
63 if (has_context) ++input_count_with_deps; | 63 if (has_context) ++input_count_with_deps; |
64 if (has_framestate) ++input_count_with_deps; | 64 if (has_framestate) ++input_count_with_deps; |
65 if (has_control) ++input_count_with_deps; | 65 if (has_control) ++input_count_with_deps; |
66 if (has_effect) ++input_count_with_deps; | 66 if (has_effect) ++input_count_with_deps; |
(...skipping 12 matching lines...) Expand all Loading... |
79 if (has_effect) { | 79 if (has_effect) { |
80 *current_input++ = environment_->GetEffectDependency(); | 80 *current_input++ = environment_->GetEffectDependency(); |
81 } | 81 } |
82 if (has_control) { | 82 if (has_control) { |
83 *current_input++ = environment_->GetControlDependency(); | 83 *current_input++ = environment_->GetControlDependency(); |
84 } | 84 } |
85 result = graph()->NewNode(op, input_count_with_deps, buffer, incomplete); | 85 result = graph()->NewNode(op, input_count_with_deps, buffer, incomplete); |
86 if (has_effect) { | 86 if (has_effect) { |
87 environment_->UpdateEffectDependency(result); | 87 environment_->UpdateEffectDependency(result); |
88 } | 88 } |
89 if (OperatorProperties::HasControlOutput(result->op()) && | 89 if (result->op()->ControlOutputCount() > 0 && |
90 !environment()->IsMarkedAsUnreachable()) { | 90 !environment()->IsMarkedAsUnreachable()) { |
91 environment_->UpdateControlDependency(result); | 91 environment_->UpdateControlDependency(result); |
92 } | 92 } |
93 } | 93 } |
94 | 94 |
95 return result; | 95 return result; |
96 } | 96 } |
97 | 97 |
98 | 98 |
99 void StructuredGraphBuilder::UpdateControlDependencyToLeaveFunction( | 99 void StructuredGraphBuilder::UpdateControlDependencyToLeaveFunction( |
(...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
202 Node* control) { | 202 Node* control) { |
203 const Operator* phi_op = common()->EffectPhi(count); | 203 const Operator* phi_op = common()->EffectPhi(count); |
204 Node** buffer = EnsureInputBufferSize(count + 1); | 204 Node** buffer = EnsureInputBufferSize(count + 1); |
205 MemsetPointer(buffer, input, count); | 205 MemsetPointer(buffer, input, count); |
206 buffer[count] = control; | 206 buffer[count] = control; |
207 return graph()->NewNode(phi_op, count + 1, buffer, true); | 207 return graph()->NewNode(phi_op, count + 1, buffer, true); |
208 } | 208 } |
209 | 209 |
210 | 210 |
211 Node* StructuredGraphBuilder::MergeControl(Node* control, Node* other) { | 211 Node* StructuredGraphBuilder::MergeControl(Node* control, Node* other) { |
212 int inputs = OperatorProperties::GetControlInputCount(control->op()) + 1; | 212 int inputs = control->op()->ControlInputCount() + 1; |
213 if (control->opcode() == IrOpcode::kLoop) { | 213 if (control->opcode() == IrOpcode::kLoop) { |
214 // Control node for loop exists, add input. | 214 // Control node for loop exists, add input. |
215 const Operator* op = common()->Loop(inputs); | 215 const Operator* op = common()->Loop(inputs); |
216 control->AppendInput(graph_zone(), other); | 216 control->AppendInput(graph_zone(), other); |
217 control->set_op(op); | 217 control->set_op(op); |
218 } else if (control->opcode() == IrOpcode::kMerge) { | 218 } else if (control->opcode() == IrOpcode::kMerge) { |
219 // Control node for merge exists, add input. | 219 // Control node for merge exists, add input. |
220 const Operator* op = common()->Merge(inputs); | 220 const Operator* op = common()->Merge(inputs); |
221 control->AppendInput(graph_zone(), other); | 221 control->AppendInput(graph_zone(), other); |
222 control->set_op(op); | 222 control->set_op(op); |
223 } else { | 223 } else { |
224 // Control node is a singleton, introduce a merge. | 224 // Control node is a singleton, introduce a merge. |
225 const Operator* op = common()->Merge(inputs); | 225 const Operator* op = common()->Merge(inputs); |
226 Node* inputs[] = {control, other}; | 226 Node* inputs[] = {control, other}; |
227 control = graph()->NewNode(op, arraysize(inputs), inputs, true); | 227 control = graph()->NewNode(op, arraysize(inputs), inputs, true); |
228 } | 228 } |
229 return control; | 229 return control; |
230 } | 230 } |
231 | 231 |
232 | 232 |
233 Node* StructuredGraphBuilder::MergeEffect(Node* value, Node* other, | 233 Node* StructuredGraphBuilder::MergeEffect(Node* value, Node* other, |
234 Node* control) { | 234 Node* control) { |
235 int inputs = OperatorProperties::GetControlInputCount(control->op()); | 235 int inputs = control->op()->ControlInputCount(); |
236 if (value->opcode() == IrOpcode::kEffectPhi && | 236 if (value->opcode() == IrOpcode::kEffectPhi && |
237 NodeProperties::GetControlInput(value) == control) { | 237 NodeProperties::GetControlInput(value) == control) { |
238 // Phi already exists, add input. | 238 // Phi already exists, add input. |
239 value->set_op(common()->EffectPhi(inputs)); | 239 value->set_op(common()->EffectPhi(inputs)); |
240 value->InsertInput(graph_zone(), inputs - 1, other); | 240 value->InsertInput(graph_zone(), inputs - 1, other); |
241 } else if (value != other) { | 241 } else if (value != other) { |
242 // Phi does not exist yet, introduce one. | 242 // Phi does not exist yet, introduce one. |
243 value = NewEffectPhi(inputs, value, control); | 243 value = NewEffectPhi(inputs, value, control); |
244 value->ReplaceInput(inputs - 1, other); | 244 value->ReplaceInput(inputs - 1, other); |
245 } | 245 } |
246 return value; | 246 return value; |
247 } | 247 } |
248 | 248 |
249 | 249 |
250 Node* StructuredGraphBuilder::MergeValue(Node* value, Node* other, | 250 Node* StructuredGraphBuilder::MergeValue(Node* value, Node* other, |
251 Node* control) { | 251 Node* control) { |
252 int inputs = OperatorProperties::GetControlInputCount(control->op()); | 252 int inputs = control->op()->ControlInputCount(); |
253 if (value->opcode() == IrOpcode::kPhi && | 253 if (value->opcode() == IrOpcode::kPhi && |
254 NodeProperties::GetControlInput(value) == control) { | 254 NodeProperties::GetControlInput(value) == control) { |
255 // Phi already exists, add input. | 255 // Phi already exists, add input. |
256 value->set_op(common()->Phi(kMachAnyTagged, inputs)); | 256 value->set_op(common()->Phi(kMachAnyTagged, inputs)); |
257 value->InsertInput(graph_zone(), inputs - 1, other); | 257 value->InsertInput(graph_zone(), inputs - 1, other); |
258 } else if (value != other) { | 258 } else if (value != other) { |
259 // Phi does not exist yet, introduce one. | 259 // Phi does not exist yet, introduce one. |
260 value = NewPhi(inputs, value, control); | 260 value = NewPhi(inputs, value, control); |
261 value->ReplaceInput(inputs - 1, other); | 261 value->ReplaceInput(inputs - 1, other); |
262 } | 262 } |
263 return value; | 263 return value; |
264 } | 264 } |
265 | 265 |
266 | 266 |
267 Node* StructuredGraphBuilder::dead_control() { | 267 Node* StructuredGraphBuilder::dead_control() { |
268 if (!dead_control_.is_set()) { | 268 if (!dead_control_.is_set()) { |
269 Node* dead_node = graph()->NewNode(common_->Dead()); | 269 Node* dead_node = graph()->NewNode(common_->Dead()); |
270 dead_control_.set(dead_node); | 270 dead_control_.set(dead_node); |
271 return dead_node; | 271 return dead_node; |
272 } | 272 } |
273 return dead_control_.get(); | 273 return dead_control_.get(); |
274 } | 274 } |
275 } | 275 } |
276 } | 276 } |
277 } // namespace v8::internal::compiler | 277 } // namespace v8::internal::compiler |
OLD | NEW |