Implement StaticGetter and StaticSetter in new compiler.

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>
-// | CurrentContext
-// | ClosureCall <ClosureCallNode> <Value> <Value> ...
-// | InstanceCall <String> <Value> ...
-// | StaticCall <StaticCallNode> <Value> ...
-// | LoadLocal <LocalVariable>
-// | StoreLocal <LocalVariable> <Value>
-// | StrictCompare <Token::kind> <Value> <Value>
-// | NativeCall <NativeBodyNode>
-// | StoreIndexed <Value> <Value> <Value>
-// | InstanceSetter <String> <Value> <Value>
-// | LoadInstanceField <LoadInstanceFieldNode> <Value>
-// | StoreInstanceField <StoreInstanceFieldNode> <Value> <Value>
-// | LoadStaticField <Field>
-// | StoreStaticField <Field> <Value>
-// | BooleanNegate <Value>
-// | InstanceOf <Value> <Type>
-// | CreateArray <ArrayNode> <Value> ...
-// | CreateClosure <ClosureNode>
-// | AllocateObject <ConstructorCallNode>
-// | NativeLoadField <Value> <intptr_t>
-// | ExtractFactoryTypeArgumentsComp <ConstructorCallNode> <Value>
-// | ExtractConstructorTypeArgumentsComp <ConstructorCallNode> <Value>
-// | ExtractConstructorInstantiatorComp <ConstructorCallNode> <Value> <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)                                                     \
 
 
 // M is a two argument macro.  It is applied to each concrete instruction's
 // (including the values) typename and classname.
 #define FOR_EACH_COMPUTATION(M)                                                \
   FOR_EACH_VALUE(M)                                                            \
   M(AssertAssignable, AssertAssignableComp)                                    \
   M(CurrentContext, CurrentContextComp)                                        \
   M(ClosureCall, ClosureCallComp)                                              \
   M(InstanceCall, InstanceCallComp)                                            \
   M(StaticCall, StaticCallComp)                                                \
   M(LoadLocal, LoadLocalComp)                                                  \
   M(StoreLocal, StoreLocalComp)                                                \
   M(StrictCompare, StrictCompareComp)                                          \
   M(NativeCall, NativeCallComp)                                                \
   M(StoreIndexed, StoreIndexedComp)                                            \
   M(InstanceSetter, InstanceSetterComp)                                        \
+  M(StaticSetter, StaticSetterComp)                                            \
   M(LoadInstanceField, LoadInstanceFieldComp)                                  \
   M(StoreInstanceField, StoreInstanceFieldComp)                                \
   M(LoadStaticField, LoadStaticFieldComp)                                      \
   M(StoreStaticField, StoreStaticFieldComp)                                    \
   M(BooleanNegate, BooleanNegateComp)                                          \
   M(InstanceOf, InstanceOfComp)                                                \
   M(CreateArray, CreateArrayComp)                                              \
   M(CreateClosure, CreateClosureComp)                                          \
   M(AllocateObject, AllocateObjectComp)                                        \
   M(NativeLoadField, NativeLoadFieldComp)                                      \
@@ skipping 444 matching lines @@
   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);
 };
 
 
+// Not simply a StaticCall because it has somewhat more complicated
+// semantics: the value operand is preserved before the call.
+class StaticSetterComp : public Computation {
+ public:
+  StaticSetterComp(intptr_t token_index,
+                   const Function& setter_function,
+                   Value* value)
+      : token_index_(token_index),
+        setter_function_(setter_function),
+        value_(value) { }
+
+  DECLARE_COMPUTATION(StaticSetter)
+
+  intptr_t token_index() const { return token_index_; }
+  const Function& setter_function() const { return setter_function_; }
+  Value* value() const { return value_; }
+
+ private:
+  const intptr_t token_index_;
+  const Function& setter_function_;
+  Value* const value_;
+
+  DISALLOW_COPY_AND_ASSIGN(StaticSetterComp);
+};
+
+
 // Note overrideable, built-in: value? false : true.
 class BooleanNegateComp : public Computation {
  public:
   explicit BooleanNegateComp(Value* value) : value_(value) {}
 
   DECLARE_COMPUTATION(BooleanNegate)
 
   Value* value() const { return value_; }
 
  private:
@@ skipping 657 matching lines @@
   const GrowableArray<BlockEntryInstr*>& block_order_;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_