ad783e212eca1be4d95b625b3421224c1f3ffe86
[WebKit-https.git] / JavaScriptCore / bytecode / CodeBlock.cpp
1 /*
2  * Copyright (C) 2008 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 "CodeBlock.h"
32
33 #include "JIT.h"
34 #include "JSValue.h"
35 #include "Interpreter.h"
36 #include "Debugger.h"
37 #include <stdio.h>
38 #include <wtf/StringExtras.h>
39
40 namespace JSC {
41
42 #if !defined(NDEBUG) || ENABLE(OPCODE_SAMPLING)
43
44 static UString escapeQuotes(const UString& str)
45 {
46     UString result = str;
47     int pos = 0;
48     while ((pos = result.find('\"', pos)) >= 0) {
49         result = result.substr(0, pos) + "\"\\\"\"" + result.substr(pos + 1);
50         pos += 4;
51     }
52     return result;
53 }
54
55 static UString valueToSourceString(ExecState* exec, JSValue* val)
56 {
57     if (val->isString()) {
58         UString result("\"");
59         result += escapeQuotes(val->toString(exec)) + "\"";
60         return result;
61     } 
62
63     return val->toString(exec);
64 }
65
66 static CString registerName(int r)
67 {
68     if (r == missingThisObjectMarker())
69         return "<null>";
70
71     return (UString("r") + UString::from(r)).UTF8String();
72 }
73
74 static CString constantName(ExecState* exec, int k, JSValue* value)
75 {
76     return (valueToSourceString(exec, value) + "(@k" + UString::from(k) + ")").UTF8String();
77 }
78
79 static CString idName(int id0, const Identifier& ident)
80 {
81     return (ident.ustring() + "(@id" + UString::from(id0) +")").UTF8String();
82 }
83
84 static UString regexpToSourceString(RegExp* regExp)
85 {
86     UString pattern = UString("/") + regExp->pattern() + "/";
87     if (regExp->global())
88         pattern += "g";
89     if (regExp->ignoreCase())
90         pattern += "i";
91     if (regExp->multiline())
92         pattern += "m";
93
94     return pattern;
95 }
96
97 static CString regexpName(int re, RegExp* regexp)
98 {
99     return (regexpToSourceString(regexp) + "(@re" + UString::from(re) + ")").UTF8String();
100 }
101
102 static UString pointerToSourceString(void* p)
103 {
104     char buffer[2 + 2 * sizeof(void*) + 1]; // 0x [two characters per byte] \0
105     snprintf(buffer, sizeof(buffer), "%p", p);
106     return buffer;
107 }
108
109 NEVER_INLINE static const char* debugHookName(int debugHookID)
110 {
111     switch (static_cast<DebugHookID>(debugHookID)) {
112         case DidEnterCallFrame:
113             return "didEnterCallFrame";
114         case WillLeaveCallFrame:
115             return "willLeaveCallFrame";
116         case WillExecuteStatement:
117             return "willExecuteStatement";
118         case WillExecuteProgram:
119             return "willExecuteProgram";
120         case DidExecuteProgram:
121             return "didExecuteProgram";
122         case DidReachBreakpoint:
123             return "didReachBreakpoint";
124     }
125
126     ASSERT_NOT_REACHED();
127     return "";
128 }
129
130 static int jumpTarget(const Vector<Instruction>::const_iterator& begin, Vector<Instruction>::const_iterator& it, int offset)
131 {
132     return it - begin + offset;
133 }
134
135 static void printUnaryOp(int location, Vector<Instruction>::const_iterator& it, const char* op)
136 {
137     int r0 = (++it)->u.operand;
138     int r1 = (++it)->u.operand;
139
140     printf("[%4d] %s\t\t %s, %s\n", location, op, registerName(r0).c_str(), registerName(r1).c_str());
141 }
142
143 static void printBinaryOp(int location, Vector<Instruction>::const_iterator& it, const char* op)
144 {
145     int r0 = (++it)->u.operand;
146     int r1 = (++it)->u.operand;
147     int r2 = (++it)->u.operand;
148     printf("[%4d] %s\t\t %s, %s, %s\n", location, op, registerName(r0).c_str(), registerName(r1).c_str(), registerName(r2).c_str());
149 }
150
151 static void printConditionalJump(const Vector<Instruction>::const_iterator& begin, Vector<Instruction>::const_iterator& it, int location, const char* op)
152 {
153     int r0 = (++it)->u.operand;
154     int offset = (++it)->u.operand;
155     printf("[%4d] %s\t\t %s, %d(->%d)\n", location, op, registerName(r0).c_str(), offset, jumpTarget(begin, it, offset));
156 }
157
158 static void printGetByIdOp(int location, Vector<Instruction>::const_iterator& it, const Vector<Identifier>& identifiers, const char* op)
159 {
160     int r0 = (++it)->u.operand;
161     int r1 = (++it)->u.operand;
162     int id0 = (++it)->u.operand;
163     printf("[%4d] %s\t %s, %s, %s\n", location, op, registerName(r0).c_str(), registerName(r1).c_str(), idName(id0, identifiers[id0]).c_str());
164     it += 4;
165 }
166
167 static void printPutByIdOp(int location, Vector<Instruction>::const_iterator& it, const Vector<Identifier>& identifiers, const char* op)
168 {
169     int r0 = (++it)->u.operand;
170     int id0 = (++it)->u.operand;
171     int r1 = (++it)->u.operand;
172     printf("[%4d] %s\t %s, %s, %s\n", location, op, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str(), registerName(r1).c_str());
173     it += 4;
174 }
175
176 void CodeBlock::printStructure(const char* name, const Instruction* vPC, int operand) const
177 {
178     unsigned instructionOffset = vPC - instructions.begin();
179     printf("  [%4d] %s: %s\n", instructionOffset, name, pointerToSourceString(vPC[operand].u.structure).UTF8String().c_str());
180 }
181
182 void CodeBlock::printStructures(const Instruction* vPC) const
183 {
184     Interpreter* interpreter = globalData->interpreter;
185     unsigned instructionOffset = vPC - instructions.begin();
186
187     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id)) {
188         printStructure("get_by_id", vPC, 4);
189         return;
190     }
191     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_self)) {
192         printStructure("get_by_id_self", vPC, 4);
193         return;
194     }
195     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_proto)) {
196         printf("  [%4d] %s: %s, %s\n", instructionOffset, "get_by_id_proto", pointerToSourceString(vPC[4].u.structure).UTF8String().c_str(), pointerToSourceString(vPC[5].u.structure).UTF8String().c_str());
197         return;
198     }
199     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_transition)) {
200         printf("  [%4d] %s: %s, %s, %s\n", instructionOffset, "put_by_id_new", pointerToSourceString(vPC[4].u.structure).UTF8String().c_str(), pointerToSourceString(vPC[5].u.structure).UTF8String().c_str(), pointerToSourceString(vPC[6].u.structureChain).UTF8String().c_str());
201         return;
202     }
203     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_chain)) {
204         printf("  [%4d] %s: %s, %s\n", instructionOffset, "get_by_id_chain", pointerToSourceString(vPC[4].u.structure).UTF8String().c_str(), pointerToSourceString(vPC[5].u.structureChain).UTF8String().c_str());
205         return;
206     }
207     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id)) {
208         printStructure("put_by_id", vPC, 4);
209         return;
210     }
211     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_replace)) {
212         printStructure("put_by_id_replace", vPC, 4);
213         return;
214     }
215     if (vPC[0].u.opcode == interpreter->getOpcode(op_resolve_global)) {
216         printStructure("resolve_global", vPC, 4);
217         return;
218     }
219
220     // These instructions doesn't ref Structures.
221     ASSERT(vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_generic) || vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_generic) || vPC[0].u.opcode == interpreter->getOpcode(op_call) || vPC[0].u.opcode == interpreter->getOpcode(op_call_eval) || vPC[0].u.opcode == interpreter->getOpcode(op_construct));
222 }
223
224 void CodeBlock::dump(ExecState* exec) const
225 {
226     Vector<Instruction>::const_iterator begin = instructions.begin();
227     Vector<Instruction>::const_iterator end = instructions.end();
228
229     size_t instructionCount = 0;
230     for (Vector<Instruction>::const_iterator it = begin; it != end; ++it)
231         if (exec->interpreter()->isOpcode(it->u.opcode))
232             ++instructionCount;
233
234     printf("%lu instructions; %lu bytes at %p; %d parameter(s); %d callee register(s)\n\n",
235         static_cast<unsigned long>(instructionCount),
236         static_cast<unsigned long>(instructions.size() * sizeof(Instruction)),
237         this, numParameters, numCalleeRegisters);
238     
239     for (Vector<Instruction>::const_iterator it = begin; it != end; ++it)
240         dump(exec, begin, it);
241
242     if (identifiers.size()) {
243         printf("\nIdentifiers:\n");
244         size_t i = 0;
245         do {
246             printf("  id%u = %s\n", static_cast<unsigned>(i), identifiers[i].ascii());
247             ++i;
248         } while (i != identifiers.size());
249     }
250
251     if (constantRegisters.size()) {
252         printf("\nConstants:\n");
253         unsigned registerIndex = numVars;
254         size_t i = 0;
255         do {
256             printf("   r%u = %s\n", registerIndex, valueToSourceString(exec, constantRegisters[i].jsValue(exec)).ascii());
257             ++i;
258             ++registerIndex;
259         } while (i < constantRegisters.size());
260     }
261
262     if (unexpectedConstants.size()) {
263         printf("\nUnexpected Constants:\n");
264         size_t i = 0;
265         do {
266             printf("  k%u = %s\n", static_cast<unsigned>(i), valueToSourceString(exec, unexpectedConstants[i]).ascii());
267             ++i;
268         } while (i < unexpectedConstants.size());
269     }
270     
271     if (regexps.size()) {
272         printf("\nRegExps:\n");
273         size_t i = 0;
274         do {
275             printf("  re%u = %s\n", static_cast<unsigned>(i), regexpToSourceString(regexps[i].get()).ascii());
276             ++i;
277         } while (i < regexps.size());
278     }
279
280     if (globalResolveInstructions.size() || propertyAccessInstructions.size())
281         printf("\nStructures:\n");
282
283     if (globalResolveInstructions.size()) {
284         size_t i = 0;
285         do {
286              printStructures(&instructions[globalResolveInstructions[i]]);
287              ++i;
288         } while (i < globalResolveInstructions.size());
289     }
290     if (propertyAccessInstructions.size()) {
291         size_t i = 0;
292         do {
293              printStructures(&instructions[propertyAccessInstructions[i].bytecodeIndex]);
294              ++i;
295         } while (i < propertyAccessInstructions.size());
296     }
297  
298     if (exceptionHandlers.size()) {
299         printf("\nException Handlers:\n");
300         unsigned i = 0;
301         do {
302             printf("\t %d: { start: [%4d] end: [%4d] target: [%4d] }\n", i + 1, exceptionHandlers[i].start, exceptionHandlers[i].end, exceptionHandlers[i].target);
303             ++i;
304         } while (i < exceptionHandlers.size());
305     }
306     
307     if (immediateSwitchJumpTables.size()) {
308         printf("Immediate Switch Jump Tables:\n");
309         unsigned i = 0;
310         do {
311             printf("  %1d = {\n", i);
312             int entry = 0;
313             Vector<int32_t>::const_iterator end = immediateSwitchJumpTables[i].branchOffsets.end();
314             for (Vector<int32_t>::const_iterator iter = immediateSwitchJumpTables[i].branchOffsets.begin(); iter != end; ++iter, ++entry) {
315                 if (!*iter)
316                     continue;
317                 printf("\t\t%4d => %04d\n", entry + immediateSwitchJumpTables[i].min, *iter);
318             }
319             printf("      }\n");
320             ++i;
321         } while (i < immediateSwitchJumpTables.size());
322     }
323     
324     if (characterSwitchJumpTables.size()) {
325         printf("\nCharacter Switch Jump Tables:\n");
326         unsigned i = 0;
327         do {
328             printf("  %1d = {\n", i);
329             int entry = 0;
330             Vector<int32_t>::const_iterator end = characterSwitchJumpTables[i].branchOffsets.end();
331             for (Vector<int32_t>::const_iterator iter = characterSwitchJumpTables[i].branchOffsets.begin(); iter != end; ++iter, ++entry) {
332                 if (!*iter)
333                     continue;
334                 ASSERT(!((i + characterSwitchJumpTables[i].min) & ~0xFFFF));
335                 UChar ch = static_cast<UChar>(entry + characterSwitchJumpTables[i].min);
336                 printf("\t\t\"%s\" => %04d\n", UString(&ch, 1).ascii(), *iter);
337         }
338             printf("      }\n");
339             ++i;
340         } while (i < characterSwitchJumpTables.size());
341     }
342     
343     if (stringSwitchJumpTables.size()) {
344         printf("\nString Switch Jump Tables:\n");
345         unsigned i = 0;
346         do {
347             printf("  %1d = {\n", i);
348             StringJumpTable::StringOffsetTable::const_iterator end = stringSwitchJumpTables[i].offsetTable.end();
349             for (StringJumpTable::StringOffsetTable::const_iterator iter = stringSwitchJumpTables[i].offsetTable.begin(); iter != end; ++iter)
350                 printf("\t\t\"%s\" => %04d\n", UString(iter->first).ascii(), iter->second.branchOffset);
351             printf("      }\n");
352             ++i;
353         } while (i < stringSwitchJumpTables.size());
354     }
355
356     printf("\n");
357 }
358
359 void CodeBlock::dump(ExecState* exec, const Vector<Instruction>::const_iterator& begin, Vector<Instruction>::const_iterator& it) const
360 {
361     int location = it - begin;
362     switch (exec->interpreter()->getOpcodeID(it->u.opcode)) {
363         case op_enter: {
364             printf("[%4d] enter\n", location);
365             break;
366         }
367         case op_enter_with_activation: {
368             int r0 = (++it)->u.operand;
369             printf("[%4d] enter_with_activation %s\n", location, registerName(r0).c_str());
370             break;
371         }
372         case op_create_arguments: {
373             printf("[%4d] create_arguments\n", location);
374             break;
375         }
376         case op_convert_this: {
377             int r0 = (++it)->u.operand;
378             printf("[%4d] convert_this %s\n", location, registerName(r0).c_str());
379             break;
380         }
381         case op_unexpected_load: {
382             int r0 = (++it)->u.operand;
383             int k0 = (++it)->u.operand;
384             printf("[%4d] unexpected_load\t %s, %s\n", location, registerName(r0).c_str(), constantName(exec, k0, unexpectedConstants[k0]).c_str());
385             break;
386         }
387         case op_new_object: {
388             int r0 = (++it)->u.operand;
389             printf("[%4d] new_object\t %s\n", location, registerName(r0).c_str());
390             break;
391         }
392         case op_new_array: {
393             int dst = (++it)->u.operand;
394             int argv = (++it)->u.operand;
395             int argc = (++it)->u.operand;
396             printf("[%4d] new_array\t %s, %s, %d\n", location, registerName(dst).c_str(), registerName(argv).c_str(), argc);
397             break;
398         }
399         case op_new_regexp: {
400             int r0 = (++it)->u.operand;
401             int re0 = (++it)->u.operand;
402             printf("[%4d] new_regexp\t %s, %s\n", location, registerName(r0).c_str(), regexpName(re0, regexps[re0].get()).c_str());
403             break;
404         }
405         case op_mov: {
406             int r0 = (++it)->u.operand;
407             int r1 = (++it)->u.operand;
408             printf("[%4d] mov\t\t %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str());
409             break;
410         }
411         case op_not: {
412             printUnaryOp(location, it, "not");
413             break;
414         }
415         case op_eq: {
416             printBinaryOp(location, it, "eq");
417             break;
418         }
419         case op_eq_null: {
420             printUnaryOp(location, it, "eq_null");
421             break;
422         }
423         case op_neq: {
424             printBinaryOp(location, it, "neq");
425             break;
426         }
427         case op_neq_null: {
428             printUnaryOp(location, it, "neq_null");
429             break;
430         }
431         case op_stricteq: {
432             printBinaryOp(location, it, "stricteq");
433             break;
434         }
435         case op_nstricteq: {
436             printBinaryOp(location, it, "nstricteq");
437             break;
438         }
439         case op_less: {
440             printBinaryOp(location, it, "less");
441             break;
442         }
443         case op_lesseq: {
444             printBinaryOp(location, it, "lesseq");
445             break;
446         }
447         case op_pre_inc: {
448             int r0 = (++it)->u.operand;
449             printf("[%4d] pre_inc\t\t %s\n", location, registerName(r0).c_str());
450             break;
451         }
452         case op_pre_dec: {
453             int r0 = (++it)->u.operand;
454             printf("[%4d] pre_dec\t\t %s\n", location, registerName(r0).c_str());
455             break;
456         }
457         case op_post_inc: {
458             printUnaryOp(location, it, "post_inc");
459             break;
460         }
461         case op_post_dec: {
462             printUnaryOp(location, it, "post_dec");
463             break;
464         }
465         case op_to_jsnumber: {
466             printUnaryOp(location, it, "to_jsnumber");
467             break;
468         }
469         case op_negate: {
470             printUnaryOp(location, it, "negate");
471             ++it;
472             break;
473         }
474         case op_add: {
475             printBinaryOp(location, it, "add");
476             ++it;
477             break;
478         }
479         case op_mul: {
480             printBinaryOp(location, it, "mul");
481             ++it;
482             break;
483         }
484         case op_div: {
485             printBinaryOp(location, it, "div");
486             break;
487         }
488         case op_mod: {
489             printBinaryOp(location, it, "mod");
490             break;
491         }
492         case op_sub: {
493             printBinaryOp(location, it, "sub");
494             ++it;
495             break;
496         }
497         case op_lshift: {
498             printBinaryOp(location, it, "lshift");
499             break;            
500         }
501         case op_rshift: {
502             printBinaryOp(location, it, "rshift");
503             break;
504         }
505         case op_urshift: {
506             printBinaryOp(location, it, "urshift");
507             break;
508         }
509         case op_bitand: {
510             printBinaryOp(location, it, "bitand");
511             ++it;
512             break;
513         }
514         case op_bitxor: {
515             printBinaryOp(location, it, "bitxor");
516             ++it;
517             break;
518         }
519         case op_bitor: {
520             printBinaryOp(location, it, "bitor");
521             ++it;
522             break;
523         }
524         case op_bitnot: {
525             printUnaryOp(location, it, "bitnot");
526             break;
527         }
528         case op_instanceof: {
529             int r0 = (++it)->u.operand;
530             int r1 = (++it)->u.operand;
531             int r2 = (++it)->u.operand;
532             int r3 = (++it)->u.operand;
533             printf("[%4d] instanceof\t\t %s, %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), registerName(r2).c_str(), registerName(r3).c_str());
534             break;
535         }
536         case op_typeof: {
537             printUnaryOp(location, it, "typeof");
538             break;
539         }
540         case op_is_undefined: {
541             printUnaryOp(location, it, "is_undefined");
542             break;
543         }
544         case op_is_boolean: {
545             printUnaryOp(location, it, "is_boolean");
546             break;
547         }
548         case op_is_number: {
549             printUnaryOp(location, it, "is_number");
550             break;
551         }
552         case op_is_string: {
553             printUnaryOp(location, it, "is_string");
554             break;
555         }
556         case op_is_object: {
557             printUnaryOp(location, it, "is_object");
558             break;
559         }
560         case op_is_function: {
561             printUnaryOp(location, it, "is_function");
562             break;
563         }
564         case op_in: {
565             printBinaryOp(location, it, "in");
566             break;
567         }
568         case op_resolve: {
569             int r0 = (++it)->u.operand;
570             int id0 = (++it)->u.operand;
571             printf("[%4d] resolve\t\t %s, %s\n", location, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str());
572             break;
573         }
574         case op_resolve_skip: {
575             int r0 = (++it)->u.operand;
576             int id0 = (++it)->u.operand;
577             int skipLevels = (++it)->u.operand;
578             printf("[%4d] resolve_skip\t %s, %s, %d\n", location, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str(), skipLevels);
579             break;
580         }
581         case op_resolve_global: {
582             int r0 = (++it)->u.operand;
583             JSValue* scope = static_cast<JSValue*>((++it)->u.jsCell);
584             int id0 = (++it)->u.operand;
585             printf("[%4d] resolve_global\t %s, %s, %s\n", location, registerName(r0).c_str(), valueToSourceString(exec, scope).ascii(), idName(id0, identifiers[id0]).c_str());
586             it += 2;
587             break;
588         }
589         case op_get_scoped_var: {
590             int r0 = (++it)->u.operand;
591             int index = (++it)->u.operand;
592             int skipLevels = (++it)->u.operand;
593             printf("[%4d] get_scoped_var\t %s, %d, %d\n", location, registerName(r0).c_str(), index, skipLevels);
594             break;
595         }
596         case op_put_scoped_var: {
597             int index = (++it)->u.operand;
598             int skipLevels = (++it)->u.operand;
599             int r0 = (++it)->u.operand;
600             printf("[%4d] put_scoped_var\t %d, %d, %s\n", location, index, skipLevels, registerName(r0).c_str());
601             break;
602         }
603         case op_get_global_var: {
604             int r0 = (++it)->u.operand;
605             JSValue* scope = static_cast<JSValue*>((++it)->u.jsCell);
606             int index = (++it)->u.operand;
607             printf("[%4d] get_global_var\t %s, %s, %d\n", location, registerName(r0).c_str(), valueToSourceString(exec, scope).ascii(), index);
608             break;
609         }
610         case op_put_global_var: {
611             JSValue* scope = static_cast<JSValue*>((++it)->u.jsCell);
612             int index = (++it)->u.operand;
613             int r0 = (++it)->u.operand;
614             printf("[%4d] put_global_var\t %s, %d, %s\n", location, valueToSourceString(exec, scope).ascii(), index, registerName(r0).c_str());
615             break;
616         }
617         case op_resolve_base: {
618             int r0 = (++it)->u.operand;
619             int id0 = (++it)->u.operand;
620             printf("[%4d] resolve_base\t %s, %s\n", location, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str());
621             break;
622         }
623         case op_resolve_with_base: {
624             int r0 = (++it)->u.operand;
625             int r1 = (++it)->u.operand;
626             int id0 = (++it)->u.operand;
627             printf("[%4d] resolve_with_base %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), idName(id0, identifiers[id0]).c_str());
628             break;
629         }
630         case op_resolve_func: {
631             int r0 = (++it)->u.operand;
632             int r1 = (++it)->u.operand;
633             int id0 = (++it)->u.operand;
634             printf("[%4d] resolve_func\t %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), idName(id0, identifiers[id0]).c_str());
635             break;
636         }
637         case op_get_by_id: {
638             printGetByIdOp(location, it, identifiers, "get_by_id");
639             break;
640         }
641         case op_get_by_id_self: {
642             printGetByIdOp(location, it, identifiers, "get_by_id_self");
643             break;
644         }
645         case op_get_by_id_self_list: {
646             printGetByIdOp(location, it, identifiers, "get_by_id_self_list");
647             break;
648         }
649         case op_get_by_id_proto: {
650             printGetByIdOp(location, it, identifiers, "get_by_id_proto");
651             break;
652         }
653         case op_get_by_id_proto_list: {
654             printGetByIdOp(location, it, identifiers, "op_get_by_id_proto_list");
655             break;
656         }
657         case op_get_by_id_chain: {
658             printGetByIdOp(location, it, identifiers, "get_by_id_chain");
659             break;
660         }
661         case op_get_by_id_generic: {
662             printGetByIdOp(location, it, identifiers, "get_by_id_generic");
663             break;
664         }
665         case op_get_array_length: {
666             printGetByIdOp(location, it, identifiers, "get_array_length");
667             break;
668         }
669         case op_get_string_length: {
670             printGetByIdOp(location, it, identifiers, "get_string_length");
671             break;
672         }
673         case op_put_by_id: {
674             printPutByIdOp(location, it, identifiers, "put_by_id");
675             break;
676         }
677         case op_put_by_id_replace: {
678             printPutByIdOp(location, it, identifiers, "put_by_id_replace");
679             break;
680         }
681         case op_put_by_id_transition: {
682             printPutByIdOp(location, it, identifiers, "put_by_id_transition");
683             break;
684         }
685         case op_put_by_id_generic: {
686             printPutByIdOp(location, it, identifiers, "put_by_id_generic");
687             break;
688         }
689         case op_put_getter: {
690             int r0 = (++it)->u.operand;
691             int id0 = (++it)->u.operand;
692             int r1 = (++it)->u.operand;
693             printf("[%4d] put_getter\t %s, %s, %s\n", location, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str(), registerName(r1).c_str());
694             break;
695         }
696         case op_put_setter: {
697             int r0 = (++it)->u.operand;
698             int id0 = (++it)->u.operand;
699             int r1 = (++it)->u.operand;
700             printf("[%4d] put_setter\t %s, %s, %s\n", location, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str(), registerName(r1).c_str());
701             break;
702         }
703         case op_del_by_id: {
704             int r0 = (++it)->u.operand;
705             int r1 = (++it)->u.operand;
706             int id0 = (++it)->u.operand;
707             printf("[%4d] del_by_id\t %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), idName(id0, identifiers[id0]).c_str());
708             break;
709         }
710         case op_get_by_val: {
711             int r0 = (++it)->u.operand;
712             int r1 = (++it)->u.operand;
713             int r2 = (++it)->u.operand;
714             printf("[%4d] get_by_val\t %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), registerName(r2).c_str());
715             break;
716         }
717         case op_put_by_val: {
718             int r0 = (++it)->u.operand;
719             int r1 = (++it)->u.operand;
720             int r2 = (++it)->u.operand;
721             printf("[%4d] put_by_val\t %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), registerName(r2).c_str());
722             break;
723         }
724         case op_del_by_val: {
725             int r0 = (++it)->u.operand;
726             int r1 = (++it)->u.operand;
727             int r2 = (++it)->u.operand;
728             printf("[%4d] del_by_val\t %s, %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str(), registerName(r2).c_str());
729             break;
730         }
731         case op_put_by_index: {
732             int r0 = (++it)->u.operand;
733             unsigned n0 = (++it)->u.operand;
734             int r1 = (++it)->u.operand;
735             printf("[%4d] put_by_index\t %s, %u, %s\n", location, registerName(r0).c_str(), n0, registerName(r1).c_str());
736             break;
737         }
738         case op_jmp: {
739             int offset = (++it)->u.operand;
740             printf("[%4d] jmp\t\t %d(->%d)\n", location, offset, jumpTarget(begin, it, offset));
741             break;
742         }
743         case op_loop: {
744             int offset = (++it)->u.operand;
745             printf("[%4d] loop\t\t %d(->%d)\n", location, offset, jumpTarget(begin, it, offset));
746             break;
747         }
748         case op_jtrue: {
749             printConditionalJump(begin, it, location, "jtrue");
750             break;
751         }
752         case op_loop_if_true: {
753             printConditionalJump(begin, it, location, "loop_if_true");
754             break;
755         }
756         case op_jfalse: {
757             printConditionalJump(begin, it, location, "jfalse");
758             break;
759         }
760         case op_jeq_null: {
761             printConditionalJump(begin, it, location, "jeq_null");
762             break;
763         }
764         case op_jneq_null: {
765             printConditionalJump(begin, it, location, "jneq_null");
766             break;
767         }
768         case op_jnless: {
769             int r0 = (++it)->u.operand;
770             int r1 = (++it)->u.operand;
771             int offset = (++it)->u.operand;
772             printf("[%4d] jnless\t\t %s, %s, %d(->%d)\n", location, registerName(r0).c_str(), registerName(r1).c_str(), offset, jumpTarget(begin, it, offset));
773             break;
774         }
775         case op_loop_if_less: {
776             int r0 = (++it)->u.operand;
777             int r1 = (++it)->u.operand;
778             int offset = (++it)->u.operand;
779             printf("[%4d] loop_if_less\t %s, %s, %d(->%d)\n", location, registerName(r0).c_str(), registerName(r1).c_str(), offset, jumpTarget(begin, it, offset));
780             break;
781         }
782         case op_loop_if_lesseq: {
783             int r0 = (++it)->u.operand;
784             int r1 = (++it)->u.operand;
785             int offset = (++it)->u.operand;
786             printf("[%4d] loop_if_lesseq\t %s, %s, %d(->%d)\n", location, registerName(r0).c_str(), registerName(r1).c_str(), offset, jumpTarget(begin, it, offset));
787             break;
788         }
789         case op_switch_imm: {
790             int tableIndex = (++it)->u.operand;
791             int defaultTarget = (++it)->u.operand;
792             int scrutineeRegister = (++it)->u.operand;
793             printf("[%4d] switch_imm\t %d, %d(->%d), %s\n", location, tableIndex, defaultTarget, jumpTarget(begin, it, defaultTarget), registerName(scrutineeRegister).c_str());
794             break;
795         }
796         case op_switch_char: {
797             int tableIndex = (++it)->u.operand;
798             int defaultTarget = (++it)->u.operand;
799             int scrutineeRegister = (++it)->u.operand;
800             printf("[%4d] switch_char\t %d, %d(->%d), %s\n", location, tableIndex, defaultTarget, jumpTarget(begin, it, defaultTarget), registerName(scrutineeRegister).c_str());
801             break;
802         }
803         case op_switch_string: {
804             int tableIndex = (++it)->u.operand;
805             int defaultTarget = (++it)->u.operand;
806             int scrutineeRegister = (++it)->u.operand;
807             printf("[%4d] switch_string\t %d, %d(->%d), %s\n", location, tableIndex, defaultTarget, jumpTarget(begin, it, defaultTarget), registerName(scrutineeRegister).c_str());
808             break;
809         }
810         case op_new_func: {
811             int r0 = (++it)->u.operand;
812             int f0 = (++it)->u.operand;
813             printf("[%4d] new_func\t\t %s, f%d\n", location, registerName(r0).c_str(), f0);
814             break;
815         }
816         case op_new_func_exp: {
817             int r0 = (++it)->u.operand;
818             int f0 = (++it)->u.operand;
819             printf("[%4d] new_func_exp\t %s, f%d\n", location, registerName(r0).c_str(), f0);
820             break;
821         }
822         case op_call: {
823             int dst = (++it)->u.operand;
824             int func = (++it)->u.operand;
825             int argCount = (++it)->u.operand;
826             int registerOffset = (++it)->u.operand;
827             printf("[%4d] call\t\t %s, %s, %d, %d\n", location, registerName(dst).c_str(), registerName(func).c_str(), argCount, registerOffset);
828             break;
829         }
830         case op_call_eval: {
831             int dst = (++it)->u.operand;
832             int func = (++it)->u.operand;
833             int argCount = (++it)->u.operand;
834             int registerOffset = (++it)->u.operand;
835             printf("[%4d] call_eval\t %s, %s, %d, %d\n", location, registerName(dst).c_str(), registerName(func).c_str(), argCount, registerOffset);
836             break;
837         }
838         case op_tear_off_activation: {
839             int r0 = (++it)->u.operand;
840             printf("[%4d] tear_off_activation\t %s\n", location, registerName(r0).c_str());
841             break;
842         }
843         case op_tear_off_arguments: {
844             printf("[%4d] tear_off_arguments\n", location);
845             break;
846         }
847         case op_ret: {
848             int r0 = (++it)->u.operand;
849             printf("[%4d] ret\t\t %s\n", location, registerName(r0).c_str());
850             break;
851         }
852         case op_construct: {
853             int dst = (++it)->u.operand;
854             int func = (++it)->u.operand;
855             int argCount = (++it)->u.operand;
856             int registerOffset = (++it)->u.operand;
857             int proto = (++it)->u.operand;
858             int thisRegister = (++it)->u.operand;
859             printf("[%4d] construct\t %s, %s, %d, %d, %s, %s\n", location, registerName(dst).c_str(), registerName(func).c_str(), argCount, registerOffset, registerName(proto).c_str(), registerName(thisRegister).c_str());
860             break;
861         }
862         case op_construct_verify: {
863             int r0 = (++it)->u.operand;
864             int r1 = (++it)->u.operand;
865             printf("[%4d] construct_verify\t %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str());
866             break;
867         }
868         case op_get_pnames: {
869             int r0 = (++it)->u.operand;
870             int r1 = (++it)->u.operand;
871             printf("[%4d] get_pnames\t %s, %s\n", location, registerName(r0).c_str(), registerName(r1).c_str());
872             break;
873         }
874         case op_next_pname: {
875             int dest = (++it)->u.operand;
876             int iter = (++it)->u.operand;
877             int offset = (++it)->u.operand;
878             printf("[%4d] next_pname\t %s, %s, %d(->%d)\n", location, registerName(dest).c_str(), registerName(iter).c_str(), offset, jumpTarget(begin, it, offset));
879             break;
880         }
881         case op_push_scope: {
882             int r0 = (++it)->u.operand;
883             printf("[%4d] push_scope\t %s\n", location, registerName(r0).c_str());
884             break;
885         }
886         case op_pop_scope: {
887             printf("[%4d] pop_scope\n", location);
888             break;
889         }
890         case op_push_new_scope: {
891             int r0 = (++it)->u.operand;
892             int id0 = (++it)->u.operand;
893             int r1 = (++it)->u.operand;
894             printf("[%4d] push_new_scope \t%s, %s, %s\n", location, registerName(r0).c_str(), idName(id0, identifiers[id0]).c_str(), registerName(r1).c_str());
895             break;
896         }
897         case op_jmp_scopes: {
898             int scopeDelta = (++it)->u.operand;
899             int offset = (++it)->u.operand;
900             printf("[%4d] jmp_scopes\t^%d, %d(->%d)\n", location, scopeDelta, offset, jumpTarget(begin, it, offset));
901             break;
902         }
903         case op_catch: {
904             int r0 = (++it)->u.operand;
905             printf("[%4d] catch\t\t %s\n", location, registerName(r0).c_str());
906             break;
907         }
908         case op_throw: {
909             int r0 = (++it)->u.operand;
910             printf("[%4d] throw\t\t %s\n", location, registerName(r0).c_str());
911             break;
912         }
913         case op_new_error: {
914             int r0 = (++it)->u.operand;
915             int errorType = (++it)->u.operand;
916             int k0 = (++it)->u.operand;
917             printf("[%4d] new_error\t %s, %d, %s\n", location, registerName(r0).c_str(), errorType, constantName(exec, k0, unexpectedConstants[k0]).c_str());
918             break;
919         }
920         case op_jsr: {
921             int retAddrDst = (++it)->u.operand;
922             int offset = (++it)->u.operand;
923             printf("[%4d] jsr\t\t %s, %d(->%d)\n", location, registerName(retAddrDst).c_str(), offset, jumpTarget(begin, it, offset));
924             break;
925         }
926         case op_sret: {
927             int retAddrSrc = (++it)->u.operand;
928             printf("[%4d] sret\t\t %s\n", location, registerName(retAddrSrc).c_str());
929             break;
930         }
931         case op_debug: {
932             int debugHookID = (++it)->u.operand;
933             int firstLine = (++it)->u.operand;
934             int lastLine = (++it)->u.operand;
935             printf("[%4d] debug\t\t %s, %d, %d\n", location, debugHookName(debugHookID), firstLine, lastLine);
936             break;
937         }
938         case op_profile_will_call: {
939             int function = (++it)->u.operand;
940             printf("[%4d] profile_will_call %s\n", location, registerName(function).c_str());
941             break;
942         }
943         case op_profile_did_call: {
944             int function = (++it)->u.operand;
945             printf("[%4d] profile_did_call\t %s\n", location, registerName(function).c_str());
946             break;
947         }
948         case op_end: {
949             int r0 = (++it)->u.operand;
950             printf("[%4d] end\t\t %s\n", location, registerName(r0).c_str());
951             break;
952         }
953     }
954 }
955
956 #endif // !defined(NDEBUG) || ENABLE(OPCODE_SAMPLING)
957
958 CodeBlock::~CodeBlock()
959 {
960     for (size_t size = globalResolveInstructions.size(), i = 0; i < size; ++i) {
961         derefStructures(&instructions[globalResolveInstructions[i]]);
962     }
963
964     for (size_t size = propertyAccessInstructions.size(), i = 0; i < size; ++i) {
965         derefStructures(&instructions[propertyAccessInstructions[i].bytecodeIndex]);
966         if (propertyAccessInstructions[i].stubRoutine)
967             WTF::fastFreeExecutable(propertyAccessInstructions[i].stubRoutine);
968     }
969
970     for (size_t size = callLinkInfos.size(), i = 0; i < size; ++i) {
971         CallLinkInfo* callLinkInfo = &callLinkInfos[i];
972         if (callLinkInfo->isLinked())
973             callLinkInfo->callee->removeCaller(callLinkInfo);
974     }
975
976 #if ENABLE(JIT) 
977     unlinkCallers();
978
979     if (ctiCode)
980         WTF::fastFreeExecutable(ctiCode);
981 #endif
982 }
983
984 #if ENABLE(JIT) 
985 void CodeBlock::unlinkCallers()
986 {
987     size_t size = linkedCallerList.size();
988     for (size_t i = 0; i < size; ++i) {
989         CallLinkInfo* currentCaller = linkedCallerList[i];
990         JIT::unlinkCall(currentCaller);
991         currentCaller->setUnlinked();
992     }
993     linkedCallerList.clear();
994 }
995 #endif
996
997 void CodeBlock::derefStructures(Instruction* vPC) const
998 {
999     Interpreter* interpreter = globalData->interpreter;
1000
1001     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_self)) {
1002         vPC[4].u.structure->deref();
1003         return;
1004     }
1005     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_proto)) {
1006         vPC[4].u.structure->deref();
1007         vPC[5].u.structure->deref();
1008         return;
1009     }
1010     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_chain)) {
1011         vPC[4].u.structure->deref();
1012         vPC[5].u.structureChain->deref();
1013         return;
1014     }
1015     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_transition)) {
1016         vPC[4].u.structure->deref();
1017         vPC[5].u.structure->deref();
1018         vPC[6].u.structureChain->deref();
1019         return;
1020     }
1021     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_replace)) {
1022         vPC[4].u.structure->deref();
1023         return;
1024     }
1025     if (vPC[0].u.opcode == interpreter->getOpcode(op_resolve_global)) {
1026         if(vPC[4].u.structure)
1027             vPC[4].u.structure->deref();
1028         return;
1029     }
1030     if ((vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_proto_list))
1031         || (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_self_list))) {
1032         PolymorphicAccessStructureList* polymorphicStructures = vPC[4].u.polymorphicStructures;
1033         polymorphicStructures->derefStructures(vPC[5].u.operand);
1034         delete polymorphicStructures;
1035         return;
1036     }
1037
1038     // These instructions don't ref their Structures.
1039     ASSERT(vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id) || vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id) || vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_generic) || vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_generic) || vPC[0].u.opcode == interpreter->getOpcode(op_get_array_length) || vPC[0].u.opcode == interpreter->getOpcode(op_get_string_length));
1040 }
1041
1042 void CodeBlock::refStructures(Instruction* vPC) const
1043 {
1044     Interpreter* interpreter = globalData->interpreter;
1045
1046     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_self)) {
1047         vPC[4].u.structure->ref();
1048         return;
1049     }
1050     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_proto)) {
1051         vPC[4].u.structure->ref();
1052         vPC[5].u.structure->ref();
1053         return;
1054     }
1055     if (vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_chain)) {
1056         vPC[4].u.structure->ref();
1057         vPC[5].u.structureChain->ref();
1058         return;
1059     }
1060     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_transition)) {
1061         vPC[4].u.structure->ref();
1062         vPC[5].u.structure->ref();
1063         vPC[6].u.structureChain->ref();
1064         return;
1065     }
1066     if (vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_replace)) {
1067         vPC[4].u.structure->ref();
1068         return;
1069     }
1070     
1071     // These instructions don't ref their Structures.
1072     ASSERT(vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id) || vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id) || vPC[0].u.opcode == interpreter->getOpcode(op_get_by_id_generic) || vPC[0].u.opcode == interpreter->getOpcode(op_put_by_id_generic));
1073 }
1074
1075 void CodeBlock::mark()
1076 {
1077     for (size_t i = 0; i < constantRegisters.size(); ++i)
1078         if (!constantRegisters[i].marked())
1079             constantRegisters[i].mark();
1080
1081     for (size_t i = 0; i < unexpectedConstants.size(); ++i)
1082         if (!unexpectedConstants[i]->marked())
1083             unexpectedConstants[i]->mark();
1084
1085     for (size_t i = 0; i < functions.size(); ++i)
1086         functions[i]->body()->mark();
1087
1088     for (size_t i = 0; i < functionExpressions.size(); ++i)
1089         functionExpressions[i]->body()->mark();
1090 }
1091
1092 bool CodeBlock::getHandlerForVPC(const Instruction* vPC, Instruction*& target, int& scopeDepth)
1093 {
1094     Vector<HandlerInfo>::iterator ptr = exceptionHandlers.begin(); 
1095     Vector<HandlerInfo>::iterator end = exceptionHandlers.end();
1096     unsigned addressOffset = vPC - instructions.begin();
1097     ASSERT(addressOffset < instructions.size());
1098     
1099     for (; ptr != end; ++ptr) {
1100         // Handlers are ordered innermost first, so the first handler we encounter
1101         // that contains the source address is the correct handler to use.
1102         if (ptr->start <= addressOffset && ptr->end >= addressOffset) {
1103             scopeDepth = ptr->scopeDepth;
1104             target = instructions.begin() + ptr->target;
1105             return true;
1106         }
1107     }
1108     return false;
1109 }
1110
1111 void* CodeBlock::nativeExceptionCodeForHandlerVPC(const Instruction* handlerVPC)
1112 {
1113     Vector<HandlerInfo>::iterator ptr = exceptionHandlers.begin(); 
1114     Vector<HandlerInfo>::iterator end = exceptionHandlers.end();
1115     
1116     for (; ptr != end; ++ptr) {
1117         Instruction*target = instructions.begin() + ptr->target;
1118         if (handlerVPC == target)
1119             return ptr->nativeCode;
1120     }
1121
1122     return 0;
1123 }
1124
1125 int CodeBlock::lineNumberForVPC(const Instruction* vPC)
1126 {
1127     unsigned instructionOffset = vPC - instructions.begin();
1128     ASSERT(instructionOffset < instructions.size());
1129
1130     if (!lineInfo.size())
1131         return ownerNode->source().firstLine(); // Empty function
1132
1133     int low = 0;
1134     int high = lineInfo.size();
1135     while (low < high) {
1136         int mid = low + (high - low) / 2;
1137         if (lineInfo[mid].instructionOffset <= instructionOffset)
1138             low = mid + 1;
1139         else
1140             high = mid;
1141     }
1142     
1143     if (!low)
1144         return ownerNode->source().firstLine();
1145     return lineInfo[low - 1].lineNumber;
1146 }
1147
1148 int CodeBlock::expressionRangeForVPC(const Instruction* vPC, int& divot, int& startOffset, int& endOffset)
1149 {
1150     unsigned instructionOffset = vPC - instructions.begin();
1151     ASSERT(instructionOffset < instructions.size());
1152
1153     if (!expressionInfo.size()) {
1154         // We didn't think anything could throw.  Apparently we were wrong.
1155         startOffset = 0;
1156         endOffset = 0;
1157         divot = 0;
1158         return lineNumberForVPC(vPC);
1159     }
1160
1161     int low = 0;
1162     int high = expressionInfo.size();
1163     while (low < high) {
1164         int mid = low + (high - low) / 2;
1165         if (expressionInfo[mid].instructionOffset <= instructionOffset)
1166             low = mid + 1;
1167         else
1168             high = mid;
1169     }
1170     
1171     ASSERT(low);
1172     if (!low) {
1173         startOffset = 0;
1174         endOffset = 0;
1175         divot = 0;
1176         return lineNumberForVPC(vPC);
1177     }
1178
1179     startOffset = expressionInfo[low - 1].startOffset;
1180     endOffset = expressionInfo[low - 1].endOffset;
1181     divot = expressionInfo[low - 1].divotPoint + sourceOffset;
1182     return lineNumberForVPC(vPC);
1183 }
1184
1185 int32_t SimpleJumpTable::offsetForValue(int32_t value, int32_t defaultOffset)
1186 {
1187     if (value >= min && static_cast<uint32_t>(value - min) < branchOffsets.size()) {
1188         int32_t offset = branchOffsets[value - min];
1189         if (offset)
1190             return offset;
1191     }
1192     return defaultOffset;        
1193 }
1194
1195 } // namespace JSC