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 737 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
748 CheckValueInputIs(node, 0, Type::Number()); | 748 CheckValueInputIs(node, 0, Type::Number()); |
749 CheckValueInputIs(node, 1, Type::Number()); | 749 CheckValueInputIs(node, 1, Type::Number()); |
750 CheckUpperIs(node, Type::Number()); | 750 CheckUpperIs(node, Type::Number()); |
751 break; | 751 break; |
752 case IrOpcode::kNumberCeil: | 752 case IrOpcode::kNumberCeil: |
753 case IrOpcode::kNumberFloor: | 753 case IrOpcode::kNumberFloor: |
754 case IrOpcode::kNumberFround: | 754 case IrOpcode::kNumberFround: |
755 case IrOpcode::kNumberAtan: | 755 case IrOpcode::kNumberAtan: |
756 case IrOpcode::kNumberLog: | 756 case IrOpcode::kNumberLog: |
757 case IrOpcode::kNumberLog1p: | 757 case IrOpcode::kNumberLog1p: |
| 758 case IrOpcode::kNumberLog2: |
| 759 case IrOpcode::kNumberLog10: |
758 case IrOpcode::kNumberRound: | 760 case IrOpcode::kNumberRound: |
759 case IrOpcode::kNumberSqrt: | 761 case IrOpcode::kNumberSqrt: |
760 case IrOpcode::kNumberTrunc: | 762 case IrOpcode::kNumberTrunc: |
761 // Number -> Number | 763 // Number -> Number |
762 CheckValueInputIs(node, 0, Type::Number()); | 764 CheckValueInputIs(node, 0, Type::Number()); |
763 CheckUpperIs(node, Type::Number()); | 765 CheckUpperIs(node, Type::Number()); |
764 break; | 766 break; |
765 case IrOpcode::kNumberToInt32: | 767 case IrOpcode::kNumberToInt32: |
766 // Number -> Signed32 | 768 // Number -> Signed32 |
767 CheckValueInputIs(node, 0, Type::Number()); | 769 CheckValueInputIs(node, 0, Type::Number()); |
(...skipping 295 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1063 case IrOpcode::kFloat64Mul: | 1065 case IrOpcode::kFloat64Mul: |
1064 case IrOpcode::kFloat64Div: | 1066 case IrOpcode::kFloat64Div: |
1065 case IrOpcode::kFloat64Mod: | 1067 case IrOpcode::kFloat64Mod: |
1066 case IrOpcode::kFloat64Max: | 1068 case IrOpcode::kFloat64Max: |
1067 case IrOpcode::kFloat64Min: | 1069 case IrOpcode::kFloat64Min: |
1068 case IrOpcode::kFloat64Abs: | 1070 case IrOpcode::kFloat64Abs: |
1069 case IrOpcode::kFloat64Atan: | 1071 case IrOpcode::kFloat64Atan: |
1070 case IrOpcode::kFloat64Atan2: | 1072 case IrOpcode::kFloat64Atan2: |
1071 case IrOpcode::kFloat64Log: | 1073 case IrOpcode::kFloat64Log: |
1072 case IrOpcode::kFloat64Log1p: | 1074 case IrOpcode::kFloat64Log1p: |
| 1075 case IrOpcode::kFloat64Log2: |
| 1076 case IrOpcode::kFloat64Log10: |
1073 case IrOpcode::kFloat64Sqrt: | 1077 case IrOpcode::kFloat64Sqrt: |
1074 case IrOpcode::kFloat32RoundDown: | 1078 case IrOpcode::kFloat32RoundDown: |
1075 case IrOpcode::kFloat64RoundDown: | 1079 case IrOpcode::kFloat64RoundDown: |
1076 case IrOpcode::kFloat32RoundUp: | 1080 case IrOpcode::kFloat32RoundUp: |
1077 case IrOpcode::kFloat64RoundUp: | 1081 case IrOpcode::kFloat64RoundUp: |
1078 case IrOpcode::kFloat32RoundTruncate: | 1082 case IrOpcode::kFloat32RoundTruncate: |
1079 case IrOpcode::kFloat64RoundTruncate: | 1083 case IrOpcode::kFloat64RoundTruncate: |
1080 case IrOpcode::kFloat64RoundTiesAway: | 1084 case IrOpcode::kFloat64RoundTiesAway: |
1081 case IrOpcode::kFloat32RoundTiesEven: | 1085 case IrOpcode::kFloat32RoundTiesEven: |
1082 case IrOpcode::kFloat64RoundTiesEven: | 1086 case IrOpcode::kFloat64RoundTiesEven: |
(...skipping 374 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1457 replacement->op()->EffectOutputCount() > 0); | 1461 replacement->op()->EffectOutputCount() > 0); |
1458 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1462 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1459 replacement->opcode() == IrOpcode::kFrameState); | 1463 replacement->opcode() == IrOpcode::kFrameState); |
1460 } | 1464 } |
1461 | 1465 |
1462 #endif // DEBUG | 1466 #endif // DEBUG |
1463 | 1467 |
1464 } // namespace compiler | 1468 } // namespace compiler |
1465 } // namespace internal | 1469 } // namespace internal |
1466 } // namespace v8 | 1470 } // namespace v8 |
OLD | NEW |