;;;; This software is part of the SBCL system. See the README file for ;;;; more information. ;;;; ;;;; While most of SBCL is derived from the CMU CL system, the test ;;;; files (like this one) were written from scratch after the fork ;;;; from CMU CL. ;;;; ;;;; This software is in the public domain and is provided with ;;;; absolutely no warranty. See the COPYING and CREDITS files for ;;;; more information. ;;; the bitvector transforms were buggy prior to sbcl-0.7.3.4 under ;;; speed-optimizing regimes; in particular, they would fail if the ;;; vector length were near ARRAY-DIMENSION-LIMIT. Testing this takes ;;; up a certain amount of time... (declaim (optimize (speed 3) (safety 1) (space 0) (compilation-speed 0))) (defun test-small-bit-vectors () ;; deal with the potential length 0 special case (let ((a (make-array 0 :element-type 'bit)) (b (make-array 0 :element-type 'bit))) (assert (equal (bit-not a) #*)) (assert (equal (bit-xor a b a) #*)) (assert (equal (bit-and a a b) #*))) ;; also test some return values for sanity (let ((a (make-array 33 :element-type 'bit :initial-element 0)) (b (make-array 33 :element-type 'bit :initial-element 0))) (assert (equal (bit-not a a) #*111111111111111111111111111111111)) (setf (aref a 0) 0) ; a = #*011..1 (setf (aref b 1) 1) ; b = #*010..0 (assert (equal (bit-xor a b) #*001111111111111111111111111111111)) (assert (equal (bit-and a b) #*010000000000000000000000000000000))) ;; a special COUNT transform on bitvectors; triggers on (>= SPEED SPACE) (locally (declare (optimize (speed 3) (space 1))) (let ((bv1 (make-array 5 :element-type 'bit)) (bv2 (make-array 0 :element-type 'bit)) (bv3 (make-array 68 :element-type 'bit))) (declare (type simple-bit-vector bv1 bv2 bv3)) (setf (sbit bv3 42) 1) ;; bitvector smaller than the word size (assert (= 0 (count 1 bv1))) (assert (= 5 (count 0 bv1))) ;; special case of 0-length bitvectors (assert (= 0 (count 1 bv2))) (assert (= 0 (count 0 bv2))) ;; bitvector larger than the word size (assert (= 1 (count 1 bv3))) (assert (= 67 (count 0 bv3)))))) (defun inform (msg) (print msg) (force-output)) (defun test-big-bit-vectors () ;; now test the biggy, mostly that it works... (let ((a (progn (inform :make-array-1) (make-array (1- array-dimension-limit) :element-type 'bit :initial-element 0))) (b (progn (inform :make-array-2) (make-array (1- array-dimension-limit) :element-type 'bit :initial-element 0)))) (inform :bit-not) (bit-not a a) (inform :aref-1) (assert (= (aref a 0) 1)) (inform :aref-2) (assert (= (aref a (- array-dimension-limit 2)) 1)) #-darwin (progn (inform :bit-and) (bit-and a b a) (inform :aref-3) (assert (= (aref a 0) 0)) (inform :aref-4) (assert (= (aref a (- array-dimension-limit 2)) 0))))) (test-small-bit-vectors) #-x86-64 ;; except on machines where addressable space is likely to be ;; much bigger than physical memory (test-big-bit-vectors) ;;; success (sb-ext:quit :unix-status 104)