nsz Git - musl/blob - src/math/nextafterl.c

   1 #include "libm.h"
   2
   3 #if LDBL_MANT_DIG == 53 && LDBL_MAX_EXP == 1024
   4 long double nextafterl(long double x, long double y)
   5 {
   6         return nextafter(x, y);
   7 }
   8 #elif LDBL_MANT_DIG == 64 && LDBL_MAX_EXP == 16384
   9 #define MSB ((uint64_t)1<<63)
  10 long double nextafterl(long double x, long double y)
  11 {
  12         union ldshape ux, uy;
  13
  14         if (isnan(x) || isnan(y))
  15                 return x + y;
  16         if (x == y)
  17                 return y;
  18         ux.value = x;
  19         if (x == 0) {
  20                 uy.value = y;
  21                 ux.bits.m = 1;
  22                 ux.bits.sign = uy.bits.sign;
  23         } else if (x < y ^ ux.bits.sign) {
  24                 ux.bits.m++;
  25                 if ((ux.bits.m & ~MSB) == 0) {
  26                         ux.bits.m = MSB;
  27                         ux.bits.exp++;
  28                 }
  29         } else {
  30                 if ((ux.bits.m & ~MSB) == 0) {
  31                         ux.bits.exp--;
  32                         if (ux.bits.exp)
  33                                 ux.bits.m = 0;
  34                 }
  35                 ux.bits.m--;
  36         }
  37         /* raise overflow if ux.value is infinite and x is finite */
  38         if (ux.bits.exp == 0x7fff)
  39                 return x + x;
  40         /* raise underflow if ux.value is subnormal or zero */
  41         if (ux.bits.exp == 0)
  42                 FORCE_EVAL(x*x + ux.value*ux.value);
  43         return ux.value;
  44 }
  45 #elif LDBL_MANT_DIG == 113 && LDBL_MAX_EXP == 16384
  46 long double nextafterl(long double x, long double y)
  47 {
  48         union ldshape ux, uy;
  49
  50         if (isnan(x) || isnan(y))
  51                 return x + y;
  52         if (x == y)
  53                 return y;
  54         ux.value = x;
  55         if (x == 0) {
  56                 uy.value = y;
  57                 ux.bits.mlo = 1;
  58                 ux.bits.sign = uy.bits.sign;
  59         } else if (x < y ^ ux.bits.sign) {
  60                 ux.bits.mlo++;
  61                 if (ux.bits.mlo == 0) {
  62                         ux.bits.mhi++;
  63                         if (ux.bits.mhi == 0)
  64                                 ux.bits.exp++;
  65                 }
  66         } else {
  67                 if (ux.bits.mlo == 0) {
  68                         if (ux.bits.mhi == 0)
  69                                 ux.bits.exp--;
  70                         ux.bits.mhi--;
  71                 }
  72                 ux.bits.mlo--;
  73         }
  74         /* raise overflow if ux.value is infinite and x is finite */
  75         if (ux.bits.exp == 0x7fff)
  76                 return x + x;
  77         /* raise underflow if ux.value is subnormal or zero */
  78         if (ux.bits.exp == 0)
  79                 FORCE_EVAL(x*x + ux.value*ux.value);
  80         return ux.value;
  81 }
  82 #endif