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

Side by Side Diff: src/interpreter/bytecode-generator.h

Issue 2369873002: [Interpreter] Replace BytecodeRegisterAllocator with a simple bump pointer. (Closed)
Patch Set: Add dcheck Created 4 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
OLDNEW
1 // Copyright 2015 the V8 project authors. All rights reserved. 1 // Copyright 2015 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_INTERPRETER_BYTECODE_GENERATOR_H_ 5 #ifndef V8_INTERPRETER_BYTECODE_GENERATOR_H_
6 #define V8_INTERPRETER_BYTECODE_GENERATOR_H_ 6 #define V8_INTERPRETER_BYTECODE_GENERATOR_H_
7 7
8 #include "src/ast/ast.h" 8 #include "src/ast/ast.h"
9 #include "src/interpreter/bytecode-array-builder.h" 9 #include "src/interpreter/bytecode-array-builder.h"
10 #include "src/interpreter/bytecode-label.h" 10 #include "src/interpreter/bytecode-label.h"
(...skipping 18 matching lines...) Expand all
29 29
30 #define DECLARE_VISIT(type) void Visit##type(type* node); 30 #define DECLARE_VISIT(type) void Visit##type(type* node);
31 AST_NODE_LIST(DECLARE_VISIT) 31 AST_NODE_LIST(DECLARE_VISIT)
32 #undef DECLARE_VISIT 32 #undef DECLARE_VISIT
33 33
34 // Visiting function for declarations list and statements are overridden. 34 // Visiting function for declarations list and statements are overridden.
35 void VisitDeclarations(ZoneList<Declaration*>* declarations); 35 void VisitDeclarations(ZoneList<Declaration*>* declarations);
36 void VisitStatements(ZoneList<Statement*>* statments); 36 void VisitStatements(ZoneList<Statement*>* statments);
37 37
38 private: 38 private:
39 class AccumulatorResultScope;
40 class ContextScope; 39 class ContextScope;
41 class ControlScope; 40 class ControlScope;
42 class ControlScopeForBreakable; 41 class ControlScopeForBreakable;
43 class ControlScopeForIteration; 42 class ControlScopeForIteration;
44 class ControlScopeForTopLevel; 43 class ControlScopeForTopLevel;
45 class ControlScopeForTryCatch; 44 class ControlScopeForTryCatch;
46 class ControlScopeForTryFinally; 45 class ControlScopeForTryFinally;
47 class ExpressionResultScope; 46 class ExpressionResultScope;
48 class EffectResultScope; 47 class EffectResultScope;
49 class GlobalDeclarationsBuilder; 48 class GlobalDeclarationsBuilder;
50 class RegisterResultScope;
51 class RegisterAllocationScope; 49 class RegisterAllocationScope;
52 class TestResultScope; 50 class TestResultScope;
51 class ValueResultScope;
53 52
54 enum class TestFallthrough { kThen, kElse, kNone }; 53 enum class TestFallthrough { kThen, kElse, kNone };
55 54
56 void GenerateBytecodeBody(); 55 void GenerateBytecodeBody();
57 void AllocateDeferredConstants(); 56 void AllocateDeferredConstants();
58 57
59 DEFINE_AST_VISITOR_SUBCLASS_MEMBERS(); 58 DEFINE_AST_VISITOR_SUBCLASS_MEMBERS();
60 59
61 // Dispatched from VisitBinaryOperation. 60 // Dispatched from VisitBinaryOperation.
62 void VisitArithmeticExpression(BinaryOperation* binop); 61 void VisitArithmeticExpression(BinaryOperation* binop);
63 void VisitCommaExpression(BinaryOperation* binop); 62 void VisitCommaExpression(BinaryOperation* binop);
64 void VisitLogicalOrExpression(BinaryOperation* binop); 63 void VisitLogicalOrExpression(BinaryOperation* binop);
65 void VisitLogicalAndExpression(BinaryOperation* binop); 64 void VisitLogicalAndExpression(BinaryOperation* binop);
66 65
67 // Dispatched from VisitUnaryOperation. 66 // Dispatched from VisitUnaryOperation.
68 void VisitVoid(UnaryOperation* expr); 67 void VisitVoid(UnaryOperation* expr);
69 void VisitTypeOf(UnaryOperation* expr); 68 void VisitTypeOf(UnaryOperation* expr);
70 void VisitNot(UnaryOperation* expr); 69 void VisitNot(UnaryOperation* expr);
71 void VisitDelete(UnaryOperation* expr); 70 void VisitDelete(UnaryOperation* expr);
72 71
73 // Used by flow control routines to evaluate loop condition. 72 // Used by flow control routines to evaluate loop condition.
74 void VisitCondition(Expression* expr); 73 void VisitCondition(Expression* expr);
75 74
76 // Helper visitors which perform common operations. 75 // Visit the arguments expressions in |args| and store them in |args_regs|
77 Register VisitArguments(ZoneList<Expression*>* arguments); 76 // starting at register |first_argument_register| in the list.
77 void VisitArguments(ZoneList<Expression*>* args, RegisterList arg_regs,
78 size_t first_argument_register = 0);
78 79
79 // Visit a keyed super property load. The optional 80 // Visit a keyed super property load. The optional
80 // |opt_receiver_out| register will have the receiver stored to it 81 // |opt_receiver_out| register will have the receiver stored to it
81 // if it's a valid register. The loaded value is placed in the 82 // if it's a valid register. The loaded value is placed in the
82 // accumulator. 83 // accumulator.
83 void VisitKeyedSuperPropertyLoad(Property* property, 84 void VisitKeyedSuperPropertyLoad(Property* property,
84 Register opt_receiver_out); 85 Register opt_receiver_out);
85 86
86 // Visit a named super property load. The optional 87 // Visit a named super property load. The optional
87 // |opt_receiver_out| register will have the receiver stored to it 88 // |opt_receiver_out| register will have the receiver stored to it
88 // if it's a valid register. The loaded value is placed in the 89 // if it's a valid register. The loaded value is placed in the
89 // accumulator. 90 // accumulator.
90 void VisitNamedSuperPropertyLoad(Property* property, 91 void VisitNamedSuperPropertyLoad(Property* property,
91 Register opt_receiver_out); 92 Register opt_receiver_out);
92 93
93 void VisitPropertyLoad(Register obj, Property* expr); 94 void VisitPropertyLoad(Register obj, Property* expr);
94 void VisitPropertyLoadForAccumulator(Register obj, Property* expr); 95 void VisitPropertyLoadForAccumulator(Register obj, Property* expr);
95 96
96 void VisitVariableLoad(Variable* variable, FeedbackVectorSlot slot, 97 void VisitVariableLoad(Variable* variable, FeedbackVectorSlot slot,
97 TypeofMode typeof_mode = NOT_INSIDE_TYPEOF); 98 TypeofMode typeof_mode = NOT_INSIDE_TYPEOF);
98 void VisitVariableLoadForAccumulatorValue( 99 void VisitVariableLoadForAccumulatorValue(
99 Variable* variable, FeedbackVectorSlot slot, 100 Variable* variable, FeedbackVectorSlot slot,
100 TypeofMode typeof_mode = NOT_INSIDE_TYPEOF); 101 TypeofMode typeof_mode = NOT_INSIDE_TYPEOF);
101 MUST_USE_RESULT Register 102 MUST_USE_RESULT Register
102 VisitVariableLoadForRegisterValue(Variable* variable, FeedbackVectorSlot slot, 103 VisitVariableLoadForRegisterValue(Variable* variable, FeedbackVectorSlot slot,
103 TypeofMode typeof_mode = NOT_INSIDE_TYPEOF); 104 TypeofMode typeof_mode = NOT_INSIDE_TYPEOF);
104 void VisitVariableAssignment(Variable* variable, Token::Value op, 105 void VisitVariableAssignment(Variable* variable, Token::Value op,
105 FeedbackVectorSlot slot); 106 FeedbackVectorSlot slot);
106 107
107 void BuildNamedSuperPropertyStore(Register receiver, Register home_object,
108 Register name, Register value);
109 void BuildKeyedSuperPropertyStore(Register receiver, Register home_object,
110 Register key, Register value);
111 void BuildNamedSuperPropertyLoad(Register receiver, Register home_object,
112 Register name);
113 void BuildKeyedSuperPropertyLoad(Register receiver, Register home_object,
114 Register key);
115
116 void BuildAbort(BailoutReason bailout_reason); 108 void BuildAbort(BailoutReason bailout_reason);
117 void BuildThrowIfHole(Handle<String> name); 109 void BuildThrowIfHole(Handle<String> name);
118 void BuildThrowIfNotHole(Handle<String> name); 110 void BuildThrowIfNotHole(Handle<String> name);
119 void BuildThrowReferenceError(Handle<String> name); 111 void BuildThrowReferenceError(Handle<String> name);
120 void BuildHoleCheckForVariableLoad(Variable* variable); 112 void BuildHoleCheckForVariableLoad(Variable* variable);
121 void BuildHoleCheckForVariableAssignment(Variable* variable, Token::Value op); 113 void BuildHoleCheckForVariableAssignment(Variable* variable, Token::Value op);
122 114
123 // Build jump to targets[value], where 115 // Build jump to targets[value], where
124 // start_index <= value < start_index + size. 116 // start_index <= value < start_index + size.
125 void BuildIndexedJump(Register value, size_t start_index, size_t size, 117 void BuildIndexedJump(Register value, size_t start_index, size_t size,
126 ZoneVector<BytecodeLabel>& targets); 118 ZoneVector<BytecodeLabel>& targets);
127 119
128 void BuildNewLocalActivationContext(); 120 void BuildNewLocalActivationContext();
129 void BuildLocalActivationContextInitialization(); 121 void BuildLocalActivationContextInitialization();
130 void BuildNewLocalBlockContext(Scope* scope); 122 void BuildNewLocalBlockContext(Scope* scope);
131 void BuildNewLocalCatchContext(Variable* variable, Scope* scope); 123 void BuildNewLocalCatchContext(Variable* variable, Scope* scope);
132 void BuildNewLocalWithContext(Scope* scope); 124 void BuildNewLocalWithContext(Scope* scope);
133 125
134 void VisitGeneratorPrologue(); 126 void VisitGeneratorPrologue();
135 127
136 void VisitArgumentsObject(Variable* variable); 128 void VisitArgumentsObject(Variable* variable);
137 void VisitRestArgumentsArray(Variable* rest); 129 void VisitRestArgumentsArray(Variable* rest);
138 void VisitCallSuper(Call* call); 130 void VisitCallSuper(Call* call);
139 void VisitClassLiteralForRuntimeDefinition(ClassLiteral* expr); 131 void VisitClassLiteralForRuntimeDefinition(ClassLiteral* expr);
140 void VisitClassLiteralProperties(ClassLiteral* expr, Register literal, 132 void VisitClassLiteralProperties(ClassLiteral* expr, Register literal,
141 Register prototype); 133 Register prototype);
142 void VisitClassLiteralStaticPrototypeWithComputedName(Register name);
143 void VisitThisFunctionVariable(Variable* variable); 134 void VisitThisFunctionVariable(Variable* variable);
144 void VisitNewTargetVariable(Variable* variable); 135 void VisitNewTargetVariable(Variable* variable);
145 void VisitBlockDeclarationsAndStatements(Block* stmt); 136 void VisitBlockDeclarationsAndStatements(Block* stmt);
146 void VisitFunctionClosureForContext(); 137 void VisitFunctionClosureForContext();
147 void VisitSetHomeObject(Register value, Register home_object, 138 void VisitSetHomeObject(Register value, Register home_object,
148 LiteralProperty* property, int slot_number = 0); 139 LiteralProperty* property, int slot_number = 0);
149 void VisitObjectLiteralAccessor(Register home_object, 140 void VisitObjectLiteralAccessor(Register home_object,
150 ObjectLiteralProperty* property, 141 ObjectLiteralProperty* property,
151 Register value_out); 142 Register value_out);
152 void VisitForInAssignment(Expression* expr, FeedbackVectorSlot slot); 143 void VisitForInAssignment(Expression* expr, FeedbackVectorSlot slot);
153 144
154 // Visit the header/body of a loop iteration. 145 // Visit the header/body of a loop iteration.
155 void VisitIterationHeader(IterationStatement* stmt, 146 void VisitIterationHeader(IterationStatement* stmt,
156 LoopBuilder* loop_builder); 147 LoopBuilder* loop_builder);
157 void VisitIterationBody(IterationStatement* stmt, LoopBuilder* loop_builder); 148 void VisitIterationBody(IterationStatement* stmt, LoopBuilder* loop_builder);
158 149
159 // Visit a statement and switch scopes, the context is in the accumulator. 150 // Visit a statement and switch scopes, the context is in the accumulator.
160 void VisitInScope(Statement* stmt, Scope* scope); 151 void VisitInScope(Statement* stmt, Scope* scope);
161 152
162 // Visitors for obtaining expression result in the accumulator, in a 153 // Visitors for obtaining expression result in the accumulator, in a
163 // register, or just getting the effect. 154 // register, or just getting the effect.
164 void VisitForAccumulatorValue(Expression* expr); 155 void VisitForAccumulatorValue(Expression* expr);
165 void VisitForAccumulatorValueOrTheHole(Expression* expr); 156 void VisitForAccumulatorValueOrTheHole(Expression* expr);
166 MUST_USE_RESULT Register VisitForRegisterValue(Expression* expr); 157 MUST_USE_RESULT Register VisitForRegisterValue(Expression* expr);
167 void VisitForRegisterValue(Expression* expr, Register destination); 158 void VisitForRegisterValue(Expression* expr, Register destination);
168 void VisitForEffect(Expression* expr); 159 void VisitForEffect(Expression* expr);
169 void VisitForTest(Expression* expr, BytecodeLabels* then_labels, 160 void VisitForTest(Expression* expr, BytecodeLabels* then_labels,
170 BytecodeLabels* else_labels, TestFallthrough fallthrough); 161 BytecodeLabels* else_labels, TestFallthrough fallthrough);
171 162
172 // Methods for tracking and remapping register. 163 // Returns the runtime function id for a store to super for the function's
173 void RecordStoreToRegister(Register reg); 164 // language mode.
174 Register LoadFromAliasedRegister(Register reg); 165 inline Runtime::FunctionId StoreToSuperRuntimeId();
175 166 inline Runtime::FunctionId StoreKeyedToSuperRuntimeId();
176 // Initialize an array of temporary registers with consecutive registers.
177 template <size_t N>
178 void InitializeWithConsecutiveRegisters(Register (&registers)[N]);
179 167
180 inline BytecodeArrayBuilder* builder() const { return builder_; } 168 inline BytecodeArrayBuilder* builder() const { return builder_; }
181 inline Zone* zone() const { return zone_; } 169 inline Zone* zone() const { return zone_; }
182 inline DeclarationScope* scope() const { return scope_; } 170 inline DeclarationScope* scope() const { return scope_; }
183 inline CompilationInfo* info() const { return info_; } 171 inline CompilationInfo* info() const { return info_; }
184 172
185 inline ControlScope* execution_control() const { return execution_control_; } 173 inline ControlScope* execution_control() const { return execution_control_; }
186 inline void set_execution_control(ControlScope* scope) { 174 inline void set_execution_control(ControlScope* scope) {
187 execution_control_ = scope; 175 execution_control_ = scope;
188 } 176 }
189 inline ContextScope* execution_context() const { return execution_context_; } 177 inline ContextScope* execution_context() const { return execution_context_; }
190 inline void set_execution_context(ContextScope* context) { 178 inline void set_execution_context(ContextScope* context) {
191 execution_context_ = context; 179 execution_context_ = context;
192 } 180 }
193 inline void set_execution_result(ExpressionResultScope* execution_result) { 181 inline void set_execution_result(ExpressionResultScope* execution_result) {
194 execution_result_ = execution_result; 182 execution_result_ = execution_result;
195 } 183 }
196 ExpressionResultScope* execution_result() const { return execution_result_; } 184 ExpressionResultScope* execution_result() const { return execution_result_; }
197 inline void set_register_allocator( 185 BytecodeRegisterAllocator* register_allocator() const {
198 RegisterAllocationScope* register_allocator) { 186 return builder()->register_allocator();
199 register_allocator_ = register_allocator;
200 }
201 RegisterAllocationScope* register_allocator() const {
202 return register_allocator_;
203 } 187 }
204 188
205 GlobalDeclarationsBuilder* globals_builder() { return globals_builder_; } 189 GlobalDeclarationsBuilder* globals_builder() { return globals_builder_; }
206 inline LanguageMode language_mode() const; 190 inline LanguageMode language_mode() const;
207 int feedback_index(FeedbackVectorSlot slot) const; 191 int feedback_index(FeedbackVectorSlot slot) const;
208 192
209 Handle<Name> home_object_symbol() const { return home_object_symbol_; } 193 Handle<Name> home_object_symbol() const { return home_object_symbol_; }
210 Handle<Name> prototype_string() const { return prototype_string_; } 194 Handle<Name> prototype_string() const { return prototype_string_; }
211 195
212 Zone* zone_; 196 Zone* zone_;
213 BytecodeArrayBuilder* builder_; 197 BytecodeArrayBuilder* builder_;
214 CompilationInfo* info_; 198 CompilationInfo* info_;
215 DeclarationScope* scope_; 199 DeclarationScope* scope_;
216 200
217 GlobalDeclarationsBuilder* globals_builder_; 201 GlobalDeclarationsBuilder* globals_builder_;
218 ZoneVector<GlobalDeclarationsBuilder*> global_declarations_; 202 ZoneVector<GlobalDeclarationsBuilder*> global_declarations_;
219 ZoneVector<std::pair<FunctionLiteral*, size_t>> function_literals_; 203 ZoneVector<std::pair<FunctionLiteral*, size_t>> function_literals_;
220 ZoneVector<std::pair<NativeFunctionLiteral*, size_t>> 204 ZoneVector<std::pair<NativeFunctionLiteral*, size_t>>
221 native_function_literals_; 205 native_function_literals_;
222 206
223 ControlScope* execution_control_; 207 ControlScope* execution_control_;
224 ContextScope* execution_context_; 208 ContextScope* execution_context_;
225 ExpressionResultScope* execution_result_; 209 ExpressionResultScope* execution_result_;
226 RegisterAllocationScope* register_allocator_;
227 210
228 ZoneVector<BytecodeLabel> generator_resume_points_; 211 ZoneVector<BytecodeLabel> generator_resume_points_;
229 Register generator_state_; 212 Register generator_state_;
230 int loop_depth_; 213 int loop_depth_;
231 214
232 Handle<Name> home_object_symbol_; 215 Handle<Name> home_object_symbol_;
233 Handle<Name> prototype_string_; 216 Handle<Name> prototype_string_;
234 }; 217 };
235 218
236 } // namespace interpreter 219 } // namespace interpreter
237 } // namespace internal 220 } // namespace internal
238 } // namespace v8 221 } // namespace v8
239 222
240 #endif // V8_INTERPRETER_BYTECODE_GENERATOR_H_ 223 #endif // V8_INTERPRETER_BYTECODE_GENERATOR_H_
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698