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

int64_t

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-06-06 17:48:30 -07:00
parent 8ab428b660
commit 99bdb46158
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/util/mpz.cpp
View file

@ -74,7 +74,6 @@ inline unsigned _trailing_zeros32(unsigned x) {
#define _bit_max(x, y) (x - ((x - y) & ((int)(x - y) >> 31))) #define _bit_max(x, y) (x - ((x - y) & ((int)(x - y) >> 31)))
unsigned u_gcd(unsigned u, unsigned v) { unsigned u_gcd(unsigned u, unsigned v) {
if (u == 0) return v; if (u == 0) return v;
if (v == 0) return u; if (v == 0) return u;
@ -121,11 +120,11 @@ unsigned u_gcd(unsigned u, unsigned v) {
return u << shift; return u << shift;
} }
uint64 u64_gcd(uint64 u, uint64 v) { uint64_t u64_gcd(uint64_t u, uint64_t v) {
if (u == 0) return v; if (u == 0) return v;
if (v == 0) return u; if (v == 0) return u;
if (u == 1 || v == 1) return 1; if (u == 1 || v == 1) return 1;
uint64 shift = _trailing_zeros64(u | v); auto shift = _trailing_zeros64(u | v);
u >>= _trailing_zeros64(u); u >>= _trailing_zeros64(u);
do { do {
v >>= _trailing_zeros64(v); v >>= _trailing_zeros64(v);