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 1379 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1390 return Type::Any(); | 1390 return Type::Any(); |
1391 } | 1391 } |
1392 | 1392 |
1393 | 1393 |
1394 Type* Typer::Visitor::TypeJSStoreContext(Node* node) { | 1394 Type* Typer::Visitor::TypeJSStoreContext(Node* node) { |
1395 UNREACHABLE(); | 1395 UNREACHABLE(); |
1396 return nullptr; | 1396 return nullptr; |
1397 } | 1397 } |
1398 | 1398 |
1399 | 1399 |
1400 Type* Typer::Visitor::TypeJSLoadNativeContext(Node* node) { | |
1401 return Type::Intersect(Type::Internal(), Type::TaggedPointer(), zone()); | |
1402 } | |
1403 | |
1404 | |
1405 Type* Typer::Visitor::TypeJSLoadDynamic(Node* node) { return Type::Any(); } | 1400 Type* Typer::Visitor::TypeJSLoadDynamic(Node* node) { return Type::Any(); } |
1406 | 1401 |
1407 | 1402 |
1408 Type* Typer::Visitor::WrapContextTypeForInput(Node* node) { | 1403 Type* Typer::Visitor::WrapContextTypeForInput(Node* node) { |
1409 Type* outer = TypeOrNone(NodeProperties::GetContextInput(node)); | 1404 Type* outer = TypeOrNone(NodeProperties::GetContextInput(node)); |
1410 if (outer->Is(Type::None())) { | 1405 if (outer->Is(Type::None())) { |
1411 return Type::None(); | 1406 return Type::None(); |
1412 } else { | 1407 } else { |
1413 DCHECK(outer->Maybe(Type::Internal())); | 1408 DCHECK(outer->Maybe(Type::Internal())); |
1414 return Type::Context(outer, zone()); | 1409 return Type::Context(outer, zone()); |
(...skipping 968 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2383 } | 2378 } |
2384 if (Type::IsInteger(*value)) { | 2379 if (Type::IsInteger(*value)) { |
2385 return Type::Range(value->Number(), value->Number(), zone()); | 2380 return Type::Range(value->Number(), value->Number(), zone()); |
2386 } | 2381 } |
2387 return Type::Constant(value, zone()); | 2382 return Type::Constant(value, zone()); |
2388 } | 2383 } |
2389 | 2384 |
2390 } // namespace compiler | 2385 } // namespace compiler |
2391 } // namespace internal | 2386 } // namespace internal |
2392 } // namespace v8 | 2387 } // namespace v8 |
OLD | NEW |