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 734 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
745 case IrOpcode::kNumberPow: | 745 case IrOpcode::kNumberPow: |
746 // (Number, Number) -> Number | 746 // (Number, Number) -> Number |
747 CheckValueInputIs(node, 0, Type::Number()); | 747 CheckValueInputIs(node, 0, Type::Number()); |
748 CheckValueInputIs(node, 1, Type::Number()); | 748 CheckValueInputIs(node, 1, Type::Number()); |
749 CheckUpperIs(node, Type::Number()); | 749 CheckUpperIs(node, Type::Number()); |
750 break; | 750 break; |
751 case IrOpcode::kNumberAbs: | 751 case IrOpcode::kNumberAbs: |
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::kNumberAcos: |
| 756 case IrOpcode::kNumberAcosh: |
| 757 case IrOpcode::kNumberAsin: |
| 758 case IrOpcode::kNumberAsinh: |
755 case IrOpcode::kNumberAtan: | 759 case IrOpcode::kNumberAtan: |
756 case IrOpcode::kNumberAtanh: | 760 case IrOpcode::kNumberAtanh: |
757 case IrOpcode::kNumberCos: | 761 case IrOpcode::kNumberCos: |
758 case IrOpcode::kNumberCosh: | 762 case IrOpcode::kNumberCosh: |
759 case IrOpcode::kNumberExp: | 763 case IrOpcode::kNumberExp: |
760 case IrOpcode::kNumberExpm1: | 764 case IrOpcode::kNumberExpm1: |
761 case IrOpcode::kNumberLog: | 765 case IrOpcode::kNumberLog: |
762 case IrOpcode::kNumberLog1p: | 766 case IrOpcode::kNumberLog1p: |
763 case IrOpcode::kNumberLog2: | 767 case IrOpcode::kNumberLog2: |
764 case IrOpcode::kNumberLog10: | 768 case IrOpcode::kNumberLog10: |
765 case IrOpcode::kNumberCbrt: | 769 case IrOpcode::kNumberCbrt: |
766 case IrOpcode::kNumberRound: | 770 case IrOpcode::kNumberRound: |
| 771 case IrOpcode::kNumberSign: |
767 case IrOpcode::kNumberSin: | 772 case IrOpcode::kNumberSin: |
768 case IrOpcode::kNumberSinh: | 773 case IrOpcode::kNumberSinh: |
769 case IrOpcode::kNumberSqrt: | 774 case IrOpcode::kNumberSqrt: |
770 case IrOpcode::kNumberTan: | 775 case IrOpcode::kNumberTan: |
771 case IrOpcode::kNumberTanh: | 776 case IrOpcode::kNumberTanh: |
772 case IrOpcode::kNumberTrunc: | 777 case IrOpcode::kNumberTrunc: |
773 // Number -> Number | 778 // Number -> Number |
774 CheckValueInputIs(node, 0, Type::Number()); | 779 CheckValueInputIs(node, 0, Type::Number()); |
775 CheckUpperIs(node, Type::Number()); | 780 CheckUpperIs(node, Type::Number()); |
776 break; | 781 break; |
(...skipping 312 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1089 case IrOpcode::kFloat64Add: | 1094 case IrOpcode::kFloat64Add: |
1090 case IrOpcode::kFloat64Sub: | 1095 case IrOpcode::kFloat64Sub: |
1091 case IrOpcode::kFloat64SubPreserveNan: | 1096 case IrOpcode::kFloat64SubPreserveNan: |
1092 case IrOpcode::kFloat64Neg: | 1097 case IrOpcode::kFloat64Neg: |
1093 case IrOpcode::kFloat64Mul: | 1098 case IrOpcode::kFloat64Mul: |
1094 case IrOpcode::kFloat64Div: | 1099 case IrOpcode::kFloat64Div: |
1095 case IrOpcode::kFloat64Mod: | 1100 case IrOpcode::kFloat64Mod: |
1096 case IrOpcode::kFloat64Max: | 1101 case IrOpcode::kFloat64Max: |
1097 case IrOpcode::kFloat64Min: | 1102 case IrOpcode::kFloat64Min: |
1098 case IrOpcode::kFloat64Abs: | 1103 case IrOpcode::kFloat64Abs: |
| 1104 case IrOpcode::kFloat64Acos: |
| 1105 case IrOpcode::kFloat64Acosh: |
| 1106 case IrOpcode::kFloat64Asin: |
| 1107 case IrOpcode::kFloat64Asinh: |
1099 case IrOpcode::kFloat64Atan: | 1108 case IrOpcode::kFloat64Atan: |
1100 case IrOpcode::kFloat64Atan2: | 1109 case IrOpcode::kFloat64Atan2: |
1101 case IrOpcode::kFloat64Atanh: | 1110 case IrOpcode::kFloat64Atanh: |
1102 case IrOpcode::kFloat64Cbrt: | 1111 case IrOpcode::kFloat64Cbrt: |
1103 case IrOpcode::kFloat64Cos: | 1112 case IrOpcode::kFloat64Cos: |
1104 case IrOpcode::kFloat64Cosh: | 1113 case IrOpcode::kFloat64Cosh: |
1105 case IrOpcode::kFloat64Exp: | 1114 case IrOpcode::kFloat64Exp: |
1106 case IrOpcode::kFloat64Expm1: | 1115 case IrOpcode::kFloat64Expm1: |
1107 case IrOpcode::kFloat64Log: | 1116 case IrOpcode::kFloat64Log: |
1108 case IrOpcode::kFloat64Log1p: | 1117 case IrOpcode::kFloat64Log1p: |
(...skipping 391 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1500 replacement->op()->EffectOutputCount() > 0); | 1509 replacement->op()->EffectOutputCount() > 0); |
1501 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1510 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1502 replacement->opcode() == IrOpcode::kFrameState); | 1511 replacement->opcode() == IrOpcode::kFrameState); |
1503 } | 1512 } |
1504 | 1513 |
1505 #endif // DEBUG | 1514 #endif // DEBUG |
1506 | 1515 |
1507 } // namespace compiler | 1516 } // namespace compiler |
1508 } // namespace internal | 1517 } // namespace internal |
1509 } // namespace v8 | 1518 } // namespace v8 |
OLD | NEW |