Adding a type vector to replace type cells.

src/ast.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 576 matching lines @@
 // Recording of type feedback
 
 // TODO(rossberg): all RecordTypeFeedback functions should disappear
 // once we use the common type field in the AST consistently.
 
 void Expression::RecordToBooleanTypeFeedback(TypeFeedbackOracle* oracle) {
   to_boolean_types_ = oracle->ToBooleanTypes(test_id());
 }
 
 
+int Call::ConsumeFeedbackSlots(Isolate* isolate, int current_slot) {
+  CallType call_type = GetCallType(isolate);
+  int slots = 0;
+  if (call_type == LOOKUP_SLOT_CALL || call_type == OTHER_CALL) {
+    // Call only uses a slot in some cases.
+    slots++;
+    call_feedback_slot_ = current_slot;
+  }
+
+  return current_slot + slots;
+}
+
+
 Call::CallType Call::GetCallType(Isolate* isolate) const {
   VariableProxy* proxy = expression()->AsVariableProxy();
   if (proxy != NULL) {
     if (proxy->var()->is_possibly_eval(isolate)) {
       return POSSIBLY_EVAL_CALL;
     } else if (proxy->var()->IsUnallocated()) {
       return GLOBAL_CALL;
     } else if (proxy->var()->IsLookupSlot()) {
       return LOOKUP_SLOT_CALL;
     }
@@ skipping 98 matching lines @@
     case BOOLEAN_CHECK:
       function = native_context->boolean_function();
       break;
   }
   ASSERT(function != NULL);
   return Handle<JSObject>(JSObject::cast(function->instance_prototype()));
 }
 
 
 void Call::RecordTypeFeedback(TypeFeedbackOracle* oracle) {
-  is_monomorphic_ = oracle->CallIsMonomorphic(CallFeedbackId());
-  Property* property = expression()->AsProperty();
-  if (property == NULL) {
-    // Function call.  Specialize for monomorphic calls.
-    if (is_monomorphic_) target_ = oracle->GetCallTarget(CallFeedbackId());
-  } else if (property->key()->IsPropertyName()) {
-    // Method call.  Specialize for the receiver types seen at runtime.
-    Literal* key = property->key()->AsLiteral();
-    ASSERT(key != NULL && key->value()->IsString());
-    Handle<String> name = Handle<String>::cast(key->value());
-    check_type_ = oracle->GetCallCheckType(CallFeedbackId());
-    receiver_types_.Clear();
-    if (check_type_ == RECEIVER_MAP_CHECK) {
-      oracle->CallReceiverTypes(CallFeedbackId(),
-          name, arguments()->length(), &receiver_types_);
-      is_monomorphic_ = is_monomorphic_ && receiver_types_.length() > 0;
-    } else {
-      holder_ = GetPrototypeForPrimitiveCheck(check_type_, oracle->isolate());
-      receiver_types_.Add(handle(holder_->map()), oracle->zone());
-    }
+  if (CallFeedbackSlot() >= 0) {

[danno, 2014/01/28 08:27:17]

You probably want to turn this into a convenience predicate HasFeedbackSlot()

[mvstanton, 2014/01/30 15:13:41]

Done.

+    // We stored feedback in the type vector.
+    is_monomorphic_ = oracle->CallIsMonomorphic(CallFeedbackSlot());
+    ASSERT(expression()->AsProperty() == NULL);
+    if (is_monomorphic_) target_ = oracle->GetCallTarget(CallFeedbackSlot());
+  } else {
+    // We stored feedback in an IC.
+    is_monomorphic_ = oracle->CallIsMonomorphic(CallFeedbackId());
+    Property* property = expression()->AsProperty();
+    if (property != NULL) {
+      if (property->key()->IsPropertyName()) {
+        // Method call.  Specialize for the receiver types seen at runtime.
+        Literal* key = property->key()->AsLiteral();
+        ASSERT(key != NULL && key->value()->IsString());
+        Handle<String> name = Handle<String>::cast(key->value());
+        check_type_ = oracle->GetCallCheckType(CallFeedbackId());
+        receiver_types_.Clear();
+        if (check_type_ == RECEIVER_MAP_CHECK) {
+          oracle->CallReceiverTypes(CallFeedbackId(),
+                                    name, arguments()->length(),
+                                    &receiver_types_);
+          is_monomorphic_ = is_monomorphic_ && receiver_types_.length() > 0;
+        } else {
+          holder_ = GetPrototypeForPrimitiveCheck(check_type_,
+                                                  oracle->isolate());
+          receiver_types_.Add(handle(holder_->map()), oracle->zone());
+        }
 #ifdef ENABLE_SLOW_ASSERTS
-    if (FLAG_enable_slow_asserts) {
-      int length = receiver_types_.length();
-      for (int i = 0; i < length; i++) {
-        Handle<Map> map = receiver_types_.at(i);
-        ASSERT(!map.is_null() && *map != NULL);
+        if (FLAG_enable_slow_asserts) {
+          int length = receiver_types_.length();
+          for (int i = 0; i < length; i++) {
+            Handle<Map> map = receiver_types_.at(i);
+            ASSERT(!map.is_null() && *map != NULL);
+          }
+        }
+#endif
+        if (is_monomorphic_) {
+          Handle<Map> map = receiver_types_.first();
+          is_monomorphic_ = ComputeTarget(map, name);
+        }
+      } else {
+        if (is_monomorphic_) {
+          keyed_array_call_is_holey_ =
+              oracle->KeyedArrayCallIsHoley(CallFeedbackId());
+        }
       }
     }
-#endif
-    if (is_monomorphic_) {
-      Handle<Map> map = receiver_types_.first();
-      is_monomorphic_ = ComputeTarget(map, name);
-    }
-  } else {
-    if (is_monomorphic_) {
-      keyed_array_call_is_holey_ =
-          oracle->KeyedArrayCallIsHoley(CallFeedbackId());
-    }
   }
 }
 
 
 void CallNew::RecordTypeFeedback(TypeFeedbackOracle* oracle) {
   allocation_site_ =
-      oracle->GetCallNewAllocationSite(CallNewFeedbackId());
-  is_monomorphic_ = oracle->CallNewIsMonomorphic(CallNewFeedbackId());
+      oracle->GetCallNewAllocationSite(CallNewFeedbackSlot());
+  is_monomorphic_ = oracle->CallNewIsMonomorphic(CallNewFeedbackSlot());
   if (is_monomorphic_) {
-    target_ = oracle->GetCallNewTarget(CallNewFeedbackId());
+    target_ = oracle->GetCallNewTarget(CallNewFeedbackSlot());
     if (!allocation_site_.is_null()) {
       elements_kind_ = allocation_site_->GetElementsKind();
     }
   }
 }
 
 
 void ObjectLiteral::Property::RecordTypeFeedback(TypeFeedbackOracle* oracle) {
   TypeFeedbackId id = key()->LiteralFeedbackId();
   SmallMapList maps;
@@ skipping 500 matching lines @@
     OS::SNPrintF(buffer, "%d", Smi::cast(*value_)->value());
     str = arr;
   } else {
     str = DoubleToCString(value_->Number(), buffer);
   }
   return isolate_->factory()->NewStringFromAscii(CStrVector(str));
 }
 
 
 } }  // namespace v8::internal