X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=5066830533e4c02844f2c3538968d7e51572e116;hb=22c1de0a40df83bb5628974010a879cb2c17ff53;hp=64f425e3004f365fd6c7df8b4bca288ed68109ee;hpb=4bc9a2b01540f3a7cbf4499b4689b292fe406139;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 64f425e..5066830 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -446,8 +446,8 @@
                                 (declare (notinline mapcar))
                                 (1+ (mapcar #'print '(1 2 3)))))))
 
-;; bug found by Paul Dietz: (SETF AREF) for bit vectors with constant
-;; index was effectless
+;;; bug found by Paul Dietz: (SETF AREF) for bit vectors with constant
+;;; index was effectless
 (let ((f (compile nil '(lambda (a v)
                         (declare (type simple-bit-vector a) (type bit v))
                         (declare (optimize (speed 3) (safety 0)))
@@ -462,3 +462,32 @@
   (compile nil '(lambda (x)
 		 (declare (type (simple-array (simple-string 3) (5)) x))
 		 (aref (aref x 0) 0))))
+
+;;; compiler failure
+(let ((f (compile nil '(lambda (x) (typep x '(not (member 0d0)))))))
+  (assert (funcall f 1d0)))
+
+(compile nil '(lambda (x)
+	       (declare (double-float x))
+	       (let ((y (* x pi)))
+		 (atan y y))))
+
+;;; bogus optimization of BIT-NOT
+(multiple-value-bind (result x)
+    (eval '(let ((x (eval #*1001)))
+            (declare (optimize (speed 2) (space 3))
+                     (type (bit-vector) x))
+            (values (bit-not x nil) x)))
+  (assert (equal x #*1001))
+  (assert (equal result #*0110)))
+
+;;; the VECTOR type in CONCATENATE/MERGE/MAKE-SEQUENCE means (VECTOR T).
+(handler-bind ((sb-ext:compiler-note #'error))
+  (assert (equalp (funcall
+		   (compile
+		    nil
+		    '(lambda ()
+		      (let ((x (make-sequence 'vector 10 :initial-element 'a)))
+			(setf (aref x 4) 'b)
+			x))))
+		  #(a a a a b a a a a a))))