| 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 1241 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1252 | 1252 |
| 1253 Type* Typer::Visitor::JSInstanceOfTyper(Type* lhs, Type* rhs, Typer* t) { | 1253 Type* Typer::Visitor::JSInstanceOfTyper(Type* lhs, Type* rhs, Typer* t) { |
| 1254 return Type::Boolean(); | 1254 return Type::Boolean(); |
| 1255 } | 1255 } |
| 1256 | 1256 |
| 1257 Type* Typer::Visitor::JSOrdinaryHasInstanceTyper(Type* lhs, Type* rhs, | 1257 Type* Typer::Visitor::JSOrdinaryHasInstanceTyper(Type* lhs, Type* rhs, |
| 1258 Typer* t) { | 1258 Typer* t) { |
| 1259 return Type::Boolean(); | 1259 return Type::Boolean(); |
| 1260 } | 1260 } |
| 1261 | 1261 |
| 1262 Type* Typer::Visitor::TypeJSGetSuperConstructor(Node* node) { |
| 1263 return Type::Callable(); |
| 1264 } |
| 1265 |
| 1262 // JS context operators. | 1266 // JS context operators. |
| 1263 | 1267 |
| 1264 | 1268 |
| 1265 Type* Typer::Visitor::TypeJSLoadContext(Node* node) { | 1269 Type* Typer::Visitor::TypeJSLoadContext(Node* node) { |
| 1266 ContextAccess const& access = ContextAccessOf(node->op()); | 1270 ContextAccess const& access = ContextAccessOf(node->op()); |
| 1267 switch (access.index()) { | 1271 switch (access.index()) { |
| 1268 case Context::PREVIOUS_INDEX: | 1272 case Context::PREVIOUS_INDEX: |
| 1269 case Context::NATIVE_CONTEXT_INDEX: | 1273 case Context::NATIVE_CONTEXT_INDEX: |
| 1270 return Type::OtherInternal(); | 1274 return Type::OtherInternal(); |
| 1271 case Context::CLOSURE_INDEX: | 1275 case Context::CLOSURE_INDEX: |
| (...skipping 579 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1851 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { | 1855 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { |
| 1852 if (Type::IsInteger(*value)) { | 1856 if (Type::IsInteger(*value)) { |
| 1853 return Type::Range(value->Number(), value->Number(), zone()); | 1857 return Type::Range(value->Number(), value->Number(), zone()); |
| 1854 } | 1858 } |
| 1855 return Type::NewConstant(value, zone()); | 1859 return Type::NewConstant(value, zone()); |
| 1856 } | 1860 } |
| 1857 | 1861 |
| 1858 } // namespace compiler | 1862 } // namespace compiler |
| 1859 } // namespace internal | 1863 } // namespace internal |
| 1860 } // namespace v8 | 1864 } // namespace v8 |
| OLD | NEW |