6 typedef __int128_t Int128
;
8 static inline Int128
int128_make64(uint64_t a
)
13 static inline uint64_t int128_get64(Int128 a
)
20 static inline uint64_t int128_getlo(Int128 a
)
25 static inline int64_t int128_gethi(Int128 a
)
30 static inline Int128
int128_zero(void)
35 static inline Int128
int128_one(void)
40 static inline Int128
int128_2_64(void)
42 return (Int128
)1 << 64;
45 static inline Int128
int128_exts64(int64_t a
)
50 static inline Int128
int128_and(Int128 a
, Int128 b
)
55 static inline Int128
int128_rshift(Int128 a
, int n
)
60 static inline Int128
int128_add(Int128 a
, Int128 b
)
65 static inline Int128
int128_neg(Int128 a
)
70 static inline Int128
int128_sub(Int128 a
, Int128 b
)
75 static inline bool int128_nonneg(Int128 a
)
80 static inline bool int128_eq(Int128 a
, Int128 b
)
85 static inline bool int128_ne(Int128 a
, Int128 b
)
90 static inline bool int128_ge(Int128 a
, Int128 b
)
95 static inline bool int128_lt(Int128 a
, Int128 b
)
100 static inline bool int128_le(Int128 a
, Int128 b
)
105 static inline bool int128_gt(Int128 a
, Int128 b
)
110 static inline bool int128_nz(Int128 a
)
115 static inline Int128
int128_min(Int128 a
, Int128 b
)
117 return a
< b
? a
: b
;
120 static inline Int128
int128_max(Int128 a
, Int128 b
)
122 return a
> b
? a
: b
;
125 static inline void int128_addto(Int128
*a
, Int128 b
)
130 static inline void int128_subfrom(Int128
*a
, Int128 b
)
135 #else /* !CONFIG_INT128 */
137 typedef struct Int128 Int128
;
144 static inline Int128
int128_make64(uint64_t a
)
146 return (Int128
) { a
, 0 };
149 static inline uint64_t int128_get64(Int128 a
)
155 static inline uint64_t int128_getlo(Int128 a
)
160 static inline int64_t int128_gethi(Int128 a
)
165 static inline Int128
int128_zero(void)
167 return int128_make64(0);
170 static inline Int128
int128_one(void)
172 return int128_make64(1);
175 static inline Int128
int128_2_64(void)
177 return (Int128
) { 0, 1 };
180 static inline Int128
int128_exts64(int64_t a
)
182 return (Int128
) { .lo
= a
, .hi
= (a
< 0) ? -1 : 0 };
185 static inline Int128
int128_and(Int128 a
, Int128 b
)
187 return (Int128
) { a
.lo
& b
.lo
, a
.hi
& b
.hi
};
190 static inline Int128
int128_rshift(Int128 a
, int n
)
196 h
= a
.hi
>> (n
& 63);
198 return (Int128
) { h
, h
>> 63 };
200 return (Int128
) { (a
.lo
>> n
) | ((uint64_t)a
.hi
<< (64 - n
)), h
};
204 static inline Int128
int128_add(Int128 a
, Int128 b
)
206 uint64_t lo
= a
.lo
+ b
.lo
;
208 /* a.lo <= a.lo + b.lo < a.lo + k (k is the base, 2^64). Hence,
209 * a.lo + b.lo >= k implies 0 <= lo = a.lo + b.lo - k < a.lo.
210 * Similarly, a.lo + b.lo < k implies a.lo <= lo = a.lo + b.lo < k.
212 * So the carry is lo < a.lo.
214 return (Int128
) { lo
, (uint64_t)a
.hi
+ b
.hi
+ (lo
< a
.lo
) };
217 static inline Int128
int128_neg(Int128 a
)
220 return (Int128
) { lo
, ~(uint64_t)a
.hi
+ !lo
};
223 static inline Int128
int128_sub(Int128 a
, Int128 b
)
225 return (Int128
){ a
.lo
- b
.lo
, (uint64_t)a
.hi
- b
.hi
- (a
.lo
< b
.lo
) };
228 static inline bool int128_nonneg(Int128 a
)
233 static inline bool int128_eq(Int128 a
, Int128 b
)
235 return a
.lo
== b
.lo
&& a
.hi
== b
.hi
;
238 static inline bool int128_ne(Int128 a
, Int128 b
)
240 return !int128_eq(a
, b
);
243 static inline bool int128_ge(Int128 a
, Int128 b
)
245 return a
.hi
> b
.hi
|| (a
.hi
== b
.hi
&& a
.lo
>= b
.lo
);
248 static inline bool int128_lt(Int128 a
, Int128 b
)
250 return !int128_ge(a
, b
);
253 static inline bool int128_le(Int128 a
, Int128 b
)
255 return int128_ge(b
, a
);
258 static inline bool int128_gt(Int128 a
, Int128 b
)
260 return !int128_le(a
, b
);
263 static inline bool int128_nz(Int128 a
)
268 static inline Int128
int128_min(Int128 a
, Int128 b
)
270 return int128_le(a
, b
) ? a
: b
;
273 static inline Int128
int128_max(Int128 a
, Int128 b
)
275 return int128_ge(a
, b
) ? a
: b
;
278 static inline void int128_addto(Int128
*a
, Int128 b
)
280 *a
= int128_add(*a
, b
);
283 static inline void int128_subfrom(Int128
*a
, Int128 b
)
285 *a
= int128_sub(*a
, b
);
288 #endif /* CONFIG_INT128 */
289 #endif /* INT128_H */