handle the special snowflakes that are Integer Indexed Exotic objects

src/lookup.cc

Index: src/lookup.cc
diff --git a/src/lookup.cc b/src/lookup.cc
index b629f1980cac6c080c323766167295b46efe55f1..75212eb52cbe4b6d146d12c998fbf0bc232acbc5 100644
--- a/src/lookup.cc
+++ b/src/lookup.cc
@@ -121,8 +121,8 @@ void LookupIterator::PrepareTransitionToDataProperty(
     Object::StoreFromKeyed store_mode) {
   if (state_ == TRANSITION) return;
   DCHECK(state_ != LookupIterator::ACCESSOR);
+  DCHECK(state_ != LookupIterator::INTEGER_INDEXED_EXOTIC);

[Toon Verwaest, 2015/03/10 12:01:25]

DCHECK_NE

[dcarney, 2015/03/10 13:09:46]

Done.

   DCHECK(state_ == NOT_FOUND || !HolderIsReceiverOrHiddenPrototype());
-  DCHECK(!IsSpecialNumericIndex());
   // Can only be called when the receiver is a JSObject. JSProxy has to be
   // handled via a trap. Adding properties to primitive values is not
   // observable.
@@ -333,24 +333,34 @@ Handle<Object> LookupIterator::WriteDataValue(Handle<Object> value) {
 }
 
 
-bool LookupIterator::IsSpecialNumericIndex() const {
-  if (GetStoreTarget()->IsJSTypedArray() && name()->IsString()) {
-    Handle<String> name_string = Handle<String>::cast(name());
-    if (name_string->length() > 0) {
-      double d =
-          StringToDouble(isolate()->unicode_cache(), name_string, NO_FLAGS);
-      if (!std::isnan(d)) {
-        if (String::Equals(isolate()->factory()->minus_zero_string(),
-                           name_string))
-          return true;
-
-        Factory* factory = isolate()->factory();
-        Handle<Object> num = factory->NewNumber(d);
-        Handle<String> roundtrip_string = factory->NumberToString(num);
-        if (String::Equals(name_string, roundtrip_string)) return true;
-      }
+bool LookupIterator::IsIntegerIndexedExotic(JSReceiver* holder) {
+  DCHECK(exotic_index_state_ != ExoticIndexState::kNoIndex);

[Toon Verwaest, 2015/03/10 12:01:25]

DCHECK_NE

[dcarney, 2015/03/10 13:09:46]

dcheck not okay with this

+  if (!holder->IsJSTypedArray()) return false;
+  if (exotic_index_state_ == ExoticIndexState::kIndex) return true;
+  DCHECK(exotic_index_state_ == ExoticIndexState::kUninitialized);

[Toon Verwaest, 2015/03/10 12:01:25]

DCHECK_EQ

[dcarney, 2015/03/10 13:09:46]

same

+  if (!name()->IsString() || String::cast(*name())->length() == 0) {
+    exotic_index_state_ = ExoticIndexState::kNoIndex;
+    return false;
+  }
+  Handle<String> name_string = Handle<String>::cast(name());
+  double d = StringToDouble(isolate()->unicode_cache(), name_string, NO_FLAGS);
+  if (!std::isnan(d)) {
+    if (String::Equals(isolate()->factory()->minus_zero_string(),
+                       name_string)) {
+      exotic_index_state_ = ExoticIndexState::kIndex;
+      return true;
+    }
+    // TODO(dcarney): this could be a lot faster.
+    AllowHeapAllocation allow;

[Toon Verwaest, 2015/03/10 12:01:25]

Arg, reallowing allocation is crazy... that's going  to cause bugs.
Just write a local integer parser instead. The current impl even seems wrong.
E.g., "2e+60" is handled as IntegerIndexedExotic, while I presume it shouldn't
be.

[dcarney, 2015/03/10 13:09:46]

Done.

+    Factory* factory = isolate()->factory();
+    Handle<Object> num = factory->NewNumber(d);
+    Handle<String> roundtrip_string = factory->NumberToString(num);
+    if (String::Equals(name_string, roundtrip_string)) {
+      exotic_index_state_ = ExoticIndexState::kIndex;
+      return true;
     }
   }
+  exotic_index_state_ = ExoticIndexState::kNoIndex;
   return false;
 }