WIP: Implement ES6 Spread-calls

src/ast.cc

 // Copyright 2012 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.
 
 #include "src/ast.h"
 
 #include <cmath>  // For isfinite.
 #include "src/builtins.h"
 #include "src/code-stubs.h"
 #include "src/contexts.h"
@@ skipping 526 matching lines @@
 
 bool Declaration::IsInlineable() const {
   return proxy()->var()->IsStackAllocated();
 }
 
 bool FunctionDeclaration::IsInlineable() const {
   return false;
 }
 
 
+SpreadOperation::SpreadOperation(Zone* zone, AstNodeFactory* factory,
+                AstValueFactory* value_factory, Scope* scope,
+                Expression* expression, int pos) :
+                    Expression(zone, pos), expression_(expression) {
+  Variable* iterator = scope->DeclarationScope()->NewTemporary(
+      value_factory->dot_iterator_string());
+  Variable* result = scope->DeclarationScope()->NewTemporary(
+      value_factory->dot_result_string());
+
+  // var iterator = subject[Symbol.iterator]();
+  assign_iterator_ = factory->NewAssignment(
+      Token::ASSIGN, factory->NewVariableProxy(iterator),
+      factory->GetIterator(expression), pos);
+
+  // var result = iterator.next();
+  {
+    Expression* iterator_proxy = factory->NewVariableProxy(iterator);
+    Expression* next_literal = factory->NewStringLiteral(
+        value_factory->next_string(), RelocInfo::kNoPosition);
+    Expression* next_property = factory->NewProperty(
+        iterator_proxy, next_literal, RelocInfo::kNoPosition);
+    ZoneList<Expression*>* next_arguments =
+        new(zone) ZoneList<Expression*>(0, zone);
+    Expression* next_call = factory->NewCall(next_property, next_arguments,
+                                             pos);
+    Expression* result_proxy = factory->NewVariableProxy(result);
+    next_result_ = factory->NewAssignment(Token::ASSIGN, result_proxy,
+                                          next_call, pos);
+  }
+
+  // result.done
+  {
+    Expression* done_literal = factory->NewStringLiteral(
+        value_factory->done_string(), RelocInfo::kNoPosition);
+    Expression* result_proxy = factory->NewVariableProxy(result);
+    result_done_ = factory->NewProperty(
+        result_proxy, done_literal, RelocInfo::kNoPosition);
+  }
+
+  // result.value
+  {
+    Expression* value_literal = factory->NewStringLiteral(
+        value_factory->value_string(), RelocInfo::kNoPosition);
+    Expression* result_proxy = factory->NewVariableProxy(result);
+    result_value_ = factory->NewProperty(result_proxy, value_literal,
+                                         RelocInfo::kNoPosition);
+  }
+}
+
+
 // ----------------------------------------------------------------------------
 // Recording of type feedback
 
 // TODO(rossberg): all RecordTypeFeedback functions should disappear
 // once we use the common type field in the AST consistently.
 
 void Expression::RecordToBooleanTypeFeedback(TypeFeedbackOracle* oracle) {
   set_to_boolean_types(oracle->ToBooleanTypes(test_id()));
 }
 
@@ skipping 462 matching lines @@
 // static
 bool Literal::Match(void* literal1, void* literal2) {
   const AstValue* x = static_cast<Literal*>(literal1)->raw_value();
   const AstValue* y = static_cast<Literal*>(literal2)->raw_value();
   return (x->IsString() && y->IsString() && *x->AsString() == *y->AsString()) ||
          (x->IsNumber() && y->IsNumber() && x->AsNumber() == y->AsNumber());
 }
 
 
 } }  // namespace v8::internal