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/bootstrapper.h" | 8 #include "src/bootstrapper.h" |
9 #include "src/compilation-dependencies.h" | 9 #include "src/compilation-dependencies.h" |
10 #include "src/compiler/common-operator.h" | 10 #include "src/compiler/common-operator.h" |
(...skipping 1684 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1695 Type* Typer::Visitor::TypeJSGeneratorRestoreContinuation(Node* node) { | 1695 Type* Typer::Visitor::TypeJSGeneratorRestoreContinuation(Node* node) { |
1696 return typer_->cache_.kSmi; | 1696 return typer_->cache_.kSmi; |
1697 } | 1697 } |
1698 | 1698 |
1699 Type* Typer::Visitor::TypeJSGeneratorRestoreRegister(Node* node) { | 1699 Type* Typer::Visitor::TypeJSGeneratorRestoreRegister(Node* node) { |
1700 return Type::Any(); | 1700 return Type::Any(); |
1701 } | 1701 } |
1702 | 1702 |
1703 Type* Typer::Visitor::TypeJSStackCheck(Node* node) { return Type::Any(); } | 1703 Type* Typer::Visitor::TypeJSStackCheck(Node* node) { return Type::Any(); } |
1704 | 1704 |
1705 | |
1706 // Simplified operators. | 1705 // Simplified operators. |
1707 | 1706 |
1708 Type* Typer::Visitor::TypeBooleanNot(Node* node) { return Type::Boolean(); } | 1707 Type* Typer::Visitor::TypeBooleanNot(Node* node) { return Type::Boolean(); } |
1709 | 1708 |
1710 Type* Typer::Visitor::TypeBooleanToNumber(Node* node) { | 1709 Type* Typer::Visitor::TypeBooleanToNumber(Node* node) { |
1711 return TypeUnaryOp(node, ToNumber); | 1710 return TypeUnaryOp(node, ToNumber); |
1712 } | 1711 } |
1713 | 1712 |
1714 Type* Typer::Visitor::TypeNumberEqual(Node* node) { return Type::Boolean(); } | 1713 Type* Typer::Visitor::TypeNumberEqual(Node* node) { return Type::Boolean(); } |
1715 | 1714 |
1716 Type* Typer::Visitor::TypeNumberLessThan(Node* node) { return Type::Boolean(); } | 1715 Type* Typer::Visitor::TypeNumberLessThan(Node* node) { return Type::Boolean(); } |
1717 | 1716 |
1718 Type* Typer::Visitor::TypeNumberLessThanOrEqual(Node* node) { | 1717 Type* Typer::Visitor::TypeNumberLessThanOrEqual(Node* node) { |
1719 return Type::Boolean(); | 1718 return Type::Boolean(); |
1720 } | 1719 } |
1721 | 1720 |
1722 Type* Typer::Visitor::TypeNumberAdd(Node* node) { return Type::Number(); } | 1721 Type* Typer::Visitor::TypeNumberAdd(Node* node) { return Type::Number(); } |
1723 | 1722 |
1724 Type* Typer::Visitor::TypeNumberSubtract(Node* node) { return Type::Number(); } | 1723 Type* Typer::Visitor::TypeNumberSubtract(Node* node) { return Type::Number(); } |
1725 | 1724 |
| 1725 Type* Typer::Visitor::TypeSpeculativeNumberAdd(Node* node) { |
| 1726 return Type::Number(); |
| 1727 } |
| 1728 |
| 1729 Type* Typer::Visitor::TypeSpeculativeNumberSubtract(Node* node) { |
| 1730 return Type::Number(); |
| 1731 } |
| 1732 |
1726 Type* Typer::Visitor::TypeNumberMultiply(Node* node) { return Type::Number(); } | 1733 Type* Typer::Visitor::TypeNumberMultiply(Node* node) { return Type::Number(); } |
1727 | 1734 |
1728 Type* Typer::Visitor::TypeNumberDivide(Node* node) { return Type::Number(); } | 1735 Type* Typer::Visitor::TypeNumberDivide(Node* node) { return Type::Number(); } |
1729 | 1736 |
1730 Type* Typer::Visitor::TypeNumberModulus(Node* node) { return Type::Number(); } | 1737 Type* Typer::Visitor::TypeNumberModulus(Node* node) { return Type::Number(); } |
1731 | 1738 |
1732 Type* Typer::Visitor::TypeNumberBitwiseOr(Node* node) { | 1739 Type* Typer::Visitor::TypeNumberBitwiseOr(Node* node) { |
1733 return Type::Signed32(); | 1740 return Type::Signed32(); |
1734 } | 1741 } |
1735 | 1742 |
(...skipping 176 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1912 // TODO(neis): DCHECK(arg.upper->Is(Type::Boolean())); | 1919 // TODO(neis): DCHECK(arg.upper->Is(Type::Boolean())); |
1913 return ChangeRepresentation(arg, Type::UntaggedBit(), zone()); | 1920 return ChangeRepresentation(arg, Type::UntaggedBit(), zone()); |
1914 } | 1921 } |
1915 | 1922 |
1916 Type* Typer::Visitor::TypeChangeBitToTagged(Node* node) { | 1923 Type* Typer::Visitor::TypeChangeBitToTagged(Node* node) { |
1917 Type* arg = Operand(node, 0); | 1924 Type* arg = Operand(node, 0); |
1918 // TODO(neis): DCHECK(arg.upper->Is(Type::Boolean())); | 1925 // TODO(neis): DCHECK(arg.upper->Is(Type::Boolean())); |
1919 return ChangeRepresentation(arg, Type::TaggedPointer(), zone()); | 1926 return ChangeRepresentation(arg, Type::TaggedPointer(), zone()); |
1920 } | 1927 } |
1921 | 1928 |
| 1929 Type* Typer::Visitor::TypeCheckedUint32ToInt32(Node* node) { |
| 1930 return Type::Signed32(); |
| 1931 } |
| 1932 |
| 1933 Type* Typer::Visitor::TypeCheckedFloat64ToInt32(Node* node) { |
| 1934 return Type::Signed32(); |
| 1935 } |
| 1936 |
| 1937 Type* Typer::Visitor::TypeCheckedTaggedToInt32(Node* node) { |
| 1938 return Type::Signed32(); |
| 1939 } |
| 1940 |
| 1941 Type* Typer::Visitor::TypeCheckedTaggedToFloat64(Node* node) { |
| 1942 return Type::Number(); |
| 1943 } |
| 1944 |
1922 Type* Typer::Visitor::TypeTruncateTaggedToWord32(Node* node) { | 1945 Type* Typer::Visitor::TypeTruncateTaggedToWord32(Node* node) { |
1923 Type* arg = Operand(node, 0); | 1946 Type* arg = Operand(node, 0); |
1924 // TODO(neis): DCHECK(arg->Is(Type::Number())); | 1947 // TODO(neis): DCHECK(arg->Is(Type::Number())); |
1925 return ChangeRepresentation(arg, Type::UntaggedIntegral32(), zone()); | 1948 return ChangeRepresentation(arg, Type::UntaggedIntegral32(), zone()); |
1926 } | 1949 } |
1927 | 1950 |
1928 Type* Typer::Visitor::TypeAllocate(Node* node) { return Type::TaggedPointer(); } | 1951 Type* Typer::Visitor::TypeAllocate(Node* node) { return Type::TaggedPointer(); } |
1929 | 1952 |
1930 | 1953 |
1931 namespace { | 1954 namespace { |
(...skipping 684 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2616 } | 2639 } |
2617 if (Type::IsInteger(*value)) { | 2640 if (Type::IsInteger(*value)) { |
2618 return Type::Range(value->Number(), value->Number(), zone()); | 2641 return Type::Range(value->Number(), value->Number(), zone()); |
2619 } | 2642 } |
2620 return Type::Constant(value, zone()); | 2643 return Type::Constant(value, zone()); |
2621 } | 2644 } |
2622 | 2645 |
2623 } // namespace compiler | 2646 } // namespace compiler |
2624 } // namespace internal | 2647 } // namespace internal |
2625 } // namespace v8 | 2648 } // namespace v8 |
OLD | NEW |