| 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; |
| 348 case IrOpcode::kHeapConstant: | 352 case IrOpcode::kHeapConstant: |
| 349 // Constants have no inputs. | 353 // Constants have no inputs. |
| 350 CHECK_EQ(0, input_count); | 354 CHECK_EQ(0, input_count); |
| 351 // Type can be anything represented as a heap pointer. | 355 // Type can be anything represented as a heap pointer. |
| 352 CheckUpperIs(node, Type::TaggedPointer()); | 356 CheckUpperIs(node, Type::TaggedPointer()); |
| 353 break; | 357 break; |
| 354 case IrOpcode::kExternalConstant: | 358 case IrOpcode::kExternalConstant: |
| 355 // Constants have no inputs. | 359 // Constants have no inputs. |
| 356 CHECK_EQ(0, input_count); | 360 CHECK_EQ(0, input_count); |
| 357 // Type is considered internal. | 361 // Type is considered internal. |
| (...skipping 949 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1307 replacement->op()->EffectOutputCount() > 0); | 1311 replacement->op()->EffectOutputCount() > 0); |
| 1308 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1312 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
| 1309 replacement->opcode() == IrOpcode::kFrameState); | 1313 replacement->opcode() == IrOpcode::kFrameState); |
| 1310 } | 1314 } |
| 1311 | 1315 |
| 1312 #endif // DEBUG | 1316 #endif // DEBUG |
| 1313 | 1317 |
| 1314 } // namespace compiler | 1318 } // namespace compiler |
| 1315 } // namespace internal | 1319 } // namespace internal |
| 1316 } // namespace v8 | 1320 } // namespace v8 |
| OLD | NEW |