Turn ElementsTransitionAndStore stub into a HydrogenCodeStub.

src/code-stubs.h

 // 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 66 matching lines @@
   V(KeyedLoadElement)                    \
   V(ArrayNoArgumentConstructor)          \
   V(ArraySingleArgumentConstructor)      \
   V(ArrayNArgumentsConstructor)          \
   V(InternalArrayNoArgumentConstructor)  \
   V(InternalArraySingleArgumentConstructor)      \
   V(InternalArrayNArgumentsConstructor)  \
   V(KeyedStoreElement)                   \
   V(DebuggerStatement)                   \
   V(NameDictionaryLookup)                \
-  V(ElementsTransitionAndStore)          \
+  V(ElementsTransitionAndStoreStrict)    \
+  V(ElementsTransitionAndStoreNonStrict) \

[danno, 2013/07/10 12:33:44]

I had another look at KeyedStoreIC_Miss and KeyedStore ICs. If you use a
StoreKeyedIC, you can get the strictness from the calling IC, it really is
redundant on the code stub. 
Please create a KeyedStoreIC in the transition and store stub runtime call in
C++, and use it to extract the strictness like we do for the plain
KeyedStoreICs.

Sorry for the noise :-/

[Benedikt Meurer, 2013/07/10 13:23:45]

Done.

   V(TransitionElementsKind)              \
   V(StoreArrayLiteralElement)            \
   V(StubFailureTrampoline)               \
   V(ArrayConstructor)                    \
   V(InternalArrayConstructor)            \
   V(ProfileEntryHook)                    \
   V(StoreGlobal)                         \
   /* IC Handler stubs */                 \
   V(LoadField)                           \
   V(KeyedLoadField)
@@ skipping 2105 matching lines @@
   Major MajorKey() { return ToBoolean; }
   int NotMissMinorKey() { return GetExtraICState(); }
 
   explicit ToBooleanStub(InitializationState init_state) :
     HydrogenCodeStub(init_state) {}
 
   Types types_;
 };
 
 
-class ElementsTransitionAndStoreStub : public PlatformCodeStub {
+class ElementsTransitionAndStoreStub : public HydrogenCodeStub {
  public:
+  ElementsKind from() const { return from_; }
+  ElementsKind to() const { return to_; }
+  bool is_jsarray() const { return is_jsarray_; }
+  KeyedAccessStoreMode store_mode() const { return store_mode_; }
+
+  Handle<Code> GenerateCode();
+
+  void InitializeInterfaceDescriptor(
+      Isolate* isolate,
+      CodeStubInterfaceDescriptor* descriptor);
+
+ protected:
   ElementsTransitionAndStoreStub(ElementsKind from,
                                  ElementsKind to,
                                  bool is_jsarray,
-                                 StrictModeFlag strict_mode,
                                  KeyedAccessStoreMode store_mode)
       : from_(from),
         to_(to),
         is_jsarray_(is_jsarray),
-        strict_mode_(strict_mode),
-        store_mode_(store_mode) {}
+        store_mode_(store_mode) {
+    ASSERT(!IsFastHoleyElementsKind(from) || IsFastHoleyElementsKind(to));
+  }
+
+  virtual Address GetDeoptimizationHandler() const = 0;
 
  private:
-  class FromBits:       public BitField<ElementsKind,        0, 8> {};
-  class ToBits:         public BitField<ElementsKind,        8, 8> {};
-  class IsJSArrayBits:  public BitField<bool,                16, 1> {};
-  class StrictModeBits: public BitField<StrictModeFlag,      17, 1> {};
+  class FromBits:      public BitField<ElementsKind,          0, 8> {};
+  class ToBits:        public BitField<ElementsKind,          8, 8> {};
+  class IsJSArrayBits: public BitField<bool,                 16, 1> {};
   class StoreModeBits: public BitField<KeyedAccessStoreMode, 18, 4> {};
 
-  Major MajorKey() { return ElementsTransitionAndStore; }
-  int MinorKey() {
-    return FromBits::encode(from_) |
-        ToBits::encode(to_) |
-        IsJSArrayBits::encode(is_jsarray_) |
-        StrictModeBits::encode(strict_mode_) |
-        StoreModeBits::encode(store_mode_);
+  int NotMissMinorKey() {
+    return FromBits::encode(from()) |
+        ToBits::encode(to()) |
+        IsJSArrayBits::encode(is_jsarray()) |
+        StoreModeBits::encode(store_mode());
   }
 
-  void Generate(MacroAssembler* masm);
-
   ElementsKind from_;
   ElementsKind to_;
   bool is_jsarray_;
-  StrictModeFlag strict_mode_;
   KeyedAccessStoreMode store_mode_;
 
   DISALLOW_COPY_AND_ASSIGN(ElementsTransitionAndStoreStub);
 };
 
 
+class ElementsTransitionAndStoreNonStrictStub
+    : public ElementsTransitionAndStoreStub {
+ public:
+  ElementsTransitionAndStoreNonStrictStub(ElementsKind from,
+                                          ElementsKind to,
+                                          bool is_jsarray,
+                                          KeyedAccessStoreMode store_mode)
+      : ElementsTransitionAndStoreStub(from, to, is_jsarray, store_mode) { }
+
+ private:
+  Address GetDeoptimizationHandler() const {
+    return Runtime::FunctionForId(
+        Runtime::kElementsTransitionAndStoreNonStrict)->entry;
+  }
+
+  Major MajorKey() { return ElementsTransitionAndStoreNonStrict; }
+
+  DISALLOW_COPY_AND_ASSIGN(ElementsTransitionAndStoreNonStrictStub);
+};
+
+
+class ElementsTransitionAndStoreStrictStub
+    : public ElementsTransitionAndStoreStub {
+ public:
+  ElementsTransitionAndStoreStrictStub(ElementsKind from,
+                                       ElementsKind to,
+                                       bool is_jsarray,
+                                       KeyedAccessStoreMode store_mode)
+      : ElementsTransitionAndStoreStub(from, to, is_jsarray, store_mode) { }
+
+ private:
+  Address GetDeoptimizationHandler() const {
+    return Runtime::FunctionForId(
+        Runtime::kElementsTransitionAndStoreStrict)->entry;
+  }
+
+  Major MajorKey() { return ElementsTransitionAndStoreStrict; }
+
+  DISALLOW_COPY_AND_ASSIGN(ElementsTransitionAndStoreStrictStub);
+};
+
+
 class StoreArrayLiteralElementStub : public PlatformCodeStub {
  public:
   StoreArrayLiteralElementStub()
         : fp_registers_(CanUseFPRegisters()) { }
 
  private:
   class FPRegisters: public BitField<bool,                0, 1> {};
 
   Major MajorKey() { return StoreArrayLiteralElement; }
   int MinorKey() { return FPRegisters::encode(fp_registers_); }
@@ skipping 52 matching lines @@
   int MinorKey() { return 0; }
 
   void Generate(MacroAssembler* masm);
 
   DISALLOW_COPY_AND_ASSIGN(ProfileEntryHookStub);
 };
 
 } }  // namespace v8::internal
 
 #endif  // V8_CODE_STUBS_H_