diff options
author | Timotej Kapus <tk1713@ic.ac.uk> | 2018-06-21 17:01:02 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-06-29 09:56:11 +0100 |
commit | 296a54ec9a2e753a1f5d1c426fb7c5e7575e9dcb (patch) | |
tree | 2470f0dce74c19b2118fcfe973947234e51cf060 /lib/Expr | |
parent | d2fbdf74493d69e73fbfaedc0d59e593dfd7c69d (diff) | |
download | klee-296a54ec9a2e753a1f5d1c426fb7c5e7575e9dcb.tar.gz |
Make ConstantExpr hashing function faster and modify affected test
Diffstat (limited to 'lib/Expr')
-rw-r--r-- | lib/Expr/Expr.cpp | 7 |
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; } |