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 1564 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1575 return Type::NonInternal(); | 1575 return Type::NonInternal(); |
1576 } | 1576 } |
1577 | 1577 |
1578 | 1578 |
1579 Type* Typer::Visitor::TypeJSCallFunction(Node* node) { | 1579 Type* Typer::Visitor::TypeJSCallFunction(Node* node) { |
1580 // TODO(bmeurer): We could infer better types if we wouldn't ignore the | 1580 // TODO(bmeurer): We could infer better types if we wouldn't ignore the |
1581 // argument types for the JSCallFunctionTyper above. | 1581 // argument types for the JSCallFunctionTyper above. |
1582 return TypeUnaryOp(node, JSCallFunctionTyper); | 1582 return TypeUnaryOp(node, JSCallFunctionTyper); |
1583 } | 1583 } |
1584 | 1584 |
| 1585 Type* Typer::Visitor::TypeJSCallFunctionWithSpread(Node* node) { |
| 1586 return TypeUnaryOp(node, JSCallFunctionTyper); |
| 1587 } |
1585 | 1588 |
1586 Type* Typer::Visitor::TypeJSCallRuntime(Node* node) { | 1589 Type* Typer::Visitor::TypeJSCallRuntime(Node* node) { |
1587 switch (CallRuntimeParametersOf(node->op()).id()) { | 1590 switch (CallRuntimeParametersOf(node->op()).id()) { |
1588 case Runtime::kInlineIsJSReceiver: | 1591 case Runtime::kInlineIsJSReceiver: |
1589 return TypeUnaryOp(node, ObjectIsReceiver); | 1592 return TypeUnaryOp(node, ObjectIsReceiver); |
1590 case Runtime::kInlineIsSmi: | 1593 case Runtime::kInlineIsSmi: |
1591 return TypeUnaryOp(node, ObjectIsSmi); | 1594 return TypeUnaryOp(node, ObjectIsSmi); |
1592 case Runtime::kInlineIsArray: | 1595 case Runtime::kInlineIsArray: |
1593 case Runtime::kInlineIsDate: | 1596 case Runtime::kInlineIsDate: |
1594 case Runtime::kInlineIsTypedArray: | 1597 case Runtime::kInlineIsTypedArray: |
(...skipping 333 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1928 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { | 1931 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { |
1929 if (Type::IsInteger(*value)) { | 1932 if (Type::IsInteger(*value)) { |
1930 return Type::Range(value->Number(), value->Number(), zone()); | 1933 return Type::Range(value->Number(), value->Number(), zone()); |
1931 } | 1934 } |
1932 return Type::NewConstant(value, zone()); | 1935 return Type::NewConstant(value, zone()); |
1933 } | 1936 } |
1934 | 1937 |
1935 } // namespace compiler | 1938 } // namespace compiler |
1936 } // namespace internal | 1939 } // namespace internal |
1937 } // namespace v8 | 1940 } // namespace v8 |
OLD | NEW |