GCC Middle and Back End API Reference
double-int.h
Go to the documentation of this file.
1/* Operations with long integers.
2 Copyright (C) 2006-2024 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it
7under the terms of the GNU General Public License as published by the
8Free Software Foundation; either version 3, or (at your option) any
9later version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT
12ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
20#ifndef DOUBLE_INT_H
21#define DOUBLE_INT_H
22
23/* A large integer is currently represented as a pair of HOST_WIDE_INTs.
24 It therefore represents a number with precision of
25 2 * HOST_BITS_PER_WIDE_INT bits (it is however possible that the
26 internal representation will change, if numbers with greater precision
27 are needed, so the users should not rely on it). The representation does
28 not contain any information about signedness of the represented value, so
29 it can be used to represent both signed and unsigned numbers. For
30 operations where the results depend on signedness (division, comparisons),
31 it must be specified separately. For each such operation, there are three
32 versions of the function -- double_int_op, that takes an extra UNS argument
33 giving the signedness of the values, and double_int_sop and double_int_uop
34 that stand for its specializations for signed and unsigned values.
35
36 You may also represent with numbers in smaller precision using double_int.
37 You however need to use double_int_ext (that fills in the bits of the
38 number over the prescribed precision with zeros or with the sign bit) before
39 operations that do not perform arithmetics modulo 2^precision (comparisons,
40 division), and possibly before storing the results, if you want to keep
41 them in some canonical form). In general, the signedness of double_int_ext
42 should match the signedness of the operation.
43
44 ??? The components of double_int differ in signedness mostly for
45 historical reasons (they replace an older structure used to represent
46 numbers with precision higher than HOST_WIDE_INT). It might be less
47 confusing to have them both signed or both unsigned. */
48
50{
51 /* Normally, we would define constructors to create instances.
52 Two things prevent us from doing so.
53 First, defining a constructor makes the class non-POD in C++03,
54 and we certainly want double_int to be a POD.
55 Second, the GCC conding conventions prefer explicit conversion,
56 and explicit conversion operators are not available until C++11. */
57
58 static double_int from_uhwi (unsigned HOST_WIDE_INT cst);
61
62 /* Construct from a fuffer of length LEN. BUFFER will be read according
63 to byte endianness and word endianness. */
64 static double_int from_buffer (const unsigned char *buffer, int len);
65
66 /* No copy assignment operator or destructor to keep the type a POD. */
67
68 /* There are some special value-creation static member functions. */
69
70 static double_int mask (unsigned prec);
71 static double_int max_value (unsigned int prec, bool uns);
72 static double_int min_value (unsigned int prec, bool uns);
73
74 /* The following functions are mutating operations. */
75
76 double_int &operator ++ (); // prefix
77 double_int &operator -- (); // prefix
84
85 /* The following functions are non-mutating operations. */
86
87 /* Conversion functions. */
88
89 HOST_WIDE_INT to_shwi () const;
90 unsigned HOST_WIDE_INT to_uhwi () const;
91
92 /* Conversion query functions. */
93
94 bool fits_uhwi () const;
95 bool fits_shwi () const;
96 bool fits_hwi (bool uns) const;
97
98 /* Attribute query functions. */
99
100 int trailing_zeros () const;
101 int popcount () const;
102
103 /* Arithmetic query operations. */
104
105 bool multiple_of (double_int, bool, double_int *) const;
106
107 /* Arithmetic operation functions. */
108
109 /* The following operations perform arithmetics modulo 2^precision, so you
110 do not need to call .ext between them, even if you are representing
111 numbers with precision less than HOST_BITS_PER_DOUBLE_INT bits. */
112
113 double_int set_bit (unsigned) const;
114 double_int mul_with_sign (double_int, bool unsigned_p, bool *overflow) const;
115 double_int wide_mul_with_sign (double_int, bool unsigned_p,
116 double_int *higher, bool *overflow) const;
117 double_int add_with_sign (double_int, bool unsigned_p, bool *overflow) const;
120
124 double_int operator - () const;
125 double_int operator ~ () const;
130
132 double_int lshift (HOST_WIDE_INT count, unsigned int prec, bool arith) const;
134 double_int rshift (HOST_WIDE_INT count, unsigned int prec, bool arith) const;
135 double_int alshift (HOST_WIDE_INT count, unsigned int prec) const;
136 double_int arshift (HOST_WIDE_INT count, unsigned int prec) const;
137 double_int llshift (HOST_WIDE_INT count, unsigned int prec) const;
138 double_int lrshift (HOST_WIDE_INT count, unsigned int prec) const;
139 double_int lrotate (HOST_WIDE_INT count, unsigned int prec) const;
140 double_int rrotate (HOST_WIDE_INT count, unsigned int prec) const;
141
142 /* You must ensure that double_int::ext is called on the operands
143 of the following operations, if the precision of the numbers
144 is less than HOST_BITS_PER_DOUBLE_INT bits. */
145
146 double_int div (double_int, bool, unsigned) const;
147 double_int sdiv (double_int, unsigned) const;
148 double_int udiv (double_int, unsigned) const;
149 double_int mod (double_int, bool, unsigned) const;
150 double_int smod (double_int, unsigned) const;
151 double_int umod (double_int, unsigned) const;
153 double_int *, bool *) const;
154 double_int divmod (double_int, bool, unsigned, double_int *) const;
155 double_int sdivmod (double_int, unsigned, double_int *) const;
156 double_int udivmod (double_int, unsigned, double_int *) const;
157
158 /* Precision control functions. */
159
160 double_int ext (unsigned prec, bool uns) const;
161 double_int zext (unsigned prec) const;
162 double_int sext (unsigned prec) const;
163
164 /* Comparative functions. */
165
166 bool is_zero () const;
167 bool is_one () const;
168 bool is_minus_one () const;
169 bool is_negative () const;
170
171 int cmp (double_int b, bool uns) const;
172 int ucmp (double_int b) const;
173 int scmp (double_int b) const;
174
175 bool ult (double_int b) const;
176 bool ule (double_int b) const;
177 bool ugt (double_int b) const;
178 bool slt (double_int b) const;
179 bool sle (double_int b) const;
180 bool sgt (double_int b) const;
181
182 double_int max (double_int b, bool uns);
185
186 double_int min (double_int b, bool uns);
189
190 bool operator == (double_int cst2) const;
191 bool operator != (double_int cst2) const;
192
193 /* Please migrate away from using these member variables publicly. */
194
197
198};
199
200#define HOST_BITS_PER_DOUBLE_INT (2 * HOST_BITS_PER_WIDE_INT)
201
202/* Constructors and conversions. */
203
204/* Constructs double_int from integer CST. The bits over the precision of
205 HOST_WIDE_INT are filled with the sign bit. */
206
207inline double_int
209{
211 r.low = (unsigned HOST_WIDE_INT) cst;
212 r.high = cst < 0 ? -1 : 0;
213 return r;
214}
215
216/* Some useful constants. */
217/* FIXME(crowl): Maybe remove after converting callers?
218 The problem is that a named constant would not be as optimizable,
219 while the functional syntax is more verbose. */
220
221#define double_int_minus_one (double_int::from_shwi (-1))
222#define double_int_zero (double_int::from_shwi (0))
223#define double_int_one (double_int::from_shwi (1))
224#define double_int_two (double_int::from_shwi (2))
225#define double_int_ten (double_int::from_shwi (10))
226
227/* Constructs double_int from unsigned integer CST. The bits over the
228 precision of HOST_WIDE_INT are filled with zeros. */
229
230inline double_int
232{
234 r.low = cst;
235 r.high = 0;
236 return r;
237}
238
239inline double_int
241{
243 r.low = low;
244 r.high = high;
245 return r;
246}
247
248inline double_int &
250{
251 *this += double_int_one;
252 return *this;
253}
254
255inline double_int &
257{
258 *this -= double_int_one;
259 return *this;
260}
261
262inline double_int &
264{
265 *this = *this & b;
266 return *this;
267}
268
269inline double_int &
271{
272 *this = *this ^ b;
273 return *this;
274}
275
276inline double_int &
278{
279 *this = *this | b;
280 return *this;
281}
282
283/* Returns value of CST as a signed number. CST must satisfy
284 double_int::fits_signed. */
285
286inline HOST_WIDE_INT
288{
289 return (HOST_WIDE_INT) low;
290}
291
292/* Returns value of CST as an unsigned number. CST must satisfy
293 double_int::fits_unsigned. */
294
295inline unsigned HOST_WIDE_INT
297{
298 return low;
299}
300
301/* Returns true if CST fits in unsigned HOST_WIDE_INT. */
302
303inline bool
305{
306 return high == 0;
307}
308
309/* Logical operations. */
310
311/* Returns ~A. */
312
313inline double_int
315{
316 double_int result;
317 result.low = ~low;
318 result.high = ~high;
319 return result;
320}
321
322/* Returns A | B. */
323
324inline double_int
326{
327 double_int result;
328 result.low = low | b.low;
329 result.high = high | b.high;
330 return result;
331}
332
333/* Returns A & B. */
334
335inline double_int
337{
338 double_int result;
339 result.low = low & b.low;
340 result.high = high & b.high;
341 return result;
342}
343
344/* Returns A & ~B. */
345
346inline double_int
348{
349 double_int result;
350 result.low = low & ~b.low;
351 result.high = high & ~b.high;
352 return result;
353}
354
355/* Returns A ^ B. */
356
357inline double_int
359{
360 double_int result;
361 result.low = low ^ b.low;
362 result.high = high ^ b.high;
363 return result;
364}
365
366void dump_double_int (FILE *, double_int, bool);
367
368#define ALL_ONES HOST_WIDE_INT_M1U
369
370/* The operands of the following comparison functions must be processed
371 with double_int_ext, if their precision is less than
372 HOST_BITS_PER_DOUBLE_INT bits. */
373
374/* Returns true if CST is zero. */
375
376inline bool
378{
379 return low == 0 && high == 0;
380}
381
382/* Returns true if CST is one. */
383
384inline bool
386{
387 return low == 1 && high == 0;
388}
389
390/* Returns true if CST is minus one. */
391
392inline bool
394{
395 return low == ALL_ONES && high == -1;
396}
397
398/* Returns true if CST is negative. */
399
400inline bool
402{
403 return high < 0;
404}
405
406/* Returns true if CST1 == CST2. */
407
408inline bool
410{
411 return low == cst2.low && high == cst2.high;
412}
413
414/* Returns true if CST1 != CST2. */
415
416inline bool
418{
419 return low != cst2.low || high != cst2.high;
420}
421
422/* Return number of set bits of CST. */
423
424inline int
426{
427 return popcount_hwi (high) + popcount_hwi (low);
428}
429
430
431#ifndef GENERATOR_FILE
432/* Conversion to and from GMP integer representations. */
433
436#endif
437
438namespace wi
439{
440 template <>
442 {
444 static const bool host_dependent_precision = true;
445 static const bool needs_write_val_arg = false;
446 static const unsigned int precision = HOST_BITS_PER_DOUBLE_INT;
447 static unsigned int get_precision (const double_int &);
448 static wi::storage_ref decompose (HOST_WIDE_INT *, unsigned int,
449 const double_int &);
450 };
451}
452
453inline unsigned int
454wi::int_traits <double_int>::get_precision (const double_int &)
455{
456 return precision;
457}
458
459inline wi::storage_ref
460wi::int_traits <double_int>::decompose (HOST_WIDE_INT *scratch, unsigned int p,
461 const double_int &x)
462{
464 scratch[0] = x.low;
465 if ((x.high == 0 && scratch[0] >= 0) || (x.high == -1 && scratch[0] < 0))
466 return wi::storage_ref (scratch, 1, precision);
467 scratch[1] = x.high;
468 return wi::storage_ref (scratch, 2, precision);
469}
470
471#endif /* DOUBLE_INT_H */
Definition wide-int.h:707
const union tree_node * const_tree
Definition coretypes.h:98
static unsigned int count[debug_counter_number_of_counters]
Definition dbgcnt.cc:50
void mpz_set_double_int(mpz_t, double_int, bool)
Definition double-int.cc:1500
#define HOST_BITS_PER_DOUBLE_INT
Definition double-int.h:200
double_int mpz_get_double_int(const_tree, mpz_t, bool)
Definition double-int.cc:1524
#define ALL_ONES
Definition double-int.h:368
void dump_double_int(FILE *, double_int, bool)
Definition double-int.cc:1472
#define double_int_one
Definition double-int.h:223
static bitmap scratch
Definition dse.cc:218
T * ggc_alloc(ALONE_CXX_MEM_STAT_INFO)
Definition ggc.h:184
int popcount_hwi(unsigned HOST_WIDE_INT x)
Definition hwint.cc:111
Definition double-int.h:439
precision_type
Definition wide-int.h:387
@ INL_CONST_PRECISION
Definition wide-int.h:398
unsigned int get_precision(const T &)
Definition wide-int.h:2166
Ca unsigned int precision
Definition poly-int.h:742
poly_int< N, C > r
Definition poly-int.h:770
Ca const poly_int< N, Cb > & b
Definition poly-int.h:767
static struct decomposition decompose(rtx)
Definition reload.cc:2377
Definition double-int.h:50
bool fits_hwi(bool uns) const
Definition double-int.cc:787
double_int umax(double_int b)
Definition double-int.cc:1422
int ucmp(double_int b) const
Definition double-int.cc:1283
double_int max(double_int b, bool uns)
Definition double-int.cc:1406
double_int arshift(HOST_WIDE_INT count, unsigned int prec) const
Definition double-int.cc:1193
double_int rrotate(HOST_WIDE_INT count, unsigned int prec) const
Definition double-int.cc:1253
unsigned HOST_WIDE_INT to_uhwi() const
Definition double-int.h:296
HOST_WIDE_INT high
Definition double-int.h:196
bool slt(double_int b) const
Definition double-int.cc:1362
double_int & operator--()
Definition double-int.h:256
double_int operator|(double_int) const
Definition double-int.h:325
double_int wide_mul_with_sign(double_int, bool unsigned_p, double_int *higher, bool *overflow) const
Definition double-int.cc:830
double_int sdiv(double_int, unsigned) const
Definition double-int.cc:993
double_int & operator++()
Definition double-int.h:249
double_int operator^(double_int) const
Definition double-int.h:358
double_int udiv(double_int, unsigned) const
Definition double-int.cc:1001
double_int set_bit(unsigned) const
Definition double-int.cc:1057
double_int min(double_int b, bool uns)
Definition double-int.cc:1431
static double_int max_value(unsigned int prec, bool uns)
Definition double-int.cc:691
double_int zext(unsigned prec) const
Definition double-int.cc:726
int scmp(double_int b) const
Definition double-int.cc:1302
bool is_negative() const
Definition double-int.h:401
double_int sext(unsigned prec) const
Definition double-int.cc:741
double_int umin(double_int b)
Definition double-int.cc:1447
HOST_WIDE_INT to_shwi() const
Definition double-int.h:287
double_int operator-() const
Definition double-int.cc:915
static double_int min_value(unsigned int prec, bool uns)
Definition double-int.cc:700
int cmp(double_int b, bool uns) const
Definition double-int.cc:1271
double_int rshift(HOST_WIDE_INT count) const
Definition double-int.cc:1115
bool ule(double_int b) const
Definition double-int.cc:1334
int trailing_zeros() const
Definition double-int.cc:1070
double_int llshift(HOST_WIDE_INT count, unsigned int prec) const
Definition double-int.cc:1207
bool fits_shwi() const
Definition double-int.cc:772
double_int mod(double_int, bool, unsigned) const
Definition double-int.cc:1011
double_int & operator*=(double_int)
Definition double-int.cc:809
double_int divmod_with_overflow(double_int, bool, unsigned, double_int *, bool *) const
Definition double-int.cc:937
static double_int from_shwi(HOST_WIDE_INT cst)
Definition double-int.h:208
bool is_zero() const
Definition double-int.h:377
double_int divmod(double_int, bool, unsigned, double_int *) const
Definition double-int.cc:950
double_int lshift(HOST_WIDE_INT count) const
Definition double-int.cc:1084
double_int add_with_sign(double_int, bool unsigned_p, bool *overflow) const
Definition double-int.cc:867
double_int alshift(HOST_WIDE_INT count, unsigned int prec) const
Definition double-int.cc:1179
double_int operator~() const
Definition double-int.h:314
static double_int from_uhwi(unsigned HOST_WIDE_INT cst)
Definition double-int.h:231
bool operator!=(double_int cst2) const
Definition double-int.h:417
double_int operator*(double_int) const
Definition double-int.cc:798
double_int lrotate(HOST_WIDE_INT count, unsigned int prec) const
Definition double-int.cc:1235
double_int smax(double_int b)
Definition double-int.cc:1414
unsigned HOST_WIDE_INT low
Definition double-int.h:195
double_int and_not(double_int) const
Definition double-int.h:347
bool operator==(double_int cst2) const
Definition double-int.h:409
double_int neg_with_overflow(bool *overflow) const
Definition double-int.cc:924
double_int & operator|=(double_int)
Definition double-int.h:277
static double_int mask(unsigned prec)
Definition double-int.cc:666
double_int & operator&=(double_int)
Definition double-int.h:263
double_int sdivmod(double_int, unsigned, double_int *) const
Definition double-int.cc:965
bool fits_uhwi() const
Definition double-int.h:304
double_int div(double_int, bool, unsigned) const
Definition double-int.cc:983
double_int operator&(double_int) const
Definition double-int.h:336
bool is_one() const
Definition double-int.h:385
double_int & operator^=(double_int)
Definition double-int.h:270
double_int sub_with_overflow(double_int, bool *overflow) const
Definition double-int.cc:903
bool is_minus_one() const
Definition double-int.h:393
double_int smin(double_int b)
Definition double-int.cc:1439
double_int mul_with_sign(double_int, bool unsigned_p, bool *overflow) const
Definition double-int.cc:819
bool ult(double_int b) const
Definition double-int.cc:1320
double_int smod(double_int, unsigned) const
Definition double-int.cc:1022
double_int lrshift(HOST_WIDE_INT count, unsigned int prec) const
Definition double-int.cc:1221
double_int operator+(double_int) const
Definition double-int.cc:845
static double_int from_pair(HOST_WIDE_INT high, unsigned HOST_WIDE_INT low)
Definition double-int.h:240
bool ugt(double_int b) const
Definition double-int.cc:1348
static double_int from_buffer(const unsigned char *buffer, int len)
Definition double-int.cc:621
double_int umod(double_int, unsigned) const
Definition double-int.cc:1030
double_int & operator-=(double_int)
Definition double-int.cc:891
int popcount() const
Definition double-int.h:425
double_int & operator+=(double_int)
Definition double-int.cc:856
bool multiple_of(double_int, bool, double_int *) const
Definition double-int.cc:1040
double_int udivmod(double_int, unsigned, double_int *) const
Definition double-int.cc:973
double_int ext(unsigned prec, bool uns) const
Definition double-int.cc:715
bool sle(double_int b) const
Definition double-int.cc:1376
bool sgt(double_int b) const
Definition double-int.cc:1390
Definition wide-int.h:427
#define gcc_checking_assert(EXPR)
Definition system.h:828