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 750 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
761 case IrOpcode::kNumberExp: | 761 case IrOpcode::kNumberExp: |
762 case IrOpcode::kNumberExpm1: | 762 case IrOpcode::kNumberExpm1: |
763 case IrOpcode::kNumberLog: | 763 case IrOpcode::kNumberLog: |
764 case IrOpcode::kNumberLog1p: | 764 case IrOpcode::kNumberLog1p: |
765 case IrOpcode::kNumberLog2: | 765 case IrOpcode::kNumberLog2: |
766 case IrOpcode::kNumberLog10: | 766 case IrOpcode::kNumberLog10: |
767 case IrOpcode::kNumberCbrt: | 767 case IrOpcode::kNumberCbrt: |
768 case IrOpcode::kNumberRound: | 768 case IrOpcode::kNumberRound: |
769 case IrOpcode::kNumberSin: | 769 case IrOpcode::kNumberSin: |
770 case IrOpcode::kNumberSqrt: | 770 case IrOpcode::kNumberSqrt: |
| 771 case IrOpcode::kNumberTan: |
771 case IrOpcode::kNumberTrunc: | 772 case IrOpcode::kNumberTrunc: |
772 // Number -> Number | 773 // Number -> Number |
773 CheckValueInputIs(node, 0, Type::Number()); | 774 CheckValueInputIs(node, 0, Type::Number()); |
774 CheckUpperIs(node, Type::Number()); | 775 CheckUpperIs(node, Type::Number()); |
775 break; | 776 break; |
776 case IrOpcode::kNumberToInt32: | 777 case IrOpcode::kNumberToInt32: |
777 // Number -> Signed32 | 778 // Number -> Signed32 |
778 CheckValueInputIs(node, 0, Type::Number()); | 779 CheckValueInputIs(node, 0, Type::Number()); |
779 CheckUpperIs(node, Type::Signed32()); | 780 CheckUpperIs(node, Type::Signed32()); |
780 break; | 781 break; |
(...skipping 302 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1083 case IrOpcode::kFloat64Cos: | 1084 case IrOpcode::kFloat64Cos: |
1084 case IrOpcode::kFloat64Exp: | 1085 case IrOpcode::kFloat64Exp: |
1085 case IrOpcode::kFloat64Expm1: | 1086 case IrOpcode::kFloat64Expm1: |
1086 case IrOpcode::kFloat64Log: | 1087 case IrOpcode::kFloat64Log: |
1087 case IrOpcode::kFloat64Log1p: | 1088 case IrOpcode::kFloat64Log1p: |
1088 case IrOpcode::kFloat64Log2: | 1089 case IrOpcode::kFloat64Log2: |
1089 case IrOpcode::kFloat64Log10: | 1090 case IrOpcode::kFloat64Log10: |
1090 case IrOpcode::kFloat64Cbrt: | 1091 case IrOpcode::kFloat64Cbrt: |
1091 case IrOpcode::kFloat64Sin: | 1092 case IrOpcode::kFloat64Sin: |
1092 case IrOpcode::kFloat64Sqrt: | 1093 case IrOpcode::kFloat64Sqrt: |
| 1094 case IrOpcode::kFloat64Tan: |
1093 case IrOpcode::kFloat32RoundDown: | 1095 case IrOpcode::kFloat32RoundDown: |
1094 case IrOpcode::kFloat64RoundDown: | 1096 case IrOpcode::kFloat64RoundDown: |
1095 case IrOpcode::kFloat32RoundUp: | 1097 case IrOpcode::kFloat32RoundUp: |
1096 case IrOpcode::kFloat64RoundUp: | 1098 case IrOpcode::kFloat64RoundUp: |
1097 case IrOpcode::kFloat32RoundTruncate: | 1099 case IrOpcode::kFloat32RoundTruncate: |
1098 case IrOpcode::kFloat64RoundTruncate: | 1100 case IrOpcode::kFloat64RoundTruncate: |
1099 case IrOpcode::kFloat64RoundTiesAway: | 1101 case IrOpcode::kFloat64RoundTiesAway: |
1100 case IrOpcode::kFloat32RoundTiesEven: | 1102 case IrOpcode::kFloat32RoundTiesEven: |
1101 case IrOpcode::kFloat64RoundTiesEven: | 1103 case IrOpcode::kFloat64RoundTiesEven: |
1102 case IrOpcode::kFloat64Equal: | 1104 case IrOpcode::kFloat64Equal: |
(...skipping 373 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1476 replacement->op()->EffectOutputCount() > 0); | 1478 replacement->op()->EffectOutputCount() > 0); |
1477 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1479 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1478 replacement->opcode() == IrOpcode::kFrameState); | 1480 replacement->opcode() == IrOpcode::kFrameState); |
1479 } | 1481 } |
1480 | 1482 |
1481 #endif // DEBUG | 1483 #endif // DEBUG |
1482 | 1484 |
1483 } // namespace compiler | 1485 } // namespace compiler |
1484 } // namespace internal | 1486 } // namespace internal |
1485 } // namespace v8 | 1487 } // namespace v8 |
OLD | NEW |