X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;fp=tests%2Fcompiler.pure.lisp;h=ee6905e866a6fdfc2ef5735e506a5d9b9a5809b8;hb=20102d9bd3c62691cc2c27725ff7ffdcab54ab2b;hp=40f4bef19d67fd883d5e6b1c3c352df7f5154642;hpb=2cfc78cdd55a4641b16e0eb7f277286e520fc959;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 40f4bef..ee6905e 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -4835,3 +4835,27 @@
                        (c ()))
                      x)))))
 
+(with-test (:name :copy-more-arg
+            :fails-on '(not (or :x86 :x86-64)))
+  ;; copy-more-arg might not copy in the right direction
+  ;; when there are more fixed args than stack frame slots,
+  ;; and thus end up splatting a single argument everywhere.
+  ;; Fixed on x86oids only, but other platforms still start
+  ;; their stack frames at 8 slots, so this is less likely
+  ;; to happen.
+  (labels ((iota (n)
+             (loop for i below n collect i))
+           (test-function (function skip)
+             ;; function should just be (subseq x skip)
+             (loop for i from skip below (+ skip 16) do
+               (let* ((values (iota i))
+                      (f (apply function values))
+                      (subseq (subseq values skip)))
+                 (assert (equal f subseq)))))
+           (make-function (n)
+             (let ((gensyms (loop for i below n collect (gensym))))
+               (compile nil `(lambda (,@gensyms &rest rest)
+                               (declare (ignore ,@gensyms))
+                               rest)))))
+    (dotimes (i 16)
+      (test-function (make-function i) i))))