Unreviewed, rolling out r156474.
[WebKit-https.git] / Source / JavaScriptCore / bytecode / CodeBlock.h
1 /*
2  * Copyright (C) 2008, 2009, 2010, 2011, 2012, 2013 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 #ifndef CodeBlock_h
31 #define CodeBlock_h
32
33 #include "ArrayProfile.h"
34 #include "ByValInfo.h"
35 #include "BytecodeConventions.h"
36 #include "CallLinkInfo.h"
37 #include "CallReturnOffsetToBytecodeOffset.h"
38 #include "CodeBlockHash.h"
39 #include "CodeBlockSet.h"
40 #include "ConcurrentJITLock.h"
41 #include "CodeOrigin.h"
42 #include "CodeType.h"
43 #include "CompactJITCodeMap.h"
44 #include "DFGCommon.h"
45 #include "DFGCommonData.h"
46 #include "DFGExitProfile.h"
47 #include "DFGMinifiedGraph.h"
48 #include "DFGOSREntry.h"
49 #include "DFGOSRExit.h"
50 #include "DFGVariableEventStream.h"
51 #include "DeferredCompilationCallback.h"
52 #include "EvalCodeCache.h"
53 #include "ExecutionCounter.h"
54 #include "ExpressionRangeInfo.h"
55 #include "HandlerInfo.h"
56 #include "ObjectAllocationProfile.h"
57 #include "Options.h"
58 #include "Operations.h"
59 #include "PutPropertySlot.h"
60 #include "Instruction.h"
61 #include "JITCode.h"
62 #include "JITWriteBarrier.h"
63 #include "JSGlobalObject.h"
64 #include "JumpReplacementWatchpoint.h"
65 #include "JumpTable.h"
66 #include "LLIntCallLinkInfo.h"
67 #include "LazyOperandValueProfile.h"
68 #include "LineInfo.h"
69 #include "ProfilerCompilation.h"
70 #include "RegExpObject.h"
71 #include "StructureStubInfo.h"
72 #include "UnconditionalFinalizer.h"
73 #include "ValueProfile.h"
74 #include "Watchpoint.h"
75 #include <wtf/FastMalloc.h>
76 #include <wtf/PassOwnPtr.h>
77 #include <wtf/RefCountedArray.h>
78 #include <wtf/RefPtr.h>
79 #include <wtf/SegmentedVector.h>
80 #include <wtf/Vector.h>
81 #include <wtf/text/WTFString.h>
82
83 namespace JSC {
84
85 class ExecState;
86 class LLIntOffsetsExtractor;
87 class RepatchBuffer;
88
89 inline int unmodifiedArgumentsRegister(int argumentsRegister) { return argumentsRegister + 1; }
90
91 static ALWAYS_INLINE int missingThisObjectMarker() { return std::numeric_limits<int>::max(); }
92
93 class CodeBlock : public ThreadSafeRefCounted<CodeBlock>, public UnconditionalFinalizer, public WeakReferenceHarvester {
94     WTF_MAKE_FAST_ALLOCATED;
95     friend class JIT;
96     friend class LLIntOffsetsExtractor;
97 public:
98     enum CopyParsedBlockTag { CopyParsedBlock };
99 protected:
100     CodeBlock(CopyParsedBlockTag, CodeBlock& other);
101         
102     CodeBlock(ScriptExecutable* ownerExecutable, UnlinkedCodeBlock*, JSScope*, PassRefPtr<SourceProvider>, unsigned sourceOffset, unsigned firstLineColumnOffset);
103
104     WriteBarrier<JSGlobalObject> m_globalObject;
105     Heap* m_heap;
106
107 public:
108     JS_EXPORT_PRIVATE virtual ~CodeBlock();
109
110     UnlinkedCodeBlock* unlinkedCodeBlock() const { return m_unlinkedCode.get(); }
111
112     CString inferredName() const;
113     CodeBlockHash hash() const;
114     bool hasHash() const;
115     bool isSafeToComputeHash() const;
116     CString sourceCodeForTools() const; // Not quite the actual source we parsed; this will do things like prefix the source for a function with a reified signature.
117     CString sourceCodeOnOneLine() const; // As sourceCodeForTools(), but replaces all whitespace runs with a single space.
118     void dumpAssumingJITType(PrintStream&, JITCode::JITType) const;
119     void dump(PrintStream&) const;
120
121     int numParameters() const { return m_numParameters; }
122     void setNumParameters(int newValue);
123
124     int* addressOfNumParameters() { return &m_numParameters; }
125     static ptrdiff_t offsetOfNumParameters() { return OBJECT_OFFSETOF(CodeBlock, m_numParameters); }
126
127     CodeBlock* alternative() { return m_alternative.get(); }
128     PassRefPtr<CodeBlock> releaseAlternative() { return m_alternative.release(); }
129     void setAlternative(PassRefPtr<CodeBlock> alternative) { m_alternative = alternative; }
130     
131     CodeSpecializationKind specializationKind() const
132     {
133         return specializationFromIsConstruct(m_isConstructor);
134     }
135     
136     CodeBlock* baselineVersion();
137
138     void visitAggregate(SlotVisitor&);
139
140     static void dumpStatistics();
141
142     void dumpBytecode(PrintStream& = WTF::dataFile());
143     void dumpBytecode(PrintStream&, unsigned bytecodeOffset);
144     void printStructures(PrintStream&, const Instruction*);
145     void printStructure(PrintStream&, const char* name, const Instruction*, int operand);
146
147     bool isStrictMode() const { return m_isStrictMode; }
148
149     inline bool isKnownNotImmediate(int index)
150     {
151         if (index == m_thisRegister && !m_isStrictMode)
152             return true;
153
154         if (isConstantRegisterIndex(index))
155             return getConstant(index).isCell();
156
157         return false;
158     }
159
160     ALWAYS_INLINE bool isTemporaryRegisterIndex(int index)
161     {
162         return index >= m_numVars;
163     }
164
165     HandlerInfo* handlerForBytecodeOffset(unsigned bytecodeOffset);
166     unsigned lineNumberForBytecodeOffset(unsigned bytecodeOffset);
167     unsigned columnNumberForBytecodeOffset(unsigned bytecodeOffset);
168     void expressionRangeForBytecodeOffset(unsigned bytecodeOffset, int& divot,
169                                           int& startOffset, int& endOffset, unsigned& line, unsigned& column);
170
171 #if ENABLE(JIT)
172
173     StructureStubInfo& getStubInfo(ReturnAddressPtr returnAddress)
174     {
175         return *(binarySearch<StructureStubInfo, void*>(m_structureStubInfos, m_structureStubInfos.size(), returnAddress.value(), getStructureStubInfoReturnLocation));
176     }
177
178     StructureStubInfo& getStubInfo(unsigned bytecodeIndex)
179     {
180         return *(binarySearch<StructureStubInfo, unsigned>(m_structureStubInfos, m_structureStubInfos.size(), bytecodeIndex, getStructureStubInfoBytecodeIndex));
181     }
182
183     void resetStub(StructureStubInfo&);
184
185     ByValInfo& getByValInfo(unsigned bytecodeIndex)
186     {
187         return *(binarySearch<ByValInfo, unsigned>(m_byValInfos, m_byValInfos.size(), bytecodeIndex, getByValInfoBytecodeIndex));
188     }
189
190     CallLinkInfo& getCallLinkInfo(ReturnAddressPtr returnAddress)
191     {
192         return *(binarySearch<CallLinkInfo, void*>(m_callLinkInfos, m_callLinkInfos.size(), returnAddress.value(), getCallLinkInfoReturnLocation));
193     }
194
195     CallLinkInfo& getCallLinkInfo(unsigned bytecodeIndex)
196     {
197         ASSERT(!JITCode::isOptimizingJIT(jitType()));
198         return *(binarySearch<CallLinkInfo, unsigned>(m_callLinkInfos, m_callLinkInfos.size(), bytecodeIndex, getCallLinkInfoBytecodeIndex));
199     }
200 #endif // ENABLE(JIT)
201
202     void unlinkIncomingCalls();
203
204 #if ENABLE(JIT)
205     void unlinkCalls();
206         
207     void linkIncomingCall(ExecState* callerFrame, CallLinkInfo*);
208         
209     bool isIncomingCallAlreadyLinked(CallLinkInfo* incoming)
210     {
211         return m_incomingCalls.isOnList(incoming);
212     }
213 #endif // ENABLE(JIT)
214
215 #if ENABLE(LLINT)
216     void linkIncomingCall(ExecState* callerFrame, LLIntCallLinkInfo*);
217 #endif // ENABLE(LLINT)
218
219     void setJITCodeMap(PassOwnPtr<CompactJITCodeMap> jitCodeMap)
220     {
221         m_jitCodeMap = jitCodeMap;
222     }
223     CompactJITCodeMap* jitCodeMap()
224     {
225         return m_jitCodeMap.get();
226     }
227     
228     unsigned bytecodeOffset(Instruction* returnAddress)
229     {
230         RELEASE_ASSERT(returnAddress >= instructions().begin() && returnAddress < instructions().end());
231         return static_cast<Instruction*>(returnAddress) - instructions().begin();
232     }
233
234     bool isNumericCompareFunction() { return m_unlinkedCode->isNumericCompareFunction(); }
235
236     unsigned numberOfInstructions() const { return m_instructions.size(); }
237     RefCountedArray<Instruction>& instructions() { return m_instructions; }
238     const RefCountedArray<Instruction>& instructions() const { return m_instructions; }
239
240     size_t predictedMachineCodeSize();
241
242     bool usesOpcode(OpcodeID);
243
244     unsigned instructionCount() { return m_instructions.size(); }
245
246     int argumentIndexAfterCapture(size_t argument);
247
248     // Exactly equivalent to codeBlock->ownerExecutable()->installCode(codeBlock);
249     void install();
250     
251     // Exactly equivalent to codeBlock->ownerExecutable()->newReplacementCodeBlockFor(codeBlock->specializationKind())
252     PassRefPtr<CodeBlock> newReplacement();
253     
254     void setJITCode(PassRefPtr<JITCode> code, MacroAssemblerCodePtr codeWithArityCheck)
255     {
256         ASSERT(m_heap->isDeferred());
257         m_heap->reportExtraMemoryCost(code->size());
258         ConcurrentJITLocker locker(m_lock);
259         WTF::storeStoreFence(); // This is probably not needed because the lock will also do something similar, but it's good to be paranoid.
260         m_jitCode = code;
261         m_jitCodeWithArityCheck = codeWithArityCheck;
262     }
263     PassRefPtr<JITCode> jitCode() { return m_jitCode; }
264     MacroAssemblerCodePtr jitCodeWithArityCheck() { return m_jitCodeWithArityCheck; }
265     JITCode::JITType jitType() const
266     {
267         JITCode* jitCode = m_jitCode.get();
268         WTF::loadLoadFence();
269         JITCode::JITType result = JITCode::jitTypeFor(jitCode);
270         WTF::loadLoadFence(); // This probably isn't needed. Oh well, paranoia is good.
271         return result;
272     }
273
274 #if ENABLE(JIT)
275     bool hasBaselineJITProfiling() const
276     {
277         return jitType() == JITCode::BaselineJIT;
278     }
279     void jettison();
280     
281     virtual CodeBlock* replacement() = 0;
282
283     virtual DFG::CapabilityLevel capabilityLevelInternal() = 0;
284     DFG::CapabilityLevel capabilityLevel()
285     {
286         DFG::CapabilityLevel result = capabilityLevelInternal();
287         m_capabilityLevelState = result;
288         return result;
289     }
290     DFG::CapabilityLevel capabilityLevelState() { return m_capabilityLevelState; }
291
292     bool hasOptimizedReplacement(JITCode::JITType typeToReplace);
293     bool hasOptimizedReplacement(); // the typeToReplace is my JITType
294 #endif
295
296     ScriptExecutable* ownerExecutable() const { return m_ownerExecutable.get(); }
297
298     void setVM(VM* vm) { m_vm = vm; }
299     VM* vm() { return m_vm; }
300
301     void setThisRegister(int thisRegister) { m_thisRegister = thisRegister; }
302     int thisRegister() const { return m_thisRegister; }
303
304     bool needsFullScopeChain() const { return m_unlinkedCode->needsFullScopeChain(); }
305     bool usesEval() const { return m_unlinkedCode->usesEval(); }
306
307     void setArgumentsRegister(int argumentsRegister)
308     {
309         ASSERT(argumentsRegister != (int)InvalidVirtualRegister);
310         m_argumentsRegister = argumentsRegister;
311         ASSERT(usesArguments());
312     }
313     int argumentsRegister() const
314     {
315         ASSERT(usesArguments());
316         return m_argumentsRegister;
317     }
318     int uncheckedArgumentsRegister()
319     {
320         if (!usesArguments())
321             return InvalidVirtualRegister;
322         return argumentsRegister();
323     }
324     void setActivationRegister(int activationRegister)
325     {
326         m_activationRegister = activationRegister;
327     }
328     int activationRegister() const
329     {
330         ASSERT(needsFullScopeChain());
331         return m_activationRegister;
332     }
333     int uncheckedActivationRegister()
334     {
335         if (!needsFullScopeChain())
336             return InvalidVirtualRegister;
337         return activationRegister();
338     }
339     bool usesArguments() const { return m_argumentsRegister != (int)InvalidVirtualRegister; }
340
341     bool needsActivation() const
342     {
343         return m_needsActivation;
344     }
345
346     bool isCaptured(int operand, InlineCallFrame* inlineCallFrame = 0) const
347     {
348         if (operandIsArgument(operand))
349             return operandToArgument(operand) && usesArguments();
350
351         if (inlineCallFrame)
352             return inlineCallFrame->capturedVars.get(operandToLocal(operand));
353
354         // The activation object isn't in the captured region, but it's "captured"
355         // in the sense that stores to its location can be observed indirectly.
356         if (needsActivation() && operand == activationRegister())
357             return true;
358
359         // Ditto for the arguments object.
360         if (usesArguments() && operand == argumentsRegister())
361             return true;
362
363         // Ditto for the arguments object.
364         if (usesArguments() && operand == unmodifiedArgumentsRegister(argumentsRegister()))
365             return true;
366
367         // We're in global code so there are no locals to capture
368         if (!symbolTable())
369             return false;
370
371         return operand <= symbolTable()->captureStart()
372             && operand > symbolTable()->captureEnd();
373     }
374
375     CodeType codeType() const { return m_unlinkedCode->codeType(); }
376     PutPropertySlot::Context putByIdContext() const
377     {
378         if (codeType() == EvalCode)
379             return PutPropertySlot::PutByIdEval;
380         return PutPropertySlot::PutById;
381     }
382
383     SourceProvider* source() const { return m_source.get(); }
384     unsigned sourceOffset() const { return m_sourceOffset; }
385     unsigned firstLineColumnOffset() const { return m_firstLineColumnOffset; }
386
387     size_t numberOfJumpTargets() const { return m_unlinkedCode->numberOfJumpTargets(); }
388     unsigned jumpTarget(int index) const { return m_unlinkedCode->jumpTarget(index); }
389
390     void createActivation(CallFrame*);
391
392     void clearEvalCache();
393
394     String nameForRegister(int registerNumber);
395
396 #if ENABLE(JIT)
397     void setNumberOfStructureStubInfos(size_t size) { m_structureStubInfos.grow(size); }
398     void sortStructureStubInfos();
399     size_t numberOfStructureStubInfos() const { return m_structureStubInfos.size(); }
400     StructureStubInfo& structureStubInfo(int index) { return m_structureStubInfos[index]; }
401
402     void setNumberOfByValInfos(size_t size) { m_byValInfos.grow(size); }
403     size_t numberOfByValInfos() const { return m_byValInfos.size(); }
404     ByValInfo& byValInfo(size_t index) { return m_byValInfos[index]; }
405
406     void setNumberOfCallLinkInfos(size_t size) { m_callLinkInfos.grow(size); }
407     size_t numberOfCallLinkInfos() const { return m_callLinkInfos.size(); }
408     CallLinkInfo& callLinkInfo(int index) { return m_callLinkInfos[index]; }
409 #endif
410
411 #if ENABLE(VALUE_PROFILER)
412     unsigned numberOfArgumentValueProfiles()
413     {
414         ASSERT(m_numParameters >= 0);
415         ASSERT(m_argumentValueProfiles.size() == static_cast<unsigned>(m_numParameters));
416         return m_argumentValueProfiles.size();
417     }
418     ValueProfile* valueProfileForArgument(unsigned argumentIndex)
419     {
420         ValueProfile* result = &m_argumentValueProfiles[argumentIndex];
421         ASSERT(result->m_bytecodeOffset == -1);
422         return result;
423     }
424
425     unsigned numberOfValueProfiles() { return m_valueProfiles.size(); }
426     ValueProfile* valueProfile(int index) { return &m_valueProfiles[index]; }
427     ValueProfile* valueProfileForBytecodeOffset(int bytecodeOffset)
428     {
429         ValueProfile* result = binarySearch<ValueProfile, int>(
430                                                                m_valueProfiles, m_valueProfiles.size(), bytecodeOffset,
431                                                                getValueProfileBytecodeOffset<ValueProfile>);
432         ASSERT(result->m_bytecodeOffset != -1);
433         ASSERT(instructions()[bytecodeOffset + opcodeLength(
434                                                             m_vm->interpreter->getOpcodeID(
435                                                                                            instructions()[
436                                                                                                           bytecodeOffset].u.opcode)) - 1].u.profile == result);
437         return result;
438     }
439     SpeculatedType valueProfilePredictionForBytecodeOffset(const ConcurrentJITLocker& locker, int bytecodeOffset)
440     {
441         return valueProfileForBytecodeOffset(bytecodeOffset)->computeUpdatedPrediction(locker);
442     }
443
444     unsigned totalNumberOfValueProfiles()
445     {
446         return numberOfArgumentValueProfiles() + numberOfValueProfiles();
447     }
448     ValueProfile* getFromAllValueProfiles(unsigned index)
449     {
450         if (index < numberOfArgumentValueProfiles())
451             return valueProfileForArgument(index);
452         return valueProfile(index - numberOfArgumentValueProfiles());
453     }
454
455     RareCaseProfile* addRareCaseProfile(int bytecodeOffset)
456     {
457         m_rareCaseProfiles.append(RareCaseProfile(bytecodeOffset));
458         return &m_rareCaseProfiles.last();
459     }
460     unsigned numberOfRareCaseProfiles() { return m_rareCaseProfiles.size(); }
461     RareCaseProfile* rareCaseProfile(int index) { return &m_rareCaseProfiles[index]; }
462     RareCaseProfile* rareCaseProfileForBytecodeOffset(int bytecodeOffset)
463     {
464         return tryBinarySearch<RareCaseProfile, int>(
465                                                      m_rareCaseProfiles, m_rareCaseProfiles.size(), bytecodeOffset,
466                                                      getRareCaseProfileBytecodeOffset);
467     }
468
469     bool likelyToTakeSlowCase(int bytecodeOffset)
470     {
471         if (!hasBaselineJITProfiling())
472             return false;
473         unsigned value = rareCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
474         return value >= Options::likelyToTakeSlowCaseMinimumCount();
475     }
476
477     bool couldTakeSlowCase(int bytecodeOffset)
478     {
479         if (!hasBaselineJITProfiling())
480             return false;
481         unsigned value = rareCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
482         return value >= Options::couldTakeSlowCaseMinimumCount();
483     }
484
485     RareCaseProfile* addSpecialFastCaseProfile(int bytecodeOffset)
486     {
487         m_specialFastCaseProfiles.append(RareCaseProfile(bytecodeOffset));
488         return &m_specialFastCaseProfiles.last();
489     }
490     unsigned numberOfSpecialFastCaseProfiles() { return m_specialFastCaseProfiles.size(); }
491     RareCaseProfile* specialFastCaseProfile(int index) { return &m_specialFastCaseProfiles[index]; }
492     RareCaseProfile* specialFastCaseProfileForBytecodeOffset(int bytecodeOffset)
493     {
494         return tryBinarySearch<RareCaseProfile, int>(
495                                                      m_specialFastCaseProfiles, m_specialFastCaseProfiles.size(), bytecodeOffset,
496                                                      getRareCaseProfileBytecodeOffset);
497     }
498
499     bool likelyToTakeSpecialFastCase(int bytecodeOffset)
500     {
501         if (!hasBaselineJITProfiling())
502             return false;
503         unsigned specialFastCaseCount = specialFastCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
504         return specialFastCaseCount >= Options::likelyToTakeSlowCaseMinimumCount();
505     }
506
507     bool couldTakeSpecialFastCase(int bytecodeOffset)
508     {
509         if (!hasBaselineJITProfiling())
510             return false;
511         unsigned specialFastCaseCount = specialFastCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
512         return specialFastCaseCount >= Options::couldTakeSlowCaseMinimumCount();
513     }
514
515     bool likelyToTakeDeepestSlowCase(int bytecodeOffset)
516     {
517         if (!hasBaselineJITProfiling())
518             return false;
519         unsigned slowCaseCount = rareCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
520         unsigned specialFastCaseCount = specialFastCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
521         unsigned value = slowCaseCount - specialFastCaseCount;
522         return value >= Options::likelyToTakeSlowCaseMinimumCount();
523     }
524
525     bool likelyToTakeAnySlowCase(int bytecodeOffset)
526     {
527         if (!hasBaselineJITProfiling())
528             return false;
529         unsigned slowCaseCount = rareCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
530         unsigned specialFastCaseCount = specialFastCaseProfileForBytecodeOffset(bytecodeOffset)->m_counter;
531         unsigned value = slowCaseCount + specialFastCaseCount;
532         return value >= Options::likelyToTakeSlowCaseMinimumCount();
533     }
534
535     unsigned numberOfArrayProfiles() const { return m_arrayProfiles.size(); }
536     const ArrayProfileVector& arrayProfiles() { return m_arrayProfiles; }
537     ArrayProfile* addArrayProfile(unsigned bytecodeOffset)
538     {
539         m_arrayProfiles.append(ArrayProfile(bytecodeOffset));
540         return &m_arrayProfiles.last();
541     }
542     ArrayProfile* getArrayProfile(unsigned bytecodeOffset);
543     ArrayProfile* getOrAddArrayProfile(unsigned bytecodeOffset);
544 #endif
545
546     // Exception handling support
547
548     size_t numberOfExceptionHandlers() const { return m_rareData ? m_rareData->m_exceptionHandlers.size() : 0; }
549     void allocateHandlers(const Vector<UnlinkedHandlerInfo>& unlinkedHandlers)
550     {
551         size_t count = unlinkedHandlers.size();
552         if (!count)
553             return;
554         createRareDataIfNecessary();
555         m_rareData->m_exceptionHandlers.resize(count);
556         for (size_t i = 0; i < count; ++i) {
557             m_rareData->m_exceptionHandlers[i].start = unlinkedHandlers[i].start;
558             m_rareData->m_exceptionHandlers[i].end = unlinkedHandlers[i].end;
559             m_rareData->m_exceptionHandlers[i].target = unlinkedHandlers[i].target;
560             m_rareData->m_exceptionHandlers[i].scopeDepth = unlinkedHandlers[i].scopeDepth;
561         }
562
563     }
564     HandlerInfo& exceptionHandler(int index) { RELEASE_ASSERT(m_rareData); return m_rareData->m_exceptionHandlers[index]; }
565
566     bool hasExpressionInfo() { return m_unlinkedCode->hasExpressionInfo(); }
567
568 #if ENABLE(DFG_JIT)
569     Vector<CodeOrigin, 0, UnsafeVectorOverflow>& codeOrigins()
570     {
571         return m_jitCode->dfgCommon()->codeOrigins;
572     }
573     
574     // Having code origins implies that there has been some inlining.
575     bool hasCodeOrigins()
576     {
577         return JITCode::isOptimizingJIT(jitType());
578     }
579         
580     bool canGetCodeOrigin(unsigned index)
581     {
582         if (!hasCodeOrigins())
583             return false;
584         return index < codeOrigins().size();
585     }
586
587     CodeOrigin codeOrigin(unsigned index)
588     {
589         return codeOrigins()[index];
590     }
591
592     bool addFrequentExitSite(const DFG::FrequentExitSite& site)
593     {
594         ASSERT(JITCode::isBaselineCode(jitType()));
595         ConcurrentJITLocker locker(m_lock);
596         return m_exitProfile.add(locker, site);
597     }
598         
599     bool hasExitSite(const DFG::FrequentExitSite& site) const
600     {
601         ConcurrentJITLocker locker(m_lock);
602         return m_exitProfile.hasExitSite(locker, site);
603     }
604
605     DFG::ExitProfile& exitProfile() { return m_exitProfile; }
606
607     CompressedLazyOperandValueProfileHolder& lazyOperandValueProfiles()
608     {
609         return m_lazyOperandValueProfiles;
610     }
611 #endif
612
613     // Constant Pool
614 #if ENABLE(DFG_JIT)
615     size_t numberOfIdentifiers() const { return m_unlinkedCode->numberOfIdentifiers() + numberOfDFGIdentifiers(); }
616     size_t numberOfDFGIdentifiers() const
617     {
618         if (!JITCode::isOptimizingJIT(jitType()))
619             return 0;
620
621         return m_jitCode->dfgCommon()->dfgIdentifiers.size();
622     }
623
624     const Identifier& identifier(int index) const
625     {
626         size_t unlinkedIdentifiers = m_unlinkedCode->numberOfIdentifiers();
627         if (static_cast<unsigned>(index) < unlinkedIdentifiers)
628             return m_unlinkedCode->identifier(index);
629         ASSERT(JITCode::isOptimizingJIT(jitType()));
630         return m_jitCode->dfgCommon()->dfgIdentifiers[index - unlinkedIdentifiers];
631     }
632 #else
633     size_t numberOfIdentifiers() const { return m_unlinkedCode->numberOfIdentifiers(); }
634     const Identifier& identifier(int index) const { return m_unlinkedCode->identifier(index); }
635 #endif
636
637     Vector<WriteBarrier<Unknown> >& constants() { return m_constantRegisters; }
638     size_t numberOfConstantRegisters() const { return m_constantRegisters.size(); }
639     unsigned addConstant(JSValue v)
640     {
641         unsigned result = m_constantRegisters.size();
642         m_constantRegisters.append(WriteBarrier<Unknown>());
643         m_constantRegisters.last().set(m_globalObject->vm(), m_ownerExecutable.get(), v);
644         return result;
645     }
646
647     unsigned addConstantLazily()
648     {
649         unsigned result = m_constantRegisters.size();
650         m_constantRegisters.append(WriteBarrier<Unknown>());
651         return result;
652     }
653
654     bool findConstant(JSValue, unsigned& result);
655     unsigned addOrFindConstant(JSValue);
656     WriteBarrier<Unknown>& constantRegister(int index) { return m_constantRegisters[index - FirstConstantRegisterIndex]; }
657     ALWAYS_INLINE bool isConstantRegisterIndex(int index) const { return index >= FirstConstantRegisterIndex; }
658     ALWAYS_INLINE JSValue getConstant(int index) const { return m_constantRegisters[index - FirstConstantRegisterIndex].get(); }
659
660     FunctionExecutable* functionDecl(int index) { return m_functionDecls[index].get(); }
661     int numberOfFunctionDecls() { return m_functionDecls.size(); }
662     FunctionExecutable* functionExpr(int index) { return m_functionExprs[index].get(); }
663
664     RegExp* regexp(int index) const { return m_unlinkedCode->regexp(index); }
665
666     unsigned numberOfConstantBuffers() const
667     {
668         if (!m_rareData)
669             return 0;
670         return m_rareData->m_constantBuffers.size();
671     }
672     unsigned addConstantBuffer(const Vector<JSValue>& buffer)
673     {
674         createRareDataIfNecessary();
675         unsigned size = m_rareData->m_constantBuffers.size();
676         m_rareData->m_constantBuffers.append(buffer);
677         return size;
678     }
679
680     Vector<JSValue>& constantBufferAsVector(unsigned index)
681     {
682         ASSERT(m_rareData);
683         return m_rareData->m_constantBuffers[index];
684     }
685     JSValue* constantBuffer(unsigned index)
686     {
687         return constantBufferAsVector(index).data();
688     }
689
690     JSGlobalObject* globalObject() { return m_globalObject.get(); }
691
692     JSGlobalObject* globalObjectFor(CodeOrigin);
693
694     // Jump Tables
695
696     size_t numberOfSwitchJumpTables() const { return m_rareData ? m_rareData->m_switchJumpTables.size() : 0; }
697     SimpleJumpTable& addSwitchJumpTable() { createRareDataIfNecessary(); m_rareData->m_switchJumpTables.append(SimpleJumpTable()); return m_rareData->m_switchJumpTables.last(); }
698     SimpleJumpTable& switchJumpTable(int tableIndex) { RELEASE_ASSERT(m_rareData); return m_rareData->m_switchJumpTables[tableIndex]; }
699     void clearSwitchJumpTables()
700     {
701         if (!m_rareData)
702             return;
703         m_rareData->m_switchJumpTables.clear();
704     }
705
706     size_t numberOfStringSwitchJumpTables() const { return m_rareData ? m_rareData->m_stringSwitchJumpTables.size() : 0; }
707     StringJumpTable& addStringSwitchJumpTable() { createRareDataIfNecessary(); m_rareData->m_stringSwitchJumpTables.append(StringJumpTable()); return m_rareData->m_stringSwitchJumpTables.last(); }
708     StringJumpTable& stringSwitchJumpTable(int tableIndex) { RELEASE_ASSERT(m_rareData); return m_rareData->m_stringSwitchJumpTables[tableIndex]; }
709
710
711     SharedSymbolTable* symbolTable() const { return m_unlinkedCode->symbolTable(); }
712
713     EvalCodeCache& evalCodeCache() { createRareDataIfNecessary(); return m_rareData->m_evalCodeCache; }
714
715     enum ShrinkMode {
716         // Shrink prior to generating machine code that may point directly into vectors.
717         EarlyShrink,
718
719         // Shrink after generating machine code, and after possibly creating new vectors
720         // and appending to others. At this time it is not safe to shrink certain vectors
721         // because we would have generated machine code that references them directly.
722         LateShrink
723     };
724     void shrinkToFit(ShrinkMode);
725
726     void copyPostParseDataFrom(CodeBlock* alternative);
727     void copyPostParseDataFromAlternative();
728
729     // Functions for controlling when JITting kicks in, in a mixed mode
730     // execution world.
731
732     bool checkIfJITThresholdReached()
733     {
734         return m_llintExecuteCounter.checkIfThresholdCrossedAndSet(this);
735     }
736
737     void dontJITAnytimeSoon()
738     {
739         m_llintExecuteCounter.deferIndefinitely();
740     }
741
742     void jitAfterWarmUp()
743     {
744         m_llintExecuteCounter.setNewThreshold(Options::thresholdForJITAfterWarmUp(), this);
745     }
746
747     void jitSoon()
748     {
749         m_llintExecuteCounter.setNewThreshold(Options::thresholdForJITSoon(), this);
750     }
751
752     const ExecutionCounter& llintExecuteCounter() const
753     {
754         return m_llintExecuteCounter;
755     }
756
757     // Functions for controlling when tiered compilation kicks in. This
758     // controls both when the optimizing compiler is invoked and when OSR
759     // entry happens. Two triggers exist: the loop trigger and the return
760     // trigger. In either case, when an addition to m_jitExecuteCounter
761     // causes it to become non-negative, the optimizing compiler is
762     // invoked. This includes a fast check to see if this CodeBlock has
763     // already been optimized (i.e. replacement() returns a CodeBlock
764     // that was optimized with a higher tier JIT than this one). In the
765     // case of the loop trigger, if the optimized compilation succeeds
766     // (or has already succeeded in the past) then OSR is attempted to
767     // redirect program flow into the optimized code.
768
769     // These functions are called from within the optimization triggers,
770     // and are used as a single point at which we define the heuristics
771     // for how much warm-up is mandated before the next optimization
772     // trigger files. All CodeBlocks start out with optimizeAfterWarmUp(),
773     // as this is called from the CodeBlock constructor.
774
775     // When we observe a lot of speculation failures, we trigger a
776     // reoptimization. But each time, we increase the optimization trigger
777     // to avoid thrashing.
778     unsigned reoptimizationRetryCounter() const;
779     void countReoptimization();
780 #if ENABLE(JIT)
781     unsigned numberOfDFGCompiles();
782
783     int32_t codeTypeThresholdMultiplier() const;
784
785     int32_t adjustedCounterValue(int32_t desiredThreshold);
786
787     int32_t* addressOfJITExecuteCounter()
788     {
789         return &m_jitExecuteCounter.m_counter;
790     }
791
792     static ptrdiff_t offsetOfJITExecuteCounter() { return OBJECT_OFFSETOF(CodeBlock, m_jitExecuteCounter) + OBJECT_OFFSETOF(ExecutionCounter, m_counter); }
793     static ptrdiff_t offsetOfJITExecutionActiveThreshold() { return OBJECT_OFFSETOF(CodeBlock, m_jitExecuteCounter) + OBJECT_OFFSETOF(ExecutionCounter, m_activeThreshold); }
794     static ptrdiff_t offsetOfJITExecutionTotalCount() { return OBJECT_OFFSETOF(CodeBlock, m_jitExecuteCounter) + OBJECT_OFFSETOF(ExecutionCounter, m_totalCount); }
795
796     const ExecutionCounter& jitExecuteCounter() const { return m_jitExecuteCounter; }
797
798     unsigned optimizationDelayCounter() const { return m_optimizationDelayCounter; }
799
800     // Check if the optimization threshold has been reached, and if not,
801     // adjust the heuristics accordingly. Returns true if the threshold has
802     // been reached.
803     bool checkIfOptimizationThresholdReached();
804
805     // Call this to force the next optimization trigger to fire. This is
806     // rarely wise, since optimization triggers are typically more
807     // expensive than executing baseline code.
808     void optimizeNextInvocation();
809
810     // Call this to prevent optimization from happening again. Note that
811     // optimization will still happen after roughly 2^29 invocations,
812     // so this is really meant to delay that as much as possible. This
813     // is called if optimization failed, and we expect it to fail in
814     // the future as well.
815     void dontOptimizeAnytimeSoon();
816
817     // Call this to reinitialize the counter to its starting state,
818     // forcing a warm-up to happen before the next optimization trigger
819     // fires. This is called in the CodeBlock constructor. It also
820     // makes sense to call this if an OSR exit occurred. Note that
821     // OSR exit code is code generated, so the value of the execute
822     // counter that this corresponds to is also available directly.
823     void optimizeAfterWarmUp();
824
825     // Call this to force an optimization trigger to fire only after
826     // a lot of warm-up.
827     void optimizeAfterLongWarmUp();
828
829     // Call this to cause an optimization trigger to fire soon, but
830     // not necessarily the next one. This makes sense if optimization
831     // succeeds. Successfuly optimization means that all calls are
832     // relinked to the optimized code, so this only affects call
833     // frames that are still executing this CodeBlock. The value here
834     // is tuned to strike a balance between the cost of OSR entry
835     // (which is too high to warrant making every loop back edge to
836     // trigger OSR immediately) and the cost of executing baseline
837     // code (which is high enough that we don't necessarily want to
838     // have a full warm-up). The intuition for calling this instead of
839     // optimizeNextInvocation() is for the case of recursive functions
840     // with loops. Consider that there may be N call frames of some
841     // recursive function, for a reasonably large value of N. The top
842     // one triggers optimization, and then returns, and then all of
843     // the others return. We don't want optimization to be triggered on
844     // each return, as that would be superfluous. It only makes sense
845     // to trigger optimization if one of those functions becomes hot
846     // in the baseline code.
847     void optimizeSoon();
848
849     void forceOptimizationSlowPathConcurrently();
850
851     void setOptimizationThresholdBasedOnCompilationResult(CompilationResult);
852     
853     uint32_t osrExitCounter() const { return m_osrExitCounter; }
854
855     void countOSRExit() { m_osrExitCounter++; }
856
857     uint32_t* addressOfOSRExitCounter() { return &m_osrExitCounter; }
858
859     static ptrdiff_t offsetOfOSRExitCounter() { return OBJECT_OFFSETOF(CodeBlock, m_osrExitCounter); }
860
861     uint32_t adjustedExitCountThreshold(uint32_t desiredThreshold);
862     uint32_t exitCountThresholdForReoptimization();
863     uint32_t exitCountThresholdForReoptimizationFromLoop();
864     bool shouldReoptimizeNow();
865     bool shouldReoptimizeFromLoopNow();
866 #else // No JIT
867     void optimizeAfterWarmUp() { }
868     unsigned numberOfDFGCompiles() { return 0; }
869 #endif
870
871 #if ENABLE(VALUE_PROFILER)
872     bool shouldOptimizeNow();
873     void updateAllValueProfilePredictions();
874     void updateAllArrayPredictions();
875     void updateAllPredictions();
876 #else
877     bool updateAllPredictionsAndCheckIfShouldOptimizeNow() { return false; }
878     void updateAllValueProfilePredictions() { }
879     void updateAllArrayPredictions() { }
880     void updateAllPredictions() { }
881 #endif
882
883 #if ENABLE(JIT)
884     void reoptimize();
885 #endif
886
887 #if ENABLE(VERBOSE_VALUE_PROFILE)
888     void dumpValueProfiles();
889 #endif
890
891     // FIXME: Make these remaining members private.
892
893     int m_numCalleeRegisters;
894     int m_numVars;
895     bool m_isConstructor;
896     
897     // This is intentionally public; it's the responsibility of anyone doing any
898     // of the following to hold the lock:
899     //
900     // - Modifying any inline cache in this code block.
901     //
902     // - Quering any inline cache in this code block, from a thread other than
903     //   the main thread.
904     //
905     // Additionally, it's only legal to modify the inline cache on the main
906     // thread. This means that the main thread can query the inline cache without
907     // locking. This is crucial since executing the inline cache is effectively
908     // "querying" it.
909     //
910     // Another exception to the rules is that the GC can do whatever it wants
911     // without holding any locks, because the GC is guaranteed to wait until any
912     // concurrent compilation threads finish what they're doing.
913     mutable ConcurrentJITLock m_lock;
914     
915     bool m_shouldAlwaysBeInlined;
916     bool m_allTransitionsHaveBeenMarked; // Initialized and used on every GC.
917     
918     bool m_didFailFTLCompilation;
919     
920 protected:
921     virtual void visitWeakReferences(SlotVisitor&);
922     virtual void finalizeUnconditionally();
923
924 #if ENABLE(DFG_JIT)
925     void tallyFrequentExitSites();
926 #else
927     void tallyFrequentExitSites() { }
928 #endif
929
930 private:
931     friend class CodeBlockSet;
932     
933     CodeBlock* specialOSREntryBlockOrNull();
934     
935     void noticeIncomingCall(ExecState* callerFrame);
936     
937     double optimizationThresholdScalingFactor();
938
939 #if ENABLE(JIT)
940     ClosureCallStubRoutine* findClosureCallForReturnPC(ReturnAddressPtr);
941 #endif
942         
943 #if ENABLE(VALUE_PROFILER)
944     void updateAllPredictionsAndCountLiveness(unsigned& numberOfLiveNonArgumentValueProfiles, unsigned& numberOfSamplesInProfiles);
945 #endif
946
947     void setConstantRegisters(const Vector<WriteBarrier<Unknown> >& constants)
948     {
949         size_t count = constants.size();
950         m_constantRegisters.resize(count);
951         for (size_t i = 0; i < count; i++)
952             m_constantRegisters[i].set(*m_vm, ownerExecutable(), constants[i].get());
953     }
954
955     void dumpBytecode(PrintStream&, ExecState*, const Instruction* begin, const Instruction*&);
956
957     CString registerName(int r) const;
958     void printUnaryOp(PrintStream&, ExecState*, int location, const Instruction*&, const char* op);
959     void printBinaryOp(PrintStream&, ExecState*, int location, const Instruction*&, const char* op);
960     void printConditionalJump(PrintStream&, ExecState*, const Instruction*, const Instruction*&, int location, const char* op);
961     void printGetByIdOp(PrintStream&, ExecState*, int location, const Instruction*&);
962     void printGetByIdCacheStatus(PrintStream&, ExecState*, int location);
963     enum CacheDumpMode { DumpCaches, DontDumpCaches };
964     void printCallOp(PrintStream&, ExecState*, int location, const Instruction*&, const char* op, CacheDumpMode, bool& hasPrintedProfiling);
965     void printPutByIdOp(PrintStream&, ExecState*, int location, const Instruction*&, const char* op);
966     void printLocationAndOp(PrintStream& out, ExecState*, int location, const Instruction*&, const char* op)
967     {
968         out.printf("[%4d] %-17s ", location, op);
969     }
970
971     void printLocationOpAndRegisterOperand(PrintStream& out, ExecState* exec, int location, const Instruction*& it, const char* op, int operand)
972     {
973         printLocationAndOp(out, exec, location, it, op);
974         out.printf("%s", registerName(operand).data());
975     }
976
977     void beginDumpProfiling(PrintStream&, bool& hasPrintedProfiling);
978     void dumpValueProfiling(PrintStream&, const Instruction*&, bool& hasPrintedProfiling);
979     void dumpArrayProfiling(PrintStream&, const Instruction*&, bool& hasPrintedProfiling);
980 #if ENABLE(VALUE_PROFILER)
981     void dumpRareCaseProfile(PrintStream&, const char* name, RareCaseProfile*, bool& hasPrintedProfiling);
982 #endif
983         
984 #if ENABLE(DFG_JIT)
985     bool shouldImmediatelyAssumeLivenessDuringScan()
986     {
987         // Interpreter and Baseline JIT CodeBlocks don't need to be jettisoned when
988         // their weak references go stale. So if a basline JIT CodeBlock gets
989         // scanned, we can assume that this means that it's live.
990         if (!JITCode::isOptimizingJIT(jitType()))
991             return true;
992
993         // For simplicity, we don't attempt to jettison code blocks during GC if
994         // they are executing. Instead we strongly mark their weak references to
995         // allow them to continue to execute soundly.
996         if (m_mayBeExecuting)
997             return true;
998
999         if (Options::forceDFGCodeBlockLiveness())
1000             return true;
1001
1002         return false;
1003     }
1004 #else
1005     bool shouldImmediatelyAssumeLivenessDuringScan() { return true; }
1006 #endif
1007     
1008     void propagateTransitions(SlotVisitor&);
1009     void determineLiveness(SlotVisitor&);
1010         
1011     void stronglyVisitStrongReferences(SlotVisitor&);
1012     void stronglyVisitWeakReferences(SlotVisitor&);
1013
1014     void createRareDataIfNecessary()
1015     {
1016         if (!m_rareData)
1017             m_rareData = adoptPtr(new RareData);
1018     }
1019
1020 #if ENABLE(JIT)
1021     void resetStubInternal(RepatchBuffer&, StructureStubInfo&);
1022     void resetStubDuringGCInternal(RepatchBuffer&, StructureStubInfo&);
1023 #endif
1024     WriteBarrier<UnlinkedCodeBlock> m_unlinkedCode;
1025     int m_numParameters;
1026     WriteBarrier<ScriptExecutable> m_ownerExecutable;
1027     VM* m_vm;
1028
1029     RefCountedArray<Instruction> m_instructions;
1030     int m_thisRegister;
1031     int m_argumentsRegister;
1032     int m_activationRegister;
1033
1034     bool m_isStrictMode;
1035     bool m_needsActivation;
1036     bool m_mayBeExecuting;
1037     uint8_t m_visitAggregateHasBeenCalled;
1038
1039     RefPtr<SourceProvider> m_source;
1040     unsigned m_sourceOffset;
1041     unsigned m_firstLineColumnOffset;
1042     unsigned m_codeType;
1043
1044 #if ENABLE(LLINT)
1045     Vector<LLIntCallLinkInfo> m_llintCallLinkInfos;
1046     SentinelLinkedList<LLIntCallLinkInfo, BasicRawSentinelNode<LLIntCallLinkInfo> > m_incomingLLIntCalls;
1047 #endif
1048     RefPtr<JITCode> m_jitCode;
1049     MacroAssemblerCodePtr m_jitCodeWithArityCheck;
1050 #if ENABLE(JIT)
1051     Vector<StructureStubInfo> m_structureStubInfos;
1052     Vector<ByValInfo> m_byValInfos;
1053     Vector<CallLinkInfo> m_callLinkInfos;
1054     SentinelLinkedList<CallLinkInfo, BasicRawSentinelNode<CallLinkInfo> > m_incomingCalls;
1055 #endif
1056     OwnPtr<CompactJITCodeMap> m_jitCodeMap;
1057 #if ENABLE(DFG_JIT)
1058     // This is relevant to non-DFG code blocks that serve as the profiled code block
1059     // for DFG code blocks.
1060     DFG::ExitProfile m_exitProfile;
1061     CompressedLazyOperandValueProfileHolder m_lazyOperandValueProfiles;
1062 #endif
1063 #if ENABLE(VALUE_PROFILER)
1064     Vector<ValueProfile> m_argumentValueProfiles;
1065     SegmentedVector<ValueProfile, 8> m_valueProfiles;
1066     SegmentedVector<RareCaseProfile, 8> m_rareCaseProfiles;
1067     SegmentedVector<RareCaseProfile, 8> m_specialFastCaseProfiles;
1068     SegmentedVector<ArrayAllocationProfile, 8> m_arrayAllocationProfiles;
1069     ArrayProfileVector m_arrayProfiles;
1070 #endif
1071     SegmentedVector<ObjectAllocationProfile, 8> m_objectAllocationProfiles;
1072
1073     // Constant Pool
1074     Vector<Identifier> m_additionalIdentifiers;
1075     COMPILE_ASSERT(sizeof(Register) == sizeof(WriteBarrier<Unknown>), Register_must_be_same_size_as_WriteBarrier_Unknown);
1076     // TODO: This could just be a pointer to m_unlinkedCodeBlock's data, but the DFG mutates
1077     // it, so we're stuck with it for now.
1078     Vector<WriteBarrier<Unknown> > m_constantRegisters;
1079     Vector<WriteBarrier<FunctionExecutable> > m_functionDecls;
1080     Vector<WriteBarrier<FunctionExecutable> > m_functionExprs;
1081
1082     RefPtr<CodeBlock> m_alternative;
1083     
1084     ExecutionCounter m_llintExecuteCounter;
1085
1086     ExecutionCounter m_jitExecuteCounter;
1087     int32_t m_totalJITExecutions;
1088     uint32_t m_osrExitCounter;
1089     uint16_t m_optimizationDelayCounter;
1090     uint16_t m_reoptimizationRetryCounter;
1091     
1092     mutable CodeBlockHash m_hash;
1093
1094     struct RareData {
1095         WTF_MAKE_FAST_ALLOCATED;
1096     public:
1097         Vector<HandlerInfo> m_exceptionHandlers;
1098
1099         // Buffers used for large array literals
1100         Vector<Vector<JSValue> > m_constantBuffers;
1101
1102         // Jump Tables
1103         Vector<SimpleJumpTable> m_switchJumpTables;
1104         Vector<StringJumpTable> m_stringSwitchJumpTables;
1105
1106         EvalCodeCache m_evalCodeCache;
1107     };
1108 #if COMPILER(MSVC)
1109     friend void WTF::deleteOwnedPtr<RareData>(RareData*);
1110 #endif
1111     OwnPtr<RareData> m_rareData;
1112 #if ENABLE(JIT)
1113     DFG::CapabilityLevel m_capabilityLevelState;
1114 #endif
1115 };
1116
1117 // Program code is not marked by any function, so we make the global object
1118 // responsible for marking it.
1119
1120 class GlobalCodeBlock : public CodeBlock {
1121 protected:
1122     GlobalCodeBlock(CopyParsedBlockTag, GlobalCodeBlock& other)
1123     : CodeBlock(CopyParsedBlock, other)
1124     {
1125     }
1126         
1127     GlobalCodeBlock(ScriptExecutable* ownerExecutable, UnlinkedCodeBlock* unlinkedCodeBlock, JSScope* scope, PassRefPtr<SourceProvider> sourceProvider, unsigned sourceOffset, unsigned firstLineColumnOffset)
1128         : CodeBlock(ownerExecutable, unlinkedCodeBlock, scope, sourceProvider, sourceOffset, firstLineColumnOffset)
1129     {
1130     }
1131 };
1132
1133 class ProgramCodeBlock : public GlobalCodeBlock {
1134 public:
1135     ProgramCodeBlock(CopyParsedBlockTag, ProgramCodeBlock& other)
1136     : GlobalCodeBlock(CopyParsedBlock, other)
1137     {
1138     }
1139
1140     ProgramCodeBlock(ProgramExecutable* ownerExecutable, UnlinkedProgramCodeBlock* unlinkedCodeBlock, JSScope* scope, PassRefPtr<SourceProvider> sourceProvider, unsigned firstLineColumnOffset)
1141         : GlobalCodeBlock(ownerExecutable, unlinkedCodeBlock, scope, sourceProvider, 0, firstLineColumnOffset)
1142     {
1143     }
1144
1145 #if ENABLE(JIT)
1146 protected:
1147     virtual CodeBlock* replacement();
1148     virtual DFG::CapabilityLevel capabilityLevelInternal();
1149 #endif
1150 };
1151
1152 class EvalCodeBlock : public GlobalCodeBlock {
1153 public:
1154     EvalCodeBlock(CopyParsedBlockTag, EvalCodeBlock& other)
1155     : GlobalCodeBlock(CopyParsedBlock, other)
1156     {
1157     }
1158         
1159     EvalCodeBlock(EvalExecutable* ownerExecutable, UnlinkedEvalCodeBlock* unlinkedCodeBlock, JSScope* scope, PassRefPtr<SourceProvider> sourceProvider)
1160         : GlobalCodeBlock(ownerExecutable, unlinkedCodeBlock, scope, sourceProvider, 0, 1)
1161     {
1162     }
1163     
1164     const Identifier& variable(unsigned index) { return unlinkedEvalCodeBlock()->variable(index); }
1165     unsigned numVariables() { return unlinkedEvalCodeBlock()->numVariables(); }
1166     
1167 #if ENABLE(JIT)
1168 protected:
1169     virtual CodeBlock* replacement();
1170     virtual DFG::CapabilityLevel capabilityLevelInternal();
1171 #endif
1172     
1173 private:
1174     UnlinkedEvalCodeBlock* unlinkedEvalCodeBlock() const { return jsCast<UnlinkedEvalCodeBlock*>(unlinkedCodeBlock()); }
1175 };
1176
1177 class FunctionCodeBlock : public CodeBlock {
1178 public:
1179     FunctionCodeBlock(CopyParsedBlockTag, FunctionCodeBlock& other)
1180     : CodeBlock(CopyParsedBlock, other)
1181     {
1182     }
1183
1184     FunctionCodeBlock(FunctionExecutable* ownerExecutable, UnlinkedFunctionCodeBlock* unlinkedCodeBlock, JSScope* scope, PassRefPtr<SourceProvider> sourceProvider, unsigned sourceOffset, unsigned firstLineColumnOffset)
1185         : CodeBlock(ownerExecutable, unlinkedCodeBlock, scope, sourceProvider, sourceOffset, firstLineColumnOffset)
1186     {
1187     }
1188     
1189 #if ENABLE(JIT)
1190 protected:
1191     virtual CodeBlock* replacement();
1192     virtual DFG::CapabilityLevel capabilityLevelInternal();
1193 #endif
1194 };
1195
1196 inline CodeBlock* baselineCodeBlockForInlineCallFrame(InlineCallFrame* inlineCallFrame)
1197 {
1198     RELEASE_ASSERT(inlineCallFrame);
1199     ExecutableBase* executable = inlineCallFrame->executable.get();
1200     RELEASE_ASSERT(executable->structure()->classInfo() == FunctionExecutable::info());
1201     return static_cast<FunctionExecutable*>(executable)->baselineCodeBlockFor(inlineCallFrame->isCall ? CodeForCall : CodeForConstruct);
1202 }
1203
1204 inline CodeBlock* baselineCodeBlockForOriginAndBaselineCodeBlock(const CodeOrigin& codeOrigin, CodeBlock* baselineCodeBlock)
1205 {
1206     if (codeOrigin.inlineCallFrame)
1207         return baselineCodeBlockForInlineCallFrame(codeOrigin.inlineCallFrame);
1208     return baselineCodeBlock;
1209 }
1210
1211 inline int CodeBlock::argumentIndexAfterCapture(size_t argument)
1212 {
1213     if (argument >= static_cast<size_t>(symbolTable()->parameterCount()))
1214         return CallFrame::argumentOffset(argument);
1215     
1216     const SlowArgument* slowArguments = symbolTable()->slowArguments();
1217     if (!slowArguments || slowArguments[argument].status == SlowArgument::Normal)
1218         return CallFrame::argumentOffset(argument);
1219     
1220     ASSERT(slowArguments[argument].status == SlowArgument::Captured);
1221     return slowArguments[argument].index;
1222 }
1223
1224 inline Register& ExecState::r(int index)
1225 {
1226     CodeBlock* codeBlock = this->codeBlock();
1227     if (codeBlock->isConstantRegisterIndex(index))
1228         return *reinterpret_cast<Register*>(&codeBlock->constantRegister(index));
1229     return this[index];
1230 }
1231
1232 inline Register& ExecState::uncheckedR(int index)
1233 {
1234     RELEASE_ASSERT(index < FirstConstantRegisterIndex);
1235     return this[index];
1236 }
1237
1238 inline JSValue ExecState::argumentAfterCapture(size_t argument)
1239 {
1240     if (argument >= argumentCount())
1241         return jsUndefined();
1242     
1243     if (!codeBlock())
1244         return this[argumentOffset(argument)].jsValue();
1245     
1246     return this[codeBlock()->argumentIndexAfterCapture(argument)].jsValue();
1247 }
1248
1249 inline void CodeBlockSet::mark(void* candidateCodeBlock)
1250 {
1251     // We have to check for 0 and -1 because those are used by the HashMap as markers.
1252     uintptr_t value = reinterpret_cast<uintptr_t>(candidateCodeBlock);
1253     
1254     // This checks for both of those nasty cases in one go.
1255     // 0 + 1 = 1
1256     // -1 + 1 = 0
1257     if (value + 1 <= 1)
1258         return;
1259     
1260     HashSet<CodeBlock*>::iterator iter = m_set.find(static_cast<CodeBlock*>(candidateCodeBlock));
1261     if (iter == m_set.end())
1262         return;
1263     
1264     (*iter)->m_mayBeExecuting = true;
1265 }
1266
1267 } // namespace JSC
1268
1269 #endif // CodeBlock_h