| 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 586 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 597 case IrOpcode::kNumberToInt32: | 597 case IrOpcode::kNumberToInt32: |
| 598 // Number -> Signed32 | 598 // Number -> Signed32 |
| 599 CheckValueInputIs(node, 0, Type::Number()); | 599 CheckValueInputIs(node, 0, Type::Number()); |
| 600 CheckUpperIs(node, Type::Signed32()); | 600 CheckUpperIs(node, Type::Signed32()); |
| 601 break; | 601 break; |
| 602 case IrOpcode::kNumberToUint32: | 602 case IrOpcode::kNumberToUint32: |
| 603 // Number -> Unsigned32 | 603 // Number -> Unsigned32 |
| 604 CheckValueInputIs(node, 0, Type::Number()); | 604 CheckValueInputIs(node, 0, Type::Number()); |
| 605 CheckUpperIs(node, Type::Unsigned32()); | 605 CheckUpperIs(node, Type::Unsigned32()); |
| 606 break; | 606 break; |
| 607 case IrOpcode::kPlainPrimitiveToNumber: | |
| 608 // PlainPrimitive -> Number | |
| 609 CheckValueInputIs(node, 0, Type::PlainPrimitive()); | |
| 610 CheckUpperIs(node, Type::Number()); | |
| 611 break; | |
| 612 case IrOpcode::kStringEqual: | 607 case IrOpcode::kStringEqual: |
| 613 case IrOpcode::kStringLessThan: | 608 case IrOpcode::kStringLessThan: |
| 614 case IrOpcode::kStringLessThanOrEqual: | 609 case IrOpcode::kStringLessThanOrEqual: |
| 615 // (String, String) -> Boolean | 610 // (String, String) -> Boolean |
| 616 CheckValueInputIs(node, 0, Type::String()); | 611 CheckValueInputIs(node, 0, Type::String()); |
| 617 CheckValueInputIs(node, 1, Type::String()); | 612 CheckValueInputIs(node, 1, Type::String()); |
| 618 CheckUpperIs(node, Type::Boolean()); | 613 CheckUpperIs(node, Type::Boolean()); |
| 619 break; | 614 break; |
| 620 case IrOpcode::kStringAdd: | 615 case IrOpcode::kStringAdd: |
| 621 // (String, String) -> String | 616 // (String, String) -> String |
| (...skipping 474 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1096 // Check inputs for all nodes in the block. | 1091 // Check inputs for all nodes in the block. |
| 1097 for (size_t i = 0; i < block->NodeCount(); i++) { | 1092 for (size_t i = 0; i < block->NodeCount(); i++) { |
| 1098 Node* node = block->NodeAt(i); | 1093 Node* node = block->NodeAt(i); |
| 1099 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); | 1094 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); |
| 1100 } | 1095 } |
| 1101 } | 1096 } |
| 1102 } | 1097 } |
| 1103 } | 1098 } |
| 1104 } | 1099 } |
| 1105 } // namespace v8::internal::compiler | 1100 } // namespace v8::internal::compiler |
| OLD | NEW |