Added LoadLiteralComp, StrictCompareComp; implement InstanceCallNode.

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/growable_array.h"
 #include "vm/handles_impl.h"
 #include "vm/object.h"
 
 namespace dart {
 
 class LocalVariable;
 
 // Computations and values.
 //
 // <Computation> ::= <Value>
 //                 | AssertAssignable <Value> <AbstractType>
 //                 | InstanceCall <cstring> <Value> ...
 //                 | StaticCall <Function> <Value> ...
 //                 | LoadLocal <LocalVariable>
+//                 | LoadLiteral <Instance>

[Kevin Millikin (Google), 2012/02/24 10:53:04]

Class has LoadLiteral <Value>.  The grammar and the classes should agree, but we
need to hash out how we do this a bit more.

[srdjan, 2012/02/24 22:16:24]

LoadLiteral has been removed

 //                 | StoreLocal <LocalVariable> <Value>
+//                 | StrictCompare <Token::kind> <Value> ...

[Kevin Millikin (Google), 2012/02/24 10:53:04]

This one has only two Value subparts, so let's write

StringCompare <Token::Kind> <Value> <Value>

[srdjan, 2012/02/24 22:16:24]

Done.

 //
 // <Value> ::= Temp <int>
 //           | Constant <Instance>
 
 class Computation : public ZoneAllocated {
  public:
   Computation() { }
 
   // Prints a computation without indentation or trailing newlines.
   virtual void Print() const = 0;
@@ skipping 35 matching lines @@
   virtual void Print() const;
 
  private:
   const char* name_;
   ZoneGrowableArray<Value*>* arguments_;
 
   DISALLOW_COPY_AND_ASSIGN(InstanceCallComp);
 };
 
 
+class StrictCompareComp : public Computation {
+ public:
+  StrictCompareComp(Token::Kind kind, Value* left, Value* right)
+      : kind_(kind), left_(left), right_(right) {
+    ASSERT((kind_ == Token::kEQ_STRICT) || (kind_ == Token::kNE_STRICT));
+  }
+
+  virtual void Print() const;
+
+ private:
+  const Token::Kind kind_;
+  Value* left_;
+  Value* right_;
+
+  DISALLOW_COPY_AND_ASSIGN(StrictCompareComp);
+};
+
+
 class StaticCallComp : public Computation {
  public:
   StaticCallComp(const Function& function, ZoneGrowableArray<Value*>* arguments)
       : function_(function), arguments_(arguments) {
     ASSERT(function.IsZoneHandle());
   }
 
   virtual void Print() const;
 
  private:
   const Function& function_;
   ZoneGrowableArray<Value*>* arguments_;
 
   DISALLOW_COPY_AND_ASSIGN(StaticCallComp);
 };
 
 
+class LoadLiteralComp : public Computation {
+ public:
+  explicit LoadLiteralComp(Value* literal) : literal_(literal) {}
+
+  virtual void Print() const;
+
+ private:
+  const Value* literal_;
+
+  DISALLOW_COPY_AND_ASSIGN(LoadLiteralComp);
+};
+
+
 class LoadLocalComp : public Computation {
  public:
   explicit LoadLocalComp(const LocalVariable& local) : local_(local) { }
 
   virtual void Print() const;
 
  private:
   const LocalVariable& local_;
 
   DISALLOW_COPY_AND_ASSIGN(LoadLocalComp);
@@ skipping 23 matching lines @@
 
  private:
   intptr_t index_;
 
   DISALLOW_COPY_AND_ASSIGN(TempValue);
 };
 
 
 class ConstantValue: public Value {
  public:
-  explicit ConstantValue(const Instance& instance) : instance_(instance) { }
+  explicit ConstantValue(const Instance& instance) : instance_(instance) {
+    ASSERT(instance.IsZoneHandle());
+  }
 
   virtual void Print() const;
 
  private:
   const Instance& instance_;
 
   DISALLOW_COPY_AND_ASSIGN(ConstantValue);
 };
 
 
@@ skipping 249 matching lines @@
 #undef DECLARE_VISIT
 
  private:
   DISALLOW_COPY_AND_ASSIGN(InstructionVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_