X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ftarget-dump.lisp;h=038c6458ef8fd51b28e4671fab5b23a2d513faeb;hb=9c510b74eca61bbcc2014dc2b1d02049dff50508;hp=a948275d6570b9c781df19b8fa30acb508864b74;hpb=dec94b039e8ec90baf21463df839a6181de606f6;p=sbcl.git diff --git a/src/compiler/target-dump.lisp b/src/compiler/target-dump.lisp index a948275..038c645 100644 --- a/src/compiler/target-dump.lisp +++ b/src/compiler/target-dump.lisp @@ -13,11 +13,28 @@ (in-package "SB!FASL") +;;; a helper function shared by DUMP-SIMPLE-CHARACTER-STRING and +;;; DUMP-SYMBOL (in the target compiler: the cross-compiler uses the +;;; portability knowledge and always dumps BASE-STRINGS). +#!+sb-unicode +(defun dump-characters-of-string (s fasl-output) + (declare (type string s) (type fasl-output fasl-output)) + (dovector (c s) + (dump-unsigned-byte-32 (char-code c) fasl-output)) + (values)) +#!+sb-unicode +(defun dump-simple-character-string (s file) + (declare (type (simple-array character (*)) s)) + (dump-fop* (length s) fop-small-character-string fop-character-string file) + (dump-characters-of-string s file) + (values)) + ;;; Dump the first N bytes of VEC out to FILE. VEC is some sort of unboxed ;;; vector-like thing that we can BLT from. (defun dump-raw-bytes (vec n fasl-output) (declare (type index n) (type fasl-output fasl-output)) - (sb!sys:output-raw-bytes (fasl-output-stream fasl-output) vec 0 n) + ;; FIXME: Why not WRITE-SEQUENCE? + (sb!impl::buffer-output (fasl-output-stream fasl-output) vec 0 n) (values)) ;;; Dump a multi-dimensional array. Note: any displacements are folded out. @@ -34,10 +51,10 @@ (dump-integer (array-dimension array i) file)) (with-array-data ((vector array) (start) (end)) (if (and (= start 0) (= end (length vector))) - (sub-dump-object vector file) - (sub-dump-object (subseq vector start end) file))) + (sub-dump-object vector file) + (sub-dump-object (subseq vector start end) file))) (dump-fop 'fop-array file) - (dump-unsigned-32 rank file) + (dump-word rank file) (eq-save-object array file))) ;;;; various dump-a-number operations @@ -45,59 +62,69 @@ (defun dump-single-float-vector (vec file) (let ((length (length vec))) (dump-fop 'fop-single-float-vector file) - (dump-unsigned-32 length file) - (dump-raw-bytes vec (* length sb!vm:word-bytes) file))) + (dump-word length file) + (dump-raw-bytes vec (* length 4) file))) (defun dump-double-float-vector (vec file) (let ((length (length vec))) (dump-fop 'fop-double-float-vector file) - (dump-unsigned-32 length file) - (dump-raw-bytes vec (* length sb!vm:word-bytes 2) file))) + (dump-word length file) + (dump-raw-bytes vec (* length 8) file))) #!+long-float (defun dump-long-float-vector (vec file) (let ((length (length vec))) (dump-fop 'fop-long-float-vector file) - (dump-unsigned-32 length file) - (dump-raw-bytes vec (* length sb!vm:word-bytes #!+x86 3 #!+sparc 4) file))) + (dump-word length file) + (dump-raw-bytes vec + (* length sb!vm:n-word-bytes #!+x86 3 #!+sparc 4) + file))) (defun dump-complex-single-float-vector (vec file) (let ((length (length vec))) (dump-fop 'fop-complex-single-float-vector file) - (dump-unsigned-32 length file) - (dump-raw-bytes vec (* length sb!vm:word-bytes 2) file))) + (dump-word length file) + (dump-raw-bytes vec (* length 8) file))) (defun dump-complex-double-float-vector (vec file) (let ((length (length vec))) (dump-fop 'fop-complex-double-float-vector file) - (dump-unsigned-32 length file) - (dump-raw-bytes vec (* length sb!vm:word-bytes 2 2) file))) + (dump-word length file) + (dump-raw-bytes vec (* length 16) file))) #!+long-float (defun dump-complex-long-float-vector (vec file) (let ((length (length vec))) (dump-fop 'fop-complex-long-float-vector file) - (dump-unsigned-32 length file) - (dump-raw-bytes vec (* length sb!vm:word-bytes #!+x86 3 #!+sparc 4 2) file))) + (dump-word length file) + (dump-raw-bytes vec + (* length sb!vm:n-word-bytes #!+x86 3 #!+sparc 4 2) + file))) #!+(and long-float x86) (defun dump-long-float (float file) (declare (long-float float)) (let ((exp-bits (long-float-exp-bits float)) - (high-bits (long-float-high-bits float)) - (low-bits (long-float-low-bits float))) - (dump-unsigned-32 low-bits file) - (dump-unsigned-32 high-bits file) + (high-bits (long-float-high-bits float)) + (low-bits (long-float-low-bits float))) + ;; We could get away with DUMP-WORD here, since the x86 has 4-byte words, + ;; but we prefer to make things as explicit as possible. + ;; --njf, 2004-08-16 + (dump-integer-as-n-bytes low-bits 4 file) + (dump-integer-as-n-bytes high-bits 4 file) (dump-integer-as-n-bytes exp-bits 2 file))) #!+(and long-float sparc) (defun dump-long-float (float file) (declare (long-float float)) (let ((exp-bits (long-float-exp-bits float)) - (high-bits (long-float-high-bits float)) - (mid-bits (long-float-mid-bits float)) - (low-bits (long-float-low-bits float))) - (dump-unsigned-32 low-bits file) - (dump-unsigned-32 mid-bits file) - (dump-unsigned-32 high-bits file) + (high-bits (long-float-high-bits float)) + (mid-bits (long-float-mid-bits float)) + (low-bits (long-float-low-bits float))) + ;; We could get away with DUMP-WORD here, since the sparc has 4-byte + ;; words, but we prefer to make things as explicit as possible. + ;; --njf, 2004-08-16 + (dump-integer-as-n-bytes low-bits 4 file) + (dump-integer-as-n-bytes mid-bits 4 file) + (dump-integer-as-n-bytes high-bits 4 file) (dump-integer-as-n-bytes exp-bits 4 file)))