| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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/typing.h" | 5 #include "src/typing.h" |
| 6 | 6 |
| 7 #include "src/frames.h" | 7 #include "src/frames.h" |
| 8 #include "src/frames-inl.h" | 8 #include "src/frames-inl.h" |
| 9 #include "src/ostreams.h" | 9 #include "src/ostreams.h" |
| 10 #include "src/parser.h" // for CompileTimeValue; TODO(rossberg): should move | 10 #include "src/parser.h" // for CompileTimeValue; TODO(rossberg): should move |
| (...skipping 466 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 477 void AstTyper::VisitThrow(Throw* expr) { | 477 void AstTyper::VisitThrow(Throw* expr) { |
| 478 RECURSE(Visit(expr->exception())); | 478 RECURSE(Visit(expr->exception())); |
| 479 // TODO(rossberg): is it worth having a non-termination effect? | 479 // TODO(rossberg): is it worth having a non-termination effect? |
| 480 | 480 |
| 481 NarrowType(expr, Bounds(Type::None(zone()))); | 481 NarrowType(expr, Bounds(Type::None(zone()))); |
| 482 } | 482 } |
| 483 | 483 |
| 484 | 484 |
| 485 void AstTyper::VisitProperty(Property* expr) { | 485 void AstTyper::VisitProperty(Property* expr) { |
| 486 // Collect type feedback. | 486 // Collect type feedback. |
| 487 TypeFeedbackId id = expr->PropertyFeedbackId(); | 487 FeedbackVectorICSlot slot(FeedbackVectorICSlot::Invalid()); |
| 488 expr->set_is_uninitialized(oracle()->LoadIsUninitialized(id)); | 488 TypeFeedbackId id(TypeFeedbackId::None()); |
| 489 if (FLAG_vector_ics) { |
| 490 slot = expr->PropertyFeedbackSlot(); |
| 491 expr->set_is_uninitialized(oracle()->LoadIsUninitialized(slot)); |
| 492 } else { |
| 493 id = expr->PropertyFeedbackId(); |
| 494 expr->set_is_uninitialized(oracle()->LoadIsUninitialized(id)); |
| 495 } |
| 496 |
| 489 if (!expr->IsUninitialized()) { | 497 if (!expr->IsUninitialized()) { |
| 490 if (expr->key()->IsPropertyName()) { | 498 if (expr->key()->IsPropertyName()) { |
| 491 Literal* lit_key = expr->key()->AsLiteral(); | 499 Literal* lit_key = expr->key()->AsLiteral(); |
| 492 DCHECK(lit_key != NULL && lit_key->value()->IsString()); | 500 DCHECK(lit_key != NULL && lit_key->value()->IsString()); |
| 493 Handle<String> name = Handle<String>::cast(lit_key->value()); | 501 Handle<String> name = Handle<String>::cast(lit_key->value()); |
| 494 oracle()->PropertyReceiverTypes(id, name, expr->GetReceiverTypes()); | 502 if (FLAG_vector_ics) { |
| 503 oracle()->PropertyReceiverTypes(slot, name, expr->GetReceiverTypes()); |
| 504 } else { |
| 505 oracle()->PropertyReceiverTypes(id, name, expr->GetReceiverTypes()); |
| 506 } |
| 495 } else { | 507 } else { |
| 496 bool is_string; | 508 bool is_string; |
| 497 oracle()->KeyedPropertyReceiverTypes( | 509 if (FLAG_vector_ics) { |
| 498 id, expr->GetReceiverTypes(), &is_string); | 510 oracle()->KeyedPropertyReceiverTypes(slot, expr->GetReceiverTypes(), |
| 511 &is_string); |
| 512 } else { |
| 513 oracle()->KeyedPropertyReceiverTypes(id, expr->GetReceiverTypes(), |
| 514 &is_string); |
| 515 } |
| 499 expr->set_is_string_access(is_string); | 516 expr->set_is_string_access(is_string); |
| 500 } | 517 } |
| 501 } | 518 } |
| 502 | 519 |
| 503 RECURSE(Visit(expr->obj())); | 520 RECURSE(Visit(expr->obj())); |
| 504 RECURSE(Visit(expr->key())); | 521 RECURSE(Visit(expr->key())); |
| 505 | 522 |
| 506 // We don't know anything about the result type. | 523 // We don't know anything about the result type. |
| 507 } | 524 } |
| 508 | 525 |
| (...skipping 279 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 788 void AstTyper::VisitModuleUrl(ModuleUrl* module) { | 805 void AstTyper::VisitModuleUrl(ModuleUrl* module) { |
| 789 } | 806 } |
| 790 | 807 |
| 791 | 808 |
| 792 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) { | 809 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) { |
| 793 RECURSE(Visit(stmt->body())); | 810 RECURSE(Visit(stmt->body())); |
| 794 } | 811 } |
| 795 | 812 |
| 796 | 813 |
| 797 } } // namespace v8::internal | 814 } } // namespace v8::internal |
| OLD | NEW |