Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(334)

Side by Side Diff: src/compiler/verifier.cc

Issue 680313003: Move input/output counts directly into Operators, simplying OperatorProperties. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: yes Created 6 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/compiler/simplified-operator.cc ('k') | test/cctest/compiler/simplified-graph-builder.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2014 the V8 project authors. All rights reserved. 1 // Copyright 2014 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/verifier.h" 5 #include "src/compiler/verifier.h"
6 6
7 #include <deque> 7 #include <deque>
8 #include <queue> 8 #include <queue>
9 #include <sstream> 9 #include <sstream>
10 #include <string> 10 #include <string>
(...skipping 283 matching lines...) Expand 10 before | Expand all | Expand 10 after
294 CheckUpperIs(node, Type::TaggedPtr()); 294 CheckUpperIs(node, Type::TaggedPtr());
295 break; 295 break;
296 case IrOpcode::kExternalConstant: 296 case IrOpcode::kExternalConstant:
297 // Constants have no inputs. 297 // Constants have no inputs.
298 CHECK_EQ(0, input_count); 298 CHECK_EQ(0, input_count);
299 // Type is considered internal. 299 // Type is considered internal.
300 CheckUpperIs(node, Type::Internal()); 300 CheckUpperIs(node, Type::Internal());
301 break; 301 break;
302 case IrOpcode::kProjection: { 302 case IrOpcode::kProjection: {
303 // Projection has an input that produces enough values. 303 // Projection has an input that produces enough values.
304 int index = OpParameter<int>(node->op()); 304 int index = static_cast<int>(OpParameter<size_t>(node->op()));
305 Node* input = NodeProperties::GetValueInput(node, 0); 305 Node* input = NodeProperties::GetValueInput(node, 0);
306 CHECK_GT(OperatorProperties::GetValueOutputCount(input->op()), index); 306 CHECK_GT(OperatorProperties::GetValueOutputCount(input->op()), index);
307 // Type can be anything. 307 // Type can be anything.
308 // TODO(rossberg): Introduce tuple types for this. 308 // TODO(rossberg): Introduce tuple types for this.
309 // TODO(titzer): Convince rossberg not to. 309 // TODO(titzer): Convince rossberg not to.
310 CheckUpperIs(node, Type::Any()); 310 CheckUpperIs(node, Type::Any());
311 break; 311 break;
312 } 312 }
313 case IrOpcode::kPhi: { 313 case IrOpcode::kPhi: {
314 // Phi input count matches parent control node. 314 // Phi input count matches parent control node.
(...skipping 655 matching lines...) Expand 10 before | Expand all | Expand 10 after
970 // Check inputs for all nodes in the block. 970 // Check inputs for all nodes in the block.
971 for (size_t i = 0; i < block->NodeCount(); i++) { 971 for (size_t i = 0; i < block->NodeCount(); i++) {
972 Node* node = block->NodeAt(i); 972 Node* node = block->NodeAt(i);
973 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); 973 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1);
974 } 974 }
975 } 975 }
976 } 976 }
977 } 977 }
978 } 978 }
979 } // namespace v8::internal::compiler 979 } // namespace v8::internal::compiler
OLDNEW
« no previous file with comments | « src/compiler/simplified-operator.cc ('k') | test/cctest/compiler/simplified-graph-builder.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698