Our C implementation of flo:abs is busted.

diff --git a/tests/runtime/test-flonum.scm b/tests/runtime/test-flonum.scm
index 3ff6e1f5ccb0b7883ee6c2ab2aee530ac729d45f..c2ae9440006b7be4f1913780808ac3b840e6dc57 100644 (file)
--- a/tests/runtime/test-flonum.scm
+++ b/tests/runtime/test-flonum.scm
@@ -624,3 +624,44 @@ USA.
     (lambda ()
       (assert-nan
        (no-traps (lambda () (flo:max-mag (flo:snan) (flo:snan))))))))
+
+(define expect-failure-interpreted
+  (if (and (compiled-procedure? (lambda (x) x))
+           (compiled-procedure? flo:abs))
+      #!default
+      expect-failure))
+
+(define expect-error-interpreted
+  (if (and (compiled-procedure? (lambda (x) x))
+           (compiled-procedure? flo:abs))
+      #!default
+      expect-error))
+
+(define-enumerated-test 'abs
+  `((-inf.0)
+    (-1.)
+    (-0. ,expect-failure-interpreted)
+    (+0.)
+    (+1.)
+    (+inf.0)
+    (,(flo:make-nan #t #t 0) ,expect-failure-interpreted)
+    (,(flo:make-nan #f #t 0))
+    (,(flo:make-nan #t #t 1) ,expect-failure-interpreted)
+    (,(flo:make-nan #f #t 1))
+    (,(flo:make-nan #t #t (- (expt 2 51) 1)) ,expect-failure-interpreted)
+    (,(flo:make-nan #f #t (- (expt 2 51) 1)))
+    (,(flo:make-nan #t #f 1) ,expect-error-interpreted)
+    (,(flo:make-nan #f #f 1) ,expect-error-interpreted)
+    (,(flo:make-nan #t #f (- (expt 2 51) 1)) ,expect-error-interpreted)
+    (,(flo:make-nan #f #f (- (expt 2 51) 1)) ,expect-error-interpreted))
+  (lambda (x #!optional xfail)
+    (with-expected-failure xfail
+      (lambda ()
+        (let ((y (yes-traps (lambda () (flo:abs x)))))
+          (assert-false (flo:safe-negative? y))
+          (assert-eqv (flo:classify y) (flo:classify x))
+          (if (flo:nan? x)
+              (begin
+                (assert-nan y)
+                (assert-eqv (flo:nan-quiet? x) (flo:nan-quiet? y))
+                (assert-eqv (flo:nan-payload x) (flo:nan-payload y)))))))))