| 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 735 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 746     case IrOpcode::kNumberAtan2: | 746     case IrOpcode::kNumberAtan2: | 
| 747       // (Number, Number) -> Number | 747       // (Number, Number) -> Number | 
| 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::kNumberExp: |  | 
| 757     case IrOpcode::kNumberLog: | 756     case IrOpcode::kNumberLog: | 
| 758     case IrOpcode::kNumberLog1p: | 757     case IrOpcode::kNumberLog1p: | 
| 759     case IrOpcode::kNumberLog2: | 758     case IrOpcode::kNumberLog2: | 
| 760     case IrOpcode::kNumberLog10: | 759     case IrOpcode::kNumberLog10: | 
| 761     case IrOpcode::kNumberRound: | 760     case IrOpcode::kNumberRound: | 
| 762     case IrOpcode::kNumberSqrt: | 761     case IrOpcode::kNumberSqrt: | 
| 763     case IrOpcode::kNumberTrunc: | 762     case IrOpcode::kNumberTrunc: | 
| 764       // Number -> Number | 763       // Number -> Number | 
| 765       CheckValueInputIs(node, 0, Type::Number()); | 764       CheckValueInputIs(node, 0, Type::Number()); | 
| 766       CheckUpperIs(node, Type::Number()); | 765       CheckUpperIs(node, Type::Number()); | 
| (...skipping 297 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1064     case IrOpcode::kFloat64SubPreserveNan: | 1063     case IrOpcode::kFloat64SubPreserveNan: | 
| 1065     case IrOpcode::kFloat64Neg: | 1064     case IrOpcode::kFloat64Neg: | 
| 1066     case IrOpcode::kFloat64Mul: | 1065     case IrOpcode::kFloat64Mul: | 
| 1067     case IrOpcode::kFloat64Div: | 1066     case IrOpcode::kFloat64Div: | 
| 1068     case IrOpcode::kFloat64Mod: | 1067     case IrOpcode::kFloat64Mod: | 
| 1069     case IrOpcode::kFloat64Max: | 1068     case IrOpcode::kFloat64Max: | 
| 1070     case IrOpcode::kFloat64Min: | 1069     case IrOpcode::kFloat64Min: | 
| 1071     case IrOpcode::kFloat64Abs: | 1070     case IrOpcode::kFloat64Abs: | 
| 1072     case IrOpcode::kFloat64Atan: | 1071     case IrOpcode::kFloat64Atan: | 
| 1073     case IrOpcode::kFloat64Atan2: | 1072     case IrOpcode::kFloat64Atan2: | 
| 1074     case IrOpcode::kFloat64Exp: |  | 
| 1075     case IrOpcode::kFloat64Log: | 1073     case IrOpcode::kFloat64Log: | 
| 1076     case IrOpcode::kFloat64Log1p: | 1074     case IrOpcode::kFloat64Log1p: | 
| 1077     case IrOpcode::kFloat64Log2: | 1075     case IrOpcode::kFloat64Log2: | 
| 1078     case IrOpcode::kFloat64Log10: | 1076     case IrOpcode::kFloat64Log10: | 
| 1079     case IrOpcode::kFloat64Sqrt: | 1077     case IrOpcode::kFloat64Sqrt: | 
| 1080     case IrOpcode::kFloat32RoundDown: | 1078     case IrOpcode::kFloat32RoundDown: | 
| 1081     case IrOpcode::kFloat64RoundDown: | 1079     case IrOpcode::kFloat64RoundDown: | 
| 1082     case IrOpcode::kFloat32RoundUp: | 1080     case IrOpcode::kFloat32RoundUp: | 
| 1083     case IrOpcode::kFloat64RoundUp: | 1081     case IrOpcode::kFloat64RoundUp: | 
| 1084     case IrOpcode::kFloat32RoundTruncate: | 1082     case IrOpcode::kFloat32RoundTruncate: | 
| (...skipping 378 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1463          replacement->op()->EffectOutputCount() > 0); | 1461          replacement->op()->EffectOutputCount() > 0); | 
| 1464   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1462   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 
| 1465          replacement->opcode() == IrOpcode::kFrameState); | 1463          replacement->opcode() == IrOpcode::kFrameState); | 
| 1466 } | 1464 } | 
| 1467 | 1465 | 
| 1468 #endif  // DEBUG | 1466 #endif  // DEBUG | 
| 1469 | 1467 | 
| 1470 }  // namespace compiler | 1468 }  // namespace compiler | 
| 1471 }  // namespace internal | 1469 }  // namespace internal | 
| 1472 }  // namespace v8 | 1470 }  // namespace v8 | 
| OLD | NEW | 
|---|