| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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/v8.h" | 5 #include "src/v8.h" |
| 6 | 6 |
| 7 #include "src/arguments.h" | 7 #include "src/arguments.h" |
| 8 #include "src/conversions.h" | 8 #include "src/conversions.h" |
| 9 #include "src/elements.h" | 9 #include "src/elements.h" |
| 10 #include "src/objects.h" | 10 #include "src/objects.h" |
| (...skipping 569 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 580 length = fixed_array_base->length(); | 580 length = fixed_array_base->length(); |
| 581 } | 581 } |
| 582 ElementsAccessorSubclass::ValidateContents(holder, length); | 582 ElementsAccessorSubclass::ValidateContents(holder, length); |
| 583 } | 583 } |
| 584 | 584 |
| 585 void Validate(Handle<JSObject> holder) FINAL { | 585 void Validate(Handle<JSObject> holder) FINAL { |
| 586 DisallowHeapAllocation no_gc; | 586 DisallowHeapAllocation no_gc; |
| 587 ElementsAccessorSubclass::ValidateImpl(holder); | 587 ElementsAccessorSubclass::ValidateImpl(holder); |
| 588 } | 588 } |
| 589 | 589 |
| 590 static bool HasElementImpl(JSObject* holder, uint32_t key, | 590 static bool HasElementImpl(Handle<JSObject> holder, uint32_t key, |
| 591 FixedArrayBase* backing_store) { | 591 Handle<FixedArrayBase> backing_store) { |
| 592 return ElementsAccessorSubclass::GetAttributesImpl(holder, key, | 592 return ElementsAccessorSubclass::GetAttributesImpl(holder, key, |
| 593 backing_store) != ABSENT; | 593 backing_store) != ABSENT; |
| 594 } | 594 } |
| 595 | 595 |
| 596 virtual bool HasElement(JSObject* holder, uint32_t key, | 596 virtual bool HasElement(Handle<JSObject> holder, uint32_t key, |
| 597 FixedArrayBase* backing_store) FINAL { | 597 Handle<FixedArrayBase> backing_store) FINAL { |
| 598 return ElementsAccessorSubclass::HasElementImpl(holder, key, backing_store); | 598 return ElementsAccessorSubclass::HasElementImpl(holder, key, backing_store); |
| 599 } | 599 } |
| 600 | 600 |
| 601 MUST_USE_RESULT virtual MaybeHandle<Object> Get( | 601 MUST_USE_RESULT virtual MaybeHandle<Object> Get( |
| 602 Handle<Object> receiver, Handle<JSObject> holder, uint32_t key, | 602 Handle<Object> receiver, Handle<JSObject> holder, uint32_t key, |
| 603 Handle<FixedArrayBase> backing_store) FINAL { | 603 Handle<FixedArrayBase> backing_store) FINAL { |
| 604 if (!IsExternalArrayElementsKind(ElementsTraits::Kind) && | 604 if (!IsExternalArrayElementsKind(ElementsTraits::Kind) && |
| 605 FLAG_trace_js_array_abuse) { | 605 FLAG_trace_js_array_abuse) { |
| 606 CheckArrayAbuse(holder, "elements read", key); | 606 CheckArrayAbuse(holder, "elements read", key); |
| 607 } | 607 } |
| 608 | 608 |
| 609 if (IsExternalArrayElementsKind(ElementsTraits::Kind) && | 609 if (IsExternalArrayElementsKind(ElementsTraits::Kind) && |
| 610 FLAG_trace_external_array_abuse) { | 610 FLAG_trace_external_array_abuse) { |
| 611 CheckArrayAbuse(holder, "external elements read", key); | 611 CheckArrayAbuse(holder, "external elements read", key); |
| 612 } | 612 } |
| 613 | 613 |
| 614 return ElementsAccessorSubclass::GetImpl( | 614 return ElementsAccessorSubclass::GetImpl( |
| 615 receiver, holder, key, backing_store); | 615 receiver, holder, key, backing_store); |
| 616 } | 616 } |
| 617 | 617 |
| 618 MUST_USE_RESULT static MaybeHandle<Object> GetImpl( | 618 MUST_USE_RESULT static MaybeHandle<Object> GetImpl( |
| 619 Handle<Object> receiver, | 619 Handle<Object> receiver, |
| 620 Handle<JSObject> obj, | 620 Handle<JSObject> obj, |
| 621 uint32_t key, | 621 uint32_t key, |
| 622 Handle<FixedArrayBase> backing_store) { | 622 Handle<FixedArrayBase> backing_store) { |
| 623 if (key < ElementsAccessorSubclass::GetCapacityImpl(*backing_store)) { | 623 if (key < ElementsAccessorSubclass::GetCapacityImpl(backing_store)) { |
| 624 return BackingStore::get(Handle<BackingStore>::cast(backing_store), key); | 624 return BackingStore::get(Handle<BackingStore>::cast(backing_store), key); |
| 625 } else { | 625 } else { |
| 626 return backing_store->GetIsolate()->factory()->the_hole_value(); | 626 return backing_store->GetIsolate()->factory()->the_hole_value(); |
| 627 } | 627 } |
| 628 } | 628 } |
| 629 | 629 |
| 630 MUST_USE_RESULT virtual PropertyAttributes GetAttributes( | 630 MUST_USE_RESULT virtual PropertyAttributes GetAttributes( |
| 631 JSObject* holder, uint32_t key, FixedArrayBase* backing_store) FINAL { | 631 Handle<JSObject> holder, uint32_t key, |
| 632 Handle<FixedArrayBase> backing_store) FINAL { |
| 632 return ElementsAccessorSubclass::GetAttributesImpl(holder, key, | 633 return ElementsAccessorSubclass::GetAttributesImpl(holder, key, |
| 633 backing_store); | 634 backing_store); |
| 634 } | 635 } |
| 635 | 636 |
| 636 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( | 637 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( |
| 637 JSObject* obj, uint32_t key, FixedArrayBase* backing_store) { | 638 Handle<JSObject> obj, |
| 639 uint32_t key, |
| 640 Handle<FixedArrayBase> backing_store) { |
| 638 if (key >= ElementsAccessorSubclass::GetCapacityImpl(backing_store)) { | 641 if (key >= ElementsAccessorSubclass::GetCapacityImpl(backing_store)) { |
| 639 return ABSENT; | 642 return ABSENT; |
| 640 } | 643 } |
| 641 return BackingStore::cast(backing_store)->is_the_hole(key) ? ABSENT : NONE; | 644 return |
| 645 Handle<BackingStore>::cast(backing_store)->is_the_hole(key) |
| 646 ? ABSENT : NONE; |
| 642 } | 647 } |
| 643 | 648 |
| 644 MUST_USE_RESULT virtual MaybeHandle<AccessorPair> GetAccessorPair( | 649 MUST_USE_RESULT virtual MaybeHandle<AccessorPair> GetAccessorPair( |
| 645 Handle<JSObject> holder, uint32_t key, | 650 Handle<JSObject> holder, uint32_t key, |
| 646 Handle<FixedArrayBase> backing_store) FINAL { | 651 Handle<FixedArrayBase> backing_store) FINAL { |
| 647 return ElementsAccessorSubclass::GetAccessorPairImpl(holder, key, | 652 return ElementsAccessorSubclass::GetAccessorPairImpl(holder, key, |
| 648 backing_store); | 653 backing_store); |
| 649 } | 654 } |
| 650 | 655 |
| 651 MUST_USE_RESULT static MaybeHandle<AccessorPair> GetAccessorPairImpl( | 656 MUST_USE_RESULT static MaybeHandle<AccessorPair> GetAccessorPairImpl( |
| (...skipping 87 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 739 #ifdef ENABLE_SLOW_DCHECKS | 744 #ifdef ENABLE_SLOW_DCHECKS |
| 740 if (FLAG_enable_slow_asserts) { | 745 if (FLAG_enable_slow_asserts) { |
| 741 for (int i = 0; i < len0; i++) { | 746 for (int i = 0; i < len0; i++) { |
| 742 DCHECK(!to->get(i)->IsTheHole()); | 747 DCHECK(!to->get(i)->IsTheHole()); |
| 743 } | 748 } |
| 744 } | 749 } |
| 745 #endif | 750 #endif |
| 746 | 751 |
| 747 // Optimize if 'other' is empty. | 752 // Optimize if 'other' is empty. |
| 748 // We cannot optimize if 'this' is empty, as other may have holes. | 753 // We cannot optimize if 'this' is empty, as other may have holes. |
| 749 uint32_t len1 = ElementsAccessorSubclass::GetCapacityImpl(*from); | 754 uint32_t len1 = ElementsAccessorSubclass::GetCapacityImpl(from); |
| 750 if (len1 == 0) return to; | 755 if (len1 == 0) return to; |
| 751 | 756 |
| 752 Isolate* isolate = from->GetIsolate(); | 757 Isolate* isolate = from->GetIsolate(); |
| 753 | 758 |
| 754 // Compute how many elements are not in other. | 759 // Compute how many elements are not in other. |
| 755 uint32_t extra = 0; | 760 uint32_t extra = 0; |
| 756 for (uint32_t y = 0; y < len1; y++) { | 761 for (uint32_t y = 0; y < len1; y++) { |
| 757 uint32_t key = ElementsAccessorSubclass::GetKeyForIndexImpl(from, y); | 762 uint32_t key = ElementsAccessorSubclass::GetKeyForIndexImpl(from, y); |
| 758 if (ElementsAccessorSubclass::HasElementImpl(*holder, key, *from)) { | 763 if (ElementsAccessorSubclass::HasElementImpl(holder, key, from)) { |
| 759 Handle<Object> value; | 764 Handle<Object> value; |
| 760 ASSIGN_RETURN_ON_EXCEPTION( | 765 ASSIGN_RETURN_ON_EXCEPTION( |
| 761 isolate, value, | 766 isolate, value, |
| 762 ElementsAccessorSubclass::GetImpl(receiver, holder, key, from), | 767 ElementsAccessorSubclass::GetImpl(receiver, holder, key, from), |
| 763 FixedArray); | 768 FixedArray); |
| 764 | 769 |
| 765 DCHECK(!value->IsTheHole()); | 770 DCHECK(!value->IsTheHole()); |
| 766 if (filter == FixedArray::NON_SYMBOL_KEYS && value->IsSymbol()) { | 771 if (filter == FixedArray::NON_SYMBOL_KEYS && value->IsSymbol()) { |
| 767 continue; | 772 continue; |
| 768 } | 773 } |
| (...skipping 16 matching lines...) Expand all Loading... |
| 785 Object* e = to->get(i); | 790 Object* e = to->get(i); |
| 786 DCHECK(e->IsString() || e->IsNumber()); | 791 DCHECK(e->IsString() || e->IsNumber()); |
| 787 result->set(i, e, mode); | 792 result->set(i, e, mode); |
| 788 } | 793 } |
| 789 } | 794 } |
| 790 // Fill in the extra values. | 795 // Fill in the extra values. |
| 791 uint32_t index = 0; | 796 uint32_t index = 0; |
| 792 for (uint32_t y = 0; y < len1; y++) { | 797 for (uint32_t y = 0; y < len1; y++) { |
| 793 uint32_t key = | 798 uint32_t key = |
| 794 ElementsAccessorSubclass::GetKeyForIndexImpl(from, y); | 799 ElementsAccessorSubclass::GetKeyForIndexImpl(from, y); |
| 795 if (ElementsAccessorSubclass::HasElementImpl(*holder, key, *from)) { | 800 if (ElementsAccessorSubclass::HasElementImpl(holder, key, from)) { |
| 796 Handle<Object> value; | 801 Handle<Object> value; |
| 797 ASSIGN_RETURN_ON_EXCEPTION( | 802 ASSIGN_RETURN_ON_EXCEPTION( |
| 798 isolate, value, | 803 isolate, value, |
| 799 ElementsAccessorSubclass::GetImpl(receiver, holder, key, from), | 804 ElementsAccessorSubclass::GetImpl(receiver, holder, key, from), |
| 800 FixedArray); | 805 FixedArray); |
| 801 if (filter == FixedArray::NON_SYMBOL_KEYS && value->IsSymbol()) { | 806 if (filter == FixedArray::NON_SYMBOL_KEYS && value->IsSymbol()) { |
| 802 continue; | 807 continue; |
| 803 } | 808 } |
| 804 if (!value->IsTheHole() && !HasKey(to, value)) { | 809 if (!value->IsTheHole() && !HasKey(to, value)) { |
| 805 result->set(len0 + index, *value); | 810 result->set(len0 + index, *value); |
| 806 index++; | 811 index++; |
| 807 } | 812 } |
| 808 } | 813 } |
| 809 } | 814 } |
| 810 DCHECK(extra == index); | 815 DCHECK(extra == index); |
| 811 return result; | 816 return result; |
| 812 } | 817 } |
| 813 | 818 |
| 814 protected: | 819 protected: |
| 815 static uint32_t GetCapacityImpl(FixedArrayBase* backing_store) { | 820 static uint32_t GetCapacityImpl(Handle<FixedArrayBase> backing_store) { |
| 816 return backing_store->length(); | 821 return backing_store->length(); |
| 817 } | 822 } |
| 818 | 823 |
| 819 uint32_t GetCapacity(FixedArrayBase* backing_store) FINAL { | 824 uint32_t GetCapacity(Handle<FixedArrayBase> backing_store) FINAL { |
| 820 return ElementsAccessorSubclass::GetCapacityImpl(backing_store); | 825 return ElementsAccessorSubclass::GetCapacityImpl(backing_store); |
| 821 } | 826 } |
| 822 | 827 |
| 823 static uint32_t GetKeyForIndexImpl(Handle<FixedArrayBase> backing_store, | 828 static uint32_t GetKeyForIndexImpl(Handle<FixedArrayBase> backing_store, |
| 824 uint32_t index) { | 829 uint32_t index) { |
| 825 return index; | 830 return index; |
| 826 } | 831 } |
| 827 | 832 |
| 828 virtual uint32_t GetKeyForIndex(Handle<FixedArrayBase> backing_store, | 833 virtual uint32_t GetKeyForIndex(Handle<FixedArrayBase> backing_store, |
| 829 uint32_t index) FINAL { | 834 uint32_t index) FINAL { |
| (...skipping 127 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 957 } | 962 } |
| 958 } | 963 } |
| 959 return isolate->factory()->true_value(); | 964 return isolate->factory()->true_value(); |
| 960 } | 965 } |
| 961 | 966 |
| 962 virtual MaybeHandle<Object> Delete(Handle<JSObject> obj, uint32_t key, | 967 virtual MaybeHandle<Object> Delete(Handle<JSObject> obj, uint32_t key, |
| 963 LanguageMode language_mode) FINAL { | 968 LanguageMode language_mode) FINAL { |
| 964 return DeleteCommon(obj, key, language_mode); | 969 return DeleteCommon(obj, key, language_mode); |
| 965 } | 970 } |
| 966 | 971 |
| 967 static bool HasElementImpl(JSObject* holder, uint32_t key, | 972 static bool HasElementImpl( |
| 968 FixedArrayBase* backing_store) { | 973 Handle<JSObject> holder, |
| 974 uint32_t key, |
| 975 Handle<FixedArrayBase> backing_store) { |
| 969 if (key >= static_cast<uint32_t>(backing_store->length())) { | 976 if (key >= static_cast<uint32_t>(backing_store->length())) { |
| 970 return false; | 977 return false; |
| 971 } | 978 } |
| 972 return !BackingStore::cast(backing_store)->is_the_hole(key); | 979 return !Handle<BackingStore>::cast(backing_store)->is_the_hole(key); |
| 973 } | 980 } |
| 974 | 981 |
| 975 static void ValidateContents(Handle<JSObject> holder, int length) { | 982 static void ValidateContents(Handle<JSObject> holder, int length) { |
| 976 #if DEBUG | 983 #if DEBUG |
| 977 Isolate* isolate = holder->GetIsolate(); | 984 Isolate* isolate = holder->GetIsolate(); |
| 978 HandleScope scope(isolate); | 985 HandleScope scope(isolate); |
| 979 Handle<FixedArrayBase> elements(holder->elements(), isolate); | 986 Handle<FixedArrayBase> elements(holder->elements(), isolate); |
| 980 Map* map = elements->map(); | 987 Map* map = elements->map(); |
| 981 DCHECK((IsFastSmiOrObjectElementsKind(KindTraits::Kind) && | 988 DCHECK((IsFastSmiOrObjectElementsKind(KindTraits::Kind) && |
| 982 (map == isolate->heap()->fixed_array_map() || | 989 (map == isolate->heap()->fixed_array_map() || |
| (...skipping 263 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1246 typedef TypedElementsAccessor<Kind> AccessorClass; | 1253 typedef TypedElementsAccessor<Kind> AccessorClass; |
| 1247 | 1254 |
| 1248 friend class ElementsAccessorBase<AccessorClass, | 1255 friend class ElementsAccessorBase<AccessorClass, |
| 1249 ElementsKindTraits<Kind> >; | 1256 ElementsKindTraits<Kind> >; |
| 1250 | 1257 |
| 1251 MUST_USE_RESULT static MaybeHandle<Object> GetImpl( | 1258 MUST_USE_RESULT static MaybeHandle<Object> GetImpl( |
| 1252 Handle<Object> receiver, | 1259 Handle<Object> receiver, |
| 1253 Handle<JSObject> obj, | 1260 Handle<JSObject> obj, |
| 1254 uint32_t key, | 1261 uint32_t key, |
| 1255 Handle<FixedArrayBase> backing_store) { | 1262 Handle<FixedArrayBase> backing_store) { |
| 1256 if (key < AccessorClass::GetCapacityImpl(*backing_store)) { | 1263 if (key < AccessorClass::GetCapacityImpl(backing_store)) { |
| 1257 return BackingStore::get(Handle<BackingStore>::cast(backing_store), key); | 1264 return BackingStore::get(Handle<BackingStore>::cast(backing_store), key); |
| 1258 } else { | 1265 } else { |
| 1259 return backing_store->GetIsolate()->factory()->undefined_value(); | 1266 return backing_store->GetIsolate()->factory()->undefined_value(); |
| 1260 } | 1267 } |
| 1261 } | 1268 } |
| 1262 | 1269 |
| 1263 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( | 1270 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( |
| 1264 JSObject* obj, uint32_t key, FixedArrayBase* backing_store) { | 1271 Handle<JSObject> obj, |
| 1272 uint32_t key, |
| 1273 Handle<FixedArrayBase> backing_store) { |
| 1265 return | 1274 return |
| 1266 key < AccessorClass::GetCapacityImpl(backing_store) | 1275 key < AccessorClass::GetCapacityImpl(backing_store) |
| 1267 ? NONE : ABSENT; | 1276 ? NONE : ABSENT; |
| 1268 } | 1277 } |
| 1269 | 1278 |
| 1270 MUST_USE_RESULT static MaybeHandle<Object> SetLengthImpl( | 1279 MUST_USE_RESULT static MaybeHandle<Object> SetLengthImpl( |
| 1271 Handle<JSObject> obj, | 1280 Handle<JSObject> obj, |
| 1272 Handle<Object> length, | 1281 Handle<Object> length, |
| 1273 Handle<FixedArrayBase> backing_store) { | 1282 Handle<FixedArrayBase> backing_store) { |
| 1274 // External arrays do not support changing their length. | 1283 // External arrays do not support changing their length. |
| 1275 UNREACHABLE(); | 1284 UNREACHABLE(); |
| 1276 return obj; | 1285 return obj; |
| 1277 } | 1286 } |
| 1278 | 1287 |
| 1279 MUST_USE_RESULT virtual MaybeHandle<Object> Delete( | 1288 MUST_USE_RESULT virtual MaybeHandle<Object> Delete( |
| 1280 Handle<JSObject> obj, uint32_t key, LanguageMode language_mode) FINAL { | 1289 Handle<JSObject> obj, uint32_t key, LanguageMode language_mode) FINAL { |
| 1281 // External arrays always ignore deletes. | 1290 // External arrays always ignore deletes. |
| 1282 return obj->GetIsolate()->factory()->true_value(); | 1291 return obj->GetIsolate()->factory()->true_value(); |
| 1283 } | 1292 } |
| 1284 | 1293 |
| 1285 static bool HasElementImpl(JSObject* holder, uint32_t key, | 1294 static bool HasElementImpl(Handle<JSObject> holder, uint32_t key, |
| 1286 FixedArrayBase* backing_store) { | 1295 Handle<FixedArrayBase> backing_store) { |
| 1287 uint32_t capacity = | 1296 uint32_t capacity = |
| 1288 AccessorClass::GetCapacityImpl(backing_store); | 1297 AccessorClass::GetCapacityImpl(backing_store); |
| 1289 return key < capacity; | 1298 return key < capacity; |
| 1290 } | 1299 } |
| 1291 }; | 1300 }; |
| 1292 | 1301 |
| 1293 | 1302 |
| 1294 | 1303 |
| 1295 #define EXTERNAL_ELEMENTS_ACCESSOR(Type, type, TYPE, ctype, size) \ | 1304 #define EXTERNAL_ELEMENTS_ACCESSOR(Type, type, TYPE, ctype, size) \ |
| 1296 typedef TypedElementsAccessor<EXTERNAL_##TYPE##_ELEMENTS> \ | 1305 typedef TypedElementsAccessor<EXTERNAL_##TYPE##_ELEMENTS> \ |
| (...skipping 148 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1445 return JSObject::GetElementWithCallback( | 1454 return JSObject::GetElementWithCallback( |
| 1446 obj, receiver, element, key, obj); | 1455 obj, receiver, element, key, obj); |
| 1447 } else { | 1456 } else { |
| 1448 return element; | 1457 return element; |
| 1449 } | 1458 } |
| 1450 } | 1459 } |
| 1451 return isolate->factory()->the_hole_value(); | 1460 return isolate->factory()->the_hole_value(); |
| 1452 } | 1461 } |
| 1453 | 1462 |
| 1454 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( | 1463 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( |
| 1455 JSObject* obj, uint32_t key, FixedArrayBase* backing_store) { | 1464 Handle<JSObject> obj, |
| 1456 SeededNumberDictionary* dictionary = | 1465 uint32_t key, |
| 1457 SeededNumberDictionary::cast(backing_store); | 1466 Handle<FixedArrayBase> backing_store) { |
| 1467 Handle<SeededNumberDictionary> dictionary = |
| 1468 Handle<SeededNumberDictionary>::cast(backing_store); |
| 1458 int entry = dictionary->FindEntry(key); | 1469 int entry = dictionary->FindEntry(key); |
| 1459 if (entry != SeededNumberDictionary::kNotFound) { | 1470 if (entry != SeededNumberDictionary::kNotFound) { |
| 1460 return dictionary->DetailsAt(entry).attributes(); | 1471 return dictionary->DetailsAt(entry).attributes(); |
| 1461 } | 1472 } |
| 1462 return ABSENT; | 1473 return ABSENT; |
| 1463 } | 1474 } |
| 1464 | 1475 |
| 1465 MUST_USE_RESULT static MaybeHandle<AccessorPair> GetAccessorPairImpl( | 1476 MUST_USE_RESULT static MaybeHandle<AccessorPair> GetAccessorPairImpl( |
| 1466 Handle<JSObject> obj, | 1477 Handle<JSObject> obj, |
| 1467 uint32_t key, | 1478 uint32_t key, |
| 1468 Handle<FixedArrayBase> store) { | 1479 Handle<FixedArrayBase> store) { |
| 1469 Handle<SeededNumberDictionary> backing_store = | 1480 Handle<SeededNumberDictionary> backing_store = |
| 1470 Handle<SeededNumberDictionary>::cast(store); | 1481 Handle<SeededNumberDictionary>::cast(store); |
| 1471 int entry = backing_store->FindEntry(key); | 1482 int entry = backing_store->FindEntry(key); |
| 1472 if (entry != SeededNumberDictionary::kNotFound && | 1483 if (entry != SeededNumberDictionary::kNotFound && |
| 1473 backing_store->DetailsAt(entry).type() == ACCESSOR_CONSTANT && | 1484 backing_store->DetailsAt(entry).type() == ACCESSOR_CONSTANT && |
| 1474 backing_store->ValueAt(entry)->IsAccessorPair()) { | 1485 backing_store->ValueAt(entry)->IsAccessorPair()) { |
| 1475 return handle(AccessorPair::cast(backing_store->ValueAt(entry))); | 1486 return handle(AccessorPair::cast(backing_store->ValueAt(entry))); |
| 1476 } | 1487 } |
| 1477 return MaybeHandle<AccessorPair>(); | 1488 return MaybeHandle<AccessorPair>(); |
| 1478 } | 1489 } |
| 1479 | 1490 |
| 1480 static bool HasElementImpl(JSObject* holder, uint32_t key, | 1491 static bool HasElementImpl(Handle<JSObject> holder, uint32_t key, |
| 1481 FixedArrayBase* store) { | 1492 Handle<FixedArrayBase> store) { |
| 1482 SeededNumberDictionary* backing_store = SeededNumberDictionary::cast(store); | 1493 Handle<SeededNumberDictionary> backing_store = |
| 1494 Handle<SeededNumberDictionary>::cast(store); |
| 1483 return backing_store->FindEntry(key) != SeededNumberDictionary::kNotFound; | 1495 return backing_store->FindEntry(key) != SeededNumberDictionary::kNotFound; |
| 1484 } | 1496 } |
| 1485 | 1497 |
| 1486 static uint32_t GetKeyForIndexImpl(Handle<FixedArrayBase> store, | 1498 static uint32_t GetKeyForIndexImpl(Handle<FixedArrayBase> store, |
| 1487 uint32_t index) { | 1499 uint32_t index) { |
| 1488 DisallowHeapAllocation no_gc; | 1500 DisallowHeapAllocation no_gc; |
| 1489 Handle<SeededNumberDictionary> dict = | 1501 Handle<SeededNumberDictionary> dict = |
| 1490 Handle<SeededNumberDictionary>::cast(store); | 1502 Handle<SeededNumberDictionary>::cast(store); |
| 1491 Object* key = dict->KeyAt(index); | 1503 Object* key = dict->KeyAt(index); |
| 1492 return Smi::cast(key)->value(); | 1504 return Smi::cast(key)->value(); |
| (...skipping 14 matching lines...) Expand all Loading... |
| 1507 SloppyArgumentsElementsAccessor, | 1519 SloppyArgumentsElementsAccessor, |
| 1508 ElementsKindTraits<SLOPPY_ARGUMENTS_ELEMENTS> >; | 1520 ElementsKindTraits<SLOPPY_ARGUMENTS_ELEMENTS> >; |
| 1509 | 1521 |
| 1510 MUST_USE_RESULT static MaybeHandle<Object> GetImpl( | 1522 MUST_USE_RESULT static MaybeHandle<Object> GetImpl( |
| 1511 Handle<Object> receiver, | 1523 Handle<Object> receiver, |
| 1512 Handle<JSObject> obj, | 1524 Handle<JSObject> obj, |
| 1513 uint32_t key, | 1525 uint32_t key, |
| 1514 Handle<FixedArrayBase> parameters) { | 1526 Handle<FixedArrayBase> parameters) { |
| 1515 Isolate* isolate = obj->GetIsolate(); | 1527 Isolate* isolate = obj->GetIsolate(); |
| 1516 Handle<FixedArray> parameter_map = Handle<FixedArray>::cast(parameters); | 1528 Handle<FixedArray> parameter_map = Handle<FixedArray>::cast(parameters); |
| 1517 Object* probe = GetParameterMapArg(*obj, *parameter_map, key); | 1529 Handle<Object> probe = GetParameterMapArg(obj, parameter_map, key); |
| 1518 if (!probe->IsTheHole()) { | 1530 if (!probe->IsTheHole()) { |
| 1519 DisallowHeapAllocation no_gc; | 1531 DisallowHeapAllocation no_gc; |
| 1520 Context* context = Context::cast(parameter_map->get(0)); | 1532 Context* context = Context::cast(parameter_map->get(0)); |
| 1521 int context_index = Smi::cast(probe)->value(); | 1533 int context_index = Handle<Smi>::cast(probe)->value(); |
| 1522 DCHECK(!context->get(context_index)->IsTheHole()); | 1534 DCHECK(!context->get(context_index)->IsTheHole()); |
| 1523 return handle(context->get(context_index), isolate); | 1535 return handle(context->get(context_index), isolate); |
| 1524 } else { | 1536 } else { |
| 1525 // Object is not mapped, defer to the arguments. | 1537 // Object is not mapped, defer to the arguments. |
| 1526 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1)), | 1538 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1)), |
| 1527 isolate); | 1539 isolate); |
| 1528 Handle<Object> result; | 1540 Handle<Object> result; |
| 1529 ASSIGN_RETURN_ON_EXCEPTION(isolate, result, | 1541 ASSIGN_RETURN_ON_EXCEPTION( |
| 1530 ElementsAccessor::ForArray(*arguments) | 1542 isolate, result, |
| 1531 ->Get(receiver, obj, key, arguments), | 1543 ElementsAccessor::ForArray(arguments)->Get( |
| 1532 Object); | 1544 receiver, obj, key, arguments), |
| 1545 Object); |
| 1533 // Elements of the arguments object in slow mode might be slow aliases. | 1546 // Elements of the arguments object in slow mode might be slow aliases. |
| 1534 if (result->IsAliasedArgumentsEntry()) { | 1547 if (result->IsAliasedArgumentsEntry()) { |
| 1535 DisallowHeapAllocation no_gc; | 1548 DisallowHeapAllocation no_gc; |
| 1536 AliasedArgumentsEntry* entry = AliasedArgumentsEntry::cast(*result); | 1549 AliasedArgumentsEntry* entry = AliasedArgumentsEntry::cast(*result); |
| 1537 Context* context = Context::cast(parameter_map->get(0)); | 1550 Context* context = Context::cast(parameter_map->get(0)); |
| 1538 int context_index = entry->aliased_context_slot(); | 1551 int context_index = entry->aliased_context_slot(); |
| 1539 DCHECK(!context->get(context_index)->IsTheHole()); | 1552 DCHECK(!context->get(context_index)->IsTheHole()); |
| 1540 return handle(context->get(context_index), isolate); | 1553 return handle(context->get(context_index), isolate); |
| 1541 } else { | 1554 } else { |
| 1542 return result; | 1555 return result; |
| 1543 } | 1556 } |
| 1544 } | 1557 } |
| 1545 } | 1558 } |
| 1546 | 1559 |
| 1547 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( | 1560 MUST_USE_RESULT static PropertyAttributes GetAttributesImpl( |
| 1548 JSObject* obj, uint32_t key, FixedArrayBase* backing_store) { | 1561 Handle<JSObject> obj, |
| 1549 FixedArray* parameter_map = FixedArray::cast(backing_store); | 1562 uint32_t key, |
| 1550 Object* probe = GetParameterMapArg(obj, parameter_map, key); | 1563 Handle<FixedArrayBase> backing_store) { |
| 1564 Handle<FixedArray> parameter_map = Handle<FixedArray>::cast(backing_store); |
| 1565 Handle<Object> probe = GetParameterMapArg(obj, parameter_map, key); |
| 1551 if (!probe->IsTheHole()) { | 1566 if (!probe->IsTheHole()) { |
| 1552 return NONE; | 1567 return NONE; |
| 1553 } else { | 1568 } else { |
| 1554 // If not aliased, check the arguments. | 1569 // If not aliased, check the arguments. |
| 1555 FixedArray* arguments = FixedArray::cast(parameter_map->get(1)); | 1570 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1))); |
| 1556 return ElementsAccessor::ForArray(arguments) | 1571 return ElementsAccessor::ForArray(arguments) |
| 1557 ->GetAttributes(obj, key, arguments); | 1572 ->GetAttributes(obj, key, arguments); |
| 1558 } | 1573 } |
| 1559 } | 1574 } |
| 1560 | 1575 |
| 1561 MUST_USE_RESULT static MaybeHandle<AccessorPair> GetAccessorPairImpl( | 1576 MUST_USE_RESULT static MaybeHandle<AccessorPair> GetAccessorPairImpl( |
| 1562 Handle<JSObject> obj, | 1577 Handle<JSObject> obj, |
| 1563 uint32_t key, | 1578 uint32_t key, |
| 1564 Handle<FixedArrayBase> parameters) { | 1579 Handle<FixedArrayBase> parameters) { |
| 1565 Handle<FixedArray> parameter_map = Handle<FixedArray>::cast(parameters); | 1580 Handle<FixedArray> parameter_map = Handle<FixedArray>::cast(parameters); |
| 1566 Object* probe = GetParameterMapArg(*obj, *parameter_map, key); | 1581 Handle<Object> probe = GetParameterMapArg(obj, parameter_map, key); |
| 1567 if (!probe->IsTheHole()) { | 1582 if (!probe->IsTheHole()) { |
| 1568 return MaybeHandle<AccessorPair>(); | 1583 return MaybeHandle<AccessorPair>(); |
| 1569 } else { | 1584 } else { |
| 1570 // If not aliased, check the arguments. | 1585 // If not aliased, check the arguments. |
| 1571 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1))); | 1586 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1))); |
| 1572 return ElementsAccessor::ForArray(*arguments) | 1587 return ElementsAccessor::ForArray(arguments) |
| 1573 ->GetAccessorPair(obj, key, arguments); | 1588 ->GetAccessorPair(obj, key, arguments); |
| 1574 } | 1589 } |
| 1575 } | 1590 } |
| 1576 | 1591 |
| 1577 MUST_USE_RESULT static MaybeHandle<Object> SetLengthImpl( | 1592 MUST_USE_RESULT static MaybeHandle<Object> SetLengthImpl( |
| 1578 Handle<JSObject> obj, | 1593 Handle<JSObject> obj, |
| 1579 Handle<Object> length, | 1594 Handle<Object> length, |
| 1580 Handle<FixedArrayBase> parameter_map) { | 1595 Handle<FixedArrayBase> parameter_map) { |
| 1581 // TODO(mstarzinger): This was never implemented but will be used once we | 1596 // TODO(mstarzinger): This was never implemented but will be used once we |
| 1582 // correctly implement [[DefineOwnProperty]] on arrays. | 1597 // correctly implement [[DefineOwnProperty]] on arrays. |
| 1583 UNIMPLEMENTED(); | 1598 UNIMPLEMENTED(); |
| 1584 return obj; | 1599 return obj; |
| 1585 } | 1600 } |
| 1586 | 1601 |
| 1587 MUST_USE_RESULT virtual MaybeHandle<Object> Delete( | 1602 MUST_USE_RESULT virtual MaybeHandle<Object> Delete( |
| 1588 Handle<JSObject> obj, uint32_t key, LanguageMode language_mode) FINAL { | 1603 Handle<JSObject> obj, uint32_t key, LanguageMode language_mode) FINAL { |
| 1589 Isolate* isolate = obj->GetIsolate(); | 1604 Isolate* isolate = obj->GetIsolate(); |
| 1590 Handle<FixedArray> parameter_map(FixedArray::cast(obj->elements())); | 1605 Handle<FixedArray> parameter_map(FixedArray::cast(obj->elements())); |
| 1591 Handle<Object> probe(GetParameterMapArg(*obj, *parameter_map, key), | 1606 Handle<Object> probe = GetParameterMapArg(obj, parameter_map, key); |
| 1592 isolate); | |
| 1593 if (!probe->IsTheHole()) { | 1607 if (!probe->IsTheHole()) { |
| 1594 // TODO(kmillikin): We could check if this was the last aliased | 1608 // TODO(kmillikin): We could check if this was the last aliased |
| 1595 // parameter, and revert to normal elements in that case. That | 1609 // parameter, and revert to normal elements in that case. That |
| 1596 // would enable GC of the context. | 1610 // would enable GC of the context. |
| 1597 parameter_map->set_the_hole(key + 2); | 1611 parameter_map->set_the_hole(key + 2); |
| 1598 } else { | 1612 } else { |
| 1599 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1))); | 1613 Handle<FixedArray> arguments(FixedArray::cast(parameter_map->get(1))); |
| 1600 if (arguments->IsDictionary()) { | 1614 if (arguments->IsDictionary()) { |
| 1601 return DictionaryElementsAccessor::DeleteCommon(obj, key, | 1615 return DictionaryElementsAccessor::DeleteCommon(obj, key, |
| 1602 language_mode); | 1616 language_mode); |
| 1603 } else { | 1617 } else { |
| 1604 // It's difficult to access the version of DeleteCommon that is declared | 1618 // It's difficult to access the version of DeleteCommon that is declared |
| 1605 // in the templatized super class, call the concrete implementation in | 1619 // in the templatized super class, call the concrete implementation in |
| 1606 // the class for the most generalized ElementsKind subclass. | 1620 // the class for the most generalized ElementsKind subclass. |
| 1607 return FastHoleyObjectElementsAccessor::DeleteCommon(obj, key, | 1621 return FastHoleyObjectElementsAccessor::DeleteCommon(obj, key, |
| 1608 language_mode); | 1622 language_mode); |
| 1609 } | 1623 } |
| 1610 } | 1624 } |
| 1611 return isolate->factory()->true_value(); | 1625 return isolate->factory()->true_value(); |
| 1612 } | 1626 } |
| 1613 | 1627 |
| 1614 static void CopyElementsImpl(FixedArrayBase* from, uint32_t from_start, | 1628 static void CopyElementsImpl(FixedArrayBase* from, uint32_t from_start, |
| 1615 FixedArrayBase* to, ElementsKind from_kind, | 1629 FixedArrayBase* to, ElementsKind from_kind, |
| 1616 uint32_t to_start, int packed_size, | 1630 uint32_t to_start, int packed_size, |
| 1617 int copy_size) { | 1631 int copy_size) { |
| 1618 UNREACHABLE(); | 1632 UNREACHABLE(); |
| 1619 } | 1633 } |
| 1620 | 1634 |
| 1621 static uint32_t GetCapacityImpl(FixedArrayBase* backing_store) { | 1635 static uint32_t GetCapacityImpl(Handle<FixedArrayBase> backing_store) { |
| 1622 FixedArray* parameter_map = FixedArray::cast(backing_store); | 1636 Handle<FixedArray> parameter_map = Handle<FixedArray>::cast(backing_store); |
| 1623 FixedArrayBase* arguments = FixedArrayBase::cast(parameter_map->get(1)); | 1637 Handle<FixedArrayBase> arguments( |
| 1638 FixedArrayBase::cast(parameter_map->get(1))); |
| 1624 return Max(static_cast<uint32_t>(parameter_map->length() - 2), | 1639 return Max(static_cast<uint32_t>(parameter_map->length() - 2), |
| 1625 ForArray(arguments)->GetCapacity(arguments)); | 1640 ForArray(arguments)->GetCapacity(arguments)); |
| 1626 } | 1641 } |
| 1627 | 1642 |
| 1628 static uint32_t GetKeyForIndexImpl(Handle<FixedArrayBase> dict, | 1643 static uint32_t GetKeyForIndexImpl(Handle<FixedArrayBase> dict, |
| 1629 uint32_t index) { | 1644 uint32_t index) { |
| 1630 return index; | 1645 return index; |
| 1631 } | 1646 } |
| 1632 | 1647 |
| 1633 private: | 1648 private: |
| 1634 static Object* GetParameterMapArg(JSObject* holder, FixedArray* parameter_map, | 1649 static Handle<Object> GetParameterMapArg(Handle<JSObject> holder, |
| 1635 uint32_t key) { | 1650 Handle<FixedArray> parameter_map, |
| 1651 uint32_t key) { |
| 1636 Isolate* isolate = holder->GetIsolate(); | 1652 Isolate* isolate = holder->GetIsolate(); |
| 1637 uint32_t length = holder->IsJSArray() | 1653 uint32_t length = holder->IsJSArray() |
| 1638 ? Smi::cast(JSArray::cast(holder)->length())->value() | 1654 ? Smi::cast(Handle<JSArray>::cast(holder)->length())->value() |
| 1639 : parameter_map->length(); | 1655 : parameter_map->length(); |
| 1640 return key < (length - 2) ? parameter_map->get(key + 2) | 1656 return key < (length - 2) |
| 1641 : isolate->heap()->the_hole_value(); | 1657 ? handle(parameter_map->get(key + 2), isolate) |
| 1658 : Handle<Object>::cast(isolate->factory()->the_hole_value()); |
| 1642 } | 1659 } |
| 1643 }; | 1660 }; |
| 1644 | 1661 |
| 1645 | 1662 |
| 1646 ElementsAccessor* ElementsAccessor::ForArray(FixedArrayBase* array) { | 1663 ElementsAccessor* ElementsAccessor::ForArray(Handle<FixedArrayBase> array) { |
| 1647 return elements_accessors_[ElementsKindForArray(array)]; | 1664 return elements_accessors_[ElementsKindForArray(*array)]; |
| 1648 } | 1665 } |
| 1649 | 1666 |
| 1650 | 1667 |
| 1651 void ElementsAccessor::InitializeOncePerProcess() { | 1668 void ElementsAccessor::InitializeOncePerProcess() { |
| 1652 static ElementsAccessor* accessor_array[] = { | 1669 static ElementsAccessor* accessor_array[] = { |
| 1653 #define ACCESSOR_ARRAY(Class, Kind, Store) new Class(#Kind), | 1670 #define ACCESSOR_ARRAY(Class, Kind, Store) new Class(#Kind), |
| 1654 ELEMENTS_LIST(ACCESSOR_ARRAY) | 1671 ELEMENTS_LIST(ACCESSOR_ARRAY) |
| 1655 #undef ACCESSOR_ARRAY | 1672 #undef ACCESSOR_ARRAY |
| 1656 }; | 1673 }; |
| 1657 | 1674 |
| (...skipping 168 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1826 UNREACHABLE(); | 1843 UNREACHABLE(); |
| 1827 break; | 1844 break; |
| 1828 } | 1845 } |
| 1829 | 1846 |
| 1830 array->set_elements(*elms); | 1847 array->set_elements(*elms); |
| 1831 array->set_length(Smi::FromInt(number_of_elements)); | 1848 array->set_length(Smi::FromInt(number_of_elements)); |
| 1832 return array; | 1849 return array; |
| 1833 } | 1850 } |
| 1834 | 1851 |
| 1835 } } // namespace v8::internal | 1852 } } // namespace v8::internal |
| OLD | NEW |