OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef V8_COMPILER_JS_OPERATOR_H_ | 5 #ifndef V8_COMPILER_JS_OPERATOR_H_ |
6 #define V8_COMPILER_JS_OPERATOR_H_ | 6 #define V8_COMPILER_JS_OPERATOR_H_ |
7 | 7 |
8 #include "src/compiler/linkage.h" | 8 #include <limits> |
9 #include "src/compiler/opcodes.h" | 9 |
10 #include "src/compiler/operator.h" | 10 #include "src/runtime/runtime.h" |
11 #include "src/unique.h" | 11 #include "src/unique.h" |
12 #include "src/zone.h" | |
13 | 12 |
14 namespace v8 { | 13 namespace v8 { |
15 namespace internal { | 14 namespace internal { |
16 namespace compiler { | 15 namespace compiler { |
17 | 16 |
| 17 // Forward declarations. |
| 18 class Operator; |
| 19 struct JSOperatorBuilderImpl; |
| 20 |
| 21 |
| 22 // Defines the arity and the call flags for a JavaScript function call. This is |
| 23 // used as a parameter by JSCallFunction operators. |
| 24 class CallFunctionParameters FINAL { |
| 25 public: |
| 26 CallFunctionParameters(size_t arity, CallFunctionFlags flags) |
| 27 : arity_(arity), flags_(flags) {} |
| 28 |
| 29 size_t arity() const { return arity_; } |
| 30 CallFunctionFlags flags() const { return flags_; } |
| 31 |
| 32 private: |
| 33 const size_t arity_; |
| 34 const CallFunctionFlags flags_; |
| 35 }; |
| 36 |
| 37 const CallFunctionParameters& CallFunctionParametersOf(const Operator* op); |
| 38 |
| 39 |
| 40 // Defines the arity and the ID for a runtime function call. This is used as a |
| 41 // parameter by JSCallRuntime operators. |
| 42 class CallRuntimeParameters FINAL { |
| 43 public: |
| 44 CallRuntimeParameters(Runtime::FunctionId id, size_t arity) |
| 45 : id_(id), arity_(arity) {} |
| 46 |
| 47 Runtime::FunctionId id() const { return id_; } |
| 48 size_t arity() const { return arity_; } |
| 49 |
| 50 private: |
| 51 const Runtime::FunctionId id_; |
| 52 const size_t arity_; |
| 53 }; |
| 54 |
| 55 const CallRuntimeParameters& CallRuntimeParametersOf(const Operator* op); |
| 56 |
| 57 |
18 // Defines the location of a context slot relative to a specific scope. This is | 58 // Defines the location of a context slot relative to a specific scope. This is |
19 // used as a parameter by JSLoadContext and JSStoreContext operators and allows | 59 // used as a parameter by JSLoadContext and JSStoreContext operators and allows |
20 // accessing a context-allocated variable without keeping track of the scope. | 60 // accessing a context-allocated variable without keeping track of the scope. |
21 class ContextAccess { | 61 class ContextAccess FINAL { |
22 public: | 62 public: |
23 ContextAccess(int depth, int index, bool immutable) | 63 ContextAccess(size_t depth, size_t index, bool immutable = false) |
24 : immutable_(immutable), depth_(depth), index_(index) { | 64 : immutable_(immutable), depth_(depth), index_(index) { |
25 DCHECK(0 <= depth && depth <= kMaxUInt16); | 65 DCHECK(depth <= std::numeric_limits<uint16_t>::max()); |
26 DCHECK(0 <= index && static_cast<uint32_t>(index) <= kMaxUInt32); | 66 DCHECK(index <= std::numeric_limits<uint32_t>::max()); |
27 } | 67 } |
28 int depth() const { return depth_; } | 68 |
29 int index() const { return index_; } | 69 size_t depth() const { return depth_; } |
| 70 size_t index() const { return index_; } |
30 bool immutable() const { return immutable_; } | 71 bool immutable() const { return immutable_; } |
31 | 72 |
32 private: | 73 private: |
33 // For space reasons, we keep this tightly packed, otherwise we could just use | 74 // For space reasons, we keep this tightly packed, otherwise we could just use |
34 // a simple int/int/bool POD. | 75 // a simple int/int/bool POD. |
35 const bool immutable_; | 76 const bool immutable_; |
36 const uint16_t depth_; | 77 const uint16_t depth_; |
37 const uint32_t index_; | 78 const uint32_t index_; |
38 }; | 79 }; |
39 | 80 |
| 81 bool operator==(const ContextAccess& lhs, const ContextAccess& rhs); |
| 82 bool operator!=(const ContextAccess& lhs, const ContextAccess& rhs); |
| 83 |
| 84 const ContextAccess& ContextAccessOf(const Operator* op); |
| 85 |
| 86 |
40 // Defines the property being loaded from an object by a named load. This is | 87 // Defines the property being loaded from an object by a named load. This is |
41 // used as a parameter by JSLoadNamed operators. | 88 // used as a parameter by JSLoadNamed operators. |
42 struct LoadNamedParameters { | 89 class LoadNamedParameters FINAL { |
43 Unique<Name> name; | 90 public: |
44 ContextualMode contextual_mode; | 91 explicit LoadNamedParameters(const Unique<Name>& name, |
| 92 ContextualMode contextual_mode = NOT_CONTEXTUAL) |
| 93 : name_(name), contextual_mode_(contextual_mode) {} |
| 94 |
| 95 const Unique<Name>& name() const { return name_; } |
| 96 ContextualMode contextual_mode() const { return contextual_mode_; } |
| 97 |
| 98 private: |
| 99 const Unique<Name> name_; |
| 100 const ContextualMode contextual_mode_; |
45 }; | 101 }; |
46 | 102 |
47 // Defines the arity and the call flags for a JavaScript function call. This is | 103 const LoadNamedParameters& LoadNamedParametersOf(const Operator* op); |
48 // used as a parameter by JSCall operators. | 104 |
49 struct CallParameters { | |
50 int arity; | |
51 CallFunctionFlags flags; | |
52 }; | |
53 | 105 |
54 // Defines the property being stored to an object by a named store. This is | 106 // Defines the property being stored to an object by a named store. This is |
55 // used as a parameter by JSStoreNamed operators. | 107 // used as a parameter by JSStoreNamed operators. |
56 struct StoreNamedParameters { | 108 class StoreNamedParameters FINAL { |
57 StrictMode strict_mode; | 109 public: |
58 Unique<Name> name; | 110 StoreNamedParameters(StrictMode strict_mode, const Unique<Name>& name) |
| 111 : strict_mode_(strict_mode), name_(name) {} |
| 112 |
| 113 StrictMode strict_mode() const { return strict_mode_; } |
| 114 const Unique<Name>& name() const { return name_; } |
| 115 |
| 116 private: |
| 117 const StrictMode strict_mode_; |
| 118 const Unique<Name> name_; |
59 }; | 119 }; |
60 | 120 |
| 121 const StoreNamedParameters& StoreNamedParametersOf(const Operator* op); |
| 122 |
| 123 |
61 // Interface for building JavaScript-level operators, e.g. directly from the | 124 // Interface for building JavaScript-level operators, e.g. directly from the |
62 // AST. Most operators have no parameters, thus can be globally shared for all | 125 // AST. Most operators have no parameters, thus can be globally shared for all |
63 // graphs. | 126 // graphs. |
64 class JSOperatorBuilder { | 127 class JSOperatorBuilder FINAL { |
65 public: | 128 public: |
66 explicit JSOperatorBuilder(Zone* zone) : zone_(zone) {} | 129 explicit JSOperatorBuilder(Zone* zone); |
67 | 130 |
68 #define SIMPLE(name, properties, inputs, outputs) \ | 131 const Operator* Equal(); |
69 return new (zone_) \ | 132 const Operator* NotEqual(); |
70 SimpleOperator(IrOpcode::k##name, properties, inputs, outputs, #name); | 133 const Operator* StrictEqual(); |
| 134 const Operator* StrictNotEqual(); |
| 135 const Operator* LessThan(); |
| 136 const Operator* GreaterThan(); |
| 137 const Operator* LessThanOrEqual(); |
| 138 const Operator* GreaterThanOrEqual(); |
| 139 const Operator* BitwiseOr(); |
| 140 const Operator* BitwiseXor(); |
| 141 const Operator* BitwiseAnd(); |
| 142 const Operator* ShiftLeft(); |
| 143 const Operator* ShiftRight(); |
| 144 const Operator* ShiftRightLogical(); |
| 145 const Operator* Add(); |
| 146 const Operator* Subtract(); |
| 147 const Operator* Multiply(); |
| 148 const Operator* Divide(); |
| 149 const Operator* Modulus(); |
71 | 150 |
72 #define NOPROPS(name, inputs, outputs) \ | 151 const Operator* UnaryNot(); |
73 SIMPLE(name, Operator::kNoProperties, inputs, outputs) | 152 const Operator* ToBoolean(); |
| 153 const Operator* ToNumber(); |
| 154 const Operator* ToString(); |
| 155 const Operator* ToName(); |
| 156 const Operator* ToObject(); |
| 157 const Operator* Yield(); |
74 | 158 |
75 #define OP1(name, ptype, pname, properties, inputs, outputs) \ | 159 const Operator* Create(); |
76 return new (zone_) Operator1<ptype>(IrOpcode::k##name, properties, inputs, \ | |
77 outputs, #name, pname) | |
78 | 160 |
79 #define BINOP(name) NOPROPS(name, 2, 1) | 161 const Operator* CallFunction(CallFunctionParameters parameters); |
80 #define UNOP(name) NOPROPS(name, 1, 1) | 162 const Operator* CallRuntime(CallRuntimeParameters parameters); |
81 | 163 |
82 #define PURE_BINOP(name) SIMPLE(name, Operator::kPure, 2, 1) | 164 const Operator* CallConstruct(int arguments); |
83 | 165 |
84 const Operator* Equal() { BINOP(JSEqual); } | 166 const Operator* LoadProperty(); |
85 const Operator* NotEqual() { BINOP(JSNotEqual); } | 167 const Operator* LoadNamed(const LoadNamedParameters& parameters); |
86 const Operator* StrictEqual() { PURE_BINOP(JSStrictEqual); } | |
87 const Operator* StrictNotEqual() { PURE_BINOP(JSStrictNotEqual); } | |
88 const Operator* LessThan() { BINOP(JSLessThan); } | |
89 const Operator* GreaterThan() { BINOP(JSGreaterThan); } | |
90 const Operator* LessThanOrEqual() { BINOP(JSLessThanOrEqual); } | |
91 const Operator* GreaterThanOrEqual() { BINOP(JSGreaterThanOrEqual); } | |
92 const Operator* BitwiseOr() { BINOP(JSBitwiseOr); } | |
93 const Operator* BitwiseXor() { BINOP(JSBitwiseXor); } | |
94 const Operator* BitwiseAnd() { BINOP(JSBitwiseAnd); } | |
95 const Operator* ShiftLeft() { BINOP(JSShiftLeft); } | |
96 const Operator* ShiftRight() { BINOP(JSShiftRight); } | |
97 const Operator* ShiftRightLogical() { BINOP(JSShiftRightLogical); } | |
98 const Operator* Add() { BINOP(JSAdd); } | |
99 const Operator* Subtract() { BINOP(JSSubtract); } | |
100 const Operator* Multiply() { BINOP(JSMultiply); } | |
101 const Operator* Divide() { BINOP(JSDivide); } | |
102 const Operator* Modulus() { BINOP(JSModulus); } | |
103 | 168 |
104 const Operator* UnaryNot() { UNOP(JSUnaryNot); } | 169 const Operator* StoreProperty(StrictMode strict_mode); |
105 const Operator* ToBoolean() { UNOP(JSToBoolean); } | 170 const Operator* StoreNamed(const StoreNamedParameters& parameters); |
106 const Operator* ToNumber() { UNOP(JSToNumber); } | |
107 const Operator* ToString() { UNOP(JSToString); } | |
108 const Operator* ToName() { UNOP(JSToName); } | |
109 const Operator* ToObject() { UNOP(JSToObject); } | |
110 const Operator* Yield() { UNOP(JSYield); } | |
111 | 171 |
112 const Operator* Create() { SIMPLE(JSCreate, Operator::kEliminatable, 0, 1); } | 172 const Operator* DeleteProperty(StrictMode strict_mode); |
113 | 173 |
114 const Operator* Call(int arguments, CallFunctionFlags flags) { | 174 const Operator* HasProperty(); |
115 CallParameters parameters = {arguments, flags}; | |
116 OP1(JSCallFunction, CallParameters, parameters, Operator::kNoProperties, | |
117 arguments, 1); | |
118 } | |
119 | 175 |
120 const Operator* CallNew(int arguments) { | 176 const Operator* LoadContext(const ContextAccess&); |
121 return new (zone_) | 177 const Operator* StoreContext(const ContextAccess&); |
122 Operator1<int>(IrOpcode::kJSCallConstruct, Operator::kNoProperties, | |
123 arguments, 1, "JSCallConstruct", arguments); | |
124 } | |
125 | 178 |
126 const Operator* LoadProperty() { BINOP(JSLoadProperty); } | 179 const Operator* TypeOf(); |
127 const Operator* LoadNamed(Unique<Name> name, | 180 const Operator* InstanceOf(); |
128 ContextualMode contextual_mode = NOT_CONTEXTUAL) { | 181 const Operator* Debugger(); |
129 LoadNamedParameters parameters = {name, contextual_mode}; | |
130 OP1(JSLoadNamed, LoadNamedParameters, parameters, Operator::kNoProperties, | |
131 1, 1); | |
132 } | |
133 | |
134 const Operator* StoreProperty(StrictMode strict_mode) { | |
135 OP1(JSStoreProperty, StrictMode, strict_mode, Operator::kNoProperties, 3, | |
136 0); | |
137 } | |
138 | |
139 const Operator* StoreNamed(StrictMode strict_mode, Unique<Name> name) { | |
140 StoreNamedParameters parameters = {strict_mode, name}; | |
141 OP1(JSStoreNamed, StoreNamedParameters, parameters, Operator::kNoProperties, | |
142 2, 0); | |
143 } | |
144 | |
145 const Operator* DeleteProperty(StrictMode strict_mode) { | |
146 OP1(JSDeleteProperty, StrictMode, strict_mode, Operator::kNoProperties, 2, | |
147 1); | |
148 } | |
149 | |
150 const Operator* HasProperty() { NOPROPS(JSHasProperty, 2, 1); } | |
151 | |
152 const Operator* LoadContext(uint16_t depth, uint32_t index, bool immutable) { | |
153 ContextAccess access(depth, index, immutable); | |
154 OP1(JSLoadContext, ContextAccess, access, | |
155 Operator::kEliminatable | Operator::kNoWrite, 1, 1); | |
156 } | |
157 const Operator* StoreContext(uint16_t depth, uint32_t index) { | |
158 ContextAccess access(depth, index, false); | |
159 OP1(JSStoreContext, ContextAccess, access, Operator::kNoProperties, 2, 0); | |
160 } | |
161 | |
162 const Operator* TypeOf() { SIMPLE(JSTypeOf, Operator::kPure, 1, 1); } | |
163 const Operator* InstanceOf() { NOPROPS(JSInstanceOf, 2, 1); } | |
164 const Operator* Debugger() { NOPROPS(JSDebugger, 0, 0); } | |
165 | 182 |
166 // TODO(titzer): nail down the static parts of each of these context flavors. | 183 // TODO(titzer): nail down the static parts of each of these context flavors. |
167 const Operator* CreateFunctionContext() { | 184 const Operator* CreateFunctionContext(); |
168 NOPROPS(JSCreateFunctionContext, 1, 1); | 185 const Operator* CreateCatchContext(const Unique<String>& name); |
169 } | 186 const Operator* CreateWithContext(); |
170 const Operator* CreateCatchContext(Unique<String> name) { | 187 const Operator* CreateBlockContext(); |
171 OP1(JSCreateCatchContext, Unique<String>, name, Operator::kNoProperties, 1, | 188 const Operator* CreateModuleContext(); |
172 1); | 189 const Operator* CreateGlobalContext(); |
173 } | |
174 const Operator* CreateWithContext() { NOPROPS(JSCreateWithContext, 2, 1); } | |
175 const Operator* CreateBlockContext() { NOPROPS(JSCreateBlockContext, 2, 1); } | |
176 const Operator* CreateModuleContext() { | |
177 NOPROPS(JSCreateModuleContext, 2, 1); | |
178 } | |
179 const Operator* CreateGlobalContext() { | |
180 NOPROPS(JSCreateGlobalContext, 2, 1); | |
181 } | |
182 | |
183 const Operator* Runtime(Runtime::FunctionId function, int arguments) { | |
184 const Runtime::Function* f = Runtime::FunctionForId(function); | |
185 DCHECK(f->nargs == -1 || f->nargs == arguments); | |
186 OP1(JSCallRuntime, Runtime::FunctionId, function, Operator::kNoProperties, | |
187 arguments, f->result_size); | |
188 } | |
189 | |
190 #undef SIMPLE | |
191 #undef NOPROPS | |
192 #undef OP1 | |
193 #undef BINOP | |
194 #undef UNOP | |
195 | 190 |
196 private: | 191 private: |
197 Zone* zone_; | 192 Zone* zone() const { return zone_; } |
198 }; | |
199 | 193 |
200 // Specialization for static parameters of type {ContextAccess}. | 194 const JSOperatorBuilderImpl& impl_; |
201 template <> | 195 Zone* const zone_; |
202 struct StaticParameterTraits<ContextAccess> { | |
203 static OStream& PrintTo(OStream& os, ContextAccess val) { // NOLINT | |
204 return os << val.depth() << "," << val.index() | |
205 << (val.immutable() ? ",imm" : ""); | |
206 } | |
207 static int HashCode(ContextAccess val) { | |
208 return (val.depth() << 16) | (val.index() & 0xffff); | |
209 } | |
210 static bool Equals(ContextAccess a, ContextAccess b) { | |
211 return a.immutable() == b.immutable() && a.depth() == b.depth() && | |
212 a.index() == b.index(); | |
213 } | |
214 }; | |
215 | |
216 // Specialization for static parameters of type {Runtime::FunctionId}. | |
217 template <> | |
218 struct StaticParameterTraits<Runtime::FunctionId> { | |
219 static OStream& PrintTo(OStream& os, Runtime::FunctionId val) { // NOLINT | |
220 const Runtime::Function* f = Runtime::FunctionForId(val); | |
221 return os << (f->name ? f->name : "?Runtime?"); | |
222 } | |
223 static int HashCode(Runtime::FunctionId val) { return static_cast<int>(val); } | |
224 static bool Equals(Runtime::FunctionId a, Runtime::FunctionId b) { | |
225 return a == b; | |
226 } | |
227 }; | 196 }; |
228 | 197 |
229 } // namespace compiler | 198 } // namespace compiler |
230 } // namespace internal | 199 } // namespace internal |
231 } // namespace v8 | 200 } // namespace v8 |
232 | 201 |
233 #endif // V8_COMPILER_JS_OPERATOR_H_ | 202 #endif // V8_COMPILER_JS_OPERATOR_H_ |
OLD | NEW |