[cmucl-commit] [git] CMU Common Lisp branch master updated. snapshot-2014-08-28-g63929ee

[Raymond Toy]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "CMU Common Lisp".

The branch, master has been updated
       via  63929ee776996a45c97444ffe807316ae6187e3c (commit)
      from  bd30c83c9503bf6b5cb3f569e9b842e72772ae9b (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 63929ee776996a45c97444ffe807316ae6187e3c
Author: Raymond Toy <toy.raymond at gmail.com>
Date:   Sat Aug 23 08:22:58 2014 -0700

    Make atanh signal errors using fdlibm_setexception.
    
     * src/lisp/e_atanh.c
       * Use fdlibm_setexception
     * tests/trig.lisp:
       * Add tests for atanh

diff --git a/src/lisp/e_atanh.c b/src/lisp/e_atanh.c
index 3588436..aed70d4 100644
--- a/src/lisp/e_atanh.c
+++ b/src/lisp/e_atanh.c
@@ -57,10 +57,11 @@ static double zero = 0.0;
 	lx = ux.i[LOWORD];		/* low word */
 	ix = hx&0x7fffffff;
 	if ((ix|((lx|(-lx))>>31))>0x3ff00000) /* |x|>1 */
-	    return (x-x)/(x-x);
-	if(ix==0x3ff00000) 
-	    return x/zero;
-	if(ix<0x3e300000&&(huge+x)>zero) return x;	/* x<2**-28 */
+          return fdlibm_setexception(x, FDLIBM_INVALID);
+        if(ix==0x3ff00000) 
+          return fdlibm_setexception(x, FDLIBM_DIVIDE_BY_ZERO);
+        
+        if(ix<0x3e300000&&(huge+x)>zero) return x;	/* x<2**-28 */
         ux.d = x;
 	ux.i[HIWORD] = ix;		/* x <- |x| */
         x = ux.d;
diff --git a/tests/trig.lisp b/tests/trig.lisp
index d95db71..1b6102d 100644
--- a/tests/trig.lisp
+++ b/tests/trig.lisp
@@ -888,6 +888,26 @@
   (kernel::with-float-traps-masked (:invalid)
     (assert-true (ext:float-nan-p (kernel:%asinh *snan*)))))
 
+(define-test atanh.exceptions
+  (:tag :fdlibm)
+  (assert-error 'floating-point-invalid-operation
+		(kernel:%atanh 2d0))
+  (assert-error 'floating-point-invalid-operation
+		(kernel:%atanh -2d0))
+  (assert-error 'division-by-zero
+		(kernel:%atanh 1d0))
+  (assert-error 'division-by-zero
+		(kernel:%atanh -1d0))
+  (kernel::with-float-traps-masked (:invalid)
+    (assert-true (ext:float-nan-p (kernel:%atanh 2d0)))
+    (assert-true (ext:float-nan-p (kernel:%atanh -2d0))))
+  (kernel::with-float-traps-masked (:divide-by-zero)
+    (assert-equal ext:double-float-positive-infinity
+		  (kernel:%atanh 1d0))
+    (assert-equal ext:double-float-negative-infinity
+		  (kernel:%atanh -1d0))))
+    
+
 (define-test expm1.exceptions
   (:tag :fdlibm)
   (assert-error 'floating-point-overflow

-----------------------------------------------------------------------

Summary of changes:
 src/lisp/e_atanh.c |    9 +++++----
 tests/trig.lisp    |   20 ++++++++++++++++++++
 2 files changed, 25 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
CMU Common Lisp