| 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/typer.h" | 5 #include "src/compiler/typer.h" |
| 6 | 6 |
| 7 #include "src/base/flags.h" | 7 #include "src/base/flags.h" |
| 8 #include "src/base/lazy-instance.h" | 8 #include "src/base/lazy-instance.h" |
| 9 #include "src/bootstrapper.h" | 9 #include "src/bootstrapper.h" |
| 10 #include "src/compiler/common-operator.h" | 10 #include "src/compiler/common-operator.h" |
| (...skipping 1437 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1448 | 1448 |
| 1449 | 1449 |
| 1450 Bounds Typer::Visitor::TypeJSCallFunction(Node* node) { | 1450 Bounds Typer::Visitor::TypeJSCallFunction(Node* node) { |
| 1451 return TypeUnaryOp(node, JSCallFunctionTyper); // We ignore argument types. | 1451 return TypeUnaryOp(node, JSCallFunctionTyper); // We ignore argument types. |
| 1452 } | 1452 } |
| 1453 | 1453 |
| 1454 | 1454 |
| 1455 Bounds Typer::Visitor::TypeJSCallRuntime(Node* node) { | 1455 Bounds Typer::Visitor::TypeJSCallRuntime(Node* node) { |
| 1456 switch (CallRuntimeParametersOf(node->op()).id()) { | 1456 switch (CallRuntimeParametersOf(node->op()).id()) { |
| 1457 case Runtime::kInlineIsSmi: | 1457 case Runtime::kInlineIsSmi: |
| 1458 case Runtime::kInlineIsNonNegativeSmi: | |
| 1459 case Runtime::kInlineIsArray: | 1458 case Runtime::kInlineIsArray: |
| 1460 case Runtime::kInlineIsDate: | 1459 case Runtime::kInlineIsDate: |
| 1461 case Runtime::kInlineIsTypedArray: | 1460 case Runtime::kInlineIsTypedArray: |
| 1462 case Runtime::kInlineIsMinusZero: | 1461 case Runtime::kInlineIsMinusZero: |
| 1463 case Runtime::kInlineIsFunction: | 1462 case Runtime::kInlineIsFunction: |
| 1464 case Runtime::kInlineIsRegExp: | 1463 case Runtime::kInlineIsRegExp: |
| 1465 return Bounds(Type::None(zone()), Type::Boolean(zone())); | 1464 return Bounds(Type::None(zone()), Type::Boolean(zone())); |
| 1466 case Runtime::kInlineDoubleLo: | 1465 case Runtime::kInlineDoubleLo: |
| 1467 case Runtime::kInlineDoubleHi: | 1466 case Runtime::kInlineDoubleHi: |
| 1468 return Bounds(Type::None(zone()), Type::Signed32()); | 1467 return Bounds(Type::None(zone()), Type::Signed32()); |
| (...skipping 281 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1750 UNREACHABLE(); | 1749 UNREACHABLE(); |
| 1751 return Bounds(); | 1750 return Bounds(); |
| 1752 } | 1751 } |
| 1753 | 1752 |
| 1754 | 1753 |
| 1755 Bounds Typer::Visitor::TypeObjectIsSmi(Node* node) { | 1754 Bounds Typer::Visitor::TypeObjectIsSmi(Node* node) { |
| 1756 return Bounds(Type::Boolean()); | 1755 return Bounds(Type::Boolean()); |
| 1757 } | 1756 } |
| 1758 | 1757 |
| 1759 | 1758 |
| 1760 Bounds Typer::Visitor::TypeObjectIsNonNegativeSmi(Node* node) { | |
| 1761 return Bounds(Type::Boolean()); | |
| 1762 } | |
| 1763 | |
| 1764 | |
| 1765 // Machine operators. | 1759 // Machine operators. |
| 1766 | 1760 |
| 1767 Bounds Typer::Visitor::TypeLoad(Node* node) { | 1761 Bounds Typer::Visitor::TypeLoad(Node* node) { |
| 1768 return Bounds::Unbounded(); | 1762 return Bounds::Unbounded(); |
| 1769 } | 1763 } |
| 1770 | 1764 |
| 1771 | 1765 |
| 1772 Bounds Typer::Visitor::TypeStore(Node* node) { | 1766 Bounds Typer::Visitor::TypeStore(Node* node) { |
| 1773 UNREACHABLE(); | 1767 UNREACHABLE(); |
| 1774 return Bounds(); | 1768 return Bounds(); |
| (...skipping 518 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2293 TYPED_ARRAYS(TYPED_ARRAY_CASE) | 2287 TYPED_ARRAYS(TYPED_ARRAY_CASE) |
| 2294 #undef TYPED_ARRAY_CASE | 2288 #undef TYPED_ARRAY_CASE |
| 2295 } | 2289 } |
| 2296 } | 2290 } |
| 2297 return Type::Constant(value, zone()); | 2291 return Type::Constant(value, zone()); |
| 2298 } | 2292 } |
| 2299 | 2293 |
| 2300 } // namespace compiler | 2294 } // namespace compiler |
| 2301 } // namespace internal | 2295 } // namespace internal |
| 2302 } // namespace v8 | 2296 } // namespace v8 |
| OLD | NEW |