ce93fdd3f4808a4b34a6ba4de41190b19b1690a6
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGVariableAccessData.h
1 /*
2  * Copyright (C) 2011 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 DFGVariableAccessData_h
27 #define DFGVariableAccessData_h
28
29 #include <wtf/Platform.h>
30
31 #if ENABLE(DFG_JIT)
32
33 #include <wtf/UnionFind.h>
34
35 namespace JSC { namespace DFG {
36
37 // Type for a virtual register number (spill location).
38 // Using an enum to make this type-checked at compile time, to avert programmer errors.
39 enum VirtualRegister { InvalidVirtualRegister = -1 };
40 COMPILE_ASSERT(sizeof(VirtualRegister) == sizeof(int), VirtualRegister_is_32bit);
41
42 class VariableAccessData: public UnionFind<VariableAccessData> {
43 public:
44     VariableAccessData()
45         : m_local(static_cast<VirtualRegister>(std::numeric_limits<int>::min()))
46         , m_prediction(PredictNone)
47     {
48     }
49     
50     VariableAccessData(VirtualRegister local)
51         : m_local(local)
52         , m_prediction(PredictNone)
53     {
54     }
55     
56     VirtualRegister local()
57     {
58         ASSERT(m_local == find()->m_local);
59         return m_local;
60     }
61     
62     int operand()
63     {
64         return static_cast<int>(local());
65     }
66     
67     bool predict(PredictedType prediction)
68     {
69         return mergePrediction(find()->m_prediction, prediction);
70     }
71     
72     PredictedType prediction()
73     {
74         return find()->m_prediction;
75     }
76     
77 private:
78     // This is slightly space-inefficient, since anything we're unified with
79     // will have the same operand and should have the same prediction. But
80     // putting them here simplifies the code, and we don't expect DFG space
81     // usage for variable access nodes do be significant.
82
83     VirtualRegister m_local;
84     PredictedType m_prediction;
85 };
86
87 } } // namespace JSC::DFG
88
89 #endif // ENABLE(DFG_JIT)
90
91 #endif // DFGVariableAccessData_h