about summary refs log tree commit diff homepage
path: root/lib/Expr
diff options
context:
space:
mode:
authorTimotej Kapus <tk1713@ic.ac.uk>2018-06-21 17:01:02 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-06-29 09:56:11 +0100
commit296a54ec9a2e753a1f5d1c426fb7c5e7575e9dcb (patch)
tree2470f0dce74c19b2118fcfe973947234e51cf060 /lib/Expr
parentd2fbdf74493d69e73fbfaedc0d59e593dfd7c69d (diff)
downloadklee-296a54ec9a2e753a1f5d1c426fb7c5e7575e9dcb.tar.gz
Make ConstantExpr hashing function faster and modify affected test
Diffstat (limited to 'lib/Expr')
-rw-r--r--lib/Expr/Expr.cpp7
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index f73d1614..a5c7f652 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -182,7 +182,12 @@ unsigned Expr::computeHash() {
 }
 
 unsigned ConstantExpr::computeHash() {
-  hashValue = hash_value(value) ^ (getWidth() * MAGIC_HASH_CONSTANT);
+  Expr::Width w = getWidth();
+  if (w <= 64)
+    hashValue = value.getLimitedValue() ^ (w * MAGIC_HASH_CONSTANT);
+  else
+    hashValue = hash_value(value) ^ (w * MAGIC_HASH_CONSTANT);
+
   return hashValue;
 }