about summary refs log tree commit diff
path: root/sysdeps/ieee754/dbl-64/e_sqrt.c
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2013-06-15 19:59:41 +0000
committerJoseph Myers <joseph@codesourcery.com>2013-06-15 19:59:41 +0000
commit3711a167f6b5203b4414db7853f3c57f1260e1bf (patch)
treec0295404b8914941e6eb24d9cdfa7a371ea90613 /sysdeps/ieee754/dbl-64/e_sqrt.c
parent8fc75e6fb73eebe467da9d1e94d5ef9212cac04f (diff)
downloadglibc-3711a167f6b5203b4414db7853f3c57f1260e1bf.tar.gz
glibc-3711a167f6b5203b4414db7853f3c57f1260e1bf.tar.xz
glibc-3711a167f6b5203b4414db7853f3c57f1260e1bf.zip
Fix spurious "inexact" exceptions from dbl-64 sqrt (bug 15631).
Diffstat (limited to 'sysdeps/ieee754/dbl-64/e_sqrt.c')
-rw-r--r--sysdeps/ieee754/dbl-64/e_sqrt.c17
1 files changed, 15 insertions, 2 deletions
diff --git a/sysdeps/ieee754/dbl-64/e_sqrt.c b/sysdeps/ieee754/dbl-64/e_sqrt.c
index f90ea0c076..54610eeeab 100644
--- a/sysdeps/ieee754/dbl-64/e_sqrt.c
+++ b/sysdeps/ieee754/dbl-64/e_sqrt.c
@@ -63,6 +63,9 @@ double __ieee754_sqrt(double x) {
   s=a.x;
   /*----------------- 2^-1022  <= | x |< 2^1024  -----------------*/
   if (k>0x000fffff && k<0x7ff00000) {
+    fenv_t env;
+    libc_feholdexcept (&env);
+    double ret;
     y=1.0-t*(t*s);
     t=t*(rt0+y*(rt1+y*(rt2+y*rt3)));
     c.i[HIGH_HALF]=0x20000000+((k&0x7fe00000)>>1);
@@ -70,12 +73,22 @@ double __ieee754_sqrt(double x) {
     hy=(y+big)-big;
     del=0.5*t*((s-hy*hy)-(y-hy)*(y+hy));
     res=y+del;
-    if (res == (res+1.002*((y-res)+del))) return res*c.x;
+    if (res == (res+1.002*((y-res)+del))) ret = res*c.x;
     else {
       res1=res+1.5*((y-res)+del);
       EMULV(res,res1,z,zz,p,hx,tx,hy,ty);  /* (z+zz)=res*res1 */
-      return ((((z-s)+zz)<0)?max(res,res1):min(res,res1))*c.x;
+      ret = ((((z-s)+zz)<0)?max(res,res1):min(res,res1))*c.x;
     }
+    math_force_eval (ret);
+    libc_fesetenv (&env);
+    if (x / ret != ret)
+      {
+	double force_inexact = 1.0 / 3.0;
+	math_force_eval (force_inexact);
+      }
+    /* Otherwise (x / ret == ret), either the square root was exact or
+       the division was inexact.  */
+    return ret;
   }
   else {
     if ((k & 0x7ff00000) == 0x7ff00000)