message

[sbcl.git] / tests / compiler.pure.lisp

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index ba1eeed..3381087 100644 (file)
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1667,3 +1667,52 @@
        (type (simple-array (unsigned-byte 32) (*)) v))
       (setf (aref v 0) (* (* x #.(floor (ash 1 32) (* 11 80))) y))
       nil)))
+
+;;; Bug reported by Robert J. Macomber: instrumenting of more-entry
+;;; prevented open coding of %LISTIFY-REST-ARGS.
+(let ((f (compile nil '(lambda ()
+                        (declare (optimize (debug 3)))
+                        (with-simple-restart (blah "blah") (error "blah"))))))
+  (handler-bind ((error (lambda (c) (invoke-restart 'blah))))
+    (assert (equal (multiple-value-list (funcall f)) '(nil t)))))
+
+;;; Bug reported by Timmy Douglas: overflow in bit vector setter with
+;;; constant index and value.
+(let* ((n (* 2 sb-vm::n-word-bits))
+       (array1 (make-array n :element-type 'bit))
+       (array2 (make-array n :element-type 'bit)))
+  (dotimes (i n)
+    (dotimes (v 2)
+      (let ((f (compile nil `(lambda (a)
+                               (declare (type (simple-array bit (,n)) a))
+                               (setf (bit a ,i) ,v)))))
+        (fill array1 (- 1 v))
+        (fill array2 (- 1 v))
+        (funcall f array1)
+        (setf (aref array2 i) v)
+        (assert (equal array1 array2))))))
+
+(let ((fn (compile nil '(lambda (x)
+                         (declare (type bit x))
+                         (declare (optimize speed))
+                         (let ((b (make-array 64 :element-type 'bit
+                                              :initial-element 0)))
+                           (count x b))))))
+  (assert (= (funcall fn 0) 64))
+  (assert (= (funcall fn 1) 0)))
+
+(let ((fn (compile nil '(lambda (x y)
+                         (declare (type simple-bit-vector x y))
+                         (declare (optimize speed))
+                         (equal x y)))))
+  (assert (funcall 
+          fn 
+          (make-array 64 :element-type 'bit :initial-element 0)
+          (make-array 64 :element-type 'bit :initial-element 0)))
+  (assert (not 
+          (funcall 
+           fn
+           (make-array 64 :element-type 'bit :initial-element 0)
+           (let ((b (make-array 64 :element-type 'bit :initial-element 0)))
+             (setf (sbit b 63) 1)
+             b)))))