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