OLD | NEW |
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 <algorithm> | 7 #include <algorithm> |
8 #include <deque> | 8 #include <deque> |
9 #include <queue> | 9 #include <queue> |
10 #include <sstream> | 10 #include <sstream> |
(...skipping 327 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
338 CheckUpperIs(node, Type::Internal()); | 338 CheckUpperIs(node, Type::Internal()); |
339 break; | 339 break; |
340 case IrOpcode::kFloat32Constant: | 340 case IrOpcode::kFloat32Constant: |
341 case IrOpcode::kFloat64Constant: | 341 case IrOpcode::kFloat64Constant: |
342 case IrOpcode::kNumberConstant: | 342 case IrOpcode::kNumberConstant: |
343 // Constants have no inputs. | 343 // Constants have no inputs. |
344 CHECK_EQ(0, input_count); | 344 CHECK_EQ(0, input_count); |
345 // Type is a number. | 345 // Type is a number. |
346 CheckUpperIs(node, Type::Number()); | 346 CheckUpperIs(node, Type::Number()); |
347 break; | 347 break; |
348 case IrOpcode::kRelocatableInt32Constant: | |
349 case IrOpcode::kRelocatableInt64Constant: | |
350 CHECK_EQ(0, input_count); | |
351 break; | |
352 case IrOpcode::kHeapConstant: | 348 case IrOpcode::kHeapConstant: |
353 // Constants have no inputs. | 349 // Constants have no inputs. |
354 CHECK_EQ(0, input_count); | 350 CHECK_EQ(0, input_count); |
355 // Type can be anything represented as a heap pointer. | 351 // Type can be anything represented as a heap pointer. |
356 CheckUpperIs(node, Type::TaggedPointer()); | 352 CheckUpperIs(node, Type::TaggedPointer()); |
357 break; | 353 break; |
358 case IrOpcode::kExternalConstant: | 354 case IrOpcode::kExternalConstant: |
359 // Constants have no inputs. | 355 // Constants have no inputs. |
360 CHECK_EQ(0, input_count); | 356 CHECK_EQ(0, input_count); |
361 // Type is considered internal. | 357 // Type is considered internal. |
(...skipping 949 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1311 replacement->op()->EffectOutputCount() > 0); | 1307 replacement->op()->EffectOutputCount() > 0); |
1312 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1308 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1313 replacement->opcode() == IrOpcode::kFrameState); | 1309 replacement->opcode() == IrOpcode::kFrameState); |
1314 } | 1310 } |
1315 | 1311 |
1316 #endif // DEBUG | 1312 #endif // DEBUG |
1317 | 1313 |
1318 } // namespace compiler | 1314 } // namespace compiler |
1319 } // namespace internal | 1315 } // namespace internal |
1320 } // namespace v8 | 1316 } // namespace v8 |
OLD | NEW |