X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ffop.lisp;h=fce38feddd2906c6893fe7f186244af7c094c5d4;hb=aa2dc9529460ea0d9c99998dc87283fc1a43e808;hp=6f8cb3b42e731489dc7e64d7f7a89954349bf517;hpb=cfb9e3640e34706acdfccd26236024de259f3b4f;p=sbcl.git diff --git a/src/code/fop.lisp b/src/code/fop.lisp index 6f8cb3b..fce38fe 100644 --- a/src/code/fop.lisp +++ b/src/code/fop.lisp @@ -1,6 +1,6 @@ ;;;; FOP definitions -(in-package "SB!IMPL") +(in-package "SB!FASL") ;;; Define NAME as a fasl operation, with op-code FOP-CODE. PUSHP ;;; describes what the body does to the fop stack: @@ -65,7 +65,7 @@ ;;; know both the 1-byte-arg and the 4-byte-arg fop names. -- WHN 19990902 (defmacro define-cloned-fops ((name code &optional (pushp t)) (small-name small-code) &rest forms) - (check-type pushp (member nil t :nope)) + (aver (member pushp '(nil t :nope))) `(progn (macrolet ((clone-arg () '(read-arg 4))) (define-fop (,name ,code ,pushp) ,@forms)) @@ -96,7 +96,7 @@ ;;; Setting this variable causes execution of a FOP-NOP4 to produce ;;; output to *DEBUG-IO*. This can be handy when trying to follow the -;;; progress of FASLOAD. +;;; progress of FASL loading. #!+sb-show (defvar *show-fop-nop4-p* nil) @@ -180,8 +180,8 @@ ;;; (1) *LOAD-SYMBOL-BUFFER-SIZE* is redundant, should just be ;;; (LENGTH *LOAD-SYMBOL-BUFFER*). ;;; (2) *LOAD-SYMBOL-BUFFER* should not have a global value, but should -;;; be bound on entry to FASLOAD, and it should be renamed to -;;; *FASLOAD-SYMBOL-BUFFER*. +;;; be bound on entry to FASL loading, and it should be renamed to +;;; *FASL-SYMBOL-BUFFER*. (macrolet (;; FIXME: Should all this code really be duplicated inside ;; each fop? Perhaps it would be better for this shared @@ -192,7 +192,7 @@ (n-size (gensym)) (n-buffer (gensym))) `(define-fop (,name ,code) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (let ((,n-package ,package) (,n-size (fast-read-u-integer ,name-size))) (when (> ,n-size *load-symbol-buffer-size*) @@ -201,7 +201,7 @@ (* ,n-size 2))))) (done-with-fast-read-byte) (let ((,n-buffer *load-symbol-buffer*)) - (read-string-as-bytes *fasl-file* + (read-string-as-bytes *fasl-input-stream* ,n-buffer ,n-size) (push-fop-table (intern* ,n-buffer @@ -249,7 +249,7 @@ (fop-uninterned-small-symbol-save 13) (let* ((arg (clone-arg)) (res (make-string arg))) - (read-string-as-bytes *fasl-file* res) + (read-string-as-bytes *fasl-input-stream* res) (push-fop-table (make-symbol res)))) (define-fop (fop-package 14) @@ -257,12 +257,12 @@ ;;;; fops for loading numbers -;;; Load a signed integer LENGTH bytes long from *FASL-FILE*. +;;; Load a signed integer LENGTH bytes long from *FASL-INPUT-STREAM*. (defun load-s-integer (length) (declare (fixnum length)) ;; #+cmu (declare (optimize (inhibit-warnings 2))) (do* ((index length (1- index)) - (byte 0 (read-byte *fasl-file*)) + (byte 0 (read-byte *fasl-input-stream*)) (result 0 (+ result (ash byte bits))) (bits 0 (+ bits 8))) ((= index 0) @@ -275,13 +275,13 @@ (load-s-integer (clone-arg))) (define-fop (fop-word-integer 35) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (fast-read-s-integer 4) (done-with-fast-read-byte)))) (define-fop (fop-byte-integer 36) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (fast-read-s-integer 1) (done-with-fast-read-byte)))) @@ -295,14 +295,14 @@ (%make-complex (pop-stack) im))) (define-fop (fop-complex-single-float 72) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (complex (make-single-float (fast-read-s-integer 4)) (make-single-float (fast-read-s-integer 4))) (done-with-fast-read-byte)))) (define-fop (fop-complex-double-float 73) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (let* ((re-lo (fast-read-u-integer 4)) (re-hi (fast-read-u-integer 4)) @@ -315,7 +315,7 @@ #!+long-float (define-fop (fop-complex-long-float 67) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (let* ((re-lo (fast-read-u-integer 4)) #!+sparc (re-mid (fast-read-u-integer 4)) @@ -331,12 +331,12 @@ (done-with-fast-read-byte)))) (define-fop (fop-single-float 46) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (make-single-float (fast-read-s-integer 4)) (done-with-fast-read-byte)))) (define-fop (fop-double-float 47) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (let ((lo (fast-read-u-integer 4))) (make-double-float (fast-read-s-integer 4) lo)) @@ -344,7 +344,7 @@ #!+long-float (define-fop (fop-long-float 52) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (prog1 (let ((lo (fast-read-u-integer 4)) #!+sparc (mid (fast-read-u-integer 4)) @@ -394,7 +394,7 @@ (define-cloned-fops (fop-string 37) (fop-small-string 38) (let* ((arg (clone-arg)) (res (make-string arg))) - (read-string-as-bytes *fasl-file* res) + (read-string-as-bytes *fasl-input-stream* res) res)) (define-cloned-fops (fop-vector 39) (fop-small-vector 40) @@ -424,20 +424,20 @@ (define-fop (fop-single-float-vector 84) (let* ((length (read-arg 4)) (result (make-array length :element-type 'single-float))) - (read-n-bytes *fasl-file* result 0 (* length sb!vm:word-bytes)) + (read-n-bytes *fasl-input-stream* result 0 (* length sb!vm:word-bytes)) result)) (define-fop (fop-double-float-vector 85) (let* ((length (read-arg 4)) (result (make-array length :element-type 'double-float))) - (read-n-bytes *fasl-file* result 0 (* length sb!vm:word-bytes 2)) + (read-n-bytes *fasl-input-stream* result 0 (* length sb!vm:word-bytes 2)) result)) #!+long-float (define-fop (fop-long-float-vector 88) (let* ((length (read-arg 4)) (result (make-array length :element-type 'long-float))) - (read-n-bytes *fasl-file* + (read-n-bytes *fasl-input-stream* result 0 (* length sb!vm:word-bytes #!+x86 3 #!+sparc 4)) @@ -446,20 +446,20 @@ (define-fop (fop-complex-single-float-vector 86) (let* ((length (read-arg 4)) (result (make-array length :element-type '(complex single-float)))) - (read-n-bytes *fasl-file* result 0 (* length sb!vm:word-bytes 2)) + (read-n-bytes *fasl-input-stream* result 0 (* length sb!vm:word-bytes 2)) result)) (define-fop (fop-complex-double-float-vector 87) (let* ((length (read-arg 4)) (result (make-array length :element-type '(complex double-float)))) - (read-n-bytes *fasl-file* result 0 (* length sb!vm:word-bytes 2 2)) + (read-n-bytes *fasl-input-stream* result 0 (* length sb!vm:word-bytes 2 2)) result)) #!+long-float (define-fop (fop-complex-long-float-vector 89) (let* ((length (read-arg 4)) (result (make-array length :element-type '(complex long-float)))) - (read-n-bytes *fasl-file* result 0 + (read-n-bytes *fasl-input-stream* result 0 (* length sb!vm:word-bytes #!+x86 3 #!+sparc 4 2)) result)) @@ -468,7 +468,7 @@ ;;; This must be packed according to the local byte-ordering, allowing us to ;;; directly read the bits. (define-fop (fop-int-vector 43) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (let* ((len (fast-read-u-integer 4)) (size (fast-read-byte)) (res (case size @@ -482,19 +482,17 @@ size))))) (declare (type index len)) (done-with-fast-read-byte) - (read-n-bytes *fasl-file* + (read-n-bytes *fasl-input-stream* res 0 (ceiling (the index (* size len)) sb!vm:byte-bits)) res))) -;;; FOP-SIGNED-INT-VECTOR -;;; -;;; Same as FOP-INT-VECTOR, except this is for signed simple-arrays. -;;; It appears that entry 50 and 51 are clear. +;;; This is the same as FOP-INT-VECTOR, except this is for signed +;;; SIMPLE-ARRAYs. (define-fop (fop-signed-int-vector 50) - (prepare-for-fast-read-byte *fasl-file* + (prepare-for-fast-read-byte *fasl-input-stream* (let* ((len (fast-read-u-integer 4)) (size (fast-read-byte)) (res (case size @@ -506,7 +504,7 @@ size))))) (declare (type index len)) (done-with-fast-read-byte) - (read-n-bytes *fasl-file* + (read-n-bytes *fasl-input-stream* res 0 (ceiling (the index (* (if (= size 30) @@ -521,8 +519,9 @@ ;; (load-fresh-line) ;; (prin1 result) ;; (terpri)) - ;; Unfortunately, this dependence on the *LOAD-PRINT* global variable is - ;; non-ANSI, so for now we've just punted printing in fasload. + ;; Unfortunately, this dependence on the *LOAD-PRINT* global + ;; variable is non-ANSI, so for now we've just punted printing in + ;; fasl loading. result)) (define-fop (fop-eval-for-effect 54 nil) @@ -662,9 +661,9 @@ (format t "~S defined~%" res)) res)) -;;;; Some Dylan fops used to live here. By 1 November 1998 the code was -;;;; sufficiently stale that the functions it called were no longer defined, -;;;; so I (William Harold Newman) deleted it. +;;;; Some Dylan FOPs used to live here. By 1 November 1998 the code +;;;; was sufficiently stale that the functions it called were no +;;;; longer defined, so I (William Harold Newman) deleted it. ;;;; ;;;; In case someone in the future is trying to make sense of FOP layout, ;;;; it might be worth recording that the Dylan FOPs were @@ -681,7 +680,7 @@ (code-object (pop-stack)) (len (read-arg 1)) (sym (make-string len))) - (read-n-bytes *fasl-file* sym 0 len) + (read-n-bytes *fasl-input-stream* sym 0 len) (sb!vm:fixup-code-object code-object (read-arg 4) (foreign-symbol-address-as-integer sym)