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 667 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
678 CheckValueInputIs(node, 0, Type::Signed32()); | 678 CheckValueInputIs(node, 0, Type::Signed32()); |
679 CheckValueInputIs(node, 1, Type::Unsigned32()); | 679 CheckValueInputIs(node, 1, Type::Unsigned32()); |
680 CheckUpperIs(node, Type::Signed32()); | 680 CheckUpperIs(node, Type::Signed32()); |
681 break; | 681 break; |
682 case IrOpcode::kNumberShiftRightLogical: | 682 case IrOpcode::kNumberShiftRightLogical: |
683 // (Unsigned32, Unsigned32) -> Unsigned32 | 683 // (Unsigned32, Unsigned32) -> Unsigned32 |
684 CheckValueInputIs(node, 0, Type::Unsigned32()); | 684 CheckValueInputIs(node, 0, Type::Unsigned32()); |
685 CheckValueInputIs(node, 1, Type::Unsigned32()); | 685 CheckValueInputIs(node, 1, Type::Unsigned32()); |
686 CheckUpperIs(node, Type::Unsigned32()); | 686 CheckUpperIs(node, Type::Unsigned32()); |
687 break; | 687 break; |
| 688 case IrOpcode::kNumberImul: |
| 689 // (Unsigned32, Unsigned32) -> Signed32 |
| 690 CheckValueInputIs(node, 0, Type::Unsigned32()); |
| 691 CheckValueInputIs(node, 1, Type::Unsigned32()); |
| 692 CheckUpperIs(node, Type::Signed32()); |
| 693 break; |
688 case IrOpcode::kNumberClz32: | 694 case IrOpcode::kNumberClz32: |
689 // Unsigned32 -> Unsigned32 | 695 // Unsigned32 -> Unsigned32 |
690 CheckValueInputIs(node, 0, Type::Unsigned32()); | 696 CheckValueInputIs(node, 0, Type::Unsigned32()); |
691 CheckUpperIs(node, Type::Unsigned32()); | 697 CheckUpperIs(node, Type::Unsigned32()); |
692 break; | 698 break; |
693 case IrOpcode::kNumberCeil: | 699 case IrOpcode::kNumberCeil: |
694 case IrOpcode::kNumberFloor: | 700 case IrOpcode::kNumberFloor: |
695 case IrOpcode::kNumberRound: | 701 case IrOpcode::kNumberRound: |
696 case IrOpcode::kNumberTrunc: | 702 case IrOpcode::kNumberTrunc: |
697 // Number -> Number | 703 // Number -> Number |
(...skipping 609 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1307 replacement->op()->EffectOutputCount() > 0); | 1313 replacement->op()->EffectOutputCount() > 0); |
1308 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1314 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1309 replacement->opcode() == IrOpcode::kFrameState); | 1315 replacement->opcode() == IrOpcode::kFrameState); |
1310 } | 1316 } |
1311 | 1317 |
1312 #endif // DEBUG | 1318 #endif // DEBUG |
1313 | 1319 |
1314 } // namespace compiler | 1320 } // namespace compiler |
1315 } // namespace internal | 1321 } // namespace internal |
1316 } // namespace v8 | 1322 } // namespace v8 |
OLD | NEW |