+(with-test (:name :sequence-functions-list-types)
+ (macrolet ((assert-type-error (form)
+ `(assert (typep (nth-value 1 (ignore-errors ,form))
+ 'type-error))))
+ (locally
+ (declare (optimize safety))
+ ;; MAKE-SEQUENCE
+ (assert-type-error (make-sequence 'cons 0))
+ (assert-type-error (make-sequence 'null 1))
+ (assert-type-error (make-sequence '(cons t null) 0))
+ (assert-type-error (make-sequence '(cons t null) 2))
+ ;; KLUDGE: I'm not certain that this test actually tests for what
+ ;; it should test, in that the type deriver and optimizers might
+ ;; be too smart for the good of an exhaustive test system.
+ ;; However, it makes me feel good. -- CSR, 2002-10-18
+ (assert (null (make-sequence 'null 0)))
+ (assert (= (length (make-sequence 'cons 3)) 3))
+ (assert (= (length (make-sequence '(cons t null) 1)) 1))
+ ;; and NIL is not a valid type for MAKE-SEQUENCE
+ (assert-type-error (make-sequence 'nil 0))
+ ;; COERCE
+ (assert-type-error (coerce #(1) 'null))
+ (assert-type-error (coerce #() 'cons))
+ (assert-type-error (coerce #() '(cons t null)))
+ (assert-type-error (coerce #(1 2) '(cons t null)))
+ (assert (null (coerce #() 'null)))
+ (assert (= (length (coerce #(1) 'cons)) 1))
+ (assert (= (length (coerce #(1) '(cons t null))) 1))
+ (assert-type-error (coerce #() 'nil))
+ ;; MERGE
+ (assert-type-error (merge 'null (list 1 3) (list 2 4) '<))
+ (assert-type-error (merge 'cons () () '<))
+ (assert (null (merge 'null () () '<)))
+ (assert (= (length (merge 'cons (list 1 3) (list 2 4) '<)) 4))
+ (assert (= (length (merge '(cons t (cons t (cons t (cons t null))))
+ (list 1 3) (list 2 4)
+ '<))
+ 4))
+ (assert-type-error (merge 'nil () () '<))
+ ;; CONCATENATE
+ (assert-type-error (concatenate 'cons #() ()))
+ (assert-type-error (concatenate '(cons t null) #(1 2 3) #(4 5 6)))
+ (assert (= (length (concatenate 'cons #() '(1) "2 3")) 4))
+ (assert (= (length (concatenate '(cons t cons) '(1) "34")) 3))
+ (assert-type-error (concatenate 'nil '(3)))
+ ;; FIXME: tests for MAP to come when some brave soul implements
+ ;; the analogous type checking for MAP/%MAP.
+ )))
+\f
+;;; ELT should signal an error of type TYPE-ERROR if its index
+;;; argument isn't a valid sequence index for sequence:
+(defun test-elt-signal (x)
+ (elt x 3))
+(assert (raises-error? (test-elt-signal "foo") type-error))
+(assert (eql (test-elt-signal "foob") #\b))
+(locally
+ (declare (optimize (safety 3)))
+ (assert (raises-error? (elt (list 1 2 3) 3) type-error)))
+\f
+;;; confusion in the refactoring led to this signalling an unbound
+;;; variable, not a type error.
+(defun svrefalike (x)
+ (svref x 0))
+(assert (raises-error? (svrefalike #*0) type-error))
+\f
+;;; checks for uniform bounding index handling.
+;;;
+;;; This used to be SAFETY 3 only, but bypassing these checks with
+;;; above-zero speed when SPEED > SAFETY is not The SBCL Way.
+;;;
+;;; KLUDGE: not all in one big form because that causes SBCL to spend
+;;; an absolute age trying to compile it.
+(defmacro sequence-bounding-indices-test (&body body)
+ `(progn
+ (locally
+ ;; See Issues 332 [and 333(!)] in the CLHS
+ (declare (optimize (speed 3) (safety 1)))
+ (let ((string (make-array 10
+ :fill-pointer 5
+ :initial-element #\a
+ :element-type 'base-char)))
+ ,(car body)
+ (format t "... BASE-CHAR")
+ (finish-output)
+ (flet ((reset ()
+ (setf (fill-pointer string) 10)
+ (fill string #\a)
+ (setf (fill-pointer string) 5)))
+ (declare (ignorable #'reset))
+ ,@(cdr body))))
+ (locally
+ ;; See Issues 332 [and 333(!)] in the CLHS
+ (declare (optimize (speed 3) (safety 1)))
+ (let ((string (make-array 10
+ :fill-pointer 5
+ :initial-element #\a
+ :element-type 'character)))
+ ,(car body)
+ (format t "... CHARACTER")
+ (finish-output)
+ (flet ((reset ()
+ (setf (fill-pointer string) 10)
+ (fill string #\a)
+ (setf (fill-pointer string) 5)))
+ (declare (ignorable #'reset))
+ ,@(cdr body))))))
+
+(declaim (notinline opaque-identity))
+(defun opaque-identity (x) x)
+;;; Accessor SUBSEQ
+(sequence-bounding-indices-test
+ (format t "~&/Accessor SUBSEQ")
+ (assert (string= (subseq string 0 5) "aaaaa"))
+ (assert (raises-error? (subseq string 0 6)))
+ (assert (raises-error? (subseq string (opaque-identity -1) 5)))
+ (assert (raises-error? (subseq string 4 2)))
+ (assert (raises-error? (subseq string 6)))
+ (assert (string= (setf (subseq string 0 5) "abcde") "abcde"))
+ (assert (string= (subseq string 0 5) "abcde"))
+ (reset)
+ (assert (raises-error? (setf (subseq string 0 6) "abcdef")))
+ (assert (raises-error? (setf (subseq string (opaque-identity -1) 5) "abcdef")))
+ (assert (raises-error? (setf (subseq string 4 2) "")))
+ (assert (raises-error? (setf (subseq string 6) "ghij"))))
+
+;;; Function COUNT, COUNT-IF, COUNT-IF-NOT
+(sequence-bounding-indices-test
+ (format t "~&/Function COUNT, COUNT-IF, COUNT-IF-NOT")
+ (assert (= (count #\a string :start 0 :end nil) 5))
+ (assert (= (count #\a string :start 0 :end 5) 5))
+ (assert (raises-error? (count #\a string :start 0 :end 6)))
+ (assert (raises-error? (count #\a string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (count #\a string :start 4 :end 2)))
+ (assert (raises-error? (count #\a string :start 6 :end 9)))
+ (assert (= (count-if #'alpha-char-p string :start 0 :end nil) 5))
+ (assert (= (count-if #'alpha-char-p string :start 0 :end 5) 5))
+ (assert (raises-error?
+ (count-if #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (count-if #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (count-if #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (count-if #'alpha-char-p string :start 6 :end 9)))
+ (assert (= (count-if-not #'alpha-char-p string :start 0 :end nil) 0))
+ (assert (= (count-if-not #'alpha-char-p string :start 0 :end 5) 0))
+ (assert (raises-error?
+ (count-if-not #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (count-if-not #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (count-if-not #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (count-if-not #'alpha-char-p string :start 6 :end 9))))
+
+;;; Function FILL
+(sequence-bounding-indices-test
+ (format t "~&/Function FILL")
+ (assert (string= (fill string #\b :start 0 :end 5) "bbbbb"))
+ (assert (string= (fill string #\c :start 0 :end nil) "ccccc"))
+ (assert (raises-error? (fill string #\d :start 0 :end 6)))
+ (assert (raises-error? (fill string #\d :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (fill string #\d :start 4 :end 2)))
+ (assert (raises-error? (fill string #\d :start 6 :end 9))))
+
+;;; Function FIND, FIND-IF, FIND-IF-NOT
+(sequence-bounding-indices-test
+ (format t "~&/Function FIND, FIND-IF, FIND-IF-NOT")
+ (assert (char= (find #\a string :start 0 :end nil) #\a))
+ (assert (char= (find #\a string :start 0 :end 5) #\a))
+ (assert (raises-error? (find #\a string :start 0 :end 6)))
+ (assert (raises-error? (find #\a string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (find #\a string :start 4 :end 2)))
+ (assert (raises-error? (find #\a string :start 6 :end 9)))
+ (assert (char= (find-if #'alpha-char-p string :start 0 :end nil) #\a))
+ (assert (char= (find-if #'alpha-char-p string :start 0 :end 5) #\a))
+ (assert (raises-error?
+ (find-if #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (find-if #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (find-if #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (find-if #'alpha-char-p string :start 6 :end 9)))
+ (assert (eq (find-if-not #'alpha-char-p string :start 0 :end nil) nil))
+ (assert (eq (find-if-not #'alpha-char-p string :start 0 :end 5) nil))
+ (assert (raises-error?
+ (find-if-not #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (find-if-not #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (find-if-not #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (find-if-not #'alpha-char-p string :start 6 :end 9))))
+
+;;; Function MISMATCH
+(sequence-bounding-indices-test
+ (format t "~&/Function MISMATCH")
+ (assert (null (mismatch string "aaaaa" :start1 0 :end1 nil)))
+ (assert (= (mismatch "aaab" string :start2 0 :end2 4) 3))
+ (assert (raises-error? (mismatch "aaaaaa" string :start2 0 :end2 6)))
+ (assert (raises-error? (mismatch string "aaaaaa" :start1 (opaque-identity -1) :end1 5)))
+ (assert (raises-error? (mismatch string "" :start1 4 :end1 2)))
+ (assert (raises-error? (mismatch "aaaa" string :start2 6 :end2 9))))
+
+;;; Function PARSE-INTEGER
+(sequence-bounding-indices-test
+ (format t "~&/Function PARSE-INTEGER")
+ (setf (fill-pointer string) 10)
+ (setf (subseq string 0 10) "1234567890")
+ (setf (fill-pointer string) 5)
+ (assert (= (parse-integer string :start 0 :end 5) 12345))
+ (assert (= (parse-integer string :start 0 :end nil) 12345))
+ (assert (raises-error? (parse-integer string :start 0 :end 6)))
+ (assert (raises-error? (parse-integer string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (parse-integer string :start 4 :end 2)))
+ (assert (raises-error? (parse-integer string :start 6 :end 9))))
+
+;;; Function PARSE-NAMESTRING
+(sequence-bounding-indices-test
+ (format t "~&/Function PARSE-NAMESTRING")
+ (setf (fill-pointer string) 10)
+ (setf (subseq string 0 10)
+ #-win32 "/dev/ /tmp"
+ #+win32 "C:/ NUL")
+ (setf (fill-pointer string) 5)
+ (assert (truename (parse-namestring string nil *default-pathname-defaults*
+ :start 0 :end 5)))
+ (assert (truename (parse-namestring string nil *default-pathname-defaults*
+ :start 0 :end nil)))
+ (assert (raises-error? (parse-namestring string nil
+ *default-pathname-defaults*
+ :start 0 :end 6)))
+ (assert (raises-error? (parse-namestring string nil
+ *default-pathname-defaults*
+ :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (parse-namestring string nil
+ *default-pathname-defaults*
+ :start 4 :end 2)))
+ (assert (raises-error? (parse-namestring string nil
+ *default-pathname-defaults*
+ :start 6 :end 9))))
+
+;;; Function POSITION, POSITION-IF, POSITION-IF-NOT
+(sequence-bounding-indices-test
+ (format t "~&/Function POSITION, POSITION-IF, POSITION-IF-NOT")
+
+ (assert (= (position #\a string :start 0 :end nil) 0))
+ (assert (= (position #\a string :start 0 :end 5) 0))
+ (assert (raises-error? (position #\a string :start 0 :end 6)))
+ (assert (raises-error? (position #\a string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (position #\a string :start 4 :end 2)))
+ (assert (raises-error? (position #\a string :start 6 :end 9)))
+ (assert (= (position-if #'alpha-char-p string :start 0 :end nil) 0))
+ (assert (= (position-if #'alpha-char-p string :start 0 :end 5) 0))
+ (assert (raises-error?
+ (position-if #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (position-if #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (position-if #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (position-if #'alpha-char-p string :start 6 :end 9)))
+ (assert (eq (position-if-not #'alpha-char-p string :start 0 :end nil) nil))
+ (assert (eq (position-if-not #'alpha-char-p string :start 0 :end 5) nil))
+ (assert (raises-error?
+ (position-if-not #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (position-if-not #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (position-if-not #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (position-if-not #'alpha-char-p string :start 6 :end 9))))
+
+;;; Function READ-FROM-STRING
+(sequence-bounding-indices-test
+ (format t "~&/Function READ-FROM-STRING")
+ (setf (subseq string 0 5) "(a b)")
+ (assert (equal (read-from-string string nil nil :start 0 :end 5) '(a b)))
+ (assert (equal (read-from-string string nil nil :start 0 :end nil) '(a b)))
+ (assert (raises-error? (read-from-string string nil nil :start 0 :end 6)))
+ (assert (raises-error? (read-from-string string nil nil :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (read-from-string string nil nil :start 4 :end 2)))
+ (assert (raises-error? (read-from-string string nil nil :start 6 :end 9))))
+
+;;; Function REDUCE
+(sequence-bounding-indices-test
+ (format t "~&/Function REDUCE")
+ (setf (subseq string 0 5) "abcde")
+ (assert (equal (reduce #'list* string :from-end t :start 0 :end nil)
+ '(#\a #\b #\c #\d . #\e)))
+ (assert (equal (reduce #'list* string :from-end t :start 0 :end 5)
+ '(#\a #\b #\c #\d . #\e)))
+ (assert (raises-error? (reduce #'list* string :start 0 :end 6)))
+ (assert (raises-error? (reduce #'list* string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (reduce #'list* string :start 4 :end 2)))
+ (assert (raises-error? (reduce #'list* string :start 6 :end 9))))
+
+;;; Function REMOVE, REMOVE-IF, REMOVE-IF-NOT, DELETE, DELETE-IF,
+;;; DELETE-IF-NOT
+(sequence-bounding-indices-test
+ (format t "~&/Function REMOVE, REMOVE-IF, REMOVE-IF-NOT, ...")
+ (assert (equal (remove #\a string :start 0 :end nil) ""))
+ (assert (equal (remove #\a string :start 0 :end 5) ""))
+ (assert (raises-error? (remove #\a string :start 0 :end 6)))
+ (assert (raises-error? (remove #\a string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (remove #\a string :start 4 :end 2)))
+ (assert (raises-error? (remove #\a string :start 6 :end 9)))
+ (assert (equal (remove-if #'alpha-char-p string :start 0 :end nil) ""))
+ (assert (equal (remove-if #'alpha-char-p string :start 0 :end 5) ""))
+ (assert (raises-error?
+ (remove-if #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (remove-if #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (remove-if #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (remove-if #'alpha-char-p string :start 6 :end 9)))
+ (assert (equal (remove-if-not #'alpha-char-p string :start 0 :end nil)
+ "aaaaa"))
+ (assert (equal (remove-if-not #'alpha-char-p string :start 0 :end 5)
+ "aaaaa"))
+ (assert (raises-error?
+ (remove-if-not #'alpha-char-p string :start 0 :end 6)))
+ (assert (raises-error?
+ (remove-if-not #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error?
+ (remove-if-not #'alpha-char-p string :start 4 :end 2)))
+ (assert (raises-error?
+ (remove-if-not #'alpha-char-p string :start 6 :end 9))))
+(sequence-bounding-indices-test
+ (format t "~&/... DELETE, DELETE-IF, DELETE-IF-NOT")
+ (assert (equal (delete #\a string :start 0 :end nil) ""))
+ (reset)
+ (assert (equal (delete #\a string :start 0 :end 5) ""))
+ (reset)
+ (assert (raises-error? (delete #\a string :start 0 :end 6)))
+ (reset)
+ (assert (raises-error? (delete #\a string :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error? (delete #\a string :start 4 :end 2)))
+ (reset)
+ (assert (raises-error? (delete #\a string :start 6 :end 9)))
+ (reset)
+ (assert (equal (delete-if #'alpha-char-p string :start 0 :end nil) ""))
+ (reset)
+ (assert (equal (delete-if #'alpha-char-p string :start 0 :end 5) ""))
+ (reset)
+ (assert (raises-error?
+ (delete-if #'alpha-char-p string :start 0 :end 6)))
+ (reset)
+ (assert (raises-error?
+ (delete-if #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error?
+ (delete-if #'alpha-char-p string :start 4 :end 2)))
+ (reset)
+ (assert (raises-error?
+ (delete-if #'alpha-char-p string :start 6 :end 9)))
+ (reset)
+ (assert (equal (delete-if-not #'alpha-char-p string :start 0 :end nil)
+ "aaaaa"))
+ (reset)
+ (assert (equal (delete-if-not #'alpha-char-p string :start 0 :end 5)
+ "aaaaa"))
+ (reset)
+ (assert (raises-error?
+ (delete-if-not #'alpha-char-p string :start 0 :end 6)))
+ (reset)
+ (assert (raises-error?
+ (delete-if-not #'alpha-char-p string :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error?
+ (delete-if-not #'alpha-char-p string :start 4 :end 2)))
+ (reset)
+ (assert (raises-error?
+ (delete-if-not #'alpha-char-p string :start 6 :end 9))))
+
+;;; Function REMOVE-DUPLICATES, DELETE-DUPLICATES
+(sequence-bounding-indices-test
+ (format t "~&/Function REMOVE-DUPLICATES, DELETE-DUPLICATES")
+ (assert (string= (remove-duplicates string :start 0 :end 5) "a"))
+ (assert (string= (remove-duplicates string :start 0 :end nil) "a"))
+ (assert (raises-error? (remove-duplicates string :start 0 :end 6)))
+ (assert (raises-error? (remove-duplicates string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (remove-duplicates string :start 4 :end 2)))
+ (assert (raises-error? (remove-duplicates string :start 6 :end 9)))
+ (assert (string= (delete-duplicates string :start 0 :end 5) "a"))
+ (reset)
+ (assert (string= (delete-duplicates string :start 0 :end nil) "a"))
+ (reset)
+ (assert (raises-error? (delete-duplicates string :start 0 :end 6)))
+ (reset)
+ (assert (raises-error? (delete-duplicates string :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error? (delete-duplicates string :start 4 :end 2)))
+ (reset)
+ (assert (raises-error? (delete-duplicates string :start 6 :end 9))))
+
+;;; Function REPLACE
+(sequence-bounding-indices-test
+ (format t "~&/Function REPLACE")
+ (assert (string= (replace string "bbbbb" :start1 0 :end1 5) "bbbbb"))
+ (assert (string= (replace (copy-seq "ccccc")
+ string
+ :start2 0 :end2 nil) "bbbbb"))
+ (assert (raises-error? (replace string "ccccc" :start1 0 :end1 6)))
+ (assert (raises-error? (replace string "ccccc" :start2 (opaque-identity -1) :end2 5)))
+ (assert (raises-error? (replace string "ccccc" :start1 4 :end1 2)))
+ (assert (raises-error? (replace string "ccccc" :start1 6 :end1 9))))
+
+;;; Function SEARCH
+(sequence-bounding-indices-test
+ (format t "~&/Function SEARCH")
+ (assert (= (search "aa" string :start2 0 :end2 5) 0))
+ (assert (null (search string "aa" :start1 0 :end2 nil)))
+ (assert (raises-error? (search "aa" string :start2 0 :end2 6)))
+ (assert (raises-error? (search "aa" string :start2 (opaque-identity -1) :end2 5)))
+ (assert (raises-error? (search "aa" string :start2 4 :end2 2)))
+ (assert (raises-error? (search "aa" string :start2 6 :end2 9))))
+
+;;; Function STRING-UPCASE, STRING-DOWNCASE, STRING-CAPITALIZE,
+;;; NSTRING-UPCASE, NSTRING-DOWNCASE, NSTRING-CAPITALIZE
+(defmacro string-case-frob (fn)
+ `(progn
+ (assert (raises-error? (,fn string :start 0 :end 6)))
+ (assert (raises-error? (,fn string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (,fn string :start 4 :end 2)))
+ (assert (raises-error? (,fn string :start 6 :end 9)))))
+
+(sequence-bounding-indices-test
+ (format t "~&/Function STRING-UPCASE, STRING-DOWNCASE, STRING-CAPITALIZE, ...")
+ (string-case-frob string-upcase)
+ (string-case-frob string-downcase)
+ (string-case-frob string-capitalize)
+ (format t "~&/... NSTRING-UPCASE, NSTRING-DOWNCASE, NSTRING-CAPITALIZE")
+ (string-case-frob nstring-upcase)
+ (string-case-frob nstring-downcase)
+ (string-case-frob nstring-capitalize))
+
+;;; Function STRING=, STRING/=, STRING<, STRING>, STRING<=, STRING>=,
+;;; STRING-EQUAL, STRING-NOT-EQUAL, STRING-LESSP, STRING-GREATERP,
+;;; STRING-NOT-GREATERP, STRING-NOT-LESSP
+(defmacro string-predicate-frob (fn)
+ `(progn
+ (,fn string "abcde" :start1 0 :end1 5)
+ (,fn "fghij" string :start2 0 :end2 nil)
+ (assert (raises-error? (,fn string "klmno"
+ :start1 0 :end1 6)))
+ (assert (raises-error? (,fn "pqrst" string
+ :start2 (opaque-identity -1) :end2 5)))
+ (assert (raises-error? (,fn "uvwxy" string
+ :start1 4 :end1 2)))
+ (assert (raises-error? (,fn string "z" :start2 6 :end2 9)))))
+(sequence-bounding-indices-test
+ (format t "~&/Function STRING=, STRING/=, STRING<, STRING>, STRING<=, STRING>=, ...")
+ (string-predicate-frob string=)
+ (string-predicate-frob string/=)
+ (string-predicate-frob string<)
+ (string-predicate-frob string>)
+ (string-predicate-frob string<=)
+ (string-predicate-frob string>=))
+(sequence-bounding-indices-test
+ (format t "~&/... STRING-EQUAL, STRING-NOT-EQUAL, STRING-LESSP, ...")
+ (string-predicate-frob string-equal)
+ (string-predicate-frob string-not-equal)
+ (string-predicate-frob string-lessp))
+(sequence-bounding-indices-test
+ (format t "~&/... STRING-GREATERP, STRING-NOT-GREATERP, STRING-NOT-LESSP")
+ (string-predicate-frob string-greaterp)
+ (string-predicate-frob string-not-greaterp)
+ (string-predicate-frob string-not-lessp))
+
+;;; Function SUBSTITUTE, SUBSTITUTE-IF, SUBSTITUTE-IF-NOT,
+;;; NSUBSTITUTE, NSUBSTITUTE-IF, NSUBSTITUTE-IF-NOT
+(sequence-bounding-indices-test
+ (format t "~&/Function SUBSTITUTE, SUBSTITUTE-IF, SUBSTITUTE-IF-NOT, ...")
+ (assert (string= (substitute #\b #\a string :start 0 :end 5) "bbbbb"))
+ (assert (string= (substitute #\c #\a string :start 0 :end nil)
+ "ccccc"))
+ (assert (raises-error? (substitute #\b #\a string :start 0 :end 6)))
+ (assert (raises-error? (substitute #\b #\a string :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (substitute #\b #\a string :start 4 :end 2)))
+ (assert (raises-error? (substitute #\b #\a string :start 6 :end 9)))
+ (assert (string= (substitute-if #\b #'alpha-char-p string
+ :start 0 :end 5)
+ "bbbbb"))
+ (assert (string= (substitute-if #\c #'alpha-char-p string
+ :start 0 :end nil)
+ "ccccc"))
+ (assert (raises-error? (substitute-if #\b #'alpha-char-p string
+ :start 0 :end 6)))
+ (assert (raises-error? (substitute-if #\b #'alpha-char-p string
+ :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (substitute-if #\b #'alpha-char-p string
+ :start 4 :end 2)))
+ (assert (raises-error? (substitute-if #\b #'alpha-char-p string
+ :start 6 :end 9)))
+ (assert (string= (substitute-if-not #\b #'alpha-char-p string
+ :start 0 :end 5)
+ "aaaaa"))
+ (assert (string= (substitute-if-not #\c #'alpha-char-p string
+ :start 0 :end nil)
+ "aaaaa"))
+ (assert (raises-error? (substitute-if-not #\b #'alpha-char-p string
+ :start 0 :end 6)))
+ (assert (raises-error? (substitute-if-not #\b #'alpha-char-p string
+ :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (substitute-if-not #\b #'alpha-char-p string
+ :start 4 :end 2)))
+ (assert (raises-error? (substitute-if-not #\b #'alpha-char-p string
+ :start 6 :end 9))))
+(sequence-bounding-indices-test
+ (format t "~&/... NSUBSTITUTE, NSUBSTITUTE-IF, NSUBSTITUTE-IF-NOT")
+ (assert (string= (nsubstitute #\b #\a string :start 0 :end 5) "bbbbb"))
+ (reset)
+ (assert (string= (nsubstitute #\c #\a string :start 0 :end nil)
+ "ccccc"))
+ (reset)
+ (assert (raises-error? (nsubstitute #\b #\a string :start 0 :end 6)))
+ (reset)
+ (assert (raises-error? (nsubstitute #\b #\a string :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error? (nsubstitute #\b #\a string :start 4 :end 2)))
+ (reset)
+ (assert (raises-error? (nsubstitute #\b #\a string :start 6 :end 9)))
+ (reset)
+ (assert (string= (nsubstitute-if #\b #'alpha-char-p string
+ :start 0 :end 5)
+ "bbbbb"))
+ (reset)
+ (assert (string= (nsubstitute-if #\c #'alpha-char-p string
+ :start 0 :end nil)
+ "ccccc"))
+ (reset)
+ (assert (raises-error? (nsubstitute-if #\b #'alpha-char-p string
+ :start 0 :end 6)))
+ (reset)
+ (assert (raises-error? (nsubstitute-if #\b #'alpha-char-p string
+ :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error? (nsubstitute-if #\b #'alpha-char-p string
+ :start 4 :end 2)))
+ (reset)
+ (assert (raises-error? (nsubstitute-if #\b #'alpha-char-p string
+ :start 6 :end 9)))
+ (reset)
+ (assert (string= (nsubstitute-if-not #\b #'alpha-char-p string
+ :start 0 :end 5)
+ "aaaaa"))
+ (reset)
+ (assert (string= (nsubstitute-if-not #\c #'alpha-char-p string
+ :start 0 :end nil)
+ "aaaaa"))
+ (reset)
+ (assert (raises-error? (nsubstitute-if-not #\b #'alpha-char-p string
+ :start 0 :end 6)))
+ (reset)
+ (assert (raises-error? (nsubstitute-if-not #\b #'alpha-char-p string
+ :start (opaque-identity -1) :end 5)))
+ (reset)
+ (assert (raises-error? (nsubstitute-if-not #\b #'alpha-char-p string
+ :start 4 :end 2)))
+ (reset)
+ (assert (raises-error? (nsubstitute-if-not #\b #'alpha-char-p string
+ :start 6 :end 9))))
+;;; Function WRITE-STRING, WRITE-LINE
+(sequence-bounding-indices-test
+ (format t "~&/Function WRITE-STRING, WRITE-LINE")
+ (write-string string *standard-output* :start 0 :end 5)
+ (write-string string *standard-output* :start 0 :end nil)
+ (assert (raises-error? (write-string string *standard-output*
+ :start 0 :end 6)))
+ (assert (raises-error? (write-string string *standard-output*
+ :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (write-string string *standard-output*
+ :start 4 :end 2)))
+ (assert (raises-error? (write-string string *standard-output*
+ :start 6 :end 9)))
+ (write-line string *standard-output* :start 0 :end 5)
+ (write-line string *standard-output* :start 0 :end nil)
+ (assert (raises-error? (write-line string *standard-output*
+ :start 0 :end 6)))
+ (assert (raises-error? (write-line string *standard-output*
+ :start (opaque-identity -1) :end 5)))
+ (assert (raises-error? (write-line string *standard-output*
+ :start 4 :end 2)))
+ (assert (raises-error? (write-line string *standard-output*
+ :start 6 :end 9))))
+
+;;; Macro WITH-INPUT-FROM-STRING
+(sequence-bounding-indices-test
+ (format t "~&/Macro WITH-INPUT-FROM-STRING")
+ (with-input-from-string (s string :start 0 :end 5)
+ (assert (char= (read-char s) #\a)))
+ (with-input-from-string (s string :start 0 :end nil)
+ (assert (char= (read-char s) #\a)))
+ (assert (raises-error?
+ (with-input-from-string (s string :start 0 :end 6)
+ (read-char s))))
+ (assert (raises-error?
+ (with-input-from-string (s string :start (opaque-identity -1) :end 5)
+ (read-char s))))
+ (assert (raises-error?
+ (with-input-from-string (s string :start 4 :end 2)
+ (read-char s))))
+ (assert (raises-error?
+ (with-input-from-string (s string :start 6 :end 9)
+ (read-char s)))))
+\f
+;;; testing bit-bashing according to _The Practice of Programming_
+(defun fill-bytes-for-testing (bitsize)
+ "Return a list of 'bytes' of type (MOD BITSIZE)."
+ (remove-duplicates (list 0
+ (1- (ash 1 (1- bitsize)))
+ (ash 1 (1- bitsize))
+ (1- (ash 1 bitsize)))))
+
+(defun fill-with-known-value (value size &rest vectors)
+ (dolist (vec vectors)
+ (dotimes (i size)
+ (setf (aref vec i) value))))
+
+(defun collect-fill-amounts (n-power)
+ (remove-duplicates
+ (loop for i from 0 upto n-power
+ collect (1- (expt 2 i))
+ collect (expt 2 i)
+ collect (1+ (expt 2 i)))))
+
+(defun test-fill-bashing (bitsize padding-amount n-power)
+ (let* ((size (+ (* padding-amount 2) (expt 2 n-power) (* padding-amount 2)))
+ (standard (make-array size :element-type `(unsigned-byte ,bitsize)))
+ (bashed (make-array size :element-type `(unsigned-byte ,bitsize)))
+ (fill-amounts (collect-fill-amounts n-power))
+ (bash-function (intern (format nil "UB~A-BASH-FILL" bitsize)
+ (find-package "SB-KERNEL"))))
+ (format t "~&/Function ~A..." bash-function)
+ (loop for offset from padding-amount below (* 2 padding-amount) do
+ (dolist (c (fill-bytes-for-testing bitsize))
+ (dolist (n fill-amounts)
+ (fill-with-known-value (mod (lognot c) (ash 1 bitsize)) n
+ standard bashed)
+ ;; fill vectors
+ ;; a) the standard slow way
+ (locally (declare (notinline fill))
+ (fill standard c :start offset :end (+ offset n)))
+ ;; b) the blazingly fast way
+ (let ((value (loop for i from 0 by bitsize
+ until (= i sb-vm:n-word-bits)
+ sum (ash c i))))
+ (funcall bash-function value bashed offset n))
+ ;; check for errors
+ (when (mismatch standard bashed)
+ (format t "Test with offset ~A, fill ~A and length ~A failed.~%"
+ offset c n)
+ (format t "Mismatch: ~A ~A~%"
+ (subseq standard 0 (+ offset n 1))
+ (subseq bashed 0 (+ offset n 1)))
+ (return-from test-fill-bashing nil))))
+ finally (return t))))
+
+(defun test-copy-bashing (bitsize padding-amount n-power)
+ (let* ((size (+ (* padding-amount 2) (expt 2 n-power) (* padding-amount 2)))
+ (standard-dst (make-array size :element-type `(unsigned-byte ,bitsize)))
+ (bashed-dst (make-array size :element-type `(unsigned-byte ,bitsize)))
+ (source (make-array size :element-type `(unsigned-byte ,bitsize)))
+ (fill-amounts (collect-fill-amounts n-power))
+ (bash-function (intern (format nil "UB~A-BASH-COPY" bitsize)
+ (find-package "SB-KERNEL"))))
+ (format t "~&/Function ~A..." bash-function)
+ (do ((source-offset padding-amount (1+ source-offset)))
+ ((>= source-offset (* padding-amount 2))
+ ;; success!
+ t)
+ (do ((target-offset padding-amount (1+ target-offset)))
+ ((>= target-offset (* padding-amount 2)))
+ (dolist (c (fill-bytes-for-testing bitsize))
+ (dolist (n fill-amounts)
+ (fill-with-known-value (mod (lognot c) (ash 1 bitsize)) size
+ source standard-dst bashed-dst)
+ ;; fill with test data
+ (fill source c :start source-offset :end (+ source-offset n))
+ ;; copy filled test data to test vectors
+ ;; a) the slow way
+ (replace standard-dst source
+ :start1 target-offset :end1 (+ target-offset n)
+ :start2 source-offset :end2 (+ source-offset n))
+ ;; b) the blazingly fast way
+ (funcall bash-function source source-offset
+ bashed-dst target-offset n)
+ ;; check for errors
+ (when (mismatch standard-dst bashed-dst)
+ (format t "Test with target-offset ~A, source-offset ~A, fill ~A, and length ~A failed.~%"
+ target-offset source-offset c n)
+ (format t "Mismatch:~% correct ~A~% actual ~A~%"
+ standard-dst
+ bashed-dst)
+ (return-from test-copy-bashing nil))))))))
+
+;; Too slow for the interpreter
+#+#.(cl:if (cl:eq sb-ext:*evaluator-mode* :compile) '(and) '(or))
+(loop for i = 1 then (* i 2) do
+ ;; the bare '13' here is fairly arbitrary, except that it's been
+ ;; reduced from '32', which made the tests take aeons; '8' provides
+ ;; a good range of lengths over which to fill and copy, which
+ ;; should tease out most errors in the code (if any exist). (It
+ ;; also makes this part of the test suite finish reasonably
+ ;; quickly.)
+ (assert (time (test-fill-bashing i 13 8)))
+ (assert (time (test-copy-bashing i 13 8)))
+ until (= i sb-vm:n-word-bits))
+
+(defun test-inlined-bashing (bitsize)
+ ;; We have to compile things separately for each bitsize so the
+ ;; compiler will work out the array type and trigger the REPLACE
+ ;; transform.
+ (let ((lambda-form
+ `(lambda ()
+ (let* ((n-elements-per-word ,(truncate sb-vm:n-word-bits bitsize))
+ (size (* 3 n-elements-per-word))
+ (standard-dst (make-array size :element-type '(unsigned-byte ,bitsize)))
+ (bashed-dst (make-array size :element-type '(unsigned-byte ,bitsize)))
+ (source (make-array size :element-type '(unsigned-byte ,bitsize))))
+ (declare (type (simple-array (unsigned-byte ,bitsize) (*))
+ source standard-dst bashed-dst))
+ (do ((i 0 (1+ i))
+ (offset n-elements-per-word (1+ offset)))
+ ((>= offset (* 2 n-elements-per-word)) t)
+ (dolist (c (fill-bytes-for-testing ,bitsize))
+ (fill-with-known-value (mod (lognot c) (ash 1 ,bitsize)) size
+ source standard-dst bashed-dst)
+ ;; fill with test-data
+ (fill source c :start offset :end (+ offset n-elements-per-word))
+ ;; copy filled data to test vectors
+ ;;
+ ;; a) the slow way (which is actually fast, since this
+ ;; should be transformed into UB*-BASH-COPY)
+ (replace standard-dst source
+ :start1 (- offset n-elements-per-word i)
+ :start2 (- offset n-elements-per-word i)
+ :end1 offset :end2 offset)
+ ;; b) the fast way--we fold the
+ ;; :START{1,2} arguments above ourselves
+ ;; to trigger the REPLACE transform
+ (replace bashed-dst source
+ :start1 0 :start2 0 :end1 offset :end2 offset)
+ ;; check for errors
+ (when (or (mismatch standard-dst bashed-dst)
+ ;; trigger COPY-SEQ transform
+ (mismatch (copy-seq standard-dst) bashed-dst)
+ ;; trigger SUBSEQ transform
+ (mismatch (subseq standard-dst (- offset n-elements-per-word i))
+ bashed-dst))
+ (format t "Test with target-offset ~A, source-offset ~A, fill ~A, and length ~A failed.~%"
+ 0 0 c offset)
+ (format t "Mismatch:~% correct ~A~% actual ~A~%"
+ standard-dst
+ bashed-dst)
+ (return-from nil nil))))))))
+ (funcall (compile nil lambda-form))))
+
+#+#.(cl:if (cl:eq sb-ext:*evaluator-mode* :compile) '(and) '(or))
+(loop for i = 1 then (* i 2) do
+ (assert (test-inlined-bashing i))
+ until (= i sb-vm:n-word-bits))
+\f
+;;; tests from the Sacla test suite via Eric Marsden, 2007-05-07
+(remove-duplicates (vector 1 2 2 1) :test-not (lambda (a b) (not (= a b))))
+
+(delete-duplicates (vector #\a #\b #\c #\a)
+ :test-not (lambda (a b) (not (char-equal a b))))
+
+;;; FILL on lists
+(let ((l (list 1 2 3)))
+ (assert (eq l (fill l 0 :start 1 :end 2)))
+ (assert (equal l '(1 0 3)))
+ (assert (eq l (fill l 'x :start 2 :end 3)))
+ (assert (equal l '(1 0 x)))
+ (assert (eq l (fill l 'y :start 1)))
+ (assert (equal l '(1 y y)))
+ (assert (eq l (fill l 'z :end 2)))
+ (assert (equal l '(z z y)))
+ (assert (eq l (fill l 1)))
+ (assert (equal l '(1 1 1)))
+ (assert (raises-error? (fill l 0 :start 4)))
+ (assert (raises-error? (fill l 0 :end 4)))
+ (assert (raises-error? (fill l 0 :start 2 :end 1))))
+
+;;; Both :TEST and :TEST-NOT provided
+(with-test (:name :test-and-test-not-to-adjoin)
+ (let* ((wc 0)
+ (fun
+ (handler-bind (((and warning (not style-warning))
+ (lambda (w) (incf wc))))
+ (compile nil `(lambda (item test test-not) (adjoin item '(1 2 3 :foo)
+ :test test
+ :test-not test-not))))))
+ (assert (= 1 wc))
+ (assert (eq :error
+ (handler-case
+ (funcall fun 1 #'eql (complement #'eql))
+ (error ()
+ :error))))))