mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Update util.h (#7169)

Browse source
This commit is contained in:
cctv130 2024-03-18 11:29:27 +08:00 committed by GitHub
parent b8a69987c3
commit 18365907a2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/util.h
View file

@ -142,6 +142,7 @@ static inline unsigned get_num_1bits(uint64_t v) {
v = (v + (v >> 4)) & 0x0F0F0F0F0F0F0F0F; v = (v + (v >> 4)) & 0x0F0F0F0F0F0F0F0F;
uint64_t r = (v * 0x0101010101010101) >> 56; uint64_t r = (v * 0x0101010101010101) >> 56;
SASSERT(c == r); SASSERT(c == r);
return r;
#endif #endif
} }