Create a super rough prototype of B3
[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 protected:
66     void dumpMeta(PrintStream&) const override;
67
68 private:
69     friend class Procedure;
70
71     // Use this form for Load (but not Load8Z, Load8S, or any of the Loads that have a suffix that
72     // describes the returned type).
73     MemoryValue(
74         unsigned index, Opcode opcode, Type type, Origin origin, Value* pointer,
75         int32_t offset = 0)
76         : Value(index, opcode, type, origin, pointer)
77         , m_offset(offset)
78     {
79         if (!ASSERT_DISABLED) {
80             switch (opcode) {
81             case Load:
82                 break;
83             case Load8Z:
84             case Load8S:
85             case Load16Z:
86             case Load16S:
87                 ASSERT(type == Int32);
88                 break;
89             case LoadFloat:
90                 ASSERT(type == Double);
91                 break;
92             case Store8:
93             case Store16:
94             case StoreFloat:
95             case Store:
96                 ASSERT(type == Void);
97                 break;
98             default:
99                 ASSERT_NOT_REACHED();
100             }
101         }
102     }
103
104     // Use this form for loads where the return type is implied.
105     MemoryValue(unsigned index, Opcode opcode, Origin origin, Value* pointer, int32_t offset = 0)
106         : MemoryValue(index, opcode, opcode == LoadFloat ? Double : Int32, origin, pointer, offset)
107     {
108     }
109
110     // Use this form for stores.
111     MemoryValue(
112         unsigned index, Opcode opcode, Origin origin, Value* value, Value* pointer,
113         int32_t offset = 0)
114         : Value(index, opcode, Void, origin, value, pointer)
115         , m_offset(offset)
116     {
117         if (!ASSERT_DISABLED) {
118             switch (opcode) {
119             case Store8:
120             case Store16:
121             case StoreFloat:
122             case Store:
123                 break;
124             default:
125                 ASSERT_NOT_REACHED();
126                 break;
127             }
128         }
129     }
130
131     int32_t m_offset { 0 };
132 };
133
134 } } // namespace JSC::B3
135
136 #endif // ENABLE(B3_JIT)
137
138 #endif // B3MemoryValue_h
139