| 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/base/lazy-instance.h" | 8 #include "src/base/lazy-instance.h" |
| 9 #include "src/bootstrapper.h" | 9 #include "src/bootstrapper.h" |
| 10 #include "src/compiler/graph-reducer.h" | 10 #include "src/compiler/graph-reducer.h" |
| (...skipping 564 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 575 Type::FunctionType* function_type = typer_->function_type(); | 575 Type::FunctionType* function_type = typer_->function_type(); |
| 576 if (function_type != nullptr && param >= 0 && | 576 if (function_type != nullptr && param >= 0 && |
| 577 param < static_cast<int>(function_type->Arity())) { | 577 param < static_cast<int>(function_type->Arity())) { |
| 578 return Bounds(Type::None(), function_type->Parameter(param)); | 578 return Bounds(Type::None(), function_type->Parameter(param)); |
| 579 } | 579 } |
| 580 return Bounds::Unbounded(zone()); | 580 return Bounds::Unbounded(zone()); |
| 581 } | 581 } |
| 582 | 582 |
| 583 | 583 |
| 584 Bounds Typer::Visitor::TypeOsrValue(Node* node) { | 584 Bounds Typer::Visitor::TypeOsrValue(Node* node) { |
| 585 if (node->InputAt(0)->opcode() == IrOpcode::kOsrLoopEntry) { |
| 586 // Before deconstruction, OSR values have type {None} to avoid polluting |
| 587 // the types of phis and other nodes in the graph. |
| 588 return Bounds(Type::None(), Type::None()); |
| 589 } |
| 590 if (NodeProperties::IsTyped(node)) { |
| 591 // After deconstruction, OSR values may have had a type explicitly set. |
| 592 return NodeProperties::GetBounds(node); |
| 593 } |
| 594 // Otherwise, be conservative. |
| 585 return Bounds::Unbounded(zone()); | 595 return Bounds::Unbounded(zone()); |
| 586 } | 596 } |
| 587 | 597 |
| 588 | 598 |
| 589 Bounds Typer::Visitor::TypeInt32Constant(Node* node) { | 599 Bounds Typer::Visitor::TypeInt32Constant(Node* node) { |
| 590 double number = OpParameter<int32_t>(node); | 600 double number = OpParameter<int32_t>(node); |
| 591 return Bounds(Type::Intersect( | 601 return Bounds(Type::Intersect( |
| 592 Type::Range(number, number, zone()), Type::UntaggedSigned32(), zone())); | 602 Type::Range(number, number, zone()), Type::UntaggedSigned32(), zone())); |
| 593 } | 603 } |
| 594 | 604 |
| (...skipping 1775 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2370 TYPED_ARRAYS(TYPED_ARRAY_CASE) | 2380 TYPED_ARRAYS(TYPED_ARRAY_CASE) |
| 2371 #undef TYPED_ARRAY_CASE | 2381 #undef TYPED_ARRAY_CASE |
| 2372 } | 2382 } |
| 2373 } | 2383 } |
| 2374 return Type::Constant(value, zone()); | 2384 return Type::Constant(value, zone()); |
| 2375 } | 2385 } |
| 2376 | 2386 |
| 2377 } // namespace compiler | 2387 } // namespace compiler |
| 2378 } // namespace internal | 2388 } // namespace internal |
| 2379 } // namespace v8 | 2389 } // namespace v8 |
| OLD | NEW |