;;; a magic number used to identify our core files
(defconstant core-magic
(logior (ash (sb!xc:char-code #\S) 24)
- (ash (sb!xc:char-code #\B) 16)
- (ash (sb!xc:char-code #\C) 8)
- (sb!xc:char-code #\L)))
+ (ash (sb!xc:char-code #\B) 16)
+ (ash (sb!xc:char-code #\C) 8)
+ (sb!xc:char-code #\L)))
;;; the current version of SBCL core files
;;;
(multiple-value-bind (outer-index inner-index)
(floor index +smallvec-length+)
(aref (the smallvec
- (svref (bigvec-outer-vector bigvec) outer-index))
- inner-index)))
+ (svref (bigvec-outer-vector bigvec) outer-index))
+ inner-index)))
(defun (setf bvref) (new-value bigvec index)
(multiple-value-bind (outer-index inner-index)
(floor index +smallvec-length+)
(setf (aref (the smallvec
- (svref (bigvec-outer-vector bigvec) outer-index))
- inner-index)
- new-value)))
+ (svref (bigvec-outer-vector bigvec) outer-index))
+ inner-index)
+ new-value)))
;;; analogous to LENGTH, but for a BIGVEC
;;;
;;; analogous to WRITE-SEQUENCE, but for a BIGVEC
(defun write-bigvec-as-sequence (bigvec stream &key (start 0) end)
(loop for i of-type index from start below (or end (bvlength bigvec)) do
- (write-byte (bvref bigvec i)
- stream)))
+ (write-byte (bvref bigvec i)
+ stream)))
;;; analogous to READ-SEQUENCE-OR-DIE, but for a BIGVEC
(defun read-bigvec-as-sequence-or-die (bigvec stream &key (start 0) end)
(loop for i of-type index from start below (or end (bvlength bigvec)) do
- (setf (bvref bigvec i)
- (read-byte stream))))
+ (setf (bvref bigvec i)
+ (read-byte stream))))
;;; Grow BIGVEC (exponentially, so that large increases in size have
;;; asymptotic logarithmic cost per byte).
(defun expand-bigvec (bigvec)
(let* ((old-outer-vector (bigvec-outer-vector bigvec))
- (length-old-outer-vector (length old-outer-vector))
- (new-outer-vector (make-array (* 2 length-old-outer-vector))))
+ (length-old-outer-vector (length old-outer-vector))
+ (new-outer-vector (make-array (* 2 length-old-outer-vector))))
(dotimes (i length-old-outer-vector)
(setf (svref new-outer-vector i)
- (svref old-outer-vector i)))
+ (svref old-outer-vector i)))
(loop for i from length-old-outer-vector below (length new-outer-vector) do
- (setf (svref new-outer-vector i)
- (make-smallvec)))
+ (setf (svref new-outer-vector i)
+ (make-smallvec)))
(setf (bigvec-outer-vector bigvec)
- new-outer-vector))
+ new-outer-vector))
bigvec)
\f
;;;; looking up bytes and multi-byte values in a BIGVEC (considering
(loop for i from 0 to (1- number-octets)
collect `(ash (bvref bigvec (+ byte-index ,i))
,(* i 8))))
- (ash-list-be
- (loop for i from 0 to (1- number-octets)
- collect `(ash (bvref bigvec
- (+ byte-index
- ,(- number-octets 1 i)))
- ,(* i 8))))
+ (ash-list-be
+ (loop for i from 0 to (1- number-octets)
+ collect `(ash (bvref bigvec
+ (+ byte-index
+ ,(- number-octets 1 i)))
+ ,(* i 8))))
(setf-list-le
(loop for i from 0 to (1- number-octets)
append
`((bvref bigvec (+ byte-index ,i))
(ldb (byte 8 ,(* i 8)) new-value))))
- (setf-list-be
- (loop for i from 0 to (1- number-octets)
+ (setf-list-be
+ (loop for i from 0 to (1- number-octets)
append
- `((bvref bigvec (+ byte-index ,i))
- (ldb (byte 8 ,(- n 8 (* i 8))) new-value)))))
+ `((bvref bigvec (+ byte-index ,i))
+ (ldb (byte 8 ,(- n 8 (* i 8))) new-value)))))
`(progn
(defun ,name (bigvec byte-index)
- (logior ,@(ecase sb!c:*backend-byte-order*
- (:little-endian ash-list-le)
- (:big-endian ash-list-be))))
- (defun (setf ,name) (new-value bigvec byte-index)
- (setf ,@(ecase sb!c:*backend-byte-order*
- (:little-endian setf-list-le)
- (:big-endian setf-list-be))))))))
+ (logior ,@(ecase sb!c:*backend-byte-order*
+ (:little-endian ash-list-le)
+ (:big-endian ash-list-be))))
+ (defun (setf ,name) (new-value bigvec byte-index)
+ (setf ,@(ecase sb!c:*backend-byte-order*
+ (:little-endian setf-list-le)
+ (:big-endian setf-list-be))))))))
(make-bvref-n 8)
(make-bvref-n 16)
(make-bvref-n 32)
;;; a GENESIS-time representation of a memory space (e.g. read-only
;;; space, dynamic space, or static space)
(defstruct (gspace (:constructor %make-gspace)
- (:copier nil))
+ (:copier nil))
;; name and identifier for this GSPACE
(name (missing-arg) :type symbol :read-only t)
(identifier (missing-arg) :type fixnum :read-only t)
(defun make-gspace (name identifier byte-address)
(unless (zerop (rem byte-address target-space-alignment))
(error "The byte address #X~X is not aligned on a #X~X-byte boundary."
- byte-address
- target-space-alignment))
+ byte-address
+ target-space-alignment))
(%make-gspace :name name
- :identifier identifier
- :word-address (ash byte-address (- sb!vm:word-shift))))
+ :identifier identifier
+ :word-address (ash byte-address (- sb!vm:word-shift))))
\f
;;;; representation of descriptors
(defstruct (descriptor
- (:constructor make-descriptor
- (high low &optional gspace word-offset))
- (:copier nil))
+ (:constructor make-descriptor
+ (high low &optional gspace word-offset))
+ (:copier nil))
;; the GSPACE that this descriptor is allocated in, or NIL if not set yet.
(gspace nil :type (or gspace null))
;; the offset in words from the start of GSPACE, or NIL if not set yet
(let ((lowtag (descriptor-lowtag des)))
(print-unreadable-object (des stream :type t)
(cond ((or (= lowtag sb!vm:even-fixnum-lowtag)
- (= lowtag sb!vm:odd-fixnum-lowtag))
- (let ((unsigned (logior (ash (descriptor-high des)
- (1+ (- descriptor-low-bits
- sb!vm:n-lowtag-bits)))
- (ash (descriptor-low des)
- (- 1 sb!vm:n-lowtag-bits)))))
- (format stream
- "for fixnum: ~W"
- (if (> unsigned #x1FFFFFFF)
- (- unsigned #x40000000)
- unsigned))))
- ((or (= lowtag sb!vm:other-immediate-0-lowtag)
- (= lowtag sb!vm:other-immediate-1-lowtag)
+ (= lowtag sb!vm:odd-fixnum-lowtag))
+ (let ((unsigned (logior (ash (descriptor-high des)
+ (1+ (- descriptor-low-bits
+ sb!vm:n-lowtag-bits)))
+ (ash (descriptor-low des)
+ (- 1 sb!vm:n-lowtag-bits)))))
+ (format stream
+ "for fixnum: ~W"
+ (if (> unsigned #x1FFFFFFF)
+ (- unsigned #x40000000)
+ unsigned))))
+ ((or (= lowtag sb!vm:other-immediate-0-lowtag)
+ (= lowtag sb!vm:other-immediate-1-lowtag)
#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
(= lowtag sb!vm:other-immediate-2-lowtag)
#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
(= lowtag sb!vm:other-immediate-3-lowtag))
- (format stream
- "for other immediate: #X~X, type #b~8,'0B"
- (ash (descriptor-bits des) (- sb!vm:n-widetag-bits))
- (logand (descriptor-low des) sb!vm:widetag-mask)))
- (t
- (format stream
- "for pointer: #X~X, lowtag #b~3,'0B, ~A"
- (logior (ash (descriptor-high des) descriptor-low-bits)
- (logandc2 (descriptor-low des) sb!vm:lowtag-mask))
- lowtag
- (let ((gspace (descriptor-gspace des)))
- (if gspace
- (gspace-name gspace)
- "unknown"))))))))
+ (format stream
+ "for other immediate: #X~X, type #b~8,'0B"
+ (ash (descriptor-bits des) (- sb!vm:n-widetag-bits))
+ (logand (descriptor-low des) sb!vm:widetag-mask)))
+ (t
+ (format stream
+ "for pointer: #X~X, lowtag #b~3,'0B, ~A"
+ (logior (ash (descriptor-high des) descriptor-low-bits)
+ (logandc2 (descriptor-low des) sb!vm:lowtag-mask))
+ lowtag
+ (let ((gspace (descriptor-gspace des)))
+ (if gspace
+ (gspace-name gspace)
+ "unknown"))))))))
;;; Return a descriptor for a block of LENGTH bytes out of GSPACE. The
;;; free word index is boosted as necessary, and if additional memory
;;; pointer of type LOWTAG.
(defun allocate-cold-descriptor (gspace length lowtag)
(let* ((bytes (round-up length (ash 1 sb!vm:n-lowtag-bits)))
- (old-free-word-index (gspace-free-word-index gspace))
- (new-free-word-index (+ old-free-word-index
- (ash bytes (- sb!vm:word-shift)))))
+ (old-free-word-index (gspace-free-word-index gspace))
+ (new-free-word-index (+ old-free-word-index
+ (ash bytes (- sb!vm:word-shift)))))
;; Grow GSPACE as necessary until it's big enough to handle
;; NEW-FREE-WORD-INDEX.
(do ()
- ((>= (bvlength (gspace-bytes gspace))
- (* new-free-word-index sb!vm:n-word-bytes)))
+ ((>= (bvlength (gspace-bytes gspace))
+ (* new-free-word-index sb!vm:n-word-bytes)))
(expand-bigvec (gspace-bytes gspace)))
;; Now that GSPACE is big enough, we can meaningfully grab a chunk of it.
(setf (gspace-free-word-index gspace) new-free-word-index)
(let ((ptr (+ (gspace-word-address gspace) old-free-word-index)))
(make-descriptor (ash ptr (- sb!vm:word-shift descriptor-low-bits))
- (logior (ash (logand ptr
- (1- (ash 1
- (- descriptor-low-bits
- sb!vm:word-shift))))
- sb!vm:word-shift)
- lowtag)
- gspace
- old-free-word-index))))
+ (logior (ash (logand ptr
+ (1- (ash 1
+ (- descriptor-low-bits
+ sb!vm:word-shift))))
+ sb!vm:word-shift)
+ lowtag)
+ gspace
+ old-free-word-index))))
(defun descriptor-lowtag (des)
#!+sb-doc
(defun descriptor-bits (des)
(logior (ash (descriptor-high des) descriptor-low-bits)
- (descriptor-low des)))
+ (descriptor-low des)))
(defun descriptor-fixnum (des)
(let ((bits (descriptor-bits des)))
;; representation.
(let ((lowtag (descriptor-lowtag des)))
(if (or (= lowtag sb!vm:even-fixnum-lowtag)
- (= lowtag sb!vm:odd-fixnum-lowtag))
- (make-random-descriptor (descriptor-fixnum des))
- (read-wordindexed des 1))))
+ (= lowtag sb!vm:odd-fixnum-lowtag))
+ (make-random-descriptor (descriptor-fixnum des))
+ (read-wordindexed des 1))))
;;; common idioms
(defun descriptor-bytes (des)
;; code from CMU CL's DESCRIPTOR-SAP function. Some explanation
;; would be nice. -- WHN 19990817
(let ((lowtag (descriptor-lowtag des))
- (high (descriptor-high des))
- (low (descriptor-low des)))
+ (high (descriptor-high des))
+ (low (descriptor-low des)))
(if (or (eql lowtag sb!vm:fun-pointer-lowtag)
- (eql lowtag sb!vm:instance-pointer-lowtag)
- (eql lowtag sb!vm:list-pointer-lowtag)
- (eql lowtag sb!vm:other-pointer-lowtag))
- (dolist (gspace (list *dynamic* *static* *read-only*)
- (error "couldn't find a GSPACE for ~S" des))
- ;; This code relies on the fact that GSPACEs are aligned
- ;; such that the descriptor-low-bits low bits are zero.
- (when (and (>= high (ash (gspace-word-address gspace)
- (- sb!vm:word-shift descriptor-low-bits)))
- (<= high (ash (+ (gspace-word-address gspace)
- (gspace-free-word-index gspace))
- (- sb!vm:word-shift descriptor-low-bits))))
- (setf (descriptor-gspace des) gspace)
- (setf (descriptor-word-offset des)
- (+ (ash (- high (ash (gspace-word-address gspace)
- (- sb!vm:word-shift
- descriptor-low-bits)))
- (- descriptor-low-bits sb!vm:word-shift))
- (ash (logandc2 low sb!vm:lowtag-mask)
- (- sb!vm:word-shift))))
- (return gspace)))
- (error "don't even know how to look for a GSPACE for ~S" des)))))
+ (eql lowtag sb!vm:instance-pointer-lowtag)
+ (eql lowtag sb!vm:list-pointer-lowtag)
+ (eql lowtag sb!vm:other-pointer-lowtag))
+ (dolist (gspace (list *dynamic* *static* *read-only*)
+ (error "couldn't find a GSPACE for ~S" des))
+ ;; This code relies on the fact that GSPACEs are aligned
+ ;; such that the descriptor-low-bits low bits are zero.
+ (when (and (>= high (ash (gspace-word-address gspace)
+ (- sb!vm:word-shift descriptor-low-bits)))
+ (<= high (ash (+ (gspace-word-address gspace)
+ (gspace-free-word-index gspace))
+ (- sb!vm:word-shift descriptor-low-bits))))
+ (setf (descriptor-gspace des) gspace)
+ (setf (descriptor-word-offset des)
+ (+ (ash (- high (ash (gspace-word-address gspace)
+ (- sb!vm:word-shift
+ descriptor-low-bits)))
+ (- descriptor-low-bits sb!vm:word-shift))
+ (ash (logandc2 low sb!vm:lowtag-mask)
+ (- sb!vm:word-shift))))
+ (return gspace)))
+ (error "don't even know how to look for a GSPACE for ~S" des)))))
(defun make-random-descriptor (value)
(make-descriptor (logand (ash value (- descriptor-low-bits))
- (1- (ash 1
- (- sb!vm:n-word-bits
- descriptor-low-bits))))
- (logand value (1- (ash 1 descriptor-low-bits)))))
+ (1- (ash 1
+ (- sb!vm:n-word-bits
+ descriptor-low-bits))))
+ (logand value (1- (ash 1 descriptor-low-bits)))))
(defun make-fixnum-descriptor (num)
(when (>= (integer-length num)
- (1+ (- sb!vm:n-word-bits sb!vm:n-lowtag-bits)))
+ (1+ (- sb!vm:n-word-bits sb!vm:n-lowtag-bits)))
(error "~W is too big for a fixnum." num))
(make-random-descriptor (ash num (1- sb!vm:n-lowtag-bits))))
(defun make-other-immediate-descriptor (data type)
(make-descriptor (ash data (- sb!vm:n-widetag-bits descriptor-low-bits))
- (logior (logand (ash data (- descriptor-low-bits
- sb!vm:n-widetag-bits))
- (1- (ash 1 descriptor-low-bits)))
- type)))
+ (logior (logand (ash data (- descriptor-low-bits
+ sb!vm:n-widetag-bits))
+ (1- (ash 1 descriptor-low-bits)))
+ type)))
(defun make-character-descriptor (data)
(make-other-immediate-descriptor data sb!vm:character-widetag))
(defun descriptor-beyond (des offset type)
(let* ((low (logior (+ (logandc2 (descriptor-low des) sb!vm:lowtag-mask)
- offset)
- type))
- (high (+ (descriptor-high des)
- (ash low (- descriptor-low-bits)))))
+ offset)
+ type))
+ (high (+ (descriptor-high des)
+ (ash low (- descriptor-low-bits)))))
(make-descriptor high (logand low (1- (ash 1 descriptor-low-bits))))))
\f
;;;; miscellaneous variables and other noise
#!+sb-doc
"Return the value which is displaced by INDEX words from ADDRESS."
(let* ((gspace (descriptor-intuit-gspace address))
- (bytes (gspace-bytes gspace))
- (byte-index (ash (+ index (descriptor-word-offset address))
- sb!vm:word-shift))
- (value (bvref-word bytes byte-index)))
+ (bytes (gspace-bytes gspace))
+ (byte-index (ash (+ index (descriptor-word-offset address))
+ sb!vm:word-shift))
+ (value (bvref-word bytes byte-index)))
(make-random-descriptor value)))
(declaim (ftype (function (descriptor) descriptor) read-memory))
note-load-time-value-reference))
(defun note-load-time-value-reference (address marker)
(cold-push (cold-cons
- (cold-intern :load-time-value-fixup)
- (cold-cons (sap-int-to-core address)
- (cold-cons
- (number-to-core (descriptor-word-offset marker))
- *nil-descriptor*)))
- *current-reversed-cold-toplevels*)
+ (cold-intern :load-time-value-fixup)
+ (cold-cons (sap-int-to-core address)
+ (cold-cons
+ (number-to-core (descriptor-word-offset marker))
+ *nil-descriptor*)))
+ *current-reversed-cold-toplevels*)
(values))
(declaim (ftype (function (descriptor sb!vm:word descriptor)) write-wordindexed))
;; perhaps write a comment somewhere explaining why it's not a good
;; idea?) -- WHN 19990817
(if (and (null (descriptor-gspace value))
- (not (null (descriptor-word-offset value))))
+ (not (null (descriptor-word-offset value))))
(note-load-time-value-reference (+ (logandc2 (descriptor-bits address)
- sb!vm:lowtag-mask)
- (ash index sb!vm:word-shift))
- value)
+ sb!vm:lowtag-mask)
+ (ash index sb!vm:word-shift))
+ value)
(let* ((bytes (gspace-bytes (descriptor-intuit-gspace address)))
- (byte-index (ash (+ index (descriptor-word-offset address))
- sb!vm:word-shift)))
+ (byte-index (ash (+ index (descriptor-word-offset address))
+ sb!vm:word-shift)))
(setf (bvref-word bytes byte-index)
- (descriptor-bits value)))))
+ (descriptor-bits value)))))
(declaim (ftype (function (descriptor descriptor)) write-memory))
(defun write-memory (address value)
return an ``other-pointer'' descriptor to them. Initialize the header word
with the resultant length and TYPE."
(let* ((bytes (/ (* element-bits length) sb!vm:n-byte-bits))
- (des (allocate-cold-descriptor gspace
- (+ bytes sb!vm:n-word-bytes)
- sb!vm:other-pointer-lowtag)))
+ (des (allocate-cold-descriptor gspace
+ (+ bytes sb!vm:n-word-bytes)
+ sb!vm:other-pointer-lowtag)))
(write-memory des
- (make-other-immediate-descriptor (ash bytes
- (- sb!vm:word-shift))
- type))
+ (make-other-immediate-descriptor (ash bytes
+ (- sb!vm:word-shift))
+ type))
des))
(defun allocate-vector-object (gspace element-bits length type)
#!+sb-doc
;; FIXME: Here and in ALLOCATE-UNBOXED-OBJECT, BYTES is calculated using
;; #'/ instead of #'CEILING, which seems wrong.
(let* ((bytes (/ (* element-bits length) sb!vm:n-byte-bits))
- (des (allocate-cold-descriptor gspace
- (+ bytes (* 2 sb!vm:n-word-bytes))
- sb!vm:other-pointer-lowtag)))
+ (des (allocate-cold-descriptor gspace
+ (+ bytes (* 2 sb!vm:n-word-bytes))
+ sb!vm:other-pointer-lowtag)))
(write-memory des (make-other-immediate-descriptor 0 type))
(write-wordindexed des
- sb!vm:vector-length-slot
- (make-fixnum-descriptor length))
+ sb!vm:vector-length-slot
+ (make-fixnum-descriptor length))
des))
\f
;;;; copying simple objects into the cold core
;; (Remember that the system convention for storage of strings leaves an
;; extra null byte at the end to aid in call-out to C.)
(let* ((length (length string))
- (des (allocate-vector-object gspace
- sb!vm:n-byte-bits
- (1+ length)
- sb!vm:simple-base-string-widetag))
- (bytes (gspace-bytes gspace))
- (offset (+ (* sb!vm:vector-data-offset sb!vm:n-word-bytes)
- (descriptor-byte-offset des))))
+ (des (allocate-vector-object gspace
+ sb!vm:n-byte-bits
+ (1+ length)
+ sb!vm:simple-base-string-widetag))
+ (bytes (gspace-bytes gspace))
+ (offset (+ (* sb!vm:vector-data-offset sb!vm:n-word-bytes)
+ (descriptor-byte-offset des))))
(write-wordindexed des
- sb!vm:vector-length-slot
- (make-fixnum-descriptor length))
+ sb!vm:vector-length-slot
+ (make-fixnum-descriptor length))
(dotimes (i length)
(setf (bvref bytes (+ offset i))
- (sb!xc:char-code (aref string i))))
+ (sb!xc:char-code (aref string i))))
(setf (bvref bytes (+ offset length))
- 0) ; null string-termination character for C
+ 0) ; null string-termination character for C
des))
(defun bignum-to-core (n)
#!+sb-doc
"Copy a bignum to the cold core."
(let* ((words (ceiling (1+ (integer-length n)) sb!vm:n-word-bits))
- (handle (allocate-unboxed-object *dynamic*
- sb!vm:n-word-bits
- words
- sb!vm:bignum-widetag)))
+ (handle (allocate-unboxed-object *dynamic*
+ sb!vm:n-word-bits
+ words
+ sb!vm:bignum-widetag)))
(declare (fixnum words))
(do ((index 1 (1+ index))
- (remainder n (ash remainder (- sb!vm:n-word-bits))))
- ((> index words)
- (unless (zerop (integer-length remainder))
- ;; FIXME: Shouldn't this be a fatal error?
- (warn "~W words of ~W were written, but ~W bits were left over."
- words n remainder)))
+ (remainder n (ash remainder (- sb!vm:n-word-bits))))
+ ((> index words)
+ (unless (zerop (integer-length remainder))
+ ;; FIXME: Shouldn't this be a fatal error?
+ (warn "~W words of ~W were written, but ~W bits were left over."
+ words n remainder)))
(let ((word (ldb (byte sb!vm:n-word-bits 0) remainder)))
- (write-wordindexed handle index
- (make-descriptor (ash word (- descriptor-low-bits))
- (ldb (byte descriptor-low-bits 0)
- word)))))
+ (write-wordindexed handle index
+ (make-descriptor (ash word (- descriptor-low-bits))
+ (ldb (byte descriptor-low-bits 0)
+ word)))))
handle))
(defun number-pair-to-core (first second type)
(defun write-double-float-bits (address index x)
(let ((hi (double-float-high-bits x))
- (lo (double-float-low-bits x)))
+ (lo (double-float-low-bits x)))
(ecase sb!vm::n-word-bits
(32
(let ((high-bits (make-random-descriptor hi))
- (low-bits (make-random-descriptor lo)))
- (ecase sb!c:*backend-byte-order*
- (:little-endian
- (write-wordindexed address index low-bits)
- (write-wordindexed address (1+ index) high-bits))
- (:big-endian
- (write-wordindexed address index high-bits)
- (write-wordindexed address (1+ index) low-bits)))))
+ (low-bits (make-random-descriptor lo)))
+ (ecase sb!c:*backend-byte-order*
+ (:little-endian
+ (write-wordindexed address index low-bits)
+ (write-wordindexed address (1+ index) high-bits))
+ (:big-endian
+ (write-wordindexed address index high-bits)
+ (write-wordindexed address (1+ index) low-bits)))))
(64
(let ((bits (make-random-descriptor
- (ecase sb!c:*backend-byte-order*
- (:little-endian (logior lo (ash hi 32)))
- ;; Just guessing.
- #+nil (:big-endian (logior (logand hi #xffffffff)
- (ash lo 32)))))))
- (write-wordindexed address index bits))))
+ (ecase sb!c:*backend-byte-order*
+ (:little-endian (logior lo (ash hi 32)))
+ ;; Just guessing.
+ #+nil (:big-endian (logior (logand hi #xffffffff)
+ (ash lo 32)))))))
+ (write-wordindexed address index bits))))
address))
(defun float-to-core (x)
;; 64-bit platforms have immediate single-floats.
#!+#.(cl:if (cl:= sb!vm:n-word-bits 64) '(and) '(or))
(make-random-descriptor (logior (ash (single-float-bits x) 32)
- sb!vm::single-float-widetag))
+ sb!vm::single-float-widetag))
#!-#.(cl:if (cl:= sb!vm:n-word-bits 64) '(and) '(or))
(let ((des (allocate-unboxed-object *dynamic*
- sb!vm:n-word-bits
- (1- sb!vm:single-float-size)
- sb!vm:single-float-widetag)))
+ sb!vm:n-word-bits
+ (1- sb!vm:single-float-size)
+ sb!vm:single-float-widetag)))
(write-wordindexed des
- sb!vm:single-float-value-slot
- (make-random-descriptor (single-float-bits x)))
+ sb!vm:single-float-value-slot
+ (make-random-descriptor (single-float-bits x)))
des))
(double-float
(let ((des (allocate-unboxed-object *dynamic*
- sb!vm:n-word-bits
- (1- sb!vm:double-float-size)
- sb!vm:double-float-widetag)))
+ sb!vm:n-word-bits
+ (1- sb!vm:double-float-size)
+ sb!vm:double-float-widetag)))
(write-double-float-bits des sb!vm:double-float-value-slot x)))))
(defun complex-single-float-to-core (num)
(declare (type (complex single-float) num))
(let ((des (allocate-unboxed-object *dynamic* sb!vm:n-word-bits
- (1- sb!vm:complex-single-float-size)
- sb!vm:complex-single-float-widetag)))
+ (1- sb!vm:complex-single-float-size)
+ sb!vm:complex-single-float-widetag)))
(write-wordindexed des sb!vm:complex-single-float-real-slot
- (make-random-descriptor (single-float-bits (realpart num))))
+ (make-random-descriptor (single-float-bits (realpart num))))
(write-wordindexed des sb!vm:complex-single-float-imag-slot
- (make-random-descriptor (single-float-bits (imagpart num))))
+ (make-random-descriptor (single-float-bits (imagpart num))))
des))
(defun complex-double-float-to-core (num)
(declare (type (complex double-float) num))
(let ((des (allocate-unboxed-object *dynamic* sb!vm:n-word-bits
- (1- sb!vm:complex-double-float-size)
- sb!vm:complex-double-float-widetag)))
+ (1- sb!vm:complex-double-float-size)
+ sb!vm:complex-double-float-widetag)))
(write-double-float-bits des sb!vm:complex-double-float-real-slot
- (realpart num))
+ (realpart num))
(write-double-float-bits des sb!vm:complex-double-float-imag-slot
- (imagpart num))))
+ (imagpart num))))
;;; Copy the given number to the core.
(defun number-to-core (number)
(typecase number
- (integer (if (< (integer-length number)
- (- (1+ sb!vm:n-word-bits) sb!vm:n-lowtag-bits))
- (make-fixnum-descriptor number)
- (bignum-to-core number)))
+ (integer (if (< (integer-length number)
+ (- (1+ sb!vm:n-word-bits) sb!vm:n-lowtag-bits))
+ (make-fixnum-descriptor number)
+ (bignum-to-core number)))
(ratio (number-pair-to-core (number-to-core (numerator number))
- (number-to-core (denominator number))
- sb!vm:ratio-widetag))
+ (number-to-core (denominator number))
+ sb!vm:ratio-widetag))
((complex single-float) (complex-single-float-to-core number))
((complex double-float) (complex-double-float-to-core number))
#!+long-float
((complex long-float)
(error "~S isn't a cold-loadable number at all!" number))
(complex (number-pair-to-core (number-to-core (realpart number))
- (number-to-core (imagpart number))
- sb!vm:complex-widetag))
+ (number-to-core (imagpart number))
+ sb!vm:complex-widetag))
(float (float-to-core number))
(t (error "~S isn't a cold-loadable number at all!" number))))
(declaim (ftype (function (sb!vm:word) descriptor) sap-int-to-core))
(defun sap-int-to-core (sap-int)
(let ((des (allocate-unboxed-object *dynamic*
- sb!vm:n-word-bits
- (1- sb!vm:sap-size)
- sb!vm:sap-widetag)))
+ sb!vm:n-word-bits
+ (1- sb!vm:sap-size)
+ sb!vm:sap-widetag)))
(write-wordindexed des
- sb!vm:sap-pointer-slot
- (make-random-descriptor sap-int))
+ sb!vm:sap-pointer-slot
+ (make-random-descriptor sap-int))
des))
;;; Allocate a cons cell in GSPACE and fill it in with CAR and CDR.
;;; OBJECTS, and return its descriptor.
(defun vector-in-core (&rest objects)
(let* ((size (length objects))
- (result (allocate-vector-object *dynamic* sb!vm:n-word-bits size
- sb!vm:simple-vector-widetag)))
+ (result (allocate-vector-object *dynamic* sb!vm:n-word-bits size
+ sb!vm:simple-vector-widetag)))
(dotimes (index size)
(write-wordindexed result (+ index sb!vm:vector-data-offset)
- (pop objects)))
+ (pop objects)))
result))
\f
;;;; symbol magic
(defun allocate-symbol (name)
(declare (simple-string name))
(let ((symbol (allocate-unboxed-object (or *cold-symbol-allocation-gspace*
- *dynamic*)
- sb!vm:n-word-bits
- (1- sb!vm:symbol-size)
- sb!vm:symbol-header-widetag)))
+ *dynamic*)
+ sb!vm:n-word-bits
+ (1- sb!vm:symbol-size)
+ sb!vm:symbol-header-widetag)))
(write-wordindexed symbol sb!vm:symbol-value-slot *unbound-marker*)
(write-wordindexed symbol
- sb!vm:symbol-hash-slot
- (make-fixnum-descriptor 0))
+ sb!vm:symbol-hash-slot
+ (make-fixnum-descriptor 0))
(write-wordindexed symbol sb!vm:symbol-plist-slot *nil-descriptor*)
(write-wordindexed symbol sb!vm:symbol-name-slot
- (base-string-to-core name *dynamic*))
+ (base-string-to-core name *dynamic*))
(write-wordindexed symbol sb!vm:symbol-package-slot *nil-descriptor*)
symbol))
(declaim (ftype (function ((or descriptor symbol) descriptor)) cold-set))
(defun cold-set (symbol-or-symbol-des value)
(let ((symbol-des (etypecase symbol-or-symbol-des
- (descriptor symbol-or-symbol-des)
- (symbol (cold-intern symbol-or-symbol-des)))))
+ (descriptor symbol-or-symbol-des)
+ (symbol (cold-intern symbol-or-symbol-des)))))
(write-wordindexed symbol-des sb!vm:symbol-value-slot value)))
\f
;;;; layouts and type system pre-initialization
;;; in X.
(defun listify-cold-inherits (x)
(let ((len (descriptor-fixnum (read-wordindexed x
- sb!vm:vector-length-slot))))
+ sb!vm:vector-length-slot))))
(collect ((res))
(dotimes (index len)
- (let* ((des (read-wordindexed x (+ sb!vm:vector-data-offset index)))
- (found (gethash (descriptor-bits des) *cold-layout-names*)))
- (if found
- (res found)
- (error "unknown descriptor at index ~S (bits = ~8,'0X)"
- index
- (descriptor-bits des)))))
+ (let* ((des (read-wordindexed x (+ sb!vm:vector-data-offset index)))
+ (found (gethash (descriptor-bits des) *cold-layout-names*)))
+ (if found
+ (res found)
+ (error "unknown descriptor at index ~S (bits = ~8,'0X)"
+ index
+ (descriptor-bits des)))))
(res))))
(declaim (ftype (function (symbol descriptor descriptor descriptor descriptor)
- descriptor)
- make-cold-layout))
+ descriptor)
+ make-cold-layout))
(defun make-cold-layout (name length inherits depthoid nuntagged)
(let ((result (allocate-boxed-object *dynamic*
- ;; KLUDGE: Why 1+? -- WHN 19990901
- (1+ target-layout-length)
- sb!vm:instance-pointer-lowtag)))
+ ;; KLUDGE: Why 1+? -- WHN 19990901
+ (1+ target-layout-length)
+ sb!vm:instance-pointer-lowtag)))
(write-memory result
- (make-other-immediate-descriptor
- target-layout-length sb!vm:instance-header-widetag))
+ (make-other-immediate-descriptor
+ target-layout-length sb!vm:instance-header-widetag))
;; KLUDGE: The offsets into LAYOUT below should probably be pulled out
;; of the cross-compiler's tables at genesis time instead of inserted
;; different algorithm than we use in ordinary operation.
(dotimes (i sb!kernel:layout-clos-hash-length)
(let (;; The expression here is pretty arbitrary, we just want
- ;; to make sure that it's not something which is (1)
- ;; evenly distributed and (2) not foreordained to arise in
- ;; the target Lisp's (RANDOM-LAYOUT-CLOS-HASH) sequence
- ;; and show up as the CLOS-HASH value of some other
- ;; LAYOUT.
- ;;
- ;; FIXME: This expression here can generate a zero value,
- ;; and the CMU CL code goes out of its way to generate
- ;; strictly positive values (even though the field is
- ;; declared as an INDEX). Check that it's really OK to
- ;; have zero values in the CLOS-HASH slots.
- (hash-value (mod (logxor (logand (random-layout-clos-hash) 15253)
- (logandc2 (random-layout-clos-hash) 15253)
- 1)
- ;; (The MOD here is defensive programming
- ;; to make sure we never write an
- ;; out-of-range value even if some joker
- ;; sets LAYOUT-CLOS-HASH-MAX to other
- ;; than 2^n-1 at some time in the
- ;; future.)
- (1+ sb!kernel:layout-clos-hash-max))))
- (write-wordindexed result
- (+ i sb!vm:instance-slots-offset 1)
- (make-fixnum-descriptor hash-value))))
+ ;; to make sure that it's not something which is (1)
+ ;; evenly distributed and (2) not foreordained to arise in
+ ;; the target Lisp's (RANDOM-LAYOUT-CLOS-HASH) sequence
+ ;; and show up as the CLOS-HASH value of some other
+ ;; LAYOUT.
+ ;;
+ ;; FIXME: This expression here can generate a zero value,
+ ;; and the CMU CL code goes out of its way to generate
+ ;; strictly positive values (even though the field is
+ ;; declared as an INDEX). Check that it's really OK to
+ ;; have zero values in the CLOS-HASH slots.
+ (hash-value (mod (logxor (logand (random-layout-clos-hash) 15253)
+ (logandc2 (random-layout-clos-hash) 15253)
+ 1)
+ ;; (The MOD here is defensive programming
+ ;; to make sure we never write an
+ ;; out-of-range value even if some joker
+ ;; sets LAYOUT-CLOS-HASH-MAX to other
+ ;; than 2^n-1 at some time in the
+ ;; future.)
+ (1+ sb!kernel:layout-clos-hash-max))))
+ (write-wordindexed result
+ (+ i sb!vm:instance-slots-offset 1)
+ (make-fixnum-descriptor hash-value))))
;; Set other slot values.
(let ((base (+ sb!vm:instance-slots-offset
- sb!kernel:layout-clos-hash-length
- 1)))
+ sb!kernel:layout-clos-hash-length
+ 1)))
;; (Offset 0 is CLASS, "the class this is a layout for", which
;; is uninitialized at this point.)
(write-wordindexed result (+ base 1) *nil-descriptor*) ; marked invalid
(write-wordindexed result (+ base 7) nuntagged))
(setf (gethash name *cold-layouts*)
- (list result
- name
- (descriptor-fixnum length)
- (listify-cold-inherits inherits)
- (descriptor-fixnum depthoid)
- (descriptor-fixnum nuntagged)))
+ (list result
+ name
+ (descriptor-fixnum length)
+ (listify-cold-inherits inherits)
+ (descriptor-fixnum depthoid)
+ (descriptor-fixnum nuntagged)))
(setf (gethash (descriptor-bits result) *cold-layout-names*) name)
result))
;; #() as INHERITS,
(setq *layout-layout* *nil-descriptor*)
(setq *layout-layout*
- (make-cold-layout 'layout
- (number-to-core target-layout-length)
- (vector-in-core)
- ;; FIXME: hard-coded LAYOUT-DEPTHOID of LAYOUT..
- (number-to-core 4)
- ;; no raw slots in LAYOUT:
- (number-to-core 0)))
+ (make-cold-layout 'layout
+ (number-to-core target-layout-length)
+ (vector-in-core)
+ ;; FIXME: hard-coded LAYOUT-DEPTHOID of LAYOUT..
+ (number-to-core 4)
+ ;; no raw slots in LAYOUT:
+ (number-to-core 0)))
(write-wordindexed *layout-layout*
- sb!vm:instance-slots-offset
- *layout-layout*)
+ sb!vm:instance-slots-offset
+ *layout-layout*)
;; Then we create the layouts that we'll need to make a correct INHERITS
;; vector for the layout of LAYOUT itself..
;; FIXME: The various LENGTH and DEPTHOID numbers should be taken from
;; the compiler's tables, not set by hand.
(let* ((t-layout
- (make-cold-layout 't
- (number-to-core 0)
- (vector-in-core)
- (number-to-core 0)
- (number-to-core 0)))
- (i-layout
- (make-cold-layout 'instance
- (number-to-core 0)
- (vector-in-core t-layout)
- (number-to-core 1)
- (number-to-core 0)))
- (so-layout
- (make-cold-layout 'structure-object
- (number-to-core 1)
- (vector-in-core t-layout i-layout)
- (number-to-core 2)
- (number-to-core 0)))
- (bso-layout
- (make-cold-layout 'structure!object
- (number-to-core 1)
- (vector-in-core t-layout i-layout so-layout)
- (number-to-core 3)
- (number-to-core 0)))
- (layout-inherits (vector-in-core t-layout
- i-layout
- so-layout
- bso-layout)))
+ (make-cold-layout 't
+ (number-to-core 0)
+ (vector-in-core)
+ (number-to-core 0)
+ (number-to-core 0)))
+ (i-layout
+ (make-cold-layout 'instance
+ (number-to-core 0)
+ (vector-in-core t-layout)
+ (number-to-core 1)
+ (number-to-core 0)))
+ (so-layout
+ (make-cold-layout 'structure-object
+ (number-to-core 1)
+ (vector-in-core t-layout i-layout)
+ (number-to-core 2)
+ (number-to-core 0)))
+ (bso-layout
+ (make-cold-layout 'structure!object
+ (number-to-core 1)
+ (vector-in-core t-layout i-layout so-layout)
+ (number-to-core 3)
+ (number-to-core 0)))
+ (layout-inherits (vector-in-core t-layout
+ i-layout
+ so-layout
+ bso-layout)))
;; ..and return to backpatch the layout of LAYOUT.
(setf (fourth (gethash 'layout *cold-layouts*))
- (listify-cold-inherits layout-inherits))
+ (listify-cold-inherits layout-inherits))
(write-wordindexed *layout-layout*
- ;; FIXME: hardcoded offset into layout struct
- (+ sb!vm:instance-slots-offset
- layout-clos-hash-length
- 1
- 2)
- layout-inherits)))
+ ;; FIXME: hardcoded offset into layout struct
+ (+ sb!vm:instance-slots-offset
+ layout-clos-hash-length
+ 1
+ 2)
+ layout-inherits)))
\f
;;;; interning symbols in the cold image
;; package in the xc host? something we can't think of
;; a valid reason to cold intern, anyway...)
)))
-
+
;;; like SYMBOL-PACKAGE, but safe for symbols which end up on the target
;;;
;;; Most host symbols we dump onto the target are created by SBCL
(multiple-value-bind (cl-symbol cl-status)
(find-symbol (symbol-name symbol) *cl-package*)
(if (and (eq symbol cl-symbol)
- (eq cl-status :external))
- ;; special case, to work around possible xc host weirdness
- ;; in COMMON-LISP package
- *cl-package*
- ;; ordinary case
- (let ((result (symbol-package symbol)))
- (aver (package-ok-for-target-symbol-p result))
- result))))
+ (eq cl-status :external))
+ ;; special case, to work around possible xc host weirdness
+ ;; in COMMON-LISP package
+ *cl-package*
+ ;; ordinary case
+ (let ((result (symbol-package symbol)))
+ (aver (package-ok-for-target-symbol-p result))
+ result))))
;;; Return a handle on an interned symbol. If necessary allocate the
;;; symbol and record which package the symbol was referenced in. When
;;; we allocate the symbol, make sure we record a reference to the
;;; symbol in the home package so that the package gets set.
(defun cold-intern (symbol
- &optional
- (package (symbol-package-for-target-symbol symbol)))
+ &optional
+ (package (symbol-package-for-target-symbol symbol)))
(aver (package-ok-for-target-symbol-p package))
(setf symbol (intern (symbol-name symbol) *cl-package*))))
(let (;; Information about each cold-interned symbol is stored
- ;; in COLD-INTERN-INFO.
- ;; (CAR COLD-INTERN-INFO) = descriptor of symbol
- ;; (CDR COLD-INTERN-INFO) = list of packages, other than symbol's
- ;; own package, referring to symbol
- ;; (*COLD-PACKAGE-SYMBOLS* and *COLD-SYMBOLS* store basically the
- ;; same information, but with the mapping running the opposite way.)
- (cold-intern-info (get symbol 'cold-intern-info)))
+ ;; in COLD-INTERN-INFO.
+ ;; (CAR COLD-INTERN-INFO) = descriptor of symbol
+ ;; (CDR COLD-INTERN-INFO) = list of packages, other than symbol's
+ ;; own package, referring to symbol
+ ;; (*COLD-PACKAGE-SYMBOLS* and *COLD-SYMBOLS* store basically the
+ ;; same information, but with the mapping running the opposite way.)
+ (cold-intern-info (get symbol 'cold-intern-info)))
(unless cold-intern-info
(cond ((eq (symbol-package-for-target-symbol symbol) package)
- (let ((handle (allocate-symbol (symbol-name symbol))))
- (setf (gethash (descriptor-bits handle) *cold-symbols*) symbol)
- (when (eq package *keyword-package*)
- (cold-set handle handle))
- (setq cold-intern-info
- (setf (get symbol 'cold-intern-info) (cons handle nil)))))
- (t
- (cold-intern symbol)
- (setq cold-intern-info (get symbol 'cold-intern-info)))))
+ (let ((handle (allocate-symbol (symbol-name symbol))))
+ (setf (gethash (descriptor-bits handle) *cold-symbols*) symbol)
+ (when (eq package *keyword-package*)
+ (cold-set handle handle))
+ (setq cold-intern-info
+ (setf (get symbol 'cold-intern-info) (cons handle nil)))))
+ (t
+ (cold-intern symbol)
+ (setq cold-intern-info (get symbol 'cold-intern-info)))))
(unless (or (null package)
- (member package (cdr cold-intern-info)))
+ (member package (cdr cold-intern-info)))
(push package (cdr cold-intern-info))
(let* ((old-cps-entry (assoc package *cold-package-symbols*))
- (cps-entry (or old-cps-entry
- (car (push (list package)
- *cold-package-symbols*)))))
- (unless old-cps-entry
- (/show "created *COLD-PACKAGE-SYMBOLS* entry for" package symbol))
- (push symbol (rest cps-entry))))
+ (cps-entry (or old-cps-entry
+ (car (push (list package)
+ *cold-package-symbols*)))))
+ (unless old-cps-entry
+ (/show "created *COLD-PACKAGE-SYMBOLS* entry for" package symbol))
+ (push symbol (rest cps-entry))))
(car cold-intern-info)))
;;; Construct and return a value for use as *NIL-DESCRIPTOR*.
(defun make-nil-descriptor ()
(let* ((des (allocate-unboxed-object
- *static*
- sb!vm:n-word-bits
- sb!vm:symbol-size
- 0))
- (result (make-descriptor (descriptor-high des)
- (+ (descriptor-low des)
- (* 2 sb!vm:n-word-bytes)
- (- sb!vm:list-pointer-lowtag
- sb!vm:other-pointer-lowtag)))))
+ *static*
+ sb!vm:n-word-bits
+ sb!vm:symbol-size
+ 0))
+ (result (make-descriptor (descriptor-high des)
+ (+ (descriptor-low des)
+ (* 2 sb!vm:n-word-bytes)
+ (- sb!vm:list-pointer-lowtag
+ sb!vm:other-pointer-lowtag)))))
(write-wordindexed des
- 1
- (make-other-immediate-descriptor
- 0
- sb!vm:symbol-header-widetag))
+ 1
+ (make-other-immediate-descriptor
+ 0
+ sb!vm:symbol-header-widetag))
(write-wordindexed des
- (+ 1 sb!vm:symbol-value-slot)
- result)
+ (+ 1 sb!vm:symbol-value-slot)
+ result)
(write-wordindexed des
- (+ 2 sb!vm:symbol-value-slot)
- result)
+ (+ 2 sb!vm:symbol-value-slot)
+ result)
(write-wordindexed des
- (+ 1 sb!vm:symbol-plist-slot)
- result)
+ (+ 1 sb!vm:symbol-plist-slot)
+ result)
(write-wordindexed des
- (+ 1 sb!vm:symbol-name-slot)
- ;; This is *DYNAMIC*, and DES is *STATIC*,
- ;; because that's the way CMU CL did it; I'm
- ;; not sure whether there's an underlying
- ;; reason. -- WHN 1990826
- (base-string-to-core "NIL" *dynamic*))
+ (+ 1 sb!vm:symbol-name-slot)
+ ;; This is *DYNAMIC*, and DES is *STATIC*,
+ ;; because that's the way CMU CL did it; I'm
+ ;; not sure whether there's an underlying
+ ;; reason. -- WHN 1990826
+ (base-string-to-core "NIL" *dynamic*))
(write-wordindexed des
- (+ 1 sb!vm:symbol-package-slot)
- result)
+ (+ 1 sb!vm:symbol-package-slot)
+ result)
(setf (get nil 'cold-intern-info)
- (cons result nil))
+ (cons result nil))
(cold-intern nil)
result))
;; Intern the others.
(dolist (symbol sb!vm:*static-symbols*)
(let* ((des (cold-intern symbol))
- (offset-wanted (sb!vm:static-symbol-offset symbol))
- (offset-found (- (descriptor-low des)
- (descriptor-low *nil-descriptor*))))
- (unless (= offset-wanted offset-found)
- ;; FIXME: should be fatal
- (warn "Offset from ~S to ~S is ~W, not ~W"
- symbol
- nil
- offset-found
- offset-wanted))))
+ (offset-wanted (sb!vm:static-symbol-offset symbol))
+ (offset-found (- (descriptor-low des)
+ (descriptor-low *nil-descriptor*))))
+ (unless (= offset-wanted offset-found)
+ ;; FIXME: should be fatal
+ (warn "Offset from ~S to ~S is ~W, not ~W"
+ symbol
+ nil
+ offset-found
+ offset-wanted))))
;; Establish the value of T.
(let ((t-symbol (cold-intern t)))
(cold-set t-symbol t-symbol))))
(defun cold-list-all-layouts ()
(let ((result *nil-descriptor*))
(maphash (lambda (key stuff)
- (cold-push (cold-cons (cold-intern key)
- (first stuff))
- result))
- *cold-layouts*)
+ (cold-push (cold-cons (cold-intern key)
+ (first stuff))
+ result))
+ *cold-layouts*)
result))
;;; Establish initial values for magic symbols.
;; *MAYBE-GC-FUN*, *INTERNAL-ERROR-FUN*, *HANDLE-BREAKPOINT-FUN*,
;; and *HANDLE-FUN-END-BREAKPOINT-FUN*...
(macrolet ((frob (symbol)
- `(cold-set ',symbol
- (cold-fdefinition-object (cold-intern ',symbol)))))
+ `(cold-set ',symbol
+ (cold-fdefinition-object (cold-intern ',symbol)))))
(frob sub-gc)
(frob internal-error)
(frob sb!kernel::control-stack-exhausted-error)
(let ((initial-symbols *nil-descriptor*))
(dolist (cold-package-symbols-entry *cold-package-symbols*)
(let* ((cold-package (car cold-package-symbols-entry))
- (symbols (cdr cold-package-symbols-entry))
- (shadows (package-shadowing-symbols cold-package))
- (documentation (base-string-to-core (documentation cold-package t)))
- (internal *nil-descriptor*)
- (external *nil-descriptor*)
- (imported-internal *nil-descriptor*)
- (imported-external *nil-descriptor*)
- (shadowing *nil-descriptor*))
- (declare (type package cold-package)) ; i.e. not a target descriptor
- (/show "dumping" cold-package symbols)
-
- ;; FIXME: Add assertions here to make sure that inappropriate stuff
- ;; isn't being dumped:
- ;; * the CL-USER package
- ;; * the SB-COLD package
- ;; * any internal symbols in the CL package
- ;; * basically any package other than CL, KEYWORD, or the packages
- ;; in package-data-list.lisp-expr
- ;; and that the structure of the KEYWORD package (e.g. whether
- ;; any symbols are internal to it) matches what we want in the
- ;; target SBCL.
-
- ;; FIXME: It seems possible that by looking at the contents of
- ;; packages in the target SBCL we could find which symbols in
- ;; package-data-lisp.lisp-expr are now obsolete. (If I
- ;; understand correctly, only symbols which actually have
- ;; definitions or which are otherwise referred to actually end
- ;; up in the target packages.)
-
- (dolist (symbol symbols)
- (let ((handle (car (get symbol 'cold-intern-info)))
- (imported-p (not (eq (symbol-package-for-target-symbol symbol)
- cold-package))))
- (multiple-value-bind (found where)
- (find-symbol (symbol-name symbol) cold-package)
- (unless (and where (eq found symbol))
- (error "The symbol ~S is not available in ~S."
- symbol
- cold-package))
- (when (memq symbol shadows)
- (cold-push handle shadowing))
- (case where
- (:internal (if imported-p
- (cold-push handle imported-internal)
- (cold-push handle internal)))
- (:external (if imported-p
- (cold-push handle imported-external)
- (cold-push handle external)))))))
- (let ((r *nil-descriptor*))
- (cold-push documentation r)
- (cold-push shadowing r)
- (cold-push imported-external r)
- (cold-push imported-internal r)
- (cold-push external r)
- (cold-push internal r)
- (cold-push (make-make-package-args cold-package) r)
- ;; FIXME: It would be more space-efficient to use vectors
- ;; instead of lists here, and space-efficiency here would be
- ;; nice, since it would reduce the peak memory usage in
- ;; genesis and cold init.
- (cold-push r initial-symbols))))
+ (symbols (cdr cold-package-symbols-entry))
+ (shadows (package-shadowing-symbols cold-package))
+ (documentation (base-string-to-core (documentation cold-package t)))
+ (internal *nil-descriptor*)
+ (external *nil-descriptor*)
+ (imported-internal *nil-descriptor*)
+ (imported-external *nil-descriptor*)
+ (shadowing *nil-descriptor*))
+ (declare (type package cold-package)) ; i.e. not a target descriptor
+ (/show "dumping" cold-package symbols)
+
+ ;; FIXME: Add assertions here to make sure that inappropriate stuff
+ ;; isn't being dumped:
+ ;; * the CL-USER package
+ ;; * the SB-COLD package
+ ;; * any internal symbols in the CL package
+ ;; * basically any package other than CL, KEYWORD, or the packages
+ ;; in package-data-list.lisp-expr
+ ;; and that the structure of the KEYWORD package (e.g. whether
+ ;; any symbols are internal to it) matches what we want in the
+ ;; target SBCL.
+
+ ;; FIXME: It seems possible that by looking at the contents of
+ ;; packages in the target SBCL we could find which symbols in
+ ;; package-data-lisp.lisp-expr are now obsolete. (If I
+ ;; understand correctly, only symbols which actually have
+ ;; definitions or which are otherwise referred to actually end
+ ;; up in the target packages.)
+
+ (dolist (symbol symbols)
+ (let ((handle (car (get symbol 'cold-intern-info)))
+ (imported-p (not (eq (symbol-package-for-target-symbol symbol)
+ cold-package))))
+ (multiple-value-bind (found where)
+ (find-symbol (symbol-name symbol) cold-package)
+ (unless (and where (eq found symbol))
+ (error "The symbol ~S is not available in ~S."
+ symbol
+ cold-package))
+ (when (memq symbol shadows)
+ (cold-push handle shadowing))
+ (case where
+ (:internal (if imported-p
+ (cold-push handle imported-internal)
+ (cold-push handle internal)))
+ (:external (if imported-p
+ (cold-push handle imported-external)
+ (cold-push handle external)))))))
+ (let ((r *nil-descriptor*))
+ (cold-push documentation r)
+ (cold-push shadowing r)
+ (cold-push imported-external r)
+ (cold-push imported-internal r)
+ (cold-push external r)
+ (cold-push internal r)
+ (cold-push (make-make-package-args cold-package) r)
+ ;; FIXME: It would be more space-efficient to use vectors
+ ;; instead of lists here, and space-efficiency here would be
+ ;; nice, since it would reduce the peak memory usage in
+ ;; genesis and cold init.
+ (cold-push r initial-symbols))))
(cold-set '*!initial-symbols* initial-symbols))
(cold-set '*!initial-fdefn-objects* (list-all-fdefn-objects))
;;; to make a package that is similar to PKG.
(defun make-make-package-args (pkg)
(let* ((use *nil-descriptor*)
- (cold-nicknames *nil-descriptor*)
- (res *nil-descriptor*))
+ (cold-nicknames *nil-descriptor*)
+ (res *nil-descriptor*))
(dolist (u (package-use-list pkg))
(when (assoc u *cold-package-symbols*)
- (cold-push (base-string-to-core (package-name u)) use)))
+ (cold-push (base-string-to-core (package-name u)) use)))
(let* ((pkg-name (package-name pkg))
- ;; Make the package nickname lists for the standard packages
- ;; be the minimum specified by ANSI, regardless of what value
- ;; the cross-compilation host happens to use.
- (warm-nicknames (cond ((string= pkg-name "COMMON-LISP")
- '("CL"))
- ((string= pkg-name "COMMON-LISP-USER")
- '("CL-USER"))
- ((string= pkg-name "KEYWORD")
- '())
- ;; For packages other than the
- ;; standard packages, the nickname
- ;; list was specified by our package
- ;; setup code, not by properties of
- ;; what cross-compilation host we
- ;; happened to use, and we can just
- ;; propagate it into the target.
- (t
- (package-nicknames pkg)))))
+ ;; Make the package nickname lists for the standard packages
+ ;; be the minimum specified by ANSI, regardless of what value
+ ;; the cross-compilation host happens to use.
+ (warm-nicknames (cond ((string= pkg-name "COMMON-LISP")
+ '("CL"))
+ ((string= pkg-name "COMMON-LISP-USER")
+ '("CL-USER"))
+ ((string= pkg-name "KEYWORD")
+ '())
+ ;; For packages other than the
+ ;; standard packages, the nickname
+ ;; list was specified by our package
+ ;; setup code, not by properties of
+ ;; what cross-compilation host we
+ ;; happened to use, and we can just
+ ;; propagate it into the target.
+ (t
+ (package-nicknames pkg)))))
(dolist (warm-nickname warm-nicknames)
- (cold-push (base-string-to-core warm-nickname) cold-nicknames)))
+ (cold-push (base-string-to-core warm-nickname) cold-nicknames)))
(cold-push (number-to-core (truncate (package-internal-symbol-count pkg)
- 0.8))
- res)
+ 0.8))
+ res)
(cold-push (cold-intern :internal-symbols) res)
(cold-push (number-to-core (truncate (package-external-symbol-count pkg)
- 0.8))
- res)
+ 0.8))
+ res)
(cold-push (cold-intern :external-symbols) res)
(cold-push cold-nicknames res)
(defvar *cold-fdefn-gspace* nil)
;;; Given a cold representation of a symbol, return a warm
-;;; representation.
+;;; representation.
(defun warm-symbol (des)
;; Note that COLD-INTERN is responsible for keeping the
;; *COLD-SYMBOLS* table up to date, so if DES happens to refer to an
(unless found-p
(error "no warm symbol"))
symbol))
-
+
;;; like CL:CAR, CL:CDR, and CL:NULL but for cold values
(defun cold-car (des)
(aver (= (descriptor-lowtag des) sb!vm:list-pointer-lowtag))
(defun cold-null (des)
(= (descriptor-bits des)
(descriptor-bits *nil-descriptor*)))
-
+
;;; Given a cold representation of a function name, return a warm
;;; representation.
(declaim (ftype (function (descriptor) (or symbol list)) warm-fun-name))
(defun warm-fun-name (des)
(let ((result
- (ecase (descriptor-lowtag des)
- (#.sb!vm:list-pointer-lowtag
- (aver (not (cold-null des))) ; function named NIL? please no..
- ;; Do cold (DESTRUCTURING-BIND (COLD-CAR COLD-CADR) DES ..).
- (let* ((car-des (cold-car des))
- (cdr-des (cold-cdr des))
- (cadr-des (cold-car cdr-des))
- (cddr-des (cold-cdr cdr-des)))
- (aver (cold-null cddr-des))
- (list (warm-symbol car-des)
- (warm-symbol cadr-des))))
- (#.sb!vm:other-pointer-lowtag
- (warm-symbol des)))))
+ (ecase (descriptor-lowtag des)
+ (#.sb!vm:list-pointer-lowtag
+ (aver (not (cold-null des))) ; function named NIL? please no..
+ ;; Do cold (DESTRUCTURING-BIND (COLD-CAR COLD-CADR) DES ..).
+ (let* ((car-des (cold-car des))
+ (cdr-des (cold-cdr des))
+ (cadr-des (cold-car cdr-des))
+ (cddr-des (cold-cdr cdr-des)))
+ (aver (cold-null cddr-des))
+ (list (warm-symbol car-des)
+ (warm-symbol cadr-des))))
+ (#.sb!vm:other-pointer-lowtag
+ (warm-symbol des)))))
(legal-fun-name-or-type-error result)
result))
(/show0 "/cold-fdefinition-object")
(let ((warm-name (warm-fun-name cold-name)))
(or (gethash warm-name *cold-fdefn-objects*)
- (let ((fdefn (allocate-boxed-object (or *cold-fdefn-gspace* *dynamic*)
- (1- sb!vm:fdefn-size)
- sb!vm:other-pointer-lowtag)))
-
- (setf (gethash warm-name *cold-fdefn-objects*) fdefn)
- (write-memory fdefn (make-other-immediate-descriptor
- (1- sb!vm:fdefn-size) sb!vm:fdefn-widetag))
- (write-wordindexed fdefn sb!vm:fdefn-name-slot cold-name)
- (unless leave-fn-raw
- (write-wordindexed fdefn sb!vm:fdefn-fun-slot
- *nil-descriptor*)
- (write-wordindexed fdefn
- sb!vm:fdefn-raw-addr-slot
- (make-random-descriptor
- (cold-foreign-symbol-address "undefined_tramp"))))
- fdefn))))
+ (let ((fdefn (allocate-boxed-object (or *cold-fdefn-gspace* *dynamic*)
+ (1- sb!vm:fdefn-size)
+ sb!vm:other-pointer-lowtag)))
+
+ (setf (gethash warm-name *cold-fdefn-objects*) fdefn)
+ (write-memory fdefn (make-other-immediate-descriptor
+ (1- sb!vm:fdefn-size) sb!vm:fdefn-widetag))
+ (write-wordindexed fdefn sb!vm:fdefn-name-slot cold-name)
+ (unless leave-fn-raw
+ (write-wordindexed fdefn sb!vm:fdefn-fun-slot
+ *nil-descriptor*)
+ (write-wordindexed fdefn
+ sb!vm:fdefn-raw-addr-slot
+ (make-random-descriptor
+ (cold-foreign-symbol-address "undefined_tramp"))))
+ fdefn))))
;;; Handle the at-cold-init-time, fset-for-static-linkage operation
;;; requested by FOP-FSET.
(defun static-fset (cold-name defn)
(declare (type descriptor cold-name))
(let ((fdefn (cold-fdefinition-object cold-name t))
- (type (logand (descriptor-low (read-memory defn)) sb!vm:widetag-mask)))
+ (type (logand (descriptor-low (read-memory defn)) sb!vm:widetag-mask)))
(write-wordindexed fdefn sb!vm:fdefn-fun-slot defn)
(write-wordindexed fdefn
- sb!vm:fdefn-raw-addr-slot
- (ecase type
- (#.sb!vm:simple-fun-header-widetag
- (/show0 "static-fset (simple-fun)")
- #!+sparc
- defn
- #!-sparc
- (make-random-descriptor
- (+ (logandc2 (descriptor-bits defn)
- sb!vm:lowtag-mask)
- (ash sb!vm:simple-fun-code-offset
- sb!vm:word-shift))))
- (#.sb!vm:closure-header-widetag
- (/show0 "/static-fset (closure)")
- (make-random-descriptor
- (cold-foreign-symbol-address "closure_tramp")))))
+ sb!vm:fdefn-raw-addr-slot
+ (ecase type
+ (#.sb!vm:simple-fun-header-widetag
+ (/show0 "static-fset (simple-fun)")
+ #!+sparc
+ defn
+ #!-sparc
+ (make-random-descriptor
+ (+ (logandc2 (descriptor-bits defn)
+ sb!vm:lowtag-mask)
+ (ash sb!vm:simple-fun-code-offset
+ sb!vm:word-shift))))
+ (#.sb!vm:closure-header-widetag
+ (/show0 "/static-fset (closure)")
+ (make-random-descriptor
+ (cold-foreign-symbol-address "closure_tramp")))))
fdefn))
(defun initialize-static-fns ()
(let ((*cold-fdefn-gspace* *static*))
(dolist (sym sb!vm:*static-funs*)
(let* ((fdefn (cold-fdefinition-object (cold-intern sym)))
- (offset (- (+ (- (descriptor-low fdefn)
- sb!vm:other-pointer-lowtag)
- (* sb!vm:fdefn-raw-addr-slot sb!vm:n-word-bytes))
- (descriptor-low *nil-descriptor*)))
- (desired (sb!vm:static-fun-offset sym)))
- (unless (= offset desired)
- ;; FIXME: should be fatal
- (error "Offset from FDEFN ~S to ~S is ~W, not ~W."
- sym nil offset desired))))))
+ (offset (- (+ (- (descriptor-low fdefn)
+ sb!vm:other-pointer-lowtag)
+ (* sb!vm:fdefn-raw-addr-slot sb!vm:n-word-bytes))
+ (descriptor-low *nil-descriptor*)))
+ (desired (sb!vm:static-fun-offset sym)))
+ (unless (= offset desired)
+ ;; FIXME: should be fatal
+ (error "Offset from FDEFN ~S to ~S is ~W, not ~W."
+ sym nil offset desired))))))
(defun list-all-fdefn-objects ()
(let ((result *nil-descriptor*))
(maphash (lambda (key value)
- (declare (ignore key))
- (cold-push value result))
- *cold-fdefn-objects*)
+ (declare (ignore key))
+ (cold-push value result))
+ *cold-fdefn-objects*)
result))
\f
;;;; fixups and related stuff
(/show "load-cold-foreign-symbol-table" filename)
(with-open-file (file filename)
(loop for line = (read-line file nil nil)
- while line do
- ;; UNIX symbol tables might have tabs in them, and tabs are
- ;; not in Common Lisp STANDARD-CHAR, so there seems to be no
- ;; nice portable way to deal with them within Lisp, alas.
- ;; Fortunately, it's easy to use UNIX command line tools like
- ;; sed to remove the problem, so it's not too painful for us
- ;; to push responsibility for converting tabs to spaces out to
- ;; the caller.
- ;;
- ;; Other non-STANDARD-CHARs are problematic for the same reason.
- ;; Make sure that there aren't any..
- (let ((ch (find-if (lambda (char)
- (not (typep char 'standard-char)))
- line)))
- (when ch
- (error "non-STANDARD-CHAR ~S found in foreign symbol table:~%~S"
- ch
- line)))
- (setf line (string-trim '(#\space) line))
- (let ((p1 (position #\space line :from-end nil))
- (p2 (position #\space line :from-end t)))
- (if (not (and p1 p2 (< p1 p2)))
- ;; KLUDGE: It's too messy to try to understand all
- ;; possible output from nm, so we just punt the lines we
- ;; don't recognize. We realize that there's some chance
- ;; that might get us in trouble someday, so we warn
- ;; about it.
- (warn "ignoring unrecognized line ~S in ~A" line filename)
- (multiple-value-bind (value name)
- (if (string= "0x" line :end2 2)
- (values (parse-integer line :start 2 :end p1 :radix 16)
- (subseq line (1+ p2)))
- (values (parse-integer line :end p1 :radix 16)
- (subseq line (1+ p2))))
- (multiple-value-bind (old-value found)
- (gethash name *cold-foreign-symbol-table*)
- (when (and found
- (not (= old-value value)))
- (warn "redefining ~S from #X~X to #X~X"
- name old-value value)))
- (/show "adding to *cold-foreign-symbol-table*:" name value)
- (setf (gethash name *cold-foreign-symbol-table*) value))))))
- (values)) ;; PROGN
+ while line do
+ ;; UNIX symbol tables might have tabs in them, and tabs are
+ ;; not in Common Lisp STANDARD-CHAR, so there seems to be no
+ ;; nice portable way to deal with them within Lisp, alas.
+ ;; Fortunately, it's easy to use UNIX command line tools like
+ ;; sed to remove the problem, so it's not too painful for us
+ ;; to push responsibility for converting tabs to spaces out to
+ ;; the caller.
+ ;;
+ ;; Other non-STANDARD-CHARs are problematic for the same reason.
+ ;; Make sure that there aren't any..
+ (let ((ch (find-if (lambda (char)
+ (not (typep char 'standard-char)))
+ line)))
+ (when ch
+ (error "non-STANDARD-CHAR ~S found in foreign symbol table:~%~S"
+ ch
+ line)))
+ (setf line (string-trim '(#\space) line))
+ (let ((p1 (position #\space line :from-end nil))
+ (p2 (position #\space line :from-end t)))
+ (if (not (and p1 p2 (< p1 p2)))
+ ;; KLUDGE: It's too messy to try to understand all
+ ;; possible output from nm, so we just punt the lines we
+ ;; don't recognize. We realize that there's some chance
+ ;; that might get us in trouble someday, so we warn
+ ;; about it.
+ (warn "ignoring unrecognized line ~S in ~A" line filename)
+ (multiple-value-bind (value name)
+ (if (string= "0x" line :end2 2)
+ (values (parse-integer line :start 2 :end p1 :radix 16)
+ (subseq line (1+ p2)))
+ (values (parse-integer line :end p1 :radix 16)
+ (subseq line (1+ p2))))
+ (multiple-value-bind (old-value found)
+ (gethash name *cold-foreign-symbol-table*)
+ (when (and found
+ (not (= old-value value)))
+ (warn "redefining ~S from #X~X to #X~X"
+ name old-value value)))
+ (/show "adding to *cold-foreign-symbol-table*:" name value)
+ (setf (gethash name *cold-foreign-symbol-table*) value))))))
+ (values)) ;; PROGN
(defun cold-foreign-symbol-address (name)
(or (find-foreign-symbol-in-table name *cold-foreign-symbol-table*)
(defun record-cold-assembler-routine (name address)
(/xhow "in RECORD-COLD-ASSEMBLER-ROUTINE" name address)
(push (cons name address)
- *cold-assembler-routines*))
+ *cold-assembler-routines*))
(defun record-cold-assembler-fixup (routine
- code-object
- offset
- &optional
- (kind :both))
+ code-object
+ offset
+ &optional
+ (kind :both))
(push (list routine code-object offset kind)
- *cold-assembler-fixups*))
+ *cold-assembler-fixups*))
(defun lookup-assembler-reference (symbol)
(let ((value (cdr (assoc symbol *cold-assembler-routines*))))
(defun note-load-time-code-fixup (code-object offset value kind)
;; If CODE-OBJECT might be moved
(when (= (gspace-identifier (descriptor-intuit-gspace code-object))
- dynamic-core-space-id)
+ dynamic-core-space-id)
;; FIXME: pushed thing should be a structure, not just a list
(push (list code-object offset value kind) *load-time-code-fixups*))
(values))
(defun output-load-time-code-fixups ()
(dolist (fixups *load-time-code-fixups*)
(let ((code-object (first fixups))
- (offset (second fixups))
- (value (third fixups))
- (kind (fourth fixups)))
+ (offset (second fixups))
+ (value (third fixups))
+ (kind (fourth fixups)))
(cold-push (cold-cons
- (cold-intern :load-time-code-fixup)
- (cold-cons
- code-object
- (cold-cons
- (number-to-core offset)
- (cold-cons
- (number-to-core value)
- (cold-cons
- (cold-intern kind)
- *nil-descriptor*)))))
- *current-reversed-cold-toplevels*))))
+ (cold-intern :load-time-code-fixup)
+ (cold-cons
+ code-object
+ (cold-cons
+ (number-to-core offset)
+ (cold-cons
+ (number-to-core value)
+ (cold-cons
+ (cold-intern kind)
+ *nil-descriptor*)))))
+ *current-reversed-cold-toplevels*))))
;;; Given a pointer to a code object and an offset relative to the
;;; tail of the code object's header, return an offset relative to the
(declaim (ftype (function (descriptor sb!vm:word)) calc-offset))
(defun calc-offset (code-object offset-from-tail-of-header)
(let* ((header (read-memory code-object))
- (header-n-words (ash (descriptor-bits header)
- (- sb!vm:n-widetag-bits)))
- (header-n-bytes (ash header-n-words sb!vm:word-shift))
- (result (+ offset-from-tail-of-header header-n-bytes)))
+ (header-n-words (ash (descriptor-bits header)
+ (- sb!vm:n-widetag-bits)))
+ (header-n-bytes (ash header-n-words sb!vm:word-shift))
+ (result (+ offset-from-tail-of-header header-n-bytes)))
result))
(declaim (ftype (function (descriptor sb!vm:word sb!vm:word keyword))
- do-cold-fixup))
+ do-cold-fixup))
(defun do-cold-fixup (code-object after-header value kind)
(let* ((offset-within-code-object (calc-offset code-object after-header))
- (gspace-bytes (descriptor-bytes code-object))
- (gspace-byte-offset (+ (descriptor-byte-offset code-object)
- offset-within-code-object))
- (gspace-byte-address (gspace-byte-address
- (descriptor-gspace code-object))))
+ (gspace-bytes (descriptor-bytes code-object))
+ (gspace-byte-offset (+ (descriptor-byte-offset code-object)
+ offset-within-code-object))
+ (gspace-byte-address (gspace-byte-address
+ (descriptor-gspace code-object))))
(ecase +backend-fasl-file-implementation+
;; See CMU CL source for other formerly-supported architectures
;; (and note that you have to rewrite them to use BVREF-X
;; instead of SAP-REF).
(:alpha
- (ecase kind
+ (ecase kind
(:jmp-hint
(assert (zerop (ldb (byte 2 0) value))))
- (:bits-63-48
- (let* ((value (if (logbitp 15 value) (+ value (ash 1 16)) value))
- (value (if (logbitp 31 value) (+ value (ash 1 32)) value))
- (value (if (logbitp 47 value) (+ value (ash 1 48)) value)))
- (setf (bvref-8 gspace-bytes gspace-byte-offset)
+ (:bits-63-48
+ (let* ((value (if (logbitp 15 value) (+ value (ash 1 16)) value))
+ (value (if (logbitp 31 value) (+ value (ash 1 32)) value))
+ (value (if (logbitp 47 value) (+ value (ash 1 48)) value)))
+ (setf (bvref-8 gspace-bytes gspace-byte-offset)
(ldb (byte 8 48) value)
(bvref-8 gspace-bytes (1+ gspace-byte-offset))
(ldb (byte 8 56) value))))
- (:bits-47-32
- (let* ((value (if (logbitp 15 value) (+ value (ash 1 16)) value))
- (value (if (logbitp 31 value) (+ value (ash 1 32)) value)))
- (setf (bvref-8 gspace-bytes gspace-byte-offset)
+ (:bits-47-32
+ (let* ((value (if (logbitp 15 value) (+ value (ash 1 16)) value))
+ (value (if (logbitp 31 value) (+ value (ash 1 32)) value)))
+ (setf (bvref-8 gspace-bytes gspace-byte-offset)
(ldb (byte 8 32) value)
(bvref-8 gspace-bytes (1+ gspace-byte-offset))
(ldb (byte 8 40) value))))
- (:ldah
- (let ((value (if (logbitp 15 value) (+ value (ash 1 16)) value)))
- (setf (bvref-8 gspace-bytes gspace-byte-offset)
+ (:ldah
+ (let ((value (if (logbitp 15 value) (+ value (ash 1 16)) value)))
+ (setf (bvref-8 gspace-bytes gspace-byte-offset)
(ldb (byte 8 16) value)
(bvref-8 gspace-bytes (1+ gspace-byte-offset))
(ldb (byte 8 24) value))))
- (:lda
- (setf (bvref-8 gspace-bytes gspace-byte-offset)
+ (:lda
+ (setf (bvref-8 gspace-bytes gspace-byte-offset)
(ldb (byte 8 0) value)
(bvref-8 gspace-bytes (1+ gspace-byte-offset))
(ldb (byte 8 8) value)))))
(:hppa
(ecase kind
- (:load
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (logior (ash (ldb (byte 11 0) value) 1)
- (logand (bvref-32 gspace-bytes gspace-byte-offset)
- #xffffc000))))
- (:load-short
- (let ((low-bits (ldb (byte 11 0) value)))
- (assert (<= 0 low-bits (1- (ash 1 4))))
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (logior (ash low-bits 17)
- (logand (bvref-32 gspace-bytes gspace-byte-offset)
- #xffe0ffff)))))
- (:hi
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (logior (ash (ldb (byte 5 13) value) 16)
- (ash (ldb (byte 2 18) value) 14)
- (ash (ldb (byte 2 11) value) 12)
- (ash (ldb (byte 11 20) value) 1)
- (ldb (byte 1 31) value)
- (logand (bvref-32 gspace-bytes gspace-byte-offset)
- #xffe00000))))
- (:branch
- (let ((bits (ldb (byte 9 2) value)))
- (assert (zerop (ldb (byte 2 0) value)))
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (logior (ash bits 3)
- (logand (bvref-32 gspace-bytes gspace-byte-offset)
- #xffe0e002)))))))
+ (:load
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (logior (ash (ldb (byte 11 0) value) 1)
+ (logand (bvref-32 gspace-bytes gspace-byte-offset)
+ #xffffc000))))
+ (:load-short
+ (let ((low-bits (ldb (byte 11 0) value)))
+ (assert (<= 0 low-bits (1- (ash 1 4))))
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (logior (ash low-bits 17)
+ (logand (bvref-32 gspace-bytes gspace-byte-offset)
+ #xffe0ffff)))))
+ (:hi
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (logior (ash (ldb (byte 5 13) value) 16)
+ (ash (ldb (byte 2 18) value) 14)
+ (ash (ldb (byte 2 11) value) 12)
+ (ash (ldb (byte 11 20) value) 1)
+ (ldb (byte 1 31) value)
+ (logand (bvref-32 gspace-bytes gspace-byte-offset)
+ #xffe00000))))
+ (:branch
+ (let ((bits (ldb (byte 9 2) value)))
+ (assert (zerop (ldb (byte 2 0) value)))
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (logior (ash bits 3)
+ (logand (bvref-32 gspace-bytes gspace-byte-offset)
+ #xffe0e002)))))))
(:mips
(ecase kind
- (:jump
- (assert (zerop (ash value -28)))
- (setf (ldb (byte 26 0)
- (bvref-32 gspace-bytes gspace-byte-offset))
- (ash value -2)))
- (:lui
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (logior (mask-field (byte 16 16)
- (bvref-32 gspace-bytes gspace-byte-offset))
- (+ (ash value -16)
- (if (logbitp 15 value) 1 0)))))
- (:addi
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (logior (mask-field (byte 16 16)
- (bvref-32 gspace-bytes gspace-byte-offset))
- (ldb (byte 16 0) value))))))
+ (:jump
+ (assert (zerop (ash value -28)))
+ (setf (ldb (byte 26 0)
+ (bvref-32 gspace-bytes gspace-byte-offset))
+ (ash value -2)))
+ (:lui
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (logior (mask-field (byte 16 16)
+ (bvref-32 gspace-bytes gspace-byte-offset))
+ (+ (ash value -16)
+ (if (logbitp 15 value) 1 0)))))
+ (:addi
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (logior (mask-field (byte 16 16)
+ (bvref-32 gspace-bytes gspace-byte-offset))
+ (ldb (byte 16 0) value))))))
(:ppc
(ecase kind
(:ba
(setf (bvref-32 gspace-bytes gspace-byte-offset)
- (dpb (ash value -2) (byte 24 2)
+ (dpb (ash value -2) (byte 24 2)
(bvref-32 gspace-bytes gspace-byte-offset))))
(:ha
(let* ((h (ldb (byte 16 16) value))
(if (logbitp 15 l) (ldb (byte 16 0) (1+ h)) h))))
(:l
(setf (bvref-16 gspace-bytes (+ gspace-byte-offset 2))
- (ldb (byte 16 0) value)))))
+ (ldb (byte 16 0) value)))))
(:sparc
(ecase kind
- (:call
- (error "can't deal with call fixups yet"))
- (:sethi
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (dpb (ldb (byte 22 10) value)
- (byte 22 0)
- (bvref-32 gspace-bytes gspace-byte-offset))))
- (:add
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- (dpb (ldb (byte 10 0) value)
- (byte 10 0)
- (bvref-32 gspace-bytes gspace-byte-offset))))))
+ (:call
+ (error "can't deal with call fixups yet"))
+ (:sethi
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (dpb (ldb (byte 22 10) value)
+ (byte 22 0)
+ (bvref-32 gspace-bytes gspace-byte-offset))))
+ (:add
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ (dpb (ldb (byte 10 0) value)
+ (byte 10 0)
+ (bvref-32 gspace-bytes gspace-byte-offset))))))
((:x86 :x86-64)
(let* ((un-fixed-up (bvref-word gspace-bytes
- gspace-byte-offset))
- (code-object-start-addr (logandc2 (descriptor-bits code-object)
- sb!vm:lowtag-mask)))
+ gspace-byte-offset))
+ (code-object-start-addr (logandc2 (descriptor-bits code-object)
+ sb!vm:lowtag-mask)))
(assert (= code-object-start-addr
- (+ gspace-byte-address
- (descriptor-byte-offset code-object))))
- (ecase kind
- (:absolute
- (let ((fixed-up (+ value un-fixed-up)))
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- fixed-up)
- ;; comment from CMU CL sources:
- ;;
- ;; Note absolute fixups that point within the object.
- ;; KLUDGE: There seems to be an implicit assumption in
- ;; the old CMU CL code here, that if it doesn't point
- ;; before the object, it must point within the object
- ;; (not beyond it). It would be good to add an
- ;; explanation of why that's true, or an assertion that
- ;; it's really true, or both.
- (unless (< fixed-up code-object-start-addr)
- (note-load-time-code-fixup code-object
- after-header
- value
- kind))))
- (:relative ; (used for arguments to X86 relative CALL instruction)
- (let ((fixed-up (- (+ value un-fixed-up)
- gspace-byte-address
- gspace-byte-offset
- 4))) ; "length of CALL argument"
- (setf (bvref-32 gspace-bytes gspace-byte-offset)
- fixed-up)
- ;; Note relative fixups that point outside the code
- ;; object, which is to say all relative fixups, since
- ;; relative addressing within a code object never needs
- ;; a fixup.
- (note-load-time-code-fixup code-object
- after-header
- value
- kind))))))))
+ (+ gspace-byte-address
+ (descriptor-byte-offset code-object))))
+ (ecase kind
+ (:absolute
+ (let ((fixed-up (+ value un-fixed-up)))
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ fixed-up)
+ ;; comment from CMU CL sources:
+ ;;
+ ;; Note absolute fixups that point within the object.
+ ;; KLUDGE: There seems to be an implicit assumption in
+ ;; the old CMU CL code here, that if it doesn't point
+ ;; before the object, it must point within the object
+ ;; (not beyond it). It would be good to add an
+ ;; explanation of why that's true, or an assertion that
+ ;; it's really true, or both.
+ (unless (< fixed-up code-object-start-addr)
+ (note-load-time-code-fixup code-object
+ after-header
+ value
+ kind))))
+ (:relative ; (used for arguments to X86 relative CALL instruction)
+ (let ((fixed-up (- (+ value un-fixed-up)
+ gspace-byte-address
+ gspace-byte-offset
+ 4))) ; "length of CALL argument"
+ (setf (bvref-32 gspace-bytes gspace-byte-offset)
+ fixed-up)
+ ;; Note relative fixups that point outside the code
+ ;; object, which is to say all relative fixups, since
+ ;; relative addressing within a code object never needs
+ ;; a fixup.
+ (note-load-time-code-fixup code-object
+ after-header
+ value
+ kind))))))))
(values))
(defun resolve-assembler-fixups ()
(dolist (fixup *cold-assembler-fixups*)
(let* ((routine (car fixup))
- (value (lookup-assembler-reference routine)))
+ (value (lookup-assembler-reference routine)))
(when value
- (do-cold-fixup (second fixup) (third fixup) value (fourth fixup))))))
+ (do-cold-fixup (second fixup) (third fixup) value (fourth fixup))))))
;;; *COLD-FOREIGN-SYMBOL-TABLE* becomes *!INITIAL-FOREIGN-SYMBOLS* in
;;; the core. When the core is loaded, !LOADER-COLD-INIT uses this to
(defun foreign-symbols-to-core ()
(let ((result *nil-descriptor*))
(maphash (lambda (symbol value)
- (cold-push (cold-cons (base-string-to-core symbol)
- (number-to-core value))
- result))
- *cold-foreign-symbol-table*)
+ (cold-push (cold-cons (base-string-to-core symbol)
+ (number-to-core value))
+ result))
+ *cold-foreign-symbol-table*)
(cold-set (cold-intern 'sb!kernel:*!initial-foreign-symbols*) result))
(let ((result *nil-descriptor*))
(dolist (rtn *cold-assembler-routines*)
(cold-push (cold-cons (cold-intern (car rtn))
- (number-to-core (cdr rtn)))
- result))
+ (number-to-core (cdr rtn)))
+ result))
(cold-set (cold-intern '*!initial-assembler-routines*) result)))
\f
(defvar *normal-fop-funs*)
;;; Cause a fop to have a special definition for cold load.
-;;;
+;;;
;;; This is similar to DEFINE-FOP, but unlike DEFINE-FOP, this version
;;; (1) looks up the code for this name (created by a previous
;; DEFINE-FOP) instead of creating a code, and
(aver (member pushp '(nil t)))
(aver (member stackp '(nil t)))
(let ((code (get name 'fop-code))
- (fname (symbolicate "COLD-" name)))
+ (fname (symbolicate "COLD-" name)))
(unless code
(error "~S is not a defined FOP." name))
`(progn
(defun ,fname ()
- ,@(if stackp
+ ,@(if stackp
`((with-fop-stack ,pushp ,@forms))
forms))
(setf (svref *cold-fop-funs* ,code) #',fname))))
(defmacro clone-cold-fop ((name &key (pushp t) (stackp t))
- (small-name)
- &rest forms)
+ (small-name)
+ &rest forms)
(aver (member pushp '(nil t)))
(aver (member stackp '(nil t)))
`(progn
#!+sb-doc
"Load the file named by FILENAME into the cold load image being built."
(let* ((*normal-fop-funs* *fop-funs*)
- (*fop-funs* *cold-fop-funs*)
- (*cold-load-filename* (etypecase filename
- (string filename)
- (pathname (namestring filename)))))
+ (*fop-funs* *cold-fop-funs*)
+ (*cold-load-filename* (etypecase filename
+ (string filename)
+ (pathname (namestring filename)))))
(with-open-file (s filename :element-type '(unsigned-byte 8))
(load-as-fasl s nil nil))))
\f
(define-cold-fop (fop-maybe-cold-load :stackp nil))
(clone-cold-fop (fop-struct)
- (fop-small-struct)
+ (fop-small-struct)
(let* ((size (clone-arg))
- (result (allocate-boxed-object *dynamic*
- (1+ size)
- sb!vm:instance-pointer-lowtag))
- (layout (pop-stack))
- (nuntagged
- (descriptor-fixnum
- (read-wordindexed layout (+ sb!vm:instance-slots-offset 16))))
- (ntagged (- size nuntagged)))
+ (result (allocate-boxed-object *dynamic*
+ (1+ size)
+ sb!vm:instance-pointer-lowtag))
+ (layout (pop-stack))
+ (nuntagged
+ (descriptor-fixnum
+ (read-wordindexed layout (+ sb!vm:instance-slots-offset 16))))
+ (ntagged (- size nuntagged)))
(write-memory result (make-other-immediate-descriptor
- size sb!vm:instance-header-widetag))
+ size sb!vm:instance-header-widetag))
(write-wordindexed result sb!vm:instance-slots-offset layout)
(do ((index 1 (1+ index)))
- ((eql index size))
+ ((eql index size))
(declare (fixnum index))
(write-wordindexed result
- (+ index sb!vm:instance-slots-offset)
- (if (>= index ntagged)
- (descriptor-word-sized-integer (pop-stack))
- (pop-stack))))
+ (+ index sb!vm:instance-slots-offset)
+ (if (>= index ntagged)
+ (descriptor-word-sized-integer (pop-stack))
+ (pop-stack))))
result))
(define-cold-fop (fop-layout)
(let* ((nuntagged-des (pop-stack))
- (length-des (pop-stack))
- (depthoid-des (pop-stack))
- (cold-inherits (pop-stack))
- (name (pop-stack))
- (old (gethash name *cold-layouts*)))
+ (length-des (pop-stack))
+ (depthoid-des (pop-stack))
+ (cold-inherits (pop-stack))
+ (name (pop-stack))
+ (old (gethash name *cold-layouts*)))
(declare (type descriptor length-des depthoid-des cold-inherits))
(declare (type symbol name))
;; If a layout of this name has been defined already
;; Enforce consistency between the previous definition and the
;; current definition, then return the previous definition.
(destructuring-bind
- ;; FIXME: This would be more maintainable if we used
- ;; DEFSTRUCT (:TYPE LIST) to define COLD-LAYOUT. -- WHN 19990825
- (old-layout-descriptor
- old-name
- old-length
- old-inherits-list
- old-depthoid
- old-nuntagged)
- old
- (declare (type descriptor old-layout-descriptor))
- (declare (type index old-length old-nuntagged))
- (declare (type fixnum old-depthoid))
- (declare (type list old-inherits-list))
- (aver (eq name old-name))
- (let ((length (descriptor-fixnum length-des))
- (inherits-list (listify-cold-inherits cold-inherits))
- (depthoid (descriptor-fixnum depthoid-des))
- (nuntagged (descriptor-fixnum nuntagged-des)))
- (unless (= length old-length)
- (error "cold loading a reference to class ~S when the compile~%~
+ ;; FIXME: This would be more maintainable if we used
+ ;; DEFSTRUCT (:TYPE LIST) to define COLD-LAYOUT. -- WHN 19990825
+ (old-layout-descriptor
+ old-name
+ old-length
+ old-inherits-list
+ old-depthoid
+ old-nuntagged)
+ old
+ (declare (type descriptor old-layout-descriptor))
+ (declare (type index old-length old-nuntagged))
+ (declare (type fixnum old-depthoid))
+ (declare (type list old-inherits-list))
+ (aver (eq name old-name))
+ (let ((length (descriptor-fixnum length-des))
+ (inherits-list (listify-cold-inherits cold-inherits))
+ (depthoid (descriptor-fixnum depthoid-des))
+ (nuntagged (descriptor-fixnum nuntagged-des)))
+ (unless (= length old-length)
+ (error "cold loading a reference to class ~S when the compile~%~
time length was ~S and current length is ~S"
- name
- length
- old-length))
- (unless (equal inherits-list old-inherits-list)
- (error "cold loading a reference to class ~S when the compile~%~
+ name
+ length
+ old-length))
+ (unless (equal inherits-list old-inherits-list)
+ (error "cold loading a reference to class ~S when the compile~%~
time inherits were ~S~%~
and current inherits are ~S"
- name
- inherits-list
- old-inherits-list))
- (unless (= depthoid old-depthoid)
- (error "cold loading a reference to class ~S when the compile~%~
+ name
+ inherits-list
+ old-inherits-list))
+ (unless (= depthoid old-depthoid)
+ (error "cold loading a reference to class ~S when the compile~%~
time inheritance depthoid was ~S and current inheritance~%~
depthoid is ~S"
- name
- depthoid
- old-depthoid))
- (unless (= nuntagged old-nuntagged)
- (error "cold loading a reference to class ~S when the compile~%~
+ name
+ depthoid
+ old-depthoid))
+ (unless (= nuntagged old-nuntagged)
+ (error "cold loading a reference to class ~S when the compile~%~
time number of untagged slots was ~S and is currently ~S"
- name
- nuntagged
- old-nuntagged)))
- old-layout-descriptor)
+ name
+ nuntagged
+ old-nuntagged)))
+ old-layout-descriptor)
;; Make a new definition from scratch.
(make-cold-layout name length-des cold-inherits depthoid-des
- nuntagged-des))))
+ nuntagged-des))))
\f
;;;; cold fops for loading symbols
(cold-intern (intern string package))))
(macrolet ((frob (name pname-len package-len)
- `(define-cold-fop (,name)
- (let ((index (read-arg ,package-len)))
- (push-fop-table
- (cold-load-symbol (read-arg ,pname-len)
- (svref *current-fop-table* index)))))))
+ `(define-cold-fop (,name)
+ (let ((index (read-arg ,package-len)))
+ (push-fop-table
+ (cold-load-symbol (read-arg ,pname-len)
+ (svref *current-fop-table* index)))))))
(frob fop-symbol-in-package-save #.sb!vm:n-word-bytes #.sb!vm:n-word-bytes)
(frob fop-small-symbol-in-package-save 1 #.sb!vm:n-word-bytes)
(frob fop-symbol-in-byte-package-save #.sb!vm:n-word-bytes 1)
(frob fop-small-symbol-in-byte-package-save 1 1))
(clone-cold-fop (fop-lisp-symbol-save)
- (fop-lisp-small-symbol-save)
+ (fop-lisp-small-symbol-save)
(push-fop-table (cold-load-symbol (clone-arg) *cl-package*)))
(clone-cold-fop (fop-keyword-symbol-save)
- (fop-keyword-small-symbol-save)
+ (fop-keyword-small-symbol-save)
(push-fop-table (cold-load-symbol (clone-arg) *keyword-package*)))
(clone-cold-fop (fop-uninterned-symbol-save)
- (fop-uninterned-small-symbol-save)
+ (fop-uninterned-small-symbol-save)
(let* ((size (clone-arg))
- (name (make-string size)))
+ (name (make-string size)))
(read-string-as-bytes *fasl-input-stream* name)
(let ((symbol-des (allocate-symbol name)))
(push-fop-table symbol-des))))
;;; cdr of the list is set to LAST.
(defmacro cold-stack-list (length last)
`(do* ((index ,length (1- index))
- (result ,last (cold-cons (pop-stack) result)))
- ((= index 0) result)
+ (result ,last (cold-cons (pop-stack) result)))
+ ((= index 0) result)
(declare (fixnum index))))
(define-cold-fop (fop-list)
;;;; cold fops for loading vectors
(clone-cold-fop (fop-base-string)
- (fop-small-base-string)
+ (fop-small-base-string)
(let* ((len (clone-arg))
- (string (make-string len)))
+ (string (make-string len)))
(read-string-as-bytes *fasl-input-stream* string)
(base-string-to-core string)))
#!+sb-unicode
(clone-cold-fop (fop-character-string)
- (fop-small-character-string)
+ (fop-small-character-string)
(bug "CHARACTER-STRING dumped by cross-compiler."))
(clone-cold-fop (fop-vector)
- (fop-small-vector)
+ (fop-small-vector)
(let* ((size (clone-arg))
- (result (allocate-vector-object *dynamic*
- sb!vm:n-word-bits
- size
- sb!vm:simple-vector-widetag)))
+ (result (allocate-vector-object *dynamic*
+ sb!vm:n-word-bits
+ size
+ sb!vm:simple-vector-widetag)))
(do ((index (1- size) (1- index)))
- ((minusp index))
+ ((minusp index))
(declare (fixnum index))
(write-wordindexed result
- (+ index sb!vm:vector-data-offset)
- (pop-stack)))
+ (+ index sb!vm:vector-data-offset)
+ (pop-stack)))
result))
(define-cold-fop (fop-int-vector)
(let* ((len (read-word-arg))
- (sizebits (read-byte-arg))
- (type (case sizebits
- (0 sb!vm:simple-array-nil-widetag)
- (1 sb!vm:simple-bit-vector-widetag)
- (2 sb!vm:simple-array-unsigned-byte-2-widetag)
- (4 sb!vm:simple-array-unsigned-byte-4-widetag)
- (7 (prog1 sb!vm:simple-array-unsigned-byte-7-widetag
- (setf sizebits 8)))
- (8 sb!vm:simple-array-unsigned-byte-8-widetag)
- (15 (prog1 sb!vm:simple-array-unsigned-byte-15-widetag
- (setf sizebits 16)))
- (16 sb!vm:simple-array-unsigned-byte-16-widetag)
- (31 (prog1 sb!vm:simple-array-unsigned-byte-31-widetag
- (setf sizebits 32)))
- (32 sb!vm:simple-array-unsigned-byte-32-widetag)
+ (sizebits (read-byte-arg))
+ (type (case sizebits
+ (0 sb!vm:simple-array-nil-widetag)
+ (1 sb!vm:simple-bit-vector-widetag)
+ (2 sb!vm:simple-array-unsigned-byte-2-widetag)
+ (4 sb!vm:simple-array-unsigned-byte-4-widetag)
+ (7 (prog1 sb!vm:simple-array-unsigned-byte-7-widetag
+ (setf sizebits 8)))
+ (8 sb!vm:simple-array-unsigned-byte-8-widetag)
+ (15 (prog1 sb!vm:simple-array-unsigned-byte-15-widetag
+ (setf sizebits 16)))
+ (16 sb!vm:simple-array-unsigned-byte-16-widetag)
+ (31 (prog1 sb!vm:simple-array-unsigned-byte-31-widetag
+ (setf sizebits 32)))
+ (32 sb!vm:simple-array-unsigned-byte-32-widetag)
#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
(63 (prog1 sb!vm:simple-array-unsigned-byte-63-widetag
(setf sizebits 64)))
#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
(64 sb!vm:simple-array-unsigned-byte-64-widetag)
- (t (error "losing element size: ~W" sizebits))))
- (result (allocate-vector-object *dynamic* sizebits len type))
- (start (+ (descriptor-byte-offset result)
- (ash sb!vm:vector-data-offset sb!vm:word-shift)))
- (end (+ start
- (ceiling (* len sizebits)
- sb!vm:n-byte-bits))))
+ (t (error "losing element size: ~W" sizebits))))
+ (result (allocate-vector-object *dynamic* sizebits len type))
+ (start (+ (descriptor-byte-offset result)
+ (ash sb!vm:vector-data-offset sb!vm:word-shift)))
+ (end (+ start
+ (ceiling (* len sizebits)
+ sb!vm:n-byte-bits))))
(read-bigvec-as-sequence-or-die (descriptor-bytes result)
- *fasl-input-stream*
- :start start
- :end end)
+ *fasl-input-stream*
+ :start start
+ :end end)
result))
(define-cold-fop (fop-single-float-vector)
(let* ((len (read-word-arg))
- (result (allocate-vector-object
- *dynamic*
- sb!vm:n-word-bits
- len
- sb!vm:simple-array-single-float-widetag))
- (start (+ (descriptor-byte-offset result)
- (ash sb!vm:vector-data-offset sb!vm:word-shift)))
- (end (+ start (* len 4))))
+ (result (allocate-vector-object
+ *dynamic*
+ sb!vm:n-word-bits
+ len
+ sb!vm:simple-array-single-float-widetag))
+ (start (+ (descriptor-byte-offset result)
+ (ash sb!vm:vector-data-offset sb!vm:word-shift)))
+ (end (+ start (* len 4))))
(read-bigvec-as-sequence-or-die (descriptor-bytes result)
- *fasl-input-stream*
- :start start
- :end end)
+ *fasl-input-stream*
+ :start start
+ :end end)
result))
(not-cold-fop fop-double-float-vector)
(define-cold-fop (fop-array)
(let* ((rank (read-word-arg))
- (data-vector (pop-stack))
- (result (allocate-boxed-object *dynamic*
- (+ sb!vm:array-dimensions-offset rank)
- sb!vm:other-pointer-lowtag)))
+ (data-vector (pop-stack))
+ (result (allocate-boxed-object *dynamic*
+ (+ sb!vm:array-dimensions-offset rank)
+ sb!vm:other-pointer-lowtag)))
(write-memory result
- (make-other-immediate-descriptor rank
- sb!vm:simple-array-widetag))
+ (make-other-immediate-descriptor rank
+ sb!vm:simple-array-widetag))
(write-wordindexed result sb!vm:array-fill-pointer-slot *nil-descriptor*)
(write-wordindexed result sb!vm:array-data-slot data-vector)
(write-wordindexed result sb!vm:array-displacement-slot *nil-descriptor*)
(write-wordindexed result sb!vm:array-displaced-p-slot *nil-descriptor*)
(let ((total-elements 1))
(dotimes (axis rank)
- (let ((dim (pop-stack)))
- (unless (or (= (descriptor-lowtag dim) sb!vm:even-fixnum-lowtag)
- (= (descriptor-lowtag dim) sb!vm:odd-fixnum-lowtag))
- (error "non-fixnum dimension? (~S)" dim))
- (setf total-elements
- (* total-elements
- (logior (ash (descriptor-high dim)
- (- descriptor-low-bits
- (1- sb!vm:n-lowtag-bits)))
- (ash (descriptor-low dim)
- (- 1 sb!vm:n-lowtag-bits)))))
- (write-wordindexed result
- (+ sb!vm:array-dimensions-offset axis)
- dim)))
+ (let ((dim (pop-stack)))
+ (unless (or (= (descriptor-lowtag dim) sb!vm:even-fixnum-lowtag)
+ (= (descriptor-lowtag dim) sb!vm:odd-fixnum-lowtag))
+ (error "non-fixnum dimension? (~S)" dim))
+ (setf total-elements
+ (* total-elements
+ (logior (ash (descriptor-high dim)
+ (- descriptor-low-bits
+ (1- sb!vm:n-lowtag-bits)))
+ (ash (descriptor-low dim)
+ (- 1 sb!vm:n-lowtag-bits)))))
+ (write-wordindexed result
+ (+ sb!vm:array-dimensions-offset axis)
+ dim)))
(write-wordindexed result
- sb!vm:array-elements-slot
- (make-fixnum-descriptor total-elements)))
+ sb!vm:array-elements-slot
+ (make-fixnum-descriptor total-elements)))
result))
\f
;; fop result.
(with-fop-stack t
(let ((number (pop-stack)))
- (number-to-core number)))))
+ (number-to-core number)))))
(define-cold-number-fop fop-single-float)
(define-cold-number-fop fop-double-float)
(error "You can't FOP-FUNCALL arbitrary stuff in cold load."))
(let ((counter *load-time-value-counter*))
(cold-push (cold-cons
- (cold-intern :load-time-value)
- (cold-cons
- (pop-stack)
- (cold-cons
- (number-to-core counter)
- *nil-descriptor*)))
- *current-reversed-cold-toplevels*)
+ (cold-intern :load-time-value)
+ (cold-cons
+ (pop-stack)
+ (cold-cons
+ (number-to-core counter)
+ *nil-descriptor*)))
+ *current-reversed-cold-toplevels*)
(setf *load-time-value-counter* (1+ counter))
(make-descriptor 0 0 nil counter)))
(defun finalize-load-time-value-noise ()
(cold-set (cold-intern '*!load-time-values*)
- (allocate-vector-object *dynamic*
- sb!vm:n-word-bits
- *load-time-value-counter*
- sb!vm:simple-vector-widetag)))
+ (allocate-vector-object *dynamic*
+ sb!vm:n-word-bits
+ *load-time-value-counter*
+ sb!vm:simple-vector-widetag)))
(define-cold-fop (fop-funcall-for-effect :pushp nil)
(if (= (read-byte-arg) 0)
(cold-push (pop-stack)
- *current-reversed-cold-toplevels*)
+ *current-reversed-cold-toplevels*)
(error "You can't FOP-FUNCALL arbitrary stuff in cold load.")))
\f
;;;; cold fops for fixing up circularities
(define-cold-fop (fop-rplaca :pushp nil)
(let ((obj (svref *current-fop-table* (read-word-arg)))
- (idx (read-word-arg)))
+ (idx (read-word-arg)))
(write-memory (cold-nthcdr idx obj) (pop-stack))))
(define-cold-fop (fop-rplacd :pushp nil)
(let ((obj (svref *current-fop-table* (read-word-arg)))
- (idx (read-word-arg)))
+ (idx (read-word-arg)))
(write-wordindexed (cold-nthcdr idx obj) 1 (pop-stack))))
(define-cold-fop (fop-svset :pushp nil)
(let ((obj (svref *current-fop-table* (read-word-arg)))
- (idx (read-word-arg)))
+ (idx (read-word-arg)))
(write-wordindexed obj
- (+ idx
- (ecase (descriptor-lowtag obj)
- (#.sb!vm:instance-pointer-lowtag 1)
- (#.sb!vm:other-pointer-lowtag 2)))
- (pop-stack))))
+ (+ idx
+ (ecase (descriptor-lowtag obj)
+ (#.sb!vm:instance-pointer-lowtag 1)
+ (#.sb!vm:other-pointer-lowtag 2)))
+ (pop-stack))))
(define-cold-fop (fop-structset :pushp nil)
(let ((obj (svref *current-fop-table* (read-word-arg)))
- (idx (read-word-arg)))
+ (idx (read-word-arg)))
(write-wordindexed obj (1+ idx) (pop-stack))))
;;; In the original CMUCL code, this actually explicitly declared PUSHP
(define-cold-fop (fop-fset :pushp nil)
(let* ((fn (pop-stack))
- (cold-name (pop-stack))
- (warm-name (warm-fun-name cold-name)))
+ (cold-name (pop-stack))
+ (warm-name (warm-fun-name cold-name)))
(if (gethash warm-name *cold-fset-warm-names*)
- (error "duplicate COLD-FSET for ~S" warm-name)
- (setf (gethash warm-name *cold-fset-warm-names*) t))
+ (error "duplicate COLD-FSET for ~S" warm-name)
+ (setf (gethash warm-name *cold-fset-warm-names*) t))
(static-fset cold-name fn)))
(define-cold-fop (fop-fdefinition)
(defmacro define-cold-code-fop (name nconst code-size)
`(define-cold-fop (,name)
(let* ((nconst ,nconst)
- (code-size ,code-size)
- (raw-header-n-words (+ sb!vm:code-trace-table-offset-slot nconst))
- (header-n-words
- ;; Note: we round the number of constants up to ensure
- ;; that the code vector will be properly aligned.
- (round-up raw-header-n-words 2))
- (des (allocate-cold-descriptor *dynamic*
- (+ (ash header-n-words
- sb!vm:word-shift)
- code-size)
- sb!vm:other-pointer-lowtag)))
+ (code-size ,code-size)
+ (raw-header-n-words (+ sb!vm:code-trace-table-offset-slot nconst))
+ (header-n-words
+ ;; Note: we round the number of constants up to ensure
+ ;; that the code vector will be properly aligned.
+ (round-up raw-header-n-words 2))
+ (des (allocate-cold-descriptor *dynamic*
+ (+ (ash header-n-words
+ sb!vm:word-shift)
+ code-size)
+ sb!vm:other-pointer-lowtag)))
(write-memory des
- (make-other-immediate-descriptor
- header-n-words sb!vm:code-header-widetag))
+ (make-other-immediate-descriptor
+ header-n-words sb!vm:code-header-widetag))
(write-wordindexed des
- sb!vm:code-code-size-slot
- (make-fixnum-descriptor
- (ash (+ code-size (1- (ash 1 sb!vm:word-shift)))
- (- sb!vm:word-shift))))
+ sb!vm:code-code-size-slot
+ (make-fixnum-descriptor
+ (ash (+ code-size (1- (ash 1 sb!vm:word-shift)))
+ (- sb!vm:word-shift))))
(write-wordindexed des sb!vm:code-entry-points-slot *nil-descriptor*)
(write-wordindexed des sb!vm:code-debug-info-slot (pop-stack))
(when (oddp raw-header-n-words)
- (write-wordindexed des
- raw-header-n-words
- (make-random-descriptor 0)))
+ (write-wordindexed des
+ raw-header-n-words
+ (make-random-descriptor 0)))
(do ((index (1- raw-header-n-words) (1- index)))
- ((< index sb!vm:code-trace-table-offset-slot))
- (write-wordindexed des index (pop-stack)))
+ ((< index sb!vm:code-trace-table-offset-slot))
+ (write-wordindexed des index (pop-stack)))
(let* ((start (+ (descriptor-byte-offset des)
- (ash header-n-words sb!vm:word-shift)))
- (end (+ start code-size)))
- (read-bigvec-as-sequence-or-die (descriptor-bytes des)
- *fasl-input-stream*
- :start start
- :end end)
- #!+sb-show
- (when *show-pre-fixup-code-p*
- (format *trace-output*
- "~&/raw code from code-fop ~W ~W:~%"
- nconst
- code-size)
- (do ((i start (+ i sb!vm:n-word-bytes)))
- ((>= i end))
- (format *trace-output*
- "/#X~8,'0x: #X~8,'0x~%"
- (+ i (gspace-byte-address (descriptor-gspace des)))
- (bvref-32 (descriptor-bytes des) i)))))
+ (ash header-n-words sb!vm:word-shift)))
+ (end (+ start code-size)))
+ (read-bigvec-as-sequence-or-die (descriptor-bytes des)
+ *fasl-input-stream*
+ :start start
+ :end end)
+ #!+sb-show
+ (when *show-pre-fixup-code-p*
+ (format *trace-output*
+ "~&/raw code from code-fop ~W ~W:~%"
+ nconst
+ code-size)
+ (do ((i start (+ i sb!vm:n-word-bytes)))
+ ((>= i end))
+ (format *trace-output*
+ "/#X~8,'0x: #X~8,'0x~%"
+ (+ i (gspace-byte-address (descriptor-gspace des)))
+ (bvref-32 (descriptor-bytes des) i)))))
des)))
(define-cold-code-fop fop-code (read-word-arg) (read-word-arg))
(define-cold-code-fop fop-small-code (read-byte-arg) (read-halfword-arg))
(clone-cold-fop (fop-alter-code :pushp nil)
- (fop-byte-alter-code)
+ (fop-byte-alter-code)
(let ((slot (clone-arg))
- (value (pop-stack))
- (code (pop-stack)))
+ (value (pop-stack))
+ (code (pop-stack)))
(write-wordindexed code slot value)))
(define-cold-fop (fop-fun-entry)
(let* ((type (pop-stack))
- (arglist (pop-stack))
- (name (pop-stack))
- (code-object (pop-stack))
- (offset (calc-offset code-object (read-word-arg)))
- (fn (descriptor-beyond code-object
- offset
- sb!vm:fun-pointer-lowtag))
- (next (read-wordindexed code-object sb!vm:code-entry-points-slot)))
+ (arglist (pop-stack))
+ (name (pop-stack))
+ (code-object (pop-stack))
+ (offset (calc-offset code-object (read-word-arg)))
+ (fn (descriptor-beyond code-object
+ offset
+ sb!vm:fun-pointer-lowtag))
+ (next (read-wordindexed code-object sb!vm:code-entry-points-slot)))
(unless (zerop (logand offset sb!vm:lowtag-mask))
(error "unaligned function entry: ~S at #X~X" name offset))
(write-wordindexed code-object sb!vm:code-entry-points-slot fn)
(write-memory fn
- (make-other-immediate-descriptor
- (ash offset (- sb!vm:word-shift))
- sb!vm:simple-fun-header-widetag))
+ (make-other-immediate-descriptor
+ (ash offset (- sb!vm:word-shift))
+ sb!vm:simple-fun-header-widetag))
(write-wordindexed fn
- sb!vm:simple-fun-self-slot
- ;; KLUDGE: Wiring decisions like this in at
- ;; this level ("if it's an x86") instead of a
- ;; higher level of abstraction ("if it has such
- ;; and such relocation peculiarities (which
- ;; happen to be confined to the x86)") is bad.
- ;; It would be nice if the code were instead
- ;; conditional on some more descriptive
- ;; feature, :STICKY-CODE or
- ;; :LOAD-GC-INTERACTION or something.
- ;;
- ;; FIXME: The X86 definition of the function
- ;; self slot breaks everything object.tex says
- ;; about it. (As far as I can tell, the X86
- ;; definition makes it a pointer to the actual
- ;; code instead of a pointer back to the object
- ;; itself.) Ask on the mailing list whether
- ;; this is documented somewhere, and if not,
- ;; try to reverse engineer some documentation.
- #!-(or x86 x86-64)
- ;; a pointer back to the function object, as
- ;; described in CMU CL
- ;; src/docs/internals/object.tex
- fn
- #!+(or x86 x86-64)
- ;; KLUDGE: a pointer to the actual code of the
- ;; object, as described nowhere that I can find
- ;; -- WHN 19990907
- (make-random-descriptor
- (+ (descriptor-bits fn)
- (- (ash sb!vm:simple-fun-code-offset
- sb!vm:word-shift)
- ;; FIXME: We should mask out the type
- ;; bits, not assume we know what they
- ;; are and subtract them out this way.
- sb!vm:fun-pointer-lowtag))))
+ sb!vm:simple-fun-self-slot
+ ;; KLUDGE: Wiring decisions like this in at
+ ;; this level ("if it's an x86") instead of a
+ ;; higher level of abstraction ("if it has such
+ ;; and such relocation peculiarities (which
+ ;; happen to be confined to the x86)") is bad.
+ ;; It would be nice if the code were instead
+ ;; conditional on some more descriptive
+ ;; feature, :STICKY-CODE or
+ ;; :LOAD-GC-INTERACTION or something.
+ ;;
+ ;; FIXME: The X86 definition of the function
+ ;; self slot breaks everything object.tex says
+ ;; about it. (As far as I can tell, the X86
+ ;; definition makes it a pointer to the actual
+ ;; code instead of a pointer back to the object
+ ;; itself.) Ask on the mailing list whether
+ ;; this is documented somewhere, and if not,
+ ;; try to reverse engineer some documentation.
+ #!-(or x86 x86-64)
+ ;; a pointer back to the function object, as
+ ;; described in CMU CL
+ ;; src/docs/internals/object.tex
+ fn
+ #!+(or x86 x86-64)
+ ;; KLUDGE: a pointer to the actual code of the
+ ;; object, as described nowhere that I can find
+ ;; -- WHN 19990907
+ (make-random-descriptor
+ (+ (descriptor-bits fn)
+ (- (ash sb!vm:simple-fun-code-offset
+ sb!vm:word-shift)
+ ;; FIXME: We should mask out the type
+ ;; bits, not assume we know what they
+ ;; are and subtract them out this way.
+ sb!vm:fun-pointer-lowtag))))
(write-wordindexed fn sb!vm:simple-fun-next-slot next)
(write-wordindexed fn sb!vm:simple-fun-name-slot name)
(write-wordindexed fn sb!vm:simple-fun-arglist-slot arglist)
(define-cold-fop (fop-foreign-fixup)
(let* ((kind (pop-stack))
- (code-object (pop-stack))
- (len (read-byte-arg))
- (sym (make-string len)))
+ (code-object (pop-stack))
+ (len (read-byte-arg))
+ (sym (make-string len)))
(read-string-as-bytes *fasl-input-stream* sym)
(let ((offset (read-word-arg))
- (value (cold-foreign-symbol-address sym)))
+ (value (cold-foreign-symbol-address sym)))
(do-cold-fixup code-object offset value kind))
code-object))
#!+linkage-table
(define-cold-fop (fop-foreign-dataref-fixup)
(let* ((kind (pop-stack))
- (code-object (pop-stack))
- (len (read-byte-arg))
- (sym (make-string len)))
+ (code-object (pop-stack))
+ (len (read-byte-arg))
+ (sym (make-string len)))
(read-string-as-bytes *fasl-input-stream* sym)
(maphash (lambda (k v)
(format *error-output* "~&~S = #X~8X~%" k v))
(define-cold-fop (fop-assembler-code)
(let* ((length (read-word-arg))
- (header-n-words
- ;; Note: we round the number of constants up to ensure that
- ;; the code vector will be properly aligned.
- (round-up sb!vm:code-constants-offset 2))
- (des (allocate-cold-descriptor *read-only*
- (+ (ash header-n-words
- sb!vm:word-shift)
- length)
- sb!vm:other-pointer-lowtag)))
+ (header-n-words
+ ;; Note: we round the number of constants up to ensure that
+ ;; the code vector will be properly aligned.
+ (round-up sb!vm:code-constants-offset 2))
+ (des (allocate-cold-descriptor *read-only*
+ (+ (ash header-n-words
+ sb!vm:word-shift)
+ length)
+ sb!vm:other-pointer-lowtag)))
(write-memory des
- (make-other-immediate-descriptor
- header-n-words sb!vm:code-header-widetag))
+ (make-other-immediate-descriptor
+ header-n-words sb!vm:code-header-widetag))
(write-wordindexed des
- sb!vm:code-code-size-slot
- (make-fixnum-descriptor
- (ash (+ length (1- (ash 1 sb!vm:word-shift)))
- (- sb!vm:word-shift))))
+ sb!vm:code-code-size-slot
+ (make-fixnum-descriptor
+ (ash (+ length (1- (ash 1 sb!vm:word-shift)))
+ (- sb!vm:word-shift))))
(write-wordindexed des sb!vm:code-entry-points-slot *nil-descriptor*)
(write-wordindexed des sb!vm:code-debug-info-slot *nil-descriptor*)
(let* ((start (+ (descriptor-byte-offset des)
- (ash header-n-words sb!vm:word-shift)))
- (end (+ start length)))
+ (ash header-n-words sb!vm:word-shift)))
+ (end (+ start length)))
(read-bigvec-as-sequence-or-die (descriptor-bytes des)
- *fasl-input-stream*
- :start start
- :end end))
+ *fasl-input-stream*
+ :start start
+ :end end))
des))
(define-cold-fop (fop-assembler-routine)
(let* ((routine (pop-stack))
- (des (pop-stack))
- (offset (calc-offset des (read-word-arg))))
+ (des (pop-stack))
+ (offset (calc-offset des (read-word-arg))))
(record-cold-assembler-routine
routine
(+ (logandc2 (descriptor-bits des) sb!vm:lowtag-mask) offset))
(define-cold-fop (fop-assembler-fixup)
(let* ((routine (pop-stack))
- (kind (pop-stack))
- (code-object (pop-stack))
- (offset (read-word-arg)))
+ (kind (pop-stack))
+ (code-object (pop-stack))
+ (offset (read-word-arg)))
(record-cold-assembler-fixup routine code-object offset kind)
code-object))
(define-cold-fop (fop-code-object-fixup)
(let* ((kind (pop-stack))
- (code-object (pop-stack))
- (offset (read-word-arg))
- (value (descriptor-bits code-object)))
+ (code-object (pop-stack))
+ (offset (read-word-arg))
+ (value (descriptor-bits code-object)))
(do-cold-fixup code-object offset value kind)
code-object))
\f
(defun write-boilerplate ()
(format t "/*~%")
(dolist (line
- '("This is a machine-generated file. Please do not edit it by hand."
+ '("This is a machine-generated file. Please do not edit it by hand."
"(As of sbcl-0.8.14, it came from WRITE-CONFIG-H in genesis.lisp.)"
- ""
- "This file contains low-level information about the"
- "internals of a particular version and configuration"
- "of SBCL. It is used by the C compiler to create a runtime"
- "support environment, an executable program in the host"
- "operating system's native format, which can then be used to"
- "load and run 'core' files, which are basically programs"
- "in SBCL's own format."))
+ ""
+ "This file contains low-level information about the"
+ "internals of a particular version and configuration"
+ "of SBCL. It is used by the C compiler to create a runtime"
+ "support environment, an executable program in the host"
+ "operating system's native format, which can then be used to"
+ "load and run 'core' files, which are basically programs"
+ "in SBCL's own format."))
(format t " * ~A~%" line))
(format t " */~%"))
(defun write-config-h ()
;; propagating *SHEBANG-FEATURES* into C-level #define's
(dolist (shebang-feature-name (sort (mapcar #'symbol-name
- sb-cold:*shebang-features*)
- #'string<))
+ sb-cold:*shebang-features*)
+ #'string<))
(format t
- "#define LISP_FEATURE_~A~%"
- (substitute #\_ #\- shebang-feature-name)))
+ "#define LISP_FEATURE_~A~%"
+ (substitute #\_ #\- shebang-feature-name)))
(terpri)
;; and miscellaneous constants
(format t "#define SBCL_CORE_VERSION_INTEGER ~D~%" sbcl-core-version-integer)
(format t
- "#define SBCL_VERSION_STRING ~S~%"
- (sb!xc:lisp-implementation-version))
+ "#define SBCL_VERSION_STRING ~S~%"
+ (sb!xc:lisp-implementation-version))
(format t "#define CORE_MAGIC 0x~X~%" core-magic)
(format t "#ifndef LANGUAGE_ASSEMBLY~2%")
(format t "#define LISPOBJ(x) ((lispobj)x)~2%")
(terpri))
(defun write-constants-h ()
- ;; writing entire families of named constants
+ ;; writing entire families of named constants
(let ((constants nil))
(dolist (package-name '(;; Even in CMU CL, constants from VM
- ;; were automatically propagated
- ;; into the runtime.
- "SB!VM"
- ;; In SBCL, we also propagate various
- ;; magic numbers related to file format,
- ;; which live here instead of SB!VM.
- "SB!FASL"))
+ ;; were automatically propagated
+ ;; into the runtime.
+ "SB!VM"
+ ;; In SBCL, we also propagate various
+ ;; magic numbers related to file format,
+ ;; which live here instead of SB!VM.
+ "SB!FASL"))
(do-external-symbols (symbol (find-package package-name))
(when (constantp symbol)
(let ((name (symbol-name symbol)))
(tailwise-equal name suffix))
suffixes)
(record-with-translated-name priority))))
-
+
(maybe-record-with-translated-name '("-LOWTAG") 0)
(maybe-record-with-translated-name '("-WIDETAG") 1)
(maybe-record-with-munged-name "-FLAG" "flag_" 2)
constants))
(setf constants
- (sort constants
- (lambda (const1 const2)
- (if (= (second const1) (second const2))
- (< (third const1) (third const2))
- (< (second const1) (second const2))))))
+ (sort constants
+ (lambda (const1 const2)
+ (if (= (second const1) (second const2))
+ (< (third const1) (third const2))
+ (< (second const1) (second const2))))))
(let ((prev-priority (second (car constants))))
(dolist (const constants)
- (destructuring-bind (name priority value doc) const
- (unless (= prev-priority priority)
- (terpri)
- (setf prev-priority priority))
- (format t "#define ~A " name)
- (format t
- ;; KLUDGE: As of sbcl-0.6.7.14, we're dumping two
- ;; different kinds of values here, (1) small codes
- ;; and (2) machine addresses. The small codes can be
- ;; dumped as bare integer values. The large machine
- ;; addresses might cause problems if they're large
- ;; and represented as (signed) C integers, so we
- ;; want to force them to be unsigned. We do that by
- ;; wrapping them in the LISPOBJ macro. (We could do
- ;; it with a bare "(unsigned)" cast, except that
- ;; this header file is used not only in C files, but
- ;; also in assembly files, which don't understand
- ;; the cast syntax. The LISPOBJ macro goes away in
- ;; assembly files, but that shouldn't matter because
- ;; we don't do arithmetic on address constants in
- ;; assembly files. See? It really is a kludge..) --
- ;; WHN 2000-10-18
- (let (;; cutoff for treatment as a small code
- (cutoff (expt 2 16)))
- (cond ((minusp value)
- (error "stub: negative values unsupported"))
- ((< value cutoff)
- "~D")
- (t
- "LISPOBJ(~D)")))
- value)
- (format t " /* 0x~X */~@[ /* ~A */~]~%" value doc))))
+ (destructuring-bind (name priority value doc) const
+ (unless (= prev-priority priority)
+ (terpri)
+ (setf prev-priority priority))
+ (format t "#define ~A " name)
+ (format t
+ ;; KLUDGE: As of sbcl-0.6.7.14, we're dumping two
+ ;; different kinds of values here, (1) small codes
+ ;; and (2) machine addresses. The small codes can be
+ ;; dumped as bare integer values. The large machine
+ ;; addresses might cause problems if they're large
+ ;; and represented as (signed) C integers, so we
+ ;; want to force them to be unsigned. We do that by
+ ;; wrapping them in the LISPOBJ macro. (We could do
+ ;; it with a bare "(unsigned)" cast, except that
+ ;; this header file is used not only in C files, but
+ ;; also in assembly files, which don't understand
+ ;; the cast syntax. The LISPOBJ macro goes away in
+ ;; assembly files, but that shouldn't matter because
+ ;; we don't do arithmetic on address constants in
+ ;; assembly files. See? It really is a kludge..) --
+ ;; WHN 2000-10-18
+ (let (;; cutoff for treatment as a small code
+ (cutoff (expt 2 16)))
+ (cond ((minusp value)
+ (error "stub: negative values unsupported"))
+ ((< value cutoff)
+ "~D")
+ (t
+ "LISPOBJ(~D)")))
+ value)
+ (format t " /* 0x~X */~@[ /* ~A */~]~%" value doc))))
(terpri))
;; writing information about internal errors
#!+sparc
(when (boundp 'sb!vm::pseudo-atomic-trap)
(format t
- "#define PSEUDO_ATOMIC_TRAP ~D /* 0x~:*~X */~%"
- sb!vm::pseudo-atomic-trap)
+ "#define PSEUDO_ATOMIC_TRAP ~D /* 0x~:*~X */~%"
+ sb!vm::pseudo-atomic-trap)
(terpri))
;; possibly this is another candidate for a rename (to
;; pseudo-atomic-trap-number or pseudo-atomic-magic-constant
;; [possibly applicable to other platforms])
(dolist (symbol '(sb!vm::float-traps-byte
- sb!vm::float-exceptions-byte
- sb!vm::float-sticky-bits
- sb!vm::float-rounding-mode))
+ sb!vm::float-exceptions-byte
+ sb!vm::float-sticky-bits
+ sb!vm::float-rounding-mode))
(format t "#define ~A_POSITION ~A /* ~:*0x~X */~%"
- (substitute #\_ #\- (symbol-name symbol))
- (sb!xc:byte-position (symbol-value symbol)))
+ (substitute #\_ #\- (symbol-name symbol))
+ (sb!xc:byte-position (symbol-value symbol)))
(format t "#define ~A_MASK 0x~X /* ~:*~A */~%"
- (substitute #\_ #\- (symbol-name symbol))
- (sb!xc:mask-field (symbol-value symbol) -1))))
+ (substitute #\_ #\- (symbol-name symbol))
+ (sb!xc:mask-field (symbol-value symbol) -1))))
-(defun write-primitive-object (obj)
+(defun write-primitive-object (obj)
;; writing primitive object layouts
(format t "#ifndef LANGUAGE_ASSEMBLY~2%")
(format t
- "struct ~A {~%"
- (substitute #\_ #\-
- (string-downcase (string (sb!vm:primitive-object-name obj)))))
+ "struct ~A {~%"
+ (substitute #\_ #\-
+ (string-downcase (string (sb!vm:primitive-object-name obj)))))
(when (sb!vm:primitive-object-widetag obj)
- (format t " lispobj header;~%"))
+ (format t " lispobj header;~%"))
(dolist (slot (sb!vm:primitive-object-slots obj))
- (format t " ~A ~A~@[[1]~];~%"
- (getf (sb!vm:slot-options slot) :c-type "lispobj")
- (substitute #\_ #\-
- (string-downcase (string (sb!vm:slot-name slot))))
- (sb!vm:slot-rest-p slot)))
+ (format t " ~A ~A~@[[1]~];~%"
+ (getf (sb!vm:slot-options slot) :c-type "lispobj")
+ (substitute #\_ #\-
+ (string-downcase (string (sb!vm:slot-name slot))))
+ (sb!vm:slot-rest-p slot)))
(format t "};~2%")
(format t "#else /* LANGUAGE_ASSEMBLY */~2%")
(let ((name (sb!vm:primitive-object-name obj))
(lowtag (eval (sb!vm:primitive-object-lowtag obj))))
- (when lowtag
- (dolist (slot (sb!vm:primitive-object-slots obj))
- (format t "#define ~A_~A_OFFSET ~D~%"
- (substitute #\_ #\- (string name))
- (substitute #\_ #\- (string (sb!vm:slot-name slot)))
- (- (* (sb!vm:slot-offset slot) sb!vm:n-word-bytes) lowtag)))
+ (when lowtag
+ (dolist (slot (sb!vm:primitive-object-slots obj))
+ (format t "#define ~A_~A_OFFSET ~D~%"
+ (substitute #\_ #\- (string name))
+ (substitute #\_ #\- (string (sb!vm:slot-name slot)))
+ (- (* (sb!vm:slot-offset slot) sb!vm:n-word-bytes) lowtag)))
(terpri)))
(format t "#endif /* LANGUAGE_ASSEMBLY */~2%"))
(defun write-structure-object (dd)
(flet ((cstring (designator)
- (substitute #\_ #\- (string-downcase (string designator)))))
+ (substitute #\_ #\- (string-downcase (string designator)))))
(format t "#ifndef LANGUAGE_ASSEMBLY~2%")
(format t "struct ~A {~%" (cstring (dd-name dd)))
(format t " lispobj header;~%")
(format t " lispobj layout;~%")
(dolist (slot (dd-slots dd))
(when (eq t (dsd-raw-type slot))
- (format t " lispobj ~A;~%" (cstring (dsd-name slot)))))
+ (format t " lispobj ~A;~%" (cstring (dsd-name slot)))))
(unless (oddp (+ (dd-length dd) (dd-raw-length dd)))
(format t " long raw_slot_padding;~%"))
(dotimes (n (dd-raw-length dd))
;; FIXME: It would be nice to use longer names than NIL and
;; (particularly) T in #define statements.
(format t "#define ~A LISPOBJ(0x~X)~%"
- (substitute #\_ #\-
- (remove-if (lambda (char)
- (member char '(#\% #\* #\. #\!)))
- (symbol-name symbol)))
- (if *static* ; if we ran GENESIS
- ;; We actually ran GENESIS, use the real value.
- (descriptor-bits (cold-intern symbol))
- ;; We didn't run GENESIS, so guess at the address.
- (+ sb!vm:static-space-start
- sb!vm:n-word-bytes
- sb!vm:other-pointer-lowtag
- (if symbol (sb!vm:static-symbol-offset symbol) 0))))))
+ (substitute #\_ #\-
+ (remove-if (lambda (char)
+ (member char '(#\% #\* #\. #\!)))
+ (symbol-name symbol)))
+ (if *static* ; if we ran GENESIS
+ ;; We actually ran GENESIS, use the real value.
+ (descriptor-bits (cold-intern symbol))
+ ;; We didn't run GENESIS, so guess at the address.
+ (+ sb!vm:static-space-start
+ sb!vm:n-word-bytes
+ sb!vm:other-pointer-lowtag
+ (if symbol (sb!vm:static-symbol-offset symbol) 0))))))
\f
;;;; writing map file
;;; stages of cold load.
(defun write-map ()
(let ((*print-pretty* nil)
- (*print-case* :upcase))
+ (*print-case* :upcase))
(format t "assembler routines defined in core image:~2%")
(dolist (routine (sort (copy-list *cold-assembler-routines*) #'<
- :key #'cdr))
+ :key #'cdr))
(format t "#X~8,'0X: ~S~%" (cdr routine) (car routine)))
(let ((funs nil)
- (undefs nil))
+ (undefs nil))
(maphash (lambda (name fdefn)
- (let ((fun (read-wordindexed fdefn
- sb!vm:fdefn-fun-slot)))
- (if (= (descriptor-bits fun)
- (descriptor-bits *nil-descriptor*))
- (push name undefs)
- (let ((addr (read-wordindexed
- fdefn sb!vm:fdefn-raw-addr-slot)))
- (push (cons name (descriptor-bits addr))
- funs)))))
- *cold-fdefn-objects*)
+ (let ((fun (read-wordindexed fdefn
+ sb!vm:fdefn-fun-slot)))
+ (if (= (descriptor-bits fun)
+ (descriptor-bits *nil-descriptor*))
+ (push name undefs)
+ (let ((addr (read-wordindexed
+ fdefn sb!vm:fdefn-raw-addr-slot)))
+ (push (cons name (descriptor-bits addr))
+ funs)))))
+ *cold-fdefn-objects*)
(format t "~%~|~%initially defined functions:~2%")
(setf funs (sort funs #'< :key #'cdr))
(dolist (info funs)
- (format t "0x~8,'0X: ~S #X~8,'0X~%" (cdr info) (car info)
- (- (cdr info) #x17)))
+ (format t "0x~8,'0X: ~S #X~8,'0X~%" (cdr info) (car info)
+ (- (cdr info) #x17)))
(format t
"~%~|
(a note about initially undefined function references: These functions
(write-byte (ldb (byte 8 (* i 8)) num) *core-file*)))
(:big-endian
(dotimes (i sb!vm:n-word-bytes)
- (write-byte (ldb (byte 8 (* (- (1- sb!vm:n-word-bytes) i) 8)) num)
- *core-file*))))
+ (write-byte (ldb (byte 8 (* (- (1- sb!vm:n-word-bytes) i) 8)) num)
+ *core-file*))))
num)
(defun advance-to-page ()
(force-output *core-file*)
(file-position *core-file*
- (round-up (file-position *core-file*)
- sb!c:*backend-page-size*)))
+ (round-up (file-position *core-file*)
+ sb!c:*backend-page-size*)))
(defun output-gspace (gspace)
(force-output *core-file*)
(let* ((posn (file-position *core-file*))
- (bytes (* (gspace-free-word-index gspace) sb!vm:n-word-bytes))
- (pages (ceiling bytes sb!c:*backend-page-size*))
- (total-bytes (* pages sb!c:*backend-page-size*)))
+ (bytes (* (gspace-free-word-index gspace) sb!vm:n-word-bytes))
+ (pages (ceiling bytes sb!c:*backend-page-size*))
+ (total-bytes (* pages sb!c:*backend-page-size*)))
(file-position *core-file*
- (* sb!c:*backend-page-size* (1+ *data-page*)))
+ (* sb!c:*backend-page-size* (1+ *data-page*)))
(format t
- "writing ~S byte~:P [~S page~:P] from ~S~%"
- total-bytes
- pages
- gspace)
+ "writing ~S byte~:P [~S page~:P] from ~S~%"
+ total-bytes
+ pages
+ gspace)
(force-output)
;; Note: It is assumed that the GSPACE allocation routines always
;; where the page size is equal. (RT is 4K, PMAX is 4K, Sun 3 is
;; 8K).
(write-bigvec-as-sequence (gspace-bytes gspace)
- *core-file*
- :end total-bytes)
+ *core-file*
+ :end total-bytes)
(force-output *core-file*)
(file-position *core-file* posn)
(write-word (gspace-free-word-index gspace))
(write-word *data-page*)
(multiple-value-bind (floor rem)
- (floor (gspace-byte-address gspace) sb!c:*backend-page-size*)
+ (floor (gspace-byte-address gspace) sb!c:*backend-page-size*)
(aver (zerop rem))
(write-word floor))
(write-word pages)
(defun write-initial-core-file (filename)
(let ((filenamestring (namestring filename))
- (*data-page* 0))
+ (*data-page* 0))
(format t
- "[building initial core file in ~S: ~%"
- filenamestring)
+ "[building initial core file in ~S: ~%"
+ filenamestring)
(force-output)
(with-open-file (*core-file* filenamestring
- :direction :output
- :element-type '(unsigned-byte 8)
- :if-exists :rename-and-delete)
+ :direction :output
+ :element-type '(unsigned-byte 8)
+ :if-exists :rename-and-delete)
;; Write the magic number.
(write-word core-magic)
;; Write the build ID.
(write-word build-id-core-entry-type-code)
(let ((build-id (with-open-file (s "output/build-id.tmp"
- :direction :input)
- (read s))))
- (declare (type simple-string build-id))
- (/show build-id (length build-id))
- ;; Write length of build ID record: BUILD-ID-CORE-ENTRY-TYPE-CODE
- ;; word, this length word, and one word for each char of BUILD-ID.
- (write-word (+ 2 (length build-id)))
- (dovector (char build-id)
- ;; (We write each character as a word in order to avoid
- ;; having to think about word alignment issues in the
- ;; sbcl-0.7.8 version of coreparse.c.)
- (write-word (sb!xc:char-code char))))
+ :direction :input)
+ (read s))))
+ (declare (type simple-string build-id))
+ (/show build-id (length build-id))
+ ;; Write length of build ID record: BUILD-ID-CORE-ENTRY-TYPE-CODE
+ ;; word, this length word, and one word for each char of BUILD-ID.
+ (write-word (+ 2 (length build-id)))
+ (dovector (char build-id)
+ ;; (We write each character as a word in order to avoid
+ ;; having to think about word alignment issues in the
+ ;; sbcl-0.7.8 version of coreparse.c.)
+ (write-word (sb!xc:char-code char))))
;; Write the New Directory entry header.
(write-word new-directory-core-entry-type-code)
(write-word initial-fun-core-entry-type-code)
(write-word 3)
(let* ((cold-name (cold-intern '!cold-init))
- (cold-fdefn (cold-fdefinition-object cold-name))
- (initial-fun (read-wordindexed cold-fdefn
- sb!vm:fdefn-fun-slot)))
- (format t
- "~&/(DESCRIPTOR-BITS INITIAL-FUN)=#X~X~%"
- (descriptor-bits initial-fun))
- (write-word (descriptor-bits initial-fun)))
+ (cold-fdefn (cold-fdefinition-object cold-name))
+ (initial-fun (read-wordindexed cold-fdefn
+ sb!vm:fdefn-fun-slot)))
+ (format t
+ "~&/(DESCRIPTOR-BITS INITIAL-FUN)=#X~X~%"
+ (descriptor-bits initial-fun))
+ (write-word (descriptor-bits initial-fun)))
;; Write the End entry.
(write-word end-core-entry-type-code)
;;; FIXME: GENESIS doesn't belong in SB!VM. Perhaps in %KERNEL for now,
;;; perhaps eventually in SB-LD or SB-BOOT.
(defun sb!vm:genesis (&key
- object-file-names
- symbol-table-file-name
- core-file-name
- map-file-name
- c-header-dir-name)
+ object-file-names
+ symbol-table-file-name
+ core-file-name
+ map-file-name
+ c-header-dir-name)
(format t
- "~&beginning GENESIS, ~A~%"
- (if core-file-name
- ;; Note: This output summarizing what we're doing is
- ;; somewhat telegraphic in style, not meant to imply that
- ;; we're not e.g. also creating a header file when we
- ;; create a core.
- (format nil "creating core ~S" core-file-name)
- (format nil "creating headers in ~S" c-header-dir-name)))
-
+ "~&beginning GENESIS, ~A~%"
+ (if core-file-name
+ ;; Note: This output summarizing what we're doing is
+ ;; somewhat telegraphic in style, not meant to imply that
+ ;; we're not e.g. also creating a header file when we
+ ;; create a core.
+ (format nil "creating core ~S" core-file-name)
+ (format nil "creating headers in ~S" c-header-dir-name)))
+
(let ((*cold-foreign-symbol-table* (make-hash-table :test 'equal)))
(when core-file-name
(if symbol-table-file-name
- (load-cold-foreign-symbol-table symbol-table-file-name)
- (error "can't output a core file without symbol table file input")))
+ (load-cold-foreign-symbol-table symbol-table-file-name)
+ (error "can't output a core file without symbol table file input")))
;; Now that we've successfully read our only input file (by
;; loading the symbol table, if any), it's a good time to ensure
;; that there'll be someplace for our output files to go when
;; we're done.
(flet ((frob (filename)
- (when filename
- (ensure-directories-exist filename :verbose t))))
+ (when filename
+ (ensure-directories-exist filename :verbose t))))
(frob core-file-name)
(frob map-file-name))
(remprop sym 'cold-intern-info))
(let* ((*foreign-symbol-placeholder-value* (if core-file-name nil 0))
- (*load-time-value-counter* 0)
- (*cold-fdefn-objects* (make-hash-table :test 'equal))
- (*cold-symbols* (make-hash-table :test 'equal))
- (*cold-package-symbols* nil)
- (*read-only* (make-gspace :read-only
- read-only-core-space-id
- sb!vm:read-only-space-start))
- (*static* (make-gspace :static
- static-core-space-id
- sb!vm:static-space-start))
- (*dynamic* (make-gspace :dynamic
- dynamic-core-space-id
- #!+gencgc sb!vm:dynamic-space-start
- #!-gencgc sb!vm:dynamic-0-space-start))
- (*nil-descriptor* (make-nil-descriptor))
- (*current-reversed-cold-toplevels* *nil-descriptor*)
- (*unbound-marker* (make-other-immediate-descriptor
- 0
- sb!vm:unbound-marker-widetag))
- *cold-assembler-fixups*
- *cold-assembler-routines*
- #!+(or x86 x86-64) *load-time-code-fixups*)
+ (*load-time-value-counter* 0)
+ (*cold-fdefn-objects* (make-hash-table :test 'equal))
+ (*cold-symbols* (make-hash-table :test 'equal))
+ (*cold-package-symbols* nil)
+ (*read-only* (make-gspace :read-only
+ read-only-core-space-id
+ sb!vm:read-only-space-start))
+ (*static* (make-gspace :static
+ static-core-space-id
+ sb!vm:static-space-start))
+ (*dynamic* (make-gspace :dynamic
+ dynamic-core-space-id
+ #!+gencgc sb!vm:dynamic-space-start
+ #!-gencgc sb!vm:dynamic-0-space-start))
+ (*nil-descriptor* (make-nil-descriptor))
+ (*current-reversed-cold-toplevels* *nil-descriptor*)
+ (*unbound-marker* (make-other-immediate-descriptor
+ 0
+ sb!vm:unbound-marker-widetag))
+ *cold-assembler-fixups*
+ *cold-assembler-routines*
+ #!+(or x86 x86-64) *load-time-code-fixups*)
;; Prepare for cold load.
(initialize-non-nil-symbols)
;; to make &KEY arguments work right and in order to make
;; BACKTRACEs into target Lisp system code be legible.)
(dolist (exported-name
- (sb-cold:read-from-file "common-lisp-exports.lisp-expr"))
- (cold-intern (intern exported-name *cl-package*)))
+ (sb-cold:read-from-file "common-lisp-exports.lisp-expr"))
+ (cold-intern (intern exported-name *cl-package*)))
(dolist (pd (sb-cold:read-from-file "package-data-list.lisp-expr"))
- (declare (type sb-cold:package-data pd))
- (let ((package (find-package (sb-cold:package-data-name pd))))
- (labels (;; Call FN on every node of the TREE.
- (mapc-on-tree (fn tree)
+ (declare (type sb-cold:package-data pd))
+ (let ((package (find-package (sb-cold:package-data-name pd))))
+ (labels (;; Call FN on every node of the TREE.
+ (mapc-on-tree (fn tree)
(declare (type function fn))
- (typecase tree
- (cons (mapc-on-tree fn (car tree))
- (mapc-on-tree fn (cdr tree)))
- (t (funcall fn tree)
- (values))))
- ;; Make sure that information about the association
- ;; between PACKAGE and the symbol named NAME gets
- ;; recorded in the cold-intern system or (as a
- ;; convenience when dealing with the tree structure
- ;; allowed in the PACKAGE-DATA-EXPORTS slot) do
- ;; nothing if NAME is NIL.
- (chill (name)
- (when name
- (cold-intern (intern name package) package))))
- (mapc-on-tree #'chill (sb-cold:package-data-export pd))
- (mapc #'chill (sb-cold:package-data-reexport pd))
- (dolist (sublist (sb-cold:package-data-import-from pd))
- (destructuring-bind (package-name &rest symbol-names) sublist
- (declare (ignore package-name))
- (mapc #'chill symbol-names))))))
+ (typecase tree
+ (cons (mapc-on-tree fn (car tree))
+ (mapc-on-tree fn (cdr tree)))
+ (t (funcall fn tree)
+ (values))))
+ ;; Make sure that information about the association
+ ;; between PACKAGE and the symbol named NAME gets
+ ;; recorded in the cold-intern system or (as a
+ ;; convenience when dealing with the tree structure
+ ;; allowed in the PACKAGE-DATA-EXPORTS slot) do
+ ;; nothing if NAME is NIL.
+ (chill (name)
+ (when name
+ (cold-intern (intern name package) package))))
+ (mapc-on-tree #'chill (sb-cold:package-data-export pd))
+ (mapc #'chill (sb-cold:package-data-reexport pd))
+ (dolist (sublist (sb-cold:package-data-import-from pd))
+ (destructuring-bind (package-name &rest symbol-names) sublist
+ (declare (ignore package-name))
+ (mapc #'chill symbol-names))))))
;; Cold load.
(dolist (file-name object-file-names)
- (write-line (namestring file-name))
- (cold-load file-name))
+ (write-line (namestring file-name))
+ (cold-load file-name))
;; Tidy up loose ends left by cold loading. ("Postpare from cold load?")
(resolve-assembler-fixups)
;; Tell the target Lisp how much stuff we've allocated.
(cold-set 'sb!vm:*read-only-space-free-pointer*
- (allocate-cold-descriptor *read-only*
- 0
- sb!vm:even-fixnum-lowtag))
+ (allocate-cold-descriptor *read-only*
+ 0
+ sb!vm:even-fixnum-lowtag))
(cold-set 'sb!vm:*static-space-free-pointer*
- (allocate-cold-descriptor *static*
- 0
- sb!vm:even-fixnum-lowtag))
+ (allocate-cold-descriptor *static*
+ 0
+ sb!vm:even-fixnum-lowtag))
(cold-set 'sb!vm:*initial-dynamic-space-free-pointer*
- (allocate-cold-descriptor *dynamic*
- 0
- sb!vm:even-fixnum-lowtag))
+ (allocate-cold-descriptor *dynamic*
+ 0
+ sb!vm:even-fixnum-lowtag))
(/show "done setting free pointers")
;; Write results to files.
;; *STANDARD-OUTPUT*) not be parallel to WRITE-INITIAL-CORE-FILE
;; (to a stream explicitly passed as an argument).
(macrolet ((out-to (name &body body)
- `(let ((fn (format nil "~A/~A.h" c-header-dir-name ,name)))
- (ensure-directories-exist fn)
- (with-open-file (*standard-output* fn
- :if-exists :supersede :direction :output)
- (write-boilerplate)
- (let ((n (substitute #\_ #\- (string-upcase ,name))))
- (format
- t
- "#ifndef SBCL_GENESIS_~A~%#define SBCL_GENESIS_~A 1~%"
- n n))
- ,@body
- (format t
- "#endif /* SBCL_GENESIS_~A */~%"
- (string-upcase ,name))))))
+ `(let ((fn (format nil "~A/~A.h" c-header-dir-name ,name)))
+ (ensure-directories-exist fn)
+ (with-open-file (*standard-output* fn
+ :if-exists :supersede :direction :output)
+ (write-boilerplate)
+ (let ((n (substitute #\_ #\- (string-upcase ,name))))
+ (format
+ t
+ "#ifndef SBCL_GENESIS_~A~%#define SBCL_GENESIS_~A 1~%"
+ n n))
+ ,@body
+ (format t
+ "#endif /* SBCL_GENESIS_~A */~%"
+ (string-upcase ,name))))))
(when map-file-name
- (with-open-file (*standard-output* map-file-name
- :direction :output
- :if-exists :supersede)
- (write-map)))
- (out-to "config" (write-config-h))
- (out-to "constants" (write-constants-h))
- (let ((structs (sort (copy-list sb!vm:*primitive-objects*) #'string<
- :key (lambda (obj)
- (symbol-name
- (sb!vm:primitive-object-name obj))))))
- (dolist (obj structs)
- (out-to
- (string-downcase (string (sb!vm:primitive-object-name obj)))
- (write-primitive-object obj)))
- (out-to "primitive-objects"
- (dolist (obj structs)
- (format t "~&#include \"~A.h\"~%"
- (string-downcase
- (string (sb!vm:primitive-object-name obj)))))))
- (dolist (class '(hash-table layout))
- (out-to
- (string-downcase (string class))
- (write-structure-object
- (sb!kernel:layout-info (sb!kernel:find-layout class)))))
- (out-to "static-symbols" (write-static-symbols))
-
+ (with-open-file (*standard-output* map-file-name
+ :direction :output
+ :if-exists :supersede)
+ (write-map)))
+ (out-to "config" (write-config-h))
+ (out-to "constants" (write-constants-h))
+ (let ((structs (sort (copy-list sb!vm:*primitive-objects*) #'string<
+ :key (lambda (obj)
+ (symbol-name
+ (sb!vm:primitive-object-name obj))))))
+ (dolist (obj structs)
+ (out-to
+ (string-downcase (string (sb!vm:primitive-object-name obj)))
+ (write-primitive-object obj)))
+ (out-to "primitive-objects"
+ (dolist (obj structs)
+ (format t "~&#include \"~A.h\"~%"
+ (string-downcase
+ (string (sb!vm:primitive-object-name obj)))))))
+ (dolist (class '(hash-table layout))
+ (out-to
+ (string-downcase (string class))
+ (write-structure-object
+ (sb!kernel:layout-info (sb!kernel:find-layout class)))))
+ (out-to "static-symbols" (write-static-symbols))
+
(when core-file-name
- (write-initial-core-file core-file-name))))))
+ (write-initial-core-file core-file-name))))))
projects / sbcl.git / commitdiff