| 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 474 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 485 RECURSE(Visit(expr->exception())); | 485 RECURSE(Visit(expr->exception())); |
| 486 // TODO(rossberg): is it worth having a non-termination effect? | 486 // TODO(rossberg): is it worth having a non-termination effect? |
| 487 | 487 |
| 488 NarrowType(expr, Bounds(Type::None(zone()))); | 488 NarrowType(expr, Bounds(Type::None(zone()))); |
| 489 } | 489 } |
| 490 | 490 |
| 491 | 491 |
| 492 void AstTyper::VisitProperty(Property* expr) { | 492 void AstTyper::VisitProperty(Property* expr) { |
| 493 // Collect type feedback. | 493 // Collect type feedback. |
| 494 FeedbackVectorICSlot slot(FeedbackVectorICSlot::Invalid()); | 494 FeedbackVectorICSlot slot(FeedbackVectorICSlot::Invalid()); |
| 495 TypeFeedbackId id(TypeFeedbackId::None()); | 495 slot = expr->PropertyFeedbackSlot(); |
| 496 if (FLAG_vector_ics) { | 496 expr->set_inline_cache_state(oracle()->LoadInlineCacheState(slot)); |
| 497 slot = expr->PropertyFeedbackSlot(); | |
| 498 expr->set_inline_cache_state(oracle()->LoadInlineCacheState(slot)); | |
| 499 } else { | |
| 500 id = expr->PropertyFeedbackId(); | |
| 501 expr->set_inline_cache_state(oracle()->LoadInlineCacheState(id)); | |
| 502 } | |
| 503 | 497 |
| 504 if (!expr->IsUninitialized()) { | 498 if (!expr->IsUninitialized()) { |
| 505 if (expr->key()->IsPropertyName()) { | 499 if (expr->key()->IsPropertyName()) { |
| 506 Literal* lit_key = expr->key()->AsLiteral(); | 500 Literal* lit_key = expr->key()->AsLiteral(); |
| 507 DCHECK(lit_key != NULL && lit_key->value()->IsString()); | 501 DCHECK(lit_key != NULL && lit_key->value()->IsString()); |
| 508 Handle<String> name = Handle<String>::cast(lit_key->value()); | 502 Handle<String> name = Handle<String>::cast(lit_key->value()); |
| 509 if (FLAG_vector_ics) { | 503 oracle()->PropertyReceiverTypes(slot, name, expr->GetReceiverTypes()); |
| 510 oracle()->PropertyReceiverTypes(slot, name, expr->GetReceiverTypes()); | |
| 511 } else { | |
| 512 oracle()->PropertyReceiverTypes(id, name, expr->GetReceiverTypes()); | |
| 513 } | |
| 514 } else { | 504 } else { |
| 515 bool is_string; | 505 bool is_string; |
| 516 IcCheckType key_type; | 506 IcCheckType key_type; |
| 517 if (FLAG_vector_ics) { | 507 oracle()->KeyedPropertyReceiverTypes(slot, expr->GetReceiverTypes(), |
| 518 oracle()->KeyedPropertyReceiverTypes(slot, expr->GetReceiverTypes(), | 508 &is_string, &key_type); |
| 519 &is_string, &key_type); | |
| 520 } else { | |
| 521 oracle()->KeyedPropertyReceiverTypes(id, expr->GetReceiverTypes(), | |
| 522 &is_string, &key_type); | |
| 523 } | |
| 524 expr->set_is_string_access(is_string); | 509 expr->set_is_string_access(is_string); |
| 525 expr->set_key_type(key_type); | 510 expr->set_key_type(key_type); |
| 526 } | 511 } |
| 527 } | 512 } |
| 528 | 513 |
| 529 RECURSE(Visit(expr->obj())); | 514 RECURSE(Visit(expr->obj())); |
| 530 RECURSE(Visit(expr->key())); | 515 RECURSE(Visit(expr->key())); |
| 531 | 516 |
| 532 // We don't know anything about the result type. | 517 // We don't know anything about the result type. |
| 533 } | 518 } |
| (...skipping 264 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 798 | 783 |
| 799 void AstTyper::VisitImportDeclaration(ImportDeclaration* declaration) { | 784 void AstTyper::VisitImportDeclaration(ImportDeclaration* declaration) { |
| 800 } | 785 } |
| 801 | 786 |
| 802 | 787 |
| 803 void AstTyper::VisitExportDeclaration(ExportDeclaration* declaration) { | 788 void AstTyper::VisitExportDeclaration(ExportDeclaration* declaration) { |
| 804 } | 789 } |
| 805 | 790 |
| 806 | 791 |
| 807 } } // namespace v8::internal | 792 } } // namespace v8::internal |
| OLD | NEW |