From c1bb097114960ef56bbd459ca1a00352f147a028 Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Fri, 10 Jun 2016 13:14:25 +0200
Subject: remove now unused getShiftBits()

---
 lib/Solver/MetaSMTBuilder.h | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index 6dce13e1..7134b023 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -145,15 +145,6 @@ private:
     typename SolverContext::result_type constructMulByConstant(typename SolverContext::result_type expr, unsigned width, uint64_t x);
     typename SolverContext::result_type constructUDivByConstant(typename SolverContext::result_type expr_n, unsigned width, uint64_t d);
     typename SolverContext::result_type constructSDivByConstant(typename SolverContext::result_type expr_n, unsigned width, uint64_t d);
-    
-    unsigned getShiftBits(unsigned amount) {
-        unsigned bits = 1;
-        amount--;
-        while (amount >>= 1) {
-            bits++;
-        }
-        return(bits);
-    }
 };
 
 template<typename SolverContext>
@@ -298,7 +289,6 @@ typename SolverContext::result_type MetaSMTBuilder<SolverContext>::constructAShr
 template<typename SolverContext>
 typename SolverContext::result_type MetaSMTBuilder<SolverContext>::constructMulByConstant(typename SolverContext::result_type expr, unsigned width, uint64_t x) {
     
-    unsigned shiftBits = getShiftBits(width);
     uint64_t add, sub;
     typename SolverContext::result_type res;
     bool first = true;
-- 
cgit 1.4.1