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                 volatile float z = x*x + ux.value*ux.value;
  43         }
  44         return ux.value;
  45 }
  46 #elif LDBL_MANT_DIG == 113 && LDBL_MAX_EXP == 16384
  47 long double nextafterl(long double x, long double y)
  48 {
  49         union ldshape ux, uy;
  50
  51         if (isnan(x) || isnan(y))
  52                 return x + y;
  53         if (x == y)
  54                 return y;
  55         ux.value = x;
  56         if (x == 0) {
  57                 uy.value = y;
  58                 ux.bits.mlo = 1;
  59                 ux.bits.sign = uy.bits.sign;
  60         } else if (x < y ^ ux.bits.sign) {
  61                 ux.bits.mlo++;
  62                 if (ux.bits.mlo == 0) {
  63                         ux.bits.mhi++;
  64                         if (ux.bits.mhi == 0)
  65                                 ux.bits.exp++;
  66                 }
  67         } else {
  68                 if (ux.bits.mlo == 0) {
  69                         if (ux.bits.mhi == 0)
  70                                 ux.bits.exp--;
  71                         ux.bits.mhi--;
  72                 }
  73                 ux.bits.mlo--;
  74         }
  75         /* raise overflow if ux.value is infinite and x is finite */
  76         if (ux.bits.exp == 0x7fff)
  77                 return x + x;
  78         /* raise underflow if ux.value is subnormal or zero */
  79         if (ux.bits.exp == 0) {
  80                 volatile float z = x*x + ux.value*ux.value;
  81         }
  82         return ux.value;
  83 }
  84 #endif