hjl / source-git / glibc

Forked from source-git/glibc 3 years ago
Clone

Blame stdio-common/_itowa.c

Packit 6c4009
/* Internal function for converting integers to ASCII.
Packit 6c4009
   Copyright (C) 1994-2018 Free Software Foundation, Inc.
Packit 6c4009
   This file is part of the GNU C Library.
Packit 6c4009
   Contributed by Torbjorn Granlund <tege@matematik.su.se>
Packit 6c4009
   and Ulrich Drepper <drepper@gnu.org>.
Packit 6c4009
Packit 6c4009
   The GNU C Library is free software; you can redistribute it and/or
Packit 6c4009
   modify it under the terms of the GNU Lesser General Public
Packit 6c4009
   License as published by the Free Software Foundation; either
Packit 6c4009
   version 2.1 of the License, or (at your option) any later version.
Packit 6c4009
Packit 6c4009
   The GNU C Library is distributed in the hope that it will be useful,
Packit 6c4009
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 6c4009
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit 6c4009
   Lesser General Public License for more details.
Packit 6c4009
Packit 6c4009
   You should have received a copy of the GNU Lesser General Public
Packit 6c4009
   License along with the GNU C Library; if not, see
Packit 6c4009
   <http://www.gnu.org/licenses/>.  */
Packit 6c4009
Packit 6c4009
#include <gmp-mparam.h>
Packit 6c4009
#include <gmp.h>
Packit 6c4009
#include <limits.h>
Packit 6c4009
#include <stdlib/gmp-impl.h>
Packit 6c4009
#include <stdlib/longlong.h>
Packit 6c4009
Packit 6c4009
#include <_itowa.h>
Packit 6c4009
Packit 6c4009
Packit 6c4009
/* Canonize environment.  For some architectures not all values might
Packit 6c4009
   be defined in the GMP header files.  */
Packit 6c4009
#ifndef UMUL_TIME
Packit 6c4009
# define UMUL_TIME 1
Packit 6c4009
#endif
Packit 6c4009
#ifndef UDIV_TIME
Packit 6c4009
# define UDIV_TIME 3
Packit 6c4009
#endif
Packit 6c4009
Packit 6c4009
/* Control memory layout.  */
Packit 6c4009
#ifdef PACK
Packit 6c4009
# undef PACK
Packit 6c4009
# define PACK __attribute__ ((packed))
Packit 6c4009
#else
Packit 6c4009
# define PACK
Packit 6c4009
#endif
Packit 6c4009
Packit 6c4009
Packit 6c4009
/* Declare local types.  */
Packit 6c4009
struct base_table_t
Packit 6c4009
{
Packit 6c4009
#if (UDIV_TIME > 2 * UMUL_TIME)
Packit 6c4009
  mp_limb_t base_multiplier;
Packit 6c4009
#endif
Packit 6c4009
  char flag;
Packit 6c4009
  char post_shift;
Packit 6c4009
#if BITS_PER_MP_LIMB == 32
Packit 6c4009
  struct
Packit 6c4009
    {
Packit 6c4009
      char normalization_steps;
Packit 6c4009
      char ndigits;
Packit 6c4009
      mp_limb_t base PACK;
Packit 6c4009
#if UDIV_TIME > 2 * UMUL_TIME
Packit 6c4009
      mp_limb_t base_ninv PACK;
Packit 6c4009
#endif
Packit 6c4009
    } big;
Packit 6c4009
#endif
Packit 6c4009
};
Packit 6c4009
Packit 6c4009
/* To reduce the memory needed we include some fields of the tables
Packit 6c4009
   only conditionally.  */
Packit 6c4009
#if UDIV_TIME > 2 * UMUL_TIME
Packit 6c4009
# define SEL1(X) X,
Packit 6c4009
# define SEL2(X) ,X
Packit 6c4009
#else
Packit 6c4009
# define SEL1(X)
Packit 6c4009
# define SEL2(X)
Packit 6c4009
#endif
Packit 6c4009
Packit 6c4009
/* Factor table for the different bases.  */
Packit 6c4009
extern const struct base_table_t _itoa_base_table[] attribute_hidden;
Packit 6c4009
Packit 6c4009
/* Lower-case digits.  */
Packit 6c4009
extern const wchar_t _itowa_lower_digits[] attribute_hidden;
Packit 6c4009
/* Upper-case digits.  */
Packit 6c4009
extern const wchar_t _itowa_upper_digits[] attribute_hidden;
Packit 6c4009
Packit 6c4009
Packit 6c4009
#if _ITOA_NEEDED
Packit 6c4009
wchar_t *
Packit 6c4009
_itowa (unsigned long long int value, wchar_t *buflim, unsigned int base,
Packit 6c4009
	int upper_case)
Packit 6c4009
{
Packit 6c4009
  const wchar_t *digits = (upper_case
Packit 6c4009
			   ? _itowa_upper_digits : _itowa_lower_digits);
Packit 6c4009
  wchar_t *bp = buflim;
Packit 6c4009
  const struct base_table_t *brec = &_itoa_base_table[base - 2];
Packit 6c4009
Packit 6c4009
  switch (base)
Packit 6c4009
    {
Packit 6c4009
# define RUN_2N(BITS) \
Packit 6c4009
      do								      \
Packit 6c4009
	{								      \
Packit 6c4009
	  /* `unsigned long long int' always has 64 bits.  */		      \
Packit 6c4009
	  mp_limb_t work_hi = value >> (64 - BITS_PER_MP_LIMB);		      \
Packit 6c4009
									      \
Packit 6c4009
	  if (BITS_PER_MP_LIMB == 32)					      \
Packit 6c4009
	    {								      \
Packit 6c4009
	      if (work_hi != 0)						      \
Packit 6c4009
		{							      \
Packit 6c4009
		  mp_limb_t work_lo;					      \
Packit 6c4009
		  int cnt;						      \
Packit 6c4009
									      \
Packit 6c4009
		  work_lo = value & 0xfffffffful;			      \
Packit 6c4009
		  for (cnt = BITS_PER_MP_LIMB / BITS; cnt > 0; --cnt)	      \
Packit 6c4009
		    {							      \
Packit 6c4009
		      *--bp = digits[work_lo & ((1ul << BITS) - 1)];	      \
Packit 6c4009
		      work_lo >>= BITS;					      \
Packit 6c4009
		    }							      \
Packit 6c4009
		  if (BITS_PER_MP_LIMB % BITS != 0)			      \
Packit 6c4009
		    {							      \
Packit 6c4009
		      work_lo						      \
Packit 6c4009
			|= ((work_hi					      \
Packit 6c4009
			     & ((1 << (BITS - BITS_PER_MP_LIMB%BITS))	      \
Packit 6c4009
				- 1))					      \
Packit 6c4009
			    << BITS_PER_MP_LIMB % BITS);		      \
Packit 6c4009
		      work_hi >>= BITS - BITS_PER_MP_LIMB % BITS;	      \
Packit 6c4009
		      if (work_hi == 0)					      \
Packit 6c4009
			work_hi = work_lo;				      \
Packit 6c4009
		      else						      \
Packit 6c4009
			*--bp = digits[work_lo];			      \
Packit 6c4009
		    }							      \
Packit 6c4009
		}							      \
Packit 6c4009
	      else							      \
Packit 6c4009
		work_hi = value & 0xfffffffful;				      \
Packit 6c4009
	    }								      \
Packit 6c4009
	  do								      \
Packit 6c4009
	    {								      \
Packit 6c4009
	      *--bp = digits[work_hi & ((1 << BITS) - 1)];		      \
Packit 6c4009
	      work_hi >>= BITS;						      \
Packit 6c4009
	    }								      \
Packit 6c4009
	  while (work_hi != 0);						      \
Packit 6c4009
	}								      \
Packit 6c4009
      while (0)
Packit 6c4009
    case 8:
Packit 6c4009
      RUN_2N (3);
Packit 6c4009
      break;
Packit 6c4009
Packit 6c4009
    case 16:
Packit 6c4009
      RUN_2N (4);
Packit 6c4009
      break;
Packit 6c4009
Packit 6c4009
    default:
Packit 6c4009
      {
Packit 6c4009
# if BITS_PER_MP_LIMB == 64
Packit 6c4009
	mp_limb_t base_multiplier = brec->base_multiplier;
Packit 6c4009
	if (brec->flag)
Packit 6c4009
	  while (value != 0)
Packit 6c4009
	    {
Packit 6c4009
	      mp_limb_t quo, rem, x;
Packit 6c4009
	      mp_limb_t dummy __attribute__ ((unused));
Packit 6c4009
Packit 6c4009
	      umul_ppmm (x, dummy, value, base_multiplier);
Packit 6c4009
	      quo = (x + ((value - x) >> 1)) >> (brec->post_shift - 1);
Packit 6c4009
	      rem = value - quo * base;
Packit 6c4009
	      *--bp = digits[rem];
Packit 6c4009
	      value = quo;
Packit 6c4009
	    }
Packit 6c4009
	else
Packit 6c4009
	  while (value != 0)
Packit 6c4009
	    {
Packit 6c4009
	      mp_limb_t quo, rem, x;
Packit 6c4009
	      mp_limb_t dummy __attribute__ ((unused));
Packit 6c4009
Packit 6c4009
	      umul_ppmm (x, dummy, value, base_multiplier);
Packit 6c4009
	      quo = x >> brec->post_shift;
Packit 6c4009
	      rem = value - quo * base;
Packit 6c4009
	      *--bp = digits[rem];
Packit 6c4009
	      value = quo;
Packit 6c4009
	    }
Packit 6c4009
# endif
Packit 6c4009
# if BITS_PER_MP_LIMB == 32
Packit 6c4009
	mp_limb_t t[3];
Packit 6c4009
	int n;
Packit 6c4009
Packit 6c4009
	/* First convert x0 to 1-3 words in base s->big.base.
Packit 6c4009
	   Optimize for frequent cases of 32 bit numbers.  */
Packit 6c4009
	if ((mp_limb_t) (value >> 32) >= 1)
Packit 6c4009
	  {
Packit 6c4009
# if UDIV_TIME > 2 * UMUL_TIME || UDIV_NEEDS_NORMALIZATION
Packit 6c4009
	    int big_normalization_steps = brec->big.normalization_steps;
Packit 6c4009
	    mp_limb_t big_base_norm
Packit 6c4009
	      = brec->big.base << big_normalization_steps;
Packit 6c4009
# endif
Packit 6c4009
	    if ((mp_limb_t) (value >> 32) >= brec->big.base)
Packit 6c4009
	      {
Packit 6c4009
		mp_limb_t x1hi, x1lo, r;
Packit 6c4009
		/* If you want to optimize this, take advantage of
Packit 6c4009
		   that the quotient in the first udiv_qrnnd will
Packit 6c4009
		   always be very small.  It might be faster just to
Packit 6c4009
		   subtract in a tight loop.  */
Packit 6c4009
Packit 6c4009
# if UDIV_TIME > 2 * UMUL_TIME
Packit 6c4009
		mp_limb_t x, xh, xl;
Packit 6c4009
Packit 6c4009
		if (big_normalization_steps == 0)
Packit 6c4009
		  xh = 0;
Packit 6c4009
		else
Packit 6c4009
		  xh = (mp_limb_t) (value >> (64 - big_normalization_steps));
Packit 6c4009
		xl = (mp_limb_t) (value >> (32 - big_normalization_steps));
Packit 6c4009
		udiv_qrnnd_preinv (x1hi, r, xh, xl, big_base_norm,
Packit 6c4009
				   brec->big.base_ninv);
Packit 6c4009
Packit 6c4009
		xl = ((mp_limb_t) value) << big_normalization_steps;
Packit 6c4009
		udiv_qrnnd_preinv (x1lo, x, r, xl, big_base_norm,
Packit 6c4009
				   brec->big.base_ninv);
Packit 6c4009
		t[2] = x >> big_normalization_steps;
Packit 6c4009
Packit 6c4009
		if (big_normalization_steps == 0)
Packit 6c4009
		  xh = x1hi;
Packit 6c4009
		else
Packit 6c4009
		  xh = ((x1hi << big_normalization_steps)
Packit 6c4009
			| (x1lo >> (32 - big_normalization_steps)));
Packit 6c4009
		xl = x1lo << big_normalization_steps;
Packit 6c4009
		udiv_qrnnd_preinv (t[0], x, xh, xl, big_base_norm,
Packit 6c4009
				   brec->big.base_ninv);
Packit 6c4009
		t[1] = x >> big_normalization_steps;
Packit 6c4009
# elif UDIV_NEEDS_NORMALIZATION
Packit 6c4009
		mp_limb_t x, xh, xl;
Packit 6c4009
Packit 6c4009
		if (big_normalization_steps == 0)
Packit 6c4009
		  xh = 0;
Packit 6c4009
		else
Packit 6c4009
		  xh = (mp_limb_t) (value >> 64 - big_normalization_steps);
Packit 6c4009
		xl = (mp_limb_t) (value >> 32 - big_normalization_steps);
Packit 6c4009
		udiv_qrnnd (x1hi, r, xh, xl, big_base_norm);
Packit 6c4009
Packit 6c4009
		xl = ((mp_limb_t) value) << big_normalization_steps;
Packit 6c4009
		udiv_qrnnd (x1lo, x, r, xl, big_base_norm);
Packit 6c4009
		t[2] = x >> big_normalization_steps;
Packit 6c4009
Packit 6c4009
		if (big_normalization_steps == 0)
Packit 6c4009
		  xh = x1hi;
Packit 6c4009
		else
Packit 6c4009
		  xh = ((x1hi << big_normalization_steps)
Packit 6c4009
			| (x1lo >> 32 - big_normalization_steps));
Packit 6c4009
		xl = x1lo << big_normalization_steps;
Packit 6c4009
		udiv_qrnnd (t[0], x, xh, xl, big_base_norm);
Packit 6c4009
		t[1] = x >> big_normalization_steps;
Packit 6c4009
# else
Packit 6c4009
		udiv_qrnnd (x1hi, r, 0, (mp_limb_t) (value >> 32),
Packit 6c4009
			    brec->big.base);
Packit 6c4009
		udiv_qrnnd (x1lo, t[2], r, (mp_limb_t) value, brec->big.base);
Packit 6c4009
		udiv_qrnnd (t[0], t[1], x1hi, x1lo, brec->big.base);
Packit 6c4009
# endif
Packit 6c4009
		n = 3;
Packit 6c4009
	      }
Packit 6c4009
	    else
Packit 6c4009
	      {
Packit 6c4009
# if UDIV_TIME > 2 * UMUL_TIME
Packit 6c4009
		mp_limb_t x;
Packit 6c4009
Packit 6c4009
		value <<= brec->big.normalization_steps;
Packit 6c4009
		udiv_qrnnd_preinv (t[0], x, (mp_limb_t) (value >> 32),
Packit 6c4009
				   (mp_limb_t) value, big_base_norm,
Packit 6c4009
				   brec->big.base_ninv);
Packit 6c4009
		t[1] = x >> brec->big.normalization_steps;
Packit 6c4009
# elif UDIV_NEEDS_NORMALIZATION
Packit 6c4009
		mp_limb_t x;
Packit 6c4009
Packit 6c4009
		value <<= big_normalization_steps;
Packit 6c4009
		udiv_qrnnd (t[0], x, (mp_limb_t) (value >> 32),
Packit 6c4009
			    (mp_limb_t) value, big_base_norm);
Packit 6c4009
		t[1] = x >> big_normalization_steps;
Packit 6c4009
# else
Packit 6c4009
		udiv_qrnnd (t[0], t[1], (mp_limb_t) (value >> 32),
Packit 6c4009
			    (mp_limb_t) value, brec->big.base);
Packit 6c4009
# endif
Packit 6c4009
		n = 2;
Packit 6c4009
	      }
Packit 6c4009
	  }
Packit 6c4009
	else
Packit 6c4009
	  {
Packit 6c4009
	    t[0] = value;
Packit 6c4009
	    n = 1;
Packit 6c4009
	  }
Packit 6c4009
Packit 6c4009
	/* Convert the 1-3 words in t[], word by word, to ASCII.  */
Packit 6c4009
	do
Packit 6c4009
	  {
Packit 6c4009
	    mp_limb_t ti = t[--n];
Packit 6c4009
	    int ndig_for_this_limb = 0;
Packit 6c4009
Packit 6c4009
# if UDIV_TIME > 2 * UMUL_TIME
Packit 6c4009
	    mp_limb_t base_multiplier = brec->base_multiplier;
Packit 6c4009
	    if (brec->flag)
Packit 6c4009
	      while (ti != 0)
Packit 6c4009
		{
Packit 6c4009
		  mp_limb_t quo, rem, x;
Packit 6c4009
		  mp_limb_t dummy __attribute__ ((unused));
Packit 6c4009
Packit 6c4009
		  umul_ppmm (x, dummy, ti, base_multiplier);
Packit 6c4009
		  quo = (x + ((ti - x) >> 1)) >> (brec->post_shift - 1);
Packit 6c4009
		  rem = ti - quo * base;
Packit 6c4009
		  *--bp = digits[rem];
Packit 6c4009
		  ti = quo;
Packit 6c4009
		  ++ndig_for_this_limb;
Packit 6c4009
		}
Packit 6c4009
	    else
Packit 6c4009
	      while (ti != 0)
Packit 6c4009
		{
Packit 6c4009
		  mp_limb_t quo, rem, x;
Packit 6c4009
		  mp_limb_t dummy __attribute__ ((unused));
Packit 6c4009
Packit 6c4009
		  umul_ppmm (x, dummy, ti, base_multiplier);
Packit 6c4009
		  quo = x >> brec->post_shift;
Packit 6c4009
		  rem = ti - quo * base;
Packit 6c4009
		  *--bp = digits[rem];
Packit 6c4009
		  ti = quo;
Packit 6c4009
		  ++ndig_for_this_limb;
Packit 6c4009
		}
Packit 6c4009
# else
Packit 6c4009
	    while (ti != 0)
Packit 6c4009
	      {
Packit 6c4009
		mp_limb_t quo, rem;
Packit 6c4009
Packit 6c4009
		quo = ti / base;
Packit 6c4009
		rem = ti % base;
Packit 6c4009
		*--bp = digits[rem];
Packit 6c4009
		ti = quo;
Packit 6c4009
		++ndig_for_this_limb;
Packit 6c4009
	      }
Packit 6c4009
# endif
Packit 6c4009
	    /* If this wasn't the most significant word, pad with zeros.  */
Packit 6c4009
	    if (n != 0)
Packit 6c4009
	      while (ndig_for_this_limb < brec->big.ndigits)
Packit 6c4009
		{
Packit 6c4009
		  *--bp = '0';
Packit 6c4009
		  ++ndig_for_this_limb;
Packit 6c4009
		}
Packit 6c4009
	  }
Packit 6c4009
	while (n != 0);
Packit 6c4009
# endif
Packit 6c4009
      }
Packit 6c4009
      break;
Packit 6c4009
    }
Packit 6c4009
Packit 6c4009
  return bp;
Packit 6c4009
}
Packit 6c4009
#endif