| 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 |