c6590f923aff3a3cf9f4be3898339faba1080dca
[WebKit-https.git] / Source / JavaScriptCore / runtime / JSActivation.cpp
1 /*
2  * Copyright (C) 2008, 2009 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  *
8  * 1.  Redistributions of source code must retain the above copyright
9  *     notice, this list of conditions and the following disclaimer.
10  * 2.  Redistributions in binary form must reproduce the above copyright
11  *     notice, this list of conditions and the following disclaimer in the
12  *     documentation and/or other materials provided with the distribution.
13  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
14  *     its contributors may be used to endorse or promote products derived
15  *     from this software without specific prior written permission.
16  *
17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28  
29 #include "config.h"
30 #include "JSActivation.h"
31
32 #include "Arguments.h"
33 #include "Interpreter.h"
34 #include "JSFunction.h"
35 #include "Operations.h"
36
37 using namespace std;
38
39 namespace JSC {
40
41 const ClassInfo JSActivation::s_info = { "JSActivation", &Base::s_info, 0, 0, CREATE_METHOD_TABLE(JSActivation) };
42
43 void JSActivation::visitChildren(JSCell* cell, SlotVisitor& visitor)
44 {
45     JSActivation* thisObject = jsCast<JSActivation*>(cell);
46     ASSERT_GC_OBJECT_INHERITS(thisObject, &s_info);
47     COMPILE_ASSERT(StructureFlags & OverridesVisitChildren, OverridesVisitChildrenWithoutSettingFlag);
48     ASSERT(thisObject->structure()->typeInfo().overridesVisitChildren());
49     Base::visitChildren(thisObject, visitor);
50
51     // No need to mark our registers if they're still in the JSStack.
52     if (!thisObject->isTornOff())
53         return;
54
55     for (int i = 0; i < thisObject->symbolTable()->captureCount(); ++i)
56         visitor.append(&thisObject->storage()[i]);
57 }
58
59 inline bool JSActivation::symbolTableGet(PropertyName propertyName, PropertySlot& slot)
60 {
61     SymbolTableEntry entry = symbolTable()->inlineGet(propertyName.publicName());
62     if (entry.isNull())
63         return false;
64
65     // Defend against the inspector asking for a var after it has been optimized out.
66     if (isTornOff() && !isValid(entry))
67         return false;
68
69     slot.setValue(registerAt(entry.getIndex()).get());
70     return true;
71 }
72
73 inline bool JSActivation::symbolTableGet(PropertyName propertyName, PropertyDescriptor& descriptor)
74 {
75     SymbolTableEntry entry = symbolTable()->inlineGet(propertyName.publicName());
76     if (entry.isNull())
77         return false;
78
79     // Defend against the inspector asking for a var after it has been optimized out.
80     if (isTornOff() && !isValid(entry))
81         return false;
82
83     descriptor.setDescriptor(registerAt(entry.getIndex()).get(), entry.getAttributes());
84     return true;
85 }
86
87 inline bool JSActivation::symbolTablePut(ExecState* exec, PropertyName propertyName, JSValue value, bool shouldThrow)
88 {
89     VM& vm = exec->vm();
90     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(this));
91     
92     SymbolTableEntry entry = symbolTable()->inlineGet(propertyName.publicName());
93     if (entry.isNull())
94         return false;
95     if (entry.isReadOnly()) {
96         if (shouldThrow)
97             throwTypeError(exec, StrictModeReadonlyPropertyWriteError);
98         return true;
99     }
100
101     // Defend against the inspector asking for a var after it has been optimized out.
102     if (isTornOff() && !isValid(entry))
103         return false;
104
105     registerAt(entry.getIndex()).set(vm, this, value);
106     return true;
107 }
108
109 void JSActivation::getOwnNonIndexPropertyNames(JSObject* object, ExecState* exec, PropertyNameArray& propertyNames, EnumerationMode mode)
110 {
111     JSActivation* thisObject = jsCast<JSActivation*>(object);
112
113     if (mode == IncludeDontEnumProperties && !thisObject->isTornOff())
114         propertyNames.add(exec->propertyNames().arguments);
115
116     {
117         ConcurrentJITLocker locker(thisObject->symbolTable()->m_lock);
118         SymbolTable::Map::iterator end = thisObject->symbolTable()->end(locker);
119         for (SymbolTable::Map::iterator it = thisObject->symbolTable()->begin(locker); it != end; ++it) {
120             if (it->value.getAttributes() & DontEnum && mode != IncludeDontEnumProperties)
121                 continue;
122             if (!thisObject->isValid(it->value))
123                 continue;
124             propertyNames.add(Identifier(exec, it->key.get()));
125         }
126     }
127     // Skip the JSVariableObject implementation of getOwnNonIndexPropertyNames
128     JSObject::getOwnNonIndexPropertyNames(thisObject, exec, propertyNames, mode);
129 }
130
131 inline bool JSActivation::symbolTablePutWithAttributes(VM& vm, PropertyName propertyName, JSValue value, unsigned attributes)
132 {
133     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(this));
134     
135     WriteBarrierBase<Unknown>* reg;
136     {
137         ConcurrentJITLocker locker(symbolTable()->m_lock);
138         SymbolTable::Map::iterator iter = symbolTable()->find(locker, propertyName.publicName());
139         if (iter == symbolTable()->end(locker))
140             return false;
141         SymbolTableEntry& entry = iter->value;
142         ASSERT(!entry.isNull());
143         if (!isValid(entry))
144             return false;
145         
146         entry.setAttributes(attributes);
147         reg = &registerAt(entry.getIndex());
148     }
149     reg->set(vm, this, value);
150     return true;
151 }
152
153 bool JSActivation::getOwnPropertySlot(JSObject* object, ExecState* exec, PropertyName propertyName, PropertySlot& slot)
154 {
155     JSActivation* thisObject = jsCast<JSActivation*>(object);
156
157     if (propertyName == exec->propertyNames().arguments) {
158         // Defend against the inspector asking for the arguments object after it has been optimized out.
159         if (!thisObject->isTornOff()) {
160             slot.setCustom(thisObject, thisObject->getArgumentsGetter());
161             return true;
162         }
163     }
164
165     if (thisObject->symbolTableGet(propertyName, slot))
166         return true;
167
168     if (JSValue value = thisObject->getDirect(exec->vm(), propertyName)) {
169         slot.setValue(value);
170         return true;
171     }
172
173     // We don't call through to JSObject because there's no way to give an 
174     // activation object getter properties or a prototype.
175     ASSERT(!thisObject->hasGetterSetterProperties());
176     ASSERT(thisObject->prototype().isNull());
177     return false;
178 }
179
180 bool JSActivation::getOwnPropertyDescriptor(JSObject* object, ExecState* exec, PropertyName propertyName, PropertyDescriptor& descriptor)
181 {
182     JSActivation* thisObject = jsCast<JSActivation*>(object);
183
184     if (propertyName == exec->propertyNames().arguments) {
185         // Defend against the inspector asking for the arguments object after it has been optimized out.
186         if (!thisObject->isTornOff()) {
187             PropertySlot slot(thisObject);
188             JSActivation::getOwnPropertySlot(thisObject, exec, propertyName, slot);
189             descriptor.setDescriptor(slot.getValue(exec, propertyName), DontEnum);
190             return true;
191         }
192     }
193
194     if (thisObject->symbolTableGet(propertyName, descriptor))
195         return true;
196
197     return Base::getOwnPropertyDescriptor(object, exec, propertyName, descriptor);
198 }
199
200 void JSActivation::put(JSCell* cell, ExecState* exec, PropertyName propertyName, JSValue value, PutPropertySlot& slot)
201 {
202     JSActivation* thisObject = jsCast<JSActivation*>(cell);
203     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(thisObject));
204
205     if (thisObject->symbolTablePut(exec, propertyName, value, slot.isStrictMode()))
206         return;
207
208     // We don't call through to JSObject because __proto__ and getter/setter 
209     // properties are non-standard extensions that other implementations do not
210     // expose in the activation object.
211     ASSERT(!thisObject->hasGetterSetterProperties());
212     thisObject->putOwnDataProperty(exec->vm(), propertyName, value, slot);
213 }
214
215 // FIXME: Make this function honor ReadOnly (const) and DontEnum
216 void JSActivation::putDirectVirtual(JSObject* object, ExecState* exec, PropertyName propertyName, JSValue value, unsigned attributes)
217 {
218     JSActivation* thisObject = jsCast<JSActivation*>(object);
219     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(thisObject));
220
221     if (thisObject->symbolTablePutWithAttributes(exec->vm(), propertyName, value, attributes))
222         return;
223
224     // We don't call through to JSObject because __proto__ and getter/setter 
225     // properties are non-standard extensions that other implementations do not
226     // expose in the activation object.
227     ASSERT(!thisObject->hasGetterSetterProperties());
228     JSObject::putDirectVirtual(thisObject, exec, propertyName, value, attributes);
229 }
230
231 bool JSActivation::deleteProperty(JSCell* cell, ExecState* exec, PropertyName propertyName)
232 {
233     if (propertyName == exec->propertyNames().arguments)
234         return false;
235
236     return Base::deleteProperty(cell, exec, propertyName);
237 }
238
239 JSValue JSActivation::toThis(JSCell*, ExecState* exec, ECMAMode ecmaMode)
240 {
241     if (ecmaMode == StrictMode)
242         return jsUndefined();
243     return exec->globalThisValue();
244 }
245
246 JSValue JSActivation::argumentsGetter(ExecState*, JSValue slotBase, PropertyName)
247 {
248     JSActivation* activation = jsCast<JSActivation*>(slotBase);
249     if (activation->isTornOff())
250         return jsUndefined();
251
252     CallFrame* callFrame = CallFrame::create(reinterpret_cast<Register*>(activation->m_registers));
253     int argumentsRegister = callFrame->codeBlock()->argumentsRegister();
254     if (JSValue arguments = callFrame->uncheckedR(argumentsRegister).jsValue())
255         return arguments;
256     int realArgumentsRegister = unmodifiedArgumentsRegister(argumentsRegister);
257
258     JSValue arguments = JSValue(Arguments::create(callFrame->vm(), callFrame));
259     callFrame->uncheckedR(argumentsRegister) = arguments;
260     callFrame->uncheckedR(realArgumentsRegister) = arguments;
261     
262     ASSERT(callFrame->uncheckedR(realArgumentsRegister).jsValue().inherits(&Arguments::s_info));
263     return callFrame->uncheckedR(realArgumentsRegister).jsValue();
264 }
265
266 // These two functions serve the purpose of isolating the common case from a
267 // PIC branch.
268
269 PropertySlot::GetValueFunc JSActivation::getArgumentsGetter()
270 {
271     return argumentsGetter;
272 }
273
274 } // namespace JSC