From 825b64d0bf4c4076f5b9d2fb82c087ee3ad72088 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Tue, 13 Dec 2011 20:21:56 +0000
Subject: Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64.

(Yes, we should really be handling more bitwidths here.)

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146510 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Solver/STPBuilder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index 4353857c..a4d6d0f8 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -73,7 +73,7 @@ class STPBuilder {
 
 private:
   unsigned getShiftBits(unsigned amount) {
-    return (amount == 64) ? 6 : 5;
+    return (amount > 32) ? 6 : 5;
   }
 
   ExprHandle bvOne(unsigned width);
-- 
cgit 1.4.1