| 1 | /* | 
| 2 |  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org) | 
| 3 |  *  Copyright (C) 2003, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved. | 
| 4 |  *  Copyright (C) 2007 Cameron Zwarich (cwzwarich@uwaterloo.ca) | 
| 5 |  *  Copyright (C) 2007 Maks Orlovich | 
| 6 |  * | 
| 7 |  *  This library is free software; you can redistribute it and/or | 
| 8 |  *  modify it under the terms of the GNU Library General Public | 
| 9 |  *  License as published by the Free Software Foundation; either | 
| 10 |  *  version 2 of the License, or (at your option) any later version. | 
| 11 |  * | 
| 12 |  *  This library is distributed in the hope that it will be useful, | 
| 13 |  *  but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| 14 |  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU | 
| 15 |  *  Library General Public License for more details. | 
| 16 |  * | 
| 17 |  *  You should have received a copy of the GNU Library General Public License | 
| 18 |  *  along with this library; see the file COPYING.LIB.  If not, write to | 
| 19 |  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, | 
| 20 |  *  Boston, MA 02110-1301, USA. | 
| 21 |  * | 
| 22 |  */ | 
| 23 |  | 
| 24 | #ifndef Arguments_h | 
| 25 | #define Arguments_h | 
| 26 |  | 
| 27 | #include "JSActivation.h" | 
| 28 | #include "JSFunction.h" | 
| 29 | #include "JSGlobalObject.h" | 
| 30 | #include "Interpreter.h" | 
| 31 | #include "ObjectConstructor.h" | 
| 32 | #include "PrototypeFunction.h" | 
| 33 |  | 
| 34 | namespace JSC { | 
| 35 |  | 
| 36 |     struct ArgumentsData : Noncopyable { | 
| 37 |         JSActivation* activation; | 
| 38 |  | 
| 39 |         unsigned numParameters; | 
| 40 |         ptrdiff_t firstParameterIndex; | 
| 41 |         unsigned numArguments; | 
| 42 |  | 
| 43 |         Register* registers; | 
| 44 |         OwnArrayPtr<Register> registerArray; | 
| 45 |  | 
| 46 |         Register* ; | 
| 47 |         OwnArrayPtr<bool> deletedArguments; | 
| 48 |         Register [4]; | 
| 49 |  | 
| 50 |         JSObject* callee; | 
| 51 |         bool overrodeLength : 1; | 
| 52 |         bool overrodeCallee : 1; | 
| 53 |     }; | 
| 54 |  | 
| 55 |  | 
| 56 |     class Arguments : public JSObject { | 
| 57 |     public: | 
| 58 |         enum NoParametersType { NoParameters }; | 
| 59 |  | 
| 60 |         Arguments(CallFrame*); | 
| 61 |         Arguments(CallFrame*, NoParametersType); | 
| 62 |         virtual ~Arguments(); | 
| 63 |  | 
| 64 |         static const ClassInfo info; | 
| 65 |  | 
| 66 |         virtual void markChildren(MarkStack&); | 
| 67 |  | 
| 68 |         void fillArgList(ExecState*, MarkedArgumentBuffer&); | 
| 69 |  | 
| 70 |         uint32_t numProvidedArguments(ExecState* exec) const  | 
| 71 |         { | 
| 72 |             if (UNLIKELY(d->overrodeLength)) | 
| 73 |                 return get(exec, propertyName: exec->propertyNames().length).toUInt32(exec); | 
| 74 |             return d->numArguments;  | 
| 75 |         } | 
| 76 |          | 
| 77 |         void copyToRegisters(ExecState* exec, Register* buffer, uint32_t maxSize); | 
| 78 |         void copyRegisters(); | 
| 79 |         bool isTornOff() const { return d->registerArray; } | 
| 80 |         void setActivation(JSActivation* activation) | 
| 81 |         { | 
| 82 |             d->activation = activation; | 
| 83 |             d->registers = &activation->registerAt(index: 0); | 
| 84 |         } | 
| 85 |  | 
| 86 |         static PassRefPtr<Structure> createStructure(JSValue prototype)  | 
| 87 |         {  | 
| 88 |             return Structure::create(prototype, typeInfo: TypeInfo(ObjectType, StructureFlags));  | 
| 89 |         } | 
| 90 |  | 
| 91 |     protected: | 
| 92 |         static const unsigned StructureFlags = OverridesGetOwnPropertySlot | OverridesMarkChildren | OverridesGetPropertyNames | JSObject::StructureFlags; | 
| 93 |  | 
| 94 |     private: | 
| 95 |         void getArgumentsData(CallFrame*, JSObject*&, ptrdiff_t& firstParameterIndex, Register*& argv, int& argc); | 
| 96 |         virtual bool getOwnPropertySlot(ExecState*, const Identifier& propertyName, PropertySlot&); | 
| 97 |         virtual bool getOwnPropertySlot(ExecState*, unsigned propertyName, PropertySlot&); | 
| 98 |         virtual bool getOwnPropertyDescriptor(ExecState*, const Identifier&, PropertyDescriptor&); | 
| 99 |         virtual void getOwnPropertyNames(ExecState*, PropertyNameArray&, EnumerationMode mode = ExcludeDontEnumProperties); | 
| 100 |         virtual void put(ExecState*, const Identifier& propertyName, JSValue, PutPropertySlot&); | 
| 101 |         virtual void put(ExecState*, unsigned propertyName, JSValue, PutPropertySlot&); | 
| 102 |         virtual bool deleteProperty(ExecState*, const Identifier& propertyName); | 
| 103 |         virtual bool deleteProperty(ExecState*, unsigned propertyName); | 
| 104 |  | 
| 105 |         virtual const ClassInfo* classInfo() const { return &info; } | 
| 106 |  | 
| 107 |         void init(CallFrame*); | 
| 108 |  | 
| 109 |         OwnPtr<ArgumentsData> d; | 
| 110 |     }; | 
| 111 |  | 
| 112 |     Arguments* asArguments(JSValue); | 
| 113 |  | 
| 114 |     inline Arguments* asArguments(JSValue value) | 
| 115 |     { | 
| 116 |         ASSERT(asObject(value)->inherits(&Arguments::info)); | 
| 117 |         return static_cast<Arguments*>(asObject(value)); | 
| 118 |     } | 
| 119 |  | 
| 120 |     ALWAYS_INLINE void Arguments::getArgumentsData(CallFrame* callFrame, JSObject*& callee, ptrdiff_t& firstParameterIndex, Register*& argv, int& argc) | 
| 121 |     { | 
| 122 |         callee = callFrame->callee(); | 
| 123 |  | 
| 124 |         int numParameters; | 
| 125 |         if (callee->inherits(info: &JSFunction::info)) | 
| 126 |             numParameters = JSC::asFunction(value: callee)->jsExecutable()->parameterCount(); | 
| 127 |         else | 
| 128 |             numParameters = 0; | 
| 129 |  | 
| 130 |         argc = callFrame->argumentCount(); | 
| 131 |  | 
| 132 |         if (argc <= numParameters) | 
| 133 |             argv = callFrame->registers() - RegisterFile::CallFrameHeaderSize - numParameters; | 
| 134 |         else | 
| 135 |             argv = callFrame->registers() - RegisterFile::CallFrameHeaderSize - numParameters - argc; | 
| 136 |  | 
| 137 |         argc -= 1; // - 1 to skip "this" | 
| 138 |         firstParameterIndex = -RegisterFile::CallFrameHeaderSize - numParameters; | 
| 139 |     } | 
| 140 |  | 
| 141 |     inline Arguments::Arguments(CallFrame* callFrame) | 
| 142 |         : JSObject(callFrame->lexicalGlobalObject()->argumentsStructure()) | 
| 143 |         , d(new ArgumentsData) | 
| 144 |     { | 
| 145 |         JSObject* callee; | 
| 146 |         ptrdiff_t firstParameterIndex; | 
| 147 |         Register* argv; | 
| 148 |         int numArguments; | 
| 149 |         getArgumentsData(callFrame, callee, firstParameterIndex, argv, argc&: numArguments); | 
| 150 |  | 
| 151 |         if (callee->inherits(info: &JSFunction::info)) | 
| 152 |             d->numParameters = JSC::asFunction(value: callee)->jsExecutable()->parameterCount(); | 
| 153 |         else | 
| 154 |             d->numParameters = 0; | 
| 155 |         d->firstParameterIndex = firstParameterIndex; | 
| 156 |         d->numArguments = numArguments; | 
| 157 |  | 
| 158 |         d->activation = 0; | 
| 159 |         d->registers = callFrame->registers(); | 
| 160 |  | 
| 161 |         Register* ; | 
| 162 |         if (d->numArguments <= d->numParameters) | 
| 163 |             extraArguments = 0; | 
| 164 |         else { | 
| 165 |             unsigned  = d->numArguments - d->numParameters; | 
| 166 |             if (numExtraArguments > sizeof(d->extraArgumentsFixedBuffer) / sizeof(Register)) | 
| 167 |                 extraArguments = new Register[numExtraArguments]; | 
| 168 |             else | 
| 169 |                 extraArguments = d->extraArgumentsFixedBuffer; | 
| 170 |             for (unsigned i = 0; i < numExtraArguments; ++i) | 
| 171 |                 extraArguments[i] = argv[d->numParameters + i]; | 
| 172 |         } | 
| 173 |  | 
| 174 |         d->extraArguments = extraArguments; | 
| 175 |  | 
| 176 |         d->callee = callee; | 
| 177 |         d->overrodeLength = false; | 
| 178 |         d->overrodeCallee = false; | 
| 179 |     } | 
| 180 |  | 
| 181 |     inline Arguments::Arguments(CallFrame* callFrame, NoParametersType) | 
| 182 |         : JSObject(callFrame->lexicalGlobalObject()->argumentsStructure()) | 
| 183 |         , d(new ArgumentsData) | 
| 184 |     { | 
| 185 |         if (callFrame->callee() && callFrame->callee()->inherits(info: &JSC::JSFunction::info)) | 
| 186 |             ASSERT(!asFunction(callFrame->callee())->jsExecutable()->parameterCount()); | 
| 187 |  | 
| 188 |         unsigned numArguments = callFrame->argumentCount() - 1; | 
| 189 |  | 
| 190 |         d->numParameters = 0; | 
| 191 |         d->numArguments = numArguments; | 
| 192 |         d->activation = 0; | 
| 193 |  | 
| 194 |         Register* ; | 
| 195 |         if (numArguments > sizeof(d->extraArgumentsFixedBuffer) / sizeof(Register)) | 
| 196 |             extraArguments = new Register[numArguments]; | 
| 197 |         else | 
| 198 |             extraArguments = d->extraArgumentsFixedBuffer; | 
| 199 |  | 
| 200 |         Register* argv = callFrame->registers() - RegisterFile::CallFrameHeaderSize - numArguments - 1; | 
| 201 |         if (callFrame->callee() && !callFrame->callee()->inherits(info: &JSC::JSFunction::info)) | 
| 202 |             ++argv; // ### off-by-one issue with native functions | 
| 203 |         for (unsigned i = 0; i < numArguments; ++i) | 
| 204 |             extraArguments[i] = argv[i]; | 
| 205 |  | 
| 206 |         d->extraArguments = extraArguments; | 
| 207 |  | 
| 208 |         d->callee = callFrame->callee(); | 
| 209 |         d->overrodeLength = false; | 
| 210 |         d->overrodeCallee = false; | 
| 211 |     } | 
| 212 |  | 
| 213 |     inline void Arguments::copyRegisters() | 
| 214 |     { | 
| 215 |         ASSERT(!isTornOff()); | 
| 216 |  | 
| 217 |         if (!d->numParameters) | 
| 218 |             return; | 
| 219 |  | 
| 220 |         int registerOffset = d->numParameters + RegisterFile::CallFrameHeaderSize; | 
| 221 |         size_t registerArraySize = d->numParameters; | 
| 222 |  | 
| 223 |         Register* registerArray = new Register[registerArraySize]; | 
| 224 |         memcpy(dest: registerArray, src: d->registers - registerOffset, n: registerArraySize * sizeof(Register)); | 
| 225 |         d->registerArray.set(registerArray); | 
| 226 |         d->registers = registerArray + registerOffset; | 
| 227 |     } | 
| 228 |  | 
| 229 |     // This JSActivation function is defined here so it can get at Arguments::setRegisters. | 
| 230 |     inline void JSActivation::copyRegisters(Arguments* arguments) | 
| 231 |     { | 
| 232 |         ASSERT(!d()->registerArray); | 
| 233 |  | 
| 234 |         size_t numParametersMinusThis = d()->functionExecutable->generatedBytecode().m_numParameters - 1; | 
| 235 |         size_t numVars = d()->functionExecutable->generatedBytecode().m_numVars; | 
| 236 |         size_t numLocals = numVars + numParametersMinusThis; | 
| 237 |  | 
| 238 |         if (!numLocals) | 
| 239 |             return; | 
| 240 |  | 
| 241 |         int registerOffset = numParametersMinusThis + RegisterFile::CallFrameHeaderSize; | 
| 242 |         size_t registerArraySize = numLocals + RegisterFile::CallFrameHeaderSize; | 
| 243 |  | 
| 244 |         Register* registerArray = copyRegisterArray(src: d()->registers - registerOffset, count: registerArraySize); | 
| 245 |         setRegisters(registers: registerArray + registerOffset, registerArray); | 
| 246 |         if (arguments && !arguments->isTornOff()) | 
| 247 |             static_cast<Arguments*>(arguments)->setActivation(this); | 
| 248 |     } | 
| 249 |  | 
| 250 |     ALWAYS_INLINE Arguments* Register::arguments() const | 
| 251 |     { | 
| 252 |         if (jsValue() == JSValue()) | 
| 253 |             return 0; | 
| 254 |         return asArguments(value: jsValue()); | 
| 255 |     } | 
| 256 |      | 
| 257 |  | 
| 258 | } // namespace JSC | 
| 259 |  | 
| 260 | #endif // Arguments_h | 
| 261 |  |