Fix a bug in Equals for UseVal and ConstantVal.

runtime/vm/intermediate_language_test.cc

 // 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.
 
 #include "vm/intermediate_language.h"
 #include "vm/unit_test.h"
 
 namespace dart {
 
 TEST_CASE(InstructionTests) {
@@ skipping 29 matching lines @@
   bind->RemoveInputUses();
   EXPECT(def1->use_list() == NULL);
   // Test replacing with a definition without uses.
   UseVal* use4 = new UseVal(def2);
   def2->ReplaceUsesWith(def1);
   EXPECT(def1->use_list() == use4);
   EXPECT(def2->use_list() == NULL);
   EXPECT(use4->definition() == def1);
 }
 
+TEST_CASE(OptimizationTests) {
+  Definition* def1 = new PhiInstr(0);
+  Definition* def2 = new PhiInstr(0);
+  UseVal* use1a = new UseVal(def1);
+  UseVal* use1b = new UseVal(def1);
+  EXPECT(use1a->Equals(use1b));
+  EXPECT(use1a->Hashcode() == use1b->Hashcode());
+  UseVal* use2 = new UseVal(def2);
+  EXPECT(!use2->Equals(use1a));
+
+  ConstantVal* c1 = new ConstantVal(Bool::ZoneHandle(Bool::True()));
+  ConstantVal* c2 = new ConstantVal(Bool::ZoneHandle(Bool::True()));
+  EXPECT(c1->Equals(c2));
+  ConstantVal* c3 = new ConstantVal(Object::ZoneHandle());
+  ConstantVal* c4 = new ConstantVal(Object::ZoneHandle());
+  EXPECT(c3->Equals(c4));
+  EXPECT(!c3->Equals(c1));
+}
+
 }  // namespace dart