Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(149)

Side by Side Diff: src/compiler/js-operator.h

Issue 613683002: [turbofan] Some javascript operators are globally shared singletons. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Fix Created 6 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
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_
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698