xref: /qemu/include/qemu/int128.h (revision ca61e750)
1 #ifndef INT128_H
2 #define INT128_H
3 
4 #include "qemu/bswap.h"
5 
6 #ifdef CONFIG_INT128
7 typedef __int128_t Int128;
8 
9 static inline Int128 int128_make64(uint64_t a)
10 {
11     return a;
12 }
13 
14 static inline Int128 int128_makes64(int64_t a)
15 {
16     return a;
17 }
18 
19 static inline Int128 int128_make128(uint64_t lo, uint64_t hi)
20 {
21     return (__uint128_t)hi << 64 | lo;
22 }
23 
24 static inline uint64_t int128_get64(Int128 a)
25 {
26     uint64_t r = a;
27     assert(r == a);
28     return r;
29 }
30 
31 static inline uint64_t int128_getlo(Int128 a)
32 {
33     return a;
34 }
35 
36 static inline int64_t int128_gethi(Int128 a)
37 {
38     return a >> 64;
39 }
40 
41 static inline Int128 int128_zero(void)
42 {
43     return 0;
44 }
45 
46 static inline Int128 int128_one(void)
47 {
48     return 1;
49 }
50 
51 static inline Int128 int128_2_64(void)
52 {
53     return (Int128)1 << 64;
54 }
55 
56 static inline Int128 int128_exts64(int64_t a)
57 {
58     return a;
59 }
60 
61 static inline Int128 int128_not(Int128 a)
62 {
63     return ~a;
64 }
65 
66 static inline Int128 int128_and(Int128 a, Int128 b)
67 {
68     return a & b;
69 }
70 
71 static inline Int128 int128_or(Int128 a, Int128 b)
72 {
73     return a | b;
74 }
75 
76 static inline Int128 int128_xor(Int128 a, Int128 b)
77 {
78     return a ^ b;
79 }
80 
81 static inline Int128 int128_rshift(Int128 a, int n)
82 {
83     return a >> n;
84 }
85 
86 static inline Int128 int128_urshift(Int128 a, int n)
87 {
88     return (__uint128_t)a >> n;
89 }
90 
91 static inline Int128 int128_lshift(Int128 a, int n)
92 {
93     return a << n;
94 }
95 
96 static inline Int128 int128_add(Int128 a, Int128 b)
97 {
98     return a + b;
99 }
100 
101 static inline Int128 int128_neg(Int128 a)
102 {
103     return -a;
104 }
105 
106 static inline Int128 int128_sub(Int128 a, Int128 b)
107 {
108     return a - b;
109 }
110 
111 static inline bool int128_nonneg(Int128 a)
112 {
113     return a >= 0;
114 }
115 
116 static inline bool int128_eq(Int128 a, Int128 b)
117 {
118     return a == b;
119 }
120 
121 static inline bool int128_ne(Int128 a, Int128 b)
122 {
123     return a != b;
124 }
125 
126 static inline bool int128_ge(Int128 a, Int128 b)
127 {
128     return a >= b;
129 }
130 
131 static inline bool int128_lt(Int128 a, Int128 b)
132 {
133     return a < b;
134 }
135 
136 static inline bool int128_le(Int128 a, Int128 b)
137 {
138     return a <= b;
139 }
140 
141 static inline bool int128_gt(Int128 a, Int128 b)
142 {
143     return a > b;
144 }
145 
146 static inline bool int128_nz(Int128 a)
147 {
148     return a != 0;
149 }
150 
151 static inline Int128 int128_min(Int128 a, Int128 b)
152 {
153     return a < b ? a : b;
154 }
155 
156 static inline Int128 int128_max(Int128 a, Int128 b)
157 {
158     return a > b ? a : b;
159 }
160 
161 static inline void int128_addto(Int128 *a, Int128 b)
162 {
163     *a += b;
164 }
165 
166 static inline void int128_subfrom(Int128 *a, Int128 b)
167 {
168     *a -= b;
169 }
170 
171 static inline Int128 bswap128(Int128 a)
172 {
173 #if __has_builtin(__builtin_bswap128)
174     return __builtin_bswap128(a);
175 #else
176     return int128_make128(bswap64(int128_gethi(a)), bswap64(int128_getlo(a)));
177 #endif
178 }
179 
180 static inline Int128 int128_divu(Int128 a, Int128 b)
181 {
182     return (__uint128_t)a / (__uint128_t)b;
183 }
184 
185 static inline Int128 int128_remu(Int128 a, Int128 b)
186 {
187     return (__uint128_t)a % (__uint128_t)b;
188 }
189 
190 static inline Int128 int128_divs(Int128 a, Int128 b)
191 {
192     return a / b;
193 }
194 
195 static inline Int128 int128_rems(Int128 a, Int128 b)
196 {
197     return a % b;
198 }
199 
200 #else /* !CONFIG_INT128 */
201 
202 typedef struct Int128 Int128;
203 
204 /*
205  * We guarantee that the in-memory byte representation of an
206  * Int128 is that of a host-endian-order 128-bit integer
207  * (whether using this struct or the __int128_t version of the type).
208  * Some code using this type relies on this (eg when copying it into
209  * guest memory or a gdb protocol buffer, or by using Int128 in
210  * a union with other integer types).
211  */
212 struct Int128 {
213 #if HOST_BIG_ENDIAN
214     int64_t hi;
215     uint64_t lo;
216 #else
217     uint64_t lo;
218     int64_t hi;
219 #endif
220 };
221 
222 static inline Int128 int128_make64(uint64_t a)
223 {
224     return (Int128) { .lo = a, .hi = 0 };
225 }
226 
227 static inline Int128 int128_makes64(int64_t a)
228 {
229     return (Int128) { .lo = a, .hi = a >> 63 };
230 }
231 
232 static inline Int128 int128_make128(uint64_t lo, uint64_t hi)
233 {
234     return (Int128) { .lo = lo, .hi = hi };
235 }
236 
237 static inline uint64_t int128_get64(Int128 a)
238 {
239     assert(!a.hi);
240     return a.lo;
241 }
242 
243 static inline uint64_t int128_getlo(Int128 a)
244 {
245     return a.lo;
246 }
247 
248 static inline int64_t int128_gethi(Int128 a)
249 {
250     return a.hi;
251 }
252 
253 static inline Int128 int128_zero(void)
254 {
255     return int128_make64(0);
256 }
257 
258 static inline Int128 int128_one(void)
259 {
260     return int128_make64(1);
261 }
262 
263 static inline Int128 int128_2_64(void)
264 {
265     return int128_make128(0, 1);
266 }
267 
268 static inline Int128 int128_exts64(int64_t a)
269 {
270     return int128_make128(a, (a < 0) ? -1 : 0);
271 }
272 
273 static inline Int128 int128_not(Int128 a)
274 {
275     return int128_make128(~a.lo, ~a.hi);
276 }
277 
278 static inline Int128 int128_and(Int128 a, Int128 b)
279 {
280     return int128_make128(a.lo & b.lo, a.hi & b.hi);
281 }
282 
283 static inline Int128 int128_or(Int128 a, Int128 b)
284 {
285     return int128_make128(a.lo | b.lo, a.hi | b.hi);
286 }
287 
288 static inline Int128 int128_xor(Int128 a, Int128 b)
289 {
290     return int128_make128(a.lo ^ b.lo, a.hi ^ b.hi);
291 }
292 
293 static inline Int128 int128_rshift(Int128 a, int n)
294 {
295     int64_t h;
296     if (!n) {
297         return a;
298     }
299     h = a.hi >> (n & 63);
300     if (n >= 64) {
301         return int128_make128(h, h >> 63);
302     } else {
303         return int128_make128((a.lo >> n) | ((uint64_t)a.hi << (64 - n)), h);
304     }
305 }
306 
307 static inline Int128 int128_urshift(Int128 a, int n)
308 {
309     uint64_t h = a.hi;
310     if (!n) {
311         return a;
312     }
313     h = h >> (n & 63);
314     if (n >= 64) {
315         return int128_make64(h);
316     } else {
317         return int128_make128((a.lo >> n) | ((uint64_t)a.hi << (64 - n)), h);
318     }
319 }
320 
321 static inline Int128 int128_lshift(Int128 a, int n)
322 {
323     uint64_t l = a.lo << (n & 63);
324     if (n >= 64) {
325         return int128_make128(0, l);
326     } else if (n > 0) {
327         return int128_make128(l, (a.hi << n) | (a.lo >> (64 - n)));
328     }
329     return a;
330 }
331 
332 static inline Int128 int128_add(Int128 a, Int128 b)
333 {
334     uint64_t lo = a.lo + b.lo;
335 
336     /* a.lo <= a.lo + b.lo < a.lo + k (k is the base, 2^64).  Hence,
337      * a.lo + b.lo >= k implies 0 <= lo = a.lo + b.lo - k < a.lo.
338      * Similarly, a.lo + b.lo < k implies a.lo <= lo = a.lo + b.lo < k.
339      *
340      * So the carry is lo < a.lo.
341      */
342     return int128_make128(lo, (uint64_t)a.hi + b.hi + (lo < a.lo));
343 }
344 
345 static inline Int128 int128_neg(Int128 a)
346 {
347     uint64_t lo = -a.lo;
348     return int128_make128(lo, ~(uint64_t)a.hi + !lo);
349 }
350 
351 static inline Int128 int128_sub(Int128 a, Int128 b)
352 {
353     return int128_make128(a.lo - b.lo, (uint64_t)a.hi - b.hi - (a.lo < b.lo));
354 }
355 
356 static inline bool int128_nonneg(Int128 a)
357 {
358     return a.hi >= 0;
359 }
360 
361 static inline bool int128_eq(Int128 a, Int128 b)
362 {
363     return a.lo == b.lo && a.hi == b.hi;
364 }
365 
366 static inline bool int128_ne(Int128 a, Int128 b)
367 {
368     return !int128_eq(a, b);
369 }
370 
371 static inline bool int128_ge(Int128 a, Int128 b)
372 {
373     return a.hi > b.hi || (a.hi == b.hi && a.lo >= b.lo);
374 }
375 
376 static inline bool int128_lt(Int128 a, Int128 b)
377 {
378     return !int128_ge(a, b);
379 }
380 
381 static inline bool int128_le(Int128 a, Int128 b)
382 {
383     return int128_ge(b, a);
384 }
385 
386 static inline bool int128_gt(Int128 a, Int128 b)
387 {
388     return !int128_le(a, b);
389 }
390 
391 static inline bool int128_nz(Int128 a)
392 {
393     return a.lo || a.hi;
394 }
395 
396 static inline Int128 int128_min(Int128 a, Int128 b)
397 {
398     return int128_le(a, b) ? a : b;
399 }
400 
401 static inline Int128 int128_max(Int128 a, Int128 b)
402 {
403     return int128_ge(a, b) ? a : b;
404 }
405 
406 static inline void int128_addto(Int128 *a, Int128 b)
407 {
408     *a = int128_add(*a, b);
409 }
410 
411 static inline void int128_subfrom(Int128 *a, Int128 b)
412 {
413     *a = int128_sub(*a, b);
414 }
415 
416 static inline Int128 bswap128(Int128 a)
417 {
418     return int128_make128(bswap64(a.hi), bswap64(a.lo));
419 }
420 
421 Int128 int128_divu(Int128, Int128);
422 Int128 int128_remu(Int128, Int128);
423 Int128 int128_divs(Int128, Int128);
424 Int128 int128_rems(Int128, Int128);
425 
426 #endif /* CONFIG_INT128 */
427 
428 static inline void bswap128s(Int128 *s)
429 {
430     *s = bswap128(*s);
431 }
432 
433 #define UINT128_MAX int128_make128(~0LL, ~0LL)
434 #define INT128_MAX int128_make128(UINT64_MAX, INT64_MAX)
435 #define INT128_MIN int128_make128(0, INT64_MIN)
436 
437 #endif /* INT128_H */
438