| 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 |