diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-10-13 14:22:52 +0100 |
|---|---|---|
| committer | Frank Busse <f.busse@imperial.ac.uk> | 2023-03-16 11:57:59 +0000 |
| commit | 5b49bd5999aabf51016a34acaefe905c313185c1 (patch) | |
| tree | 554049ef578652424847071f03167bc7c0505c24 /lib/Solver | |
| parent | 6bc91e58dc9d286cbb50c9e48057c8037229023b (diff) | |
| download | klee-5b49bd5999aabf51016a34acaefe905c313185c1.tar.gz | |
The KDAlloc slot allocator is useful for small sized allocations
Diffstat (limited to 'lib/Solver')
| -rw-r--r-- | lib/Solver/ConstantDivision.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/ConstantDivision.cpp b/lib/Solver/ConstantDivision.cpp index d822de1a..57b83e17 100644 --- a/lib/Solver/ConstantDivision.cpp +++ b/lib/Solver/ConstantDivision.cpp @@ -86,7 +86,7 @@ void ComputeMultConstants64(uint64_t multiplicand, while (x) { // Determine rightmost contiguous region of 1s. - unsigned low = bits64::indexOfRightmostBit(x); + unsigned low = countTrailingZeroes(x); uint64_t lowbit = 1LL << low; uint64_t p = x + lowbit; uint64_t q = bits64::isolateRightmostBit(p); |