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 659 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
670 CheckValueInputIs(node, 0, Type::Signed32()); | 670 CheckValueInputIs(node, 0, Type::Signed32()); |
671 CheckValueInputIs(node, 1, Type::Unsigned32()); | 671 CheckValueInputIs(node, 1, Type::Unsigned32()); |
672 CheckUpperIs(node, Type::Signed32()); | 672 CheckUpperIs(node, Type::Signed32()); |
673 break; | 673 break; |
674 case IrOpcode::kNumberShiftRightLogical: | 674 case IrOpcode::kNumberShiftRightLogical: |
675 // (Unsigned32, Unsigned32) -> Unsigned32 | 675 // (Unsigned32, Unsigned32) -> Unsigned32 |
676 CheckValueInputIs(node, 0, Type::Unsigned32()); | 676 CheckValueInputIs(node, 0, Type::Unsigned32()); |
677 CheckValueInputIs(node, 1, Type::Unsigned32()); | 677 CheckValueInputIs(node, 1, Type::Unsigned32()); |
678 CheckUpperIs(node, Type::Unsigned32()); | 678 CheckUpperIs(node, Type::Unsigned32()); |
679 break; | 679 break; |
| 680 case IrOpcode::kNumberCeil: |
680 case IrOpcode::kNumberFloor: | 681 case IrOpcode::kNumberFloor: |
| 682 case IrOpcode::kNumberRound: |
| 683 case IrOpcode::kNumberTrunc: |
681 // Number -> Number | 684 // Number -> Number |
682 CheckValueInputIs(node, 0, Type::Number()); | 685 CheckValueInputIs(node, 0, Type::Number()); |
683 CheckUpperIs(node, Type::Number()); | 686 CheckUpperIs(node, Type::Number()); |
684 break; | 687 break; |
685 case IrOpcode::kNumberToInt32: | 688 case IrOpcode::kNumberToInt32: |
686 // Number -> Signed32 | 689 // Number -> Signed32 |
687 CheckValueInputIs(node, 0, Type::Number()); | 690 CheckValueInputIs(node, 0, Type::Number()); |
688 CheckUpperIs(node, Type::Signed32()); | 691 CheckUpperIs(node, Type::Signed32()); |
689 break; | 692 break; |
690 case IrOpcode::kNumberToUint32: | 693 case IrOpcode::kNumberToUint32: |
(...skipping 598 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1289 replacement->op()->EffectOutputCount() > 0); | 1292 replacement->op()->EffectOutputCount() > 0); |
1290 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1293 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1291 replacement->opcode() == IrOpcode::kFrameState); | 1294 replacement->opcode() == IrOpcode::kFrameState); |
1292 } | 1295 } |
1293 | 1296 |
1294 #endif // DEBUG | 1297 #endif // DEBUG |
1295 | 1298 |
1296 } // namespace compiler | 1299 } // namespace compiler |
1297 } // namespace internal | 1300 } // namespace internal |
1298 } // namespace v8 | 1301 } // namespace v8 |
OLD | NEW |