| 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 <iomanip> | 7 #include <iomanip> |
| 8 | 8 |
| 9 #include "src/base/flags.h" | 9 #include "src/base/flags.h" |
| 10 #include "src/bootstrapper.h" | 10 #include "src/bootstrapper.h" |
| (...skipping 815 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 826 // TODO(rossberg): Ideally FrameState wouldn't have a value output. | 826 // TODO(rossberg): Ideally FrameState wouldn't have a value output. |
| 827 return Type::Internal(); | 827 return Type::Internal(); |
| 828 } | 828 } |
| 829 | 829 |
| 830 Type* Typer::Visitor::TypeStateValues(Node* node) { return Type::Internal(); } | 830 Type* Typer::Visitor::TypeStateValues(Node* node) { return Type::Internal(); } |
| 831 | 831 |
| 832 Type* Typer::Visitor::TypeTypedStateValues(Node* node) { | 832 Type* Typer::Visitor::TypeTypedStateValues(Node* node) { |
| 833 return Type::Internal(); | 833 return Type::Internal(); |
| 834 } | 834 } |
| 835 | 835 |
| 836 Type* Typer::Visitor::TypeArgumentsObjectState(Node* node) { |
| 837 return Type::Internal(); |
| 838 } |
| 839 |
| 836 Type* Typer::Visitor::TypeObjectState(Node* node) { return Type::Internal(); } | 840 Type* Typer::Visitor::TypeObjectState(Node* node) { return Type::Internal(); } |
| 837 | 841 |
| 838 Type* Typer::Visitor::TypeTypedObjectState(Node* node) { | 842 Type* Typer::Visitor::TypeTypedObjectState(Node* node) { |
| 839 return Type::Internal(); | 843 return Type::Internal(); |
| 840 } | 844 } |
| 841 | 845 |
| 842 Type* Typer::Visitor::TypeCall(Node* node) { return Type::Any(); } | 846 Type* Typer::Visitor::TypeCall(Node* node) { return Type::Any(); } |
| 843 | 847 |
| 844 | 848 |
| 845 Type* Typer::Visitor::TypeProjection(Node* node) { | 849 Type* Typer::Visitor::TypeProjection(Node* node) { |
| (...skipping 722 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1568 case kWeakSetHas: | 1572 case kWeakSetHas: |
| 1569 return Type::Boolean(); | 1573 return Type::Boolean(); |
| 1570 default: | 1574 default: |
| 1571 break; | 1575 break; |
| 1572 } | 1576 } |
| 1573 } | 1577 } |
| 1574 } | 1578 } |
| 1575 return Type::NonInternal(); | 1579 return Type::NonInternal(); |
| 1576 } | 1580 } |
| 1577 | 1581 |
| 1582 Type* Typer::Visitor::TypeJSCallForwardVarargs(Node* node) { |
| 1583 return TypeUnaryOp(node, JSCallFunctionTyper); |
| 1584 } |
| 1578 | 1585 |
| 1579 Type* Typer::Visitor::TypeJSCallFunction(Node* node) { | 1586 Type* Typer::Visitor::TypeJSCallFunction(Node* node) { |
| 1580 // TODO(bmeurer): We could infer better types if we wouldn't ignore the | 1587 // TODO(bmeurer): We could infer better types if we wouldn't ignore the |
| 1581 // argument types for the JSCallFunctionTyper above. | 1588 // argument types for the JSCallFunctionTyper above. |
| 1582 return TypeUnaryOp(node, JSCallFunctionTyper); | 1589 return TypeUnaryOp(node, JSCallFunctionTyper); |
| 1583 } | 1590 } |
| 1584 | 1591 |
| 1585 Type* Typer::Visitor::TypeJSCallFunctionWithSpread(Node* node) { | 1592 Type* Typer::Visitor::TypeJSCallFunctionWithSpread(Node* node) { |
| 1586 return TypeUnaryOp(node, JSCallFunctionTyper); | 1593 return TypeUnaryOp(node, JSCallFunctionTyper); |
| 1587 } | 1594 } |
| (...skipping 343 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1931 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { | 1938 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { |
| 1932 if (Type::IsInteger(*value)) { | 1939 if (Type::IsInteger(*value)) { |
| 1933 return Type::Range(value->Number(), value->Number(), zone()); | 1940 return Type::Range(value->Number(), value->Number(), zone()); |
| 1934 } | 1941 } |
| 1935 return Type::NewConstant(value, zone()); | 1942 return Type::NewConstant(value, zone()); |
| 1936 } | 1943 } |
| 1937 | 1944 |
| 1938 } // namespace compiler | 1945 } // namespace compiler |
| 1939 } // namespace internal | 1946 } // namespace internal |
| 1940 } // namespace v8 | 1947 } // namespace v8 |
| OLD | NEW |