-- sysdeps/alpha/fpu/s_ceil.c.orig

++ sysdeps/alpha/fpu/s_ceil.c

  double two52 = copysign (0x1.0p52, x);

  if (isless (fabs (x), 9007199254740992.0))	/* 1 << DBL_MANT_DIG */

  double r, tmp;

    {

      double tmp1, new_x;

  __asm (

      new_x = -x;

      __asm (

	 "addt/suim %2, %3, %1\n\tsubt/suim %1, %3, %0"

	     "cvttq/svim %2,%1\n\t"

	 "addt/sum %2, %3, %1\n\tsubt/sum %1, %3, %0"

	     "cvttq/svm %2,%1\n\t"

	 : "=&f"(r), "=&f"(tmp)

	     "cvtqt/m %1,%0\n\t"

	 : "f"(-x), "f"(-two52));

	     : "=f"(new_x), "=&f"(tmp1)

	     : "f"(new_x));

  /* Fix up the negation we did above, as well as handling -0 properly. */

      /* Fix up the negation we did above, as well as handling -0 properly. */

  return copysign (r, x);

      x = copysign(new_x, x);

    }

  return x;

-- sysdeps/alpha/fpu/s_ceilf.c.orig

++ sysdeps/alpha/fpu/s_ceilf.c

  float two23 = copysignf (0x1.0p23, x);

  if (isless (fabsf (x), 16777216.0f))	/* 1 << FLT_MANT_DIG */

  float r, tmp;

    {

      /* Note that Alpha S_Floating is stored in registers in a

  __asm (

	 restricted T_Floating format, so we don't even need to

	 convert back to S_Floating in the end.  The initial

	 conversion to T_Floating is needed to handle denormals.  */

      float tmp1, tmp2, new_x;

      new_x = -x;

      __asm ("cvtst/s %3,%2\n\t"

	 "adds/suim %2, %3, %1\n\tsubs/suim %1, %3, %0"

	     "cvttq/svim %2,%1\n\t"

	 "adds/sum %2, %3, %1\n\tsubs/sum %1, %3, %0"

	     "cvttq/svm %2,%1\n\t"

	 : "=&f"(r), "=&f"(tmp)

	     "cvtqt/m %1,%0\n\t"

	 : "f"(-x), "f"(-two23));

	     : "=f"(new_x), "=&f"(tmp1), "=&f"(tmp2)

	     : "f"(new_x));

  /* Fix up the negation we did above, as well as handling -0 properly. */

      /* Fix up the negation we did above, as well as handling -0 properly. */

  return copysignf (r, x);

      x = copysignf(new_x, x);

    }

  return x;

-- sysdeps/alpha/fpu/s_floor.c.orig

++ sysdeps/alpha/fpu/s_floor.c

/* Use the -inf rounding mode conversion instructions to implement floor.  */

/* Use the -inf rounding mode conversion instructions to implement

   floor.  We note when the exponent is large enough that the value

   must be integral, as this avoids unpleasant integer overflows.  */

  double two52 = copysign (0x1.0p52, x);

  if (isless (fabs (x), 9007199254740992.0))	/* 1 << DBL_MANT_DIG */

  double r, tmp;

    {

      double tmp1, new_x;

  __asm (

      __asm (

	 "addt/suim %2, %3, %1\n\tsubt/suim %1, %3, %0"

	     "cvttq/svim %2,%1\n\t"

	 "addt/sum %2, %3, %1\n\tsubt/sum %1, %3, %0"

	     "cvttq/svm %2,%1\n\t"

	 : "=&f"(r), "=&f"(tmp)

	     "cvtqt/m %1,%0\n\t"

	 : "f"(x), "f"(two52));

	     : "=f"(new_x), "=&f"(tmp1)

	     : "f"(x));

  /* floor(-0) == -0, and in general we'll always have the same

      /* floor(-0) == -0, and in general we'll always have the same

     sign as our input.  */

	 sign as our input.  */

  return copysign (r, x);

      x = copysign(new_x, x);

    }

  return x;

-- sysdeps/alpha/fpu/s_floorf.c.orig

++ sysdeps/alpha/fpu/s_floorf.c

/* Use the -inf rounding mode conversion instructions to implement floor.  */

/* Use the -inf rounding mode conversion instructions to implement

   floor.  We note when the exponent is large enough that the value

   must be integral, as this avoids unpleasant integer overflows.  */

  float two23 = copysignf (0x1.0p23, x);

  if (isless (fabsf (x), 16777216.0f))	/* 1 << FLT_MANT_DIG */

  float r, tmp;

    {

      /* Note that Alpha S_Floating is stored in registers in a

  __asm (

	 restricted T_Floating format, so we don't even need to

	 convert back to S_Floating in the end.  The initial

	 conversion to T_Floating is needed to handle denormals.  */

      float tmp1, tmp2, new_x;

      __asm ("cvtst/s %3,%2\n\t"

	 "adds/suim %2, %3, %1\n\tsubs/suim %1, %3, %0"

	     "cvttq/svim %2,%1\n\t"

	 "adds/sum %2, %3, %1\n\tsubs/sum %1, %3, %0"

	     "cvttq/svm %2,%1\n\t"

	 : "=&f"(r), "=&f"(tmp)

	     "cvtqt/m %1,%0\n\t"

	 : "f"(x), "f"(two23));

	     : "=f"(new_x), "=&f"(tmp1), "=&f"(tmp2)

	     : "f"(x));

  /* floor(-0) == -0, and in general we'll always have the same

      /* floor(-0) == -0, and in general we'll always have the same

     sign as our input.  */

	 sign as our input.  */

  return copysignf (r, x);

      x = copysignf(new_x, x);

    }

  return x;

-- sysdeps/alpha/fpu/s_rint.c.orig

++ sysdeps/alpha/fpu/s_rint.c

  double two52 = copysign (0x1.0p52, x);

  if (isless (fabs (x), 9007199254740992.0))	/* 1 << DBL_MANT_DIG */

  double r;

    {

      double tmp1, new_x;

  r = x + two52;

      __asm (

  r = r - two52;

#ifdef _IEEE_FP_INEXACT

	     "cvttq/svid %2,%1\n\t"

#else

	     "cvttq/svd %2,%1\n\t"

#endif

	     "cvtqt/d %1,%0\n\t"

	     : "=f"(new_x), "=&f"(tmp1)

	     : "f"(x));

  /* rint(-0.1) == -0, and in general we'll always have the same sign

      /* rint(-0.1) == -0, and in general we'll always have the same

     as our input.  */

	 sign as our input.  */

  return copysign (r, x);

      x = copysign(new_x, x);

    }

  return x;

-- sysdeps/alpha/fpu/s_rintf.c.orig

++ sysdeps/alpha/fpu/s_rintf.c

  float two23 = copysignf (0x1.0p23, x);

  if (isless (fabsf (x), 16777216.0f))	/* 1 << FLT_MANT_DIG */

  float r;

    {

      /* Note that Alpha S_Floating is stored in registers in a

	 restricted T_Floating format, so we don't even need to

	 convert back to S_Floating in the end.  The initial

	 conversion to T_Floating is needed to handle denormals.  */

  r = x + two23;

      float tmp1, tmp2, new_x;

  r = r - two23;

  /* rint(-0.1) == -0, and in general we'll always have the same sign

      __asm ("cvtst/s %3,%2\n\t"

     as our input.  */

#ifdef _IEEE_FP_INEXACT

  return copysign (r, x);

	     "cvttq/svid %2,%1\n\t"

#else

	     "cvttq/svd %2,%1\n\t"

#endif

	     "cvtqt/d %1,%0\n\t"

	     : "=f"(new_x), "=&f"(tmp1), "=&f"(tmp2)

	     : "f"(x));

      /* rint(-0.1) == -0, and in general we'll always have the same

	 sign as our input.  */

      x = copysignf(new_x, x);

    }

  return x;