5 #include "qemu/bswap.h"
7 typedef __int128_t Int128
;
9 static inline Int128
int128_make64(uint64_t a
)
14 static inline Int128
int128_make128(uint64_t lo
, uint64_t hi
)
16 return (__uint128_t
)hi
<< 64 | lo
;
19 static inline uint64_t int128_get64(Int128 a
)
26 static inline uint64_t int128_getlo(Int128 a
)
31 static inline int64_t int128_gethi(Int128 a
)
36 static inline Int128
int128_zero(void)
41 static inline Int128
int128_one(void)
46 static inline Int128
int128_2_64(void)
48 return (Int128
)1 << 64;
51 static inline Int128
int128_exts64(int64_t a
)
56 static inline Int128
int128_and(Int128 a
, Int128 b
)
61 static inline Int128
int128_rshift(Int128 a
, int n
)
66 static inline Int128
int128_lshift(Int128 a
, int n
)
71 static inline Int128
int128_add(Int128 a
, Int128 b
)
76 static inline Int128
int128_neg(Int128 a
)
81 static inline Int128
int128_sub(Int128 a
, Int128 b
)
86 static inline bool int128_nonneg(Int128 a
)
91 static inline bool int128_eq(Int128 a
, Int128 b
)
96 static inline bool int128_ne(Int128 a
, Int128 b
)
101 static inline bool int128_ge(Int128 a
, Int128 b
)
106 static inline bool int128_lt(Int128 a
, Int128 b
)
111 static inline bool int128_le(Int128 a
, Int128 b
)
116 static inline bool int128_gt(Int128 a
, Int128 b
)
121 static inline bool int128_nz(Int128 a
)
126 static inline Int128
int128_min(Int128 a
, Int128 b
)
128 return a
< b
? a
: b
;
131 static inline Int128
int128_max(Int128 a
, Int128 b
)
133 return a
> b
? a
: b
;
136 static inline void int128_addto(Int128
*a
, Int128 b
)
141 static inline void int128_subfrom(Int128
*a
, Int128 b
)
146 static inline Int128
bswap128(Int128 a
)
148 return int128_make128(bswap64(int128_gethi(a
)), bswap64(int128_getlo(a
)));
151 #else /* !CONFIG_INT128 */
153 typedef struct Int128 Int128
;
160 static inline Int128
int128_make64(uint64_t a
)
162 return (Int128
) { a
, 0 };
165 static inline Int128
int128_make128(uint64_t lo
, uint64_t hi
)
167 return (Int128
) { lo
, hi
};
170 static inline uint64_t int128_get64(Int128 a
)
176 static inline uint64_t int128_getlo(Int128 a
)
181 static inline int64_t int128_gethi(Int128 a
)
186 static inline Int128
int128_zero(void)
188 return int128_make64(0);
191 static inline Int128
int128_one(void)
193 return int128_make64(1);
196 static inline Int128
int128_2_64(void)
198 return (Int128
) { 0, 1 };
201 static inline Int128
int128_exts64(int64_t a
)
203 return (Int128
) { .lo
= a
, .hi
= (a
< 0) ? -1 : 0 };
206 static inline Int128
int128_and(Int128 a
, Int128 b
)
208 return (Int128
) { a
.lo
& b
.lo
, a
.hi
& b
.hi
};
211 static inline Int128
int128_rshift(Int128 a
, int n
)
217 h
= a
.hi
>> (n
& 63);
219 return int128_make128(h
, h
>> 63);
221 return int128_make128((a
.lo
>> n
) | ((uint64_t)a
.hi
<< (64 - n
)), h
);
225 static inline Int128
int128_lshift(Int128 a
, int n
)
227 uint64_t l
= a
.lo
<< (n
& 63);
229 return int128_make128(0, l
);
231 return int128_make128(l
, (a
.hi
<< n
) | (a
.lo
>> (64 - n
)));
236 static inline Int128
int128_add(Int128 a
, Int128 b
)
238 uint64_t lo
= a
.lo
+ b
.lo
;
240 /* a.lo <= a.lo + b.lo < a.lo + k (k is the base, 2^64). Hence,
241 * a.lo + b.lo >= k implies 0 <= lo = a.lo + b.lo - k < a.lo.
242 * Similarly, a.lo + b.lo < k implies a.lo <= lo = a.lo + b.lo < k.
244 * So the carry is lo < a.lo.
246 return int128_make128(lo
, (uint64_t)a
.hi
+ b
.hi
+ (lo
< a
.lo
));
249 static inline Int128
int128_neg(Int128 a
)
252 return int128_make128(lo
, ~(uint64_t)a
.hi
+ !lo
);
255 static inline Int128
int128_sub(Int128 a
, Int128 b
)
257 return int128_make128(a
.lo
- b
.lo
, (uint64_t)a
.hi
- b
.hi
- (a
.lo
< b
.lo
));
260 static inline bool int128_nonneg(Int128 a
)
265 static inline bool int128_eq(Int128 a
, Int128 b
)
267 return a
.lo
== b
.lo
&& a
.hi
== b
.hi
;
270 static inline bool int128_ne(Int128 a
, Int128 b
)
272 return !int128_eq(a
, b
);
275 static inline bool int128_ge(Int128 a
, Int128 b
)
277 return a
.hi
> b
.hi
|| (a
.hi
== b
.hi
&& a
.lo
>= b
.lo
);
280 static inline bool int128_lt(Int128 a
, Int128 b
)
282 return !int128_ge(a
, b
);
285 static inline bool int128_le(Int128 a
, Int128 b
)
287 return int128_ge(b
, a
);
290 static inline bool int128_gt(Int128 a
, Int128 b
)
292 return !int128_le(a
, b
);
295 static inline bool int128_nz(Int128 a
)
300 static inline Int128
int128_min(Int128 a
, Int128 b
)
302 return int128_le(a
, b
) ? a
: b
;
305 static inline Int128
int128_max(Int128 a
, Int128 b
)
307 return int128_ge(a
, b
) ? a
: b
;
310 static inline void int128_addto(Int128
*a
, Int128 b
)
312 *a
= int128_add(*a
, b
);
315 static inline void int128_subfrom(Int128
*a
, Int128 b
)
317 *a
= int128_sub(*a
, b
);
320 #endif /* CONFIG_INT128 */
321 #endif /* INT128_H */