Changeset 37160 in webkit for trunk/JavaScriptCore/kjs/Arguments.cpp

Timestamp:

Oct 1, 2008, 3:18:50 PM (17 years ago)

Author:

[email protected]

Message:

2008-10-01 Cameron Zwarich <​[email protected]>

Reviewed by Darin Adler.

Bug 21123: using "arguments" in a function should not force creation of an activation object
<​https://bugs.webkit.org/show_bug.cgi?id=21123>

Make the 'arguments' object not require a JSActivation. We store the
'arguments' object in the OptionalCalleeArguments call frame slot. We
need to be able to get the original 'arguments' object to tear it off
when returning from a function, but 'arguments' may be assigned to in a
number of ways.

Therefore, we use the OptionalCalleeArguments slot when we want to get
the original activation or we know that 'arguments' was not assigned a
different value. When 'arguments' may have been assigned a new value,
we use a new local variable that is initialized with 'arguments'. Since
a function parameter named 'arguments' may overwrite the value of
'arguments', we also need to be careful to look up 'arguments' in the
symbol table, so we get the parameter named 'arguments' instead of the
local variable that we have added for holding the 'arguments' object.

This is a 19.1% win on the V8 Raytrace benchmark using the SunSpider
harness, and a 20.7% win using the V8 harness. This amounts to a 6.5%
total speedup on the V8 benchmark suite using the V8 harness.

JavaScriptCore:

• VM/CTI.cpp: (JSC::CTI::privateCompileMainPass):
• VM/CodeBlock.h:
• VM/CodeGenerator.cpp: (JSC::CodeGenerator::CodeGenerator):
• VM/Machine.cpp: (JSC::Machine::unwindCallFrame): (JSC::Machine::privateExecute): (JSC::Machine::retrieveArguments): (JSC::Machine::cti_op_init_arguments): (JSC::Machine::cti_op_ret_activation_arguments):
• VM/Machine.h:
• VM/RegisterFile.h: (JSC::RegisterFile::):
• kjs/Arguments.cpp: (JSC::Arguments::mark): (JSC::Arguments::fillArgList): (JSC::Arguments::getOwnPropertySlot): (JSC::Arguments::put):
• kjs/Arguments.h: (JSC::Arguments::setRegisters): (JSC::Arguments::init): (JSC::Arguments::Arguments): (JSC::Arguments::copyRegisters): (JSC::JSActivation::copyRegisters):
• kjs/JSActivation.cpp: (JSC::JSActivation::argumentsGetter):
• kjs/JSActivation.h: (JSC::JSActivation::JSActivationData::JSActivationData):
• kjs/grammar.y:
• kjs/nodes.h: (JSC::ScopeNode::setUsesArguments):
• masm/X86Assembler.h: (JSC::X86Assembler::): (JSC::X86Assembler::orl_mr):

LayoutTests:

• fast/js/arguments-expected.txt:
• fast/js/function-dot-arguments-expected.txt:
• fast/js/resources/arguments.js:
• fast/js/resources/function-dot-arguments.js:

File:

• trunk/JavaScriptCore/kjs/Arguments.cpp (modified) (11 diffs)

trunk/JavaScriptCore/kjs/Arguments.cpp

@@ -38 +38 @@
 const ClassInfo Arguments::info = { "Arguments", 0, 0, 0 };
 
-struct ArgumentsData : Noncopyable {
-    ArgumentsData(JSActivation* activation, unsigned numParameters, int firstParameterIndex, unsigned numArguments, JSFunction* callee)
-        : activation(activation)
-        , numParameters(numParameters)
-        , firstParameterIndex(firstParameterIndex)
-        , numArguments(numArguments)
-        , extraArguments(0)
-        , callee(callee)
-        , overrodeLength(false)
-        , overrodeCallee(false)
-    {
-    }
-
-    JSActivation* activation;
-
-    unsigned numParameters;
-    int firstParameterIndex;
-    unsigned numArguments;
-    Register* extraArguments;
-    OwnArrayPtr<bool> deletedArguments;
-    Register extraArgumentsFixedBuffer[4];
-
-    JSFunction* callee;
-    bool overrodeLength : 1;
-    bool overrodeCallee : 1;
-};
-
-// ECMA 10.1.8
-Arguments::Arguments(ExecState* exec, JSFunction* function, JSActivation* activation, int firstParameterIndex, Register* argv, int argc)
-    : JSObject(exec->lexicalGlobalObject()->argumentsStructure())
-    , d(new ArgumentsData(activation, function->numParameters(), firstParameterIndex, argc, function))
-{
-    ASSERT(activation);
-  
-    if (d->numArguments > d->numParameters) {
-        unsigned numExtraArguments = d->numArguments - d->numParameters;
-        Register* extraArguments;
-        if (numExtraArguments > sizeof(d->extraArgumentsFixedBuffer) / sizeof(Register))
-            extraArguments = new Register[numExtraArguments];
-        else
-            extraArguments = d->extraArgumentsFixedBuffer;
-        for (unsigned i = 0; i < numExtraArguments; ++i)
-            extraArguments[i] = argv[d->numParameters + i];
-        d->extraArguments = extraArguments;
-    }
-}
-
 Arguments::~Arguments()
 {
@@ -94 +47 @@
 {
     JSObject::mark();
+
+    for (unsigned i = 0; i < d->numParameters; ++i) {
+        if (!d->registers[i].marked())
+            d->registers[i].mark();
+    }
 
     if (d->extraArguments) {
@@ -106 +64 @@
         d->callee->mark();
 
-    if (!d->activation->marked())
+    if (d->activation && !d->activation->marked())
         d->activation->mark();
 }
@@ -119 +77 @@
 
         if (d->numParameters == d->numArguments) {
-            args.initialize(&d->activation->registerAt(d->firstParameterIndex), d->numArguments);
+            args.initialize(&d->registers[d->firstParameterIndex], d->numArguments);
             return;
         }
@@ -126 +84 @@
         unsigned i = 0;
         for (; i < parametersLength; ++i)
-            args.append(d->activation->uncheckedSymbolTableGetValue(d->firstParameterIndex + i));
+            args.append(d->registers[d->firstParameterIndex + i].jsValue(exec));
         for (; i < d->numArguments; ++i)
-            args.append(d->extraArguments[i - d->numParameters].getJSValue());
+            args.append(d->extraArguments[i - d->numParameters].jsValue(exec));
         return;
     }
@@ -136 +94 @@
     for (; i < parametersLength; ++i) {
         if (!d->deletedArguments[i])
-            args.append(d->activation->uncheckedSymbolTableGetValue(d->firstParameterIndex + i));
+            args.append(d->registers[d->firstParameterIndex + i].jsValue(exec));
         else
             args.append(get(exec, i));
@@ -142 +100 @@
     for (; i < d->numArguments; ++i) {
         if (!d->deletedArguments[i])
-            args.append(d->extraArguments[i - d->numParameters].getJSValue());
+            args.append(d->extraArguments[i - d->numParameters].jsValue(exec));
         else
             args.append(get(exec, i));
@@ -152 +110 @@
     if (i < d->numArguments && (!d->deletedArguments || !d->deletedArguments[i])) {
         if (i < d->numParameters)
-            d->activation->uncheckedSymbolTableGet(d->firstParameterIndex + i, slot);
-        else
-            slot.setValue(d->extraArguments[i - d->numParameters].getJSValue());
+            slot.setRegisterSlot(&d->registers[d->firstParameterIndex + i]);
+        else
+            slot.setValue(d->extraArguments[i - d->numParameters].jsValue(exec));
         return true;
     }
@@ -167 +125 @@
     if (isArrayIndex && i < d->numArguments && (!d->deletedArguments || !d->deletedArguments[i])) {
         if (i < d->numParameters)
-            d->activation->uncheckedSymbolTableGet(d->firstParameterIndex + i, slot);
-        else
-            slot.setValue(d->extraArguments[i - d->numParameters].getJSValue());
+            slot.setRegisterSlot(&d->registers[d->firstParameterIndex + i]);
+        else
+            slot.setValue(d->extraArguments[i - d->numParameters].jsValue(exec));
         return true;
     }
@@ -190 +148 @@
     if (i < d->numArguments && (!d->deletedArguments || !d->deletedArguments[i])) {
         if (i < d->numParameters)
-            d->activation->uncheckedSymbolTablePut(d->firstParameterIndex + i, value);
+            d->registers[d->firstParameterIndex + i] = value;
         else
             d->extraArguments[i - d->numParameters] = value;
@@ -205 +163 @@
     if (isArrayIndex && i < d->numArguments && (!d->deletedArguments || !d->deletedArguments[i])) {
         if (i < d->numParameters)
-            d->activation->uncheckedSymbolTablePut(d->firstParameterIndex + i, value);
+            d->registers[d->firstParameterIndex + i] = value;
         else
             d->extraArguments[i - d->numParameters] = value;