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