1 | /* |
2 | * Copyright (C) 2008, 2009 Apple Inc. All rights reserved. |
3 | * Copyright (C) 2008 Cameron Zwarich <cwzwarich@uwaterloo.ca> |
4 | * |
5 | * Redistribution and use in source and binary forms, with or without |
6 | * modification, are permitted provided that the following conditions |
7 | * are met: |
8 | * |
9 | * 1. Redistributions of source code must retain the above copyright |
10 | * notice, this list of conditions and the following disclaimer. |
11 | * 2. Redistributions in binary form must reproduce the above copyright |
12 | * notice, this list of conditions and the following disclaimer in the |
13 | * documentation and/or other materials provided with the distribution. |
14 | * 3. Neither the name of Apple Computer, Inc. ("Apple") nor the names of |
15 | * its contributors may be used to endorse or promote products derived |
16 | * from this software without specific prior written permission. |
17 | * |
18 | * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY |
19 | * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
20 | * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
21 | * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY |
22 | * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
23 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
24 | * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
25 | * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
26 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
27 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
28 | */ |
29 | |
30 | #include "config.h" |
31 | #include "Interpreter.h" |
32 | |
33 | #include "Arguments.h" |
34 | #include "BatchedTransitionOptimizer.h" |
35 | #include "CallFrame.h" |
36 | #include "CallFrameClosure.h" |
37 | #include "CodeBlock.h" |
38 | #include "Collector.h" |
39 | #include "Debugger.h" |
40 | #include "DebuggerCallFrame.h" |
41 | #include "EvalCodeCache.h" |
42 | #include "ExceptionHelpers.h" |
43 | #include "GlobalEvalFunction.h" |
44 | #include "JSActivation.h" |
45 | #include "JSArray.h" |
46 | #include "JSByteArray.h" |
47 | #include "JSFunction.h" |
48 | #include "JSNotAnObject.h" |
49 | #include "JSPropertyNameIterator.h" |
50 | #include "LiteralParser.h" |
51 | #include "JSStaticScopeObject.h" |
52 | #include "JSString.h" |
53 | #include "ObjectPrototype.h" |
54 | #include "Operations.h" |
55 | #include "Parser.h" |
56 | #include "Profiler.h" |
57 | #include "RegExpObject.h" |
58 | #include "RegExpPrototype.h" |
59 | #include "Register.h" |
60 | #include "SamplingTool.h" |
61 | #include <limits.h> |
62 | #include <stdio.h> |
63 | #include <wtf/Threading.h> |
64 | |
65 | #if ENABLE(JIT) |
66 | #include "JIT.h" |
67 | #endif |
68 | |
69 | #ifdef QT_BUILD_SCRIPT_LIB |
70 | #include "bridge/qscriptobject_p.h" |
71 | #endif |
72 | |
73 | using namespace std; |
74 | |
75 | namespace JSC { |
76 | |
77 | static ALWAYS_INLINE unsigned bytecodeOffsetForPC(CallFrame* callFrame, CodeBlock* codeBlock, void* pc) |
78 | { |
79 | #if ENABLE(JIT) |
80 | return codeBlock->getBytecodeIndex(callFrame, returnAddress: ReturnAddressPtr(pc)); |
81 | #else |
82 | UNUSED_PARAM(callFrame); |
83 | return static_cast<Instruction*>(pc) - codeBlock->instructions().begin(); |
84 | #endif |
85 | } |
86 | |
87 | // Returns the depth of the scope chain within a given call frame. |
88 | static int depth(CodeBlock* codeBlock, ScopeChain& sc) |
89 | { |
90 | if (!codeBlock->needsFullScopeChain()) |
91 | return 0; |
92 | return sc.localDepth(); |
93 | } |
94 | |
95 | #if USE(INTERPRETER) |
96 | NEVER_INLINE bool Interpreter::resolve(CallFrame* callFrame, Instruction* vPC, JSValue& exceptionValue) |
97 | { |
98 | int dst = vPC[1].u.operand; |
99 | int property = vPC[2].u.operand; |
100 | |
101 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
102 | ScopeChainIterator iter = scopeChain->begin(); |
103 | ScopeChainIterator end = scopeChain->end(); |
104 | ASSERT(iter != end); |
105 | |
106 | CodeBlock* codeBlock = callFrame->codeBlock(); |
107 | Identifier& ident = codeBlock->identifier(index: property); |
108 | do { |
109 | JSObject* o = *iter; |
110 | PropertySlot slot(o); |
111 | if (o->getPropertySlot(exec: callFrame, propertyName: ident, slot)) { |
112 | JSValue result = slot.getValue(exec: callFrame, propertyName: ident); |
113 | exceptionValue = callFrame->globalData().exception; |
114 | if (exceptionValue) |
115 | return false; |
116 | callFrame->r(index: dst) = JSValue(result); |
117 | return true; |
118 | } |
119 | } while (++iter != end); |
120 | exceptionValue = createUndefinedVariableError(callFrame, ident, bytecodeOffset: vPC - codeBlock->instructions().begin(), codeBlock); |
121 | return false; |
122 | } |
123 | |
124 | NEVER_INLINE bool Interpreter::resolveSkip(CallFrame* callFrame, Instruction* vPC, JSValue& exceptionValue) |
125 | { |
126 | CodeBlock* codeBlock = callFrame->codeBlock(); |
127 | |
128 | int dst = vPC[1].u.operand; |
129 | int property = vPC[2].u.operand; |
130 | int skip = vPC[3].u.operand + codeBlock->needsFullScopeChain(); |
131 | |
132 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
133 | ScopeChainIterator iter = scopeChain->begin(); |
134 | ScopeChainIterator end = scopeChain->end(); |
135 | ASSERT(iter != end); |
136 | while (skip--) { |
137 | ++iter; |
138 | ASSERT(iter != end); |
139 | } |
140 | Identifier& ident = codeBlock->identifier(index: property); |
141 | do { |
142 | JSObject* o = *iter; |
143 | PropertySlot slot(o); |
144 | if (o->getPropertySlot(exec: callFrame, propertyName: ident, slot)) { |
145 | JSValue result = slot.getValue(exec: callFrame, propertyName: ident); |
146 | exceptionValue = callFrame->globalData().exception; |
147 | if (exceptionValue) |
148 | return false; |
149 | callFrame->r(index: dst) = JSValue(result); |
150 | return true; |
151 | } |
152 | } while (++iter != end); |
153 | exceptionValue = createUndefinedVariableError(callFrame, ident, bytecodeOffset: vPC - codeBlock->instructions().begin(), codeBlock); |
154 | return false; |
155 | } |
156 | |
157 | NEVER_INLINE bool Interpreter::resolveGlobal(CallFrame* callFrame, Instruction* vPC, JSValue& exceptionValue) |
158 | { |
159 | int dst = vPC[1].u.operand; |
160 | JSGlobalObject* globalObject = static_cast<JSGlobalObject*>(vPC[2].u.jsCell); |
161 | ASSERT(globalObject->isGlobalObject()); |
162 | int property = vPC[3].u.operand; |
163 | Structure* structure = vPC[4].u.structure; |
164 | int offset = vPC[5].u.operand; |
165 | |
166 | if (structure == globalObject->structure()) { |
167 | callFrame->r(index: dst) = JSValue(globalObject->getDirectOffset(offset)); |
168 | return true; |
169 | } |
170 | |
171 | CodeBlock* codeBlock = callFrame->codeBlock(); |
172 | Identifier& ident = codeBlock->identifier(index: property); |
173 | PropertySlot slot(globalObject); |
174 | if (globalObject->getPropertySlot(exec: callFrame, propertyName: ident, slot)) { |
175 | JSValue result = slot.getValue(exec: callFrame, propertyName: ident); |
176 | if (slot.isCacheable() && !globalObject->structure()->isUncacheableDictionary() && slot.slotBase() == globalObject) { |
177 | if (vPC[4].u.structure) |
178 | vPC[4].u.structure->deref(); |
179 | globalObject->structure()->ref(); |
180 | vPC[4] = globalObject->structure(); |
181 | vPC[5] = slot.cachedOffset(); |
182 | callFrame->r(index: dst) = JSValue(result); |
183 | return true; |
184 | } |
185 | |
186 | exceptionValue = callFrame->globalData().exception; |
187 | if (exceptionValue) |
188 | return false; |
189 | callFrame->r(index: dst) = JSValue(result); |
190 | return true; |
191 | } |
192 | |
193 | exceptionValue = createUndefinedVariableError(callFrame, ident, bytecodeOffset: vPC - codeBlock->instructions().begin(), codeBlock); |
194 | return false; |
195 | } |
196 | |
197 | NEVER_INLINE void Interpreter::resolveBase(CallFrame* callFrame, Instruction* vPC) |
198 | { |
199 | int dst = vPC[1].u.operand; |
200 | int property = vPC[2].u.operand; |
201 | callFrame->r(index: dst) = JSValue(JSC::resolveBase(callFrame, property&: callFrame->codeBlock()->identifier(index: property), scopeChain: callFrame->scopeChain())); |
202 | } |
203 | |
204 | NEVER_INLINE bool Interpreter::resolveBaseAndProperty(CallFrame* callFrame, Instruction* vPC, JSValue& exceptionValue) |
205 | { |
206 | int baseDst = vPC[1].u.operand; |
207 | int propDst = vPC[2].u.operand; |
208 | int property = vPC[3].u.operand; |
209 | |
210 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
211 | ScopeChainIterator iter = scopeChain->begin(); |
212 | ScopeChainIterator end = scopeChain->end(); |
213 | |
214 | // FIXME: add scopeDepthIsZero optimization |
215 | |
216 | ASSERT(iter != end); |
217 | |
218 | CodeBlock* codeBlock = callFrame->codeBlock(); |
219 | Identifier& ident = codeBlock->identifier(index: property); |
220 | JSObject* base; |
221 | do { |
222 | base = *iter; |
223 | PropertySlot slot(base); |
224 | if (base->getPropertySlot(exec: callFrame, propertyName: ident, slot)) { |
225 | JSValue result = slot.getValue(exec: callFrame, propertyName: ident); |
226 | exceptionValue = callFrame->globalData().exception; |
227 | if (exceptionValue) |
228 | return false; |
229 | callFrame->r(index: propDst) = JSValue(result); |
230 | callFrame->r(index: baseDst) = JSValue(base); |
231 | return true; |
232 | } |
233 | ++iter; |
234 | } while (iter != end); |
235 | |
236 | exceptionValue = createUndefinedVariableError(callFrame, ident, bytecodeOffset: vPC - codeBlock->instructions().begin(), codeBlock); |
237 | return false; |
238 | } |
239 | |
240 | #endif // USE(INTERPRETER) |
241 | |
242 | ALWAYS_INLINE CallFrame* Interpreter::slideRegisterWindowForCall(CodeBlock* newCodeBlock, RegisterFile* registerFile, CallFrame* callFrame, size_t registerOffset, int argc) |
243 | { |
244 | Register* r = callFrame->registers(); |
245 | Register* newEnd = r + registerOffset + newCodeBlock->m_numCalleeRegisters; |
246 | |
247 | if (LIKELY(argc == newCodeBlock->m_numParameters)) { // correct number of arguments |
248 | if (UNLIKELY(!registerFile->grow(newEnd))) |
249 | return 0; |
250 | r += registerOffset; |
251 | } else if (argc < newCodeBlock->m_numParameters) { // too few arguments -- fill in the blanks |
252 | size_t omittedArgCount = newCodeBlock->m_numParameters - argc; |
253 | registerOffset += omittedArgCount; |
254 | newEnd += omittedArgCount; |
255 | if (!registerFile->grow(newEnd)) |
256 | return 0; |
257 | r += registerOffset; |
258 | |
259 | Register* argv = r - RegisterFile::CallFrameHeaderSize - omittedArgCount; |
260 | for (size_t i = 0; i < omittedArgCount; ++i) |
261 | argv[i] = jsUndefined(); |
262 | } else { // too many arguments -- copy expected arguments, leaving the extra arguments behind |
263 | size_t numParameters = newCodeBlock->m_numParameters; |
264 | registerOffset += numParameters; |
265 | newEnd += numParameters; |
266 | |
267 | if (!registerFile->grow(newEnd)) |
268 | return 0; |
269 | r += registerOffset; |
270 | |
271 | Register* argv = r - RegisterFile::CallFrameHeaderSize - numParameters - argc; |
272 | for (size_t i = 0; i < numParameters; ++i) |
273 | argv[i + argc] = argv[i]; |
274 | } |
275 | |
276 | return CallFrame::create(callFrameBase: r); |
277 | } |
278 | |
279 | #if USE(INTERPRETER) |
280 | static NEVER_INLINE bool isInvalidParamForIn(CallFrame* callFrame, CodeBlock* codeBlock, const Instruction* vPC, JSValue value, JSValue& exceptionData) |
281 | { |
282 | if (value.isObject()) |
283 | return false; |
284 | exceptionData = createInvalidParamError(callFrame, op: "in" , value, bytecodeOffset: vPC - codeBlock->instructions().begin(), codeBlock); |
285 | return true; |
286 | } |
287 | |
288 | static NEVER_INLINE bool isInvalidParamForInstanceOf(CallFrame* callFrame, CodeBlock* codeBlock, const Instruction* vPC, JSValue value, JSValue& exceptionData) |
289 | { |
290 | if (value.isObject() && asObject(value)->structure()->typeInfo().implementsHasInstance()) |
291 | return false; |
292 | exceptionData = createInvalidParamError(callFrame, op: "instanceof" , value, bytecodeOffset: vPC - codeBlock->instructions().begin(), codeBlock); |
293 | return true; |
294 | } |
295 | #endif |
296 | |
297 | NEVER_INLINE JSValue Interpreter::callEval(CallFrame* callFrame, RegisterFile* registerFile, Register* argv, int argc, int registerOffset, JSValue& exceptionValue) |
298 | { |
299 | if (argc < 2) |
300 | return jsUndefined(); |
301 | |
302 | JSValue program = argv[1].jsValue(); |
303 | |
304 | if (!program.isString()) |
305 | return program; |
306 | |
307 | UString programSource = asString(value: program)->value(exec: callFrame); |
308 | |
309 | LiteralParser preparser(callFrame, programSource, LiteralParser::NonStrictJSON); |
310 | if (JSValue parsedObject = preparser.tryLiteralParse()) |
311 | return parsedObject; |
312 | |
313 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
314 | CodeBlock* codeBlock = callFrame->codeBlock(); |
315 | RefPtr<EvalExecutable> eval = codeBlock->evalCodeCache().get(exec: callFrame, evalSource: programSource, scopeChain, exceptionValue); |
316 | |
317 | JSValue result = jsUndefined(); |
318 | if (eval) |
319 | result = callFrame->globalData().interpreter->execute(eval.get(), callFrame, thisObject: callFrame->thisValue().toThisObject(exec: callFrame), globalRegisterOffset: callFrame->registers() - registerFile->start() + registerOffset, scopeChain, exception: &exceptionValue); |
320 | |
321 | return result; |
322 | } |
323 | |
324 | Interpreter::Interpreter() |
325 | : m_sampleEntryDepth(0) |
326 | , m_reentryDepth(0) |
327 | { |
328 | #if HAVE(COMPUTED_GOTO) |
329 | privateExecute(InitializeAndReturn, 0, 0, 0); |
330 | |
331 | for (int i = 0; i < numOpcodeIDs; ++i) |
332 | m_opcodeIDTable.add(m_opcodeTable[i], static_cast<OpcodeID>(i)); |
333 | #endif // HAVE(COMPUTED_GOTO) |
334 | |
335 | #if ENABLE(OPCODE_SAMPLING) |
336 | enableSampler(); |
337 | #endif |
338 | } |
339 | |
340 | #ifndef NDEBUG |
341 | |
342 | void Interpreter::dumpCallFrame(CallFrame* callFrame) |
343 | { |
344 | callFrame->codeBlock()->dump(callFrame); |
345 | dumpRegisters(callFrame); |
346 | } |
347 | |
348 | void Interpreter::dumpRegisters(CallFrame* callFrame) |
349 | { |
350 | printf(format: "Register frame: \n\n" ); |
351 | printf(format: "-----------------------------------------------------------------------------\n" ); |
352 | printf(format: " use | address | value \n" ); |
353 | printf(format: "-----------------------------------------------------------------------------\n" ); |
354 | |
355 | CodeBlock* codeBlock = callFrame->codeBlock(); |
356 | RegisterFile* registerFile = &callFrame->scopeChain()->globalObject->globalData()->interpreter->registerFile(); |
357 | const Register* it; |
358 | const Register* end; |
359 | JSValue v; |
360 | |
361 | if (codeBlock->codeType() == GlobalCode) { |
362 | it = registerFile->lastGlobal(); |
363 | end = it + registerFile->numGlobals(); |
364 | while (it != end) { |
365 | v = (*it).jsValue(); |
366 | #if USE(JSVALUE32_64) |
367 | printf("[global var] | %10p | %-16s 0x%llx \n" , it, v.description(), JSValue::encode(v)); |
368 | #else |
369 | printf(format: "[global var] | %10p | %-16s %p \n" , it, v.description(), JSValue::encode(value: v)); |
370 | #endif |
371 | ++it; |
372 | } |
373 | printf(format: "-----------------------------------------------------------------------------\n" ); |
374 | } |
375 | |
376 | it = callFrame->registers() - RegisterFile::CallFrameHeaderSize - codeBlock->m_numParameters; |
377 | v = (*it).jsValue(); |
378 | #if USE(JSVALUE32_64) |
379 | printf("[this] | %10p | %-16s 0x%llx \n" , it, v.description(), JSValue::encode(v)); ++it; |
380 | #else |
381 | printf(format: "[this] | %10p | %-16s %p \n" , it, v.description(), JSValue::encode(value: v)); ++it; |
382 | #endif |
383 | end = it + max(a: codeBlock->m_numParameters - 1, b: 0); // - 1 to skip "this" |
384 | if (it != end) { |
385 | do { |
386 | v = (*it).jsValue(); |
387 | #if USE(JSVALUE32_64) |
388 | printf("[param] | %10p | %-16s 0x%llx \n" , it, v.description(), JSValue::encode(v)); |
389 | #else |
390 | printf(format: "[param] | %10p | %-16s %p \n" , it, v.description(), JSValue::encode(value: v)); |
391 | #endif |
392 | ++it; |
393 | } while (it != end); |
394 | } |
395 | printf(format: "-----------------------------------------------------------------------------\n" ); |
396 | printf(format: "[CodeBlock] | %10p | %p \n" , it, (*it).codeBlock()); ++it; |
397 | printf(format: "[ScopeChain] | %10p | %p \n" , it, (*it).scopeChain()); ++it; |
398 | printf(format: "[CallerRegisters] | %10p | %d \n" , it, (*it).i()); ++it; |
399 | printf(format: "[ReturnPC] | %10p | %p \n" , it, (*it).vPC()); ++it; |
400 | printf(format: "[ReturnValueRegister] | %10p | %d \n" , it, (*it).i()); ++it; |
401 | printf(format: "[ArgumentCount] | %10p | %d \n" , it, (*it).i()); ++it; |
402 | printf(format: "[Callee] | %10p | %p \n" , it, (*it).object()); ++it; |
403 | printf(format: "[OptionalCalleeArguments] | %10p | %p \n" , it, (*it).arguments()); ++it; |
404 | printf(format: "-----------------------------------------------------------------------------\n" ); |
405 | |
406 | int registerCount = 0; |
407 | |
408 | end = it + codeBlock->m_numVars; |
409 | if (it != end) { |
410 | do { |
411 | v = (*it).jsValue(); |
412 | #if USE(JSVALUE32_64) |
413 | printf("[r%2d] | %10p | %-16s 0x%llx \n" , registerCount, it, v.description(), JSValue::encode(v)); |
414 | #else |
415 | printf(format: "[r%2d] | %10p | %-16s %p \n" , registerCount, it, v.description(), JSValue::encode(value: v)); |
416 | #endif |
417 | ++it; |
418 | ++registerCount; |
419 | } while (it != end); |
420 | } |
421 | printf(format: "-----------------------------------------------------------------------------\n" ); |
422 | |
423 | end = it + codeBlock->m_numCalleeRegisters - codeBlock->m_numVars; |
424 | if (it != end) { |
425 | do { |
426 | v = (*it).jsValue(); |
427 | #if USE(JSVALUE32_64) |
428 | printf("[r%2d] | %10p | %-16s 0x%llx \n" , registerCount, it, v.description(), JSValue::encode(v)); |
429 | #else |
430 | printf(format: "[r%2d] | %10p | %-16s %p \n" , registerCount, it, v.description(), JSValue::encode(value: v)); |
431 | #endif |
432 | ++it; |
433 | ++registerCount; |
434 | } while (it != end); |
435 | } |
436 | printf(format: "-----------------------------------------------------------------------------\n" ); |
437 | } |
438 | |
439 | #endif |
440 | |
441 | bool Interpreter::isOpcode(Opcode opcode) |
442 | { |
443 | #if HAVE(COMPUTED_GOTO) |
444 | return opcode != HashTraits<Opcode>::emptyValue() |
445 | && !HashTraits<Opcode>::isDeletedValue(opcode) |
446 | && m_opcodeIDTable.contains(opcode); |
447 | #else |
448 | return opcode >= 0 && opcode <= op_end; |
449 | #endif |
450 | } |
451 | |
452 | NEVER_INLINE bool Interpreter::unwindCallFrame(CallFrame*& callFrame, JSValue exceptionValue, unsigned& bytecodeOffset, CodeBlock*& codeBlock) |
453 | { |
454 | CodeBlock* oldCodeBlock = codeBlock; |
455 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
456 | |
457 | if (Debugger* debugger = callFrame->dynamicGlobalObject()->debugger()) { |
458 | DebuggerCallFrame debuggerCallFrame(callFrame, exceptionValue); |
459 | if (callFrame->callee()) { |
460 | debugger->returnEvent(debuggerCallFrame, sourceID: codeBlock->ownerExecutable()->sourceID(), lineNumber: codeBlock->ownerExecutable()->lastLine()); |
461 | #ifdef QT_BUILD_SCRIPT_LIB |
462 | debugger->functionExit(returnValue: exceptionValue, sourceID: codeBlock->ownerExecutable()->sourceID()); |
463 | #endif |
464 | } else |
465 | debugger->didExecuteProgram(debuggerCallFrame, sourceID: codeBlock->ownerExecutable()->sourceID(), lineNumber: codeBlock->ownerExecutable()->lastLine()); |
466 | } |
467 | |
468 | if (Profiler* profiler = *Profiler::enabledProfilerReference()) { |
469 | if (callFrame->callee()) |
470 | profiler->didExecute(callFrame, function: callFrame->callee()); |
471 | else |
472 | profiler->didExecute(callFrame, sourceURL: codeBlock->ownerExecutable()->sourceURL(), startingLineNumber: codeBlock->ownerExecutable()->lineNo()); |
473 | } |
474 | |
475 | // If this call frame created an activation or an 'arguments' object, tear it off. |
476 | if (oldCodeBlock->codeType() == FunctionCode && oldCodeBlock->needsFullScopeChain()) { |
477 | while (!scopeChain->object->inherits(info: &JSActivation::info)) |
478 | scopeChain = scopeChain->pop(); |
479 | static_cast<JSActivation*>(scopeChain->object)->copyRegisters(arguments: callFrame->optionalCalleeArguments()); |
480 | } else if (Arguments* arguments = callFrame->optionalCalleeArguments()) { |
481 | if (!arguments->isTornOff()) |
482 | arguments->copyRegisters(); |
483 | } |
484 | |
485 | if (oldCodeBlock->needsFullScopeChain()) |
486 | scopeChain->deref(); |
487 | |
488 | void* returnPC = callFrame->returnPC(); |
489 | callFrame = callFrame->callerFrame(); |
490 | if (callFrame->hasHostCallFrameFlag()) |
491 | return false; |
492 | |
493 | codeBlock = callFrame->codeBlock(); |
494 | bytecodeOffset = bytecodeOffsetForPC(callFrame, codeBlock, pc: returnPC); |
495 | return true; |
496 | } |
497 | |
498 | NEVER_INLINE HandlerInfo* Interpreter::throwException(CallFrame*& callFrame, JSValue& exceptionValue, unsigned bytecodeOffset, bool explicitThrow) |
499 | { |
500 | // Set up the exception object |
501 | |
502 | CodeBlock* codeBlock = callFrame->codeBlock(); |
503 | if (exceptionValue.isObject()) { |
504 | JSObject* exception = asObject(value: exceptionValue); |
505 | if (exception->isNotAnObjectErrorStub()) { |
506 | exception = createNotAnObjectError(callFrame, static_cast<JSNotAnObjectErrorStub*>(exception), bytecodeOffset, codeBlock); |
507 | exceptionValue = exception; |
508 | } else { |
509 | if (!exception->hasProperty(callFrame, propertyName: Identifier(callFrame, JSC_ERROR_LINENUMBER_PROPERTYNAME)) && |
510 | !exception->hasProperty(callFrame, propertyName: Identifier(callFrame, "sourceId" )) && |
511 | !exception->hasProperty(callFrame, propertyName: Identifier(callFrame, JSC_ERROR_FILENAME_PROPERTYNAME)) && |
512 | !exception->hasProperty(callFrame, propertyName: Identifier(callFrame, expressionBeginOffsetPropertyName)) && |
513 | !exception->hasProperty(callFrame, propertyName: Identifier(callFrame, expressionCaretOffsetPropertyName)) && |
514 | !exception->hasProperty(callFrame, propertyName: Identifier(callFrame, expressionEndOffsetPropertyName))) { |
515 | if (explicitThrow) { |
516 | int startOffset = 0; |
517 | int endOffset = 0; |
518 | int divotPoint = 0; |
519 | int line = codeBlock->expressionRangeForBytecodeOffset(callFrame, bytecodeOffset, divot&: divotPoint, startOffset, endOffset); |
520 | exception->putWithAttributes(callFrame, propertyName: Identifier(callFrame, JSC_ERROR_LINENUMBER_PROPERTYNAME), value: jsNumber(exec: callFrame, i: line), attributes: ReadOnly | DontDelete); |
521 | |
522 | // We only hit this path for error messages and throw statements, which don't have a specific failure position |
523 | // So we just give the full range of the error/throw statement. |
524 | exception->putWithAttributes(callFrame, propertyName: Identifier(callFrame, expressionBeginOffsetPropertyName), value: jsNumber(exec: callFrame, i: divotPoint - startOffset), attributes: ReadOnly | DontDelete); |
525 | exception->putWithAttributes(callFrame, propertyName: Identifier(callFrame, expressionEndOffsetPropertyName), value: jsNumber(exec: callFrame, i: divotPoint + endOffset), attributes: ReadOnly | DontDelete); |
526 | } else |
527 | exception->putWithAttributes(callFrame, propertyName: Identifier(callFrame, JSC_ERROR_LINENUMBER_PROPERTYNAME), value: jsNumber(exec: callFrame, i: codeBlock->lineNumberForBytecodeOffset(callFrame, bytecodeOffset)), attributes: ReadOnly | DontDelete); |
528 | exception->putWithAttributes(callFrame, propertyName: Identifier(callFrame, "sourceId" ), value: jsNumber(exec: callFrame, i: codeBlock->ownerExecutable()->sourceID()), attributes: ReadOnly | DontDelete); |
529 | exception->putWithAttributes(callFrame, propertyName: Identifier(callFrame, JSC_ERROR_FILENAME_PROPERTYNAME), value: jsOwnedString(exec: callFrame, s: codeBlock->ownerExecutable()->sourceURL()), attributes: ReadOnly | DontDelete); |
530 | } |
531 | |
532 | if (exception->isWatchdogException()) { |
533 | while (unwindCallFrame(callFrame, exceptionValue, bytecodeOffset, codeBlock)) { |
534 | // Don't need handler checks or anything, we just want to unroll all the JS callframes possible. |
535 | } |
536 | return 0; |
537 | } |
538 | } |
539 | } |
540 | |
541 | Debugger* debugger = callFrame->dynamicGlobalObject()->debugger(); |
542 | if (debugger) { |
543 | DebuggerCallFrame debuggerCallFrame(callFrame, exceptionValue); |
544 | bool hasHandler = codeBlock->handlerForBytecodeOffset(bytecodeOffset); |
545 | debugger->exception(debuggerCallFrame, sourceID: codeBlock->ownerExecutable()->sourceID(), lineNumber: codeBlock->lineNumberForBytecodeOffset(callFrame, bytecodeOffset), hasHandler); |
546 | } |
547 | |
548 | // If we throw in the middle of a call instruction, we need to notify |
549 | // the profiler manually that the call instruction has returned, since |
550 | // we'll never reach the relevant op_profile_did_call. |
551 | if (Profiler* profiler = *Profiler::enabledProfilerReference()) { |
552 | #if !ENABLE(JIT) |
553 | if (isCallBytecode(codeBlock->instructions()[bytecodeOffset].u.opcode)) |
554 | profiler->didExecute(callFrame, callFrame->r(codeBlock->instructions()[bytecodeOffset + 2].u.operand).jsValue()); |
555 | else if (codeBlock->instructions().size() > (bytecodeOffset + 8) && codeBlock->instructions()[bytecodeOffset + 8].u.opcode == getOpcode(op_construct)) |
556 | profiler->didExecute(callFrame, callFrame->r(codeBlock->instructions()[bytecodeOffset + 10].u.operand).jsValue()); |
557 | #else |
558 | int functionRegisterIndex; |
559 | if (codeBlock->functionRegisterForBytecodeOffset(bytecodeOffset, functionRegisterIndex)) |
560 | profiler->didExecute(callFrame, function: callFrame->r(index: functionRegisterIndex).jsValue()); |
561 | #endif |
562 | } |
563 | |
564 | // Calculate an exception handler vPC, unwinding call frames as necessary. |
565 | |
566 | HandlerInfo* handler = 0; |
567 | |
568 | #ifdef QT_BUILD_SCRIPT_LIB |
569 | //try to find handler |
570 | bool hasHandler = true; |
571 | CallFrame *callFrameTemp = callFrame; |
572 | unsigned bytecodeOffsetTemp = bytecodeOffset; |
573 | CodeBlock *codeBlockTemp = codeBlock; |
574 | while (!(handler = codeBlockTemp->handlerForBytecodeOffset(bytecodeOffset: bytecodeOffsetTemp))) { |
575 | void* returnPC = callFrameTemp->returnPC(); |
576 | callFrameTemp = callFrameTemp->callerFrame(); |
577 | if (callFrameTemp->hasHostCallFrameFlag()) { |
578 | hasHandler = false; |
579 | break; |
580 | } else { |
581 | codeBlockTemp = callFrameTemp->codeBlock(); |
582 | bytecodeOffsetTemp = bytecodeOffsetForPC(callFrame: callFrameTemp, codeBlock: codeBlockTemp, pc: returnPC); |
583 | } |
584 | } |
585 | if (debugger) |
586 | debugger->exceptionThrow(frame: DebuggerCallFrame(callFrame, exceptionValue), sourceID: codeBlock->ownerExecutable()->sourceID(), hasHandler); |
587 | else if (!hasHandler) |
588 | callFrame->globalData().clientData->uncaughtException(callFrame, bytecodeOffset, exceptionValue); |
589 | #endif |
590 | |
591 | while (!(handler = codeBlock->handlerForBytecodeOffset(bytecodeOffset))) { |
592 | if (!unwindCallFrame(callFrame, exceptionValue, bytecodeOffset, codeBlock)) { |
593 | return 0; |
594 | } |
595 | } |
596 | // Now unwind the scope chain within the exception handler's call frame. |
597 | |
598 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
599 | ScopeChain sc(scopeChain); |
600 | int scopeDelta = depth(codeBlock, sc) - handler->scopeDepth; |
601 | ASSERT(scopeDelta >= 0); |
602 | while (scopeDelta--) |
603 | scopeChain = scopeChain->pop(); |
604 | callFrame->setScopeChain(scopeChain); |
605 | |
606 | return handler; |
607 | } |
608 | |
609 | JSValue Interpreter::execute(ProgramExecutable* program, CallFrame* callFrame, ScopeChainNode* scopeChain, JSObject* thisObj, JSValue* exception) |
610 | { |
611 | ASSERT(!scopeChain->globalData->exception); |
612 | |
613 | if (m_reentryDepth >= MaxSecondaryThreadReentryDepth) { |
614 | if (!isMainThread() || m_reentryDepth >= MaxMainThreadReentryDepth) { |
615 | *exception = createStackOverflowError(callFrame); |
616 | return jsNull(); |
617 | } |
618 | } |
619 | |
620 | CodeBlock* codeBlock = &program->bytecode(exec: callFrame, scopeChainNode: scopeChain); |
621 | |
622 | Register* oldEnd = m_registerFile.end(); |
623 | Register* newEnd = oldEnd + codeBlock->m_numParameters + RegisterFile::CallFrameHeaderSize + codeBlock->m_numCalleeRegisters; |
624 | if (!m_registerFile.grow(newEnd)) { |
625 | *exception = createStackOverflowError(callFrame); |
626 | return jsNull(); |
627 | } |
628 | |
629 | DynamicGlobalObjectScope globalObjectScope(callFrame, scopeChain->globalObject); |
630 | |
631 | JSGlobalObject* lastGlobalObject = m_registerFile.globalObject(); |
632 | JSGlobalObject* globalObject = callFrame->dynamicGlobalObject(); |
633 | globalObject->copyGlobalsTo(m_registerFile); |
634 | |
635 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: oldEnd + codeBlock->m_numParameters + RegisterFile::CallFrameHeaderSize); |
636 | newCallFrame->r(index: codeBlock->thisRegister()) = JSValue(thisObj); |
637 | newCallFrame->init(codeBlock, vPC: 0, scopeChain, callerFrame: CallFrame::noCaller(), returnValueRegister: 0, argc: 0, callee: 0); |
638 | |
639 | if (codeBlock->needsFullScopeChain()) |
640 | scopeChain->ref(); |
641 | |
642 | Profiler** profiler = Profiler::enabledProfilerReference(); |
643 | if (*profiler) |
644 | (*profiler)->willExecute(newCallFrame, sourceURL: program->sourceURL(), startingLineNumber: program->lineNo()); |
645 | |
646 | JSValue result; |
647 | { |
648 | SamplingTool::CallRecord callRecord(m_sampler.get()); |
649 | |
650 | m_reentryDepth++; |
651 | #if ENABLE(JIT) |
652 | result = program->jitCode(exec: newCallFrame, scopeChainNode: scopeChain).execute(registerFile: &m_registerFile, callFrame: newCallFrame, globalData: scopeChain->globalData, exception); |
653 | #else |
654 | result = privateExecute(Normal, &m_registerFile, newCallFrame, exception); |
655 | #endif |
656 | m_reentryDepth--; |
657 | } |
658 | |
659 | if (*profiler) |
660 | (*profiler)->didExecute(callFrame, sourceURL: program->sourceURL(), startingLineNumber: program->lineNo()); |
661 | |
662 | if (m_reentryDepth && lastGlobalObject && globalObject != lastGlobalObject) |
663 | lastGlobalObject->copyGlobalsTo(m_registerFile); |
664 | |
665 | m_registerFile.shrink(newEnd: oldEnd); |
666 | |
667 | return result; |
668 | } |
669 | |
670 | JSValue Interpreter::execute(FunctionExecutable* functionExecutable, CallFrame* callFrame, JSFunction* function, JSObject* thisObj, const ArgList& args, ScopeChainNode* scopeChain, JSValue* exception) |
671 | { |
672 | ASSERT(!scopeChain->globalData->exception); |
673 | |
674 | if (m_reentryDepth >= MaxSecondaryThreadReentryDepth) { |
675 | if (!isMainThread() || m_reentryDepth >= MaxMainThreadReentryDepth) { |
676 | *exception = createStackOverflowError(callFrame); |
677 | return jsNull(); |
678 | } |
679 | } |
680 | |
681 | Register* oldEnd = m_registerFile.end(); |
682 | int argc = 1 + args.size(); // implicit "this" parameter |
683 | |
684 | if (!m_registerFile.grow(newEnd: oldEnd + argc)) { |
685 | *exception = createStackOverflowError(callFrame); |
686 | return jsNull(); |
687 | } |
688 | |
689 | DynamicGlobalObjectScope globalObjectScope(callFrame, scopeChain->globalObject); |
690 | |
691 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: oldEnd); |
692 | size_t dst = 0; |
693 | newCallFrame->r(index: 0) = JSValue(thisObj); |
694 | ArgList::const_iterator end = args.end(); |
695 | for (ArgList::const_iterator it = args.begin(); it != end; ++it) |
696 | newCallFrame->r(index: ++dst) = *it; |
697 | |
698 | CodeBlock* codeBlock = &functionExecutable->bytecode(exec: callFrame, scopeChainNode: scopeChain); |
699 | newCallFrame = slideRegisterWindowForCall(newCodeBlock: codeBlock, registerFile: &m_registerFile, callFrame: newCallFrame, registerOffset: argc + RegisterFile::CallFrameHeaderSize, argc); |
700 | if (UNLIKELY(!newCallFrame)) { |
701 | *exception = createStackOverflowError(callFrame); |
702 | m_registerFile.shrink(newEnd: oldEnd); |
703 | return jsNull(); |
704 | } |
705 | // a 0 codeBlock indicates a built-in caller |
706 | newCallFrame->init(codeBlock, vPC: 0, scopeChain, callerFrame: callFrame->addHostCallFrameFlag(), returnValueRegister: 0, argc, callee: function); |
707 | |
708 | Profiler** profiler = Profiler::enabledProfilerReference(); |
709 | if (*profiler) |
710 | (*profiler)->willExecute(callFrame, function); |
711 | |
712 | JSValue result; |
713 | { |
714 | SamplingTool::CallRecord callRecord(m_sampler.get()); |
715 | |
716 | m_reentryDepth++; |
717 | #if ENABLE(JIT) |
718 | result = functionExecutable->jitCode(exec: newCallFrame, scopeChainNode: scopeChain).execute(registerFile: &m_registerFile, callFrame: newCallFrame, globalData: scopeChain->globalData, exception); |
719 | #else |
720 | result = privateExecute(Normal, &m_registerFile, newCallFrame, exception); |
721 | #endif |
722 | m_reentryDepth--; |
723 | } |
724 | |
725 | if (*profiler) |
726 | (*profiler)->didExecute(callFrame, function); |
727 | |
728 | m_registerFile.shrink(newEnd: oldEnd); |
729 | return result; |
730 | } |
731 | |
732 | CallFrameClosure Interpreter::prepareForRepeatCall(FunctionExecutable* FunctionExecutable, CallFrame* callFrame, JSFunction* function, int argCount, ScopeChainNode* scopeChain, JSValue* exception) |
733 | { |
734 | ASSERT(!scopeChain->globalData->exception); |
735 | |
736 | if (m_reentryDepth >= MaxSecondaryThreadReentryDepth) { |
737 | if (!isMainThread() || m_reentryDepth >= MaxMainThreadReentryDepth) { |
738 | *exception = createStackOverflowError(callFrame); |
739 | return CallFrameClosure(); |
740 | } |
741 | } |
742 | |
743 | Register* oldEnd = m_registerFile.end(); |
744 | int argc = 1 + argCount; // implicit "this" parameter |
745 | |
746 | if (!m_registerFile.grow(newEnd: oldEnd + argc)) { |
747 | *exception = createStackOverflowError(callFrame); |
748 | return CallFrameClosure(); |
749 | } |
750 | |
751 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: oldEnd); |
752 | size_t dst = 0; |
753 | for (int i = 0; i < argc; ++i) |
754 | newCallFrame->r(index: ++dst) = jsUndefined(); |
755 | |
756 | CodeBlock* codeBlock = &FunctionExecutable->bytecode(exec: callFrame, scopeChainNode: scopeChain); |
757 | newCallFrame = slideRegisterWindowForCall(newCodeBlock: codeBlock, registerFile: &m_registerFile, callFrame: newCallFrame, registerOffset: argc + RegisterFile::CallFrameHeaderSize, argc); |
758 | if (UNLIKELY(!newCallFrame)) { |
759 | *exception = createStackOverflowError(callFrame); |
760 | m_registerFile.shrink(newEnd: oldEnd); |
761 | return CallFrameClosure(); |
762 | } |
763 | // a 0 codeBlock indicates a built-in caller |
764 | newCallFrame->init(codeBlock, vPC: 0, scopeChain, callerFrame: callFrame->addHostCallFrameFlag(), returnValueRegister: 0, argc, callee: function); |
765 | #if ENABLE(JIT) |
766 | FunctionExecutable->jitCode(exec: newCallFrame, scopeChainNode: scopeChain); |
767 | #endif |
768 | |
769 | CallFrameClosure result = { .oldCallFrame: callFrame, .newCallFrame: newCallFrame, .function: function, .functionExecutable: FunctionExecutable, .globalData: scopeChain->globalData, .oldEnd: oldEnd, .scopeChain: scopeChain, .expectedParams: codeBlock->m_numParameters, .providedParams: argc }; |
770 | return result; |
771 | } |
772 | |
773 | JSValue Interpreter::execute(CallFrameClosure& closure, JSValue* exception) |
774 | { |
775 | closure.resetCallFrame(); |
776 | Profiler** profiler = Profiler::enabledProfilerReference(); |
777 | if (*profiler) |
778 | (*profiler)->willExecute(closure.oldCallFrame, function: closure.function); |
779 | |
780 | JSValue result; |
781 | { |
782 | SamplingTool::CallRecord callRecord(m_sampler.get()); |
783 | |
784 | m_reentryDepth++; |
785 | #if ENABLE(JIT) |
786 | result = closure.functionExecutable->generatedJITCode().execute(registerFile: &m_registerFile, callFrame: closure.newCallFrame, globalData: closure.globalData, exception); |
787 | #else |
788 | result = privateExecute(Normal, &m_registerFile, closure.newCallFrame, exception); |
789 | #endif |
790 | m_reentryDepth--; |
791 | } |
792 | |
793 | if (*profiler) |
794 | (*profiler)->didExecute(closure.oldCallFrame, function: closure.function); |
795 | return result; |
796 | } |
797 | |
798 | void Interpreter::endRepeatCall(CallFrameClosure& closure) |
799 | { |
800 | m_registerFile.shrink(newEnd: closure.oldEnd); |
801 | } |
802 | |
803 | JSValue Interpreter::execute(EvalExecutable* eval, CallFrame* callFrame, JSObject* thisObj, ScopeChainNode* scopeChain, JSValue* exception) |
804 | { |
805 | return execute(eval, callFrame, thisObject: thisObj, globalRegisterOffset: m_registerFile.size() + eval->bytecode(exec: callFrame, scopeChainNode: scopeChain).m_numParameters + RegisterFile::CallFrameHeaderSize, scopeChain, exception); |
806 | } |
807 | |
808 | JSValue Interpreter::execute(EvalExecutable* eval, CallFrame* callFrame, JSObject* thisObj, int globalRegisterOffset, ScopeChainNode* scopeChain, JSValue* exception) |
809 | { |
810 | ASSERT(!scopeChain->globalData->exception); |
811 | |
812 | if (m_reentryDepth >= MaxSecondaryThreadReentryDepth) { |
813 | if (!isMainThread() || m_reentryDepth >= MaxMainThreadReentryDepth) { |
814 | *exception = createStackOverflowError(callFrame); |
815 | return jsNull(); |
816 | } |
817 | } |
818 | |
819 | DynamicGlobalObjectScope globalObjectScope(callFrame, scopeChain->globalObject); |
820 | |
821 | EvalCodeBlock* codeBlock = &eval->bytecode(exec: callFrame, scopeChainNode: scopeChain); |
822 | |
823 | JSVariableObject* variableObject; |
824 | for (ScopeChainNode* node = scopeChain; ; node = node->next) { |
825 | ASSERT(node); |
826 | if (node->object->isVariableObject()) { |
827 | variableObject = static_cast<JSVariableObject*>(node->object); |
828 | break; |
829 | } |
830 | } |
831 | |
832 | { // Scope for BatchedTransitionOptimizer |
833 | |
834 | BatchedTransitionOptimizer optimizer(variableObject); |
835 | |
836 | unsigned numVariables = codeBlock->numVariables(); |
837 | for (unsigned i = 0; i < numVariables; ++i) { |
838 | const Identifier& ident = codeBlock->variable(index: i); |
839 | if (!variableObject->hasProperty(callFrame, propertyName: ident)) { |
840 | PutPropertySlot slot; |
841 | variableObject->put(callFrame, propertyName: ident, value: jsUndefined(), slot); |
842 | } |
843 | } |
844 | |
845 | int numFunctions = codeBlock->numberOfFunctionDecls(); |
846 | for (int i = 0; i < numFunctions; ++i) { |
847 | FunctionExecutable* function = codeBlock->functionDecl(index: i); |
848 | PutPropertySlot slot; |
849 | variableObject->put(callFrame, propertyName: function->name(), value: function->make(exec: callFrame, scopeChain), slot); |
850 | } |
851 | |
852 | } |
853 | |
854 | Register* oldEnd = m_registerFile.end(); |
855 | #ifdef QT_BUILD_SCRIPT_LIB //with Qt Script, we do not necesserly start from scratch |
856 | Register* newEnd = oldEnd + globalRegisterOffset + codeBlock->m_numCalleeRegisters; |
857 | #else |
858 | Register* newEnd = m_registerFile.start() + globalRegisterOffset + codeBlock->m_numCalleeRegisters; |
859 | #endif |
860 | if (!m_registerFile.grow(newEnd)) { |
861 | *exception = createStackOverflowError(callFrame); |
862 | return jsNull(); |
863 | } |
864 | |
865 | #ifdef QT_BUILD_SCRIPT_LIB //with Qt Script, we do not necesserly start from scratch |
866 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: oldEnd + globalRegisterOffset); |
867 | #else |
868 | CallFrame* newCallFrame = CallFrame::create(m_registerFile.start() + globalRegisterOffset); |
869 | #endif |
870 | |
871 | // a 0 codeBlock indicates a built-in caller |
872 | newCallFrame->r(index: codeBlock->thisRegister()) = JSValue(thisObj); |
873 | newCallFrame->init(codeBlock, vPC: 0, scopeChain, callerFrame: callFrame->addHostCallFrameFlag(), returnValueRegister: 0, argc: 0, callee: 0); |
874 | |
875 | if (codeBlock->needsFullScopeChain()) |
876 | scopeChain->ref(); |
877 | |
878 | Profiler** profiler = Profiler::enabledProfilerReference(); |
879 | if (*profiler) |
880 | (*profiler)->willExecute(newCallFrame, sourceURL: eval->sourceURL(), startingLineNumber: eval->lineNo()); |
881 | |
882 | JSValue result; |
883 | { |
884 | SamplingTool::CallRecord callRecord(m_sampler.get()); |
885 | |
886 | m_reentryDepth++; |
887 | #if ENABLE(JIT) |
888 | result = eval->jitCode(exec: newCallFrame, scopeChainNode: scopeChain).execute(registerFile: &m_registerFile, callFrame: newCallFrame, globalData: scopeChain->globalData, exception); |
889 | #else |
890 | result = privateExecute(Normal, &m_registerFile, newCallFrame, exception); |
891 | #endif |
892 | m_reentryDepth--; |
893 | } |
894 | |
895 | if (*profiler) |
896 | (*profiler)->didExecute(callFrame, sourceURL: eval->sourceURL(), startingLineNumber: eval->lineNo()); |
897 | |
898 | m_registerFile.shrink(newEnd: oldEnd); |
899 | return result; |
900 | } |
901 | |
902 | NEVER_INLINE void Interpreter::debug(CallFrame* callFrame, DebugHookID debugHookID, int firstLine, int lastLine) |
903 | { |
904 | Debugger* debugger = callFrame->dynamicGlobalObject()->debugger(); |
905 | if (!debugger) |
906 | return; |
907 | |
908 | switch (debugHookID) { |
909 | case DidEnterCallFrame: |
910 | debugger->callEvent(callFrame, sourceID: callFrame->codeBlock()->ownerExecutable()->sourceID(), lineNumber: firstLine); |
911 | return; |
912 | case WillLeaveCallFrame: |
913 | debugger->returnEvent(callFrame, sourceID: callFrame->codeBlock()->ownerExecutable()->sourceID(), lineNumber: lastLine); |
914 | return; |
915 | case WillExecuteStatement: |
916 | debugger->atStatement(callFrame, sourceID: callFrame->codeBlock()->ownerExecutable()->sourceID(), lineNumber: firstLine); |
917 | return; |
918 | case WillExecuteProgram: |
919 | debugger->willExecuteProgram(callFrame, sourceID: callFrame->codeBlock()->ownerExecutable()->sourceID(), lineNumber: firstLine); |
920 | return; |
921 | case DidExecuteProgram: |
922 | debugger->didExecuteProgram(callFrame, sourceID: callFrame->codeBlock()->ownerExecutable()->sourceID(), lineNumber: lastLine); |
923 | return; |
924 | case DidReachBreakpoint: |
925 | debugger->didReachBreakpoint(callFrame, sourceID: callFrame->codeBlock()->ownerExecutable()->sourceID(), lineNumber: lastLine); |
926 | return; |
927 | } |
928 | } |
929 | |
930 | #if USE(INTERPRETER) |
931 | NEVER_INLINE ScopeChainNode* Interpreter::createExceptionScope(CallFrame* callFrame, const Instruction* vPC) |
932 | { |
933 | int dst = vPC[1].u.operand; |
934 | CodeBlock* codeBlock = callFrame->codeBlock(); |
935 | Identifier& property = codeBlock->identifier(index: vPC[2].u.operand); |
936 | JSValue value = callFrame->r(index: vPC[3].u.operand).jsValue(); |
937 | JSObject* scope = new (callFrame) JSStaticScopeObject(callFrame, property, value, DontDelete); |
938 | callFrame->r(index: dst) = JSValue(scope); |
939 | |
940 | return callFrame->scopeChain()->push(o: scope); |
941 | } |
942 | |
943 | NEVER_INLINE void Interpreter::tryCachePutByID(CallFrame* callFrame, CodeBlock* codeBlock, Instruction* vPC, JSValue baseValue, const PutPropertySlot& slot) |
944 | { |
945 | // Recursive invocation may already have specialized this instruction. |
946 | if (vPC[0].u.opcode != getOpcode(id: op_put_by_id)) |
947 | return; |
948 | |
949 | if (!baseValue.isCell()) |
950 | return; |
951 | |
952 | // Uncacheable: give up. |
953 | if (!slot.isCacheable()) { |
954 | vPC[0] = getOpcode(id: op_put_by_id_generic); |
955 | return; |
956 | } |
957 | |
958 | JSCell* baseCell = asCell(value: baseValue); |
959 | Structure* structure = baseCell->structure(); |
960 | |
961 | if (structure->isUncacheableDictionary()) { |
962 | vPC[0] = getOpcode(id: op_put_by_id_generic); |
963 | return; |
964 | } |
965 | |
966 | // Cache miss: record Structure to compare against next time. |
967 | Structure* lastStructure = vPC[4].u.structure; |
968 | if (structure != lastStructure) { |
969 | // First miss: record Structure to compare against next time. |
970 | if (!lastStructure) { |
971 | vPC[4] = structure; |
972 | return; |
973 | } |
974 | |
975 | // Second miss: give up. |
976 | vPC[0] = getOpcode(id: op_put_by_id_generic); |
977 | return; |
978 | } |
979 | |
980 | // Cache hit: Specialize instruction and ref Structures. |
981 | |
982 | // If baseCell != slot.base(), then baseCell must be a proxy for another object. |
983 | if (baseCell != slot.base()) { |
984 | vPC[0] = getOpcode(id: op_put_by_id_generic); |
985 | return; |
986 | } |
987 | |
988 | // Structure transition, cache transition info |
989 | if (slot.type() == PutPropertySlot::NewProperty) { |
990 | if (structure->isDictionary()) { |
991 | vPC[0] = getOpcode(id: op_put_by_id_generic); |
992 | return; |
993 | } |
994 | |
995 | // put_by_id_transition checks the prototype chain for setters. |
996 | normalizePrototypeChain(callFrame, base: baseCell); |
997 | |
998 | vPC[0] = getOpcode(id: op_put_by_id_transition); |
999 | vPC[4] = structure->previousID(); |
1000 | vPC[5] = structure; |
1001 | vPC[6] = structure->prototypeChain(exec: callFrame); |
1002 | vPC[7] = slot.cachedOffset(); |
1003 | codeBlock->refStructures(vPC); |
1004 | return; |
1005 | } |
1006 | |
1007 | vPC[0] = getOpcode(id: op_put_by_id_replace); |
1008 | vPC[5] = slot.cachedOffset(); |
1009 | codeBlock->refStructures(vPC); |
1010 | } |
1011 | |
1012 | NEVER_INLINE void Interpreter::uncachePutByID(CodeBlock* codeBlock, Instruction* vPC) |
1013 | { |
1014 | codeBlock->derefStructures(vPC); |
1015 | vPC[0] = getOpcode(id: op_put_by_id); |
1016 | vPC[4] = 0; |
1017 | } |
1018 | |
1019 | NEVER_INLINE void Interpreter::tryCacheGetByID(CallFrame* callFrame, CodeBlock* codeBlock, Instruction* vPC, JSValue baseValue, const Identifier& propertyName, const PropertySlot& slot) |
1020 | { |
1021 | // Recursive invocation may already have specialized this instruction. |
1022 | if (vPC[0].u.opcode != getOpcode(id: op_get_by_id)) |
1023 | return; |
1024 | |
1025 | // FIXME: Cache property access for immediates. |
1026 | if (!baseValue.isCell()) { |
1027 | vPC[0] = getOpcode(id: op_get_by_id_generic); |
1028 | return; |
1029 | } |
1030 | |
1031 | JSGlobalData* globalData = &callFrame->globalData(); |
1032 | if (isJSArray(globalData, v: baseValue) && propertyName == callFrame->propertyNames().length) { |
1033 | vPC[0] = getOpcode(id: op_get_array_length); |
1034 | return; |
1035 | } |
1036 | |
1037 | if (isJSString(globalData, v: baseValue) && propertyName == callFrame->propertyNames().length) { |
1038 | vPC[0] = getOpcode(id: op_get_string_length); |
1039 | return; |
1040 | } |
1041 | |
1042 | // Uncacheable: give up. |
1043 | if (!slot.isCacheable()) { |
1044 | vPC[0] = getOpcode(id: op_get_by_id_generic); |
1045 | return; |
1046 | } |
1047 | |
1048 | Structure* structure = asCell(value: baseValue)->structure(); |
1049 | |
1050 | if (structure->isUncacheableDictionary()) { |
1051 | vPC[0] = getOpcode(id: op_get_by_id_generic); |
1052 | return; |
1053 | } |
1054 | |
1055 | // Cache miss |
1056 | Structure* lastStructure = vPC[4].u.structure; |
1057 | if (structure != lastStructure) { |
1058 | // First miss: record Structure to compare against next time. |
1059 | if (!lastStructure) { |
1060 | vPC[4] = structure; |
1061 | return; |
1062 | } |
1063 | |
1064 | // Second miss: give up. |
1065 | vPC[0] = getOpcode(id: op_get_by_id_generic); |
1066 | return; |
1067 | } |
1068 | |
1069 | // Cache hit: Specialize instruction and ref Structures. |
1070 | |
1071 | if (slot.slotBase() == baseValue) { |
1072 | vPC[0] = getOpcode(id: op_get_by_id_self); |
1073 | vPC[5] = slot.cachedOffset(); |
1074 | |
1075 | codeBlock->refStructures(vPC); |
1076 | return; |
1077 | } |
1078 | |
1079 | if (structure->isDictionary()) { |
1080 | vPC[0] = getOpcode(id: op_get_by_id_generic); |
1081 | return; |
1082 | } |
1083 | |
1084 | if (slot.slotBase() == structure->prototypeForLookup(exec: callFrame)) { |
1085 | ASSERT(slot.slotBase().isObject()); |
1086 | |
1087 | JSObject* baseObject = asObject(value: slot.slotBase()); |
1088 | size_t offset = slot.cachedOffset(); |
1089 | |
1090 | // Since we're accessing a prototype in a loop, it's a good bet that it |
1091 | // should not be treated as a dictionary. |
1092 | if (baseObject->structure()->isDictionary()) { |
1093 | baseObject->flattenDictionaryObject(); |
1094 | offset = baseObject->structure()->get(propertyName); |
1095 | } |
1096 | |
1097 | ASSERT(!baseObject->structure()->isUncacheableDictionary()); |
1098 | |
1099 | vPC[0] = getOpcode(id: op_get_by_id_proto); |
1100 | vPC[5] = baseObject->structure(); |
1101 | vPC[6] = offset; |
1102 | |
1103 | codeBlock->refStructures(vPC); |
1104 | return; |
1105 | } |
1106 | |
1107 | size_t offset = slot.cachedOffset(); |
1108 | size_t count = normalizePrototypeChain(callFrame, base: baseValue, slotBase: slot.slotBase(), propertyName, slotOffset&: offset); |
1109 | if (!count) { |
1110 | vPC[0] = getOpcode(id: op_get_by_id_generic); |
1111 | return; |
1112 | } |
1113 | |
1114 | vPC[0] = getOpcode(id: op_get_by_id_chain); |
1115 | vPC[4] = structure; |
1116 | vPC[5] = structure->prototypeChain(exec: callFrame); |
1117 | vPC[6] = count; |
1118 | vPC[7] = offset; |
1119 | codeBlock->refStructures(vPC); |
1120 | } |
1121 | |
1122 | NEVER_INLINE void Interpreter::uncacheGetByID(CodeBlock* codeBlock, Instruction* vPC) |
1123 | { |
1124 | codeBlock->derefStructures(vPC); |
1125 | vPC[0] = getOpcode(id: op_get_by_id); |
1126 | vPC[4] = 0; |
1127 | } |
1128 | |
1129 | #endif // USE(INTERPRETER) |
1130 | |
1131 | JSValue Interpreter::privateExecute(ExecutionFlag flag, RegisterFile* registerFile, CallFrame* callFrame, JSValue* exception) |
1132 | { |
1133 | // One-time initialization of our address tables. We have to put this code |
1134 | // here because our labels are only in scope inside this function. |
1135 | if (UNLIKELY(flag == InitializeAndReturn)) { |
1136 | #if HAVE(COMPUTED_GOTO) |
1137 | #define LIST_OPCODE_LABEL(id, length) &&id, |
1138 | static Opcode labels[] = { FOR_EACH_OPCODE_ID(LIST_OPCODE_LABEL) }; |
1139 | for (size_t i = 0; i < sizeof(labels) / sizeof(Opcode); ++i) |
1140 | m_opcodeTable[i] = labels[i]; |
1141 | #undef LIST_OPCODE_LABEL |
1142 | #endif // HAVE(COMPUTED_GOTO) |
1143 | return JSValue(); |
1144 | } |
1145 | |
1146 | #if ENABLE(JIT) |
1147 | // Mixing Interpreter + JIT is not supported. |
1148 | ASSERT_NOT_REACHED(); |
1149 | #endif |
1150 | #if !USE(INTERPRETER) |
1151 | UNUSED_PARAM(registerFile); |
1152 | UNUSED_PARAM(callFrame); |
1153 | UNUSED_PARAM(exception); |
1154 | return JSValue(); |
1155 | #else |
1156 | |
1157 | JSGlobalData* globalData = &callFrame->globalData(); |
1158 | JSValue exceptionValue; |
1159 | HandlerInfo* handler = 0; |
1160 | |
1161 | Instruction* vPC = callFrame->codeBlock()->instructions().begin(); |
1162 | Profiler** enabledProfilerReference = Profiler::enabledProfilerReference(); |
1163 | unsigned tickCount = globalData->timeoutChecker->ticksUntilNextCheck(); |
1164 | |
1165 | #define CHECK_FOR_EXCEPTION() \ |
1166 | do { \ |
1167 | if (UNLIKELY(globalData->exception != JSValue())) { \ |
1168 | exceptionValue = globalData->exception; \ |
1169 | goto vm_throw; \ |
1170 | } \ |
1171 | } while (0) |
1172 | |
1173 | #if ENABLE(OPCODE_STATS) |
1174 | OpcodeStats::resetLastInstruction(); |
1175 | #endif |
1176 | |
1177 | #define CHECK_FOR_TIMEOUT() \ |
1178 | if (!--tickCount) { \ |
1179 | if (globalData->timeoutChecker->didTimeOut(callFrame)) { \ |
1180 | exceptionValue = jsNull(); \ |
1181 | goto vm_throw; \ |
1182 | } \ |
1183 | tickCount = globalData->timeoutChecker->ticksUntilNextCheck(); \ |
1184 | CHECK_FOR_EXCEPTION(); \ |
1185 | } |
1186 | |
1187 | #if ENABLE(OPCODE_SAMPLING) |
1188 | #define SAMPLE(codeBlock, vPC) m_sampler->sample(codeBlock, vPC) |
1189 | #else |
1190 | #define SAMPLE(codeBlock, vPC) |
1191 | #endif |
1192 | |
1193 | #if HAVE(COMPUTED_GOTO) |
1194 | #define NEXT_INSTRUCTION() SAMPLE(callFrame->codeBlock(), vPC); goto *vPC->u.opcode |
1195 | #if ENABLE(OPCODE_STATS) |
1196 | #define DEFINE_OPCODE(opcode) opcode: OpcodeStats::recordInstruction(opcode); |
1197 | #else |
1198 | #define DEFINE_OPCODE(opcode) opcode: |
1199 | #endif |
1200 | NEXT_INSTRUCTION(); |
1201 | #else |
1202 | #define NEXT_INSTRUCTION() SAMPLE(callFrame->codeBlock(), vPC); goto interpreterLoopStart |
1203 | #if ENABLE(OPCODE_STATS) |
1204 | #define DEFINE_OPCODE(opcode) case opcode: OpcodeStats::recordInstruction(opcode); |
1205 | #else |
1206 | #define DEFINE_OPCODE(opcode) case opcode: |
1207 | #endif |
1208 | while (1) { // iterator loop begins |
1209 | interpreterLoopStart:; |
1210 | switch (vPC->u.opcode) |
1211 | #endif |
1212 | { |
1213 | DEFINE_OPCODE(op_new_object) { |
1214 | /* new_object dst(r) |
1215 | |
1216 | Constructs a new empty Object instance using the original |
1217 | constructor, and puts the result in register dst. |
1218 | */ |
1219 | int dst = vPC[1].u.operand; |
1220 | callFrame->r(index: dst) = JSValue(constructEmptyObject(exec: callFrame)); |
1221 | |
1222 | vPC += OPCODE_LENGTH(op_new_object); |
1223 | NEXT_INSTRUCTION(); |
1224 | } |
1225 | DEFINE_OPCODE(op_new_array) { |
1226 | /* new_array dst(r) firstArg(r) argCount(n) |
1227 | |
1228 | Constructs a new Array instance using the original |
1229 | constructor, and puts the result in register dst. |
1230 | The array will contain argCount elements with values |
1231 | taken from registers starting at register firstArg. |
1232 | */ |
1233 | int dst = vPC[1].u.operand; |
1234 | int firstArg = vPC[2].u.operand; |
1235 | int argCount = vPC[3].u.operand; |
1236 | ArgList args(callFrame->registers() + firstArg, argCount); |
1237 | callFrame->r(index: dst) = JSValue(constructArray(exec: callFrame, values: args)); |
1238 | |
1239 | vPC += OPCODE_LENGTH(op_new_array); |
1240 | NEXT_INSTRUCTION(); |
1241 | } |
1242 | DEFINE_OPCODE(op_new_regexp) { |
1243 | /* new_regexp dst(r) regExp(re) |
1244 | |
1245 | Constructs a new RegExp instance using the original |
1246 | constructor from regexp regExp, and puts the result in |
1247 | register dst. |
1248 | */ |
1249 | int dst = vPC[1].u.operand; |
1250 | int regExp = vPC[2].u.operand; |
1251 | callFrame->r(index: dst) = JSValue(new (globalData) RegExpObject(callFrame->scopeChain()->globalObject->regExpStructure(), callFrame->codeBlock()->regexp(index: regExp))); |
1252 | |
1253 | vPC += OPCODE_LENGTH(op_new_regexp); |
1254 | NEXT_INSTRUCTION(); |
1255 | } |
1256 | DEFINE_OPCODE(op_mov) { |
1257 | /* mov dst(r) src(r) |
1258 | |
1259 | Copies register src to register dst. |
1260 | */ |
1261 | int dst = vPC[1].u.operand; |
1262 | int src = vPC[2].u.operand; |
1263 | callFrame->r(index: dst) = callFrame->r(index: src); |
1264 | |
1265 | vPC += OPCODE_LENGTH(op_mov); |
1266 | NEXT_INSTRUCTION(); |
1267 | } |
1268 | DEFINE_OPCODE(op_eq) { |
1269 | /* eq dst(r) src1(r) src2(r) |
1270 | |
1271 | Checks whether register src1 and register src2 are equal, |
1272 | as with the ECMAScript '==' operator, and puts the result |
1273 | as a boolean in register dst. |
1274 | */ |
1275 | int dst = vPC[1].u.operand; |
1276 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1277 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1278 | if (src1.isInt32() && src2.isInt32()) |
1279 | callFrame->r(index: dst) = jsBoolean(b: src1.asInt32() == src2.asInt32()); |
1280 | else { |
1281 | JSValue result = jsBoolean(b: JSValue::equalSlowCase(exec: callFrame, v1: src1, v2: src2)); |
1282 | CHECK_FOR_EXCEPTION(); |
1283 | callFrame->r(index: dst) = result; |
1284 | } |
1285 | |
1286 | vPC += OPCODE_LENGTH(op_eq); |
1287 | NEXT_INSTRUCTION(); |
1288 | } |
1289 | DEFINE_OPCODE(op_eq_null) { |
1290 | /* eq_null dst(r) src(r) |
1291 | |
1292 | Checks whether register src is null, as with the ECMAScript '!=' |
1293 | operator, and puts the result as a boolean in register dst. |
1294 | */ |
1295 | int dst = vPC[1].u.operand; |
1296 | JSValue src = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1297 | |
1298 | if (src.isUndefinedOrNull()) { |
1299 | callFrame->r(index: dst) = jsBoolean(b: true); |
1300 | vPC += OPCODE_LENGTH(op_eq_null); |
1301 | NEXT_INSTRUCTION(); |
1302 | } |
1303 | |
1304 | callFrame->r(index: dst) = jsBoolean(b: src.isCell() && src.asCell()->structure()->typeInfo().masqueradesAsUndefined()); |
1305 | vPC += OPCODE_LENGTH(op_eq_null); |
1306 | NEXT_INSTRUCTION(); |
1307 | } |
1308 | DEFINE_OPCODE(op_neq) { |
1309 | /* neq dst(r) src1(r) src2(r) |
1310 | |
1311 | Checks whether register src1 and register src2 are not |
1312 | equal, as with the ECMAScript '!=' operator, and puts the |
1313 | result as a boolean in register dst. |
1314 | */ |
1315 | int dst = vPC[1].u.operand; |
1316 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1317 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1318 | if (src1.isInt32() && src2.isInt32()) |
1319 | callFrame->r(index: dst) = jsBoolean(b: src1.asInt32() != src2.asInt32()); |
1320 | else { |
1321 | JSValue result = jsBoolean(b: !JSValue::equalSlowCase(exec: callFrame, v1: src1, v2: src2)); |
1322 | CHECK_FOR_EXCEPTION(); |
1323 | callFrame->r(index: dst) = result; |
1324 | } |
1325 | |
1326 | vPC += OPCODE_LENGTH(op_neq); |
1327 | NEXT_INSTRUCTION(); |
1328 | } |
1329 | DEFINE_OPCODE(op_neq_null) { |
1330 | /* neq_null dst(r) src(r) |
1331 | |
1332 | Checks whether register src is not null, as with the ECMAScript '!=' |
1333 | operator, and puts the result as a boolean in register dst. |
1334 | */ |
1335 | int dst = vPC[1].u.operand; |
1336 | JSValue src = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1337 | |
1338 | if (src.isUndefinedOrNull()) { |
1339 | callFrame->r(index: dst) = jsBoolean(b: false); |
1340 | vPC += OPCODE_LENGTH(op_neq_null); |
1341 | NEXT_INSTRUCTION(); |
1342 | } |
1343 | |
1344 | callFrame->r(index: dst) = jsBoolean(b: !src.isCell() || !asCell(value: src)->structure()->typeInfo().masqueradesAsUndefined()); |
1345 | vPC += OPCODE_LENGTH(op_neq_null); |
1346 | NEXT_INSTRUCTION(); |
1347 | } |
1348 | DEFINE_OPCODE(op_stricteq) { |
1349 | /* stricteq dst(r) src1(r) src2(r) |
1350 | |
1351 | Checks whether register src1 and register src2 are strictly |
1352 | equal, as with the ECMAScript '===' operator, and puts the |
1353 | result as a boolean in register dst. |
1354 | */ |
1355 | int dst = vPC[1].u.operand; |
1356 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1357 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1358 | callFrame->r(index: dst) = jsBoolean(b: JSValue::strictEqual(exec: callFrame, v1: src1, v2: src2)); |
1359 | |
1360 | vPC += OPCODE_LENGTH(op_stricteq); |
1361 | NEXT_INSTRUCTION(); |
1362 | } |
1363 | DEFINE_OPCODE(op_nstricteq) { |
1364 | /* nstricteq dst(r) src1(r) src2(r) |
1365 | |
1366 | Checks whether register src1 and register src2 are not |
1367 | strictly equal, as with the ECMAScript '!==' operator, and |
1368 | puts the result as a boolean in register dst. |
1369 | */ |
1370 | int dst = vPC[1].u.operand; |
1371 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1372 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1373 | callFrame->r(index: dst) = jsBoolean(b: !JSValue::strictEqual(exec: callFrame, v1: src1, v2: src2)); |
1374 | |
1375 | vPC += OPCODE_LENGTH(op_nstricteq); |
1376 | NEXT_INSTRUCTION(); |
1377 | } |
1378 | DEFINE_OPCODE(op_less) { |
1379 | /* less dst(r) src1(r) src2(r) |
1380 | |
1381 | Checks whether register src1 is less than register src2, as |
1382 | with the ECMAScript '<' operator, and puts the result as |
1383 | a boolean in register dst. |
1384 | */ |
1385 | int dst = vPC[1].u.operand; |
1386 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1387 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1388 | JSValue result = jsBoolean(b: jsLess(callFrame, v1: src1, v2: src2)); |
1389 | CHECK_FOR_EXCEPTION(); |
1390 | callFrame->r(index: dst) = result; |
1391 | |
1392 | vPC += OPCODE_LENGTH(op_less); |
1393 | NEXT_INSTRUCTION(); |
1394 | } |
1395 | DEFINE_OPCODE(op_lesseq) { |
1396 | /* lesseq dst(r) src1(r) src2(r) |
1397 | |
1398 | Checks whether register src1 is less than or equal to |
1399 | register src2, as with the ECMAScript '<=' operator, and |
1400 | puts the result as a boolean in register dst. |
1401 | */ |
1402 | int dst = vPC[1].u.operand; |
1403 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1404 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1405 | JSValue result = jsBoolean(b: jsLessEq(callFrame, v1: src1, v2: src2)); |
1406 | CHECK_FOR_EXCEPTION(); |
1407 | callFrame->r(index: dst) = result; |
1408 | |
1409 | vPC += OPCODE_LENGTH(op_lesseq); |
1410 | NEXT_INSTRUCTION(); |
1411 | } |
1412 | DEFINE_OPCODE(op_pre_inc) { |
1413 | /* pre_inc srcDst(r) |
1414 | |
1415 | Converts register srcDst to number, adds one, and puts the result |
1416 | back in register srcDst. |
1417 | */ |
1418 | int srcDst = vPC[1].u.operand; |
1419 | JSValue v = callFrame->r(index: srcDst).jsValue(); |
1420 | if (v.isInt32() && v.asInt32() < INT_MAX) |
1421 | callFrame->r(index: srcDst) = jsNumber(exec: callFrame, i: v.asInt32() + 1); |
1422 | else { |
1423 | JSValue result = jsNumber(exec: callFrame, d: v.toNumber(exec: callFrame) + 1); |
1424 | CHECK_FOR_EXCEPTION(); |
1425 | callFrame->r(index: srcDst) = result; |
1426 | } |
1427 | |
1428 | vPC += OPCODE_LENGTH(op_pre_inc); |
1429 | NEXT_INSTRUCTION(); |
1430 | } |
1431 | DEFINE_OPCODE(op_pre_dec) { |
1432 | /* pre_dec srcDst(r) |
1433 | |
1434 | Converts register srcDst to number, subtracts one, and puts the result |
1435 | back in register srcDst. |
1436 | */ |
1437 | int srcDst = vPC[1].u.operand; |
1438 | JSValue v = callFrame->r(index: srcDst).jsValue(); |
1439 | if (v.isInt32() && v.asInt32() > INT_MIN) |
1440 | callFrame->r(index: srcDst) = jsNumber(exec: callFrame, i: v.asInt32() - 1); |
1441 | else { |
1442 | JSValue result = jsNumber(exec: callFrame, d: v.toNumber(exec: callFrame) - 1); |
1443 | CHECK_FOR_EXCEPTION(); |
1444 | callFrame->r(index: srcDst) = result; |
1445 | } |
1446 | |
1447 | vPC += OPCODE_LENGTH(op_pre_dec); |
1448 | NEXT_INSTRUCTION(); |
1449 | } |
1450 | DEFINE_OPCODE(op_post_inc) { |
1451 | /* post_inc dst(r) srcDst(r) |
1452 | |
1453 | Converts register srcDst to number. The number itself is |
1454 | written to register dst, and the number plus one is written |
1455 | back to register srcDst. |
1456 | */ |
1457 | int dst = vPC[1].u.operand; |
1458 | int srcDst = vPC[2].u.operand; |
1459 | JSValue v = callFrame->r(index: srcDst).jsValue(); |
1460 | if (v.isInt32() && v.asInt32() < INT_MAX) { |
1461 | callFrame->r(index: srcDst) = jsNumber(exec: callFrame, i: v.asInt32() + 1); |
1462 | callFrame->r(index: dst) = v; |
1463 | } else { |
1464 | JSValue number = callFrame->r(index: srcDst).jsValue().toJSNumber(exec: callFrame); |
1465 | CHECK_FOR_EXCEPTION(); |
1466 | callFrame->r(index: srcDst) = jsNumber(exec: callFrame, d: number.uncheckedGetNumber() + 1); |
1467 | callFrame->r(index: dst) = number; |
1468 | } |
1469 | |
1470 | vPC += OPCODE_LENGTH(op_post_inc); |
1471 | NEXT_INSTRUCTION(); |
1472 | } |
1473 | DEFINE_OPCODE(op_post_dec) { |
1474 | /* post_dec dst(r) srcDst(r) |
1475 | |
1476 | Converts register srcDst to number. The number itself is |
1477 | written to register dst, and the number minus one is written |
1478 | back to register srcDst. |
1479 | */ |
1480 | int dst = vPC[1].u.operand; |
1481 | int srcDst = vPC[2].u.operand; |
1482 | JSValue v = callFrame->r(index: srcDst).jsValue(); |
1483 | if (v.isInt32() && v.asInt32() > INT_MIN) { |
1484 | callFrame->r(index: srcDst) = jsNumber(exec: callFrame, i: v.asInt32() - 1); |
1485 | callFrame->r(index: dst) = v; |
1486 | } else { |
1487 | JSValue number = callFrame->r(index: srcDst).jsValue().toJSNumber(exec: callFrame); |
1488 | CHECK_FOR_EXCEPTION(); |
1489 | callFrame->r(index: srcDst) = jsNumber(exec: callFrame, d: number.uncheckedGetNumber() - 1); |
1490 | callFrame->r(index: dst) = number; |
1491 | } |
1492 | |
1493 | vPC += OPCODE_LENGTH(op_post_dec); |
1494 | NEXT_INSTRUCTION(); |
1495 | } |
1496 | DEFINE_OPCODE(op_to_jsnumber) { |
1497 | /* to_jsnumber dst(r) src(r) |
1498 | |
1499 | Converts register src to number, and puts the result |
1500 | in register dst. |
1501 | */ |
1502 | int dst = vPC[1].u.operand; |
1503 | int src = vPC[2].u.operand; |
1504 | |
1505 | JSValue srcVal = callFrame->r(index: src).jsValue(); |
1506 | |
1507 | if (LIKELY(srcVal.isNumber())) |
1508 | callFrame->r(index: dst) = callFrame->r(index: src); |
1509 | else { |
1510 | JSValue result = srcVal.toJSNumber(exec: callFrame); |
1511 | CHECK_FOR_EXCEPTION(); |
1512 | callFrame->r(index: dst) = result; |
1513 | } |
1514 | |
1515 | vPC += OPCODE_LENGTH(op_to_jsnumber); |
1516 | NEXT_INSTRUCTION(); |
1517 | } |
1518 | DEFINE_OPCODE(op_negate) { |
1519 | /* negate dst(r) src(r) |
1520 | |
1521 | Converts register src to number, negates it, and puts the |
1522 | result in register dst. |
1523 | */ |
1524 | int dst = vPC[1].u.operand; |
1525 | JSValue src = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1526 | if (src.isInt32() && src.asInt32()) |
1527 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: -src.asInt32()); |
1528 | else { |
1529 | JSValue result = jsNumber(exec: callFrame, d: -src.toNumber(exec: callFrame)); |
1530 | CHECK_FOR_EXCEPTION(); |
1531 | callFrame->r(index: dst) = result; |
1532 | } |
1533 | |
1534 | vPC += OPCODE_LENGTH(op_negate); |
1535 | NEXT_INSTRUCTION(); |
1536 | } |
1537 | DEFINE_OPCODE(op_add) { |
1538 | /* add dst(r) src1(r) src2(r) |
1539 | |
1540 | Adds register src1 and register src2, and puts the result |
1541 | in register dst. (JS add may be string concatenation or |
1542 | numeric add, depending on the types of the operands.) |
1543 | */ |
1544 | int dst = vPC[1].u.operand; |
1545 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1546 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1547 | if (src1.isInt32() && src2.isInt32() && !(src1.asInt32() | (src2.asInt32() & 0xc0000000))) // no overflow |
1548 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: src1.asInt32() + src2.asInt32()); |
1549 | else { |
1550 | JSValue result = jsAdd(callFrame, v1: src1, v2: src2); |
1551 | CHECK_FOR_EXCEPTION(); |
1552 | callFrame->r(index: dst) = result; |
1553 | } |
1554 | vPC += OPCODE_LENGTH(op_add); |
1555 | NEXT_INSTRUCTION(); |
1556 | } |
1557 | DEFINE_OPCODE(op_mul) { |
1558 | /* mul dst(r) src1(r) src2(r) |
1559 | |
1560 | Multiplies register src1 and register src2 (converted to |
1561 | numbers), and puts the product in register dst. |
1562 | */ |
1563 | int dst = vPC[1].u.operand; |
1564 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1565 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1566 | if (src1.isInt32() && src2.isInt32() && !(src1.asInt32() | src2.asInt32() >> 15)) // no overflow |
1567 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: src1.asInt32() * src2.asInt32()); |
1568 | else { |
1569 | JSValue result = jsNumber(exec: callFrame, d: src1.toNumber(exec: callFrame) * src2.toNumber(exec: callFrame)); |
1570 | CHECK_FOR_EXCEPTION(); |
1571 | callFrame->r(index: dst) = result; |
1572 | } |
1573 | |
1574 | vPC += OPCODE_LENGTH(op_mul); |
1575 | NEXT_INSTRUCTION(); |
1576 | } |
1577 | DEFINE_OPCODE(op_div) { |
1578 | /* div dst(r) dividend(r) divisor(r) |
1579 | |
1580 | Divides register dividend (converted to number) by the |
1581 | register divisor (converted to number), and puts the |
1582 | quotient in register dst. |
1583 | */ |
1584 | int dst = vPC[1].u.operand; |
1585 | JSValue dividend = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1586 | JSValue divisor = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1587 | |
1588 | JSValue result = jsNumber(exec: callFrame, d: dividend.toNumber(exec: callFrame) / divisor.toNumber(exec: callFrame)); |
1589 | CHECK_FOR_EXCEPTION(); |
1590 | callFrame->r(index: dst) = result; |
1591 | |
1592 | vPC += OPCODE_LENGTH(op_div); |
1593 | NEXT_INSTRUCTION(); |
1594 | } |
1595 | DEFINE_OPCODE(op_mod) { |
1596 | /* mod dst(r) dividend(r) divisor(r) |
1597 | |
1598 | Divides register dividend (converted to number) by |
1599 | register divisor (converted to number), and puts the |
1600 | remainder in register dst. |
1601 | */ |
1602 | int dst = vPC[1].u.operand; |
1603 | JSValue dividend = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1604 | JSValue divisor = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1605 | |
1606 | if (dividend.isInt32() && divisor.isInt32() && divisor.asInt32() != 0) { |
1607 | JSValue result = jsNumber(exec: callFrame, i: dividend.asInt32() % divisor.asInt32()); |
1608 | ASSERT(result); |
1609 | callFrame->r(index: dst) = result; |
1610 | vPC += OPCODE_LENGTH(op_mod); |
1611 | NEXT_INSTRUCTION(); |
1612 | } |
1613 | |
1614 | // Conversion to double must happen outside the call to fmod since the |
1615 | // order of argument evaluation is not guaranteed. |
1616 | double d1 = dividend.toNumber(exec: callFrame); |
1617 | double d2 = divisor.toNumber(exec: callFrame); |
1618 | JSValue result = jsNumber(exec: callFrame, d: fmod(x: d1, y: d2)); |
1619 | CHECK_FOR_EXCEPTION(); |
1620 | callFrame->r(index: dst) = result; |
1621 | vPC += OPCODE_LENGTH(op_mod); |
1622 | NEXT_INSTRUCTION(); |
1623 | } |
1624 | DEFINE_OPCODE(op_sub) { |
1625 | /* sub dst(r) src1(r) src2(r) |
1626 | |
1627 | Subtracts register src2 (converted to number) from register |
1628 | src1 (converted to number), and puts the difference in |
1629 | register dst. |
1630 | */ |
1631 | int dst = vPC[1].u.operand; |
1632 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1633 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1634 | if (src1.isInt32() && src2.isInt32() && !(src1.asInt32() | (src2.asInt32() & 0xc0000000))) // no overflow |
1635 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: src1.asInt32() - src2.asInt32()); |
1636 | else { |
1637 | JSValue result = jsNumber(exec: callFrame, d: src1.toNumber(exec: callFrame) - src2.toNumber(exec: callFrame)); |
1638 | CHECK_FOR_EXCEPTION(); |
1639 | callFrame->r(index: dst) = result; |
1640 | } |
1641 | vPC += OPCODE_LENGTH(op_sub); |
1642 | NEXT_INSTRUCTION(); |
1643 | } |
1644 | DEFINE_OPCODE(op_lshift) { |
1645 | /* lshift dst(r) val(r) shift(r) |
1646 | |
1647 | Performs left shift of register val (converted to int32) by |
1648 | register shift (converted to uint32), and puts the result |
1649 | in register dst. |
1650 | */ |
1651 | int dst = vPC[1].u.operand; |
1652 | JSValue val = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1653 | JSValue shift = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1654 | |
1655 | if (val.isInt32() && shift.isInt32()) |
1656 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: val.asInt32() << (shift.asInt32() & 0x1f)); |
1657 | else { |
1658 | JSValue result = jsNumber(exec: callFrame, i: (val.toInt32(exec: callFrame)) << (shift.toUInt32(exec: callFrame) & 0x1f)); |
1659 | CHECK_FOR_EXCEPTION(); |
1660 | callFrame->r(index: dst) = result; |
1661 | } |
1662 | |
1663 | vPC += OPCODE_LENGTH(op_lshift); |
1664 | NEXT_INSTRUCTION(); |
1665 | } |
1666 | DEFINE_OPCODE(op_rshift) { |
1667 | /* rshift dst(r) val(r) shift(r) |
1668 | |
1669 | Performs arithmetic right shift of register val (converted |
1670 | to int32) by register shift (converted to |
1671 | uint32), and puts the result in register dst. |
1672 | */ |
1673 | int dst = vPC[1].u.operand; |
1674 | JSValue val = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1675 | JSValue shift = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1676 | |
1677 | if (val.isInt32() && shift.isInt32()) |
1678 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: val.asInt32() >> (shift.asInt32() & 0x1f)); |
1679 | else { |
1680 | JSValue result = jsNumber(exec: callFrame, i: (val.toInt32(exec: callFrame)) >> (shift.toUInt32(exec: callFrame) & 0x1f)); |
1681 | CHECK_FOR_EXCEPTION(); |
1682 | callFrame->r(index: dst) = result; |
1683 | } |
1684 | |
1685 | vPC += OPCODE_LENGTH(op_rshift); |
1686 | NEXT_INSTRUCTION(); |
1687 | } |
1688 | DEFINE_OPCODE(op_urshift) { |
1689 | /* rshift dst(r) val(r) shift(r) |
1690 | |
1691 | Performs logical right shift of register val (converted |
1692 | to uint32) by register shift (converted to |
1693 | uint32), and puts the result in register dst. |
1694 | */ |
1695 | int dst = vPC[1].u.operand; |
1696 | JSValue val = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1697 | JSValue shift = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1698 | if (val.isUInt32() && shift.isInt32()) |
1699 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: val.asInt32() >> (shift.asInt32() & 0x1f)); |
1700 | else { |
1701 | JSValue result = jsNumber(exec: callFrame, i: (val.toUInt32(exec: callFrame)) >> (shift.toUInt32(exec: callFrame) & 0x1f)); |
1702 | CHECK_FOR_EXCEPTION(); |
1703 | callFrame->r(index: dst) = result; |
1704 | } |
1705 | |
1706 | vPC += OPCODE_LENGTH(op_urshift); |
1707 | NEXT_INSTRUCTION(); |
1708 | } |
1709 | DEFINE_OPCODE(op_bitand) { |
1710 | /* bitand dst(r) src1(r) src2(r) |
1711 | |
1712 | Computes bitwise AND of register src1 (converted to int32) |
1713 | and register src2 (converted to int32), and puts the result |
1714 | in register dst. |
1715 | */ |
1716 | int dst = vPC[1].u.operand; |
1717 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1718 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1719 | if (src1.isInt32() && src2.isInt32()) |
1720 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: src1.asInt32() & src2.asInt32()); |
1721 | else { |
1722 | JSValue result = jsNumber(exec: callFrame, i: src1.toInt32(exec: callFrame) & src2.toInt32(exec: callFrame)); |
1723 | CHECK_FOR_EXCEPTION(); |
1724 | callFrame->r(index: dst) = result; |
1725 | } |
1726 | |
1727 | vPC += OPCODE_LENGTH(op_bitand); |
1728 | NEXT_INSTRUCTION(); |
1729 | } |
1730 | DEFINE_OPCODE(op_bitxor) { |
1731 | /* bitxor dst(r) src1(r) src2(r) |
1732 | |
1733 | Computes bitwise XOR of register src1 (converted to int32) |
1734 | and register src2 (converted to int32), and puts the result |
1735 | in register dst. |
1736 | */ |
1737 | int dst = vPC[1].u.operand; |
1738 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1739 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1740 | if (src1.isInt32() && src2.isInt32()) |
1741 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: src1.asInt32() ^ src2.asInt32()); |
1742 | else { |
1743 | JSValue result = jsNumber(exec: callFrame, i: src1.toInt32(exec: callFrame) ^ src2.toInt32(exec: callFrame)); |
1744 | CHECK_FOR_EXCEPTION(); |
1745 | callFrame->r(index: dst) = result; |
1746 | } |
1747 | |
1748 | vPC += OPCODE_LENGTH(op_bitxor); |
1749 | NEXT_INSTRUCTION(); |
1750 | } |
1751 | DEFINE_OPCODE(op_bitor) { |
1752 | /* bitor dst(r) src1(r) src2(r) |
1753 | |
1754 | Computes bitwise OR of register src1 (converted to int32) |
1755 | and register src2 (converted to int32), and puts the |
1756 | result in register dst. |
1757 | */ |
1758 | int dst = vPC[1].u.operand; |
1759 | JSValue src1 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1760 | JSValue src2 = callFrame->r(index: vPC[3].u.operand).jsValue(); |
1761 | if (src1.isInt32() && src2.isInt32()) |
1762 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: src1.asInt32() | src2.asInt32()); |
1763 | else { |
1764 | JSValue result = jsNumber(exec: callFrame, i: src1.toInt32(exec: callFrame) | src2.toInt32(exec: callFrame)); |
1765 | CHECK_FOR_EXCEPTION(); |
1766 | callFrame->r(index: dst) = result; |
1767 | } |
1768 | |
1769 | vPC += OPCODE_LENGTH(op_bitor); |
1770 | NEXT_INSTRUCTION(); |
1771 | } |
1772 | DEFINE_OPCODE(op_bitnot) { |
1773 | /* bitnot dst(r) src(r) |
1774 | |
1775 | Computes bitwise NOT of register src1 (converted to int32), |
1776 | and puts the result in register dst. |
1777 | */ |
1778 | int dst = vPC[1].u.operand; |
1779 | JSValue src = callFrame->r(index: vPC[2].u.operand).jsValue(); |
1780 | if (src.isInt32()) |
1781 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: ~src.asInt32()); |
1782 | else { |
1783 | JSValue result = jsNumber(exec: callFrame, i: ~src.toInt32(exec: callFrame)); |
1784 | CHECK_FOR_EXCEPTION(); |
1785 | callFrame->r(index: dst) = result; |
1786 | } |
1787 | vPC += OPCODE_LENGTH(op_bitnot); |
1788 | NEXT_INSTRUCTION(); |
1789 | } |
1790 | DEFINE_OPCODE(op_not) { |
1791 | /* not dst(r) src(r) |
1792 | |
1793 | Computes logical NOT of register src (converted to |
1794 | boolean), and puts the result in register dst. |
1795 | */ |
1796 | int dst = vPC[1].u.operand; |
1797 | int src = vPC[2].u.operand; |
1798 | JSValue result = jsBoolean(b: !callFrame->r(index: src).jsValue().toBoolean(exec: callFrame)); |
1799 | CHECK_FOR_EXCEPTION(); |
1800 | callFrame->r(index: dst) = result; |
1801 | |
1802 | vPC += OPCODE_LENGTH(op_not); |
1803 | NEXT_INSTRUCTION(); |
1804 | } |
1805 | DEFINE_OPCODE(op_instanceof) { |
1806 | /* instanceof dst(r) value(r) constructor(r) constructorProto(r) |
1807 | |
1808 | Tests whether register value is an instance of register |
1809 | constructor, and puts the boolean result in register |
1810 | dst. Register constructorProto must contain the "prototype" |
1811 | property (not the actual prototype) of the object in |
1812 | register constructor. This lookup is separated so that |
1813 | polymorphic inline caching can apply. |
1814 | |
1815 | Raises an exception if register constructor is not an |
1816 | object. |
1817 | */ |
1818 | int dst = vPC[1].u.operand; |
1819 | int value = vPC[2].u.operand; |
1820 | int base = vPC[3].u.operand; |
1821 | int baseProto = vPC[4].u.operand; |
1822 | |
1823 | JSValue baseVal = callFrame->r(index: base).jsValue(); |
1824 | |
1825 | if (isInvalidParamForInstanceOf(callFrame, codeBlock: callFrame->codeBlock(), vPC, value: baseVal, exceptionData&: exceptionValue)) |
1826 | goto vm_throw; |
1827 | |
1828 | bool result = asObject(value: baseVal)->hasInstance(callFrame, callFrame->r(index: value).jsValue(), prototypeProperty: callFrame->r(index: baseProto).jsValue()); |
1829 | CHECK_FOR_EXCEPTION(); |
1830 | callFrame->r(index: dst) = jsBoolean(b: result); |
1831 | |
1832 | vPC += OPCODE_LENGTH(op_instanceof); |
1833 | NEXT_INSTRUCTION(); |
1834 | } |
1835 | DEFINE_OPCODE(op_typeof) { |
1836 | /* typeof dst(r) src(r) |
1837 | |
1838 | Determines the type string for src according to ECMAScript |
1839 | rules, and puts the result in register dst. |
1840 | */ |
1841 | int dst = vPC[1].u.operand; |
1842 | int src = vPC[2].u.operand; |
1843 | callFrame->r(index: dst) = JSValue(jsTypeStringForValue(callFrame, callFrame->r(index: src).jsValue())); |
1844 | |
1845 | vPC += OPCODE_LENGTH(op_typeof); |
1846 | NEXT_INSTRUCTION(); |
1847 | } |
1848 | DEFINE_OPCODE(op_is_undefined) { |
1849 | /* is_undefined dst(r) src(r) |
1850 | |
1851 | Determines whether the type string for src according to |
1852 | the ECMAScript rules is "undefined", and puts the result |
1853 | in register dst. |
1854 | */ |
1855 | int dst = vPC[1].u.operand; |
1856 | int src = vPC[2].u.operand; |
1857 | JSValue v = callFrame->r(index: src).jsValue(); |
1858 | callFrame->r(index: dst) = jsBoolean(b: v.isCell() ? v.asCell()->structure()->typeInfo().masqueradesAsUndefined() : v.isUndefined()); |
1859 | |
1860 | vPC += OPCODE_LENGTH(op_is_undefined); |
1861 | NEXT_INSTRUCTION(); |
1862 | } |
1863 | DEFINE_OPCODE(op_is_boolean) { |
1864 | /* is_boolean dst(r) src(r) |
1865 | |
1866 | Determines whether the type string for src according to |
1867 | the ECMAScript rules is "boolean", and puts the result |
1868 | in register dst. |
1869 | */ |
1870 | int dst = vPC[1].u.operand; |
1871 | int src = vPC[2].u.operand; |
1872 | callFrame->r(index: dst) = jsBoolean(b: callFrame->r(index: src).jsValue().isBoolean()); |
1873 | |
1874 | vPC += OPCODE_LENGTH(op_is_boolean); |
1875 | NEXT_INSTRUCTION(); |
1876 | } |
1877 | DEFINE_OPCODE(op_is_number) { |
1878 | /* is_number dst(r) src(r) |
1879 | |
1880 | Determines whether the type string for src according to |
1881 | the ECMAScript rules is "number", and puts the result |
1882 | in register dst. |
1883 | */ |
1884 | int dst = vPC[1].u.operand; |
1885 | int src = vPC[2].u.operand; |
1886 | callFrame->r(index: dst) = jsBoolean(b: callFrame->r(index: src).jsValue().isNumber()); |
1887 | |
1888 | vPC += OPCODE_LENGTH(op_is_number); |
1889 | NEXT_INSTRUCTION(); |
1890 | } |
1891 | DEFINE_OPCODE(op_is_string) { |
1892 | /* is_string dst(r) src(r) |
1893 | |
1894 | Determines whether the type string for src according to |
1895 | the ECMAScript rules is "string", and puts the result |
1896 | in register dst. |
1897 | */ |
1898 | int dst = vPC[1].u.operand; |
1899 | int src = vPC[2].u.operand; |
1900 | callFrame->r(index: dst) = jsBoolean(b: callFrame->r(index: src).jsValue().isString()); |
1901 | |
1902 | vPC += OPCODE_LENGTH(op_is_string); |
1903 | NEXT_INSTRUCTION(); |
1904 | } |
1905 | DEFINE_OPCODE(op_is_object) { |
1906 | /* is_object dst(r) src(r) |
1907 | |
1908 | Determines whether the type string for src according to |
1909 | the ECMAScript rules is "object", and puts the result |
1910 | in register dst. |
1911 | */ |
1912 | int dst = vPC[1].u.operand; |
1913 | int src = vPC[2].u.operand; |
1914 | callFrame->r(index: dst) = jsBoolean(b: jsIsObjectType(callFrame->r(index: src).jsValue())); |
1915 | |
1916 | vPC += OPCODE_LENGTH(op_is_object); |
1917 | NEXT_INSTRUCTION(); |
1918 | } |
1919 | DEFINE_OPCODE(op_is_function) { |
1920 | /* is_function dst(r) src(r) |
1921 | |
1922 | Determines whether the type string for src according to |
1923 | the ECMAScript rules is "function", and puts the result |
1924 | in register dst. |
1925 | */ |
1926 | int dst = vPC[1].u.operand; |
1927 | int src = vPC[2].u.operand; |
1928 | callFrame->r(index: dst) = jsBoolean(b: jsIsFunctionType(callFrame->r(index: src).jsValue())); |
1929 | |
1930 | vPC += OPCODE_LENGTH(op_is_function); |
1931 | NEXT_INSTRUCTION(); |
1932 | } |
1933 | DEFINE_OPCODE(op_in) { |
1934 | /* in dst(r) property(r) base(r) |
1935 | |
1936 | Tests whether register base has a property named register |
1937 | property, and puts the boolean result in register dst. |
1938 | |
1939 | Raises an exception if register constructor is not an |
1940 | object. |
1941 | */ |
1942 | int dst = vPC[1].u.operand; |
1943 | int property = vPC[2].u.operand; |
1944 | int base = vPC[3].u.operand; |
1945 | |
1946 | JSValue baseVal = callFrame->r(index: base).jsValue(); |
1947 | if (isInvalidParamForIn(callFrame, codeBlock: callFrame->codeBlock(), vPC, value: baseVal, exceptionData&: exceptionValue)) |
1948 | goto vm_throw; |
1949 | |
1950 | JSObject* baseObj = asObject(value: baseVal); |
1951 | |
1952 | JSValue propName = callFrame->r(index: property).jsValue(); |
1953 | |
1954 | uint32_t i; |
1955 | if (propName.getUInt32(v&: i)) |
1956 | callFrame->r(index: dst) = jsBoolean(b: baseObj->hasProperty(callFrame, propertyName: i)); |
1957 | else { |
1958 | Identifier property(callFrame, propName.toString(exec: callFrame)); |
1959 | CHECK_FOR_EXCEPTION(); |
1960 | callFrame->r(index: dst) = jsBoolean(b: baseObj->hasProperty(callFrame, propertyName: property)); |
1961 | } |
1962 | |
1963 | vPC += OPCODE_LENGTH(op_in); |
1964 | NEXT_INSTRUCTION(); |
1965 | } |
1966 | DEFINE_OPCODE(op_resolve) { |
1967 | /* resolve dst(r) property(id) |
1968 | |
1969 | Looks up the property named by identifier property in the |
1970 | scope chain, and writes the resulting value to register |
1971 | dst. If the property is not found, raises an exception. |
1972 | */ |
1973 | if (UNLIKELY(!resolve(callFrame, vPC, exceptionValue))) |
1974 | goto vm_throw; |
1975 | |
1976 | vPC += OPCODE_LENGTH(op_resolve); |
1977 | NEXT_INSTRUCTION(); |
1978 | } |
1979 | DEFINE_OPCODE(op_resolve_skip) { |
1980 | /* resolve_skip dst(r) property(id) skip(n) |
1981 | |
1982 | Looks up the property named by identifier property in the |
1983 | scope chain skipping the top 'skip' levels, and writes the resulting |
1984 | value to register dst. If the property is not found, raises an exception. |
1985 | */ |
1986 | if (UNLIKELY(!resolveSkip(callFrame, vPC, exceptionValue))) |
1987 | goto vm_throw; |
1988 | |
1989 | vPC += OPCODE_LENGTH(op_resolve_skip); |
1990 | |
1991 | NEXT_INSTRUCTION(); |
1992 | } |
1993 | DEFINE_OPCODE(op_resolve_global) { |
1994 | /* resolve_skip dst(r) globalObject(c) property(id) structure(sID) offset(n) |
1995 | |
1996 | Performs a dynamic property lookup for the given property, on the provided |
1997 | global object. If structure matches the Structure of the global then perform |
1998 | a fast lookup using the case offset, otherwise fall back to a full resolve and |
1999 | cache the new structure and offset |
2000 | */ |
2001 | if (UNLIKELY(!resolveGlobal(callFrame, vPC, exceptionValue))) |
2002 | goto vm_throw; |
2003 | |
2004 | vPC += OPCODE_LENGTH(op_resolve_global); |
2005 | |
2006 | NEXT_INSTRUCTION(); |
2007 | } |
2008 | DEFINE_OPCODE(op_get_global_var) { |
2009 | /* get_global_var dst(r) globalObject(c) index(n) |
2010 | |
2011 | Gets the global var at global slot index and places it in register dst. |
2012 | */ |
2013 | int dst = vPC[1].u.operand; |
2014 | JSGlobalObject* scope = static_cast<JSGlobalObject*>(vPC[2].u.jsCell); |
2015 | ASSERT(scope->isGlobalObject()); |
2016 | int index = vPC[3].u.operand; |
2017 | |
2018 | callFrame->r(index: dst) = scope->registerAt(index); |
2019 | vPC += OPCODE_LENGTH(op_get_global_var); |
2020 | NEXT_INSTRUCTION(); |
2021 | } |
2022 | DEFINE_OPCODE(op_put_global_var) { |
2023 | /* put_global_var globalObject(c) index(n) value(r) |
2024 | |
2025 | Puts value into global slot index. |
2026 | */ |
2027 | JSGlobalObject* scope = static_cast<JSGlobalObject*>(vPC[1].u.jsCell); |
2028 | ASSERT(scope->isGlobalObject()); |
2029 | int index = vPC[2].u.operand; |
2030 | int value = vPC[3].u.operand; |
2031 | |
2032 | scope->registerAt(index) = JSValue(callFrame->r(index: value).jsValue()); |
2033 | vPC += OPCODE_LENGTH(op_put_global_var); |
2034 | NEXT_INSTRUCTION(); |
2035 | } |
2036 | DEFINE_OPCODE(op_get_scoped_var) { |
2037 | /* get_scoped_var dst(r) index(n) skip(n) |
2038 | |
2039 | Loads the contents of the index-th local from the scope skip nodes from |
2040 | the top of the scope chain, and places it in register dst |
2041 | */ |
2042 | int dst = vPC[1].u.operand; |
2043 | int index = vPC[2].u.operand; |
2044 | int skip = vPC[3].u.operand + callFrame->codeBlock()->needsFullScopeChain(); |
2045 | |
2046 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
2047 | ScopeChainIterator iter = scopeChain->begin(); |
2048 | ScopeChainIterator end = scopeChain->end(); |
2049 | ASSERT(iter != end); |
2050 | while (skip--) { |
2051 | ++iter; |
2052 | ASSERT(iter != end); |
2053 | } |
2054 | |
2055 | ASSERT((*iter)->isVariableObject()); |
2056 | JSVariableObject* scope = static_cast<JSVariableObject*>(*iter); |
2057 | callFrame->r(index: dst) = scope->registerAt(index); |
2058 | vPC += OPCODE_LENGTH(op_get_scoped_var); |
2059 | NEXT_INSTRUCTION(); |
2060 | } |
2061 | DEFINE_OPCODE(op_put_scoped_var) { |
2062 | /* put_scoped_var index(n) skip(n) value(r) |
2063 | |
2064 | */ |
2065 | int index = vPC[1].u.operand; |
2066 | int skip = vPC[2].u.operand + callFrame->codeBlock()->needsFullScopeChain(); |
2067 | int value = vPC[3].u.operand; |
2068 | |
2069 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
2070 | ScopeChainIterator iter = scopeChain->begin(); |
2071 | ScopeChainIterator end = scopeChain->end(); |
2072 | ASSERT(iter != end); |
2073 | while (skip--) { |
2074 | ++iter; |
2075 | ASSERT(iter != end); |
2076 | } |
2077 | |
2078 | ASSERT((*iter)->isVariableObject()); |
2079 | JSVariableObject* scope = static_cast<JSVariableObject*>(*iter); |
2080 | scope->registerAt(index) = JSValue(callFrame->r(index: value).jsValue()); |
2081 | vPC += OPCODE_LENGTH(op_put_scoped_var); |
2082 | NEXT_INSTRUCTION(); |
2083 | } |
2084 | DEFINE_OPCODE(op_resolve_base) { |
2085 | /* resolve_base dst(r) property(id) |
2086 | |
2087 | Searches the scope chain for an object containing |
2088 | identifier property, and if one is found, writes it to |
2089 | register dst. If none is found, the outermost scope (which |
2090 | will be the global object) is stored in register dst. |
2091 | */ |
2092 | resolveBase(callFrame, vPC); |
2093 | |
2094 | vPC += OPCODE_LENGTH(op_resolve_base); |
2095 | NEXT_INSTRUCTION(); |
2096 | } |
2097 | DEFINE_OPCODE(op_resolve_with_base) { |
2098 | /* resolve_with_base baseDst(r) propDst(r) property(id) |
2099 | |
2100 | Searches the scope chain for an object containing |
2101 | identifier property, and if one is found, writes it to |
2102 | register srcDst, and the retrieved property value to register |
2103 | propDst. If the property is not found, raises an exception. |
2104 | |
2105 | This is more efficient than doing resolve_base followed by |
2106 | resolve, or resolve_base followed by get_by_id, as it |
2107 | avoids duplicate hash lookups. |
2108 | */ |
2109 | if (UNLIKELY(!resolveBaseAndProperty(callFrame, vPC, exceptionValue))) |
2110 | goto vm_throw; |
2111 | |
2112 | vPC += OPCODE_LENGTH(op_resolve_with_base); |
2113 | NEXT_INSTRUCTION(); |
2114 | } |
2115 | DEFINE_OPCODE(op_get_by_id) { |
2116 | /* get_by_id dst(r) base(r) property(id) structure(sID) nop(n) nop(n) nop(n) |
2117 | |
2118 | Generic property access: Gets the property named by identifier |
2119 | property from the value base, and puts the result in register dst. |
2120 | */ |
2121 | int dst = vPC[1].u.operand; |
2122 | int base = vPC[2].u.operand; |
2123 | int property = vPC[3].u.operand; |
2124 | |
2125 | CodeBlock* codeBlock = callFrame->codeBlock(); |
2126 | Identifier& ident = codeBlock->identifier(index: property); |
2127 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2128 | PropertySlot slot(baseValue); |
2129 | JSValue result = baseValue.get(exec: callFrame, propertyName: ident, slot); |
2130 | CHECK_FOR_EXCEPTION(); |
2131 | |
2132 | tryCacheGetByID(callFrame, codeBlock, vPC, baseValue, propertyName: ident, slot); |
2133 | |
2134 | callFrame->r(index: dst) = result; |
2135 | vPC += OPCODE_LENGTH(op_get_by_id); |
2136 | NEXT_INSTRUCTION(); |
2137 | } |
2138 | DEFINE_OPCODE(op_get_by_id_self) { |
2139 | /* op_get_by_id_self dst(r) base(r) property(id) structure(sID) offset(n) nop(n) nop(n) |
2140 | |
2141 | Cached property access: Attempts to get a cached property from the |
2142 | value base. If the cache misses, op_get_by_id_self reverts to |
2143 | op_get_by_id. |
2144 | */ |
2145 | int base = vPC[2].u.operand; |
2146 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2147 | |
2148 | if (LIKELY(baseValue.isCell())) { |
2149 | JSCell* baseCell = asCell(value: baseValue); |
2150 | Structure* structure = vPC[4].u.structure; |
2151 | |
2152 | if (LIKELY(baseCell->structure() == structure)) { |
2153 | ASSERT(baseCell->isObject()); |
2154 | JSObject* baseObject = asObject(cell: baseCell); |
2155 | int dst = vPC[1].u.operand; |
2156 | int offset = vPC[5].u.operand; |
2157 | |
2158 | ASSERT(baseObject->get(callFrame, callFrame->codeBlock()->identifier(vPC[3].u.operand)) == baseObject->getDirectOffset(offset)); |
2159 | callFrame->r(index: dst) = JSValue(baseObject->getDirectOffset(offset)); |
2160 | |
2161 | vPC += OPCODE_LENGTH(op_get_by_id_self); |
2162 | NEXT_INSTRUCTION(); |
2163 | } |
2164 | } |
2165 | |
2166 | uncacheGetByID(codeBlock: callFrame->codeBlock(), vPC); |
2167 | NEXT_INSTRUCTION(); |
2168 | } |
2169 | DEFINE_OPCODE(op_get_by_id_proto) { |
2170 | /* op_get_by_id_proto dst(r) base(r) property(id) structure(sID) prototypeStructure(sID) offset(n) nop(n) |
2171 | |
2172 | Cached property access: Attempts to get a cached property from the |
2173 | value base's prototype. If the cache misses, op_get_by_id_proto |
2174 | reverts to op_get_by_id. |
2175 | */ |
2176 | int base = vPC[2].u.operand; |
2177 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2178 | |
2179 | if (LIKELY(baseValue.isCell())) { |
2180 | JSCell* baseCell = asCell(value: baseValue); |
2181 | Structure* structure = vPC[4].u.structure; |
2182 | |
2183 | if (LIKELY(baseCell->structure() == structure)) { |
2184 | ASSERT(structure->prototypeForLookup(callFrame).isObject()); |
2185 | JSObject* protoObject = asObject(value: structure->prototypeForLookup(exec: callFrame)); |
2186 | Structure* prototypeStructure = vPC[5].u.structure; |
2187 | |
2188 | if (LIKELY(protoObject->structure() == prototypeStructure)) { |
2189 | int dst = vPC[1].u.operand; |
2190 | int offset = vPC[6].u.operand; |
2191 | |
2192 | ASSERT(protoObject->get(callFrame, callFrame->codeBlock()->identifier(vPC[3].u.operand)) == protoObject->getDirectOffset(offset)); |
2193 | ASSERT(baseValue.get(callFrame, callFrame->codeBlock()->identifier(vPC[3].u.operand)) == protoObject->getDirectOffset(offset)); |
2194 | callFrame->r(index: dst) = JSValue(protoObject->getDirectOffset(offset)); |
2195 | |
2196 | vPC += OPCODE_LENGTH(op_get_by_id_proto); |
2197 | NEXT_INSTRUCTION(); |
2198 | } |
2199 | } |
2200 | } |
2201 | |
2202 | uncacheGetByID(codeBlock: callFrame->codeBlock(), vPC); |
2203 | NEXT_INSTRUCTION(); |
2204 | } |
2205 | DEFINE_OPCODE(op_get_by_id_self_list) { |
2206 | // Polymorphic self access caching currently only supported when JITting. |
2207 | ASSERT_NOT_REACHED(); |
2208 | // This case of the switch must not be empty, else (op_get_by_id_self_list == op_get_by_id_chain)! |
2209 | vPC += OPCODE_LENGTH(op_get_by_id_self_list); |
2210 | NEXT_INSTRUCTION(); |
2211 | } |
2212 | DEFINE_OPCODE(op_get_by_id_proto_list) { |
2213 | // Polymorphic prototype access caching currently only supported when JITting. |
2214 | ASSERT_NOT_REACHED(); |
2215 | // This case of the switch must not be empty, else (op_get_by_id_proto_list == op_get_by_id_chain)! |
2216 | vPC += OPCODE_LENGTH(op_get_by_id_proto_list); |
2217 | NEXT_INSTRUCTION(); |
2218 | } |
2219 | DEFINE_OPCODE(op_get_by_id_chain) { |
2220 | /* op_get_by_id_chain dst(r) base(r) property(id) structure(sID) structureChain(chain) count(n) offset(n) |
2221 | |
2222 | Cached property access: Attempts to get a cached property from the |
2223 | value base's prototype chain. If the cache misses, op_get_by_id_chain |
2224 | reverts to op_get_by_id. |
2225 | */ |
2226 | int base = vPC[2].u.operand; |
2227 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2228 | |
2229 | if (LIKELY(baseValue.isCell())) { |
2230 | JSCell* baseCell = asCell(value: baseValue); |
2231 | Structure* structure = vPC[4].u.structure; |
2232 | |
2233 | if (LIKELY(baseCell->structure() == structure)) { |
2234 | RefPtr<Structure>* it = vPC[5].u.structureChain->head(); |
2235 | size_t count = vPC[6].u.operand; |
2236 | RefPtr<Structure>* end = it + count; |
2237 | |
2238 | while (true) { |
2239 | JSObject* baseObject = asObject(value: baseCell->structure()->prototypeForLookup(exec: callFrame)); |
2240 | |
2241 | if (UNLIKELY(baseObject->structure() != (*it).get())) |
2242 | break; |
2243 | |
2244 | if (++it == end) { |
2245 | int dst = vPC[1].u.operand; |
2246 | int offset = vPC[7].u.operand; |
2247 | |
2248 | ASSERT(baseObject->get(callFrame, callFrame->codeBlock()->identifier(vPC[3].u.operand)) == baseObject->getDirectOffset(offset)); |
2249 | ASSERT(baseValue.get(callFrame, callFrame->codeBlock()->identifier(vPC[3].u.operand)) == baseObject->getDirectOffset(offset)); |
2250 | callFrame->r(index: dst) = JSValue(baseObject->getDirectOffset(offset)); |
2251 | |
2252 | vPC += OPCODE_LENGTH(op_get_by_id_chain); |
2253 | NEXT_INSTRUCTION(); |
2254 | } |
2255 | |
2256 | // Update baseCell, so that next time around the loop we'll pick up the prototype's prototype. |
2257 | baseCell = baseObject; |
2258 | } |
2259 | } |
2260 | } |
2261 | |
2262 | uncacheGetByID(codeBlock: callFrame->codeBlock(), vPC); |
2263 | NEXT_INSTRUCTION(); |
2264 | } |
2265 | DEFINE_OPCODE(op_get_by_id_generic) { |
2266 | /* op_get_by_id_generic dst(r) base(r) property(id) nop(sID) nop(n) nop(n) nop(n) |
2267 | |
2268 | Generic property access: Gets the property named by identifier |
2269 | property from the value base, and puts the result in register dst. |
2270 | */ |
2271 | int dst = vPC[1].u.operand; |
2272 | int base = vPC[2].u.operand; |
2273 | int property = vPC[3].u.operand; |
2274 | |
2275 | Identifier& ident = callFrame->codeBlock()->identifier(index: property); |
2276 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2277 | PropertySlot slot(baseValue); |
2278 | JSValue result = baseValue.get(exec: callFrame, propertyName: ident, slot); |
2279 | CHECK_FOR_EXCEPTION(); |
2280 | |
2281 | callFrame->r(index: dst) = result; |
2282 | vPC += OPCODE_LENGTH(op_get_by_id_generic); |
2283 | NEXT_INSTRUCTION(); |
2284 | } |
2285 | DEFINE_OPCODE(op_get_array_length) { |
2286 | /* op_get_array_length dst(r) base(r) property(id) nop(sID) nop(n) nop(n) nop(n) |
2287 | |
2288 | Cached property access: Gets the length of the array in register base, |
2289 | and puts the result in register dst. If register base does not hold |
2290 | an array, op_get_array_length reverts to op_get_by_id. |
2291 | */ |
2292 | |
2293 | int base = vPC[2].u.operand; |
2294 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2295 | if (LIKELY(isJSArray(globalData, baseValue))) { |
2296 | int dst = vPC[1].u.operand; |
2297 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: asArray(value: baseValue)->length()); |
2298 | vPC += OPCODE_LENGTH(op_get_array_length); |
2299 | NEXT_INSTRUCTION(); |
2300 | } |
2301 | |
2302 | uncacheGetByID(codeBlock: callFrame->codeBlock(), vPC); |
2303 | NEXT_INSTRUCTION(); |
2304 | } |
2305 | DEFINE_OPCODE(op_get_string_length) { |
2306 | /* op_get_string_length dst(r) base(r) property(id) nop(sID) nop(n) nop(n) nop(n) |
2307 | |
2308 | Cached property access: Gets the length of the string in register base, |
2309 | and puts the result in register dst. If register base does not hold |
2310 | a string, op_get_string_length reverts to op_get_by_id. |
2311 | */ |
2312 | |
2313 | int base = vPC[2].u.operand; |
2314 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2315 | if (LIKELY(isJSString(globalData, baseValue))) { |
2316 | int dst = vPC[1].u.operand; |
2317 | callFrame->r(index: dst) = jsNumber(exec: callFrame, i: asString(value: baseValue)->length()); |
2318 | vPC += OPCODE_LENGTH(op_get_string_length); |
2319 | NEXT_INSTRUCTION(); |
2320 | } |
2321 | |
2322 | uncacheGetByID(codeBlock: callFrame->codeBlock(), vPC); |
2323 | NEXT_INSTRUCTION(); |
2324 | } |
2325 | DEFINE_OPCODE(op_put_by_id) { |
2326 | /* put_by_id base(r) property(id) value(r) nop(n) nop(n) nop(n) nop(n) |
2327 | |
2328 | Generic property access: Sets the property named by identifier |
2329 | property, belonging to register base, to register value. |
2330 | |
2331 | Unlike many opcodes, this one does not write any output to |
2332 | the register file. |
2333 | */ |
2334 | |
2335 | int base = vPC[1].u.operand; |
2336 | int property = vPC[2].u.operand; |
2337 | int value = vPC[3].u.operand; |
2338 | |
2339 | CodeBlock* codeBlock = callFrame->codeBlock(); |
2340 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2341 | Identifier& ident = codeBlock->identifier(index: property); |
2342 | PutPropertySlot slot; |
2343 | baseValue.put(exec: callFrame, propertyName: ident, value: callFrame->r(index: value).jsValue(), slot); |
2344 | CHECK_FOR_EXCEPTION(); |
2345 | |
2346 | tryCachePutByID(callFrame, codeBlock, vPC, baseValue, slot); |
2347 | |
2348 | vPC += OPCODE_LENGTH(op_put_by_id); |
2349 | NEXT_INSTRUCTION(); |
2350 | } |
2351 | DEFINE_OPCODE(op_put_by_id_transition) { |
2352 | /* op_put_by_id_transition base(r) property(id) value(r) oldStructure(sID) newStructure(sID) structureChain(chain) offset(n) |
2353 | |
2354 | Cached property access: Attempts to set a new property with a cached transition |
2355 | property named by identifier property, belonging to register base, |
2356 | to register value. If the cache misses, op_put_by_id_transition |
2357 | reverts to op_put_by_id_generic. |
2358 | |
2359 | Unlike many opcodes, this one does not write any output to |
2360 | the register file. |
2361 | */ |
2362 | int base = vPC[1].u.operand; |
2363 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2364 | |
2365 | if (LIKELY(baseValue.isCell())) { |
2366 | JSCell* baseCell = asCell(value: baseValue); |
2367 | Structure* oldStructure = vPC[4].u.structure; |
2368 | Structure* newStructure = vPC[5].u.structure; |
2369 | |
2370 | if (LIKELY(baseCell->structure() == oldStructure)) { |
2371 | ASSERT(baseCell->isObject()); |
2372 | JSObject* baseObject = asObject(cell: baseCell); |
2373 | |
2374 | RefPtr<Structure>* it = vPC[6].u.structureChain->head(); |
2375 | |
2376 | JSValue proto = baseObject->structure()->prototypeForLookup(exec: callFrame); |
2377 | while (!proto.isNull()) { |
2378 | if (UNLIKELY(asObject(proto)->structure() != (*it).get())) { |
2379 | uncachePutByID(codeBlock: callFrame->codeBlock(), vPC); |
2380 | NEXT_INSTRUCTION(); |
2381 | } |
2382 | ++it; |
2383 | proto = asObject(value: proto)->structure()->prototypeForLookup(exec: callFrame); |
2384 | } |
2385 | |
2386 | baseObject->transitionTo(newStructure); |
2387 | |
2388 | int value = vPC[3].u.operand; |
2389 | unsigned offset = vPC[7].u.operand; |
2390 | ASSERT(baseObject->offsetForLocation(baseObject->getDirectLocation(callFrame->codeBlock()->identifier(vPC[2].u.operand))) == offset); |
2391 | baseObject->putDirectOffset(offset, value: callFrame->r(index: value).jsValue()); |
2392 | |
2393 | vPC += OPCODE_LENGTH(op_put_by_id_transition); |
2394 | NEXT_INSTRUCTION(); |
2395 | } |
2396 | } |
2397 | |
2398 | uncachePutByID(codeBlock: callFrame->codeBlock(), vPC); |
2399 | NEXT_INSTRUCTION(); |
2400 | } |
2401 | DEFINE_OPCODE(op_put_by_id_replace) { |
2402 | /* op_put_by_id_replace base(r) property(id) value(r) structure(sID) offset(n) nop(n) nop(n) |
2403 | |
2404 | Cached property access: Attempts to set a pre-existing, cached |
2405 | property named by identifier property, belonging to register base, |
2406 | to register value. If the cache misses, op_put_by_id_replace |
2407 | reverts to op_put_by_id. |
2408 | |
2409 | Unlike many opcodes, this one does not write any output to |
2410 | the register file. |
2411 | */ |
2412 | int base = vPC[1].u.operand; |
2413 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2414 | |
2415 | if (LIKELY(baseValue.isCell())) { |
2416 | JSCell* baseCell = asCell(value: baseValue); |
2417 | Structure* structure = vPC[4].u.structure; |
2418 | |
2419 | if (LIKELY(baseCell->structure() == structure)) { |
2420 | ASSERT(baseCell->isObject()); |
2421 | JSObject* baseObject = asObject(cell: baseCell); |
2422 | int value = vPC[3].u.operand; |
2423 | unsigned offset = vPC[5].u.operand; |
2424 | |
2425 | ASSERT(baseObject->offsetForLocation(baseObject->getDirectLocation(callFrame->codeBlock()->identifier(vPC[2].u.operand))) == offset); |
2426 | baseObject->putDirectOffset(offset, value: callFrame->r(index: value).jsValue()); |
2427 | |
2428 | vPC += OPCODE_LENGTH(op_put_by_id_replace); |
2429 | NEXT_INSTRUCTION(); |
2430 | } |
2431 | } |
2432 | |
2433 | uncachePutByID(codeBlock: callFrame->codeBlock(), vPC); |
2434 | NEXT_INSTRUCTION(); |
2435 | } |
2436 | DEFINE_OPCODE(op_put_by_id_generic) { |
2437 | /* op_put_by_id_generic base(r) property(id) value(r) nop(n) nop(n) nop(n) nop(n) |
2438 | |
2439 | Generic property access: Sets the property named by identifier |
2440 | property, belonging to register base, to register value. |
2441 | |
2442 | Unlike many opcodes, this one does not write any output to |
2443 | the register file. |
2444 | */ |
2445 | int base = vPC[1].u.operand; |
2446 | int property = vPC[2].u.operand; |
2447 | int value = vPC[3].u.operand; |
2448 | |
2449 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2450 | Identifier& ident = callFrame->codeBlock()->identifier(index: property); |
2451 | PutPropertySlot slot; |
2452 | baseValue.put(exec: callFrame, propertyName: ident, value: callFrame->r(index: value).jsValue(), slot); |
2453 | CHECK_FOR_EXCEPTION(); |
2454 | |
2455 | vPC += OPCODE_LENGTH(op_put_by_id_generic); |
2456 | NEXT_INSTRUCTION(); |
2457 | } |
2458 | DEFINE_OPCODE(op_del_by_id) { |
2459 | /* del_by_id dst(r) base(r) property(id) |
2460 | |
2461 | Converts register base to Object, deletes the property |
2462 | named by identifier property from the object, and writes a |
2463 | boolean indicating success (if true) or failure (if false) |
2464 | to register dst. |
2465 | */ |
2466 | int dst = vPC[1].u.operand; |
2467 | int base = vPC[2].u.operand; |
2468 | int property = vPC[3].u.operand; |
2469 | |
2470 | JSObject* baseObj = callFrame->r(index: base).jsValue().toObject(exec: callFrame); |
2471 | Identifier& ident = callFrame->codeBlock()->identifier(index: property); |
2472 | JSValue result = jsBoolean(b: baseObj->deleteProperty(callFrame, propertyName: ident)); |
2473 | CHECK_FOR_EXCEPTION(); |
2474 | callFrame->r(index: dst) = result; |
2475 | vPC += OPCODE_LENGTH(op_del_by_id); |
2476 | NEXT_INSTRUCTION(); |
2477 | } |
2478 | DEFINE_OPCODE(op_get_by_pname) { |
2479 | int dst = vPC[1].u.operand; |
2480 | int base = vPC[2].u.operand; |
2481 | int property = vPC[3].u.operand; |
2482 | int expected = vPC[4].u.operand; |
2483 | int iter = vPC[5].u.operand; |
2484 | int i = vPC[6].u.operand; |
2485 | |
2486 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2487 | JSPropertyNameIterator* it = callFrame->r(index: iter).propertyNameIterator(); |
2488 | JSValue subscript = callFrame->r(index: property).jsValue(); |
2489 | JSValue expectedSubscript = callFrame->r(index: expected).jsValue(); |
2490 | int index = callFrame->r(index: i).i() - 1; |
2491 | JSValue result; |
2492 | int offset = 0; |
2493 | if (subscript == expectedSubscript && baseValue.isCell() && (baseValue.asCell()->structure() == it->cachedStructure()) && it->getOffset(i: index, offset)) { |
2494 | callFrame->r(index: dst) = asObject(value: baseValue)->getDirectOffset(offset); |
2495 | vPC += OPCODE_LENGTH(op_get_by_pname); |
2496 | NEXT_INSTRUCTION(); |
2497 | } |
2498 | { |
2499 | Identifier propertyName(callFrame, subscript.toString(exec: callFrame)); |
2500 | result = baseValue.get(exec: callFrame, propertyName); |
2501 | } |
2502 | CHECK_FOR_EXCEPTION(); |
2503 | callFrame->r(index: dst) = result; |
2504 | vPC += OPCODE_LENGTH(op_get_by_pname); |
2505 | NEXT_INSTRUCTION(); |
2506 | } |
2507 | DEFINE_OPCODE(op_get_by_val) { |
2508 | /* get_by_val dst(r) base(r) property(r) |
2509 | |
2510 | Converts register base to Object, gets the property named |
2511 | by register property from the object, and puts the result |
2512 | in register dst. property is nominally converted to string |
2513 | but numbers are treated more efficiently. |
2514 | */ |
2515 | int dst = vPC[1].u.operand; |
2516 | int base = vPC[2].u.operand; |
2517 | int property = vPC[3].u.operand; |
2518 | |
2519 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2520 | JSValue subscript = callFrame->r(index: property).jsValue(); |
2521 | |
2522 | JSValue result; |
2523 | |
2524 | if (LIKELY(subscript.isUInt32())) { |
2525 | uint32_t i = subscript.asUInt32(); |
2526 | if (isJSArray(globalData, v: baseValue)) { |
2527 | JSArray* jsArray = asArray(value: baseValue); |
2528 | if (jsArray->canGetIndex(i)) |
2529 | result = jsArray->getIndex(i); |
2530 | else |
2531 | result = jsArray->JSArray::get(exec: callFrame, propertyName: i); |
2532 | } else if (isJSString(globalData, v: baseValue) && asString(value: baseValue)->canGetIndex(i)) |
2533 | result = asString(value: baseValue)->getIndex(exec: callFrame, i); |
2534 | else if (isJSByteArray(globalData, v: baseValue) && asByteArray(value: baseValue)->canAccessIndex(i)) |
2535 | result = asByteArray(value: baseValue)->getIndex(exec: callFrame, i); |
2536 | else |
2537 | result = baseValue.get(exec: callFrame, propertyName: i); |
2538 | } else { |
2539 | Identifier property(callFrame, subscript.toString(exec: callFrame)); |
2540 | result = baseValue.get(exec: callFrame, propertyName: property); |
2541 | } |
2542 | |
2543 | CHECK_FOR_EXCEPTION(); |
2544 | callFrame->r(index: dst) = result; |
2545 | vPC += OPCODE_LENGTH(op_get_by_val); |
2546 | NEXT_INSTRUCTION(); |
2547 | } |
2548 | DEFINE_OPCODE(op_put_by_val) { |
2549 | /* put_by_val base(r) property(r) value(r) |
2550 | |
2551 | Sets register value on register base as the property named |
2552 | by register property. Base is converted to object |
2553 | first. register property is nominally converted to string |
2554 | but numbers are treated more efficiently. |
2555 | |
2556 | Unlike many opcodes, this one does not write any output to |
2557 | the register file. |
2558 | */ |
2559 | int base = vPC[1].u.operand; |
2560 | int property = vPC[2].u.operand; |
2561 | int value = vPC[3].u.operand; |
2562 | |
2563 | JSValue baseValue = callFrame->r(index: base).jsValue(); |
2564 | JSValue subscript = callFrame->r(index: property).jsValue(); |
2565 | |
2566 | if (LIKELY(subscript.isUInt32())) { |
2567 | uint32_t i = subscript.asUInt32(); |
2568 | if (isJSArray(globalData, v: baseValue)) { |
2569 | JSArray* jsArray = asArray(value: baseValue); |
2570 | if (jsArray->canSetIndex(i)) |
2571 | jsArray->setIndex(i, v: callFrame->r(index: value).jsValue()); |
2572 | else |
2573 | jsArray->JSArray::put(callFrame, propertyName: i, callFrame->r(index: value).jsValue()); |
2574 | } else if (isJSByteArray(globalData, v: baseValue) && asByteArray(value: baseValue)->canAccessIndex(i)) { |
2575 | JSByteArray* jsByteArray = asByteArray(value: baseValue); |
2576 | double dValue = 0; |
2577 | JSValue jsValue = callFrame->r(index: value).jsValue(); |
2578 | if (jsValue.isInt32()) |
2579 | jsByteArray->setIndex(i, value: jsValue.asInt32()); |
2580 | else if (jsValue.getNumber(result&: dValue)) |
2581 | jsByteArray->setIndex(i, value: dValue); |
2582 | else |
2583 | baseValue.put(exec: callFrame, propertyName: i, value: jsValue); |
2584 | } else |
2585 | baseValue.put(exec: callFrame, propertyName: i, value: callFrame->r(index: value).jsValue()); |
2586 | } else { |
2587 | Identifier property(callFrame, subscript.toString(exec: callFrame)); |
2588 | if (!globalData->exception) { // Don't put to an object if toString threw an exception. |
2589 | PutPropertySlot slot; |
2590 | baseValue.put(exec: callFrame, propertyName: property, value: callFrame->r(index: value).jsValue(), slot); |
2591 | } |
2592 | } |
2593 | |
2594 | CHECK_FOR_EXCEPTION(); |
2595 | vPC += OPCODE_LENGTH(op_put_by_val); |
2596 | NEXT_INSTRUCTION(); |
2597 | } |
2598 | DEFINE_OPCODE(op_del_by_val) { |
2599 | /* del_by_val dst(r) base(r) property(r) |
2600 | |
2601 | Converts register base to Object, deletes the property |
2602 | named by register property from the object, and writes a |
2603 | boolean indicating success (if true) or failure (if false) |
2604 | to register dst. |
2605 | */ |
2606 | int dst = vPC[1].u.operand; |
2607 | int base = vPC[2].u.operand; |
2608 | int property = vPC[3].u.operand; |
2609 | |
2610 | JSObject* baseObj = callFrame->r(index: base).jsValue().toObject(exec: callFrame); // may throw |
2611 | |
2612 | JSValue subscript = callFrame->r(index: property).jsValue(); |
2613 | JSValue result; |
2614 | uint32_t i; |
2615 | if (subscript.getUInt32(v&: i)) |
2616 | result = jsBoolean(b: baseObj->deleteProperty(callFrame, propertyName: i)); |
2617 | else { |
2618 | CHECK_FOR_EXCEPTION(); |
2619 | Identifier property(callFrame, subscript.toString(exec: callFrame)); |
2620 | CHECK_FOR_EXCEPTION(); |
2621 | result = jsBoolean(b: baseObj->deleteProperty(callFrame, propertyName: property)); |
2622 | } |
2623 | |
2624 | CHECK_FOR_EXCEPTION(); |
2625 | callFrame->r(index: dst) = result; |
2626 | vPC += OPCODE_LENGTH(op_del_by_val); |
2627 | NEXT_INSTRUCTION(); |
2628 | } |
2629 | DEFINE_OPCODE(op_put_by_index) { |
2630 | /* put_by_index base(r) property(n) value(r) |
2631 | |
2632 | Sets register value on register base as the property named |
2633 | by the immediate number property. Base is converted to |
2634 | object first. |
2635 | |
2636 | Unlike many opcodes, this one does not write any output to |
2637 | the register file. |
2638 | |
2639 | This opcode is mainly used to initialize array literals. |
2640 | */ |
2641 | int base = vPC[1].u.operand; |
2642 | unsigned property = vPC[2].u.operand; |
2643 | int value = vPC[3].u.operand; |
2644 | |
2645 | callFrame->r(index: base).jsValue().put(exec: callFrame, propertyName: property, value: callFrame->r(index: value).jsValue()); |
2646 | |
2647 | vPC += OPCODE_LENGTH(op_put_by_index); |
2648 | NEXT_INSTRUCTION(); |
2649 | } |
2650 | DEFINE_OPCODE(op_loop) { |
2651 | /* loop target(offset) |
2652 | |
2653 | Jumps unconditionally to offset target from the current |
2654 | instruction. |
2655 | |
2656 | Additionally this loop instruction may terminate JS execution is |
2657 | the JS timeout is reached. |
2658 | */ |
2659 | #if ENABLE(OPCODE_STATS) |
2660 | OpcodeStats::resetLastInstruction(); |
2661 | #endif |
2662 | int target = vPC[1].u.operand; |
2663 | CHECK_FOR_TIMEOUT(); |
2664 | vPC += target; |
2665 | NEXT_INSTRUCTION(); |
2666 | } |
2667 | DEFINE_OPCODE(op_jmp) { |
2668 | /* jmp target(offset) |
2669 | |
2670 | Jumps unconditionally to offset target from the current |
2671 | instruction. |
2672 | */ |
2673 | #if ENABLE(OPCODE_STATS) |
2674 | OpcodeStats::resetLastInstruction(); |
2675 | #endif |
2676 | int target = vPC[1].u.operand; |
2677 | |
2678 | vPC += target; |
2679 | NEXT_INSTRUCTION(); |
2680 | } |
2681 | DEFINE_OPCODE(op_loop_if_true) { |
2682 | /* loop_if_true cond(r) target(offset) |
2683 | |
2684 | Jumps to offset target from the current instruction, if and |
2685 | only if register cond converts to boolean as true. |
2686 | |
2687 | Additionally this loop instruction may terminate JS execution is |
2688 | the JS timeout is reached. |
2689 | */ |
2690 | int cond = vPC[1].u.operand; |
2691 | int target = vPC[2].u.operand; |
2692 | if (callFrame->r(index: cond).jsValue().toBoolean(exec: callFrame)) { |
2693 | vPC += target; |
2694 | CHECK_FOR_TIMEOUT(); |
2695 | NEXT_INSTRUCTION(); |
2696 | } |
2697 | |
2698 | vPC += OPCODE_LENGTH(op_loop_if_true); |
2699 | NEXT_INSTRUCTION(); |
2700 | } |
2701 | DEFINE_OPCODE(op_loop_if_false) { |
2702 | /* loop_if_true cond(r) target(offset) |
2703 | |
2704 | Jumps to offset target from the current instruction, if and |
2705 | only if register cond converts to boolean as false. |
2706 | |
2707 | Additionally this loop instruction may terminate JS execution is |
2708 | the JS timeout is reached. |
2709 | */ |
2710 | int cond = vPC[1].u.operand; |
2711 | int target = vPC[2].u.operand; |
2712 | if (!callFrame->r(index: cond).jsValue().toBoolean(exec: callFrame)) { |
2713 | vPC += target; |
2714 | CHECK_FOR_TIMEOUT(); |
2715 | NEXT_INSTRUCTION(); |
2716 | } |
2717 | |
2718 | vPC += OPCODE_LENGTH(op_loop_if_true); |
2719 | NEXT_INSTRUCTION(); |
2720 | } |
2721 | DEFINE_OPCODE(op_jtrue) { |
2722 | /* jtrue cond(r) target(offset) |
2723 | |
2724 | Jumps to offset target from the current instruction, if and |
2725 | only if register cond converts to boolean as true. |
2726 | */ |
2727 | int cond = vPC[1].u.operand; |
2728 | int target = vPC[2].u.operand; |
2729 | if (callFrame->r(index: cond).jsValue().toBoolean(exec: callFrame)) { |
2730 | vPC += target; |
2731 | NEXT_INSTRUCTION(); |
2732 | } |
2733 | |
2734 | vPC += OPCODE_LENGTH(op_jtrue); |
2735 | NEXT_INSTRUCTION(); |
2736 | } |
2737 | DEFINE_OPCODE(op_jfalse) { |
2738 | /* jfalse cond(r) target(offset) |
2739 | |
2740 | Jumps to offset target from the current instruction, if and |
2741 | only if register cond converts to boolean as false. |
2742 | */ |
2743 | int cond = vPC[1].u.operand; |
2744 | int target = vPC[2].u.operand; |
2745 | if (!callFrame->r(index: cond).jsValue().toBoolean(exec: callFrame)) { |
2746 | vPC += target; |
2747 | NEXT_INSTRUCTION(); |
2748 | } |
2749 | |
2750 | vPC += OPCODE_LENGTH(op_jfalse); |
2751 | NEXT_INSTRUCTION(); |
2752 | } |
2753 | DEFINE_OPCODE(op_jeq_null) { |
2754 | /* jeq_null src(r) target(offset) |
2755 | |
2756 | Jumps to offset target from the current instruction, if and |
2757 | only if register src is null. |
2758 | */ |
2759 | int src = vPC[1].u.operand; |
2760 | int target = vPC[2].u.operand; |
2761 | JSValue srcValue = callFrame->r(index: src).jsValue(); |
2762 | |
2763 | if (srcValue.isUndefinedOrNull() || (srcValue.isCell() && srcValue.asCell()->structure()->typeInfo().masqueradesAsUndefined())) { |
2764 | vPC += target; |
2765 | NEXT_INSTRUCTION(); |
2766 | } |
2767 | |
2768 | vPC += OPCODE_LENGTH(op_jeq_null); |
2769 | NEXT_INSTRUCTION(); |
2770 | } |
2771 | DEFINE_OPCODE(op_jneq_null) { |
2772 | /* jneq_null src(r) target(offset) |
2773 | |
2774 | Jumps to offset target from the current instruction, if and |
2775 | only if register src is not null. |
2776 | */ |
2777 | int src = vPC[1].u.operand; |
2778 | int target = vPC[2].u.operand; |
2779 | JSValue srcValue = callFrame->r(index: src).jsValue(); |
2780 | |
2781 | if (!srcValue.isUndefinedOrNull() && (!srcValue.isCell() || !srcValue.asCell()->structure()->typeInfo().masqueradesAsUndefined())) { |
2782 | vPC += target; |
2783 | NEXT_INSTRUCTION(); |
2784 | } |
2785 | |
2786 | vPC += OPCODE_LENGTH(op_jneq_null); |
2787 | NEXT_INSTRUCTION(); |
2788 | } |
2789 | DEFINE_OPCODE(op_jneq_ptr) { |
2790 | /* jneq_ptr src(r) ptr(jsCell) target(offset) |
2791 | |
2792 | Jumps to offset target from the current instruction, if the value r is equal |
2793 | to ptr, using pointer equality. |
2794 | */ |
2795 | int src = vPC[1].u.operand; |
2796 | JSValue ptr = JSValue(vPC[2].u.jsCell); |
2797 | int target = vPC[3].u.operand; |
2798 | JSValue srcValue = callFrame->r(index: src).jsValue(); |
2799 | if (srcValue != ptr) { |
2800 | vPC += target; |
2801 | NEXT_INSTRUCTION(); |
2802 | } |
2803 | |
2804 | vPC += OPCODE_LENGTH(op_jneq_ptr); |
2805 | NEXT_INSTRUCTION(); |
2806 | } |
2807 | DEFINE_OPCODE(op_loop_if_less) { |
2808 | /* loop_if_less src1(r) src2(r) target(offset) |
2809 | |
2810 | Checks whether register src1 is less than register src2, as |
2811 | with the ECMAScript '<' operator, and then jumps to offset |
2812 | target from the current instruction, if and only if the |
2813 | result of the comparison is true. |
2814 | |
2815 | Additionally this loop instruction may terminate JS execution is |
2816 | the JS timeout is reached. |
2817 | */ |
2818 | JSValue src1 = callFrame->r(index: vPC[1].u.operand).jsValue(); |
2819 | JSValue src2 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
2820 | int target = vPC[3].u.operand; |
2821 | |
2822 | bool result = jsLess(callFrame, v1: src1, v2: src2); |
2823 | CHECK_FOR_EXCEPTION(); |
2824 | |
2825 | if (result) { |
2826 | vPC += target; |
2827 | CHECK_FOR_TIMEOUT(); |
2828 | NEXT_INSTRUCTION(); |
2829 | } |
2830 | |
2831 | vPC += OPCODE_LENGTH(op_loop_if_less); |
2832 | NEXT_INSTRUCTION(); |
2833 | } |
2834 | DEFINE_OPCODE(op_loop_if_lesseq) { |
2835 | /* loop_if_lesseq src1(r) src2(r) target(offset) |
2836 | |
2837 | Checks whether register src1 is less than or equal to register |
2838 | src2, as with the ECMAScript '<=' operator, and then jumps to |
2839 | offset target from the current instruction, if and only if the |
2840 | result of the comparison is true. |
2841 | |
2842 | Additionally this loop instruction may terminate JS execution is |
2843 | the JS timeout is reached. |
2844 | */ |
2845 | JSValue src1 = callFrame->r(index: vPC[1].u.operand).jsValue(); |
2846 | JSValue src2 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
2847 | int target = vPC[3].u.operand; |
2848 | |
2849 | bool result = jsLessEq(callFrame, v1: src1, v2: src2); |
2850 | CHECK_FOR_EXCEPTION(); |
2851 | |
2852 | if (result) { |
2853 | vPC += target; |
2854 | CHECK_FOR_TIMEOUT(); |
2855 | NEXT_INSTRUCTION(); |
2856 | } |
2857 | |
2858 | vPC += OPCODE_LENGTH(op_loop_if_lesseq); |
2859 | NEXT_INSTRUCTION(); |
2860 | } |
2861 | DEFINE_OPCODE(op_jnless) { |
2862 | /* jnless src1(r) src2(r) target(offset) |
2863 | |
2864 | Checks whether register src1 is less than register src2, as |
2865 | with the ECMAScript '<' operator, and then jumps to offset |
2866 | target from the current instruction, if and only if the |
2867 | result of the comparison is false. |
2868 | */ |
2869 | JSValue src1 = callFrame->r(index: vPC[1].u.operand).jsValue(); |
2870 | JSValue src2 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
2871 | int target = vPC[3].u.operand; |
2872 | |
2873 | bool result = jsLess(callFrame, v1: src1, v2: src2); |
2874 | CHECK_FOR_EXCEPTION(); |
2875 | |
2876 | if (!result) { |
2877 | vPC += target; |
2878 | NEXT_INSTRUCTION(); |
2879 | } |
2880 | |
2881 | vPC += OPCODE_LENGTH(op_jnless); |
2882 | NEXT_INSTRUCTION(); |
2883 | } |
2884 | DEFINE_OPCODE(op_jless) { |
2885 | /* jless src1(r) src2(r) target(offset) |
2886 | |
2887 | Checks whether register src1 is less than register src2, as |
2888 | with the ECMAScript '<' operator, and then jumps to offset |
2889 | target from the current instruction, if and only if the |
2890 | result of the comparison is true. |
2891 | */ |
2892 | JSValue src1 = callFrame->r(index: vPC[1].u.operand).jsValue(); |
2893 | JSValue src2 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
2894 | int target = vPC[3].u.operand; |
2895 | |
2896 | bool result = jsLess(callFrame, v1: src1, v2: src2); |
2897 | CHECK_FOR_EXCEPTION(); |
2898 | |
2899 | if (result) { |
2900 | vPC += target; |
2901 | NEXT_INSTRUCTION(); |
2902 | } |
2903 | |
2904 | vPC += OPCODE_LENGTH(op_jless); |
2905 | NEXT_INSTRUCTION(); |
2906 | } |
2907 | DEFINE_OPCODE(op_jnlesseq) { |
2908 | /* jnlesseq src1(r) src2(r) target(offset) |
2909 | |
2910 | Checks whether register src1 is less than or equal to |
2911 | register src2, as with the ECMAScript '<=' operator, |
2912 | and then jumps to offset target from the current instruction, |
2913 | if and only if theresult of the comparison is false. |
2914 | */ |
2915 | JSValue src1 = callFrame->r(index: vPC[1].u.operand).jsValue(); |
2916 | JSValue src2 = callFrame->r(index: vPC[2].u.operand).jsValue(); |
2917 | int target = vPC[3].u.operand; |
2918 | |
2919 | bool result = jsLessEq(callFrame, v1: src1, v2: src2); |
2920 | CHECK_FOR_EXCEPTION(); |
2921 | |
2922 | if (!result) { |
2923 | vPC += target; |
2924 | NEXT_INSTRUCTION(); |
2925 | } |
2926 | |
2927 | vPC += OPCODE_LENGTH(op_jnlesseq); |
2928 | NEXT_INSTRUCTION(); |
2929 | } |
2930 | DEFINE_OPCODE(op_switch_imm) { |
2931 | /* switch_imm tableIndex(n) defaultOffset(offset) scrutinee(r) |
2932 | |
2933 | Performs a range checked switch on the scrutinee value, using |
2934 | the tableIndex-th immediate switch jump table. If the scrutinee value |
2935 | is an immediate number in the range covered by the referenced jump |
2936 | table, and the value at jumpTable[scrutinee value] is non-zero, then |
2937 | that value is used as the jump offset, otherwise defaultOffset is used. |
2938 | */ |
2939 | int tableIndex = vPC[1].u.operand; |
2940 | int defaultOffset = vPC[2].u.operand; |
2941 | JSValue scrutinee = callFrame->r(index: vPC[3].u.operand).jsValue(); |
2942 | if (scrutinee.isInt32()) |
2943 | vPC += callFrame->codeBlock()->immediateSwitchJumpTable(tableIndex).offsetForValue(value: scrutinee.asInt32(), defaultOffset); |
2944 | else { |
2945 | double value; |
2946 | int32_t intValue; |
2947 | if (scrutinee.getNumber(result&: value) && ((intValue = static_cast<int32_t>(value)) == value)) |
2948 | vPC += callFrame->codeBlock()->immediateSwitchJumpTable(tableIndex).offsetForValue(value: intValue, defaultOffset); |
2949 | else |
2950 | vPC += defaultOffset; |
2951 | } |
2952 | NEXT_INSTRUCTION(); |
2953 | } |
2954 | DEFINE_OPCODE(op_switch_char) { |
2955 | /* switch_char tableIndex(n) defaultOffset(offset) scrutinee(r) |
2956 | |
2957 | Performs a range checked switch on the scrutinee value, using |
2958 | the tableIndex-th character switch jump table. If the scrutinee value |
2959 | is a single character string in the range covered by the referenced jump |
2960 | table, and the value at jumpTable[scrutinee value] is non-zero, then |
2961 | that value is used as the jump offset, otherwise defaultOffset is used. |
2962 | */ |
2963 | int tableIndex = vPC[1].u.operand; |
2964 | int defaultOffset = vPC[2].u.operand; |
2965 | JSValue scrutinee = callFrame->r(index: vPC[3].u.operand).jsValue(); |
2966 | if (!scrutinee.isString()) |
2967 | vPC += defaultOffset; |
2968 | else { |
2969 | UString::Rep* value = asString(value: scrutinee)->value(exec: callFrame).rep(); |
2970 | if (value->size() != 1) |
2971 | vPC += defaultOffset; |
2972 | else |
2973 | vPC += callFrame->codeBlock()->characterSwitchJumpTable(tableIndex).offsetForValue(value: value->data()[0], defaultOffset); |
2974 | } |
2975 | NEXT_INSTRUCTION(); |
2976 | } |
2977 | DEFINE_OPCODE(op_switch_string) { |
2978 | /* switch_string tableIndex(n) defaultOffset(offset) scrutinee(r) |
2979 | |
2980 | Performs a sparse hashmap based switch on the value in the scrutinee |
2981 | register, using the tableIndex-th string switch jump table. If the |
2982 | scrutinee value is a string that exists as a key in the referenced |
2983 | jump table, then the value associated with the string is used as the |
2984 | jump offset, otherwise defaultOffset is used. |
2985 | */ |
2986 | int tableIndex = vPC[1].u.operand; |
2987 | int defaultOffset = vPC[2].u.operand; |
2988 | JSValue scrutinee = callFrame->r(index: vPC[3].u.operand).jsValue(); |
2989 | if (!scrutinee.isString()) |
2990 | vPC += defaultOffset; |
2991 | else |
2992 | vPC += callFrame->codeBlock()->stringSwitchJumpTable(tableIndex).offsetForValue(value: asString(value: scrutinee)->value(exec: callFrame).rep(), defaultOffset); |
2993 | NEXT_INSTRUCTION(); |
2994 | } |
2995 | DEFINE_OPCODE(op_new_func) { |
2996 | /* new_func dst(r) func(f) |
2997 | |
2998 | Constructs a new Function instance from function func and |
2999 | the current scope chain using the original Function |
3000 | constructor, using the rules for function declarations, and |
3001 | puts the result in register dst. |
3002 | */ |
3003 | int dst = vPC[1].u.operand; |
3004 | int func = vPC[2].u.operand; |
3005 | |
3006 | callFrame->r(index: dst) = JSValue(callFrame->codeBlock()->functionDecl(index: func)->make(exec: callFrame, scopeChain: callFrame->scopeChain())); |
3007 | |
3008 | vPC += OPCODE_LENGTH(op_new_func); |
3009 | NEXT_INSTRUCTION(); |
3010 | } |
3011 | DEFINE_OPCODE(op_new_func_exp) { |
3012 | /* new_func_exp dst(r) func(f) |
3013 | |
3014 | Constructs a new Function instance from function func and |
3015 | the current scope chain using the original Function |
3016 | constructor, using the rules for function expressions, and |
3017 | puts the result in register dst. |
3018 | */ |
3019 | int dst = vPC[1].u.operand; |
3020 | int funcIndex = vPC[2].u.operand; |
3021 | |
3022 | FunctionExecutable* function = callFrame->codeBlock()->functionExpr(index: funcIndex); |
3023 | JSFunction* func = function->make(exec: callFrame, scopeChain: callFrame->scopeChain()); |
3024 | |
3025 | /* |
3026 | The Identifier in a FunctionExpression can be referenced from inside |
3027 | the FunctionExpression's FunctionBody to allow the function to call |
3028 | itself recursively. However, unlike in a FunctionDeclaration, the |
3029 | Identifier in a FunctionExpression cannot be referenced from and |
3030 | does not affect the scope enclosing the FunctionExpression. |
3031 | */ |
3032 | if (!function->name().isNull()) { |
3033 | JSStaticScopeObject* functionScopeObject = new (callFrame) JSStaticScopeObject(callFrame, function->name(), func, ReadOnly | DontDelete); |
3034 | func->scope().push(o: functionScopeObject); |
3035 | } |
3036 | |
3037 | callFrame->r(index: dst) = JSValue(func); |
3038 | |
3039 | vPC += OPCODE_LENGTH(op_new_func_exp); |
3040 | NEXT_INSTRUCTION(); |
3041 | } |
3042 | DEFINE_OPCODE(op_call_eval) { |
3043 | /* call_eval dst(r) func(r) argCount(n) registerOffset(n) |
3044 | |
3045 | Call a function named "eval" with no explicit "this" value |
3046 | (which may therefore be the eval operator). If register |
3047 | thisVal is the global object, and register func contains |
3048 | that global object's original global eval function, then |
3049 | perform the eval operator in local scope (interpreting |
3050 | the argument registers as for the "call" |
3051 | opcode). Otherwise, act exactly as the "call" opcode would. |
3052 | */ |
3053 | |
3054 | int dst = vPC[1].u.operand; |
3055 | int func = vPC[2].u.operand; |
3056 | int argCount = vPC[3].u.operand; |
3057 | int registerOffset = vPC[4].u.operand; |
3058 | |
3059 | JSValue funcVal = callFrame->r(index: func).jsValue(); |
3060 | |
3061 | Register* newCallFrame = callFrame->registers() + registerOffset; |
3062 | Register* argv = newCallFrame - RegisterFile::CallFrameHeaderSize - argCount; |
3063 | JSValue thisValue = argv[0].jsValue(); |
3064 | JSGlobalObject* globalObject = callFrame->scopeChain()->globalObject; |
3065 | |
3066 | if (thisValue == globalObject && funcVal == globalObject->evalFunction()) { |
3067 | JSValue result = callEval(callFrame, registerFile, argv, argc: argCount, registerOffset, exceptionValue); |
3068 | if (exceptionValue) |
3069 | goto vm_throw; |
3070 | callFrame->r(index: dst) = result; |
3071 | |
3072 | vPC += OPCODE_LENGTH(op_call_eval); |
3073 | NEXT_INSTRUCTION(); |
3074 | } |
3075 | |
3076 | // We didn't find the blessed version of eval, so process this |
3077 | // instruction as a normal function call. |
3078 | // fall through to op_call |
3079 | } |
3080 | DEFINE_OPCODE(op_call) { |
3081 | /* call dst(r) func(r) argCount(n) registerOffset(n) |
3082 | |
3083 | Perform a function call. |
3084 | |
3085 | registerOffset is the distance the callFrame pointer should move |
3086 | before the VM initializes the new call frame's header. |
3087 | |
3088 | dst is where op_ret should store its result. |
3089 | */ |
3090 | |
3091 | int dst = vPC[1].u.operand; |
3092 | int func = vPC[2].u.operand; |
3093 | int argCount = vPC[3].u.operand; |
3094 | int registerOffset = vPC[4].u.operand; |
3095 | |
3096 | JSValue v = callFrame->r(index: func).jsValue(); |
3097 | |
3098 | CallData callData; |
3099 | CallType callType = v.getCallData(callData); |
3100 | |
3101 | if (callType == CallTypeJS) { |
3102 | ScopeChainNode* callDataScopeChain = callData.js.scopeChain; |
3103 | CodeBlock* newCodeBlock = &callData.js.functionExecutable->bytecode(exec: callFrame, scopeChainNode: callDataScopeChain); |
3104 | |
3105 | CallFrame* previousCallFrame = callFrame; |
3106 | |
3107 | callFrame = slideRegisterWindowForCall(newCodeBlock, registerFile, callFrame, registerOffset, argc: argCount); |
3108 | if (UNLIKELY(!callFrame)) { |
3109 | callFrame = previousCallFrame; |
3110 | exceptionValue = createStackOverflowError(callFrame); |
3111 | goto vm_throw; |
3112 | } |
3113 | |
3114 | callFrame->init(codeBlock: newCodeBlock, vPC: vPC + 5, scopeChain: callDataScopeChain, callerFrame: previousCallFrame, returnValueRegister: dst, argc: argCount, callee: asFunction(value: v)); |
3115 | vPC = newCodeBlock->instructions().begin(); |
3116 | |
3117 | #if ENABLE(OPCODE_STATS) |
3118 | OpcodeStats::resetLastInstruction(); |
3119 | #endif |
3120 | |
3121 | NEXT_INSTRUCTION(); |
3122 | } |
3123 | |
3124 | if (callType == CallTypeHost) { |
3125 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
3126 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: callFrame->registers() + registerOffset); |
3127 | #ifdef QT_BUILD_SCRIPT_LIB //we need the returnValue to be 0 as it is used as flags |
3128 | newCallFrame->init(codeBlock: 0, vPC: vPC + 5, scopeChain, callerFrame: callFrame, returnValueRegister: 0, argc: argCount, callee: asObject(value: v)); |
3129 | #else |
3130 | newCallFrame->init(0, vPC + 5, scopeChain, callFrame, dst, argCount, asObject(v)); |
3131 | #endif |
3132 | Register* thisRegister = newCallFrame->registers() - RegisterFile::CallFrameHeaderSize - argCount; |
3133 | ArgList args(thisRegister + 1, argCount - 1); |
3134 | |
3135 | // FIXME: All host methods should be calling toThisObject, but this is not presently the case. |
3136 | JSValue thisValue = thisRegister->jsValue(); |
3137 | if (thisValue == jsNull()) |
3138 | thisValue = callFrame->globalThisValue(); |
3139 | |
3140 | JSValue returnValue; |
3141 | { |
3142 | SamplingTool::HostCallRecord callRecord(m_sampler.get()); |
3143 | returnValue = callData.native.function(newCallFrame, asObject(value: v), thisValue, args); |
3144 | } |
3145 | CHECK_FOR_EXCEPTION(); |
3146 | |
3147 | callFrame->r(index: dst) = returnValue; |
3148 | |
3149 | vPC += OPCODE_LENGTH(op_call); |
3150 | NEXT_INSTRUCTION(); |
3151 | } |
3152 | |
3153 | ASSERT(callType == CallTypeNone); |
3154 | |
3155 | exceptionValue = createNotAFunctionError(callFrame, v, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), callFrame->codeBlock()); |
3156 | goto vm_throw; |
3157 | } |
3158 | DEFINE_OPCODE(op_load_varargs) { |
3159 | int argCountDst = vPC[1].u.operand; |
3160 | int argsOffset = vPC[2].u.operand; |
3161 | |
3162 | JSValue arguments = callFrame->r(index: argsOffset).jsValue(); |
3163 | int32_t argCount = 0; |
3164 | if (!arguments) { |
3165 | argCount = (uint32_t)(callFrame->argumentCount()) - 1; |
3166 | int32_t sizeDelta = argsOffset + argCount + RegisterFile::CallFrameHeaderSize; |
3167 | Register* newEnd = callFrame->registers() + sizeDelta; |
3168 | if (!registerFile->grow(newEnd) || ((newEnd - callFrame->registers()) != sizeDelta)) { |
3169 | exceptionValue = createStackOverflowError(callFrame); |
3170 | goto vm_throw; |
3171 | } |
3172 | ASSERT(!asFunction(callFrame->callee())->isHostFunction()); |
3173 | int32_t expectedParams = static_cast<JSFunction*>(callFrame->callee())->jsExecutable()->parameterCount(); |
3174 | int32_t inplaceArgs = min(a: argCount, b: expectedParams); |
3175 | int32_t i = 0; |
3176 | Register* argStore = callFrame->registers() + argsOffset; |
3177 | |
3178 | // First step is to copy the "expected" parameters from their normal location relative to the callframe |
3179 | for (; i < inplaceArgs; i++) |
3180 | argStore[i] = callFrame->registers()[i - RegisterFile::CallFrameHeaderSize - expectedParams]; |
3181 | // Then we copy any additional arguments that may be further up the stack ('-1' to account for 'this') |
3182 | for (; i < argCount; i++) |
3183 | argStore[i] = callFrame->registers()[i - RegisterFile::CallFrameHeaderSize - expectedParams - argCount - 1]; |
3184 | } else if (!arguments.isUndefinedOrNull()) { |
3185 | if (!arguments.isObject()) { |
3186 | exceptionValue = createInvalidParamError(callFrame, op: "Function.prototype.apply" , arguments, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), callFrame->codeBlock()); |
3187 | goto vm_throw; |
3188 | } |
3189 | if (asObject(value: arguments)->classInfo() == &Arguments::info) { |
3190 | Arguments* args = asArguments(value: arguments); |
3191 | argCount = args->numProvidedArguments(exec: callFrame); |
3192 | int32_t sizeDelta = argsOffset + argCount + RegisterFile::CallFrameHeaderSize; |
3193 | Register* newEnd = callFrame->registers() + sizeDelta; |
3194 | if (!registerFile->grow(newEnd) || ((newEnd - callFrame->registers()) != sizeDelta)) { |
3195 | exceptionValue = createStackOverflowError(callFrame); |
3196 | goto vm_throw; |
3197 | } |
3198 | args->copyToRegisters(exec: callFrame, buffer: callFrame->registers() + argsOffset, maxSize: argCount); |
3199 | } else if (isJSArray(globalData: &callFrame->globalData(), v: arguments)) { |
3200 | JSArray* array = asArray(value: arguments); |
3201 | argCount = array->length(); |
3202 | int32_t sizeDelta = argsOffset + argCount + RegisterFile::CallFrameHeaderSize; |
3203 | Register* newEnd = callFrame->registers() + sizeDelta; |
3204 | if (!registerFile->grow(newEnd) || ((newEnd - callFrame->registers()) != sizeDelta)) { |
3205 | exceptionValue = createStackOverflowError(callFrame); |
3206 | goto vm_throw; |
3207 | } |
3208 | array->copyToRegisters(callFrame, callFrame->registers() + argsOffset, argCount); |
3209 | } else if (asObject(value: arguments)->inherits(info: &JSArray::info)) { |
3210 | JSObject* argObject = asObject(value: arguments); |
3211 | argCount = argObject->get(exec: callFrame, propertyName: callFrame->propertyNames().length).toUInt32(exec: callFrame); |
3212 | int32_t sizeDelta = argsOffset + argCount + RegisterFile::CallFrameHeaderSize; |
3213 | Register* newEnd = callFrame->registers() + sizeDelta; |
3214 | if (!registerFile->grow(newEnd) || ((newEnd - callFrame->registers()) != sizeDelta)) { |
3215 | exceptionValue = createStackOverflowError(callFrame); |
3216 | goto vm_throw; |
3217 | } |
3218 | Register* argsBuffer = callFrame->registers() + argsOffset; |
3219 | for (int32_t i = 0; i < argCount; ++i) { |
3220 | argsBuffer[i] = asObject(value: arguments)->get(exec: callFrame, propertyName: i); |
3221 | CHECK_FOR_EXCEPTION(); |
3222 | } |
3223 | } else { |
3224 | if (!arguments.isObject()) { |
3225 | exceptionValue = createInvalidParamError(callFrame, op: "Function.prototype.apply" , arguments, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), callFrame->codeBlock()); |
3226 | goto vm_throw; |
3227 | } |
3228 | } |
3229 | } |
3230 | CHECK_FOR_EXCEPTION(); |
3231 | callFrame->r(index: argCountDst) = Register::withInt(i: argCount + 1); |
3232 | vPC += OPCODE_LENGTH(op_load_varargs); |
3233 | NEXT_INSTRUCTION(); |
3234 | } |
3235 | DEFINE_OPCODE(op_call_varargs) { |
3236 | /* call_varargs dst(r) func(r) argCountReg(r) baseRegisterOffset(n) |
3237 | |
3238 | Perform a function call with a dynamic set of arguments. |
3239 | |
3240 | registerOffset is the distance the callFrame pointer should move |
3241 | before the VM initializes the new call frame's header, excluding |
3242 | space for arguments. |
3243 | |
3244 | dst is where op_ret should store its result. |
3245 | */ |
3246 | |
3247 | int dst = vPC[1].u.operand; |
3248 | int func = vPC[2].u.operand; |
3249 | int argCountReg = vPC[3].u.operand; |
3250 | int registerOffset = vPC[4].u.operand; |
3251 | |
3252 | JSValue v = callFrame->r(index: func).jsValue(); |
3253 | int argCount = callFrame->r(index: argCountReg).i(); |
3254 | registerOffset += argCount; |
3255 | CallData callData; |
3256 | CallType callType = v.getCallData(callData); |
3257 | |
3258 | if (callType == CallTypeJS) { |
3259 | ScopeChainNode* callDataScopeChain = callData.js.scopeChain; |
3260 | CodeBlock* newCodeBlock = &callData.js.functionExecutable->bytecode(exec: callFrame, scopeChainNode: callDataScopeChain); |
3261 | |
3262 | CallFrame* previousCallFrame = callFrame; |
3263 | |
3264 | callFrame = slideRegisterWindowForCall(newCodeBlock, registerFile, callFrame, registerOffset, argc: argCount); |
3265 | if (UNLIKELY(!callFrame)) { |
3266 | callFrame = previousCallFrame; |
3267 | exceptionValue = createStackOverflowError(callFrame); |
3268 | goto vm_throw; |
3269 | } |
3270 | |
3271 | callFrame->init(codeBlock: newCodeBlock, vPC: vPC + 5, scopeChain: callDataScopeChain, callerFrame: previousCallFrame, returnValueRegister: dst, argc: argCount, callee: asFunction(value: v)); |
3272 | vPC = newCodeBlock->instructions().begin(); |
3273 | |
3274 | #if ENABLE(OPCODE_STATS) |
3275 | OpcodeStats::resetLastInstruction(); |
3276 | #endif |
3277 | |
3278 | NEXT_INSTRUCTION(); |
3279 | } |
3280 | |
3281 | if (callType == CallTypeHost) { |
3282 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
3283 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: callFrame->registers() + registerOffset); |
3284 | #ifdef QT_BUILD_SCRIPT_LIB //we need the returnValue to be 0 as it is used as flags |
3285 | newCallFrame->init(codeBlock: 0, vPC: vPC + 5, scopeChain, callerFrame: callFrame, returnValueRegister: 0, argc: argCount, callee: asObject(value: v)); |
3286 | #else |
3287 | newCallFrame->init(0, vPC + 5, scopeChain, callFrame, dst, argCount, asObject(v)); |
3288 | #endif |
3289 | |
3290 | Register* thisRegister = newCallFrame->registers() - RegisterFile::CallFrameHeaderSize - argCount; |
3291 | ArgList args(thisRegister + 1, argCount - 1); |
3292 | |
3293 | // FIXME: All host methods should be calling toThisObject, but this is not presently the case. |
3294 | JSValue thisValue = thisRegister->jsValue(); |
3295 | if (thisValue == jsNull()) |
3296 | thisValue = callFrame->globalThisValue(); |
3297 | |
3298 | JSValue returnValue; |
3299 | { |
3300 | SamplingTool::HostCallRecord callRecord(m_sampler.get()); |
3301 | returnValue = callData.native.function(newCallFrame, asObject(value: v), thisValue, args); |
3302 | } |
3303 | CHECK_FOR_EXCEPTION(); |
3304 | |
3305 | callFrame->r(index: dst) = returnValue; |
3306 | |
3307 | vPC += OPCODE_LENGTH(op_call_varargs); |
3308 | NEXT_INSTRUCTION(); |
3309 | } |
3310 | |
3311 | ASSERT(callType == CallTypeNone); |
3312 | |
3313 | exceptionValue = createNotAFunctionError(callFrame, v, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), callFrame->codeBlock()); |
3314 | goto vm_throw; |
3315 | } |
3316 | DEFINE_OPCODE(op_tear_off_activation) { |
3317 | /* tear_off_activation activation(r) |
3318 | |
3319 | Copy all locals and parameters to new memory allocated on |
3320 | the heap, and make the passed activation use this memory |
3321 | in the future when looking up entries in the symbol table. |
3322 | If there is an 'arguments' object, then it will also use |
3323 | this memory for storing the named parameters, but not any |
3324 | extra arguments. |
3325 | |
3326 | This opcode should only be used immediately before op_ret. |
3327 | */ |
3328 | |
3329 | int src = vPC[1].u.operand; |
3330 | ASSERT(callFrame->codeBlock()->needsFullScopeChain()); |
3331 | |
3332 | asActivation(value: callFrame->r(index: src).jsValue())->copyRegisters(arguments: callFrame->optionalCalleeArguments()); |
3333 | |
3334 | vPC += OPCODE_LENGTH(op_tear_off_activation); |
3335 | NEXT_INSTRUCTION(); |
3336 | } |
3337 | DEFINE_OPCODE(op_tear_off_arguments) { |
3338 | /* tear_off_arguments |
3339 | |
3340 | Copy all arguments to new memory allocated on the heap, |
3341 | and make the 'arguments' object use this memory in the |
3342 | future when looking up named parameters, but not any |
3343 | extra arguments. If an activation object exists for the |
3344 | current function context, then the tear_off_activation |
3345 | opcode should be used instead. |
3346 | |
3347 | This opcode should only be used immediately before op_ret. |
3348 | */ |
3349 | |
3350 | ASSERT(callFrame->codeBlock()->usesArguments() && !callFrame->codeBlock()->needsFullScopeChain()); |
3351 | |
3352 | if (callFrame->optionalCalleeArguments()) |
3353 | callFrame->optionalCalleeArguments()->copyRegisters(); |
3354 | |
3355 | vPC += OPCODE_LENGTH(op_tear_off_arguments); |
3356 | NEXT_INSTRUCTION(); |
3357 | } |
3358 | DEFINE_OPCODE(op_ret) { |
3359 | /* ret result(r) |
3360 | |
3361 | Return register result as the return value of the current |
3362 | function call, writing it into the caller's expected return |
3363 | value register. In addition, unwind one call frame and |
3364 | restore the scope chain, code block instruction pointer and |
3365 | register base to those of the calling function. |
3366 | */ |
3367 | |
3368 | #ifdef QT_BUILD_SCRIPT_LIB |
3369 | Debugger* debugger = callFrame->dynamicGlobalObject()->debugger(); |
3370 | intptr_t sourceId = callFrame->codeBlock()->source()->asID(); |
3371 | #endif |
3372 | |
3373 | int result = vPC[1].u.operand; |
3374 | |
3375 | if (callFrame->codeBlock()->needsFullScopeChain()) |
3376 | callFrame->scopeChain()->deref(); |
3377 | |
3378 | JSValue returnValue = callFrame->r(index: result).jsValue(); |
3379 | #ifdef QT_BUILD_SCRIPT_LIB |
3380 | if (debugger) |
3381 | debugger->functionExit(returnValue, sourceID: sourceId); |
3382 | #endif |
3383 | |
3384 | vPC = callFrame->returnPC(); |
3385 | int dst = callFrame->returnValueRegister(); |
3386 | callFrame = callFrame->callerFrame(); |
3387 | |
3388 | if (callFrame->hasHostCallFrameFlag()) |
3389 | return returnValue; |
3390 | |
3391 | callFrame->r(index: dst) = returnValue; |
3392 | |
3393 | NEXT_INSTRUCTION(); |
3394 | } |
3395 | DEFINE_OPCODE(op_enter) { |
3396 | /* enter |
3397 | |
3398 | Initializes local variables to undefined and fills constant |
3399 | registers with their values. If the code block requires an |
3400 | activation, enter_with_activation should be used instead. |
3401 | |
3402 | This opcode should only be used at the beginning of a code |
3403 | block. |
3404 | */ |
3405 | |
3406 | size_t i = 0; |
3407 | CodeBlock* codeBlock = callFrame->codeBlock(); |
3408 | |
3409 | for (size_t count = codeBlock->m_numVars; i < count; ++i) |
3410 | callFrame->r(index: i) = jsUndefined(); |
3411 | |
3412 | vPC += OPCODE_LENGTH(op_enter); |
3413 | NEXT_INSTRUCTION(); |
3414 | } |
3415 | DEFINE_OPCODE(op_enter_with_activation) { |
3416 | /* enter_with_activation dst(r) |
3417 | |
3418 | Initializes local variables to undefined, fills constant |
3419 | registers with their values, creates an activation object, |
3420 | and places the new activation both in dst and at the top |
3421 | of the scope chain. If the code block does not require an |
3422 | activation, enter should be used instead. |
3423 | |
3424 | This opcode should only be used at the beginning of a code |
3425 | block. |
3426 | */ |
3427 | |
3428 | size_t i = 0; |
3429 | CodeBlock* codeBlock = callFrame->codeBlock(); |
3430 | |
3431 | for (size_t count = codeBlock->m_numVars; i < count; ++i) |
3432 | callFrame->r(index: i) = jsUndefined(); |
3433 | |
3434 | int dst = vPC[1].u.operand; |
3435 | JSActivation* activation = new (globalData) JSActivation(callFrame, static_cast<FunctionExecutable*>(codeBlock->ownerExecutable())); |
3436 | callFrame->r(index: dst) = JSValue(activation); |
3437 | callFrame->setScopeChain(callFrame->scopeChain()->copy()->push(o: activation)); |
3438 | |
3439 | vPC += OPCODE_LENGTH(op_enter_with_activation); |
3440 | NEXT_INSTRUCTION(); |
3441 | } |
3442 | DEFINE_OPCODE(op_convert_this) { |
3443 | /* convert_this this(r) |
3444 | |
3445 | Takes the value in the 'this' register, converts it to a |
3446 | value that is suitable for use as the 'this' value, and |
3447 | stores it in the 'this' register. This opcode is emitted |
3448 | to avoid doing the conversion in the caller unnecessarily. |
3449 | |
3450 | This opcode should only be used at the beginning of a code |
3451 | block. |
3452 | */ |
3453 | |
3454 | int thisRegister = vPC[1].u.operand; |
3455 | JSValue thisVal = callFrame->r(index: thisRegister).jsValue(); |
3456 | if (thisVal.needsThisConversion()) |
3457 | callFrame->r(index: thisRegister) = JSValue(thisVal.toThisObject(exec: callFrame)); |
3458 | |
3459 | vPC += OPCODE_LENGTH(op_convert_this); |
3460 | NEXT_INSTRUCTION(); |
3461 | } |
3462 | DEFINE_OPCODE(op_init_arguments) { |
3463 | /* create_arguments |
3464 | |
3465 | Initialises the arguments object reference to null to ensure |
3466 | we can correctly detect that we need to create it later (or |
3467 | avoid creating it altogether). |
3468 | |
3469 | This opcode should only be used at the beginning of a code |
3470 | block. |
3471 | */ |
3472 | callFrame->r(index: RegisterFile::ArgumentsRegister) = JSValue(); |
3473 | vPC += OPCODE_LENGTH(op_init_arguments); |
3474 | NEXT_INSTRUCTION(); |
3475 | } |
3476 | DEFINE_OPCODE(op_create_arguments) { |
3477 | /* create_arguments |
3478 | |
3479 | Creates the 'arguments' object and places it in both the |
3480 | 'arguments' call frame slot and the local 'arguments' |
3481 | register, if it has not already been initialised. |
3482 | */ |
3483 | |
3484 | if (!callFrame->r(index: RegisterFile::ArgumentsRegister).jsValue()) { |
3485 | Arguments* arguments = new (globalData) Arguments(callFrame); |
3486 | callFrame->setCalleeArguments(arguments); |
3487 | callFrame->r(index: RegisterFile::ArgumentsRegister) = JSValue(arguments); |
3488 | } |
3489 | vPC += OPCODE_LENGTH(op_create_arguments); |
3490 | NEXT_INSTRUCTION(); |
3491 | } |
3492 | DEFINE_OPCODE(op_construct) { |
3493 | /* construct dst(r) func(r) argCount(n) registerOffset(n) proto(r) thisRegister(r) |
3494 | |
3495 | Invoke register "func" as a constructor. For JS |
3496 | functions, the calling convention is exactly as for the |
3497 | "call" opcode, except that the "this" value is a newly |
3498 | created Object. For native constructors, no "this" |
3499 | value is passed. In either case, the argCount and registerOffset |
3500 | registers are interpreted as for the "call" opcode. |
3501 | |
3502 | Register proto must contain the prototype property of |
3503 | register func. This is to enable polymorphic inline |
3504 | caching of this lookup. |
3505 | */ |
3506 | |
3507 | int dst = vPC[1].u.operand; |
3508 | int func = vPC[2].u.operand; |
3509 | int argCount = vPC[3].u.operand; |
3510 | int registerOffset = vPC[4].u.operand; |
3511 | int proto = vPC[5].u.operand; |
3512 | int thisRegister = vPC[6].u.operand; |
3513 | |
3514 | JSValue v = callFrame->r(index: func).jsValue(); |
3515 | |
3516 | ConstructData constructData; |
3517 | ConstructType constructType = v.getConstructData(constructData); |
3518 | |
3519 | if (constructType == ConstructTypeJS) { |
3520 | ScopeChainNode* callDataScopeChain = constructData.js.scopeChain; |
3521 | CodeBlock* newCodeBlock = &constructData.js.functionExecutable->bytecode(exec: callFrame, scopeChainNode: callDataScopeChain); |
3522 | |
3523 | Structure* structure; |
3524 | JSValue prototype = callFrame->r(index: proto).jsValue(); |
3525 | if (prototype.isObject()) |
3526 | structure = asObject(value: prototype)->inheritorID(); |
3527 | else |
3528 | structure = callDataScopeChain->globalObject->emptyObjectStructure(); |
3529 | #ifdef QT_BUILD_SCRIPT_LIB |
3530 | // ### world-class hack |
3531 | QT_PREPEND_NAMESPACE(QScriptObject)* newObject = new (globalData) QT_PREPEND_NAMESPACE(QScriptObject)(structure); |
3532 | #else |
3533 | JSObject* newObject = new (globalData) JSObject(structure); |
3534 | #endif |
3535 | callFrame->r(index: thisRegister) = JSValue(newObject); // "this" value |
3536 | |
3537 | CallFrame* previousCallFrame = callFrame; |
3538 | |
3539 | callFrame = slideRegisterWindowForCall(newCodeBlock, registerFile, callFrame, registerOffset, argc: argCount); |
3540 | if (UNLIKELY(!callFrame)) { |
3541 | callFrame = previousCallFrame; |
3542 | exceptionValue = createStackOverflowError(callFrame); |
3543 | goto vm_throw; |
3544 | } |
3545 | |
3546 | callFrame->init(codeBlock: newCodeBlock, vPC: vPC + 7, scopeChain: callDataScopeChain, callerFrame: previousCallFrame, returnValueRegister: dst, argc: argCount, callee: asFunction(value: v)); |
3547 | vPC = newCodeBlock->instructions().begin(); |
3548 | |
3549 | #if ENABLE(OPCODE_STATS) |
3550 | OpcodeStats::resetLastInstruction(); |
3551 | #endif |
3552 | |
3553 | NEXT_INSTRUCTION(); |
3554 | } |
3555 | |
3556 | if (constructType == ConstructTypeHost) { |
3557 | ArgList args(callFrame->registers() + thisRegister + 1, argCount - 1); |
3558 | |
3559 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
3560 | CallFrame* newCallFrame = CallFrame::create(callFrameBase: callFrame->registers() + registerOffset); |
3561 | #ifdef QT_BUILD_SCRIPT_LIB //we need the returnValue to be 0 as it is used as flags |
3562 | newCallFrame->init(codeBlock: 0, vPC: vPC + 7, scopeChain, callerFrame: callFrame, returnValueRegister: 0, argc: argCount, callee: asObject(value: v)); |
3563 | #else |
3564 | newCallFrame->init(0, vPC + 7, scopeChain, callFrame, dst, argCount, asObject(v)); |
3565 | #endif |
3566 | |
3567 | JSValue returnValue; |
3568 | { |
3569 | SamplingTool::HostCallRecord callRecord(m_sampler.get()); |
3570 | returnValue = constructData.native.function(newCallFrame, asObject(value: v), args); |
3571 | } |
3572 | CHECK_FOR_EXCEPTION(); |
3573 | callFrame->r(index: dst) = JSValue(returnValue); |
3574 | |
3575 | vPC += OPCODE_LENGTH(op_construct); |
3576 | NEXT_INSTRUCTION(); |
3577 | } |
3578 | |
3579 | ASSERT(constructType == ConstructTypeNone); |
3580 | |
3581 | exceptionValue = createNotAConstructorError(callFrame, v, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), callFrame->codeBlock()); |
3582 | goto vm_throw; |
3583 | } |
3584 | DEFINE_OPCODE(op_construct_verify) { |
3585 | /* construct_verify dst(r) override(r) |
3586 | |
3587 | Verifies that register dst holds an object. If not, moves |
3588 | the object in register override to register dst. |
3589 | */ |
3590 | |
3591 | int dst = vPC[1].u.operand; |
3592 | if (LIKELY(callFrame->r(dst).jsValue().isObject())) { |
3593 | vPC += OPCODE_LENGTH(op_construct_verify); |
3594 | NEXT_INSTRUCTION(); |
3595 | } |
3596 | |
3597 | int override = vPC[2].u.operand; |
3598 | callFrame->r(index: dst) = callFrame->r(index: override); |
3599 | |
3600 | vPC += OPCODE_LENGTH(op_construct_verify); |
3601 | NEXT_INSTRUCTION(); |
3602 | } |
3603 | DEFINE_OPCODE(op_strcat) { |
3604 | int dst = vPC[1].u.operand; |
3605 | int src = vPC[2].u.operand; |
3606 | int count = vPC[3].u.operand; |
3607 | |
3608 | callFrame->r(index: dst) = jsString(exec: callFrame, strings: &callFrame->registers()[src], count); |
3609 | CHECK_FOR_EXCEPTION(); |
3610 | vPC += OPCODE_LENGTH(op_strcat); |
3611 | |
3612 | NEXT_INSTRUCTION(); |
3613 | } |
3614 | DEFINE_OPCODE(op_to_primitive) { |
3615 | int dst = vPC[1].u.operand; |
3616 | int src = vPC[2].u.operand; |
3617 | |
3618 | callFrame->r(index: dst) = callFrame->r(index: src).jsValue().toPrimitive(exec: callFrame); |
3619 | vPC += OPCODE_LENGTH(op_to_primitive); |
3620 | |
3621 | NEXT_INSTRUCTION(); |
3622 | } |
3623 | DEFINE_OPCODE(op_push_scope) { |
3624 | /* push_scope scope(r) |
3625 | |
3626 | Converts register scope to object, and pushes it onto the top |
3627 | of the current scope chain. The contents of the register scope |
3628 | are replaced by the result of toObject conversion of the scope. |
3629 | */ |
3630 | int scope = vPC[1].u.operand; |
3631 | JSValue v = callFrame->r(index: scope).jsValue(); |
3632 | JSObject* o = v.toObject(exec: callFrame); |
3633 | CHECK_FOR_EXCEPTION(); |
3634 | |
3635 | callFrame->r(index: scope) = JSValue(o); |
3636 | callFrame->setScopeChain(callFrame->scopeChain()->push(o)); |
3637 | |
3638 | vPC += OPCODE_LENGTH(op_push_scope); |
3639 | NEXT_INSTRUCTION(); |
3640 | } |
3641 | DEFINE_OPCODE(op_pop_scope) { |
3642 | /* pop_scope |
3643 | |
3644 | Removes the top item from the current scope chain. |
3645 | */ |
3646 | callFrame->setScopeChain(callFrame->scopeChain()->pop()); |
3647 | |
3648 | vPC += OPCODE_LENGTH(op_pop_scope); |
3649 | NEXT_INSTRUCTION(); |
3650 | } |
3651 | DEFINE_OPCODE(op_get_pnames) { |
3652 | /* get_pnames dst(r) base(r) i(n) size(n) breakTarget(offset) |
3653 | |
3654 | Creates a property name list for register base and puts it |
3655 | in register dst, initializing i and size for iteration. If |
3656 | base is undefined or null, jumps to breakTarget. |
3657 | */ |
3658 | int dst = vPC[1].u.operand; |
3659 | int base = vPC[2].u.operand; |
3660 | int i = vPC[3].u.operand; |
3661 | int size = vPC[4].u.operand; |
3662 | int breakTarget = vPC[5].u.operand; |
3663 | |
3664 | JSValue v = callFrame->r(index: base).jsValue(); |
3665 | if (v.isUndefinedOrNull()) { |
3666 | vPC += breakTarget; |
3667 | NEXT_INSTRUCTION(); |
3668 | } |
3669 | |
3670 | JSObject* o = v.toObject(exec: callFrame); |
3671 | Structure* structure = o->structure(); |
3672 | JSPropertyNameIterator* jsPropertyNameIterator = structure->enumerationCache(); |
3673 | if (!jsPropertyNameIterator || jsPropertyNameIterator->cachedPrototypeChain() != structure->prototypeChain(exec: callFrame)) |
3674 | jsPropertyNameIterator = JSPropertyNameIterator::create(callFrame, o); |
3675 | |
3676 | callFrame->r(index: dst) = jsPropertyNameIterator; |
3677 | callFrame->r(index: base) = JSValue(o); |
3678 | callFrame->r(index: i) = Register::withInt(i: 0); |
3679 | callFrame->r(index: size) = Register::withInt(i: jsPropertyNameIterator->size()); |
3680 | vPC += OPCODE_LENGTH(op_get_pnames); |
3681 | NEXT_INSTRUCTION(); |
3682 | } |
3683 | DEFINE_OPCODE(op_next_pname) { |
3684 | /* next_pname dst(r) base(r) i(n) size(n) iter(r) target(offset) |
3685 | |
3686 | Copies the next name from the property name list in |
3687 | register iter to dst, then jumps to offset target. If there are no |
3688 | names left, invalidates the iterator and continues to the next |
3689 | instruction. |
3690 | */ |
3691 | int dst = vPC[1].u.operand; |
3692 | int base = vPC[2].u.operand; |
3693 | int i = vPC[3].u.operand; |
3694 | int size = vPC[4].u.operand; |
3695 | int iter = vPC[5].u.operand; |
3696 | int target = vPC[6].u.operand; |
3697 | |
3698 | JSPropertyNameIterator* it = callFrame->r(index: iter).propertyNameIterator(); |
3699 | while (callFrame->r(index: i).i() != callFrame->r(index: size).i()) { |
3700 | JSValue key = it->get(callFrame, asObject(value: callFrame->r(index: base).jsValue()), i: callFrame->r(index: i).i()); |
3701 | callFrame->r(index: i) = Register::withInt(i: callFrame->r(index: i).i() + 1); |
3702 | if (key) { |
3703 | CHECK_FOR_TIMEOUT(); |
3704 | callFrame->r(index: dst) = key; |
3705 | vPC += target; |
3706 | NEXT_INSTRUCTION(); |
3707 | } |
3708 | } |
3709 | |
3710 | vPC += OPCODE_LENGTH(op_next_pname); |
3711 | NEXT_INSTRUCTION(); |
3712 | } |
3713 | DEFINE_OPCODE(op_jmp_scopes) { |
3714 | /* jmp_scopes count(n) target(offset) |
3715 | |
3716 | Removes the a number of items from the current scope chain |
3717 | specified by immediate number count, then jumps to offset |
3718 | target. |
3719 | */ |
3720 | int count = vPC[1].u.operand; |
3721 | int target = vPC[2].u.operand; |
3722 | |
3723 | ScopeChainNode* tmp = callFrame->scopeChain(); |
3724 | while (count--) |
3725 | tmp = tmp->pop(); |
3726 | callFrame->setScopeChain(tmp); |
3727 | |
3728 | vPC += target; |
3729 | NEXT_INSTRUCTION(); |
3730 | } |
3731 | #if HAVE(COMPUTED_GOTO) |
3732 | // Appease GCC |
3733 | goto *(&&skip_new_scope); |
3734 | #endif |
3735 | DEFINE_OPCODE(op_push_new_scope) { |
3736 | /* new_scope dst(r) property(id) value(r) |
3737 | |
3738 | Constructs a new StaticScopeObject with property set to value. That scope |
3739 | object is then pushed onto the ScopeChain. The scope object is then stored |
3740 | in dst for GC. |
3741 | */ |
3742 | callFrame->setScopeChain(createExceptionScope(callFrame, vPC)); |
3743 | |
3744 | vPC += OPCODE_LENGTH(op_push_new_scope); |
3745 | NEXT_INSTRUCTION(); |
3746 | } |
3747 | #if HAVE(COMPUTED_GOTO) |
3748 | skip_new_scope: |
3749 | #endif |
3750 | DEFINE_OPCODE(op_catch) { |
3751 | /* catch ex(r) |
3752 | |
3753 | Retrieves the VM's current exception and puts it in register |
3754 | ex. This is only valid after an exception has been raised, |
3755 | and usually forms the beginning of an exception handler. |
3756 | */ |
3757 | ASSERT(exceptionValue); |
3758 | ASSERT(!globalData->exception); |
3759 | |
3760 | #ifdef QT_BUILD_SCRIPT_LIB |
3761 | CodeBlock* codeBlock = callFrame->codeBlock(); |
3762 | Debugger* debugger = callFrame->dynamicGlobalObject()->debugger(); |
3763 | if (debugger) { |
3764 | DebuggerCallFrame debuggerCallFrame(callFrame, exceptionValue); |
3765 | debugger->exceptionCatch(frame: debuggerCallFrame, sourceID: codeBlock->ownerExecutable()->sourceID()); |
3766 | } |
3767 | #endif |
3768 | |
3769 | int ex = vPC[1].u.operand; |
3770 | callFrame->r(index: ex) = exceptionValue; |
3771 | exceptionValue = JSValue(); |
3772 | |
3773 | vPC += OPCODE_LENGTH(op_catch); |
3774 | NEXT_INSTRUCTION(); |
3775 | } |
3776 | DEFINE_OPCODE(op_throw) { |
3777 | /* throw ex(r) |
3778 | |
3779 | Throws register ex as an exception. This involves three |
3780 | steps: first, it is set as the current exception in the |
3781 | VM's internal state, then the stack is unwound until an |
3782 | exception handler or a native code boundary is found, and |
3783 | then control resumes at the exception handler if any or |
3784 | else the script returns control to the nearest native caller. |
3785 | */ |
3786 | |
3787 | int ex = vPC[1].u.operand; |
3788 | exceptionValue = callFrame->r(index: ex).jsValue(); |
3789 | |
3790 | handler = throwException(callFrame, exceptionValue, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), explicitThrow: true); |
3791 | if (!handler) { |
3792 | *exception = exceptionValue; |
3793 | return jsNull(); |
3794 | } |
3795 | |
3796 | vPC = callFrame->codeBlock()->instructions().begin() + handler->target; |
3797 | NEXT_INSTRUCTION(); |
3798 | } |
3799 | DEFINE_OPCODE(op_new_error) { |
3800 | /* new_error dst(r) type(n) message(k) |
3801 | |
3802 | Constructs a new Error instance using the original |
3803 | constructor, using immediate number n as the type and |
3804 | constant message as the message string. The result is |
3805 | written to register dst. |
3806 | */ |
3807 | int dst = vPC[1].u.operand; |
3808 | int type = vPC[2].u.operand; |
3809 | int message = vPC[3].u.operand; |
3810 | |
3811 | CodeBlock* codeBlock = callFrame->codeBlock(); |
3812 | callFrame->r(index: dst) = JSValue(Error::create(callFrame, (ErrorType)type, message: callFrame->r(index: message).jsValue().toString(exec: callFrame), lineNumber: codeBlock->lineNumberForBytecodeOffset(callFrame, bytecodeOffset: vPC - codeBlock->instructions().begin()), sourceID: codeBlock->ownerExecutable()->sourceID(), sourceURL: codeBlock->ownerExecutable()->sourceURL())); |
3813 | |
3814 | vPC += OPCODE_LENGTH(op_new_error); |
3815 | NEXT_INSTRUCTION(); |
3816 | } |
3817 | DEFINE_OPCODE(op_end) { |
3818 | /* end result(r) |
3819 | |
3820 | Return register result as the value of a global or eval |
3821 | program. Return control to the calling native code. |
3822 | */ |
3823 | |
3824 | if (callFrame->codeBlock()->needsFullScopeChain()) { |
3825 | ScopeChainNode* scopeChain = callFrame->scopeChain(); |
3826 | ASSERT(scopeChain->refCount > 1); |
3827 | scopeChain->deref(); |
3828 | } |
3829 | int result = vPC[1].u.operand; |
3830 | return callFrame->r(index: result).jsValue(); |
3831 | } |
3832 | DEFINE_OPCODE(op_put_getter) { |
3833 | /* put_getter base(r) property(id) function(r) |
3834 | |
3835 | Sets register function on register base as the getter named |
3836 | by identifier property. Base and function are assumed to be |
3837 | objects as this op should only be used for getters defined |
3838 | in object literal form. |
3839 | |
3840 | Unlike many opcodes, this one does not write any output to |
3841 | the register file. |
3842 | */ |
3843 | int base = vPC[1].u.operand; |
3844 | int property = vPC[2].u.operand; |
3845 | int function = vPC[3].u.operand; |
3846 | |
3847 | ASSERT(callFrame->r(base).jsValue().isObject()); |
3848 | JSObject* baseObj = asObject(value: callFrame->r(index: base).jsValue()); |
3849 | Identifier& ident = callFrame->codeBlock()->identifier(index: property); |
3850 | ASSERT(callFrame->r(function).jsValue().isObject()); |
3851 | baseObj->defineGetter(callFrame, propertyName: ident, getterFunction: asObject(value: callFrame->r(index: function).jsValue())); |
3852 | |
3853 | vPC += OPCODE_LENGTH(op_put_getter); |
3854 | NEXT_INSTRUCTION(); |
3855 | } |
3856 | DEFINE_OPCODE(op_put_setter) { |
3857 | /* put_setter base(r) property(id) function(r) |
3858 | |
3859 | Sets register function on register base as the setter named |
3860 | by identifier property. Base and function are assumed to be |
3861 | objects as this op should only be used for setters defined |
3862 | in object literal form. |
3863 | |
3864 | Unlike many opcodes, this one does not write any output to |
3865 | the register file. |
3866 | */ |
3867 | int base = vPC[1].u.operand; |
3868 | int property = vPC[2].u.operand; |
3869 | int function = vPC[3].u.operand; |
3870 | |
3871 | ASSERT(callFrame->r(base).jsValue().isObject()); |
3872 | JSObject* baseObj = asObject(value: callFrame->r(index: base).jsValue()); |
3873 | Identifier& ident = callFrame->codeBlock()->identifier(index: property); |
3874 | ASSERT(callFrame->r(function).jsValue().isObject()); |
3875 | baseObj->defineSetter(callFrame, propertyName: ident, setterFunction: asObject(value: callFrame->r(index: function).jsValue()), attributes: 0); |
3876 | |
3877 | vPC += OPCODE_LENGTH(op_put_setter); |
3878 | NEXT_INSTRUCTION(); |
3879 | } |
3880 | DEFINE_OPCODE(op_method_check) { |
3881 | vPC++; |
3882 | NEXT_INSTRUCTION(); |
3883 | } |
3884 | DEFINE_OPCODE(op_jsr) { |
3885 | /* jsr retAddrDst(r) target(offset) |
3886 | |
3887 | Places the address of the next instruction into the retAddrDst |
3888 | register and jumps to offset target from the current instruction. |
3889 | */ |
3890 | int retAddrDst = vPC[1].u.operand; |
3891 | int target = vPC[2].u.operand; |
3892 | callFrame->r(index: retAddrDst) = vPC + OPCODE_LENGTH(op_jsr); |
3893 | |
3894 | vPC += target; |
3895 | NEXT_INSTRUCTION(); |
3896 | } |
3897 | DEFINE_OPCODE(op_sret) { |
3898 | /* sret retAddrSrc(r) |
3899 | |
3900 | Jumps to the address stored in the retAddrSrc register. This |
3901 | differs from op_jmp because the target address is stored in a |
3902 | register, not as an immediate. |
3903 | */ |
3904 | int retAddrSrc = vPC[1].u.operand; |
3905 | vPC = callFrame->r(index: retAddrSrc).vPC(); |
3906 | NEXT_INSTRUCTION(); |
3907 | } |
3908 | DEFINE_OPCODE(op_debug) { |
3909 | /* debug debugHookID(n) firstLine(n) lastLine(n) |
3910 | |
3911 | Notifies the debugger of the current state of execution. This opcode |
3912 | is only generated while the debugger is attached. |
3913 | */ |
3914 | int debugHookID = vPC[1].u.operand; |
3915 | int firstLine = vPC[2].u.operand; |
3916 | int lastLine = vPC[3].u.operand; |
3917 | |
3918 | debug(callFrame, debugHookID: static_cast<DebugHookID>(debugHookID), firstLine, lastLine); |
3919 | |
3920 | vPC += OPCODE_LENGTH(op_debug); |
3921 | NEXT_INSTRUCTION(); |
3922 | } |
3923 | DEFINE_OPCODE(op_profile_will_call) { |
3924 | /* op_profile_will_call function(r) |
3925 | |
3926 | Notifies the profiler of the beginning of a function call. This opcode |
3927 | is only generated if developer tools are enabled. |
3928 | */ |
3929 | int function = vPC[1].u.operand; |
3930 | |
3931 | if (*enabledProfilerReference) |
3932 | (*enabledProfilerReference)->willExecute(callFrame, function: callFrame->r(index: function).jsValue()); |
3933 | |
3934 | vPC += OPCODE_LENGTH(op_profile_will_call); |
3935 | NEXT_INSTRUCTION(); |
3936 | } |
3937 | DEFINE_OPCODE(op_profile_did_call) { |
3938 | /* op_profile_did_call function(r) |
3939 | |
3940 | Notifies the profiler of the end of a function call. This opcode |
3941 | is only generated if developer tools are enabled. |
3942 | */ |
3943 | int function = vPC[1].u.operand; |
3944 | |
3945 | if (*enabledProfilerReference) |
3946 | (*enabledProfilerReference)->didExecute(callFrame, function: callFrame->r(index: function).jsValue()); |
3947 | |
3948 | vPC += OPCODE_LENGTH(op_profile_did_call); |
3949 | NEXT_INSTRUCTION(); |
3950 | } |
3951 | vm_throw: { |
3952 | globalData->exception = JSValue(); |
3953 | if (!tickCount) { |
3954 | // The exceptionValue is a lie! (GCC produces bad code for reasons I |
3955 | // cannot fathom if we don't assign to the exceptionValue before branching) |
3956 | exceptionValue = createInterruptedExecutionException(globalData); |
3957 | } |
3958 | handler = throwException(callFrame, exceptionValue, bytecodeOffset: vPC - callFrame->codeBlock()->instructions().begin(), explicitThrow: false); |
3959 | if (!handler) { |
3960 | *exception = exceptionValue; |
3961 | return jsNull(); |
3962 | } |
3963 | |
3964 | vPC = callFrame->codeBlock()->instructions().begin() + handler->target; |
3965 | NEXT_INSTRUCTION(); |
3966 | } |
3967 | } |
3968 | #if !HAVE(COMPUTED_GOTO) |
3969 | } // iterator loop ends |
3970 | #endif |
3971 | #endif // USE(INTERPRETER) |
3972 | #undef NEXT_INSTRUCTION |
3973 | #undef DEFINE_OPCODE |
3974 | #undef CHECK_FOR_EXCEPTION |
3975 | #undef CHECK_FOR_TIMEOUT |
3976 | } |
3977 | |
3978 | JSValue Interpreter::retrieveArguments(CallFrame* callFrame, JSFunction* function) const |
3979 | { |
3980 | CallFrame* functionCallFrame = findFunctionCallFrame(callFrame, function); |
3981 | if (!functionCallFrame) |
3982 | return jsNull(); |
3983 | |
3984 | CodeBlock* codeBlock = functionCallFrame->codeBlock(); |
3985 | if (codeBlock->usesArguments()) { |
3986 | ASSERT(codeBlock->codeType() == FunctionCode); |
3987 | SymbolTable& symbolTable = *codeBlock->symbolTable(); |
3988 | int argumentsIndex = symbolTable.get(key: functionCallFrame->propertyNames().arguments.ustring().rep()).getIndex(); |
3989 | if (!functionCallFrame->r(index: argumentsIndex).jsValue()) { |
3990 | Arguments* arguments = new (callFrame) Arguments(functionCallFrame); |
3991 | functionCallFrame->setCalleeArguments(arguments); |
3992 | functionCallFrame->r(index: RegisterFile::ArgumentsRegister) = JSValue(arguments); |
3993 | } |
3994 | return functionCallFrame->r(index: argumentsIndex).jsValue(); |
3995 | } |
3996 | |
3997 | Arguments* arguments = functionCallFrame->optionalCalleeArguments(); |
3998 | if (!arguments) { |
3999 | arguments = new (functionCallFrame) Arguments(functionCallFrame); |
4000 | arguments->copyRegisters(); |
4001 | callFrame->setCalleeArguments(arguments); |
4002 | } |
4003 | |
4004 | return arguments; |
4005 | } |
4006 | |
4007 | JSValue Interpreter::retrieveCaller(CallFrame* callFrame, InternalFunction* function) const |
4008 | { |
4009 | CallFrame* functionCallFrame = findFunctionCallFrame(callFrame, function); |
4010 | if (!functionCallFrame) |
4011 | return jsNull(); |
4012 | |
4013 | CallFrame* callerFrame = functionCallFrame->callerFrame(); |
4014 | if (callerFrame->hasHostCallFrameFlag()) |
4015 | return jsNull(); |
4016 | |
4017 | JSValue caller = callerFrame->callee(); |
4018 | if (!caller) |
4019 | return jsNull(); |
4020 | |
4021 | return caller; |
4022 | } |
4023 | |
4024 | void Interpreter::retrieveLastCaller(CallFrame* callFrame, int& lineNumber, intptr_t& sourceID, UString& sourceURL, JSValue& function) const |
4025 | { |
4026 | function = JSValue(); |
4027 | lineNumber = -1; |
4028 | sourceURL = UString(); |
4029 | |
4030 | CallFrame* callerFrame = callFrame->callerFrame(); |
4031 | if (callerFrame->hasHostCallFrameFlag()) |
4032 | return; |
4033 | |
4034 | CodeBlock* callerCodeBlock = callerFrame->codeBlock(); |
4035 | if (!callerCodeBlock) |
4036 | return; |
4037 | |
4038 | unsigned bytecodeOffset = bytecodeOffsetForPC(callFrame: callerFrame, codeBlock: callerCodeBlock, pc: callFrame->returnPC()); |
4039 | lineNumber = callerCodeBlock->lineNumberForBytecodeOffset(callerFrame, bytecodeOffset: bytecodeOffset - 1); |
4040 | sourceID = callerCodeBlock->ownerExecutable()->sourceID(); |
4041 | sourceURL = callerCodeBlock->ownerExecutable()->sourceURL(); |
4042 | function = callerFrame->callee(); |
4043 | } |
4044 | |
4045 | CallFrame* Interpreter::findFunctionCallFrame(CallFrame* callFrame, InternalFunction* function) |
4046 | { |
4047 | for (CallFrame* candidate = callFrame; candidate; candidate = candidate->callerFrame()->removeHostCallFrameFlag()) { |
4048 | if (candidate->callee() == function) |
4049 | return candidate; |
4050 | } |
4051 | return 0; |
4052 | } |
4053 | |
4054 | void Interpreter::enableSampler() |
4055 | { |
4056 | #if ENABLE(OPCODE_SAMPLING) |
4057 | if (!m_sampler) { |
4058 | m_sampler.set(new SamplingTool(this)); |
4059 | m_sampler->setup(); |
4060 | } |
4061 | #endif |
4062 | } |
4063 | void Interpreter::dumpSampleData(ExecState* exec) |
4064 | { |
4065 | #if ENABLE(OPCODE_SAMPLING) |
4066 | if (m_sampler) |
4067 | m_sampler->dump(exec); |
4068 | #else |
4069 | UNUSED_PARAM(exec); |
4070 | #endif |
4071 | } |
4072 | void Interpreter::startSampling() |
4073 | { |
4074 | #if ENABLE(SAMPLING_THREAD) |
4075 | if (!m_sampleEntryDepth) |
4076 | SamplingThread::start(); |
4077 | |
4078 | m_sampleEntryDepth++; |
4079 | #endif |
4080 | } |
4081 | void Interpreter::stopSampling() |
4082 | { |
4083 | #if ENABLE(SAMPLING_THREAD) |
4084 | m_sampleEntryDepth--; |
4085 | if (!m_sampleEntryDepth) |
4086 | SamplingThread::stop(); |
4087 | #endif |
4088 | } |
4089 | |
4090 | } // namespace JSC |
4091 | |