X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ffloat.impure.lisp;h=04609a48cc23f429e17818fd3e902874f46fa90c;hb=2fb5b174f6acb88a85c86aa4cd753ddefaccc987;hp=2af31bf5b2c7578697024fe7c7164638e9b7edb9;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git

diff --git a/tests/float.impure.lisp b/tests/float.impure.lisp
index 2af31bf..04609a4 100644
--- a/tests/float.impure.lisp
+++ b/tests/float.impure.lisp
@@ -95,5 +95,27 @@
   (test atanh)
   (test exp))
 
-;;; success
-(quit :unix-status 104)
+;;; Broken move-arg-double-float for non-rsp frame pointers on x86-64
+(defun test (y)
+  (declare (optimize speed))
+  (multiple-value-bind (x)
+      (labels ((aux (x)
+                 (declare (double-float x))
+                 (etypecase y
+                   (double-float
+                    nil)
+                   (fixnum
+                    (aux x))
+                   (complex
+                    (format t "y=~s~%" y)))
+                 (values x)))
+        (aux 2.0d0))
+    x))
+
+(assert (= (test 1.0d0) 2.0d0))
+
+(deftype myarraytype (&optional (length '*))
+  `(simple-array double-float (,length)))
+(defun new-pu-label-from-pu-labels (array)
+  (setf (aref (the myarraytype array) 0)
+        sb-ext:double-float-positive-infinity))