Blame misc/efgcvt_r.c

Packit 6c4009
/* Compatibility functions for floating point formatting, reentrant versions.
Packit 6c4009
   Copyright (C) 1995-2018 Free Software Foundation, Inc.
Packit 6c4009
   This file is part of the GNU C Library.
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 <errno.h>
Packit 6c4009
#include <float.h>
Packit 6c4009
#include <stdio.h>
Packit 6c4009
#include <string.h>
Packit 6c4009
#include <ctype.h>
Packit 6c4009
#include <math.h>
Packit 6c4009
#include <stdlib.h>
Packit 6c4009
#include <sys/param.h>
Packit 6c4009
#include <math_ldbl_opt.h>
Packit 6c4009
Packit 6c4009
#ifndef FLOAT_TYPE
Packit 6c4009
# define FLOAT_TYPE double
Packit 6c4009
# define FUNC_PREFIX
Packit 6c4009
# define FLOAT_FMT_FLAG
Packit 6c4009
# define FLOAT_NAME_EXT
Packit 6c4009
# define FLOAT_MIN_10_EXP DBL_MIN_10_EXP
Packit 6c4009
# if DBL_MANT_DIG == 53
Packit 6c4009
#  define NDIGIT_MAX 17
Packit 6c4009
# elif DBL_MANT_DIG == 24
Packit 6c4009
#  define NDIGIT_MAX 9
Packit 6c4009
# elif DBL_MANT_DIG == 56
Packit 6c4009
#  define NDIGIT_MAX 18
Packit 6c4009
# else
Packit 6c4009
/* See IEEE 854 5.6, table 2 for this formula.  Unfortunately we need a
Packit 6c4009
   compile time constant here, so we cannot use it.  */
Packit 6c4009
#  error "NDIGIT_MAX must be precomputed"
Packit 6c4009
#  define NDIGIT_MAX (lrint (ceil (M_LN2 / M_LN10 * DBL_MANT_DIG + 1.0)))
Packit 6c4009
# endif
Packit 6c4009
# if DBL_MIN_10_EXP == -37
Packit 6c4009
#  define FLOAT_MIN_10_NORM	1.0e-37
Packit 6c4009
# elif DBL_MIN_10_EXP == -307
Packit 6c4009
#  define FLOAT_MIN_10_NORM	1.0e-307
Packit 6c4009
# elif DBL_MIN_10_EXP == -4931
Packit 6c4009
#  define FLOAT_MIN_10_NORM	1.0e-4931
Packit 6c4009
# else
Packit 6c4009
/* libc can't depend on libm.  */
Packit 6c4009
#  error "FLOAT_MIN_10_NORM must be precomputed"
Packit 6c4009
#  define FLOAT_MIN_10_NORM	exp10 (DBL_MIN_10_EXP)
Packit 6c4009
# endif
Packit 6c4009
#else
Packit 6c4009
# define LONG_DOUBLE_CVT
Packit 6c4009
#endif
Packit 6c4009
Packit 6c4009
#define APPEND(a, b) APPEND2 (a, b)
Packit 6c4009
#define APPEND2(a, b) a##b
Packit 6c4009
#define __APPEND(a, b) __APPEND2 (a, b)
Packit 6c4009
#define __APPEND2(a, b) __##a##b
Packit 6c4009
Packit 6c4009
#define FLOOR APPEND(floor, FLOAT_NAME_EXT)
Packit 6c4009
#define FABS APPEND(fabs, FLOAT_NAME_EXT)
Packit 6c4009
#define LOG10 APPEND(log10, FLOAT_NAME_EXT)
Packit 6c4009
#define EXP APPEND(exp, FLOAT_NAME_EXT)
Packit 6c4009
Packit 6c4009
Packit 6c4009
int
Packit 6c4009
__APPEND (FUNC_PREFIX, fcvt_r) (FLOAT_TYPE value, int ndigit, int *decpt,
Packit 6c4009
				int *sign, char *buf, size_t len)
Packit 6c4009
{
Packit 6c4009
  ssize_t n;
Packit 6c4009
  ssize_t i;
Packit 6c4009
  int left;
Packit 6c4009
Packit 6c4009
  if (buf == NULL)
Packit 6c4009
    {
Packit 6c4009
      __set_errno (EINVAL);
Packit 6c4009
      return -1;
Packit 6c4009
    }
Packit 6c4009
Packit 6c4009
  left = 0;
Packit 6c4009
  if (isfinite (value))
Packit 6c4009
    {
Packit 6c4009
      *sign = signbit (value) != 0;
Packit 6c4009
      if (*sign)
Packit 6c4009
	value = -value;
Packit 6c4009
Packit 6c4009
      if (ndigit < 0)
Packit 6c4009
	{
Packit 6c4009
	  /* Rounding to the left of the decimal point.  */
Packit 6c4009
	  while (ndigit < 0)
Packit 6c4009
	    {
Packit 6c4009
	      FLOAT_TYPE new_value = value * 0.1;
Packit 6c4009
Packit 6c4009
	      if (new_value < 1.0)
Packit 6c4009
		{
Packit 6c4009
		  ndigit = 0;
Packit 6c4009
		  break;
Packit 6c4009
		}
Packit 6c4009
Packit 6c4009
	      value = new_value;
Packit 6c4009
	      ++left;
Packit 6c4009
	      ++ndigit;
Packit 6c4009
	    }
Packit 6c4009
	}
Packit 6c4009
    }
Packit 6c4009
  else
Packit 6c4009
    /* Value is Inf or NaN.  */
Packit 6c4009
    *sign = 0;
Packit 6c4009
Packit 6c4009
  n = __snprintf (buf, len, "%.*" FLOAT_FMT_FLAG "f", MIN (ndigit, NDIGIT_MAX),
Packit 6c4009
		  value);
Packit 6c4009
  /* Check for a too small buffer.  */
Packit 6c4009
  if (n >= (ssize_t) len)
Packit 6c4009
    return -1;
Packit 6c4009
Packit 6c4009
  i = 0;
Packit 6c4009
  while (i < n && isdigit (buf[i]))
Packit 6c4009
    ++i;
Packit 6c4009
  *decpt = i;
Packit 6c4009
Packit 6c4009
  if (i == 0)
Packit 6c4009
    /* Value is Inf or NaN.  */
Packit 6c4009
    return 0;
Packit 6c4009
Packit 6c4009
  if (i < n)
Packit 6c4009
    {
Packit 6c4009
      do
Packit 6c4009
	++i;
Packit 6c4009
      while (i < n && !isdigit (buf[i]));
Packit 6c4009
Packit 6c4009
      if (*decpt == 1 && buf[0] == '0' && value != 0.0)
Packit 6c4009
	{
Packit 6c4009
	  /* We must not have leading zeroes.  Strip them all out and
Packit 6c4009
	     adjust *DECPT if necessary.  */
Packit 6c4009
	  --*decpt;
Packit 6c4009
	  while (i < n && buf[i] == '0')
Packit 6c4009
	    {
Packit 6c4009
	      --*decpt;
Packit 6c4009
	      ++i;
Packit 6c4009
	    }
Packit 6c4009
	}
Packit 6c4009
Packit 6c4009
      memmove (&buf[MAX (*decpt, 0)], &buf[i], n - i);
Packit 6c4009
      buf[n - (i - MAX (*decpt, 0))] = '\0';
Packit 6c4009
    }
Packit 6c4009
Packit 6c4009
  if (left)
Packit 6c4009
    {
Packit 6c4009
      *decpt += left;
Packit 6c4009
      if ((ssize_t) --len > n)
Packit 6c4009
	{
Packit 6c4009
	  while (left-- > 0 && n < (ssize_t) len)
Packit 6c4009
	    buf[n++] = '0';
Packit 6c4009
	  buf[n] = '\0';
Packit 6c4009
	}
Packit 6c4009
    }
Packit 6c4009
Packit 6c4009
  return 0;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
int
Packit 6c4009
__APPEND (FUNC_PREFIX, ecvt_r) (FLOAT_TYPE value, int ndigit, int *decpt,
Packit 6c4009
				int *sign, char *buf, size_t len)
Packit 6c4009
{
Packit 6c4009
  int exponent = 0;
Packit 6c4009
Packit 6c4009
  if (isfinite (value) && value != 0.0)
Packit 6c4009
    {
Packit 6c4009
      /* Slow code that doesn't require -lm functions.  */
Packit 6c4009
      FLOAT_TYPE d;
Packit 6c4009
      FLOAT_TYPE f = 1.0;
Packit 6c4009
      if (value < 0.0)
Packit 6c4009
	d = -value;
Packit 6c4009
      else
Packit 6c4009
	d = value;
Packit 6c4009
      /* For denormalized numbers the d < 1.0 case below won't work,
Packit 6c4009
	 as f can overflow to +Inf.  */
Packit 6c4009
      if (d < FLOAT_MIN_10_NORM)
Packit 6c4009
	{
Packit 6c4009
	  value /= FLOAT_MIN_10_NORM;
Packit 6c4009
	  if (value < 0.0)
Packit 6c4009
	    d = -value;
Packit 6c4009
	  else
Packit 6c4009
	    d = value;
Packit 6c4009
	  exponent += FLOAT_MIN_10_EXP;
Packit 6c4009
	}
Packit 6c4009
      if (d < 1.0)
Packit 6c4009
	{
Packit 6c4009
	  do
Packit 6c4009
	    {
Packit 6c4009
	      f *= 10.0;
Packit 6c4009
	      --exponent;
Packit 6c4009
	    }
Packit 6c4009
	  while (d * f < 1.0);
Packit 6c4009
Packit 6c4009
	  value *= f;
Packit 6c4009
	}
Packit 6c4009
      else if (d >= 10.0)
Packit 6c4009
	{
Packit 6c4009
	  do
Packit 6c4009
	    {
Packit 6c4009
	      f *= 10;
Packit 6c4009
	      ++exponent;
Packit 6c4009
	    }
Packit 6c4009
	  while (d >= f * 10.0);
Packit 6c4009
Packit 6c4009
	  value /= f;
Packit 6c4009
	}
Packit 6c4009
    }
Packit 6c4009
  else if (value == 0.0)
Packit 6c4009
    /* SUSv2 leaves it unspecified whether *DECPT is 0 or 1 for 0.0.
Packit 6c4009
       This could be changed to -1 if we want to return 0.  */
Packit 6c4009
    exponent = 0;
Packit 6c4009
Packit 6c4009
  if (ndigit <= 0 && len > 0)
Packit 6c4009
    {
Packit 6c4009
      buf[0] = '\0';
Packit 6c4009
      *decpt = 1;
Packit 6c4009
      *sign = isfinite (value) ? signbit (value) != 0 : 0;
Packit 6c4009
    }
Packit 6c4009
  else
Packit 6c4009
    if (__APPEND (FUNC_PREFIX, fcvt_r) (value, MIN (ndigit, NDIGIT_MAX) - 1,
Packit 6c4009
					decpt, sign, buf, len))
Packit 6c4009
      return -1;
Packit 6c4009
Packit 6c4009
  *decpt += exponent;
Packit 6c4009
  return 0;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
#if LONG_DOUBLE_COMPAT (libc, GLIBC_2_0)
Packit 6c4009
# ifdef LONG_DOUBLE_CVT
Packit 6c4009
#  define cvt_symbol(symbol) \
Packit 6c4009
  cvt_symbol_1 (libc, __APPEND (FUNC_PREFIX, symbol), \
Packit 6c4009
	      APPEND (FUNC_PREFIX, symbol), GLIBC_2_4)
Packit 6c4009
#  define cvt_symbol_1(lib, local, symbol, version) \
Packit 6c4009
    libc_hidden_def (local) \
Packit 6c4009
    versioned_symbol (lib, local, symbol, version)
Packit 6c4009
# else
Packit 6c4009
#  define cvt_symbol(symbol) \
Packit 6c4009
  cvt_symbol_1 (libc, __APPEND (FUNC_PREFIX, symbol), \
Packit 6c4009
	      APPEND (q, symbol), GLIBC_2_0); \
Packit 6c4009
  weak_alias (__APPEND (FUNC_PREFIX, symbol), APPEND (FUNC_PREFIX, symbol))
Packit 6c4009
#  define cvt_symbol_1(lib, local, symbol, version) \
Packit 6c4009
  libc_hidden_def (local) \
Packit 6c4009
  compat_symbol (lib, local, symbol, version)
Packit 6c4009
# endif
Packit 6c4009
#else
Packit 6c4009
# define cvt_symbol(symbol) \
Packit 6c4009
  cvt_symbol_1 (__APPEND (FUNC_PREFIX, symbol), APPEND (FUNC_PREFIX, symbol))
Packit 6c4009
#  define cvt_symbol_1(local, symbol) \
Packit 6c4009
  libc_hidden_def (local) \
Packit 6c4009
  weak_alias (local, symbol)
Packit 6c4009
#endif
Packit 6c4009
cvt_symbol(fcvt_r);
Packit 6c4009
cvt_symbol(ecvt_r);