[interpreter] Support for ES6 super keyword.

src/interpreter/bytecode-generator.h

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_INTERPRETER_BYTECODE_GENERATOR_H_
 #define V8_INTERPRETER_BYTECODE_GENERATOR_H_
 
 #include "src/ast/ast.h"
 #include "src/interpreter/bytecode-array-builder.h"
 #include "src/interpreter/bytecodes.h"
@@ skipping 47 matching lines @@
   void VisitTypeOf(UnaryOperation* expr);
   void VisitNot(UnaryOperation* expr);
   void VisitDelete(UnaryOperation* expr);
 
   // Used by flow control routines to evaluate loop condition.
   void VisitCondition(Expression* expr);
 
   // Helper visitors which perform common operations.
   Register VisitArguments(ZoneList<Expression*>* arguments);
 
+  // Visit a keyed super property load. The optional
+  // |opt_receiver_out| register will have the receiver stored to
+  // it. The loaded value is placed in the accumulator.

[rmcilroy, 2016/02/12 14:56:42]

s/it./it if it's a valid register./

[oth, 2016/02/12 16:50:33]

Done.

+  void VisitKeyedSuperPropertyLoad(Property* property,
+                                   Register opt_receiver_out);
+
+  // Visit a named super property load. The optional
+  // |opt_receiver_out| register will have the receiver stored to
+  // it. The loaded value is placed in the accumulator.

[rmcilroy, 2016/02/12 14:56:42]

ditto

[oth, 2016/02/12 16:50:33]

Done.

+  void VisitNamedSuperPropertyLoad(Property* property,
+                                   Register opt_receiver_out);
+
   void VisitPropertyLoad(Register obj, Property* expr);
   void VisitPropertyLoadForAccumulator(Register obj, Property* expr);
-

[rmcilroy, 2016/02/12 14:56:42]

nit - add back whitespace

[oth, 2016/02/12 16:50:33]

Done.

   void VisitVariableLoad(Variable* variable, FeedbackVectorSlot slot,
                          TypeofMode typeof_mode = NOT_INSIDE_TYPEOF);
   void VisitVariableLoadForAccumulatorValue(
       Variable* variable, FeedbackVectorSlot slot,
       TypeofMode typeof_mode = NOT_INSIDE_TYPEOF);
   MUST_USE_RESULT Register
   VisitVariableLoadForRegisterValue(Variable* variable, FeedbackVectorSlot slot,
                                     TypeofMode typeof_mode = NOT_INSIDE_TYPEOF);
   void VisitVariableAssignment(Variable* variable, Token::Value op,
                                FeedbackVectorSlot slot);
+
+  MUST_USE_RESULT Register PrepareNamedSuperPropertyArguments(
+      SuperPropertyReference* super_property, Handle<Name> name);
+  MUST_USE_RESULT Register PrepareKeyedSuperPropertyArguments(
+      SuperPropertyReference* super_property, Expression* key);
+  void BuildNamedSuperPropertyLoad(Register receiver);
+  void BuildKeyedSuperPropertyLoad(Register receiver);
+  void BuildNamedSuperPropertyStore(Register receiver);
+  void BuildKeyedSuperPropertyStore(Register receiver);
+
   void BuildThrowIfHole(Handle<String> name);
   void BuildThrowIfNotHole(Handle<String> name);
   void BuildThrowReassignConstant(Handle<String> name);
   void BuildHoleCheckForVariableLoad(VariableMode mode, Handle<String> name);
   void BuildHoleCheckForVariableAssignment(Variable* variable, Token::Value op);
 
   void VisitArgumentsObject(Variable* variable);
   void VisitRestArgumentsArray(Variable* rest);
+  void VisitCallSuper(Call* call);
   void VisitClassLiteralContents(ClassLiteral* expr);
   void VisitClassLiteralForRuntimeDefinition(ClassLiteral* expr);
   void VisitClassLiteralProperties(ClassLiteral* expr, Register literal,
                                    Register prototype);
   void VisitClassLiteralStaticPrototypeWithComputedName(Register name);
   void VisitThisFunctionVariable(Variable* variable);
   void VisitNewTargetVariable(Variable* variable);
   void VisitNewLocalFunctionContext();
   void VisitBuildLocalActivationContext();
   void VisitBlockDeclarationsAndStatements(Block* stmt);
@@ skipping 22 matching lines @@
   void VisitForEffect(Expression* expr);
 
   // Methods for tracking and remapping register.
   void RecordStoreToRegister(Register reg);
   Register LoadFromAliasedRegister(Register reg);
 
   // Methods for tracking try-block nesting.
   bool IsInsideTryCatch() const { return try_catch_nesting_level_ > 0; }
   bool IsInsideTryFinally() const { return try_finally_nesting_level_ > 0; }
 
+  // Initialize an array of temporary registers with consecutive registers.
+  template <size_t N>
+  void InitializeWithConsecutiveRegisters(Register (&registers)[N]);

[rmcilroy, 2016/02/12 14:56:42]

This should probably live in the register allocator.

[oth, 2016/02/12 16:50:33]

Done.

+
   inline void set_builder(BytecodeArrayBuilder* builder) { builder_ = builder; }
   inline BytecodeArrayBuilder* builder() const { return builder_; }
 
   inline Isolate* isolate() const { return isolate_; }
   inline Zone* zone() const { return zone_; }
 
   inline Scope* scope() const { return scope_; }
   inline void set_scope(Scope* scope) { scope_ = scope; }
   inline CompilationInfo* info() const { return info_; }
   inline void set_info(CompilationInfo* info) { info_ = info; }
@@ skipping 35 matching lines @@
   RegisterAllocationScope* register_allocator_;
   int try_catch_nesting_level_;
   int try_finally_nesting_level_;
 };
 
 }  // namespace interpreter
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_INTERPRETER_BYTECODE_GENERATOR_H_