diff options
author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 13:14:25 +0200 |
---|---|---|
committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 13:14:25 +0200 |
commit | c1bb097114960ef56bbd459ca1a00352f147a028 (patch) | |
tree | 3976ffb6d91263fcb7c014c81f491f887dd14f51 | |
parent | 463b861613ebca834d833ec5ccedbf4500b98b52 (diff) | |
download | klee-c1bb097114960ef56bbd459ca1a00352f147a028.tar.gz |
remove now unused getShiftBits()
-rw-r--r-- | lib/Solver/MetaSMTBuilder.h | 10 |
1 files changed, 0 insertions, 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; |