From 9fbd39da947d7664d9905677c03dd12f548ebf05 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Wed, 3 Jun 2009 03:04:21 +0000
Subject: Inline Expr::hashConstant into callers.  (Extraneous uses are going
 away shortly)

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72749 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/Expr.h     | 4 ----
 include/klee/util/Ref.h | 4 ++--
 lib/Expr/Expr.cpp       | 3 +--
 3 files changed, 3 insertions(+), 8 deletions(-)

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index cb5423e0..f0adc42d 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -178,10 +178,6 @@ public:
   /// Returns the hash value. 
   virtual unsigned computeHash();
   
-  static unsigned hashConstant(uint64_t val, Width w) {
-    return val ^ (w * MAGIC_HASH_CONSTANT);
-  }
-  
   /// Returns 0 iff b is structuraly equivalent to *this
   int compare(const Expr &b) const;
   virtual int compareContents(const Expr &b) const { return 0; }
diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h
index f900f137..a552df39 100644
--- a/include/klee/util/Ref.h
+++ b/include/klee/util/Ref.h
@@ -129,7 +129,7 @@ public:
 
   unsigned hash() const {
     if (constantWidth) {
-      return Expr::hashConstant(contents.val, constantWidth);
+      return contents.val ^ (constantWidth * Expr::MAGIC_HASH_CONSTANT);
     } else {
       return contents.ptr->hash();
     }
@@ -137,7 +137,7 @@ public:
 
   unsigned computeHash() const {
     if (isConstant()) {
-      return Expr::hashConstant(contents.val, constantWidth);
+      return contents.val ^ (constantWidth * Expr::MAGIC_HASH_CONSTANT);
     } else {
       return contents.ptr->computeHash();
     }
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index 7f20e3fc..9def85d7 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -165,8 +165,7 @@ unsigned Expr::computeHash() {
 }
 
 unsigned ConstantExpr::computeHash() {
-  hashValue = Expr::hashConstant(asUInt64, width);
-  return hashValue;
+  return asUInt64 ^ (width * MAGIC_HASH_CONSTANT);
 }
 
 unsigned CastExpr::computeHash() {
-- 
cgit 1.4.1