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 1226 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1237 UNREACHABLE(); | 1237 UNREACHABLE(); |
1238 return nullptr; | 1238 return nullptr; |
1239 } | 1239 } |
1240 | 1240 |
1241 Type* Typer::Visitor::TypeJSDeleteProperty(Node* node) { | 1241 Type* Typer::Visitor::TypeJSDeleteProperty(Node* node) { |
1242 return Type::Boolean(); | 1242 return Type::Boolean(); |
1243 } | 1243 } |
1244 | 1244 |
1245 Type* Typer::Visitor::TypeJSHasProperty(Node* node) { return Type::Boolean(); } | 1245 Type* Typer::Visitor::TypeJSHasProperty(Node* node) { return Type::Boolean(); } |
1246 | 1246 |
1247 Type* Typer::Visitor::TypeJSInstanceOf(Node* node) { return Type::Boolean(); } | 1247 // JS instanceof operator. |
1248 | 1248 |
1249 Type* Typer::Visitor::TypeJSOrdinaryHasInstance(Node* node) { | 1249 Type* Typer::Visitor::JSInstanceOfTyper(Type* lhs, Type* rhs, Typer* t) { |
1250 return Type::Boolean(); | 1250 return Type::Boolean(); |
1251 } | 1251 } |
1252 | 1252 |
| 1253 Type* Typer::Visitor::JSOrdinaryHasInstanceTyper(Type* lhs, Type* rhs, |
| 1254 Typer* t) { |
| 1255 return Type::Boolean(); |
| 1256 } |
| 1257 |
1253 // JS context operators. | 1258 // JS context operators. |
1254 | 1259 |
1255 | 1260 |
1256 Type* Typer::Visitor::TypeJSLoadContext(Node* node) { | 1261 Type* Typer::Visitor::TypeJSLoadContext(Node* node) { |
1257 ContextAccess const& access = ContextAccessOf(node->op()); | 1262 ContextAccess const& access = ContextAccessOf(node->op()); |
1258 switch (access.index()) { | 1263 switch (access.index()) { |
1259 case Context::PREVIOUS_INDEX: | 1264 case Context::PREVIOUS_INDEX: |
1260 case Context::NATIVE_CONTEXT_INDEX: | 1265 case Context::NATIVE_CONTEXT_INDEX: |
1261 return Type::OtherInternal(); | 1266 return Type::OtherInternal(); |
1262 case Context::CLOSURE_INDEX: | 1267 case Context::CLOSURE_INDEX: |
(...skipping 567 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1830 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { | 1835 Type* Typer::Visitor::TypeConstant(Handle<Object> value) { |
1831 if (Type::IsInteger(*value)) { | 1836 if (Type::IsInteger(*value)) { |
1832 return Type::Range(value->Number(), value->Number(), zone()); | 1837 return Type::Range(value->Number(), value->Number(), zone()); |
1833 } | 1838 } |
1834 return Type::NewConstant(value, zone()); | 1839 return Type::NewConstant(value, zone()); |
1835 } | 1840 } |
1836 | 1841 |
1837 } // namespace compiler | 1842 } // namespace compiler |
1838 } // namespace internal | 1843 } // namespace internal |
1839 } // namespace v8 | 1844 } // namespace v8 |
OLD | NEW |