Blame sysdeps/ieee754/ldbl-128ibm/s_roundevenl.c

Packit 6c4009
/* Round to nearest integer value, rounding halfway cases to even.
Packit 6c4009
   ldbl-128ibm version.
Packit 6c4009
   Copyright (C) 2016-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 <math.h>
Packit 6c4009
#include <math_private.h>
Packit 6c4009
Packit 6c4009
long double
Packit 6c4009
__roundevenl (long double x)
Packit 6c4009
{
Packit 6c4009
  double xh, xl, hi;
Packit 6c4009
Packit 6c4009
  ldbl_unpack (x, &xh, &xl);
Packit 6c4009
Packit 6c4009
  if (xh != 0 && isfinite (xh))
Packit 6c4009
    {
Packit 6c4009
      hi = __roundeven (xh);
Packit 6c4009
      if (hi != xh)
Packit 6c4009
	{
Packit 6c4009
	  /* The high part is not an integer; the low part only
Packit 6c4009
	     affects the result if the high part is exactly half way
Packit 6c4009
	     between two integers and the low part is nonzero in the
Packit 6c4009
	     opposite direction to the rounding of the high part.  */
Packit 6c4009
	  double diff = hi - xh;
Packit 6c4009
	  if (fabs (diff) == 0.5)
Packit 6c4009
	    {
Packit 6c4009
	      if (xl < 0 && diff > 0)
Packit 6c4009
		xh = hi - 1;
Packit 6c4009
	      else if (xl > 0 && diff < 0)
Packit 6c4009
		xh = hi + 1;
Packit 6c4009
	      else
Packit 6c4009
		xh = hi;
Packit 6c4009
	    }
Packit 6c4009
	  else
Packit 6c4009
	    xh = hi;
Packit 6c4009
	  xl = 0;
Packit 6c4009
	}
Packit 6c4009
      else
Packit 6c4009
	{
Packit 6c4009
	  /* The high part is a nonzero integer.  Rounding the low
Packit 6c4009
	     part to nearest, ties round to even, is always correct,
Packit 6c4009
	     as a high part that is an odd integer together with a low
Packit 6c4009
	     part with magnitude 0.5 is not a valid long double.  */
Packit 6c4009
	  xl = __roundeven (xl);
Packit 6c4009
	  xh = hi;
Packit 6c4009
	  ldbl_canonicalize_int (&xh, &xl);
Packit 6c4009
	}
Packit 6c4009
    }
Packit 6c4009
  else
Packit 6c4009
    /* Quiet signaling NaN arguments.  */
Packit 6c4009
    xh += xh;
Packit 6c4009
Packit 6c4009
  return ldbl_pack (xh, xl);
Packit 6c4009
}
Packit 6c4009
weak_alias (__roundevenl, roundevenl)