- (do* ((len (fd-stream-obuf-length stream))
- (sap (fd-stream-obuf-sap stream))
- (tail (fd-stream-obuf-tail stream)))
- ((or (= start end) (< (- len tail) 4)) tail)
- ,(if output-restart
- `(catch 'output-nothing
- (let* ((byte (aref string start))
- (bits (char-code byte)))
- ,out-expr
- (incf tail ,size)))
- `(let* ((byte (aref string start))
- (bits (char-code byte)))
- ,out-expr
- (incf tail ,size)))
- (incf start)))
+ (flet ((do-it (string)
+ (let ((len (fd-stream-obuf-length stream))
+ (sap (fd-stream-obuf-sap stream))
+ (tail (fd-stream-obuf-tail stream)))
+ (declare (type index tail)
+ ;; STRING bounds have already been checked.
+ (optimize (safety 0)))
+ (loop
+ (,@(if output-restart
+ `(catch 'output-nothing)
+ `(progn))
+ (do* ()
+ ((or (= start end) (< (- len tail) 4)))
+ (let* ((byte (aref string start))
+ (bits (char-code byte)))
+ ,out-expr
+ (incf tail ,size)
+ (incf start)))
+ ;; Exited from the loop normally
+ (return-from do-it tail))
+ ;; Exited via CATCH. Skip the current character
+ ;; and try the inner loop again.
+ (incf start)))))
+ (declare (inline do-it))
+ ;; Specialized versions for the common cases of
+ ;; SIMPLE-BASE-STRING and (SIMPLE-ARRAY CHARACTER)
+ ;; to avoid doing a generic AREF.
+ (etypecase string
+ (simple-base-string
+ (do-it (the simple-base-string string)))
+ #!+sb-unicode
+ ((simple-array character)
+ ;; For some reason the type information from the
+ ;; etypecase doesn't propagate through here without
+ ;; an explicit THE.
+ (do-it (the (simple-array character) string)))
+ (string
+ (do-it string)))))