]> git.saurik.com Git - apple/javascriptcore.git/blame - dfg/DFGGenerationInfo.h
JavaScriptCore-1097.3.3.tar.gz
[apple/javascriptcore.git] / dfg / DFGGenerationInfo.h
CommitLineData
6fe7ccc8 1
14957cd0
A
2/*
3 * Copyright (C) 2011 Apple Inc. All rights reserved.
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 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 *
14 * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
15 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
18 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
19 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
20 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
21 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
22 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
24 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25 */
26
27#ifndef DFGGenerationInfo_h
28#define DFGGenerationInfo_h
29
30#if ENABLE(DFG_JIT)
31
6fe7ccc8 32#include "DataFormat.h"
14957cd0
A
33#include <dfg/DFGJITCompiler.h>
34
35namespace JSC { namespace DFG {
36
14957cd0
A
37// === GenerationInfo ===
38//
39// This class is used to track the current status of a live values during code generation.
40// Can provide information as to whether a value is in machine registers, and if so which,
41// whether a value has been spilled to the RegsiterFile, and if so may be able to provide
42// details of the format in memory (all values are spilled in a boxed form, but we may be
43// able to track the type of box), and tracks how many outstanding uses of a value remain,
44// so that we know when the value is dead and the machine registers associated with it
45// may be released.
46class GenerationInfo {
47public:
48 GenerationInfo()
49 : m_nodeIndex(NoNode)
50 , m_useCount(0)
51 , m_registerFormat(DataFormatNone)
52 , m_spillFormat(DataFormatNone)
53 , m_canFill(false)
54 {
55 }
56
57 void initConstant(NodeIndex nodeIndex, uint32_t useCount)
58 {
59 m_nodeIndex = nodeIndex;
60 m_useCount = useCount;
61 m_registerFormat = DataFormatNone;
62 m_spillFormat = DataFormatNone;
63 m_canFill = true;
6fe7ccc8 64 ASSERT(m_useCount);
14957cd0
A
65 }
66 void initInteger(NodeIndex nodeIndex, uint32_t useCount, GPRReg gpr)
67 {
68 m_nodeIndex = nodeIndex;
69 m_useCount = useCount;
70 m_registerFormat = DataFormatInteger;
71 m_spillFormat = DataFormatNone;
72 m_canFill = false;
73 u.gpr = gpr;
6fe7ccc8 74 ASSERT(m_useCount);
14957cd0 75 }
6fe7ccc8 76#if USE(JSVALUE64)
14957cd0
A
77 void initJSValue(NodeIndex nodeIndex, uint32_t useCount, GPRReg gpr, DataFormat format = DataFormatJS)
78 {
79 ASSERT(format & DataFormatJS);
80
81 m_nodeIndex = nodeIndex;
82 m_useCount = useCount;
83 m_registerFormat = format;
84 m_spillFormat = DataFormatNone;
85 m_canFill = false;
86 u.gpr = gpr;
6fe7ccc8
A
87 ASSERT(m_useCount);
88 }
89#elif USE(JSVALUE32_64)
90 void initJSValue(NodeIndex nodeIndex, uint32_t useCount, GPRReg tagGPR, GPRReg payloadGPR, DataFormat format = DataFormatJS)
91 {
92 ASSERT(format & DataFormatJS);
93
94 m_nodeIndex = nodeIndex;
95 m_useCount = useCount;
96 m_registerFormat = format;
97 m_spillFormat = DataFormatNone;
98 m_canFill = false;
99 u.v.tagGPR = tagGPR;
100 u.v.payloadGPR = payloadGPR;
101 ASSERT(m_useCount);
14957cd0 102 }
6fe7ccc8 103#endif
14957cd0
A
104 void initCell(NodeIndex nodeIndex, uint32_t useCount, GPRReg gpr)
105 {
106 m_nodeIndex = nodeIndex;
107 m_useCount = useCount;
108 m_registerFormat = DataFormatCell;
109 m_spillFormat = DataFormatNone;
110 m_canFill = false;
111 u.gpr = gpr;
6fe7ccc8
A
112 ASSERT(m_useCount);
113 }
114 void initBoolean(NodeIndex nodeIndex, uint32_t useCount, GPRReg gpr)
115 {
116 m_nodeIndex = nodeIndex;
117 m_useCount = useCount;
118 m_registerFormat = DataFormatBoolean;
119 m_spillFormat = DataFormatNone;
120 m_canFill = false;
121 u.gpr = gpr;
122 ASSERT(m_useCount);
14957cd0
A
123 }
124 void initDouble(NodeIndex nodeIndex, uint32_t useCount, FPRReg fpr)
125 {
6fe7ccc8 126 ASSERT(fpr != InvalidFPRReg);
14957cd0
A
127 m_nodeIndex = nodeIndex;
128 m_useCount = useCount;
129 m_registerFormat = DataFormatDouble;
130 m_spillFormat = DataFormatNone;
131 m_canFill = false;
132 u.fpr = fpr;
6fe7ccc8
A
133 ASSERT(m_useCount);
134 }
135 void initStorage(NodeIndex nodeIndex, uint32_t useCount, GPRReg gpr)
136 {
137 m_nodeIndex = nodeIndex;
138 m_useCount = useCount;
139 m_registerFormat = DataFormatStorage;
140 m_spillFormat = DataFormatNone;
141 m_canFill = false;
142 u.gpr = gpr;
143 ASSERT(m_useCount);
14957cd0
A
144 }
145
146 // Get the index of the node that produced this value.
147 NodeIndex nodeIndex() { return m_nodeIndex; }
148
149 // Mark the value as having been used (decrement the useCount).
150 // Returns true if this was the last use of the value, and any
151 // associated machine registers may be freed.
152 bool use()
153 {
6fe7ccc8 154 ASSERT(m_useCount);
14957cd0
A
155 return !--m_useCount;
156 }
157
158 // Used to check the operands of operations to see if they are on
159 // their last use; in some cases it may be safe to reuse the same
160 // machine register for the result of the operation.
161 bool canReuse()
162 {
163 ASSERT(m_useCount);
164 return m_useCount == 1;
165 }
166
167 // Get the format of the value in machine registers (or 'none').
168 DataFormat registerFormat() { return m_registerFormat; }
169 // Get the format of the value as it is spilled in the RegisterFile (or 'none').
170 DataFormat spillFormat() { return m_spillFormat; }
6fe7ccc8
A
171
172 bool isJSFormat(DataFormat expectedFormat)
173 {
174 return JSC::isJSFormat(registerFormat(), expectedFormat) || JSC::isJSFormat(spillFormat(), expectedFormat);
175 }
176
177 bool isJSInteger()
178 {
179 return isJSFormat(DataFormatJSInteger);
180 }
181
182 bool isJSDouble()
183 {
184 return isJSFormat(DataFormatJSDouble);
185 }
186
187 bool isJSCell()
188 {
189 return isJSFormat(DataFormatJSCell);
190 }
191
192 bool isJSBoolean()
193 {
194 return isJSFormat(DataFormatJSBoolean);
195 }
196
197 bool isUnknownJS()
198 {
199 return spillFormat() == DataFormatNone
200 ? registerFormat() == DataFormatJS || registerFormat() == DataFormatNone
201 : spillFormat() == DataFormatJS;
202 }
14957cd0
A
203
204 // Get the machine resister currently holding the value.
6fe7ccc8 205#if USE(JSVALUE64)
14957cd0
A
206 GPRReg gpr() { ASSERT(m_registerFormat && m_registerFormat != DataFormatDouble); return u.gpr; }
207 FPRReg fpr() { ASSERT(m_registerFormat == DataFormatDouble); return u.fpr; }
6fe7ccc8
A
208 JSValueRegs jsValueRegs() { ASSERT(m_registerFormat & DataFormatJS); return JSValueRegs(u.gpr); }
209#elif USE(JSVALUE32_64)
210 GPRReg gpr() { ASSERT(!(m_registerFormat & DataFormatJS) && m_registerFormat != DataFormatDouble); return u.gpr; }
211 GPRReg tagGPR() { ASSERT(m_registerFormat & DataFormatJS); return u.v.tagGPR; }
212 GPRReg payloadGPR() { ASSERT(m_registerFormat & DataFormatJS); return u.v.payloadGPR; }
213 FPRReg fpr() { ASSERT(m_registerFormat == DataFormatDouble || m_registerFormat == DataFormatJSDouble); return u.fpr; }
214 JSValueRegs jsValueRegs() { ASSERT(m_registerFormat & DataFormatJS); return JSValueRegs(u.v.tagGPR, u.v.payloadGPR); }
215#endif
14957cd0
A
216
217 // Check whether a value needs spilling in order to free up any associated machine registers.
218 bool needsSpill()
219 {
220 // This should only be called on values that are currently in a register.
221 ASSERT(m_registerFormat != DataFormatNone);
222 // Constants do not need spilling, nor do values that have already been
223 // spilled to the RegisterFile.
224 return !m_canFill;
225 }
226
227 // Called when a VirtualRegister is being spilled to the RegisterFile for the first time.
228 void spill(DataFormat spillFormat)
229 {
230 // We shouldn't be spill values that don't need spilling.
231 ASSERT(!m_canFill);
232 ASSERT(m_spillFormat == DataFormatNone);
233 // We should only be spilling values that are currently in machine registers.
234 ASSERT(m_registerFormat != DataFormatNone);
14957cd0
A
235
236 m_registerFormat = DataFormatNone;
237 m_spillFormat = spillFormat;
238 m_canFill = true;
239 }
240
241 // Called on values that don't need spilling (constants and values that have
242 // already been spilled), to mark them as no longer being in machine registers.
243 void setSpilled()
244 {
245 // Should only be called on values that don't need spilling, and are currently in registers.
246 ASSERT(m_canFill && m_registerFormat != DataFormatNone);
247 m_registerFormat = DataFormatNone;
248 }
6fe7ccc8
A
249
250 void killSpilled()
251 {
252 m_spillFormat = DataFormatNone;
253 m_canFill = false;
254 }
14957cd0
A
255
256 // Record that this value is filled into machine registers,
257 // tracking which registers, and what format the value has.
6fe7ccc8 258#if USE(JSVALUE64)
14957cd0
A
259 void fillJSValue(GPRReg gpr, DataFormat format = DataFormatJS)
260 {
261 ASSERT(format & DataFormatJS);
262 m_registerFormat = format;
263 u.gpr = gpr;
264 }
6fe7ccc8
A
265#elif USE(JSVALUE32_64)
266 void fillJSValue(GPRReg tagGPR, GPRReg payloadGPR, DataFormat format = DataFormatJS)
267 {
268 ASSERT(format & DataFormatJS);
269 m_registerFormat = format;
270 u.v.tagGPR = tagGPR; // FIXME: for JSValues with known type (boolean, integer, cell etc.) no tagGPR is needed?
271 u.v.payloadGPR = payloadGPR;
272 }
273 void fillCell(GPRReg gpr)
274 {
275 m_registerFormat = DataFormatCell;
276 u.gpr = gpr;
277 }
278#endif
14957cd0
A
279 void fillInteger(GPRReg gpr)
280 {
281 m_registerFormat = DataFormatInteger;
282 u.gpr = gpr;
283 }
6fe7ccc8
A
284 void fillBoolean(GPRReg gpr)
285 {
286 m_registerFormat = DataFormatBoolean;
287 u.gpr = gpr;
288 }
14957cd0
A
289 void fillDouble(FPRReg fpr)
290 {
6fe7ccc8 291 ASSERT(fpr != InvalidFPRReg);
14957cd0
A
292 m_registerFormat = DataFormatDouble;
293 u.fpr = fpr;
294 }
6fe7ccc8
A
295 void fillStorage(GPRReg gpr)
296 {
297 m_registerFormat = DataFormatStorage;
298 u.gpr = gpr;
299 }
14957cd0 300
14957cd0
A
301 bool alive()
302 {
303 return m_useCount;
304 }
14957cd0
A
305
306private:
307 // The index of the node whose result is stored in this virtual register.
14957cd0
A
308 NodeIndex m_nodeIndex;
309 uint32_t m_useCount;
310 DataFormat m_registerFormat;
311 DataFormat m_spillFormat;
312 bool m_canFill;
313 union {
314 GPRReg gpr;
315 FPRReg fpr;
6fe7ccc8
A
316#if USE(JSVALUE32_64)
317 struct {
318 GPRReg tagGPR;
319 GPRReg payloadGPR;
320 } v;
321#endif
14957cd0
A
322 } u;
323};
324
325} } // namespace JSC::DFG
326
327#endif
328#endif