JSC should be a triple-tier VM
[WebKit-https.git] / Source / JavaScriptCore / interpreter / CallFrame.h
1 /*
2  *  Copyright (C) 1999-2001 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2001 Peter Kelly (pmk@post.com)
4  *  Copyright (C) 2003, 2007, 2008, 2011 Apple Inc. All rights reserved.
5  *
6  *  This library is free software; you can redistribute it and/or
7  *  modify it under the terms of the GNU Library General Public
8  *  License as published by the Free Software Foundation; either
9  *  version 2 of the License, or (at your option) any later version.
10  *
11  *  This library is distributed in the hope that it will be useful,
12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  *  Library General Public License for more details.
15  *
16  *  You should have received a copy of the GNU Library General Public License
17  *  along with this library; see the file COPYING.LIB.  If not, write to
18  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
19  *  Boston, MA 02110-1301, USA.
20  *
21  */
22
23 #ifndef CallFrame_h
24 #define CallFrame_h
25
26 #include "AbstractPC.h"
27 #include "JSGlobalData.h"
28 #include "MacroAssemblerCodeRef.h"
29 #include "RegisterFile.h"
30
31 namespace JSC  {
32
33     class Arguments;
34     class JSActivation;
35     class Interpreter;
36     class ScopeChainNode;
37
38     // Represents the current state of script execution.
39     // Passed as the first argument to most functions.
40     class ExecState : private Register {
41     public:
42         JSValue calleeAsValue() const { return this[RegisterFile::Callee].jsValue(); }
43         JSObject* callee() const { return this[RegisterFile::Callee].function(); }
44         CodeBlock* codeBlock() const { return this[RegisterFile::CodeBlock].Register::codeBlock(); }
45         ScopeChainNode* scopeChain() const
46         {
47             ASSERT(this[RegisterFile::ScopeChain].Register::scopeChain());
48             return this[RegisterFile::ScopeChain].Register::scopeChain();
49         }
50
51         // Global object in which execution began.
52         JSGlobalObject* dynamicGlobalObject();
53
54         // Global object in which the currently executing code was defined.
55         // Differs from dynamicGlobalObject() during function calls across web browser frames.
56         inline JSGlobalObject* lexicalGlobalObject() const;
57
58         // Differs from lexicalGlobalObject because this will have DOM window shell rather than
59         // the actual DOM window, which can't be "this" for security reasons.
60         inline JSObject* globalThisValue() const;
61
62         inline JSGlobalData& globalData() const;
63
64         // Convenience functions for access to global data.
65         // It takes a few memory references to get from a call frame to the global data
66         // pointer, so these are inefficient, and should be used sparingly in new code.
67         // But they're used in many places in legacy code, so they're not going away any time soon.
68
69         void clearException() { globalData().exception = JSValue(); }
70         JSValue exception() const { return globalData().exception; }
71         bool hadException() const { return globalData().exception; }
72
73         const CommonIdentifiers& propertyNames() const { return *globalData().propertyNames; }
74         const MarkedArgumentBuffer& emptyList() const { return *globalData().emptyList; }
75         Interpreter* interpreter() { return globalData().interpreter; }
76         Heap* heap() { return &globalData().heap; }
77 #ifndef NDEBUG
78         void dumpCaller();
79 #endif
80         static const HashTable* arrayConstructorTable(CallFrame* callFrame) { return callFrame->globalData().arrayConstructorTable; }
81         static const HashTable* arrayPrototypeTable(CallFrame* callFrame) { return callFrame->globalData().arrayPrototypeTable; }
82         static const HashTable* booleanPrototypeTable(CallFrame* callFrame) { return callFrame->globalData().booleanPrototypeTable; }
83         static const HashTable* dateTable(CallFrame* callFrame) { return callFrame->globalData().dateTable; }
84         static const HashTable* dateConstructorTable(CallFrame* callFrame) { return callFrame->globalData().dateConstructorTable; }
85         static const HashTable* errorPrototypeTable(CallFrame* callFrame) { return callFrame->globalData().errorPrototypeTable; }
86         static const HashTable* globalObjectTable(CallFrame* callFrame) { return callFrame->globalData().globalObjectTable; }
87         static const HashTable* jsonTable(CallFrame* callFrame) { return callFrame->globalData().jsonTable; }
88         static const HashTable* mathTable(CallFrame* callFrame) { return callFrame->globalData().mathTable; }
89         static const HashTable* numberConstructorTable(CallFrame* callFrame) { return callFrame->globalData().numberConstructorTable; }
90         static const HashTable* numberPrototypeTable(CallFrame* callFrame) { return callFrame->globalData().numberPrototypeTable; }
91         static const HashTable* objectConstructorTable(CallFrame* callFrame) { return callFrame->globalData().objectConstructorTable; }
92         static const HashTable* objectPrototypeTable(CallFrame* callFrame) { return callFrame->globalData().objectPrototypeTable; }
93         static const HashTable* regExpTable(CallFrame* callFrame) { return callFrame->globalData().regExpTable; }
94         static const HashTable* regExpConstructorTable(CallFrame* callFrame) { return callFrame->globalData().regExpConstructorTable; }
95         static const HashTable* regExpPrototypeTable(CallFrame* callFrame) { return callFrame->globalData().regExpPrototypeTable; }
96         static const HashTable* stringTable(CallFrame* callFrame) { return callFrame->globalData().stringTable; }
97         static const HashTable* stringConstructorTable(CallFrame* callFrame) { return callFrame->globalData().stringConstructorTable; }
98
99         static CallFrame* create(Register* callFrameBase) { return static_cast<CallFrame*>(callFrameBase); }
100         Register* registers() { return this; }
101
102         CallFrame& operator=(const Register& r) { *static_cast<Register*>(this) = r; return *this; }
103
104         CallFrame* callerFrame() const { return this[RegisterFile::CallerFrame].callFrame(); }
105 #if ENABLE(JIT)
106         ReturnAddressPtr returnPC() const { return ReturnAddressPtr(this[RegisterFile::ReturnPC].vPC()); }
107         bool hasReturnPC() const { return !!this[RegisterFile::ReturnPC].vPC(); }
108         void clearReturnPC() { registers()[RegisterFile::ReturnPC] = static_cast<Instruction*>(0); }
109 #endif
110         AbstractPC abstractReturnPC(JSGlobalData& globalData) { return AbstractPC(globalData, this); }
111 #if USE(JSVALUE32_64)
112         unsigned bytecodeOffsetForNonDFGCode() const;
113         void setBytecodeOffsetForNonDFGCode(unsigned offset);
114 #else
115         unsigned bytecodeOffsetForNonDFGCode() const
116         {
117             ASSERT(codeBlock());
118             return this[RegisterFile::ArgumentCount].tag();
119         }
120         
121         void setBytecodeOffsetForNonDFGCode(unsigned offset)
122         {
123             ASSERT(codeBlock());
124             this[RegisterFile::ArgumentCount].tag() = static_cast<int32_t>(offset);
125         }
126 #endif
127
128 #if ENABLE(DFG_JIT)
129         InlineCallFrame* inlineCallFrame() const { return this[RegisterFile::ReturnPC].asInlineCallFrame(); }
130         unsigned codeOriginIndexForDFG() const { return this[RegisterFile::ArgumentCount].tag(); }
131 #else
132         // This will never be called if !ENABLE(DFG_JIT) since all calls should be guarded by
133         // isInlineCallFrame(). But to make it easier to write code without having a bunch of
134         // #if's, we make a dummy implementation available anyway.
135         InlineCallFrame* inlineCallFrame() const
136         {
137             ASSERT_NOT_REACHED();
138             return 0;
139         }
140 #endif
141 #if ENABLE(CLASSIC_INTERPRETER)
142         Instruction* returnVPC() const { return this[RegisterFile::ReturnPC].vPC(); }
143 #endif
144 #if USE(JSVALUE32_64)
145         Instruction* currentVPC() const
146         {
147             return bitwise_cast<Instruction*>(this[RegisterFile::ArgumentCount].tag());
148         }
149         void setCurrentVPC(Instruction* vpc)
150         {
151             this[RegisterFile::ArgumentCount].tag() = bitwise_cast<int32_t>(vpc);
152         }
153 #else
154         Instruction* currentVPC() const;
155         void setCurrentVPC(Instruction* vpc);
156 #endif
157
158         void setCallerFrame(CallFrame* callerFrame) { static_cast<Register*>(this)[RegisterFile::CallerFrame] = callerFrame; }
159         void setScopeChain(ScopeChainNode* scopeChain) { static_cast<Register*>(this)[RegisterFile::ScopeChain] = scopeChain; }
160
161         ALWAYS_INLINE void init(CodeBlock* codeBlock, Instruction* vPC, ScopeChainNode* scopeChain,
162             CallFrame* callerFrame, int argc, JSObject* callee)
163         {
164             ASSERT(callerFrame); // Use noCaller() rather than 0 for the outer host call frame caller.
165             ASSERT(callerFrame == noCaller() || callerFrame->removeHostCallFrameFlag()->registerFile()->end() >= this);
166
167             setCodeBlock(codeBlock);
168             setScopeChain(scopeChain);
169             setCallerFrame(callerFrame);
170             setReturnPC(vPC); // This is either an Instruction* or a pointer into JIT generated code stored as an Instruction*.
171             setArgumentCountIncludingThis(argc); // original argument count (for the sake of the "arguments" object)
172             setCallee(callee);
173         }
174
175         // Read a register from the codeframe (or constant from the CodeBlock).
176         inline Register& r(int);
177         // Read a register for a non-constant 
178         inline Register& uncheckedR(int);
179
180         // Access to arguments.
181         size_t argumentCount() const { return argumentCountIncludingThis() - 1; }
182         size_t argumentCountIncludingThis() const { return this[RegisterFile::ArgumentCount].payload(); }
183         static int argumentOffset(size_t argument) { return s_firstArgumentOffset - argument; }
184         static int argumentOffsetIncludingThis(size_t argument) { return s_thisArgumentOffset - argument; }
185
186         JSValue argument(size_t argument)
187         {
188             if (argument >= argumentCount())
189                  return jsUndefined();
190             return this[argumentOffset(argument)].jsValue();
191         }
192         void setArgument(size_t argument, JSValue value)
193         {
194             this[argumentOffset(argument)] = value;
195         }
196
197         static int thisArgumentOffset() { return argumentOffsetIncludingThis(0); }
198         JSValue thisValue() { return this[thisArgumentOffset()].jsValue(); }
199         void setThisValue(JSValue value) { this[thisArgumentOffset()] = value; }
200
201         static int offsetFor(size_t argumentCountIncludingThis) { return argumentCountIncludingThis + RegisterFile::CallFrameHeaderSize; }
202
203         // FIXME: Remove these.
204         int hostThisRegister() { return thisArgumentOffset(); }
205         JSValue hostThisValue() { return thisValue(); }
206
207         static CallFrame* noCaller() { return reinterpret_cast<CallFrame*>(HostCallFrameFlag); }
208
209         bool hasHostCallFrameFlag() const { return reinterpret_cast<intptr_t>(this) & HostCallFrameFlag; }
210         CallFrame* addHostCallFrameFlag() const { return reinterpret_cast<CallFrame*>(reinterpret_cast<intptr_t>(this) | HostCallFrameFlag); }
211         CallFrame* removeHostCallFrameFlag() { return reinterpret_cast<CallFrame*>(reinterpret_cast<intptr_t>(this) & ~HostCallFrameFlag); }
212
213         void setArgumentCountIncludingThis(int count) { static_cast<Register*>(this)[RegisterFile::ArgumentCount].payload() = count; }
214         void setCallee(JSObject* callee) { static_cast<Register*>(this)[RegisterFile::Callee] = Register::withCallee(callee); }
215         void setCodeBlock(CodeBlock* codeBlock) { static_cast<Register*>(this)[RegisterFile::CodeBlock] = codeBlock; }
216         void setReturnPC(void* value) { static_cast<Register*>(this)[RegisterFile::ReturnPC] = (Instruction*)value; }
217         
218 #if ENABLE(DFG_JIT)
219         bool isInlineCallFrame();
220         
221         void setInlineCallFrame(InlineCallFrame* inlineCallFrame) { static_cast<Register*>(this)[RegisterFile::ReturnPC] = inlineCallFrame; }
222         
223         // Call this to get the semantically correct JS CallFrame* for the
224         // currently executing function.
225         CallFrame* trueCallFrame(AbstractPC);
226         
227         // Call this to get the semantically correct JS CallFrame* corresponding
228         // to the caller. This resolves issues surrounding inlining and the
229         // HostCallFrameFlag stuff.
230         CallFrame* trueCallerFrame();
231 #else
232         bool isInlineCallFrame() { return false; }
233         
234         CallFrame* trueCallFrame(AbstractPC) { return this; }
235         CallFrame* trueCallerFrame() { return callerFrame()->removeHostCallFrameFlag(); }
236 #endif
237         
238         // Call this to get the true call frame (accounted for inlining and any
239         // other optimizations), when you have entered into VM code through one
240         // of the "blessed" entrypoints (JITStubs or DFGOperations). This means
241         // that if you're pretty much anywhere in the VM you can safely call this;
242         // though if you were to magically get an ExecState* by, say, interrupting
243         // a thread that is running JS code and brutishly scraped the call frame
244         // register, calling this method would probably lead to horrible things
245         // happening.
246         CallFrame* trueCallFrameFromVMCode() { return trueCallFrame(AbstractPC()); }
247
248     private:
249         static const intptr_t HostCallFrameFlag = 1;
250         static const int s_thisArgumentOffset = -1 - RegisterFile::CallFrameHeaderSize;
251         static const int s_firstArgumentOffset = s_thisArgumentOffset - 1;
252
253 #ifndef NDEBUG
254         RegisterFile* registerFile();
255 #endif
256 #if ENABLE(DFG_JIT)
257         bool isInlineCallFrameSlow();
258 #endif
259         ExecState();
260         ~ExecState();
261     };
262
263 } // namespace JSC
264
265 #endif // CallFrame_h