Optimize the equality check case of ICCompare stubs.

src/code-stubs.cc

 // Copyright 2011 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 78 matching lines @@
   }
 #endif
 }
 
 
 int CodeStub::GetCodeKind() {
   return Code::STUB;
 }
 
 
-Handle<Code> CodeStub::GetCode() {
+Handle<Code> CodeStub::GetCode(bool use_special_cache) {
   Isolate* isolate = Isolate::Current();
   Factory* factory = isolate->factory();
   Heap* heap = isolate->heap();
   Code* code;
-  if (!FindCodeInCache(&code)) {
+
+  if (use_special_cache || !FindCodeInCache(&code)) {

[Kevin Millikin (Chromium), 2011/11/10 19:08:42]

I think this is a little clearer if it is something like:

if (use_special_cache) {
  if (FindCodeInSpecialCache(&code)) return Handle<Code>(code);
} else {
  if (FindCodeInCache(&code)) return Handle<Code>(code);
}

or if you wanted to be a bit twisted:

if (use_special_cache
        ? FindCodeInSpecialCache(&code)
        : FindCodeInCache(&code)) {
  return Handle<Code>(code);
}

[Kevin Millikin (Chromium), 2011/11/10 19:11:18]

And then include the compilation code starting with the HandleScope, obviously.

[Rico, 2011/11/11 08:49:11]

Done and moved the pregenerated check up here

+    // Using a specialized cache is delegated to code in the specific stub.
+    if (use_special_cache && FindCodeInSpecialCache(&code)) {
+      return Handle<Code>(code, isolate);
+    }
+
     HandleScope scope(isolate);
 
     // Generate the new code.
     MacroAssembler masm(isolate, NULL, 256);
     GenerateCode(&masm);
 
     // Create the code object.
     CodeDesc desc;
     masm.GetCode(&desc);
 
     // Copy the generated code into a heap object.
     Code::Flags flags = Code::ComputeFlags(
         static_cast<Code::Kind>(GetCodeKind()),
         GetICState());
     Handle<Code> new_object = factory->NewCode(
         desc, flags, masm.CodeObject(), NeedsImmovableCode());
     RecordCodeGeneration(*new_object, &masm);
     FinishCode(*new_object);
 
     // Update the dictionary and the root in Heap.
-    Handle<NumberDictionary> dict =
-        factory->DictionaryAtNumberPut(
-            Handle<NumberDictionary>(heap->code_stubs()),
-            GetKey(),
-            new_object);
-    heap->public_set_code_stubs(*dict);
+
+    if (use_special_cache) {
+      CHECK(AddToSpecialCache(new_object));
+    } else {
+      Handle<NumberDictionary> dict =
+          factory->DictionaryAtNumberPut(
+              Handle<NumberDictionary>(heap->code_stubs()),
+              GetKey(),
+              new_object);
+      heap->public_set_code_stubs(*dict);
+    }
+
     code = *new_object;
     Activate(code);
   } else {
     CHECK(IsPregenerated() == code->is_pregenerated());
   }
 
   ASSERT(!NeedsImmovableCode() || heap->lo_space()->Contains(code));
   return Handle<Code>(code, isolate);
 }
 
@@ skipping 11 matching lines @@
       return NULL;
   }
 }
 
 
 void CodeStub::PrintName(StringStream* stream) {
   stream->Add("%s", MajorName(MajorKey(), false));
 }
 
 
+bool ICCompareStub::AddToSpecialCache(Handle<Code> new_object) {
+  ASSERT(known_map_ != NULL);
+  Isolate* isolate = Isolate::Current();

[Kevin Millikin (Chromium), 2011/11/10 19:08:42]

If you want to avoid TLS to fetch the isolate, you could pass in the one you
have from GetCode or else use new_object->isolate().

[Rico, 2011/11/11 08:49:11]

Done.

+  Factory* factory = isolate->factory();
+  Heap* heap = isolate->heap();
+  Handle<NumberDictionary> dict =
+      factory->DictionaryAtNumberPut(
+          Handle<NumberDictionary>(heap->compare_stubs_known_objects()),
+          static_cast<uint32_t>(reinterpret_cast<uintptr_t>(known_map_)),
+          new_object);
+  heap->public_set_compare_stubs_known_objects(*dict);
+  return true;
+}
+
+
+bool ICCompareStub::FindCodeInSpecialCache(Code** code_out) {
+  ASSERT(known_map_ != NULL);
+  Heap* heap = Isolate::Current()->heap();
+  int index = heap->compare_stubs_known_objects()->FindEntry(
+      static_cast<uint32_t>(reinterpret_cast<uintptr_t>(known_map_)));
+  if (index != NumberDictionary::kNotFound) {
+    *code_out = Code::cast(heap->compare_stubs_known_objects()->ValueAt(index));
+    UNREACHABLE();
+    return true;
+  }
+  return false;
+}
+
+
 int ICCompareStub::MinorKey() {
   return OpField::encode(op_ - Token::EQ) | StateField::encode(state_);
 }
 
 
 void ICCompareStub::Generate(MacroAssembler* masm) {
   switch (state_) {
     case CompareIC::UNINITIALIZED:
       GenerateMiss(masm);
       break;
     case CompareIC::SMIS:
       GenerateSmis(masm);
       break;
     case CompareIC::HEAP_NUMBERS:
       GenerateHeapNumbers(masm);
       break;
     case CompareIC::STRINGS:
       GenerateStrings(masm);
       break;
     case CompareIC::SYMBOLS:
       GenerateSymbols(masm);
       break;
     case CompareIC::OBJECTS:
       GenerateObjects(masm);
       break;
+    case CompareIC::KNOWN_OBJECTS:
+      ASSERT(known_map_ != NULL);
+      GenerateKnownObjects(masm, known_map_);
+      break;
     default:
       UNREACHABLE();
   }
 }
 
 
 void InstanceofStub::PrintName(StringStream* stream) {
   const char* args = "";
   if (HasArgsInRegisters()) {
     args = "_REGS";
@@ skipping 196 matching lines @@
       KeyedStoreStubCompiler::GenerateStoreFastDoubleElement(masm, is_jsarray_);
     } else {
       UNREACHABLE();
     }
   }
   masm->bind(&fail);
   KeyedStoreIC::GenerateRuntimeSetProperty(masm, strict_mode_);
 }
 
 } }  // namespace v8::internal