Handle instance field and indexed increment operations.

runtime/vm/intermediate_language.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_INTERMEDIATE_LANGUAGE_H_
 #define VM_INTERMEDIATE_LANGUAGE_H_
 
 #include "vm/allocation.h"
 #include "vm/ast.h"
 #include "vm/growable_array.h"
 #include "vm/handles_impl.h"
 #include "vm/object.h"
 
 namespace dart {
 
 class FlowGraphVisitor;
 class LocalVariable;
 
 // Computations and values.
 //
 // <Computation> ::=
 //   <Value>
 // | AssertAssignable <Value> <AbstractType>
 // | InstanceCall <AstNode> <String> <Value> ...
 // | StaticCall <StaticCallNode> <Value> ...
 // | LoadLocal <LocalVariable>
 // | StoreLocal <LocalVariable> <Value>
 // | StrictCompare <Token::kind> <Value> <Value>
 // | NativeCall <NativeBodyNode>
-// | StoreIndexed <StoreIndexedNode> <Value> <Value> <Value>
-// | InstanceSetter <InstanceSetterNode> <Value> <Value>
+// | StoreIndexed <Value> <Value> <Value>
+// | InstanceSetter <String> <Value> <Value>
 // | LoadInstanceField <LoadInstanceFieldNode> <Value>
 // | StoreInstanceField <StoreInstanceFieldNode> <Value> <Value>
 // | LoadStaticField <Field>
-// | StoreStaticField <StoreStaticFieldNode> <Value>
+// | StoreStaticField <Field> <Value>
 //
 // <Value> ::=
 //   Temp <int>
 // | Constant <Instance>
 
 // M is a two argument macro.  It is applied to each concrete value's
 // typename and classname.
 #define FOR_EACH_VALUE(M)                                                      \
   M(Temp, TempVal)                                                             \
   M(Constant, ConstantVal)                                                     \
@@ skipping 307 matching lines @@
 
  private:
   const Field& field_;
 
   DISALLOW_COPY_AND_ASSIGN(LoadStaticFieldComp);
 };
 
 
 class StoreStaticFieldComp : public Computation {
  public:
-  StoreStaticFieldComp(StoreStaticFieldNode* ast_node, Value* value)
-      : ast_node_(*ast_node), value_(value) {
+  StoreStaticFieldComp(const Field& field, Value* value)
+      : field_(field),
+        value_(value) {
+    ASSERT(field.IsZoneHandle());
     ASSERT(value != NULL);
   }
 
   DECLARE_COMPUTATION(StoreStaticFieldComp);
 
-  intptr_t token_index() const { return ast_node_.token_index(); }
-  intptr_t node_id() const { return ast_node_.id(); }
-  const Field& field() const { return ast_node_.field(); }
+  const Field& field() const { return field_; }
   Value* value() const { return value_; }
 
  private:
-  const StoreStaticFieldNode& ast_node_;
-  Value* value_;
+  const Field& field_;
+  Value* const value_;
 
   DISALLOW_COPY_AND_ASSIGN(StoreStaticFieldComp);
 };
 
 
 // Not simply an InstanceCall because it has somewhat more complicated
 // semantics: the value operand is preserved before the call.
 class StoreIndexedComp : public Computation {
  public:
-  StoreIndexedComp(StoreIndexedNode* node,
+  StoreIndexedComp(intptr_t node_id,
+                   intptr_t token_index,
                    Value* array,
                    Value* index,
                    Value* value)
-      : ast_node_(*node),
+      : node_id_(node_id),
+        token_index_(token_index),
         array_(array),
         index_(index),
         value_(value) { }
 
   DECLARE_COMPUTATION(StoreIndexed)
 
-  // Accessors forwarded to the AST node.
-  intptr_t node_id() const { return ast_node_.id(); }
-  intptr_t token_index() const { return ast_node_.token_index(); }
-
+  intptr_t node_id() const { return node_id_; }
+  intptr_t token_index() const { return token_index_; }
   Value* array() const { return array_; }
   Value* index() const { return index_; }
   Value* value() const { return value_; }
 
  private:
-  const StoreIndexedNode& ast_node_;
+  intptr_t node_id_;
+  intptr_t token_index_;
   Value* array_;
   Value* index_;
   Value* value_;
 
   DISALLOW_COPY_AND_ASSIGN(StoreIndexedComp);
 };
 
 
 // Not simply an InstanceCall because it has somewhat more complicated
 // semantics: the value operand is preserved before the call.
 class InstanceSetterComp : public Computation {
  public:
-  InstanceSetterComp(InstanceSetterNode* node,
+  InstanceSetterComp(intptr_t node_id,
+                     intptr_t token_index,
+                     const String& field_name,
                      Value* receiver,
                      Value* value)
-      : ast_node_(*node),
+      : node_id_(node_id),
+        token_index_(token_index),
+        field_name_(field_name),
         receiver_(receiver),
         value_(value) { }
 
   DECLARE_COMPUTATION(InstanceSetter)
 
-  // Accessors forwarded to the AST node.
-  intptr_t node_id() const { return ast_node_.id(); }
-  intptr_t token_index() const { return ast_node_.token_index(); }
-  const String& field_name() const { return ast_node_.field_name(); }
-
+  intptr_t node_id() const { return node_id_; }
+  intptr_t token_index() const { return token_index_; }
+  const String& field_name() const { return field_name_; }
   Value* receiver() const { return receiver_; }
   Value* value() const { return value_; }
 
  private:
-  const InstanceSetterNode& ast_node_;
-  Value* receiver_;
-  Value* value_;
+  const intptr_t node_id_;
+  const intptr_t token_index_;
+  const String& field_name_;
+  Value* const receiver_;
+  Value* const value_;
 
   DISALLOW_COPY_AND_ASSIGN(InstanceSetterComp);
 };
 
 
 #undef DECLARE_COMPUTATION
 
 
 // Instructions.
 //
@@ skipping 336 matching lines @@
 #undef DECLARE_VISIT_INSTRUCTION
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_