X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ffloat.pure.lisp;h=5612a73fbcbb99ab070931236babd78825e7c247;hb=260de2062fca170efdac3e42491d7d866c2d2e56;hp=35f86288064c692b8d3a3efa98ba37771cb643eb;hpb=182a7b8391d0abea3f08e06c263b1db25edbf526;p=sbcl.git diff --git a/tests/float.pure.lisp b/tests/float.pure.lisp index 35f8628..5612a73 100644 --- a/tests/float.pure.lisp +++ b/tests/float.pure.lisp @@ -269,34 +269,6 @@ (the (eql #c(1.0 2.0)) x)))))))) -;; This was previously x86-only, with note: -;; The x86 port used not to reduce the arguments of transcendentals -;; correctly. On other platforms, we trust libm to DTRT. -;; but it doesn't cost any real amount to just test them all -(with-test (:name :range-reduction - :fails-on ':x86-64) - (flet ((almost= (x y) - (< (abs (- x y)) 1d-5))) - (macrolet ((foo (op value) - `(assert (almost= (,op (mod ,value (* 2 pi))) - (,op ,value))))) - (let ((big (* pi (expt 2d0 70))) - (mid (coerce most-positive-fixnum 'double-float)) - (odd (* pi most-positive-fixnum))) - (foo sin big) - (foo sin mid) - (foo sin odd) - (foo sin (/ odd 2d0)) - - (foo cos big) - (foo cos mid) - (foo cos odd) - (foo cos (/ odd 2d0)) - - (foo tan big) - (foo tan mid) - (foo tan odd))))) - ;; Leakage from the host could result in wrong values for truncation. (with-test (:name :truncate) (assert (plusp (sb-kernel:%unary-truncate/single-float (expt 2f0 33)))) @@ -319,6 +291,12 @@ (macrolet ((with-pinned-floats ((count type &rest names) &body body) "Force COUNT float values to be kept live (and hopefully in registers), fill a temporary register with noise, and execute BODY." + ;; KLUDGE: SB-VM is locked, and non-x86oids don't have + ;; SB-VM::TOUCH-OBJECT. Don't even READ this body on + ;; other platforms. + #-(or x86 x86-64) + (declare (ignore count type names body)) + #+(or x86 x86-64) (let ((dummy (loop repeat count collect (or (pop names) (gensym "TEMP"))))) @@ -409,3 +387,7 @@ (with-test (:name :round-single-to-bignum) (assert (= (round 1e14) 100000000376832)) (assert (= (round 1e19) 9999999980506447872))) + +(with-test (:name :scaled-%hypot) + (assert (<= (abs (complex most-positive-double-float 1d0)) + (1+ most-positive-double-float))))