Air needs syntax for escaping StackSlots
[WebKit-https.git] / Source / JavaScriptCore / b3 / B3MemoryValue.h
1 /*
2  * Copyright (C) 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 B3MemoryValue_h
27 #define B3MemoryValue_h
28
29 #if ENABLE(B3_JIT)
30
31 #include "B3Value.h"
32
33 namespace JSC { namespace B3 {
34
35 // FIXME: Add alias analysis to these by allowing the client to associate an integer range to the
36 // value. Two operations may access the same memory if their ranges overlaps.
37 // https://bugs.webkit.org/show_bug.cgi?id=150535
38
39 class JS_EXPORT_PRIVATE MemoryValue : public Value {
40 public:
41     static bool accepts(Opcode opcode)
42     {
43         switch (opcode) {
44         case Load8Z:
45         case Load8S:
46         case Load16Z:
47         case Load16S:
48         case LoadFloat:
49         case Load:
50         case Store8:
51         case Store16:
52         case StoreFloat:
53         case Store:
54             return true;
55         default:
56             return false;
57         }
58     }
59
60     ~MemoryValue();
61
62     int32_t offset() const { return m_offset; }
63     void setOffset(int32_t offset) { m_offset = offset; }
64
65     size_t accessByteSize() const;
66
67 protected:
68     void dumpMeta(PrintStream&) const override;
69
70 private:
71     friend class Procedure;
72
73     // Use this form for Load (but not Load8Z, Load8S, or any of the Loads that have a suffix that
74     // describes the returned type).
75     MemoryValue(
76         unsigned index, Opcode opcode, Type type, Origin origin, Value* pointer,
77         int32_t offset = 0)
78         : Value(index, opcode, type, origin, pointer)
79         , m_offset(offset)
80     {
81         if (!ASSERT_DISABLED) {
82             switch (opcode) {
83             case Load:
84                 break;
85             case Load8Z:
86             case Load8S:
87             case Load16Z:
88             case Load16S:
89                 ASSERT(type == Int32);
90                 break;
91             case LoadFloat:
92                 ASSERT(type == Double);
93                 break;
94             case Store8:
95             case Store16:
96             case StoreFloat:
97             case Store:
98                 ASSERT(type == Void);
99                 break;
100             default:
101                 ASSERT_NOT_REACHED();
102             }
103         }
104     }
105
106     // Use this form for loads where the return type is implied.
107     MemoryValue(unsigned index, Opcode opcode, Origin origin, Value* pointer, int32_t offset = 0)
108         : MemoryValue(index, opcode, opcode == LoadFloat ? Double : Int32, origin, pointer, offset)
109     {
110     }
111
112     // Use this form for stores.
113     MemoryValue(
114         unsigned index, Opcode opcode, Origin origin, Value* value, Value* pointer,
115         int32_t offset = 0)
116         : Value(index, opcode, Void, origin, value, pointer)
117         , m_offset(offset)
118     {
119         if (!ASSERT_DISABLED) {
120             switch (opcode) {
121             case Store8:
122             case Store16:
123             case StoreFloat:
124             case Store:
125                 break;
126             default:
127                 ASSERT_NOT_REACHED();
128                 break;
129             }
130         }
131     }
132
133     int32_t m_offset { 0 };
134 };
135
136 } } // namespace JSC::B3
137
138 #endif // ENABLE(B3_JIT)
139
140 #endif // B3MemoryValue_h
141