]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/double-int.h
PR fortran/95090 - ICE: identifier overflow
[thirdparty/gcc.git] / gcc / double-int.h
CommitLineData
f82783bd 1/* Operations with long integers.
8d9254fc 2 Copyright (C) 2006-2020 Free Software Foundation, Inc.
b8698a0f 3
f82783bd 4This file is part of GCC.
b8698a0f 5
f82783bd
ZD
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
9dcd6f09 8Free Software Foundation; either version 3, or (at your option) any
f82783bd 9later version.
b8698a0f 10
f82783bd
ZD
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.
b8698a0f 15
f82783bd 16You should have received a copy of the GNU General Public License
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
f82783bd
ZD
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
66a4ad37 46 numbers with precision higher than HOST_WIDE_INT). It might be less
f82783bd
ZD
47 confusing to have them both signed or both unsigned. */
48
27bcd47c 49struct double_int
f82783bd 50{
0823efed
DN
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
6d67b4c7
RG
58 static double_int from_uhwi (unsigned HOST_WIDE_INT cst);
59 static double_int from_shwi (HOST_WIDE_INT cst);
9be0ac8c 60 static double_int from_pair (HOST_WIDE_INT high, unsigned HOST_WIDE_INT low);
0823efed 61
cc06c01d 62 /* Construct from a fuffer of length LEN. BUFFER will be read according
bd2c6270 63 to byte endianness and word endianness. */
cc06c01d
GJL
64 static double_int from_buffer (const unsigned char *buffer, int len);
65
0823efed
DN
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
78 double_int &operator *= (double_int);
79 double_int &operator += (double_int);
80 double_int &operator -= (double_int);
27bcd47c
LC
81 double_int &operator &= (double_int);
82 double_int &operator ^= (double_int);
83 double_int &operator |= (double_int);
0823efed
DN
84
85 /* The following functions are non-mutating operations. */
86
87 /* Conversion functions. */
88
6d67b4c7
RG
89 HOST_WIDE_INT to_shwi () const;
90 unsigned HOST_WIDE_INT to_uhwi () const;
0823efed
DN
91
92 /* Conversion query functions. */
93
6d67b4c7
RG
94 bool fits_uhwi () const;
95 bool fits_shwi () const;
96 bool fits_hwi (bool uns) const;
0823efed
DN
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
9be0ac8c
LC
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
0823efed 113 double_int set_bit (unsigned) const;
27bcd47c 114 double_int mul_with_sign (double_int, bool unsigned_p, bool *overflow) const;
9be0ac8c
LC
115 double_int wide_mul_with_sign (double_int, bool unsigned_p,
116 double_int *higher, bool *overflow) const;
27bcd47c 117 double_int add_with_sign (double_int, bool unsigned_p, bool *overflow) const;
9be0ac8c
LC
118 double_int sub_with_overflow (double_int, bool *overflow) const;
119 double_int neg_with_overflow (bool *overflow) const;
0823efed 120
27bcd47c
LC
121 double_int operator * (double_int) const;
122 double_int operator + (double_int) const;
123 double_int operator - (double_int) const;
0823efed
DN
124 double_int operator - () const;
125 double_int operator ~ () const;
27bcd47c
LC
126 double_int operator & (double_int) const;
127 double_int operator | (double_int) const;
128 double_int operator ^ (double_int) const;
129 double_int and_not (double_int) const;
0823efed 130
07bfc9ec 131 double_int lshift (HOST_WIDE_INT count) const;
0823efed 132 double_int lshift (HOST_WIDE_INT count, unsigned int prec, bool arith) const;
39e843e8 133 double_int rshift (HOST_WIDE_INT count) const;
0823efed
DN
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. */
9be0ac8c 145
0823efed
DN
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;
9be0ac8c
LC
152 double_int divmod_with_overflow (double_int, bool, unsigned,
153 double_int *, bool *) const;
0823efed
DN
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;
27bcd47c 176 bool ule (double_int b) const;
0823efed
DN
177 bool ugt (double_int b) const;
178 bool slt (double_int b) const;
27bcd47c 179 bool sle (double_int b) const;
0823efed
DN
180 bool sgt (double_int b) const;
181
182 double_int max (double_int b, bool uns);
183 double_int smax (double_int b);
184 double_int umax (double_int b);
185
186 double_int min (double_int b, bool uns);
187 double_int smin (double_int b);
188 double_int umin (double_int b);
189
190 bool operator == (double_int cst2) const;
191 bool operator != (double_int cst2) const;
192
688010ba 193 /* Please migrate away from using these member variables publicly. */
0823efed 194
f82783bd
ZD
195 unsigned HOST_WIDE_INT low;
196 HOST_WIDE_INT high;
0823efed 197
27bcd47c 198};
f82783bd 199
2bd1333d
AS
200#define HOST_BITS_PER_DOUBLE_INT (2 * HOST_BITS_PER_WIDE_INT)
201
f82783bd
ZD
202/* Constructors and conversions. */
203
f82783bd
ZD
204/* Constructs double_int from integer CST. The bits over the precision of
205 HOST_WIDE_INT are filled with the sign bit. */
206
27bcd47c
LC
207inline double_int
208double_int::from_shwi (HOST_WIDE_INT cst)
f82783bd
ZD
209{
210 double_int r;
f82783bd
ZD
211 r.low = (unsigned HOST_WIDE_INT) cst;
212 r.high = cst < 0 ? -1 : 0;
f82783bd
ZD
213 return r;
214}
215
216/* Some useful constants. */
0823efed
DN
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. */
f82783bd 220
6d67b4c7
RG
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))
f82783bd
ZD
226
227/* Constructs double_int from unsigned integer CST. The bits over the
228 precision of HOST_WIDE_INT are filled with zeros. */
229
27bcd47c
LC
230inline double_int
231double_int::from_uhwi (unsigned HOST_WIDE_INT cst)
f82783bd
ZD
232{
233 double_int r;
f82783bd
ZD
234 r.low = cst;
235 r.high = 0;
f82783bd
ZD
236 return r;
237}
238
9be0ac8c
LC
239inline double_int
240double_int::from_pair (HOST_WIDE_INT high, unsigned HOST_WIDE_INT low)
0823efed 241{
9be0ac8c
LC
242 double_int r;
243 r.low = low;
244 r.high = high;
245 return r;
0823efed
DN
246}
247
248inline double_int &
249double_int::operator ++ ()
250{
251 *this += double_int_one;
252 return *this;
253}
254
255inline double_int &
256double_int::operator -- ()
257{
258 *this -= double_int_one;
259 return *this;
260}
261
27bcd47c
LC
262inline double_int &
263double_int::operator &= (double_int b)
264{
265 *this = *this & b;
266 return *this;
267}
268
269inline double_int &
270double_int::operator ^= (double_int b)
271{
272 *this = *this ^ b;
273 return *this;
274}
275
276inline double_int &
277double_int::operator |= (double_int b)
278{
279 *this = *this | b;
280 return *this;
281}
282
fd7de64c 283/* Returns value of CST as a signed number. CST must satisfy
0823efed 284 double_int::fits_signed. */
fd7de64c 285
0823efed 286inline HOST_WIDE_INT
6d67b4c7 287double_int::to_shwi () const
0823efed
DN
288{
289 return (HOST_WIDE_INT) low;
290}
291
fd7de64c 292/* Returns value of CST as an unsigned number. CST must satisfy
0823efed
DN
293 double_int::fits_unsigned. */
294
295inline unsigned HOST_WIDE_INT
6d67b4c7 296double_int::to_uhwi () const
0823efed
DN
297{
298 return low;
299}
fd7de64c 300
fd7de64c
AS
301/* Returns true if CST fits in unsigned HOST_WIDE_INT. */
302
0823efed 303inline bool
6d67b4c7 304double_int::fits_uhwi () const
0823efed
DN
305{
306 return high == 0;
307}
308
2bd1333d 309/* Logical operations. */
1961ffb8
AS
310
311/* Returns ~A. */
312
0823efed
DN
313inline double_int
314double_int::operator ~ () const
315{
316 double_int result;
317 result.low = ~low;
318 result.high = ~high;
319 return result;
320}
321
1961ffb8
AS
322/* Returns A | B. */
323
0823efed
DN
324inline double_int
325double_int::operator | (double_int b) const
326{
327 double_int result;
328 result.low = low | b.low;
329 result.high = high | b.high;
330 return result;
331}
332
e233a3b2
AS
333/* Returns A & B. */
334
0823efed
DN
335inline double_int
336double_int::operator & (double_int b) const
337{
338 double_int result;
339 result.low = low & b.low;
340 result.high = high & b.high;
341 return result;
342}
343
950f7f45
RG
344/* Returns A & ~B. */
345
0823efed
DN
346inline double_int
347double_int::and_not (double_int b) const
348{
349 double_int result;
350 result.low = low & ~b.low;
351 result.high = high & ~b.high;
352 return result;
353}
354
fd7de64c
AS
355/* Returns A ^ B. */
356
0823efed
DN
357inline double_int
358double_int::operator ^ (double_int b) const
359{
360 double_int result;
361 result.low = low ^ b.low;
362 result.high = high ^ b.high;
363 return result;
364}
365
f82783bd
ZD
366void dump_double_int (FILE *, double_int, bool);
367
dd4786fe 368#define ALL_ONES HOST_WIDE_INT_M1U
f82783bd
ZD
369
370/* The operands of the following comparison functions must be processed
371 with double_int_ext, if their precision is less than
49ab6098 372 HOST_BITS_PER_DOUBLE_INT bits. */
f82783bd
ZD
373
374/* Returns true if CST is zero. */
375
0823efed
DN
376inline bool
377double_int::is_zero () const
378{
379 return low == 0 && high == 0;
380}
381
f82783bd
ZD
382/* Returns true if CST is one. */
383
0823efed
DN
384inline bool
385double_int::is_one () const
386{
387 return low == 1 && high == 0;
388}
389
f82783bd
ZD
390/* Returns true if CST is minus one. */
391
0823efed
DN
392inline bool
393double_int::is_minus_one () const
394{
395 return low == ALL_ONES && high == -1;
396}
397
0823efed
DN
398/* Returns true if CST is negative. */
399
400inline bool
401double_int::is_negative () const
402{
403 return high < 0;
f82783bd
ZD
404}
405
406/* Returns true if CST1 == CST2. */
407
0823efed
DN
408inline bool
409double_int::operator == (double_int cst2) const
410{
411 return low == cst2.low && high == cst2.high;
412}
413
0823efed
DN
414/* Returns true if CST1 != CST2. */
415
416inline bool
417double_int::operator != (double_int cst2) const
418{
419 return low != cst2.low || high != cst2.high;
f82783bd
ZD
420}
421
440b6d59
TV
422/* Return number of set bits of CST. */
423
0823efed
DN
424inline int
425double_int::popcount () const
426{
427 return popcount_hwi (high) + popcount_hwi (low);
428}
429
330db1e3 430
34917a10 431#ifndef GENERATOR_FILE
e4fd22c6
BM
432/* Conversion to and from GMP integer representations. */
433
434void mpz_set_double_int (mpz_t, double_int, bool);
22ea9ec0 435double_int mpz_get_double_int (const_tree, mpz_t, bool);
34917a10 436#endif
e4fd22c6 437
807e902e
KZ
438namespace wi
439{
440 template <>
441 struct int_traits <double_int>
442 {
443 static const enum precision_type precision_type = CONST_PRECISION;
444 static const bool host_dependent_precision = true;
445 static const unsigned int precision = HOST_BITS_PER_DOUBLE_INT;
446 static unsigned int get_precision (const double_int &);
447 static wi::storage_ref decompose (HOST_WIDE_INT *, unsigned int,
448 const double_int &);
449 };
450}
451
452inline unsigned int
453wi::int_traits <double_int>::get_precision (const double_int &)
454{
455 return precision;
456}
457
458inline wi::storage_ref
459wi::int_traits <double_int>::decompose (HOST_WIDE_INT *scratch, unsigned int p,
460 const double_int &x)
461{
462 gcc_checking_assert (precision == p);
463 scratch[0] = x.low;
464 if ((x.high == 0 && scratch[0] >= 0) || (x.high == -1 && scratch[0] < 0))
465 return wi::storage_ref (scratch, 1, precision);
466 scratch[1] = x.high;
467 return wi::storage_ref (scratch, 2, precision);
468}
469
f82783bd 470#endif /* DOUBLE_INT_H */