Blame sysdeps/ieee754/ldbl-128/s_lroundl.c

Packit 6c4009
/* Round long double value to long int.
Packit 6c4009
   Copyright (C) 1997-2018 Free Software Foundation, Inc.
Packit 6c4009
   This file is part of the GNU C Library.
Packit 6c4009
   Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997 and
Packit 6c4009
		  Jakub Jelinek <jj@ultra.linux.cz>, 1999.
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 <fenv.h>
Packit 6c4009
#include <limits.h>
Packit 6c4009
#include <math.h>
Packit 6c4009
Packit 6c4009
#include <math_private.h>
Packit 6c4009
#include <libm-alias-ldouble.h>
Packit 6c4009
#include <fix-fp-int-convert-overflow.h>
Packit 6c4009
Packit 6c4009
long int
Packit 6c4009
__lroundl (_Float128 x)
Packit 6c4009
{
Packit 6c4009
  int64_t j0;
Packit 6c4009
  uint64_t i1, i0;
Packit 6c4009
  long int result;
Packit 6c4009
  int sign;
Packit 6c4009
Packit 6c4009
  GET_LDOUBLE_WORDS64 (i0, i1, x);
Packit 6c4009
  j0 = ((i0 >> 48) & 0x7fff) - 0x3fff;
Packit 6c4009
  sign = (i0 & 0x8000000000000000ULL) != 0 ? -1 : 1;
Packit 6c4009
  i0 &= 0x0000ffffffffffffLL;
Packit 6c4009
  i0 |= 0x0001000000000000LL;
Packit 6c4009
Packit 6c4009
  if (j0 < (int32_t) (8 * sizeof (long int)) - 1)
Packit 6c4009
    {
Packit 6c4009
      if (j0 < 48)
Packit 6c4009
	{
Packit 6c4009
	  if (j0 < 0)
Packit 6c4009
	    return j0 < -1 ? 0 : sign;
Packit 6c4009
	  else
Packit 6c4009
	    {
Packit 6c4009
	      i0 += 0x0000800000000000LL >> j0;
Packit 6c4009
	      result = i0 >> (48 - j0);
Packit 6c4009
#ifdef FE_INVALID
Packit 6c4009
	      if (sizeof (long int) == 4
Packit 6c4009
		  && sign == 1
Packit 6c4009
		  && result == LONG_MIN)
Packit 6c4009
		/* Rounding brought the value out of range.  */
Packit 6c4009
		feraiseexcept (FE_INVALID);
Packit 6c4009
#endif
Packit 6c4009
	    }
Packit 6c4009
	}
Packit 6c4009
      else if (j0 >= 112)
Packit 6c4009
	result = ((long int) i0 << (j0 - 48)) | (i1 << (j0 - 112));
Packit 6c4009
      else
Packit 6c4009
	{
Packit 6c4009
	  uint64_t j = i1 + (0x8000000000000000ULL >> (j0 - 48));
Packit 6c4009
	  if (j < i1)
Packit 6c4009
	    ++i0;
Packit 6c4009
Packit 6c4009
	  if (j0 == 48)
Packit 6c4009
	    result = (long int) i0;
Packit 6c4009
	  else
Packit 6c4009
	    {
Packit 6c4009
	      result = ((long int) i0 << (j0 - 48)) | (j >> (112 - j0));
Packit 6c4009
#ifdef FE_INVALID
Packit 6c4009
	      if (sizeof (long int) == 8
Packit 6c4009
		  && sign == 1
Packit 6c4009
		  && result == LONG_MIN)
Packit 6c4009
		/* Rounding brought the value out of range.  */
Packit 6c4009
		feraiseexcept (FE_INVALID);
Packit 6c4009
#endif
Packit 6c4009
	    }
Packit 6c4009
	}
Packit 6c4009
    }
Packit 6c4009
  else
Packit 6c4009
    {
Packit 6c4009
      /* The number is too large.  Unless it rounds to LONG_MIN,
Packit 6c4009
	 FE_INVALID must be raised and the return value is
Packit 6c4009
	 unspecified.  */
Packit 6c4009
#ifdef FE_INVALID
Packit 6c4009
      if (FIX_LDBL_LONG_CONVERT_OVERFLOW
Packit 6c4009
	  && !(sign == -1 && x > (_Float128) LONG_MIN - L(0.5)))
Packit 6c4009
	{
Packit 6c4009
	  feraiseexcept (FE_INVALID);
Packit 6c4009
	  return sign == 1 ? LONG_MAX : LONG_MIN;
Packit 6c4009
	}
Packit 6c4009
      else if (!FIX_LDBL_LONG_CONVERT_OVERFLOW
Packit 6c4009
	       && x <= (_Float128) LONG_MIN - L(0.5))
Packit 6c4009
	{
Packit 6c4009
	  /* If truncation produces LONG_MIN, the cast will not raise
Packit 6c4009
	     the exception, but may raise "inexact".  */
Packit 6c4009
	  feraiseexcept (FE_INVALID);
Packit 6c4009
	  return LONG_MIN;
Packit 6c4009
	}
Packit 6c4009
#endif
Packit 6c4009
      /* The number is too large.  It is left implementation defined
Packit 6c4009
	 what happens.  */
Packit 6c4009
      return (long int) x;
Packit 6c4009
    }
Packit 6c4009
Packit 6c4009
  return sign * result;
Packit 6c4009
}
Packit 6c4009
Packit 6c4009
libm_alias_ldouble (__lround, lround)