We should be able to inline getter/setter calls inside an inline cache even when...
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGCommonData.h
1 /*
2  * Copyright (C) 2013, 2015 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #ifndef DFGCommonData_h
27 #define DFGCommonData_h
28
29 #if ENABLE(DFG_JIT)
30
31 #include "CodeBlockJettisoningWatchpoint.h"
32 #include "DFGAdaptiveInferredPropertyValueWatchpoint.h"
33 #include "DFGAdaptiveStructureWatchpoint.h"
34 #include "DFGJumpReplacement.h"
35 #include "InlineCallFrameSet.h"
36 #include "JSCell.h"
37 #include "ProfilerCompilation.h"
38 #include "SymbolTable.h"
39 #include <wtf/Bag.h>
40 #include <wtf/Noncopyable.h>
41
42 namespace JSC {
43
44 class CodeBlock;
45 class Identifier;
46 class TrackedReferences;
47
48 namespace DFG {
49
50 struct Node;
51 struct Plan;
52
53 // CommonData holds the set of data that both DFG and FTL code blocks need to know
54 // about themselves.
55
56 struct WeakReferenceTransition {
57     WeakReferenceTransition() { }
58     
59     WeakReferenceTransition(VM& vm, JSCell* owner, JSCell* codeOrigin, JSCell* from, JSCell* to)
60         : m_from(vm, owner, from)
61         , m_to(vm, owner, to)
62     {
63         if (!!codeOrigin)
64             m_codeOrigin.set(vm, owner, codeOrigin);
65     }
66     
67     WriteBarrier<JSCell> m_codeOrigin;
68     WriteBarrier<JSCell> m_from;
69     WriteBarrier<JSCell> m_to;
70 };
71         
72 class CommonData {
73     WTF_MAKE_NONCOPYABLE(CommonData);
74 public:
75     CommonData()
76         : isStillValid(true)
77         , frameRegisterCount(std::numeric_limits<unsigned>::max())
78         , requiredRegisterCountForExit(std::numeric_limits<unsigned>::max())
79     { }
80     
81     void notifyCompilingStructureTransition(Plan&, CodeBlock*, Node*);
82     CallSiteIndex addCodeOrigin(CodeOrigin);
83     CallSiteIndex addCodeOriginUnconditionally(CodeOrigin);
84     CallSiteIndex lastCallSite() const;
85     void removeCallSiteIndex(CallSiteIndex);
86     
87     void shrinkToFit();
88     
89     bool invalidate(); // Returns true if we did invalidate, or false if the code block was already invalidated.
90     
91     unsigned requiredRegisterCountForExecutionAndExit() const
92     {
93         return std::max(frameRegisterCount, requiredRegisterCountForExit);
94     }
95     
96     void validateReferences(const TrackedReferences&);
97
98     RefPtr<InlineCallFrameSet> inlineCallFrames;
99     Vector<CodeOrigin, 0, UnsafeVectorOverflow> codeOrigins;
100     
101     Vector<Identifier> dfgIdentifiers;
102     Vector<WeakReferenceTransition> transitions;
103     Vector<WriteBarrier<JSCell>> weakReferences;
104     Vector<WriteBarrier<Structure>> weakStructureReferences;
105     Bag<CodeBlockJettisoningWatchpoint> watchpoints;
106     Bag<AdaptiveStructureWatchpoint> adaptiveStructureWatchpoints;
107     Bag<AdaptiveInferredPropertyValueWatchpoint> adaptiveInferredPropertyValueWatchpoints;
108     Vector<JumpReplacement> jumpReplacements;
109     
110     RefPtr<Profiler::Compilation> compilation;
111     bool livenessHasBeenProved; // Initialized and used on every GC.
112     bool allTransitionsHaveBeenMarked; // Initialized and used on every GC.
113     bool isStillValid;
114     
115 #if USE(JSVALUE32_64)
116     std::unique_ptr<Bag<double>> doubleConstants;
117 #endif
118     
119     unsigned frameRegisterCount;
120     unsigned requiredRegisterCountForExit;
121
122 private:
123     HashSet<unsigned, WTF::IntHash<unsigned>, WTF::UnsignedWithZeroKeyHashTraits<unsigned>> callSiteIndexFreeList;
124
125 };
126
127 } } // namespace JSC::DFG
128
129 #endif // ENABLE(DFG_JIT)
130
131 #endif // DFGCommonData_h
132