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::kNumberClz32: |
| 689 // Unsigned32 -> Unsigned32 |
| 690 CheckValueInputIs(node, 0, Type::Unsigned32()); |
| 691 CheckUpperIs(node, Type::Unsigned32()); |
| 692 break; |
688 case IrOpcode::kNumberCeil: | 693 case IrOpcode::kNumberCeil: |
689 case IrOpcode::kNumberFloor: | 694 case IrOpcode::kNumberFloor: |
690 case IrOpcode::kNumberRound: | 695 case IrOpcode::kNumberRound: |
691 case IrOpcode::kNumberTrunc: | 696 case IrOpcode::kNumberTrunc: |
692 // Number -> Number | 697 // Number -> Number |
693 CheckValueInputIs(node, 0, Type::Number()); | 698 CheckValueInputIs(node, 0, Type::Number()); |
694 CheckUpperIs(node, Type::Number()); | 699 CheckUpperIs(node, Type::Number()); |
695 break; | 700 break; |
696 case IrOpcode::kNumberToInt32: | 701 case IrOpcode::kNumberToInt32: |
697 // Number -> Signed32 | 702 // Number -> Signed32 |
(...skipping 604 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1302 replacement->op()->EffectOutputCount() > 0); | 1307 replacement->op()->EffectOutputCount() > 0); |
1303 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1308 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1304 replacement->opcode() == IrOpcode::kFrameState); | 1309 replacement->opcode() == IrOpcode::kFrameState); |
1305 } | 1310 } |
1306 | 1311 |
1307 #endif // DEBUG | 1312 #endif // DEBUG |
1308 | 1313 |
1309 } // namespace compiler | 1314 } // namespace compiler |
1310 } // namespace internal | 1315 } // namespace internal |
1311 } // namespace v8 | 1316 } // namespace v8 |
OLD | NEW |