Eliminate temporary locals for some expressions

runtime/vm/ast.h

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #ifndef VM_AST_H_
 #define VM_AST_H_
 
 #include "platform/assert.h"
 #include "vm/allocation.h"
 #include "vm/growable_array.h"
@@ skipping 37 matching lines @@
   V(PrimaryNode, "primary")                                                    \
   V(LoadLocalNode, "load local")                                               \
   V(StoreLocalNode, "store local")                                             \
   V(LoadInstanceFieldNode, "load field")                                       \
   V(StoreInstanceFieldNode, "store field")                                     \
   V(LoadStaticFieldNode, "load static field")                                  \
   V(StoreStaticFieldNode, "store static field")                                \
   V(LoadIndexedNode, "load indexed")                                           \
   V(StoreIndexedNode, "store indexed")                                         \
   V(SequenceNode, "seq")                                                       \
+  V(LetNode, "let")                                                            \
   V(CommaNode, "comma")                                                        \
   V(CatchClauseNode, "catch clause block")                                     \
   V(TryCatchNode, "try catch block")                                           \
   V(ThrowNode, "throw")                                                        \
   V(InlinedFinallyNode, "inlined finally")                                     \
 
 
 #define DEFINE_FORWARD_DECLARATION(type, name) class type;
 NODE_LIST(DEFINE_FORWARD_DECLARATION)
 #undef DEFINE_FORWARD_DECLARATION
@@ skipping 218 matching lines @@
 
  private:
   const intptr_t formal_parameter_index_;
   const String& formal_parameter_name_;
   const LocalVariable& saved_arguments_descriptor_;
 
   DISALLOW_COPY_AND_ASSIGN(ArgumentDefinitionTestNode);
 };
 
 
+class LetNode : public AstNode {
+ public:
+  LetNode(intptr_t token_pos, intptr_t num_temps);
+
+  LocalVariable* temp(intptr_t i) const { return vars_[i]; }
+  const GrowableArray<AstNode*>& temp_expressions() const {

[Kevin Millikin (Google), 2013/05/29 11:28:23]

'temp_expression' sounds like the expression is temporary.  I would use
something more like 'initializer'.

[Florian Schneider, 2013/05/30 09:29:31]

Done.

+    return temp_expressions_;
+  }
+  void SetTempExpression(intptr_t i, AstNode* node) {

[hausner, 2013/05/28 17:00:47]

We typically use the ending -At for setters that are indexed:
SetTempExpressionAt(i, node). 

[Florian Schneider, 2013/05/30 09:29:31]

Redesigned to add expressions instead of preallocating and setting.

+    temp_expressions_[i] = node;
+  }
+
+  intptr_t num_temps() const {
+    return vars_.length();
+  }
+
+  AstNode* body() const { return body_; }
+  void set_body(AstNode* node) { body_ = node; }
+
+  void VisitChildren(AstNodeVisitor* visitor) const;
+
+  DECLARE_COMMON_NODE_FUNCTIONS(LetNode);
+
+ private:
+  GrowableArray<LocalVariable*> vars_;
+  GrowableArray<AstNode*> temp_expressions_;
+  AstNode* body_;

[Kevin Millikin (Google), 2013/05/29 11:28:23]

I think you should: (1) allow a list of AstNode* in the body instead of just
one, (2) eliminate CommaNode and replace all occurrences with a LetNode with 0
bindings.

It should just work in the graph builder and compiler (provided __ Drop(0) has
special handling), except for some wartiness about LetNode in effect contexts
(which I think should be fixed anyway).

[Florian Schneider, 2013/05/30 09:29:31]

Yes, I'll do that as a separate CL and added a TODO to replace CommaNode.
LetNode works with zero temp vars, the code generated should be the same. e.g.
in ParseCascades, we can simply use a LetNode instead of
LetNode+SequenceNode+CommaNode

+
+  DISALLOW_COPY_AND_ASSIGN(LetNode);
+};
+
+
 class ArrayNode : public AstNode {
  public:
-  ArrayNode(intptr_t token_pos,
-            const AbstractType& type,
-            const LocalVariable& temp)
+  ArrayNode(intptr_t token_pos, const AbstractType& type)
       : AstNode(token_pos),
         type_(type),
-        temp_local_(temp),
         elements_() {
     CheckFields();
   }
   ArrayNode(intptr_t token_pos,
             const AbstractType& type,
-            const LocalVariable& temp,
             const GrowableArray<AstNode*>& elements)
       : AstNode(token_pos),
         type_(type),
-        temp_local_(temp),
         elements_(elements.length()) {
     CheckFields();
     for (intptr_t i = 0; i < elements.length(); i++) {
       elements_.Add(elements[i]);
     }
   }
 
   void VisitChildren(AstNodeVisitor* visitor) const;
 
   intptr_t length() const { return elements_.length(); }
 
   AstNode* ElementAt(intptr_t index) const { return elements_[index]; }
   void SetElementAt(intptr_t index, AstNode* value) {
     elements_[index] = value;
   }
   void AddElement(AstNode* expr) { elements_.Add(expr); }
 
   const AbstractType& type() const { return type_; }
 
-  const LocalVariable& temp_local() const { return temp_local_; }
-
   DECLARE_COMMON_NODE_FUNCTIONS(ArrayNode);
 
  private:
   const AbstractType& type_;
-  const LocalVariable& temp_local_;  // Store allocated array while filling it.
   GrowableArray<AstNode*> elements_;
 
   void CheckFields() {
     ASSERT(type_.IsZoneHandle());
     ASSERT(!type_.IsNull());
     ASSERT(type_.IsFinalized());
     // Type may be uninstantiated when creating a generic list literal.
     ASSERT((type_.arguments() == AbstractTypeArguments::null()) ||
            ((AbstractTypeArguments::Handle(type_.arguments()).Length() == 1)));
   }
@@ skipping 1150 matching lines @@
 // the instantiator is the receiver of this function. In order to instantiate T
 // in the example above (which could for example be the first type parameter of
 // the class of the caller), the code at run time extracts the type arguments of
 // the receiver at an offset in the receiver specified by the provided
 // instantiator_class.
 //
 // If the caller to the constructor or to the factory is a factory, then the
 // instantiator is the first parameter of this factory, which is already a
 // type argument vector. This case is identified by a null and unneeded
 // instantiator_class.
-//
-// A temporary local is needed to hold the allocated value while the
-// constructor is being called.
 class ConstructorCallNode : public AstNode {
  public:
   ConstructorCallNode(intptr_t token_pos,
                       const AbstractTypeArguments& type_arguments,
                       const Function& constructor,
-                      ArgumentListNode* arguments,
-                      const LocalVariable* allocated_object_var)
+                      ArgumentListNode* arguments)
       : AstNode(token_pos),
         type_arguments_(type_arguments),
         constructor_(constructor),
-        arguments_(arguments),
-        allocated_object_var_(*allocated_object_var) {
+        arguments_(arguments) {
     ASSERT(type_arguments_.IsZoneHandle());
     ASSERT(constructor_.IsZoneHandle());
     ASSERT(arguments_ != NULL);
-    ASSERT(allocated_object_var != NULL);
   }
 
   const AbstractTypeArguments& type_arguments() const {
     return type_arguments_;
   }
   const Function& constructor() const { return constructor_; }
   ArgumentListNode* arguments() const { return arguments_; }
-  const LocalVariable& allocated_object_var() const {
-    return allocated_object_var_;
-  }
 
   virtual void VisitChildren(AstNodeVisitor* visitor) const {
     arguments()->Visit(visitor);
   }
 
   DECLARE_COMMON_NODE_FUNCTIONS(ConstructorCallNode);
 
  private:
   const AbstractTypeArguments& type_arguments_;
   const Function& constructor_;
   ArgumentListNode* arguments_;
-  const LocalVariable& allocated_object_var_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(ConstructorCallNode);
 };
 
 
 // The body of a Dart function marked as 'native' consists of this node.
 class NativeBodyNode : public AstNode {
  public:
   NativeBodyNode(intptr_t token_pos,
                  const Function& function,
@@ skipping 183 matching lines @@
   const LocalVariable& context_var_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(InlinedFinallyNode);
 };
 
 }  // namespace dart
 
 #undef DECLARE_COMMON_NODE_FUNCTIONS
 
 #endif  // VM_AST_H_