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