Home | History | Annotate | Line # | Download | only in gcc
wide-int.cc revision 1.1
      1  1.1  mrg /* Operations with very long integers.
      2  1.1  mrg    Copyright (C) 2012-2015 Free Software Foundation, Inc.
      3  1.1  mrg    Contributed by Kenneth Zadeck <zadeck (at) naturalbridge.com>
      4  1.1  mrg 
      5  1.1  mrg This file is part of GCC.
      6  1.1  mrg 
      7  1.1  mrg GCC is free software; you can redistribute it and/or modify it
      8  1.1  mrg under the terms of the GNU General Public License as published by the
      9  1.1  mrg Free Software Foundation; either version 3, or (at your option) any
     10  1.1  mrg later version.
     11  1.1  mrg 
     12  1.1  mrg GCC is distributed in the hope that it will be useful, but WITHOUT
     13  1.1  mrg ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
     14  1.1  mrg FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
     15  1.1  mrg for more details.
     16  1.1  mrg 
     17  1.1  mrg You should have received a copy of the GNU General Public License
     18  1.1  mrg along with GCC; see the file COPYING3.  If not see
     19  1.1  mrg <http://www.gnu.org/licenses/>.  */
     20  1.1  mrg 
     21  1.1  mrg #include "config.h"
     22  1.1  mrg #include "system.h"
     23  1.1  mrg #include "coretypes.h"
     24  1.1  mrg #include "tm.h"
     25  1.1  mrg #include "hwint.h"
     26  1.1  mrg #include "wide-int.h"
     27  1.1  mrg #include "hash-set.h"
     28  1.1  mrg #include "machmode.h"
     29  1.1  mrg #include "vec.h"
     30  1.1  mrg #include "double-int.h"
     31  1.1  mrg #include "input.h"
     32  1.1  mrg #include "alias.h"
     33  1.1  mrg #include "symtab.h"
     34  1.1  mrg #include "inchash.h"
     35  1.1  mrg #include "tree.h"
     36  1.1  mrg #include "dumpfile.h"
     37  1.1  mrg 
     38  1.1  mrg 
     39  1.1  mrg #define HOST_BITS_PER_HALF_WIDE_INT 32
     40  1.1  mrg #if HOST_BITS_PER_HALF_WIDE_INT == HOST_BITS_PER_LONG
     41  1.1  mrg # define HOST_HALF_WIDE_INT long
     42  1.1  mrg #elif HOST_BITS_PER_HALF_WIDE_INT == HOST_BITS_PER_INT
     43  1.1  mrg # define HOST_HALF_WIDE_INT int
     44  1.1  mrg #else
     45  1.1  mrg #error Please add support for HOST_HALF_WIDE_INT
     46  1.1  mrg #endif
     47  1.1  mrg 
     48  1.1  mrg #define W_TYPE_SIZE HOST_BITS_PER_WIDE_INT
     49  1.1  mrg /* Do not include longlong.h when compiler is clang-based. See PR61146.  */
     50  1.1  mrg #if GCC_VERSION >= 3000 && (W_TYPE_SIZE == 32 || defined (__SIZEOF_INT128__)) && !defined(__clang__)
     51  1.1  mrg typedef unsigned HOST_HALF_WIDE_INT UHWtype;
     52  1.1  mrg typedef unsigned HOST_WIDE_INT UWtype;
     53  1.1  mrg typedef unsigned int UQItype __attribute__ ((mode (QI)));
     54  1.1  mrg typedef unsigned int USItype __attribute__ ((mode (SI)));
     55  1.1  mrg typedef unsigned int UDItype __attribute__ ((mode (DI)));
     56  1.1  mrg #if W_TYPE_SIZE == 32
     57  1.1  mrg typedef unsigned int UDWtype __attribute__ ((mode (DI)));
     58  1.1  mrg #else
     59  1.1  mrg typedef unsigned int UDWtype __attribute__ ((mode (TI)));
     60  1.1  mrg #endif
     61  1.1  mrg #include "longlong.h"
     62  1.1  mrg #endif
     63  1.1  mrg 
     64  1.1  mrg static const HOST_WIDE_INT zeros[WIDE_INT_MAX_ELTS] = {};
     65  1.1  mrg 
     66  1.1  mrg /*
     67  1.1  mrg  * Internal utilities.
     68  1.1  mrg  */
     69  1.1  mrg 
     70  1.1  mrg /* Quantities to deal with values that hold half of a wide int.  Used
     71  1.1  mrg    in multiply and divide.  */
     72  1.1  mrg #define HALF_INT_MASK (((HOST_WIDE_INT) 1 << HOST_BITS_PER_HALF_WIDE_INT) - 1)
     73  1.1  mrg 
     74  1.1  mrg #define BLOCK_OF(TARGET) ((TARGET) / HOST_BITS_PER_WIDE_INT)
     75  1.1  mrg #define BLOCKS_NEEDED(PREC) \
     76  1.1  mrg   (PREC ? (((PREC) + HOST_BITS_PER_WIDE_INT - 1) / HOST_BITS_PER_WIDE_INT) : 1)
     77  1.1  mrg #define SIGN_MASK(X) ((HOST_WIDE_INT) (X) < 0 ? -1 : 0)
     78  1.1  mrg 
     79  1.1  mrg /* Return the value a VAL[I] if I < LEN, otherwise, return 0 or -1
     80  1.1  mrg    based on the top existing bit of VAL. */
     81  1.1  mrg 
     82  1.1  mrg static unsigned HOST_WIDE_INT
     83  1.1  mrg safe_uhwi (const HOST_WIDE_INT *val, unsigned int len, unsigned int i)
     84  1.1  mrg {
     85  1.1  mrg   return i < len ? val[i] : val[len - 1] < 0 ? (HOST_WIDE_INT) -1 : 0;
     86  1.1  mrg }
     87  1.1  mrg 
     88  1.1  mrg /* Convert the integer in VAL to canonical form, returning its new length.
     89  1.1  mrg    LEN is the number of blocks currently in VAL and PRECISION is the number
     90  1.1  mrg    of bits in the integer it represents.
     91  1.1  mrg 
     92  1.1  mrg    This function only changes the representation, not the value.  */
     93  1.1  mrg static unsigned int
     94  1.1  mrg canonize (HOST_WIDE_INT *val, unsigned int len, unsigned int precision)
     95  1.1  mrg {
     96  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
     97  1.1  mrg   HOST_WIDE_INT top;
     98  1.1  mrg   int i;
     99  1.1  mrg 
    100  1.1  mrg   if (len > blocks_needed)
    101  1.1  mrg     len = blocks_needed;
    102  1.1  mrg 
    103  1.1  mrg   if (len == 1)
    104  1.1  mrg     return len;
    105  1.1  mrg 
    106  1.1  mrg   top = val[len - 1];
    107  1.1  mrg   if (len * HOST_BITS_PER_WIDE_INT > precision)
    108  1.1  mrg     val[len - 1] = top = sext_hwi (top, precision % HOST_BITS_PER_WIDE_INT);
    109  1.1  mrg   if (top != 0 && top != (HOST_WIDE_INT)-1)
    110  1.1  mrg     return len;
    111  1.1  mrg 
    112  1.1  mrg   /* At this point we know that the top is either 0 or -1.  Find the
    113  1.1  mrg      first block that is not a copy of this.  */
    114  1.1  mrg   for (i = len - 2; i >= 0; i--)
    115  1.1  mrg     {
    116  1.1  mrg       HOST_WIDE_INT x = val[i];
    117  1.1  mrg       if (x != top)
    118  1.1  mrg 	{
    119  1.1  mrg 	  if (SIGN_MASK (x) == top)
    120  1.1  mrg 	    return i + 1;
    121  1.1  mrg 
    122  1.1  mrg 	  /* We need an extra block because the top bit block i does
    123  1.1  mrg 	     not match the extension.  */
    124  1.1  mrg 	  return i + 2;
    125  1.1  mrg 	}
    126  1.1  mrg     }
    127  1.1  mrg 
    128  1.1  mrg   /* The number is 0 or -1.  */
    129  1.1  mrg   return 1;
    130  1.1  mrg }
    131  1.1  mrg 
    132  1.1  mrg /*
    133  1.1  mrg  * Conversion routines in and out of wide_int.
    134  1.1  mrg  */
    135  1.1  mrg 
    136  1.1  mrg /* Copy XLEN elements from XVAL to VAL.  If NEED_CANON, canonize the
    137  1.1  mrg    result for an integer with precision PRECISION.  Return the length
    138  1.1  mrg    of VAL (after any canonization.  */
    139  1.1  mrg unsigned int
    140  1.1  mrg wi::from_array (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
    141  1.1  mrg 		unsigned int xlen, unsigned int precision, bool need_canon)
    142  1.1  mrg {
    143  1.1  mrg   for (unsigned i = 0; i < xlen; i++)
    144  1.1  mrg     val[i] = xval[i];
    145  1.1  mrg   return need_canon ? canonize (val, xlen, precision) : xlen;
    146  1.1  mrg }
    147  1.1  mrg 
    148  1.1  mrg /* Construct a wide int from a buffer of length LEN.  BUFFER will be
    149  1.1  mrg    read according to byte endianess and word endianess of the target.
    150  1.1  mrg    Only the lower BUFFER_LEN bytes of the result are set; the remaining
    151  1.1  mrg    high bytes are cleared.  */
    152  1.1  mrg wide_int
    153  1.1  mrg wi::from_buffer (const unsigned char *buffer, unsigned int buffer_len)
    154  1.1  mrg {
    155  1.1  mrg   unsigned int precision = buffer_len * BITS_PER_UNIT;
    156  1.1  mrg   wide_int result = wide_int::create (precision);
    157  1.1  mrg   unsigned int words = buffer_len / UNITS_PER_WORD;
    158  1.1  mrg 
    159  1.1  mrg   /* We have to clear all the bits ourself, as we merely or in values
    160  1.1  mrg      below.  */
    161  1.1  mrg   unsigned int len = BLOCKS_NEEDED (precision);
    162  1.1  mrg   HOST_WIDE_INT *val = result.write_val ();
    163  1.1  mrg   for (unsigned int i = 0; i < len; ++i)
    164  1.1  mrg     val[i] = 0;
    165  1.1  mrg 
    166  1.1  mrg   for (unsigned int byte = 0; byte < buffer_len; byte++)
    167  1.1  mrg     {
    168  1.1  mrg       unsigned int offset;
    169  1.1  mrg       unsigned int index;
    170  1.1  mrg       unsigned int bitpos = byte * BITS_PER_UNIT;
    171  1.1  mrg       unsigned HOST_WIDE_INT value;
    172  1.1  mrg 
    173  1.1  mrg       if (buffer_len > UNITS_PER_WORD)
    174  1.1  mrg 	{
    175  1.1  mrg 	  unsigned int word = byte / UNITS_PER_WORD;
    176  1.1  mrg 
    177  1.1  mrg 	  if (WORDS_BIG_ENDIAN)
    178  1.1  mrg 	    word = (words - 1) - word;
    179  1.1  mrg 
    180  1.1  mrg 	  offset = word * UNITS_PER_WORD;
    181  1.1  mrg 
    182  1.1  mrg 	  if (BYTES_BIG_ENDIAN)
    183  1.1  mrg 	    offset += (UNITS_PER_WORD - 1) - (byte % UNITS_PER_WORD);
    184  1.1  mrg 	  else
    185  1.1  mrg 	    offset += byte % UNITS_PER_WORD;
    186  1.1  mrg 	}
    187  1.1  mrg       else
    188  1.1  mrg 	offset = BYTES_BIG_ENDIAN ? (buffer_len - 1) - byte : byte;
    189  1.1  mrg 
    190  1.1  mrg       value = (unsigned HOST_WIDE_INT) buffer[offset];
    191  1.1  mrg 
    192  1.1  mrg       index = bitpos / HOST_BITS_PER_WIDE_INT;
    193  1.1  mrg       val[index] |= value << (bitpos % HOST_BITS_PER_WIDE_INT);
    194  1.1  mrg     }
    195  1.1  mrg 
    196  1.1  mrg   result.set_len (canonize (val, len, precision));
    197  1.1  mrg 
    198  1.1  mrg   return result;
    199  1.1  mrg }
    200  1.1  mrg 
    201  1.1  mrg /* Sets RESULT from X, the sign is taken according to SGN.  */
    202  1.1  mrg void
    203  1.1  mrg wi::to_mpz (const wide_int_ref &x, mpz_t result, signop sgn)
    204  1.1  mrg {
    205  1.1  mrg   int len = x.get_len ();
    206  1.1  mrg   const HOST_WIDE_INT *v = x.get_val ();
    207  1.1  mrg   int excess = len * HOST_BITS_PER_WIDE_INT - x.get_precision ();
    208  1.1  mrg 
    209  1.1  mrg   if (wi::neg_p (x, sgn))
    210  1.1  mrg     {
    211  1.1  mrg       /* We use ones complement to avoid -x80..0 edge case that -
    212  1.1  mrg 	 won't work on.  */
    213  1.1  mrg       HOST_WIDE_INT *t = XALLOCAVEC (HOST_WIDE_INT, len);
    214  1.1  mrg       for (int i = 0; i < len; i++)
    215  1.1  mrg 	t[i] = ~v[i];
    216  1.1  mrg       if (excess > 0)
    217  1.1  mrg 	t[len - 1] = (unsigned HOST_WIDE_INT) t[len - 1] << excess >> excess;
    218  1.1  mrg       mpz_import (result, len, -1, sizeof (HOST_WIDE_INT), 0, 0, t);
    219  1.1  mrg       mpz_com (result, result);
    220  1.1  mrg     }
    221  1.1  mrg   else if (excess > 0)
    222  1.1  mrg     {
    223  1.1  mrg       HOST_WIDE_INT *t = XALLOCAVEC (HOST_WIDE_INT, len);
    224  1.1  mrg       for (int i = 0; i < len - 1; i++)
    225  1.1  mrg 	t[i] = v[i];
    226  1.1  mrg       t[len - 1] = (unsigned HOST_WIDE_INT) v[len - 1] << excess >> excess;
    227  1.1  mrg       mpz_import (result, len, -1, sizeof (HOST_WIDE_INT), 0, 0, t);
    228  1.1  mrg     }
    229  1.1  mrg   else
    230  1.1  mrg     mpz_import (result, len, -1, sizeof (HOST_WIDE_INT), 0, 0, v);
    231  1.1  mrg }
    232  1.1  mrg 
    233  1.1  mrg /* Returns X converted to TYPE.  If WRAP is true, then out-of-range
    234  1.1  mrg    values of VAL will be wrapped; otherwise, they will be set to the
    235  1.1  mrg    appropriate minimum or maximum TYPE bound.  */
    236  1.1  mrg wide_int
    237  1.1  mrg wi::from_mpz (const_tree type, mpz_t x, bool wrap)
    238  1.1  mrg {
    239  1.1  mrg   size_t count, numb;
    240  1.1  mrg   unsigned int prec = TYPE_PRECISION (type);
    241  1.1  mrg   wide_int res = wide_int::create (prec);
    242  1.1  mrg 
    243  1.1  mrg   if (!wrap)
    244  1.1  mrg     {
    245  1.1  mrg       mpz_t min, max;
    246  1.1  mrg 
    247  1.1  mrg       mpz_init (min);
    248  1.1  mrg       mpz_init (max);
    249  1.1  mrg       get_type_static_bounds (type, min, max);
    250  1.1  mrg 
    251  1.1  mrg       if (mpz_cmp (x, min) < 0)
    252  1.1  mrg 	mpz_set (x, min);
    253  1.1  mrg       else if (mpz_cmp (x, max) > 0)
    254  1.1  mrg 	mpz_set (x, max);
    255  1.1  mrg 
    256  1.1  mrg       mpz_clear (min);
    257  1.1  mrg       mpz_clear (max);
    258  1.1  mrg     }
    259  1.1  mrg 
    260  1.1  mrg   /* Determine the number of unsigned HOST_WIDE_INTs that are required
    261  1.1  mrg      for representing the absolute value.  The code to calculate count is
    262  1.1  mrg      extracted from the GMP manual, section "Integer Import and Export":
    263  1.1  mrg      http://gmplib.org/manual/Integer-Import-and-Export.html  */
    264  1.1  mrg   numb = CHAR_BIT * sizeof (HOST_WIDE_INT);
    265  1.1  mrg   count = (mpz_sizeinbase (x, 2) + numb - 1) / numb;
    266  1.1  mrg   HOST_WIDE_INT *val = res.write_val ();
    267  1.1  mrg   /* Read the absolute value.
    268  1.1  mrg 
    269  1.1  mrg      Write directly to the wide_int storage if possible, otherwise leave
    270  1.1  mrg      GMP to allocate the memory for us.  It might be slightly more efficient
    271  1.1  mrg      to use mpz_tdiv_r_2exp for the latter case, but the situation is
    272  1.1  mrg      pathological and it seems safer to operate on the original mpz value
    273  1.1  mrg      in all cases.  */
    274  1.1  mrg   void *valres = mpz_export (count <= WIDE_INT_MAX_ELTS ? val : 0,
    275  1.1  mrg 			     &count, -1, sizeof (HOST_WIDE_INT), 0, 0, x);
    276  1.1  mrg   if (count < 1)
    277  1.1  mrg     {
    278  1.1  mrg       val[0] = 0;
    279  1.1  mrg       count = 1;
    280  1.1  mrg     }
    281  1.1  mrg   count = MIN (count, BLOCKS_NEEDED (prec));
    282  1.1  mrg   if (valres != val)
    283  1.1  mrg     {
    284  1.1  mrg       memcpy (val, valres, count * sizeof (HOST_WIDE_INT));
    285  1.1  mrg       free (valres);
    286  1.1  mrg     }
    287  1.1  mrg   /* Zero-extend the absolute value to PREC bits.  */
    288  1.1  mrg   if (count < BLOCKS_NEEDED (prec) && val[count - 1] < 0)
    289  1.1  mrg     val[count++] = 0;
    290  1.1  mrg   else
    291  1.1  mrg     count = canonize (val, count, prec);
    292  1.1  mrg   res.set_len (count);
    293  1.1  mrg 
    294  1.1  mrg   if (mpz_sgn (x) < 0)
    295  1.1  mrg     res = -res;
    296  1.1  mrg 
    297  1.1  mrg   return res;
    298  1.1  mrg }
    299  1.1  mrg 
    300  1.1  mrg /*
    301  1.1  mrg  * Largest and smallest values in a mode.
    302  1.1  mrg  */
    303  1.1  mrg 
    304  1.1  mrg /* Return the largest SGNed number that is representable in PRECISION bits.
    305  1.1  mrg 
    306  1.1  mrg    TODO: There is still code from the double_int era that trys to
    307  1.1  mrg    make up for the fact that double int's could not represent the
    308  1.1  mrg    min and max values of all types.  This code should be removed
    309  1.1  mrg    because the min and max values can always be represented in
    310  1.1  mrg    wide_ints and int-csts.  */
    311  1.1  mrg wide_int
    312  1.1  mrg wi::max_value (unsigned int precision, signop sgn)
    313  1.1  mrg {
    314  1.1  mrg   gcc_checking_assert (precision != 0);
    315  1.1  mrg   if (sgn == UNSIGNED)
    316  1.1  mrg     /* The unsigned max is just all ones.  */
    317  1.1  mrg     return shwi (-1, precision);
    318  1.1  mrg   else
    319  1.1  mrg     /* The signed max is all ones except the top bit.  This must be
    320  1.1  mrg        explicitly represented.  */
    321  1.1  mrg     return mask (precision - 1, false, precision);
    322  1.1  mrg }
    323  1.1  mrg 
    324  1.1  mrg /* Return the largest SGNed number that is representable in PRECISION bits.  */
    325  1.1  mrg wide_int
    326  1.1  mrg wi::min_value (unsigned int precision, signop sgn)
    327  1.1  mrg {
    328  1.1  mrg   gcc_checking_assert (precision != 0);
    329  1.1  mrg   if (sgn == UNSIGNED)
    330  1.1  mrg     return uhwi (0, precision);
    331  1.1  mrg   else
    332  1.1  mrg     /* The signed min is all zeros except the top bit.  This must be
    333  1.1  mrg        explicitly represented.  */
    334  1.1  mrg     return wi::set_bit_in_zero (precision - 1, precision);
    335  1.1  mrg }
    336  1.1  mrg 
    337  1.1  mrg /*
    338  1.1  mrg  * Public utilities.
    339  1.1  mrg  */
    340  1.1  mrg 
    341  1.1  mrg /* Convert the number represented by XVAL, XLEN and XPRECISION, which has
    342  1.1  mrg    signedness SGN, to an integer that has PRECISION bits.  Store the blocks
    343  1.1  mrg    in VAL and return the number of blocks used.
    344  1.1  mrg 
    345  1.1  mrg    This function can handle both extension (PRECISION > XPRECISION)
    346  1.1  mrg    and truncation (PRECISION < XPRECISION).  */
    347  1.1  mrg unsigned int
    348  1.1  mrg wi::force_to_size (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
    349  1.1  mrg 		   unsigned int xlen, unsigned int xprecision,
    350  1.1  mrg 		   unsigned int precision, signop sgn)
    351  1.1  mrg {
    352  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
    353  1.1  mrg   unsigned int len = blocks_needed < xlen ? blocks_needed : xlen;
    354  1.1  mrg   for (unsigned i = 0; i < len; i++)
    355  1.1  mrg     val[i] = xval[i];
    356  1.1  mrg 
    357  1.1  mrg   if (precision > xprecision)
    358  1.1  mrg     {
    359  1.1  mrg       unsigned int small_xprecision = xprecision % HOST_BITS_PER_WIDE_INT;
    360  1.1  mrg 
    361  1.1  mrg       /* Expanding.  */
    362  1.1  mrg       if (sgn == UNSIGNED)
    363  1.1  mrg 	{
    364  1.1  mrg 	  if (small_xprecision && len == BLOCKS_NEEDED (xprecision))
    365  1.1  mrg 	    val[len - 1] = zext_hwi (val[len - 1], small_xprecision);
    366  1.1  mrg 	  else if (val[len - 1] < 0)
    367  1.1  mrg 	    {
    368  1.1  mrg 	      while (len < BLOCKS_NEEDED (xprecision))
    369  1.1  mrg 		val[len++] = -1;
    370  1.1  mrg 	      if (small_xprecision)
    371  1.1  mrg 		val[len - 1] = zext_hwi (val[len - 1], small_xprecision);
    372  1.1  mrg 	      else
    373  1.1  mrg 		val[len++] = 0;
    374  1.1  mrg 	    }
    375  1.1  mrg 	}
    376  1.1  mrg       else
    377  1.1  mrg 	{
    378  1.1  mrg 	  if (small_xprecision && len == BLOCKS_NEEDED (xprecision))
    379  1.1  mrg 	    val[len - 1] = sext_hwi (val[len - 1], small_xprecision);
    380  1.1  mrg 	}
    381  1.1  mrg     }
    382  1.1  mrg   len = canonize (val, len, precision);
    383  1.1  mrg 
    384  1.1  mrg   return len;
    385  1.1  mrg }
    386  1.1  mrg 
    387  1.1  mrg /* This function hides the fact that we cannot rely on the bits beyond
    388  1.1  mrg    the precision.  This issue comes up in the relational comparisions
    389  1.1  mrg    where we do allow comparisons of values of different precisions.  */
    390  1.1  mrg static inline HOST_WIDE_INT
    391  1.1  mrg selt (const HOST_WIDE_INT *a, unsigned int len,
    392  1.1  mrg       unsigned int blocks_needed, unsigned int small_prec,
    393  1.1  mrg       unsigned int index, signop sgn)
    394  1.1  mrg {
    395  1.1  mrg   HOST_WIDE_INT val;
    396  1.1  mrg   if (index < len)
    397  1.1  mrg     val = a[index];
    398  1.1  mrg   else if (index < blocks_needed || sgn == SIGNED)
    399  1.1  mrg     /* Signed or within the precision.  */
    400  1.1  mrg     val = SIGN_MASK (a[len - 1]);
    401  1.1  mrg   else
    402  1.1  mrg     /* Unsigned extension beyond the precision. */
    403  1.1  mrg     val = 0;
    404  1.1  mrg 
    405  1.1  mrg   if (small_prec && index == blocks_needed - 1)
    406  1.1  mrg     return (sgn == SIGNED
    407  1.1  mrg 	    ? sext_hwi (val, small_prec)
    408  1.1  mrg 	    : zext_hwi (val, small_prec));
    409  1.1  mrg   else
    410  1.1  mrg     return val;
    411  1.1  mrg }
    412  1.1  mrg 
    413  1.1  mrg /* Find the highest bit represented in a wide int.  This will in
    414  1.1  mrg    general have the same value as the sign bit.  */
    415  1.1  mrg static inline HOST_WIDE_INT
    416  1.1  mrg top_bit_of (const HOST_WIDE_INT *a, unsigned int len, unsigned int prec)
    417  1.1  mrg {
    418  1.1  mrg   int excess = len * HOST_BITS_PER_WIDE_INT - prec;
    419  1.1  mrg   unsigned HOST_WIDE_INT val = a[len - 1];
    420  1.1  mrg   if (excess > 0)
    421  1.1  mrg     val <<= excess;
    422  1.1  mrg   return val >> (HOST_BITS_PER_WIDE_INT - 1);
    423  1.1  mrg }
    424  1.1  mrg 
    425  1.1  mrg /*
    426  1.1  mrg  * Comparisons, note that only equality is an operator.  The other
    427  1.1  mrg  * comparisons cannot be operators since they are inherently signed or
    428  1.1  mrg  * unsigned and C++ has no such operators.
    429  1.1  mrg  */
    430  1.1  mrg 
    431  1.1  mrg /* Return true if OP0 == OP1.  */
    432  1.1  mrg bool
    433  1.1  mrg wi::eq_p_large (const HOST_WIDE_INT *op0, unsigned int op0len,
    434  1.1  mrg 		const HOST_WIDE_INT *op1, unsigned int op1len,
    435  1.1  mrg 		unsigned int prec)
    436  1.1  mrg {
    437  1.1  mrg   int l0 = op0len - 1;
    438  1.1  mrg   unsigned int small_prec = prec & (HOST_BITS_PER_WIDE_INT - 1);
    439  1.1  mrg 
    440  1.1  mrg   if (op0len != op1len)
    441  1.1  mrg     return false;
    442  1.1  mrg 
    443  1.1  mrg   if (op0len == BLOCKS_NEEDED (prec) && small_prec)
    444  1.1  mrg     {
    445  1.1  mrg       /* It does not matter if we zext or sext here, we just have to
    446  1.1  mrg 	 do both the same way.  */
    447  1.1  mrg       if (zext_hwi (op0 [l0], small_prec) != zext_hwi (op1 [l0], small_prec))
    448  1.1  mrg 	return false;
    449  1.1  mrg       l0--;
    450  1.1  mrg     }
    451  1.1  mrg 
    452  1.1  mrg   while (l0 >= 0)
    453  1.1  mrg     if (op0[l0] != op1[l0])
    454  1.1  mrg       return false;
    455  1.1  mrg     else
    456  1.1  mrg       l0--;
    457  1.1  mrg 
    458  1.1  mrg   return true;
    459  1.1  mrg }
    460  1.1  mrg 
    461  1.1  mrg /* Return true if OP0 < OP1 using signed comparisons.  */
    462  1.1  mrg bool
    463  1.1  mrg wi::lts_p_large (const HOST_WIDE_INT *op0, unsigned int op0len,
    464  1.1  mrg 		 unsigned int precision,
    465  1.1  mrg 		 const HOST_WIDE_INT *op1, unsigned int op1len)
    466  1.1  mrg {
    467  1.1  mrg   HOST_WIDE_INT s0, s1;
    468  1.1  mrg   unsigned HOST_WIDE_INT u0, u1;
    469  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
    470  1.1  mrg   unsigned int small_prec = precision & (HOST_BITS_PER_WIDE_INT - 1);
    471  1.1  mrg   int l = MAX (op0len - 1, op1len - 1);
    472  1.1  mrg 
    473  1.1  mrg   /* Only the top block is compared as signed.  The rest are unsigned
    474  1.1  mrg      comparisons.  */
    475  1.1  mrg   s0 = selt (op0, op0len, blocks_needed, small_prec, l, SIGNED);
    476  1.1  mrg   s1 = selt (op1, op1len, blocks_needed, small_prec, l, SIGNED);
    477  1.1  mrg   if (s0 < s1)
    478  1.1  mrg     return true;
    479  1.1  mrg   if (s0 > s1)
    480  1.1  mrg     return false;
    481  1.1  mrg 
    482  1.1  mrg   l--;
    483  1.1  mrg   while (l >= 0)
    484  1.1  mrg     {
    485  1.1  mrg       u0 = selt (op0, op0len, blocks_needed, small_prec, l, SIGNED);
    486  1.1  mrg       u1 = selt (op1, op1len, blocks_needed, small_prec, l, SIGNED);
    487  1.1  mrg 
    488  1.1  mrg       if (u0 < u1)
    489  1.1  mrg 	return true;
    490  1.1  mrg       if (u0 > u1)
    491  1.1  mrg 	return false;
    492  1.1  mrg       l--;
    493  1.1  mrg     }
    494  1.1  mrg 
    495  1.1  mrg   return false;
    496  1.1  mrg }
    497  1.1  mrg 
    498  1.1  mrg /* Returns -1 if OP0 < OP1, 0 if OP0 == OP1 and 1 if OP0 > OP1 using
    499  1.1  mrg    signed compares.  */
    500  1.1  mrg int
    501  1.1  mrg wi::cmps_large (const HOST_WIDE_INT *op0, unsigned int op0len,
    502  1.1  mrg 		unsigned int precision,
    503  1.1  mrg 		const HOST_WIDE_INT *op1, unsigned int op1len)
    504  1.1  mrg {
    505  1.1  mrg   HOST_WIDE_INT s0, s1;
    506  1.1  mrg   unsigned HOST_WIDE_INT u0, u1;
    507  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
    508  1.1  mrg   unsigned int small_prec = precision & (HOST_BITS_PER_WIDE_INT - 1);
    509  1.1  mrg   int l = MAX (op0len - 1, op1len - 1);
    510  1.1  mrg 
    511  1.1  mrg   /* Only the top block is compared as signed.  The rest are unsigned
    512  1.1  mrg      comparisons.  */
    513  1.1  mrg   s0 = selt (op0, op0len, blocks_needed, small_prec, l, SIGNED);
    514  1.1  mrg   s1 = selt (op1, op1len, blocks_needed, small_prec, l, SIGNED);
    515  1.1  mrg   if (s0 < s1)
    516  1.1  mrg     return -1;
    517  1.1  mrg   if (s0 > s1)
    518  1.1  mrg     return 1;
    519  1.1  mrg 
    520  1.1  mrg   l--;
    521  1.1  mrg   while (l >= 0)
    522  1.1  mrg     {
    523  1.1  mrg       u0 = selt (op0, op0len, blocks_needed, small_prec, l, SIGNED);
    524  1.1  mrg       u1 = selt (op1, op1len, blocks_needed, small_prec, l, SIGNED);
    525  1.1  mrg 
    526  1.1  mrg       if (u0 < u1)
    527  1.1  mrg 	return -1;
    528  1.1  mrg       if (u0 > u1)
    529  1.1  mrg 	return 1;
    530  1.1  mrg       l--;
    531  1.1  mrg     }
    532  1.1  mrg 
    533  1.1  mrg   return 0;
    534  1.1  mrg }
    535  1.1  mrg 
    536  1.1  mrg /* Return true if OP0 < OP1 using unsigned comparisons.  */
    537  1.1  mrg bool
    538  1.1  mrg wi::ltu_p_large (const HOST_WIDE_INT *op0, unsigned int op0len,
    539  1.1  mrg 		 unsigned int precision,
    540  1.1  mrg 		 const HOST_WIDE_INT *op1, unsigned int op1len)
    541  1.1  mrg {
    542  1.1  mrg   unsigned HOST_WIDE_INT x0;
    543  1.1  mrg   unsigned HOST_WIDE_INT x1;
    544  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
    545  1.1  mrg   unsigned int small_prec = precision & (HOST_BITS_PER_WIDE_INT - 1);
    546  1.1  mrg   int l = MAX (op0len - 1, op1len - 1);
    547  1.1  mrg 
    548  1.1  mrg   while (l >= 0)
    549  1.1  mrg     {
    550  1.1  mrg       x0 = selt (op0, op0len, blocks_needed, small_prec, l, UNSIGNED);
    551  1.1  mrg       x1 = selt (op1, op1len, blocks_needed, small_prec, l, UNSIGNED);
    552  1.1  mrg       if (x0 < x1)
    553  1.1  mrg 	return true;
    554  1.1  mrg       if (x0 > x1)
    555  1.1  mrg 	return false;
    556  1.1  mrg       l--;
    557  1.1  mrg     }
    558  1.1  mrg 
    559  1.1  mrg   return false;
    560  1.1  mrg }
    561  1.1  mrg 
    562  1.1  mrg /* Returns -1 if OP0 < OP1, 0 if OP0 == OP1 and 1 if OP0 > OP1 using
    563  1.1  mrg    unsigned compares.  */
    564  1.1  mrg int
    565  1.1  mrg wi::cmpu_large (const HOST_WIDE_INT *op0, unsigned int op0len,
    566  1.1  mrg 		unsigned int precision,
    567  1.1  mrg 		const HOST_WIDE_INT *op1, unsigned int op1len)
    568  1.1  mrg {
    569  1.1  mrg   unsigned HOST_WIDE_INT x0;
    570  1.1  mrg   unsigned HOST_WIDE_INT x1;
    571  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
    572  1.1  mrg   unsigned int small_prec = precision & (HOST_BITS_PER_WIDE_INT - 1);
    573  1.1  mrg   int l = MAX (op0len - 1, op1len - 1);
    574  1.1  mrg 
    575  1.1  mrg   while (l >= 0)
    576  1.1  mrg     {
    577  1.1  mrg       x0 = selt (op0, op0len, blocks_needed, small_prec, l, UNSIGNED);
    578  1.1  mrg       x1 = selt (op1, op1len, blocks_needed, small_prec, l, UNSIGNED);
    579  1.1  mrg       if (x0 < x1)
    580  1.1  mrg 	return -1;
    581  1.1  mrg       if (x0 > x1)
    582  1.1  mrg 	return 1;
    583  1.1  mrg       l--;
    584  1.1  mrg     }
    585  1.1  mrg 
    586  1.1  mrg   return 0;
    587  1.1  mrg }
    588  1.1  mrg 
    589  1.1  mrg /*
    590  1.1  mrg  * Extension.
    591  1.1  mrg  */
    592  1.1  mrg 
    593  1.1  mrg /* Sign-extend the number represented by XVAL and XLEN into VAL,
    594  1.1  mrg    starting at OFFSET.  Return the number of blocks in VAL.  Both XVAL
    595  1.1  mrg    and VAL have PRECISION bits.  */
    596  1.1  mrg unsigned int
    597  1.1  mrg wi::sext_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
    598  1.1  mrg 		unsigned int xlen, unsigned int precision, unsigned int offset)
    599  1.1  mrg {
    600  1.1  mrg   unsigned int len = offset / HOST_BITS_PER_WIDE_INT;
    601  1.1  mrg   /* Extending beyond the precision is a no-op.  If we have only stored
    602  1.1  mrg      OFFSET bits or fewer, the rest are already signs.  */
    603  1.1  mrg   if (offset >= precision || len >= xlen)
    604  1.1  mrg     {
    605  1.1  mrg       for (unsigned i = 0; i < xlen; ++i)
    606  1.1  mrg 	val[i] = xval[i];
    607  1.1  mrg       return xlen;
    608  1.1  mrg     }
    609  1.1  mrg   unsigned int suboffset = offset % HOST_BITS_PER_WIDE_INT;
    610  1.1  mrg   for (unsigned int i = 0; i < len; i++)
    611  1.1  mrg     val[i] = xval[i];
    612  1.1  mrg   if (suboffset > 0)
    613  1.1  mrg     {
    614  1.1  mrg       val[len] = sext_hwi (xval[len], suboffset);
    615  1.1  mrg       len += 1;
    616  1.1  mrg     }
    617  1.1  mrg   return canonize (val, len, precision);
    618  1.1  mrg }
    619  1.1  mrg 
    620  1.1  mrg /* Zero-extend the number represented by XVAL and XLEN into VAL,
    621  1.1  mrg    starting at OFFSET.  Return the number of blocks in VAL.  Both XVAL
    622  1.1  mrg    and VAL have PRECISION bits.  */
    623  1.1  mrg unsigned int
    624  1.1  mrg wi::zext_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
    625  1.1  mrg 		unsigned int xlen, unsigned int precision, unsigned int offset)
    626  1.1  mrg {
    627  1.1  mrg   unsigned int len = offset / HOST_BITS_PER_WIDE_INT;
    628  1.1  mrg   /* Extending beyond the precision is a no-op.  If we have only stored
    629  1.1  mrg      OFFSET bits or fewer, and the upper stored bit is zero, then there
    630  1.1  mrg      is nothing to do.  */
    631  1.1  mrg   if (offset >= precision || (len >= xlen && xval[xlen - 1] >= 0))
    632  1.1  mrg     {
    633  1.1  mrg       for (unsigned i = 0; i < xlen; ++i)
    634  1.1  mrg 	val[i] = xval[i];
    635  1.1  mrg       return xlen;
    636  1.1  mrg     }
    637  1.1  mrg   unsigned int suboffset = offset % HOST_BITS_PER_WIDE_INT;
    638  1.1  mrg   for (unsigned int i = 0; i < len; i++)
    639  1.1  mrg     val[i] = i < xlen ? xval[i] : -1;
    640  1.1  mrg   if (suboffset > 0)
    641  1.1  mrg     val[len] = zext_hwi (len < xlen ? xval[len] : -1, suboffset);
    642  1.1  mrg   else
    643  1.1  mrg     val[len] = 0;
    644  1.1  mrg   return canonize (val, len + 1, precision);
    645  1.1  mrg }
    646  1.1  mrg 
    647  1.1  mrg /*
    648  1.1  mrg  * Masking, inserting, shifting, rotating.
    649  1.1  mrg  */
    650  1.1  mrg 
    651  1.1  mrg /* Insert WIDTH bits from Y into X starting at START.  */
    652  1.1  mrg wide_int
    653  1.1  mrg wi::insert (const wide_int &x, const wide_int &y, unsigned int start,
    654  1.1  mrg 	    unsigned int width)
    655  1.1  mrg {
    656  1.1  mrg   wide_int result;
    657  1.1  mrg   wide_int mask;
    658  1.1  mrg   wide_int tmp;
    659  1.1  mrg 
    660  1.1  mrg   unsigned int precision = x.get_precision ();
    661  1.1  mrg   if (start >= precision)
    662  1.1  mrg     return x;
    663  1.1  mrg 
    664  1.1  mrg   gcc_checking_assert (precision >= width);
    665  1.1  mrg 
    666  1.1  mrg   if (start + width >= precision)
    667  1.1  mrg     width = precision - start;
    668  1.1  mrg 
    669  1.1  mrg   mask = wi::shifted_mask (start, width, false, precision);
    670  1.1  mrg   tmp = wi::lshift (wide_int::from (y, precision, UNSIGNED), start);
    671  1.1  mrg   result = tmp & mask;
    672  1.1  mrg 
    673  1.1  mrg   tmp = wi::bit_and_not (x, mask);
    674  1.1  mrg   result = result | tmp;
    675  1.1  mrg 
    676  1.1  mrg   return result;
    677  1.1  mrg }
    678  1.1  mrg 
    679  1.1  mrg /* Copy the number represented by XVAL and XLEN into VAL, setting bit BIT.
    680  1.1  mrg    Return the number of blocks in VAL.  Both XVAL and VAL have PRECISION
    681  1.1  mrg    bits.  */
    682  1.1  mrg unsigned int
    683  1.1  mrg wi::set_bit_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
    684  1.1  mrg 		   unsigned int xlen, unsigned int precision, unsigned int bit)
    685  1.1  mrg {
    686  1.1  mrg   unsigned int block = bit / HOST_BITS_PER_WIDE_INT;
    687  1.1  mrg   unsigned int subbit = bit % HOST_BITS_PER_WIDE_INT;
    688  1.1  mrg 
    689  1.1  mrg   if (block + 1 >= xlen)
    690  1.1  mrg     {
    691  1.1  mrg       /* The operation either affects the last current block or needs
    692  1.1  mrg 	 a new block.  */
    693  1.1  mrg       unsigned int len = block + 1;
    694  1.1  mrg       for (unsigned int i = 0; i < len; i++)
    695  1.1  mrg 	val[i] = safe_uhwi (xval, xlen, i);
    696  1.1  mrg       val[block] |= (unsigned HOST_WIDE_INT) 1 << subbit;
    697  1.1  mrg 
    698  1.1  mrg       /* If the bit we just set is at the msb of the block, make sure
    699  1.1  mrg 	 that any higher bits are zeros.  */
    700  1.1  mrg       if (bit + 1 < precision && subbit == HOST_BITS_PER_WIDE_INT - 1)
    701  1.1  mrg 	val[len++] = 0;
    702  1.1  mrg       return len;
    703  1.1  mrg     }
    704  1.1  mrg   else
    705  1.1  mrg     {
    706  1.1  mrg       for (unsigned int i = 0; i < xlen; i++)
    707  1.1  mrg 	val[i] = xval[i];
    708  1.1  mrg       val[block] |= (unsigned HOST_WIDE_INT) 1 << subbit;
    709  1.1  mrg       return canonize (val, xlen, precision);
    710  1.1  mrg     }
    711  1.1  mrg }
    712  1.1  mrg 
    713  1.1  mrg /* bswap THIS.  */
    714  1.1  mrg wide_int
    715  1.1  mrg wide_int_storage::bswap () const
    716  1.1  mrg {
    717  1.1  mrg   wide_int result = wide_int::create (precision);
    718  1.1  mrg   unsigned int i, s;
    719  1.1  mrg   unsigned int len = BLOCKS_NEEDED (precision);
    720  1.1  mrg   unsigned int xlen = get_len ();
    721  1.1  mrg   const HOST_WIDE_INT *xval = get_val ();
    722  1.1  mrg   HOST_WIDE_INT *val = result.write_val ();
    723  1.1  mrg 
    724  1.1  mrg   /* This is not a well defined operation if the precision is not a
    725  1.1  mrg      multiple of 8.  */
    726  1.1  mrg   gcc_assert ((precision & 0x7) == 0);
    727  1.1  mrg 
    728  1.1  mrg   for (i = 0; i < len; i++)
    729  1.1  mrg     val[i] = 0;
    730  1.1  mrg 
    731  1.1  mrg   /* Only swap the bytes that are not the padding.  */
    732  1.1  mrg   for (s = 0; s < precision; s += 8)
    733  1.1  mrg     {
    734  1.1  mrg       unsigned int d = precision - s - 8;
    735  1.1  mrg       unsigned HOST_WIDE_INT byte;
    736  1.1  mrg 
    737  1.1  mrg       unsigned int block = s / HOST_BITS_PER_WIDE_INT;
    738  1.1  mrg       unsigned int offset = s & (HOST_BITS_PER_WIDE_INT - 1);
    739  1.1  mrg 
    740  1.1  mrg       byte = (safe_uhwi (xval, xlen, block) >> offset) & 0xff;
    741  1.1  mrg 
    742  1.1  mrg       block = d / HOST_BITS_PER_WIDE_INT;
    743  1.1  mrg       offset = d & (HOST_BITS_PER_WIDE_INT - 1);
    744  1.1  mrg 
    745  1.1  mrg       val[block] |= byte << offset;
    746  1.1  mrg     }
    747  1.1  mrg 
    748  1.1  mrg   result.set_len (canonize (val, len, precision));
    749  1.1  mrg   return result;
    750  1.1  mrg }
    751  1.1  mrg 
    752  1.1  mrg /* Fill VAL with a mask where the lower WIDTH bits are ones and the bits
    753  1.1  mrg    above that up to PREC are zeros.  The result is inverted if NEGATE
    754  1.1  mrg    is true.  Return the number of blocks in VAL.  */
    755  1.1  mrg unsigned int
    756  1.1  mrg wi::mask (HOST_WIDE_INT *val, unsigned int width, bool negate,
    757  1.1  mrg 	  unsigned int prec)
    758  1.1  mrg {
    759  1.1  mrg   if (width >= prec)
    760  1.1  mrg     {
    761  1.1  mrg       val[0] = negate ? 0 : -1;
    762  1.1  mrg       return 1;
    763  1.1  mrg     }
    764  1.1  mrg   else if (width == 0)
    765  1.1  mrg     {
    766  1.1  mrg       val[0] = negate ? -1 : 0;
    767  1.1  mrg       return 1;
    768  1.1  mrg     }
    769  1.1  mrg 
    770  1.1  mrg   unsigned int i = 0;
    771  1.1  mrg   while (i < width / HOST_BITS_PER_WIDE_INT)
    772  1.1  mrg     val[i++] = negate ? 0 : -1;
    773  1.1  mrg 
    774  1.1  mrg   unsigned int shift = width & (HOST_BITS_PER_WIDE_INT - 1);
    775  1.1  mrg   if (shift != 0)
    776  1.1  mrg     {
    777  1.1  mrg       HOST_WIDE_INT last = ((unsigned HOST_WIDE_INT) 1 << shift) - 1;
    778  1.1  mrg       val[i++] = negate ? ~last : last;
    779  1.1  mrg     }
    780  1.1  mrg   else
    781  1.1  mrg     val[i++] = negate ? -1 : 0;
    782  1.1  mrg 
    783  1.1  mrg   return i;
    784  1.1  mrg }
    785  1.1  mrg 
    786  1.1  mrg /* Fill VAL with a mask where the lower START bits are zeros, the next WIDTH
    787  1.1  mrg    bits are ones, and the bits above that up to PREC are zeros.  The result
    788  1.1  mrg    is inverted if NEGATE is true.  Return the number of blocks in VAL.  */
    789  1.1  mrg unsigned int
    790  1.1  mrg wi::shifted_mask (HOST_WIDE_INT *val, unsigned int start, unsigned int width,
    791  1.1  mrg 		  bool negate, unsigned int prec)
    792  1.1  mrg {
    793  1.1  mrg   if (start >= prec || width == 0)
    794  1.1  mrg     {
    795  1.1  mrg       val[0] = negate ? -1 : 0;
    796  1.1  mrg       return 1;
    797  1.1  mrg     }
    798  1.1  mrg 
    799  1.1  mrg   if (width > prec - start)
    800  1.1  mrg     width = prec - start;
    801  1.1  mrg   unsigned int end = start + width;
    802  1.1  mrg 
    803  1.1  mrg   unsigned int i = 0;
    804  1.1  mrg   while (i < start / HOST_BITS_PER_WIDE_INT)
    805  1.1  mrg     val[i++] = negate ? -1 : 0;
    806  1.1  mrg 
    807  1.1  mrg   unsigned int shift = start & (HOST_BITS_PER_WIDE_INT - 1);
    808  1.1  mrg   if (shift)
    809  1.1  mrg     {
    810  1.1  mrg       HOST_WIDE_INT block = ((unsigned HOST_WIDE_INT) 1 << shift) - 1;
    811  1.1  mrg       shift += width;
    812  1.1  mrg       if (shift < HOST_BITS_PER_WIDE_INT)
    813  1.1  mrg 	{
    814  1.1  mrg 	  /* case 000111000 */
    815  1.1  mrg 	  block = ((unsigned HOST_WIDE_INT) 1 << shift) - block - 1;
    816  1.1  mrg 	  val[i++] = negate ? ~block : block;
    817  1.1  mrg 	  return i;
    818  1.1  mrg 	}
    819  1.1  mrg       else
    820  1.1  mrg 	/* ...111000 */
    821  1.1  mrg 	val[i++] = negate ? block : ~block;
    822  1.1  mrg     }
    823  1.1  mrg 
    824  1.1  mrg   while (i < end / HOST_BITS_PER_WIDE_INT)
    825  1.1  mrg     /* 1111111 */
    826  1.1  mrg     val[i++] = negate ? 0 : -1;
    827  1.1  mrg 
    828  1.1  mrg   shift = end & (HOST_BITS_PER_WIDE_INT - 1);
    829  1.1  mrg   if (shift != 0)
    830  1.1  mrg     {
    831  1.1  mrg       /* 000011111 */
    832  1.1  mrg       HOST_WIDE_INT block = ((unsigned HOST_WIDE_INT) 1 << shift) - 1;
    833  1.1  mrg       val[i++] = negate ? ~block : block;
    834  1.1  mrg     }
    835  1.1  mrg   else if (end < prec)
    836  1.1  mrg     val[i++] = negate ? -1 : 0;
    837  1.1  mrg 
    838  1.1  mrg   return i;
    839  1.1  mrg }
    840  1.1  mrg 
    841  1.1  mrg /*
    842  1.1  mrg  * logical operations.
    843  1.1  mrg  */
    844  1.1  mrg 
    845  1.1  mrg /* Set VAL to OP0 & OP1.  Return the number of blocks used.  */
    846  1.1  mrg unsigned int
    847  1.1  mrg wi::and_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
    848  1.1  mrg 	       unsigned int op0len, const HOST_WIDE_INT *op1,
    849  1.1  mrg 	       unsigned int op1len, unsigned int prec)
    850  1.1  mrg {
    851  1.1  mrg   int l0 = op0len - 1;
    852  1.1  mrg   int l1 = op1len - 1;
    853  1.1  mrg   bool need_canon = true;
    854  1.1  mrg 
    855  1.1  mrg   unsigned int len = MAX (op0len, op1len);
    856  1.1  mrg   if (l0 > l1)
    857  1.1  mrg     {
    858  1.1  mrg       HOST_WIDE_INT op1mask = -top_bit_of (op1, op1len, prec);
    859  1.1  mrg       if (op1mask == 0)
    860  1.1  mrg 	{
    861  1.1  mrg 	  l0 = l1;
    862  1.1  mrg 	  len = l1 + 1;
    863  1.1  mrg 	}
    864  1.1  mrg       else
    865  1.1  mrg 	{
    866  1.1  mrg 	  need_canon = false;
    867  1.1  mrg 	  while (l0 > l1)
    868  1.1  mrg 	    {
    869  1.1  mrg 	      val[l0] = op0[l0];
    870  1.1  mrg 	      l0--;
    871  1.1  mrg 	    }
    872  1.1  mrg 	}
    873  1.1  mrg     }
    874  1.1  mrg   else if (l1 > l0)
    875  1.1  mrg     {
    876  1.1  mrg       HOST_WIDE_INT op0mask = -top_bit_of (op0, op0len, prec);
    877  1.1  mrg       if (op0mask == 0)
    878  1.1  mrg 	len = l0 + 1;
    879  1.1  mrg       else
    880  1.1  mrg 	{
    881  1.1  mrg 	  need_canon = false;
    882  1.1  mrg 	  while (l1 > l0)
    883  1.1  mrg 	    {
    884  1.1  mrg 	      val[l1] = op1[l1];
    885  1.1  mrg 	      l1--;
    886  1.1  mrg 	    }
    887  1.1  mrg 	}
    888  1.1  mrg     }
    889  1.1  mrg 
    890  1.1  mrg   while (l0 >= 0)
    891  1.1  mrg     {
    892  1.1  mrg       val[l0] = op0[l0] & op1[l0];
    893  1.1  mrg       l0--;
    894  1.1  mrg     }
    895  1.1  mrg 
    896  1.1  mrg   if (need_canon)
    897  1.1  mrg     len = canonize (val, len, prec);
    898  1.1  mrg 
    899  1.1  mrg   return len;
    900  1.1  mrg }
    901  1.1  mrg 
    902  1.1  mrg /* Set VAL to OP0 & ~OP1.  Return the number of blocks used.  */
    903  1.1  mrg unsigned int
    904  1.1  mrg wi::and_not_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
    905  1.1  mrg 		   unsigned int op0len, const HOST_WIDE_INT *op1,
    906  1.1  mrg 		   unsigned int op1len, unsigned int prec)
    907  1.1  mrg {
    908  1.1  mrg   wide_int result;
    909  1.1  mrg   int l0 = op0len - 1;
    910  1.1  mrg   int l1 = op1len - 1;
    911  1.1  mrg   bool need_canon = true;
    912  1.1  mrg 
    913  1.1  mrg   unsigned int len = MAX (op0len, op1len);
    914  1.1  mrg   if (l0 > l1)
    915  1.1  mrg     {
    916  1.1  mrg       HOST_WIDE_INT op1mask = -top_bit_of (op1, op1len, prec);
    917  1.1  mrg       if (op1mask != 0)
    918  1.1  mrg 	{
    919  1.1  mrg 	  l0 = l1;
    920  1.1  mrg 	  len = l1 + 1;
    921  1.1  mrg 	}
    922  1.1  mrg       else
    923  1.1  mrg 	{
    924  1.1  mrg 	  need_canon = false;
    925  1.1  mrg 	  while (l0 > l1)
    926  1.1  mrg 	    {
    927  1.1  mrg 	      val[l0] = op0[l0];
    928  1.1  mrg 	      l0--;
    929  1.1  mrg 	    }
    930  1.1  mrg 	}
    931  1.1  mrg     }
    932  1.1  mrg   else if (l1 > l0)
    933  1.1  mrg     {
    934  1.1  mrg       HOST_WIDE_INT op0mask = -top_bit_of (op0, op0len, prec);
    935  1.1  mrg       if (op0mask == 0)
    936  1.1  mrg 	len = l0 + 1;
    937  1.1  mrg       else
    938  1.1  mrg 	{
    939  1.1  mrg 	  need_canon = false;
    940  1.1  mrg 	  while (l1 > l0)
    941  1.1  mrg 	    {
    942  1.1  mrg 	      val[l1] = ~op1[l1];
    943  1.1  mrg 	      l1--;
    944  1.1  mrg 	    }
    945  1.1  mrg 	}
    946  1.1  mrg     }
    947  1.1  mrg 
    948  1.1  mrg   while (l0 >= 0)
    949  1.1  mrg     {
    950  1.1  mrg       val[l0] = op0[l0] & ~op1[l0];
    951  1.1  mrg       l0--;
    952  1.1  mrg     }
    953  1.1  mrg 
    954  1.1  mrg   if (need_canon)
    955  1.1  mrg     len = canonize (val, len, prec);
    956  1.1  mrg 
    957  1.1  mrg   return len;
    958  1.1  mrg }
    959  1.1  mrg 
    960  1.1  mrg /* Set VAL to OP0 | OP1.  Return the number of blocks used.  */
    961  1.1  mrg unsigned int
    962  1.1  mrg wi::or_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
    963  1.1  mrg 	      unsigned int op0len, const HOST_WIDE_INT *op1,
    964  1.1  mrg 	      unsigned int op1len, unsigned int prec)
    965  1.1  mrg {
    966  1.1  mrg   wide_int result;
    967  1.1  mrg   int l0 = op0len - 1;
    968  1.1  mrg   int l1 = op1len - 1;
    969  1.1  mrg   bool need_canon = true;
    970  1.1  mrg 
    971  1.1  mrg   unsigned int len = MAX (op0len, op1len);
    972  1.1  mrg   if (l0 > l1)
    973  1.1  mrg     {
    974  1.1  mrg       HOST_WIDE_INT op1mask = -top_bit_of (op1, op1len, prec);
    975  1.1  mrg       if (op1mask != 0)
    976  1.1  mrg 	{
    977  1.1  mrg 	  l0 = l1;
    978  1.1  mrg 	  len = l1 + 1;
    979  1.1  mrg 	}
    980  1.1  mrg       else
    981  1.1  mrg 	{
    982  1.1  mrg 	  need_canon = false;
    983  1.1  mrg 	  while (l0 > l1)
    984  1.1  mrg 	    {
    985  1.1  mrg 	      val[l0] = op0[l0];
    986  1.1  mrg 	      l0--;
    987  1.1  mrg 	    }
    988  1.1  mrg 	}
    989  1.1  mrg     }
    990  1.1  mrg   else if (l1 > l0)
    991  1.1  mrg     {
    992  1.1  mrg       HOST_WIDE_INT op0mask = -top_bit_of (op0, op0len, prec);
    993  1.1  mrg       if (op0mask != 0)
    994  1.1  mrg 	len = l0 + 1;
    995  1.1  mrg       else
    996  1.1  mrg 	{
    997  1.1  mrg 	  need_canon = false;
    998  1.1  mrg 	  while (l1 > l0)
    999  1.1  mrg 	    {
   1000  1.1  mrg 	      val[l1] = op1[l1];
   1001  1.1  mrg 	      l1--;
   1002  1.1  mrg 	    }
   1003  1.1  mrg 	}
   1004  1.1  mrg     }
   1005  1.1  mrg 
   1006  1.1  mrg   while (l0 >= 0)
   1007  1.1  mrg     {
   1008  1.1  mrg       val[l0] = op0[l0] | op1[l0];
   1009  1.1  mrg       l0--;
   1010  1.1  mrg     }
   1011  1.1  mrg 
   1012  1.1  mrg   if (need_canon)
   1013  1.1  mrg     len = canonize (val, len, prec);
   1014  1.1  mrg 
   1015  1.1  mrg   return len;
   1016  1.1  mrg }
   1017  1.1  mrg 
   1018  1.1  mrg /* Set VAL to OP0 | ~OP1.  Return the number of blocks used.  */
   1019  1.1  mrg unsigned int
   1020  1.1  mrg wi::or_not_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
   1021  1.1  mrg 		  unsigned int op0len, const HOST_WIDE_INT *op1,
   1022  1.1  mrg 		  unsigned int op1len, unsigned int prec)
   1023  1.1  mrg {
   1024  1.1  mrg   wide_int result;
   1025  1.1  mrg   int l0 = op0len - 1;
   1026  1.1  mrg   int l1 = op1len - 1;
   1027  1.1  mrg   bool need_canon = true;
   1028  1.1  mrg 
   1029  1.1  mrg   unsigned int len = MAX (op0len, op1len);
   1030  1.1  mrg   if (l0 > l1)
   1031  1.1  mrg     {
   1032  1.1  mrg       HOST_WIDE_INT op1mask = -top_bit_of (op1, op1len, prec);
   1033  1.1  mrg       if (op1mask == 0)
   1034  1.1  mrg 	{
   1035  1.1  mrg 	  l0 = l1;
   1036  1.1  mrg 	  len = l1 + 1;
   1037  1.1  mrg 	}
   1038  1.1  mrg       else
   1039  1.1  mrg 	{
   1040  1.1  mrg 	  need_canon = false;
   1041  1.1  mrg 	  while (l0 > l1)
   1042  1.1  mrg 	    {
   1043  1.1  mrg 	      val[l0] = op0[l0];
   1044  1.1  mrg 	      l0--;
   1045  1.1  mrg 	    }
   1046  1.1  mrg 	}
   1047  1.1  mrg     }
   1048  1.1  mrg   else if (l1 > l0)
   1049  1.1  mrg     {
   1050  1.1  mrg       HOST_WIDE_INT op0mask = -top_bit_of (op0, op0len, prec);
   1051  1.1  mrg       if (op0mask != 0)
   1052  1.1  mrg 	len = l0 + 1;
   1053  1.1  mrg       else
   1054  1.1  mrg 	{
   1055  1.1  mrg 	  need_canon = false;
   1056  1.1  mrg 	  while (l1 > l0)
   1057  1.1  mrg 	    {
   1058  1.1  mrg 	      val[l1] = ~op1[l1];
   1059  1.1  mrg 	      l1--;
   1060  1.1  mrg 	    }
   1061  1.1  mrg 	}
   1062  1.1  mrg     }
   1063  1.1  mrg 
   1064  1.1  mrg   while (l0 >= 0)
   1065  1.1  mrg     {
   1066  1.1  mrg       val[l0] = op0[l0] | ~op1[l0];
   1067  1.1  mrg       l0--;
   1068  1.1  mrg     }
   1069  1.1  mrg 
   1070  1.1  mrg   if (need_canon)
   1071  1.1  mrg     len = canonize (val, len, prec);
   1072  1.1  mrg 
   1073  1.1  mrg   return len;
   1074  1.1  mrg }
   1075  1.1  mrg 
   1076  1.1  mrg /* Set VAL to OP0 ^ OP1.  Return the number of blocks used.  */
   1077  1.1  mrg unsigned int
   1078  1.1  mrg wi::xor_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
   1079  1.1  mrg 	       unsigned int op0len, const HOST_WIDE_INT *op1,
   1080  1.1  mrg 	       unsigned int op1len, unsigned int prec)
   1081  1.1  mrg {
   1082  1.1  mrg   wide_int result;
   1083  1.1  mrg   int l0 = op0len - 1;
   1084  1.1  mrg   int l1 = op1len - 1;
   1085  1.1  mrg 
   1086  1.1  mrg   unsigned int len = MAX (op0len, op1len);
   1087  1.1  mrg   if (l0 > l1)
   1088  1.1  mrg     {
   1089  1.1  mrg       HOST_WIDE_INT op1mask = -top_bit_of (op1, op1len, prec);
   1090  1.1  mrg       while (l0 > l1)
   1091  1.1  mrg 	{
   1092  1.1  mrg 	  val[l0] = op0[l0] ^ op1mask;
   1093  1.1  mrg 	  l0--;
   1094  1.1  mrg 	}
   1095  1.1  mrg     }
   1096  1.1  mrg 
   1097  1.1  mrg   if (l1 > l0)
   1098  1.1  mrg     {
   1099  1.1  mrg       HOST_WIDE_INT op0mask = -top_bit_of (op0, op0len, prec);
   1100  1.1  mrg       while (l1 > l0)
   1101  1.1  mrg 	{
   1102  1.1  mrg 	  val[l1] = op0mask ^ op1[l1];
   1103  1.1  mrg 	  l1--;
   1104  1.1  mrg 	}
   1105  1.1  mrg     }
   1106  1.1  mrg 
   1107  1.1  mrg   while (l0 >= 0)
   1108  1.1  mrg     {
   1109  1.1  mrg       val[l0] = op0[l0] ^ op1[l0];
   1110  1.1  mrg       l0--;
   1111  1.1  mrg     }
   1112  1.1  mrg 
   1113  1.1  mrg   return canonize (val, len, prec);
   1114  1.1  mrg }
   1115  1.1  mrg 
   1116  1.1  mrg /*
   1117  1.1  mrg  * math
   1118  1.1  mrg  */
   1119  1.1  mrg 
   1120  1.1  mrg /* Set VAL to OP0 + OP1.  If OVERFLOW is nonnull, record in *OVERFLOW
   1121  1.1  mrg    whether the result overflows when OP0 and OP1 are treated as having
   1122  1.1  mrg    signedness SGN.  Return the number of blocks in VAL.  */
   1123  1.1  mrg unsigned int
   1124  1.1  mrg wi::add_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
   1125  1.1  mrg 	       unsigned int op0len, const HOST_WIDE_INT *op1,
   1126  1.1  mrg 	       unsigned int op1len, unsigned int prec,
   1127  1.1  mrg 	       signop sgn, bool *overflow)
   1128  1.1  mrg {
   1129  1.1  mrg   unsigned HOST_WIDE_INT o0 = 0;
   1130  1.1  mrg   unsigned HOST_WIDE_INT o1 = 0;
   1131  1.1  mrg   unsigned HOST_WIDE_INT x = 0;
   1132  1.1  mrg   unsigned HOST_WIDE_INT carry = 0;
   1133  1.1  mrg   unsigned HOST_WIDE_INT old_carry = 0;
   1134  1.1  mrg   unsigned HOST_WIDE_INT mask0, mask1;
   1135  1.1  mrg   unsigned int i;
   1136  1.1  mrg 
   1137  1.1  mrg   unsigned int len = MAX (op0len, op1len);
   1138  1.1  mrg   mask0 = -top_bit_of (op0, op0len, prec);
   1139  1.1  mrg   mask1 = -top_bit_of (op1, op1len, prec);
   1140  1.1  mrg   /* Add all of the explicitly defined elements.  */
   1141  1.1  mrg 
   1142  1.1  mrg   for (i = 0; i < len; i++)
   1143  1.1  mrg     {
   1144  1.1  mrg       o0 = i < op0len ? (unsigned HOST_WIDE_INT) op0[i] : mask0;
   1145  1.1  mrg       o1 = i < op1len ? (unsigned HOST_WIDE_INT) op1[i] : mask1;
   1146  1.1  mrg       x = o0 + o1 + carry;
   1147  1.1  mrg       val[i] = x;
   1148  1.1  mrg       old_carry = carry;
   1149  1.1  mrg       carry = carry == 0 ? x < o0 : x <= o0;
   1150  1.1  mrg     }
   1151  1.1  mrg 
   1152  1.1  mrg   if (len * HOST_BITS_PER_WIDE_INT < prec)
   1153  1.1  mrg     {
   1154  1.1  mrg       val[len] = mask0 + mask1 + carry;
   1155  1.1  mrg       len++;
   1156  1.1  mrg       if (overflow)
   1157  1.1  mrg 	*overflow = false;
   1158  1.1  mrg     }
   1159  1.1  mrg   else if (overflow)
   1160  1.1  mrg     {
   1161  1.1  mrg       unsigned int shift = -prec % HOST_BITS_PER_WIDE_INT;
   1162  1.1  mrg       if (sgn == SIGNED)
   1163  1.1  mrg 	{
   1164  1.1  mrg 	  unsigned HOST_WIDE_INT x = (val[len - 1] ^ o0) & (val[len - 1] ^ o1);
   1165  1.1  mrg 	  *overflow = (HOST_WIDE_INT) (x << shift) < 0;
   1166  1.1  mrg 	}
   1167  1.1  mrg       else
   1168  1.1  mrg 	{
   1169  1.1  mrg 	  /* Put the MSB of X and O0 and in the top of the HWI.  */
   1170  1.1  mrg 	  x <<= shift;
   1171  1.1  mrg 	  o0 <<= shift;
   1172  1.1  mrg 	  if (old_carry)
   1173  1.1  mrg 	    *overflow = (x <= o0);
   1174  1.1  mrg 	  else
   1175  1.1  mrg 	    *overflow = (x < o0);
   1176  1.1  mrg 	}
   1177  1.1  mrg     }
   1178  1.1  mrg 
   1179  1.1  mrg   return canonize (val, len, prec);
   1180  1.1  mrg }
   1181  1.1  mrg 
   1182  1.1  mrg /* Subroutines of the multiplication and division operations.  Unpack
   1183  1.1  mrg    the first IN_LEN HOST_WIDE_INTs in INPUT into 2 * IN_LEN
   1184  1.1  mrg    HOST_HALF_WIDE_INTs of RESULT.  The rest of RESULT is filled by
   1185  1.1  mrg    uncompressing the top bit of INPUT[IN_LEN - 1].  */
   1186  1.1  mrg static void
   1187  1.1  mrg wi_unpack (unsigned HOST_HALF_WIDE_INT *result, const HOST_WIDE_INT *input,
   1188  1.1  mrg 	   unsigned int in_len, unsigned int out_len,
   1189  1.1  mrg 	   unsigned int prec, signop sgn)
   1190  1.1  mrg {
   1191  1.1  mrg   unsigned int i;
   1192  1.1  mrg   unsigned int j = 0;
   1193  1.1  mrg   unsigned int small_prec = prec & (HOST_BITS_PER_WIDE_INT - 1);
   1194  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (prec);
   1195  1.1  mrg   HOST_WIDE_INT mask;
   1196  1.1  mrg 
   1197  1.1  mrg   if (sgn == SIGNED)
   1198  1.1  mrg     {
   1199  1.1  mrg       mask = -top_bit_of ((const HOST_WIDE_INT *) input, in_len, prec);
   1200  1.1  mrg       mask &= HALF_INT_MASK;
   1201  1.1  mrg     }
   1202  1.1  mrg   else
   1203  1.1  mrg     mask = 0;
   1204  1.1  mrg 
   1205  1.1  mrg   for (i = 0; i < blocks_needed - 1; i++)
   1206  1.1  mrg     {
   1207  1.1  mrg       HOST_WIDE_INT x = safe_uhwi (input, in_len, i);
   1208  1.1  mrg       result[j++] = x;
   1209  1.1  mrg       result[j++] = x >> HOST_BITS_PER_HALF_WIDE_INT;
   1210  1.1  mrg     }
   1211  1.1  mrg 
   1212  1.1  mrg   HOST_WIDE_INT x = safe_uhwi (input, in_len, i);
   1213  1.1  mrg   if (small_prec)
   1214  1.1  mrg     {
   1215  1.1  mrg       if (sgn == SIGNED)
   1216  1.1  mrg 	x = sext_hwi (x, small_prec);
   1217  1.1  mrg       else
   1218  1.1  mrg 	x = zext_hwi (x, small_prec);
   1219  1.1  mrg     }
   1220  1.1  mrg   result[j++] = x;
   1221  1.1  mrg   result[j++] = x >> HOST_BITS_PER_HALF_WIDE_INT;
   1222  1.1  mrg 
   1223  1.1  mrg   /* Smear the sign bit.  */
   1224  1.1  mrg   while (j < out_len)
   1225  1.1  mrg     result[j++] = mask;
   1226  1.1  mrg }
   1227  1.1  mrg 
   1228  1.1  mrg /* The inverse of wi_unpack.  IN_LEN is the number of input
   1229  1.1  mrg    blocks and PRECISION is the precision of the result.  Return the
   1230  1.1  mrg    number of blocks in the canonicalized result.  */
   1231  1.1  mrg static unsigned int
   1232  1.1  mrg wi_pack (HOST_WIDE_INT *result,
   1233  1.1  mrg 	 const unsigned HOST_HALF_WIDE_INT *input,
   1234  1.1  mrg 	 unsigned int in_len, unsigned int precision)
   1235  1.1  mrg {
   1236  1.1  mrg   unsigned int i = 0;
   1237  1.1  mrg   unsigned int j = 0;
   1238  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (precision);
   1239  1.1  mrg 
   1240  1.1  mrg   while (i + 1 < in_len)
   1241  1.1  mrg     {
   1242  1.1  mrg       result[j++] = ((unsigned HOST_WIDE_INT) input[i]
   1243  1.1  mrg 		     | ((unsigned HOST_WIDE_INT) input[i + 1]
   1244  1.1  mrg 			<< HOST_BITS_PER_HALF_WIDE_INT));
   1245  1.1  mrg       i += 2;
   1246  1.1  mrg     }
   1247  1.1  mrg 
   1248  1.1  mrg   /* Handle the case where in_len is odd.   For this we zero extend.  */
   1249  1.1  mrg   if (in_len & 1)
   1250  1.1  mrg     result[j++] = (unsigned HOST_WIDE_INT) input[i];
   1251  1.1  mrg   else if (j < blocks_needed)
   1252  1.1  mrg     result[j++] = 0;
   1253  1.1  mrg   return canonize (result, j, precision);
   1254  1.1  mrg }
   1255  1.1  mrg 
   1256  1.1  mrg /* Multiply Op1 by Op2.  If HIGH is set, only the upper half of the
   1257  1.1  mrg    result is returned.
   1258  1.1  mrg 
   1259  1.1  mrg    If HIGH is not set, throw away the upper half after the check is
   1260  1.1  mrg    made to see if it overflows.  Unfortunately there is no better way
   1261  1.1  mrg    to check for overflow than to do this.  If OVERFLOW is nonnull,
   1262  1.1  mrg    record in *OVERFLOW whether the result overflowed.  SGN controls
   1263  1.1  mrg    the signedness and is used to check overflow or if HIGH is set.  */
   1264  1.1  mrg unsigned int
   1265  1.1  mrg wi::mul_internal (HOST_WIDE_INT *val, const HOST_WIDE_INT *op1val,
   1266  1.1  mrg 		  unsigned int op1len, const HOST_WIDE_INT *op2val,
   1267  1.1  mrg 		  unsigned int op2len, unsigned int prec, signop sgn,
   1268  1.1  mrg 		  bool *overflow, bool high)
   1269  1.1  mrg {
   1270  1.1  mrg   unsigned HOST_WIDE_INT o0, o1, k, t;
   1271  1.1  mrg   unsigned int i;
   1272  1.1  mrg   unsigned int j;
   1273  1.1  mrg   unsigned int blocks_needed = BLOCKS_NEEDED (prec);
   1274  1.1  mrg   unsigned int half_blocks_needed = blocks_needed * 2;
   1275  1.1  mrg   /* The sizes here are scaled to support a 2x largest mode by 2x
   1276  1.1  mrg      largest mode yielding a 4x largest mode result.  This is what is
   1277  1.1  mrg      needed by vpn.  */
   1278  1.1  mrg 
   1279  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1280  1.1  mrg     u[4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT];
   1281  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1282  1.1  mrg     v[4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT];
   1283  1.1  mrg   /* The '2' in 'R' is because we are internally doing a full
   1284  1.1  mrg      multiply.  */
   1285  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1286  1.1  mrg     r[2 * 4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT];
   1287  1.1  mrg   HOST_WIDE_INT mask = ((HOST_WIDE_INT)1 << HOST_BITS_PER_HALF_WIDE_INT) - 1;
   1288  1.1  mrg 
   1289  1.1  mrg   /* If the top level routine did not really pass in an overflow, then
   1290  1.1  mrg      just make sure that we never attempt to set it.  */
   1291  1.1  mrg   bool needs_overflow = (overflow != 0);
   1292  1.1  mrg   if (needs_overflow)
   1293  1.1  mrg     *overflow = false;
   1294  1.1  mrg 
   1295  1.1  mrg   wide_int_ref op1 = wi::storage_ref (op1val, op1len, prec);
   1296  1.1  mrg   wide_int_ref op2 = wi::storage_ref (op2val, op2len, prec);
   1297  1.1  mrg 
   1298  1.1  mrg   /* This is a surprisingly common case, so do it first.  */
   1299  1.1  mrg   if (op1 == 0 || op2 == 0)
   1300  1.1  mrg     {
   1301  1.1  mrg       val[0] = 0;
   1302  1.1  mrg       return 1;
   1303  1.1  mrg     }
   1304  1.1  mrg 
   1305  1.1  mrg #ifdef umul_ppmm
   1306  1.1  mrg   if (sgn == UNSIGNED)
   1307  1.1  mrg     {
   1308  1.1  mrg       /* If the inputs are single HWIs and the output has room for at
   1309  1.1  mrg 	 least two HWIs, we can use umul_ppmm directly.  */
   1310  1.1  mrg       if (prec >= HOST_BITS_PER_WIDE_INT * 2
   1311  1.1  mrg 	  && wi::fits_uhwi_p (op1)
   1312  1.1  mrg 	  && wi::fits_uhwi_p (op2))
   1313  1.1  mrg 	{
   1314  1.1  mrg 	  /* This case never overflows.  */
   1315  1.1  mrg 	  if (high)
   1316  1.1  mrg 	    {
   1317  1.1  mrg 	      val[0] = 0;
   1318  1.1  mrg 	      return 1;
   1319  1.1  mrg 	    }
   1320  1.1  mrg 	  umul_ppmm (val[1], val[0], op1.ulow (), op2.ulow ());
   1321  1.1  mrg 	  if (val[1] < 0 && prec > HOST_BITS_PER_WIDE_INT * 2)
   1322  1.1  mrg 	    {
   1323  1.1  mrg 	      val[2] = 0;
   1324  1.1  mrg 	      return 3;
   1325  1.1  mrg 	    }
   1326  1.1  mrg 	  return 1 + (val[1] != 0 || val[0] < 0);
   1327  1.1  mrg 	}
   1328  1.1  mrg       /* Likewise if the output is a full single HWI, except that the
   1329  1.1  mrg 	 upper HWI of the result is only used for determining overflow.
   1330  1.1  mrg 	 (We handle this case inline when overflow isn't needed.)  */
   1331  1.1  mrg       else if (prec == HOST_BITS_PER_WIDE_INT)
   1332  1.1  mrg 	{
   1333  1.1  mrg 	  unsigned HOST_WIDE_INT upper;
   1334  1.1  mrg 	  umul_ppmm (upper, val[0], op1.ulow (), op2.ulow ());
   1335  1.1  mrg 	  if (needs_overflow)
   1336  1.1  mrg 	    *overflow = (upper != 0);
   1337  1.1  mrg 	  if (high)
   1338  1.1  mrg 	    val[0] = upper;
   1339  1.1  mrg 	  return 1;
   1340  1.1  mrg 	}
   1341  1.1  mrg     }
   1342  1.1  mrg #endif
   1343  1.1  mrg 
   1344  1.1  mrg   /* Handle multiplications by 1.  */
   1345  1.1  mrg   if (op1 == 1)
   1346  1.1  mrg     {
   1347  1.1  mrg       if (high)
   1348  1.1  mrg 	{
   1349  1.1  mrg 	  val[0] = wi::neg_p (op2, sgn) ? -1 : 0;
   1350  1.1  mrg 	  return 1;
   1351  1.1  mrg 	}
   1352  1.1  mrg       for (i = 0; i < op2len; i++)
   1353  1.1  mrg 	val[i] = op2val[i];
   1354  1.1  mrg       return op2len;
   1355  1.1  mrg     }
   1356  1.1  mrg   if (op2 == 1)
   1357  1.1  mrg     {
   1358  1.1  mrg       if (high)
   1359  1.1  mrg 	{
   1360  1.1  mrg 	  val[0] = wi::neg_p (op1, sgn) ? -1 : 0;
   1361  1.1  mrg 	  return 1;
   1362  1.1  mrg 	}
   1363  1.1  mrg       for (i = 0; i < op1len; i++)
   1364  1.1  mrg 	val[i] = op1val[i];
   1365  1.1  mrg       return op1len;
   1366  1.1  mrg     }
   1367  1.1  mrg 
   1368  1.1  mrg   /* If we need to check for overflow, we can only do half wide
   1369  1.1  mrg      multiplies quickly because we need to look at the top bits to
   1370  1.1  mrg      check for the overflow.  */
   1371  1.1  mrg   if ((high || needs_overflow)
   1372  1.1  mrg       && (prec <= HOST_BITS_PER_HALF_WIDE_INT))
   1373  1.1  mrg     {
   1374  1.1  mrg       unsigned HOST_WIDE_INT r;
   1375  1.1  mrg 
   1376  1.1  mrg       if (sgn == SIGNED)
   1377  1.1  mrg 	{
   1378  1.1  mrg 	  o0 = op1.to_shwi ();
   1379  1.1  mrg 	  o1 = op2.to_shwi ();
   1380  1.1  mrg 	}
   1381  1.1  mrg       else
   1382  1.1  mrg 	{
   1383  1.1  mrg 	  o0 = op1.to_uhwi ();
   1384  1.1  mrg 	  o1 = op2.to_uhwi ();
   1385  1.1  mrg 	}
   1386  1.1  mrg 
   1387  1.1  mrg       r = o0 * o1;
   1388  1.1  mrg       if (needs_overflow)
   1389  1.1  mrg 	{
   1390  1.1  mrg 	  if (sgn == SIGNED)
   1391  1.1  mrg 	    {
   1392  1.1  mrg 	      if ((HOST_WIDE_INT) r != sext_hwi (r, prec))
   1393  1.1  mrg 		*overflow = true;
   1394  1.1  mrg 	    }
   1395  1.1  mrg 	  else
   1396  1.1  mrg 	    {
   1397  1.1  mrg 	      if ((r >> prec) != 0)
   1398  1.1  mrg 		*overflow = true;
   1399  1.1  mrg 	    }
   1400  1.1  mrg 	}
   1401  1.1  mrg       val[0] = high ? r >> prec : r;
   1402  1.1  mrg       return 1;
   1403  1.1  mrg     }
   1404  1.1  mrg 
   1405  1.1  mrg   /* We do unsigned mul and then correct it.  */
   1406  1.1  mrg   wi_unpack (u, op1val, op1len, half_blocks_needed, prec, SIGNED);
   1407  1.1  mrg   wi_unpack (v, op2val, op2len, half_blocks_needed, prec, SIGNED);
   1408  1.1  mrg 
   1409  1.1  mrg   /* The 2 is for a full mult.  */
   1410  1.1  mrg   memset (r, 0, half_blocks_needed * 2
   1411  1.1  mrg 	  * HOST_BITS_PER_HALF_WIDE_INT / CHAR_BIT);
   1412  1.1  mrg 
   1413  1.1  mrg   for (j = 0; j < half_blocks_needed; j++)
   1414  1.1  mrg     {
   1415  1.1  mrg       k = 0;
   1416  1.1  mrg       for (i = 0; i < half_blocks_needed; i++)
   1417  1.1  mrg 	{
   1418  1.1  mrg 	  t = ((unsigned HOST_WIDE_INT)u[i] * (unsigned HOST_WIDE_INT)v[j]
   1419  1.1  mrg 	       + r[i + j] + k);
   1420  1.1  mrg 	  r[i + j] = t & HALF_INT_MASK;
   1421  1.1  mrg 	  k = t >> HOST_BITS_PER_HALF_WIDE_INT;
   1422  1.1  mrg 	}
   1423  1.1  mrg       r[j + half_blocks_needed] = k;
   1424  1.1  mrg     }
   1425  1.1  mrg 
   1426  1.1  mrg   /* We did unsigned math above.  For signed we must adjust the
   1427  1.1  mrg      product (assuming we need to see that).  */
   1428  1.1  mrg   if (sgn == SIGNED && (high || needs_overflow))
   1429  1.1  mrg     {
   1430  1.1  mrg       unsigned HOST_WIDE_INT b;
   1431  1.1  mrg       if (wi::neg_p (op1))
   1432  1.1  mrg 	{
   1433  1.1  mrg 	  b = 0;
   1434  1.1  mrg 	  for (i = 0; i < half_blocks_needed; i++)
   1435  1.1  mrg 	    {
   1436  1.1  mrg 	      t = (unsigned HOST_WIDE_INT)r[i + half_blocks_needed]
   1437  1.1  mrg 		- (unsigned HOST_WIDE_INT)v[i] - b;
   1438  1.1  mrg 	      r[i + half_blocks_needed] = t & HALF_INT_MASK;
   1439  1.1  mrg 	      b = t >> (HOST_BITS_PER_WIDE_INT - 1);
   1440  1.1  mrg 	    }
   1441  1.1  mrg 	}
   1442  1.1  mrg       if (wi::neg_p (op2))
   1443  1.1  mrg 	{
   1444  1.1  mrg 	  b = 0;
   1445  1.1  mrg 	  for (i = 0; i < half_blocks_needed; i++)
   1446  1.1  mrg 	    {
   1447  1.1  mrg 	      t = (unsigned HOST_WIDE_INT)r[i + half_blocks_needed]
   1448  1.1  mrg 		- (unsigned HOST_WIDE_INT)u[i] - b;
   1449  1.1  mrg 	      r[i + half_blocks_needed] = t & HALF_INT_MASK;
   1450  1.1  mrg 	      b = t >> (HOST_BITS_PER_WIDE_INT - 1);
   1451  1.1  mrg 	    }
   1452  1.1  mrg 	}
   1453  1.1  mrg     }
   1454  1.1  mrg 
   1455  1.1  mrg   if (needs_overflow)
   1456  1.1  mrg     {
   1457  1.1  mrg       HOST_WIDE_INT top;
   1458  1.1  mrg 
   1459  1.1  mrg       /* For unsigned, overflow is true if any of the top bits are set.
   1460  1.1  mrg 	 For signed, overflow is true if any of the top bits are not equal
   1461  1.1  mrg 	 to the sign bit.  */
   1462  1.1  mrg       if (sgn == UNSIGNED)
   1463  1.1  mrg 	top = 0;
   1464  1.1  mrg       else
   1465  1.1  mrg 	{
   1466  1.1  mrg 	  top = r[(half_blocks_needed) - 1];
   1467  1.1  mrg 	  top = SIGN_MASK (top << (HOST_BITS_PER_WIDE_INT / 2));
   1468  1.1  mrg 	  top &= mask;
   1469  1.1  mrg 	}
   1470  1.1  mrg 
   1471  1.1  mrg       for (i = half_blocks_needed; i < half_blocks_needed * 2; i++)
   1472  1.1  mrg 	if (((HOST_WIDE_INT)(r[i] & mask)) != top)
   1473  1.1  mrg 	  *overflow = true;
   1474  1.1  mrg     }
   1475  1.1  mrg 
   1476  1.1  mrg   int r_offset = high ? half_blocks_needed : 0;
   1477  1.1  mrg   return wi_pack (val, &r[r_offset], half_blocks_needed, prec);
   1478  1.1  mrg }
   1479  1.1  mrg 
   1480  1.1  mrg /* Compute the population count of X.  */
   1481  1.1  mrg int
   1482  1.1  mrg wi::popcount (const wide_int_ref &x)
   1483  1.1  mrg {
   1484  1.1  mrg   unsigned int i;
   1485  1.1  mrg   int count;
   1486  1.1  mrg 
   1487  1.1  mrg   /* The high order block is special if it is the last block and the
   1488  1.1  mrg      precision is not an even multiple of HOST_BITS_PER_WIDE_INT.  We
   1489  1.1  mrg      have to clear out any ones above the precision before doing
   1490  1.1  mrg      popcount on this block.  */
   1491  1.1  mrg   count = x.precision - x.len * HOST_BITS_PER_WIDE_INT;
   1492  1.1  mrg   unsigned int stop = x.len;
   1493  1.1  mrg   if (count < 0)
   1494  1.1  mrg     {
   1495  1.1  mrg       count = popcount_hwi (x.uhigh () << -count);
   1496  1.1  mrg       stop -= 1;
   1497  1.1  mrg     }
   1498  1.1  mrg   else
   1499  1.1  mrg     {
   1500  1.1  mrg       if (x.sign_mask () >= 0)
   1501  1.1  mrg 	count = 0;
   1502  1.1  mrg     }
   1503  1.1  mrg 
   1504  1.1  mrg   for (i = 0; i < stop; ++i)
   1505  1.1  mrg     count += popcount_hwi (x.val[i]);
   1506  1.1  mrg 
   1507  1.1  mrg   return count;
   1508  1.1  mrg }
   1509  1.1  mrg 
   1510  1.1  mrg /* Set VAL to OP0 - OP1.  If OVERFLOW is nonnull, record in *OVERFLOW
   1511  1.1  mrg    whether the result overflows when OP0 and OP1 are treated as having
   1512  1.1  mrg    signedness SGN.  Return the number of blocks in VAL.  */
   1513  1.1  mrg unsigned int
   1514  1.1  mrg wi::sub_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *op0,
   1515  1.1  mrg 	       unsigned int op0len, const HOST_WIDE_INT *op1,
   1516  1.1  mrg 	       unsigned int op1len, unsigned int prec,
   1517  1.1  mrg 	       signop sgn, bool *overflow)
   1518  1.1  mrg {
   1519  1.1  mrg   unsigned HOST_WIDE_INT o0 = 0;
   1520  1.1  mrg   unsigned HOST_WIDE_INT o1 = 0;
   1521  1.1  mrg   unsigned HOST_WIDE_INT x = 0;
   1522  1.1  mrg   /* We implement subtraction as an in place negate and add.  Negation
   1523  1.1  mrg      is just inversion and add 1, so we can do the add of 1 by just
   1524  1.1  mrg      starting the borrow in of the first element at 1.  */
   1525  1.1  mrg   unsigned HOST_WIDE_INT borrow = 0;
   1526  1.1  mrg   unsigned HOST_WIDE_INT old_borrow = 0;
   1527  1.1  mrg 
   1528  1.1  mrg   unsigned HOST_WIDE_INT mask0, mask1;
   1529  1.1  mrg   unsigned int i;
   1530  1.1  mrg 
   1531  1.1  mrg   unsigned int len = MAX (op0len, op1len);
   1532  1.1  mrg   mask0 = -top_bit_of (op0, op0len, prec);
   1533  1.1  mrg   mask1 = -top_bit_of (op1, op1len, prec);
   1534  1.1  mrg 
   1535  1.1  mrg   /* Subtract all of the explicitly defined elements.  */
   1536  1.1  mrg   for (i = 0; i < len; i++)
   1537  1.1  mrg     {
   1538  1.1  mrg       o0 = i < op0len ? (unsigned HOST_WIDE_INT)op0[i] : mask0;
   1539  1.1  mrg       o1 = i < op1len ? (unsigned HOST_WIDE_INT)op1[i] : mask1;
   1540  1.1  mrg       x = o0 - o1 - borrow;
   1541  1.1  mrg       val[i] = x;
   1542  1.1  mrg       old_borrow = borrow;
   1543  1.1  mrg       borrow = borrow == 0 ? o0 < o1 : o0 <= o1;
   1544  1.1  mrg     }
   1545  1.1  mrg 
   1546  1.1  mrg   if (len * HOST_BITS_PER_WIDE_INT < prec)
   1547  1.1  mrg     {
   1548  1.1  mrg       val[len] = mask0 - mask1 - borrow;
   1549  1.1  mrg       len++;
   1550  1.1  mrg       if (overflow)
   1551  1.1  mrg 	*overflow = false;
   1552  1.1  mrg     }
   1553  1.1  mrg   else if (overflow)
   1554  1.1  mrg     {
   1555  1.1  mrg       unsigned int shift = -prec % HOST_BITS_PER_WIDE_INT;
   1556  1.1  mrg       if (sgn == SIGNED)
   1557  1.1  mrg 	{
   1558  1.1  mrg 	  unsigned HOST_WIDE_INT x = (o0 ^ o1) & (val[len - 1] ^ o0);
   1559  1.1  mrg 	  *overflow = (HOST_WIDE_INT) (x << shift) < 0;
   1560  1.1  mrg 	}
   1561  1.1  mrg       else
   1562  1.1  mrg 	{
   1563  1.1  mrg 	  /* Put the MSB of X and O0 and in the top of the HWI.  */
   1564  1.1  mrg 	  x <<= shift;
   1565  1.1  mrg 	  o0 <<= shift;
   1566  1.1  mrg 	  if (old_borrow)
   1567  1.1  mrg 	    *overflow = (x >= o0);
   1568  1.1  mrg 	  else
   1569  1.1  mrg 	    *overflow = (x > o0);
   1570  1.1  mrg 	}
   1571  1.1  mrg     }
   1572  1.1  mrg 
   1573  1.1  mrg   return canonize (val, len, prec);
   1574  1.1  mrg }
   1575  1.1  mrg 
   1576  1.1  mrg 
   1577  1.1  mrg /*
   1578  1.1  mrg  * Division and Mod
   1579  1.1  mrg  */
   1580  1.1  mrg 
   1581  1.1  mrg /* Compute B_QUOTIENT and B_REMAINDER from B_DIVIDEND/B_DIVISOR.  The
   1582  1.1  mrg    algorithm is a small modification of the algorithm in Hacker's
   1583  1.1  mrg    Delight by Warren, which itself is a small modification of Knuth's
   1584  1.1  mrg    algorithm.  M is the number of significant elements of U however
   1585  1.1  mrg    there needs to be at least one extra element of B_DIVIDEND
   1586  1.1  mrg    allocated, N is the number of elements of B_DIVISOR.  */
   1587  1.1  mrg static void
   1588  1.1  mrg divmod_internal_2 (unsigned HOST_HALF_WIDE_INT *b_quotient,
   1589  1.1  mrg 		   unsigned HOST_HALF_WIDE_INT *b_remainder,
   1590  1.1  mrg 		   unsigned HOST_HALF_WIDE_INT *b_dividend,
   1591  1.1  mrg 		   unsigned HOST_HALF_WIDE_INT *b_divisor,
   1592  1.1  mrg 		   int m, int n)
   1593  1.1  mrg {
   1594  1.1  mrg   /* The "digits" are a HOST_HALF_WIDE_INT which the size of half of a
   1595  1.1  mrg      HOST_WIDE_INT and stored in the lower bits of each word.  This
   1596  1.1  mrg      algorithm should work properly on both 32 and 64 bit
   1597  1.1  mrg      machines.  */
   1598  1.1  mrg   unsigned HOST_WIDE_INT b
   1599  1.1  mrg     = (unsigned HOST_WIDE_INT)1 << HOST_BITS_PER_HALF_WIDE_INT;
   1600  1.1  mrg   unsigned HOST_WIDE_INT qhat;   /* Estimate of quotient digit.  */
   1601  1.1  mrg   unsigned HOST_WIDE_INT rhat;   /* A remainder.  */
   1602  1.1  mrg   unsigned HOST_WIDE_INT p;      /* Product of two digits.  */
   1603  1.1  mrg   HOST_WIDE_INT t, k;
   1604  1.1  mrg   int i, j, s;
   1605  1.1  mrg 
   1606  1.1  mrg   /* Single digit divisor.  */
   1607  1.1  mrg   if (n == 1)
   1608  1.1  mrg     {
   1609  1.1  mrg       k = 0;
   1610  1.1  mrg       for (j = m - 1; j >= 0; j--)
   1611  1.1  mrg 	{
   1612  1.1  mrg 	  b_quotient[j] = (k * b + b_dividend[j])/b_divisor[0];
   1613  1.1  mrg 	  k = ((k * b + b_dividend[j])
   1614  1.1  mrg 	       - ((unsigned HOST_WIDE_INT)b_quotient[j]
   1615  1.1  mrg 		  * (unsigned HOST_WIDE_INT)b_divisor[0]));
   1616  1.1  mrg 	}
   1617  1.1  mrg       b_remainder[0] = k;
   1618  1.1  mrg       return;
   1619  1.1  mrg     }
   1620  1.1  mrg 
   1621  1.1  mrg   s = clz_hwi (b_divisor[n-1]) - HOST_BITS_PER_HALF_WIDE_INT; /* CHECK clz */
   1622  1.1  mrg 
   1623  1.1  mrg   if (s)
   1624  1.1  mrg     {
   1625  1.1  mrg       /* Normalize B_DIVIDEND and B_DIVISOR.  Unlike the published
   1626  1.1  mrg 	 algorithm, we can overwrite b_dividend and b_divisor, so we do
   1627  1.1  mrg 	 that.  */
   1628  1.1  mrg       for (i = n - 1; i > 0; i--)
   1629  1.1  mrg 	b_divisor[i] = (b_divisor[i] << s)
   1630  1.1  mrg 	  | (b_divisor[i-1] >> (HOST_BITS_PER_HALF_WIDE_INT - s));
   1631  1.1  mrg       b_divisor[0] = b_divisor[0] << s;
   1632  1.1  mrg 
   1633  1.1  mrg       b_dividend[m] = b_dividend[m-1] >> (HOST_BITS_PER_HALF_WIDE_INT - s);
   1634  1.1  mrg       for (i = m - 1; i > 0; i--)
   1635  1.1  mrg 	b_dividend[i] = (b_dividend[i] << s)
   1636  1.1  mrg 	  | (b_dividend[i-1] >> (HOST_BITS_PER_HALF_WIDE_INT - s));
   1637  1.1  mrg       b_dividend[0] = b_dividend[0] << s;
   1638  1.1  mrg     }
   1639  1.1  mrg 
   1640  1.1  mrg   /* Main loop.  */
   1641  1.1  mrg   for (j = m - n; j >= 0; j--)
   1642  1.1  mrg     {
   1643  1.1  mrg       qhat = (b_dividend[j+n] * b + b_dividend[j+n-1]) / b_divisor[n-1];
   1644  1.1  mrg       rhat = (b_dividend[j+n] * b + b_dividend[j+n-1]) - qhat * b_divisor[n-1];
   1645  1.1  mrg     again:
   1646  1.1  mrg       if (qhat >= b || qhat * b_divisor[n-2] > b * rhat + b_dividend[j+n-2])
   1647  1.1  mrg 	{
   1648  1.1  mrg 	  qhat -= 1;
   1649  1.1  mrg 	  rhat += b_divisor[n-1];
   1650  1.1  mrg 	  if (rhat < b)
   1651  1.1  mrg 	    goto again;
   1652  1.1  mrg 	}
   1653  1.1  mrg 
   1654  1.1  mrg       /* Multiply and subtract.  */
   1655  1.1  mrg       k = 0;
   1656  1.1  mrg       for (i = 0; i < n; i++)
   1657  1.1  mrg 	{
   1658  1.1  mrg 	  p = qhat * b_divisor[i];
   1659  1.1  mrg 	  t = b_dividend[i+j] - k - (p & HALF_INT_MASK);
   1660  1.1  mrg 	  b_dividend[i + j] = t;
   1661  1.1  mrg 	  k = ((p >> HOST_BITS_PER_HALF_WIDE_INT)
   1662  1.1  mrg 	       - (t >> HOST_BITS_PER_HALF_WIDE_INT));
   1663  1.1  mrg 	}
   1664  1.1  mrg       t = b_dividend[j+n] - k;
   1665  1.1  mrg       b_dividend[j+n] = t;
   1666  1.1  mrg 
   1667  1.1  mrg       b_quotient[j] = qhat;
   1668  1.1  mrg       if (t < 0)
   1669  1.1  mrg 	{
   1670  1.1  mrg 	  b_quotient[j] -= 1;
   1671  1.1  mrg 	  k = 0;
   1672  1.1  mrg 	  for (i = 0; i < n; i++)
   1673  1.1  mrg 	    {
   1674  1.1  mrg 	      t = (HOST_WIDE_INT)b_dividend[i+j] + b_divisor[i] + k;
   1675  1.1  mrg 	      b_dividend[i+j] = t;
   1676  1.1  mrg 	      k = t >> HOST_BITS_PER_HALF_WIDE_INT;
   1677  1.1  mrg 	    }
   1678  1.1  mrg 	  b_dividend[j+n] += k;
   1679  1.1  mrg 	}
   1680  1.1  mrg     }
   1681  1.1  mrg   if (s)
   1682  1.1  mrg     for (i = 0; i < n; i++)
   1683  1.1  mrg       b_remainder[i] = (b_dividend[i] >> s)
   1684  1.1  mrg 	| (b_dividend[i+1] << (HOST_BITS_PER_HALF_WIDE_INT - s));
   1685  1.1  mrg   else
   1686  1.1  mrg     for (i = 0; i < n; i++)
   1687  1.1  mrg       b_remainder[i] = b_dividend[i];
   1688  1.1  mrg }
   1689  1.1  mrg 
   1690  1.1  mrg 
   1691  1.1  mrg /* Divide DIVIDEND by DIVISOR, which have signedness SGN, and truncate
   1692  1.1  mrg    the result.  If QUOTIENT is nonnull, store the value of the quotient
   1693  1.1  mrg    there and return the number of blocks in it.  The return value is
   1694  1.1  mrg    not defined otherwise.  If REMAINDER is nonnull, store the value
   1695  1.1  mrg    of the remainder there and store the number of blocks in
   1696  1.1  mrg    *REMAINDER_LEN.  If OFLOW is not null, store in *OFLOW whether
   1697  1.1  mrg    the division overflowed.  */
   1698  1.1  mrg unsigned int
   1699  1.1  mrg wi::divmod_internal (HOST_WIDE_INT *quotient, unsigned int *remainder_len,
   1700  1.1  mrg 		     HOST_WIDE_INT *remainder,
   1701  1.1  mrg 		     const HOST_WIDE_INT *dividend_val,
   1702  1.1  mrg 		     unsigned int dividend_len, unsigned int dividend_prec,
   1703  1.1  mrg 		     const HOST_WIDE_INT *divisor_val, unsigned int divisor_len,
   1704  1.1  mrg 		     unsigned int divisor_prec, signop sgn,
   1705  1.1  mrg 		     bool *oflow)
   1706  1.1  mrg {
   1707  1.1  mrg   unsigned int dividend_blocks_needed = 2 * BLOCKS_NEEDED (dividend_prec);
   1708  1.1  mrg   unsigned int divisor_blocks_needed = 2 * BLOCKS_NEEDED (divisor_prec);
   1709  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1710  1.1  mrg     b_quotient[4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT];
   1711  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1712  1.1  mrg     b_remainder[4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT];
   1713  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1714  1.1  mrg     b_dividend[(4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT) + 1];
   1715  1.1  mrg   unsigned HOST_HALF_WIDE_INT
   1716  1.1  mrg     b_divisor[4 * MAX_BITSIZE_MODE_ANY_INT / HOST_BITS_PER_HALF_WIDE_INT];
   1717  1.1  mrg   unsigned int m, n;
   1718  1.1  mrg   bool dividend_neg = false;
   1719  1.1  mrg   bool divisor_neg = false;
   1720  1.1  mrg   bool overflow = false;
   1721  1.1  mrg   wide_int neg_dividend, neg_divisor;
   1722  1.1  mrg 
   1723  1.1  mrg   wide_int_ref dividend = wi::storage_ref (dividend_val, dividend_len,
   1724  1.1  mrg 					   dividend_prec);
   1725  1.1  mrg   wide_int_ref divisor = wi::storage_ref (divisor_val, divisor_len,
   1726  1.1  mrg 					  divisor_prec);
   1727  1.1  mrg   if (divisor == 0)
   1728  1.1  mrg     overflow = true;
   1729  1.1  mrg 
   1730  1.1  mrg   /* The smallest signed number / -1 causes overflow.  The dividend_len
   1731  1.1  mrg      check is for speed rather than correctness.  */
   1732  1.1  mrg   if (sgn == SIGNED
   1733  1.1  mrg       && dividend_len == BLOCKS_NEEDED (dividend_prec)
   1734  1.1  mrg       && divisor == -1
   1735  1.1  mrg       && wi::only_sign_bit_p (dividend))
   1736  1.1  mrg     overflow = true;
   1737  1.1  mrg 
   1738  1.1  mrg   /* Handle the overflow cases.  Viewed as unsigned value, the quotient of
   1739  1.1  mrg      (signed min / -1) has the same representation as the orignal dividend.
   1740  1.1  mrg      We have traditionally made division by zero act as division by one,
   1741  1.1  mrg      so there too we use the original dividend.  */
   1742  1.1  mrg   if (overflow)
   1743  1.1  mrg     {
   1744  1.1  mrg       if (remainder)
   1745  1.1  mrg 	{
   1746  1.1  mrg 	  *remainder_len = 1;
   1747  1.1  mrg 	  remainder[0] = 0;
   1748  1.1  mrg 	}
   1749  1.1  mrg       if (oflow != 0)
   1750  1.1  mrg 	*oflow = true;
   1751  1.1  mrg       if (quotient)
   1752  1.1  mrg 	for (unsigned int i = 0; i < dividend_len; ++i)
   1753  1.1  mrg 	  quotient[i] = dividend_val[i];
   1754  1.1  mrg       return dividend_len;
   1755  1.1  mrg     }
   1756  1.1  mrg 
   1757  1.1  mrg   if (oflow)
   1758  1.1  mrg     *oflow = false;
   1759  1.1  mrg 
   1760  1.1  mrg   /* Do it on the host if you can.  */
   1761  1.1  mrg   if (sgn == SIGNED
   1762  1.1  mrg       && wi::fits_shwi_p (dividend)
   1763  1.1  mrg       && wi::fits_shwi_p (divisor))
   1764  1.1  mrg     {
   1765  1.1  mrg       HOST_WIDE_INT o0 = dividend.to_shwi ();
   1766  1.1  mrg       HOST_WIDE_INT o1 = divisor.to_shwi ();
   1767  1.1  mrg 
   1768  1.1  mrg       if (o0 == HOST_WIDE_INT_MIN && o1 == -1)
   1769  1.1  mrg 	{
   1770  1.1  mrg 	  gcc_checking_assert (dividend_prec > HOST_BITS_PER_WIDE_INT);
   1771  1.1  mrg 	  if (quotient)
   1772  1.1  mrg 	    {
   1773  1.1  mrg 	      quotient[0] = HOST_WIDE_INT_MIN;
   1774  1.1  mrg 	      quotient[1] = 0;
   1775  1.1  mrg 	    }
   1776  1.1  mrg 	  if (remainder)
   1777  1.1  mrg 	    {
   1778  1.1  mrg 	      remainder[0] = 0;
   1779  1.1  mrg 	      *remainder_len = 1;
   1780  1.1  mrg 	    }
   1781  1.1  mrg 	  return 2;
   1782  1.1  mrg 	}
   1783  1.1  mrg       else
   1784  1.1  mrg 	{
   1785  1.1  mrg 	  if (quotient)
   1786  1.1  mrg 	    quotient[0] = o0 / o1;
   1787  1.1  mrg 	  if (remainder)
   1788  1.1  mrg 	    {
   1789  1.1  mrg 	      remainder[0] = o0 % o1;
   1790  1.1  mrg 	      *remainder_len = 1;
   1791  1.1  mrg 	    }
   1792  1.1  mrg 	  return 1;
   1793  1.1  mrg 	}
   1794  1.1  mrg     }
   1795  1.1  mrg 
   1796  1.1  mrg   if (sgn == UNSIGNED
   1797  1.1  mrg       && wi::fits_uhwi_p (dividend)
   1798  1.1  mrg       && wi::fits_uhwi_p (divisor))
   1799  1.1  mrg     {
   1800  1.1  mrg       unsigned HOST_WIDE_INT o0 = dividend.to_uhwi ();
   1801  1.1  mrg       unsigned HOST_WIDE_INT o1 = divisor.to_uhwi ();
   1802  1.1  mrg       unsigned int quotient_len = 1;
   1803  1.1  mrg 
   1804  1.1  mrg       if (quotient)
   1805  1.1  mrg 	{
   1806  1.1  mrg 	  quotient[0] = o0 / o1;
   1807  1.1  mrg 	  if (o1 == 1
   1808  1.1  mrg 	      && (HOST_WIDE_INT) o0 < 0
   1809  1.1  mrg 	      && dividend_prec > HOST_BITS_PER_WIDE_INT)
   1810  1.1  mrg 	    {
   1811  1.1  mrg 	      quotient[1] = 0;
   1812  1.1  mrg 	      quotient_len = 2;
   1813  1.1  mrg 	    }
   1814  1.1  mrg 	}
   1815  1.1  mrg       if (remainder)
   1816  1.1  mrg 	{
   1817  1.1  mrg 	  remainder[0] = o0 % o1;
   1818  1.1  mrg 	  if ((HOST_WIDE_INT) remainder[0] < 0
   1819  1.1  mrg 	      && dividend_prec > HOST_BITS_PER_WIDE_INT)
   1820  1.1  mrg 	    {
   1821  1.1  mrg 	      remainder[1] = 0;
   1822  1.1  mrg 	      *remainder_len = 2;
   1823  1.1  mrg 	    }
   1824  1.1  mrg 	  else
   1825  1.1  mrg 	    *remainder_len = 1;
   1826  1.1  mrg 	}
   1827  1.1  mrg       return quotient_len;
   1828  1.1  mrg     }
   1829  1.1  mrg 
   1830  1.1  mrg   /* Make the divisor and dividend positive and remember what we
   1831  1.1  mrg      did.  */
   1832  1.1  mrg   if (sgn == SIGNED)
   1833  1.1  mrg     {
   1834  1.1  mrg       if (wi::neg_p (dividend))
   1835  1.1  mrg 	{
   1836  1.1  mrg 	  neg_dividend = -dividend;
   1837  1.1  mrg 	  dividend = neg_dividend;
   1838  1.1  mrg 	  dividend_neg = true;
   1839  1.1  mrg 	}
   1840  1.1  mrg       if (wi::neg_p (divisor))
   1841  1.1  mrg 	{
   1842  1.1  mrg 	  neg_divisor = -divisor;
   1843  1.1  mrg 	  divisor = neg_divisor;
   1844  1.1  mrg 	  divisor_neg = true;
   1845  1.1  mrg 	}
   1846  1.1  mrg     }
   1847  1.1  mrg 
   1848  1.1  mrg   wi_unpack (b_dividend, dividend.get_val (), dividend.get_len (),
   1849  1.1  mrg 	     dividend_blocks_needed, dividend_prec, sgn);
   1850  1.1  mrg   wi_unpack (b_divisor, divisor.get_val (), divisor.get_len (),
   1851  1.1  mrg 	     divisor_blocks_needed, divisor_prec, sgn);
   1852  1.1  mrg 
   1853  1.1  mrg   m = dividend_blocks_needed;
   1854  1.1  mrg   b_dividend[m] = 0;
   1855  1.1  mrg   while (m > 1 && b_dividend[m - 1] == 0)
   1856  1.1  mrg     m--;
   1857  1.1  mrg 
   1858  1.1  mrg   n = divisor_blocks_needed;
   1859  1.1  mrg   while (n > 1 && b_divisor[n - 1] == 0)
   1860  1.1  mrg     n--;
   1861  1.1  mrg 
   1862  1.1  mrg   memset (b_quotient, 0, sizeof (b_quotient));
   1863  1.1  mrg 
   1864  1.1  mrg   divmod_internal_2 (b_quotient, b_remainder, b_dividend, b_divisor, m, n);
   1865  1.1  mrg 
   1866  1.1  mrg   unsigned int quotient_len = 0;
   1867  1.1  mrg   if (quotient)
   1868  1.1  mrg     {
   1869  1.1  mrg       quotient_len = wi_pack (quotient, b_quotient, m, dividend_prec);
   1870  1.1  mrg       /* The quotient is neg if exactly one of the divisor or dividend is
   1871  1.1  mrg 	 neg.  */
   1872  1.1  mrg       if (dividend_neg != divisor_neg)
   1873  1.1  mrg 	quotient_len = wi::sub_large (quotient, zeros, 1, quotient,
   1874  1.1  mrg 				      quotient_len, dividend_prec,
   1875  1.1  mrg 				      UNSIGNED, 0);
   1876  1.1  mrg     }
   1877  1.1  mrg 
   1878  1.1  mrg   if (remainder)
   1879  1.1  mrg     {
   1880  1.1  mrg       *remainder_len = wi_pack (remainder, b_remainder, n, dividend_prec);
   1881  1.1  mrg       /* The remainder is always the same sign as the dividend.  */
   1882  1.1  mrg       if (dividend_neg)
   1883  1.1  mrg 	*remainder_len = wi::sub_large (remainder, zeros, 1, remainder,
   1884  1.1  mrg 					*remainder_len, dividend_prec,
   1885  1.1  mrg 					UNSIGNED, 0);
   1886  1.1  mrg     }
   1887  1.1  mrg 
   1888  1.1  mrg   return quotient_len;
   1889  1.1  mrg }
   1890  1.1  mrg 
   1891  1.1  mrg /*
   1892  1.1  mrg  * Shifting, rotating and extraction.
   1893  1.1  mrg  */
   1894  1.1  mrg 
   1895  1.1  mrg /* Left shift XVAL by SHIFT and store the result in VAL.  Return the
   1896  1.1  mrg    number of blocks in VAL.  Both XVAL and VAL have PRECISION bits.  */
   1897  1.1  mrg unsigned int
   1898  1.1  mrg wi::lshift_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
   1899  1.1  mrg 		  unsigned int xlen, unsigned int precision,
   1900  1.1  mrg 		  unsigned int shift)
   1901  1.1  mrg {
   1902  1.1  mrg   /* Split the shift into a whole-block shift and a subblock shift.  */
   1903  1.1  mrg   unsigned int skip = shift / HOST_BITS_PER_WIDE_INT;
   1904  1.1  mrg   unsigned int small_shift = shift % HOST_BITS_PER_WIDE_INT;
   1905  1.1  mrg 
   1906  1.1  mrg   /* The whole-block shift fills with zeros.  */
   1907  1.1  mrg   unsigned int len = BLOCKS_NEEDED (precision);
   1908  1.1  mrg   for (unsigned int i = 0; i < skip; ++i)
   1909  1.1  mrg     val[i] = 0;
   1910  1.1  mrg 
   1911  1.1  mrg   /* It's easier to handle the simple block case specially.  */
   1912  1.1  mrg   if (small_shift == 0)
   1913  1.1  mrg     for (unsigned int i = skip; i < len; ++i)
   1914  1.1  mrg       val[i] = safe_uhwi (xval, xlen, i - skip);
   1915  1.1  mrg   else
   1916  1.1  mrg     {
   1917  1.1  mrg       /* The first unfilled output block is a left shift of the first
   1918  1.1  mrg 	 block in XVAL.  The other output blocks contain bits from two
   1919  1.1  mrg 	 consecutive input blocks.  */
   1920  1.1  mrg       unsigned HOST_WIDE_INT carry = 0;
   1921  1.1  mrg       for (unsigned int i = skip; i < len; ++i)
   1922  1.1  mrg 	{
   1923  1.1  mrg 	  unsigned HOST_WIDE_INT x = safe_uhwi (xval, xlen, i - skip);
   1924  1.1  mrg 	  val[i] = (x << small_shift) | carry;
   1925  1.1  mrg 	  carry = x >> (-small_shift % HOST_BITS_PER_WIDE_INT);
   1926  1.1  mrg 	}
   1927  1.1  mrg     }
   1928  1.1  mrg   return canonize (val, len, precision);
   1929  1.1  mrg }
   1930  1.1  mrg 
   1931  1.1  mrg /* Right shift XVAL by SHIFT and store the result in VAL.  Return the
   1932  1.1  mrg    number of blocks in VAL.  The input has XPRECISION bits and the
   1933  1.1  mrg    output has XPRECISION - SHIFT bits.  */
   1934  1.1  mrg static unsigned int
   1935  1.1  mrg rshift_large_common (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
   1936  1.1  mrg 		     unsigned int xlen, unsigned int xprecision,
   1937  1.1  mrg 		     unsigned int shift)
   1938  1.1  mrg {
   1939  1.1  mrg   /* Split the shift into a whole-block shift and a subblock shift.  */
   1940  1.1  mrg   unsigned int skip = shift / HOST_BITS_PER_WIDE_INT;
   1941  1.1  mrg   unsigned int small_shift = shift % HOST_BITS_PER_WIDE_INT;
   1942  1.1  mrg 
   1943  1.1  mrg   /* Work out how many blocks are needed to store the significant bits
   1944  1.1  mrg      (excluding the upper zeros or signs).  */
   1945  1.1  mrg   unsigned int len = BLOCKS_NEEDED (xprecision - shift);
   1946  1.1  mrg 
   1947  1.1  mrg   /* It's easier to handle the simple block case specially.  */
   1948  1.1  mrg   if (small_shift == 0)
   1949  1.1  mrg     for (unsigned int i = 0; i < len; ++i)
   1950  1.1  mrg       val[i] = safe_uhwi (xval, xlen, i + skip);
   1951  1.1  mrg   else
   1952  1.1  mrg     {
   1953  1.1  mrg       /* Each output block but the last is a combination of two input blocks.
   1954  1.1  mrg 	 The last block is a right shift of the last block in XVAL.  */
   1955  1.1  mrg       unsigned HOST_WIDE_INT curr = safe_uhwi (xval, xlen, skip);
   1956  1.1  mrg       for (unsigned int i = 0; i < len; ++i)
   1957  1.1  mrg 	{
   1958  1.1  mrg 	  val[i] = curr >> small_shift;
   1959  1.1  mrg 	  curr = safe_uhwi (xval, xlen, i + skip + 1);
   1960  1.1  mrg 	  val[i] |= curr << (-small_shift % HOST_BITS_PER_WIDE_INT);
   1961  1.1  mrg 	}
   1962  1.1  mrg     }
   1963  1.1  mrg   return len;
   1964  1.1  mrg }
   1965  1.1  mrg 
   1966  1.1  mrg /* Logically right shift XVAL by SHIFT and store the result in VAL.
   1967  1.1  mrg    Return the number of blocks in VAL.  XVAL has XPRECISION bits and
   1968  1.1  mrg    VAL has PRECISION bits.  */
   1969  1.1  mrg unsigned int
   1970  1.1  mrg wi::lrshift_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
   1971  1.1  mrg 		   unsigned int xlen, unsigned int xprecision,
   1972  1.1  mrg 		   unsigned int precision, unsigned int shift)
   1973  1.1  mrg {
   1974  1.1  mrg   unsigned int len = rshift_large_common (val, xval, xlen, xprecision, shift);
   1975  1.1  mrg 
   1976  1.1  mrg   /* The value we just created has precision XPRECISION - SHIFT.
   1977  1.1  mrg      Zero-extend it to wider precisions.  */
   1978  1.1  mrg   if (precision > xprecision - shift)
   1979  1.1  mrg     {
   1980  1.1  mrg       unsigned int small_prec = (xprecision - shift) % HOST_BITS_PER_WIDE_INT;
   1981  1.1  mrg       if (small_prec)
   1982  1.1  mrg 	val[len - 1] = zext_hwi (val[len - 1], small_prec);
   1983  1.1  mrg       else if (val[len - 1] < 0)
   1984  1.1  mrg 	{
   1985  1.1  mrg 	  /* Add a new block with a zero. */
   1986  1.1  mrg 	  val[len++] = 0;
   1987  1.1  mrg 	  return len;
   1988  1.1  mrg 	}
   1989  1.1  mrg     }
   1990  1.1  mrg   return canonize (val, len, precision);
   1991  1.1  mrg }
   1992  1.1  mrg 
   1993  1.1  mrg /* Arithmetically right shift XVAL by SHIFT and store the result in VAL.
   1994  1.1  mrg    Return the number of blocks in VAL.  XVAL has XPRECISION bits and
   1995  1.1  mrg    VAL has PRECISION bits.  */
   1996  1.1  mrg unsigned int
   1997  1.1  mrg wi::arshift_large (HOST_WIDE_INT *val, const HOST_WIDE_INT *xval,
   1998  1.1  mrg 		   unsigned int xlen, unsigned int xprecision,
   1999  1.1  mrg 		   unsigned int precision, unsigned int shift)
   2000  1.1  mrg {
   2001  1.1  mrg   unsigned int len = rshift_large_common (val, xval, xlen, xprecision, shift);
   2002  1.1  mrg 
   2003  1.1  mrg   /* The value we just created has precision XPRECISION - SHIFT.
   2004  1.1  mrg      Sign-extend it to wider types.  */
   2005  1.1  mrg   if (precision > xprecision - shift)
   2006  1.1  mrg     {
   2007  1.1  mrg       unsigned int small_prec = (xprecision - shift) % HOST_BITS_PER_WIDE_INT;
   2008  1.1  mrg       if (small_prec)
   2009  1.1  mrg 	val[len - 1] = sext_hwi (val[len - 1], small_prec);
   2010  1.1  mrg     }
   2011  1.1  mrg   return canonize (val, len, precision);
   2012  1.1  mrg }
   2013  1.1  mrg 
   2014  1.1  mrg /* Return the number of leading (upper) zeros in X.  */
   2015  1.1  mrg int
   2016  1.1  mrg wi::clz (const wide_int_ref &x)
   2017  1.1  mrg {
   2018  1.1  mrg   /* Calculate how many bits there above the highest represented block.  */
   2019  1.1  mrg   int count = x.precision - x.len * HOST_BITS_PER_WIDE_INT;
   2020  1.1  mrg 
   2021  1.1  mrg   unsigned HOST_WIDE_INT high = x.uhigh ();
   2022  1.1  mrg   if (count < 0)
   2023  1.1  mrg     /* The upper -COUNT bits of HIGH are not part of the value.
   2024  1.1  mrg        Clear them out.  */
   2025  1.1  mrg     high = (high << -count) >> -count;
   2026  1.1  mrg   else if (x.sign_mask () < 0)
   2027  1.1  mrg     /* The upper bit is set, so there are no leading zeros.  */
   2028  1.1  mrg     return 0;
   2029  1.1  mrg 
   2030  1.1  mrg   /* We don't need to look below HIGH.  Either HIGH is nonzero,
   2031  1.1  mrg      or the top bit of the block below is nonzero; clz_hwi is
   2032  1.1  mrg      HOST_BITS_PER_WIDE_INT in the latter case.  */
   2033  1.1  mrg   return count + clz_hwi (high);
   2034  1.1  mrg }
   2035  1.1  mrg 
   2036  1.1  mrg /* Return the number of redundant sign bits in X.  (That is, the number
   2037  1.1  mrg    of bits immediately below the sign bit that have the same value as
   2038  1.1  mrg    the sign bit.)  */
   2039  1.1  mrg int
   2040  1.1  mrg wi::clrsb (const wide_int_ref &x)
   2041  1.1  mrg {
   2042  1.1  mrg   /* Calculate how many bits there above the highest represented block.  */
   2043  1.1  mrg   int count = x.precision - x.len * HOST_BITS_PER_WIDE_INT;
   2044  1.1  mrg 
   2045  1.1  mrg   unsigned HOST_WIDE_INT high = x.uhigh ();
   2046  1.1  mrg   unsigned HOST_WIDE_INT mask = -1;
   2047  1.1  mrg   if (count < 0)
   2048  1.1  mrg     {
   2049  1.1  mrg       /* The upper -COUNT bits of HIGH are not part of the value.
   2050  1.1  mrg 	 Clear them from both MASK and HIGH.  */
   2051  1.1  mrg       mask >>= -count;
   2052  1.1  mrg       high &= mask;
   2053  1.1  mrg     }
   2054  1.1  mrg 
   2055  1.1  mrg   /* If the top bit is 1, count the number of leading 1s.  If the top
   2056  1.1  mrg      bit is zero, count the number of leading zeros.  */
   2057  1.1  mrg   if (high > mask / 2)
   2058  1.1  mrg     high ^= mask;
   2059  1.1  mrg 
   2060  1.1  mrg   /* There are no sign bits below the top block, so we don't need to look
   2061  1.1  mrg      beyond HIGH.  Note that clz_hwi is HOST_BITS_PER_WIDE_INT when
   2062  1.1  mrg      HIGH is 0.  */
   2063  1.1  mrg   return count + clz_hwi (high) - 1;
   2064  1.1  mrg }
   2065  1.1  mrg 
   2066  1.1  mrg /* Return the number of trailing (lower) zeros in X.  */
   2067  1.1  mrg int
   2068  1.1  mrg wi::ctz (const wide_int_ref &x)
   2069  1.1  mrg {
   2070  1.1  mrg   if (x.len == 1 && x.ulow () == 0)
   2071  1.1  mrg     return x.precision;
   2072  1.1  mrg 
   2073  1.1  mrg   /* Having dealt with the zero case, there must be a block with a
   2074  1.1  mrg      nonzero bit.  We don't care about the bits above the first 1.  */
   2075  1.1  mrg   unsigned int i = 0;
   2076  1.1  mrg   while (x.val[i] == 0)
   2077  1.1  mrg     ++i;
   2078  1.1  mrg   return i * HOST_BITS_PER_WIDE_INT + ctz_hwi (x.val[i]);
   2079  1.1  mrg }
   2080  1.1  mrg 
   2081  1.1  mrg /* If X is an exact power of 2, return the base-2 logarithm, otherwise
   2082  1.1  mrg    return -1.  */
   2083  1.1  mrg int
   2084  1.1  mrg wi::exact_log2 (const wide_int_ref &x)
   2085  1.1  mrg {
   2086  1.1  mrg   /* Reject cases where there are implicit -1 blocks above HIGH.  */
   2087  1.1  mrg   if (x.len * HOST_BITS_PER_WIDE_INT < x.precision && x.sign_mask () < 0)
   2088  1.1  mrg     return -1;
   2089  1.1  mrg 
   2090  1.1  mrg   /* Set CRUX to the index of the entry that should be nonzero.
   2091  1.1  mrg      If the top block is zero then the next lowest block (if any)
   2092  1.1  mrg      must have the high bit set.  */
   2093  1.1  mrg   unsigned int crux = x.len - 1;
   2094  1.1  mrg   if (crux > 0 && x.val[crux] == 0)
   2095  1.1  mrg     crux -= 1;
   2096  1.1  mrg 
   2097  1.1  mrg   /* Check that all lower blocks are zero.  */
   2098  1.1  mrg   for (unsigned int i = 0; i < crux; ++i)
   2099  1.1  mrg     if (x.val[i] != 0)
   2100  1.1  mrg       return -1;
   2101  1.1  mrg 
   2102  1.1  mrg   /* Get a zero-extended form of block CRUX.  */
   2103  1.1  mrg   unsigned HOST_WIDE_INT hwi = x.val[crux];
   2104  1.1  mrg   if ((crux + 1) * HOST_BITS_PER_WIDE_INT > x.precision)
   2105  1.1  mrg     hwi = zext_hwi (hwi, x.precision % HOST_BITS_PER_WIDE_INT);
   2106  1.1  mrg 
   2107  1.1  mrg   /* Now it's down to whether HWI is a power of 2.  */
   2108  1.1  mrg   int res = ::exact_log2 (hwi);
   2109  1.1  mrg   if (res >= 0)
   2110  1.1  mrg     res += crux * HOST_BITS_PER_WIDE_INT;
   2111  1.1  mrg   return res;
   2112  1.1  mrg }
   2113  1.1  mrg 
   2114  1.1  mrg /* Return the base-2 logarithm of X, rounding down.  Return -1 if X is 0.  */
   2115  1.1  mrg int
   2116  1.1  mrg wi::floor_log2 (const wide_int_ref &x)
   2117  1.1  mrg {
   2118  1.1  mrg   return x.precision - 1 - clz (x);
   2119  1.1  mrg }
   2120  1.1  mrg 
   2121  1.1  mrg /* Return the index of the first (lowest) set bit in X, counting from 1.
   2122  1.1  mrg    Return 0 if X is 0.  */
   2123  1.1  mrg int
   2124  1.1  mrg wi::ffs (const wide_int_ref &x)
   2125  1.1  mrg {
   2126  1.1  mrg   return eq_p (x, 0) ? 0 : ctz (x) + 1;
   2127  1.1  mrg }
   2128  1.1  mrg 
   2129  1.1  mrg /* Return true if sign-extending X to have precision PRECISION would give
   2130  1.1  mrg    the minimum signed value at that precision.  */
   2131  1.1  mrg bool
   2132  1.1  mrg wi::only_sign_bit_p (const wide_int_ref &x, unsigned int precision)
   2133  1.1  mrg {
   2134  1.1  mrg   return ctz (x) + 1 == int (precision);
   2135  1.1  mrg }
   2136  1.1  mrg 
   2137  1.1  mrg /* Return true if X represents the minimum signed value.  */
   2138  1.1  mrg bool
   2139  1.1  mrg wi::only_sign_bit_p (const wide_int_ref &x)
   2140  1.1  mrg {
   2141  1.1  mrg   return only_sign_bit_p (x, x.precision);
   2142  1.1  mrg }
   2143  1.1  mrg 
   2144  1.1  mrg /*
   2145  1.1  mrg  * Private utilities.
   2146  1.1  mrg  */
   2147  1.1  mrg 
   2148  1.1  mrg void gt_ggc_mx (widest_int *) { }
   2149  1.1  mrg void gt_pch_nx (widest_int *, void (*) (void *, void *), void *) { }
   2150  1.1  mrg void gt_pch_nx (widest_int *) { }
   2151  1.1  mrg 
   2152  1.1  mrg template void wide_int::dump () const;
   2153  1.1  mrg template void generic_wide_int <wide_int_ref_storage <false> >::dump () const;
   2154  1.1  mrg template void generic_wide_int <wide_int_ref_storage <true> >::dump () const;
   2155  1.1  mrg template void offset_int::dump () const;
   2156  1.1  mrg template void widest_int::dump () const;
   2157