blob: b79ed22c92110d04eca0a93bab08815e6aae7e8a [file] [log] [blame]
Zdenek Dvorakf82783b2006-03-03 01:38:20 +01001/* Operations with long integers.
Jakub Jelinek99dee822021-01-04 10:26:59 +01002 Copyright (C) 2006-2021 Free Software Foundation, Inc.
H.J. Lub8698a02009-11-25 10:55:54 +00003
Zdenek Dvorakf82783b2006-03-03 01:38:20 +01004This file is part of GCC.
H.J. Lub8698a02009-11-25 10:55:54 +00005
Zdenek Dvorakf82783b2006-03-03 01:38:20 +01006GCC is free software; you can redistribute it and/or modify it
7under the terms of the GNU General Public License as published by the
Nick Clifton9dcd6f02007-07-26 08:37:01 +00008Free Software Foundation; either version 3, or (at your option) any
Zdenek Dvorakf82783b2006-03-03 01:38:20 +01009later version.
H.J. Lub8698a02009-11-25 10:55:54 +000010
Zdenek Dvorakf82783b2006-03-03 01:38:20 +010011GCC 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.
H.J. Lub8698a02009-11-25 10:55:54 +000015
Zdenek Dvorakf82783b2006-03-03 01:38:20 +010016You should have received a copy of the GNU General Public License
Nick Clifton9dcd6f02007-07-26 08:37:01 +000017along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
Zdenek Dvorakf82783b2006-03-03 01:38:20 +010019
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
Kazu Hirata66a4ad32006-04-22 16:19:56 +000046 numbers with precision higher than HOST_WIDE_INT). It might be less
Zdenek Dvorakf82783b2006-03-03 01:38:20 +010047 confusing to have them both signed or both unsigned. */
48
Lawrence Crowl27bcd472012-09-07 00:06:35 +000049struct double_int
Zdenek Dvorakf82783b2006-03-03 01:38:20 +010050{
Diego Novillo0823efe2012-08-14 21:56:07 -040051 /* 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
Richard Guenther6d67b4c2012-08-15 11:39:52 +000058 static double_int from_uhwi (unsigned HOST_WIDE_INT cst);
59 static double_int from_shwi (HOST_WIDE_INT cst);
Lawrence Crowl9be0ac82012-09-24 18:22:31 +000060 static double_int from_pair (HOST_WIDE_INT high, unsigned HOST_WIDE_INT low);
Diego Novillo0823efe2012-08-14 21:56:07 -040061
Georg-Johann Laycc06c012013-01-30 11:04:30 +000062 /* Construct from a fuffer of length LEN. BUFFER will be read according
Jakub Jelinekbd2c6272017-01-09 22:48:33 +010063 to byte endianness and word endianness. */
Georg-Johann Laycc06c012013-01-30 11:04:30 +000064 static double_int from_buffer (const unsigned char *buffer, int len);
65
Diego Novillo0823efe2012-08-14 21:56:07 -040066 /* 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);
Lawrence Crowl27bcd472012-09-07 00:06:35 +000081 double_int &operator &= (double_int);
82 double_int &operator ^= (double_int);
83 double_int &operator |= (double_int);
Diego Novillo0823efe2012-08-14 21:56:07 -040084
85 /* The following functions are non-mutating operations. */
86
87 /* Conversion functions. */
88
Richard Guenther6d67b4c2012-08-15 11:39:52 +000089 HOST_WIDE_INT to_shwi () const;
90 unsigned HOST_WIDE_INT to_uhwi () const;
Diego Novillo0823efe2012-08-14 21:56:07 -040091
92 /* Conversion query functions. */
93
Richard Guenther6d67b4c2012-08-15 11:39:52 +000094 bool fits_uhwi () const;
95 bool fits_shwi () const;
96 bool fits_hwi (bool uns) const;
Diego Novillo0823efe2012-08-14 21:56:07 -040097
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
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000109 /* 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
Diego Novillo0823efe2012-08-14 21:56:07 -0400113 double_int set_bit (unsigned) const;
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000114 double_int mul_with_sign (double_int, bool unsigned_p, bool *overflow) const;
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000115 double_int wide_mul_with_sign (double_int, bool unsigned_p,
116 double_int *higher, bool *overflow) const;
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000117 double_int add_with_sign (double_int, bool unsigned_p, bool *overflow) const;
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000118 double_int sub_with_overflow (double_int, bool *overflow) const;
119 double_int neg_with_overflow (bool *overflow) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400120
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000121 double_int operator * (double_int) const;
122 double_int operator + (double_int) const;
123 double_int operator - (double_int) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400124 double_int operator - () const;
125 double_int operator ~ () const;
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000126 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;
Diego Novillo0823efe2012-08-14 21:56:07 -0400130
Richard Biener07bfc9e2013-05-03 11:09:59 +0000131 double_int lshift (HOST_WIDE_INT count) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400132 double_int lshift (HOST_WIDE_INT count, unsigned int prec, bool arith) const;
Richard Biener39e843e2013-05-07 11:26:58 +0000133 double_int rshift (HOST_WIDE_INT count) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400134 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. */
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000145
Diego Novillo0823efe2012-08-14 21:56:07 -0400146 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;
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000152 double_int divmod_with_overflow (double_int, bool, unsigned,
153 double_int *, bool *) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400154 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;
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000176 bool ule (double_int b) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400177 bool ugt (double_int b) const;
178 bool slt (double_int b) const;
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000179 bool sle (double_int b) const;
Diego Novillo0823efe2012-08-14 21:56:07 -0400180 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
Ondřej Bílka688010b2013-07-21 18:31:07 +0000193 /* Please migrate away from using these member variables publicly. */
Diego Novillo0823efe2012-08-14 21:56:07 -0400194
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100195 unsigned HOST_WIDE_INT low;
196 HOST_WIDE_INT high;
Diego Novillo0823efe2012-08-14 21:56:07 -0400197
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000198};
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100199
Anatoly Sokolov2bd13332010-04-15 02:05:32 +0400200#define HOST_BITS_PER_DOUBLE_INT (2 * HOST_BITS_PER_WIDE_INT)
201
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100202/* Constructors and conversions. */
203
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100204/* Constructs double_int from integer CST. The bits over the precision of
205 HOST_WIDE_INT are filled with the sign bit. */
206
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000207inline double_int
208double_int::from_shwi (HOST_WIDE_INT cst)
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100209{
210 double_int r;
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100211 r.low = (unsigned HOST_WIDE_INT) cst;
212 r.high = cst < 0 ? -1 : 0;
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100213 return r;
214}
215
Diego Novillo0823efe2012-08-14 21:56:07 -0400216/* 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
Richard Guenther6d67b4c2012-08-15 11:39:52 +0000221#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))
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100226
227/* Constructs double_int from unsigned integer CST. The bits over the
228 precision of HOST_WIDE_INT are filled with zeros. */
229
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000230inline double_int
231double_int::from_uhwi (unsigned HOST_WIDE_INT cst)
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100232{
233 double_int r;
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100234 r.low = cst;
235 r.high = 0;
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100236 return r;
237}
238
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000239inline double_int
240double_int::from_pair (HOST_WIDE_INT high, unsigned HOST_WIDE_INT low)
Diego Novillo0823efe2012-08-14 21:56:07 -0400241{
Lawrence Crowl9be0ac82012-09-24 18:22:31 +0000242 double_int r;
243 r.low = low;
244 r.high = high;
245 return r;
Diego Novillo0823efe2012-08-14 21:56:07 -0400246}
Anatoly Sokolovfd7de642010-06-18 19:58:48 +0400247
Diego Novillo0823efe2012-08-14 21:56:07 -0400248inline 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
262inline double_int &
Lawrence Crowl27bcd472012-09-07 00:06:35 +0000263double_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
Diego Novillo0823efe2012-08-14 21:56:07 -0400283/* Returns value of CST as a signed number. CST must satisfy
284 double_int::fits_signed. */
285
286inline HOST_WIDE_INT
Richard Guenther6d67b4c2012-08-15 11:39:52 +0000287double_int::to_shwi () const
Diego Novillo0823efe2012-08-14 21:56:07 -0400288{
289 return (HOST_WIDE_INT) low;
290}
291
Anatoly Sokolovfd7de642010-06-18 19:58:48 +0400292/* Returns value of CST as an unsigned number. CST must satisfy
Diego Novillo0823efe2012-08-14 21:56:07 -0400293 double_int::fits_unsigned. */
Anatoly Sokolovfd7de642010-06-18 19:58:48 +0400294
Diego Novillo0823efe2012-08-14 21:56:07 -0400295inline unsigned HOST_WIDE_INT
Richard Guenther6d67b4c2012-08-15 11:39:52 +0000296double_int::to_uhwi () const
Diego Novillo0823efe2012-08-14 21:56:07 -0400297{
298 return low;
299}
300
Anatoly Sokolovfd7de642010-06-18 19:58:48 +0400301/* Returns true if CST fits in unsigned HOST_WIDE_INT. */
302
Diego Novillo0823efe2012-08-14 21:56:07 -0400303inline bool
Richard Guenther6d67b4c2012-08-15 11:39:52 +0000304double_int::fits_uhwi () const
Diego Novillo0823efe2012-08-14 21:56:07 -0400305{
306 return high == 0;
307}
308
Anatoly Sokolov2bd13332010-04-15 02:05:32 +0400309/* Logical operations. */
Anatoly Sokolov1961ffb2010-05-20 00:09:57 +0400310
311/* Returns ~A. */
312
Diego Novillo0823efe2012-08-14 21:56:07 -0400313inline double_int
314double_int::operator ~ () const
315{
316 double_int result;
317 result.low = ~low;
318 result.high = ~high;
319 return result;
320}
321
Anatoly Sokolov1961ffb2010-05-20 00:09:57 +0400322/* Returns A | B. */
323
Diego Novillo0823efe2012-08-14 21:56:07 -0400324inline 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
Anatoly Sokolove233a3b2010-05-25 23:48:40 +0400333/* Returns A & B. */
334
Diego Novillo0823efe2012-08-14 21:56:07 -0400335inline 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
Richard Guenther950f7f42010-07-29 13:45:47 +0000344/* Returns A & ~B. */
345
Diego Novillo0823efe2012-08-14 21:56:07 -0400346inline 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
Anatoly Sokolovfd7de642010-06-18 19:58:48 +0400355/* Returns A ^ B. */
356
Diego Novillo0823efe2012-08-14 21:56:07 -0400357inline 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
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100366void dump_double_int (FILE *, double_int, bool);
367
Uros Bizjakdd4786f2016-07-20 17:47:33 +0200368#define ALL_ONES HOST_WIDE_INT_M1U
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100369
370/* The operands of the following comparison functions must be processed
371 with double_int_ext, if their precision is less than
Kenneth Zadeck49ab6092012-06-02 16:08:39 +0000372 HOST_BITS_PER_DOUBLE_INT bits. */
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100373
374/* Returns true if CST is zero. */
375
Diego Novillo0823efe2012-08-14 21:56:07 -0400376inline bool
377double_int::is_zero () const
378{
379 return low == 0 && high == 0;
380}
381
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100382/* Returns true if CST is one. */
383
Diego Novillo0823efe2012-08-14 21:56:07 -0400384inline bool
385double_int::is_one () const
386{
387 return low == 1 && high == 0;
388}
389
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100390/* Returns true if CST is minus one. */
391
Diego Novillo0823efe2012-08-14 21:56:07 -0400392inline bool
393double_int::is_minus_one () const
394{
395 return low == ALL_ONES && high == -1;
396}
397
Diego Novillo0823efe2012-08-14 21:56:07 -0400398/* Returns true if CST is negative. */
399
400inline bool
401double_int::is_negative () const
402{
403 return high < 0;
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100404}
405
406/* Returns true if CST1 == CST2. */
407
Diego Novillo0823efe2012-08-14 21:56:07 -0400408inline bool
409double_int::operator == (double_int cst2) const
410{
411 return low == cst2.low && high == cst2.high;
412}
413
Diego Novillo0823efe2012-08-14 21:56:07 -0400414/* Returns true if CST1 != CST2. */
415
416inline bool
417double_int::operator != (double_int cst2) const
418{
419 return low != cst2.low || high != cst2.high;
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100420}
421
Tom de Vries440b6d52012-07-17 12:48:36 +0000422/* Return number of set bits of CST. */
423
Diego Novillo0823efe2012-08-14 21:56:07 -0400424inline int
425double_int::popcount () const
426{
427 return popcount_hwi (high) + popcount_hwi (low);
428}
429
Richard Guenther330db1e2010-04-15 12:45:58 +0000430
Richard Sandiford34917a12008-02-08 19:10:25 +0000431#ifndef GENERATOR_FILE
Brooks Mosese4fd22c2007-04-30 19:14:04 +0000432/* Conversion to and from GMP integer representations. */
433
434void mpz_set_double_int (mpz_t, double_int, bool);
Kaveh R. Ghazi22ea9ec2007-08-14 15:18:11 +0000435double_int mpz_get_double_int (const_tree, mpz_t, bool);
Richard Sandiford34917a12008-02-08 19:10:25 +0000436#endif
Brooks Mosese4fd22c2007-04-30 19:14:04 +0000437
Kenneth Zadeck807e9022014-05-06 16:25:05 +0000438namespace 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
Zdenek Dvorakf82783b2006-03-03 01:38:20 +0100470#endif /* DOUBLE_INT_H */