X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Froom.lisp;h=6e0ed5aa98975c77663b32cc5e39b0905620d3db;hb=71766d9db05e93567cb7e829abfc675c3cb895c9;hp=ea2f30990eb79181ac03cd87b2e727b6c562b664;hpb=fd225cfc39c6e4ba6f778b4201423cd3e83e0418;p=sbcl.git diff --git a/src/code/room.lisp b/src/code/room.lisp index ea2f309..6e0ed5a 100644 --- a/src/code/room.lisp +++ b/src/code/room.lisp @@ -193,16 +193,12 @@ (ecase (room-info-kind info) (:vector 0) (:string 1))))) - (declare (type (integer -3 3) shift)) (round-to-dualword (+ (* vector-data-offset n-word-bytes) - (the fixnum - (if (minusp shift) - (ash (the fixnum - (+ len (the fixnum - (1- (the fixnum (ash 1 (- shift))))))) - shift) - (ash len shift))))))) + (if (minusp shift) + (ash (+ len (1- (ash 1 (- shift)))) + shift) + (ash len shift)))))) ;;; Access to the GENCGC page table for better precision in ;;; MAP-ALLOCATED-OBJECTS @@ -211,16 +207,19 @@ (define-alien-type (struct page) (struct page (start long) - (bytes-used (unsigned 16)) + ;; On platforms with small enough GC pages, this field + ;; will be a short. On platforms with larger ones, it'll + ;; be an int. + (bytes-used (unsigned + #.(if (typep sb!vm:gencgc-page-size + '(unsigned-byte 16)) + 16 + 32))) (flags (unsigned 8)) (gen (signed 8)))) (declaim (inline find-page-index)) (define-alien-routine "find_page_index" long (index long)) - (define-alien-variable "page_table" - (array (struct page) - #.(truncate (- dynamic-space-end - dynamic-space-start) - sb!vm:gencgc-page-size)))) + (define-alien-variable "page_table" (* (struct page)))) ;;; Iterate over all the objects allocated in SPACE, calling FUN with ;;; the object, the object's type code, and the object's total size in @@ -231,7 +230,7 @@ (without-gcing (multiple-value-bind (start end) (space-bounds space) (declare (type system-area-pointer start end)) - (declare (optimize (speed 3) (safety 0))) + (declare (optimize (speed 3))) (let ((current start) #!+gencgc (skip-tests-until-addr 0)) (labels ((maybe-finish-mapping () @@ -355,7 +354,7 @@ (counts (make-array 256 :initial-element 0 :element-type 'fixnum))) (map-allocated-objects (lambda (obj type size) - (declare (fixnum size) (optimize (speed 3) (safety 0)) (ignore obj)) + (declare (fixnum size) (optimize (speed 3)) (ignore obj)) (incf (aref sizes type) size) (incf (aref counts type))) space) @@ -494,7 +493,7 @@ (type unsigned-byte total-bytes)) (map-allocated-objects (lambda (obj type size) - (declare (fixnum size) (optimize (safety 0))) + (declare (fixnum size)) (when (eql type code-header-widetag) (incf total-bytes size) (let ((words (truly-the fixnum (%code-code-size obj))) @@ -523,7 +522,7 @@ (declare (inline map-allocated-objects)) (map-allocated-objects (lambda (obj type size) - (declare (fixnum size) (optimize (safety 0))) + (declare (fixnum size)) (case type (#.code-header-widetag (let ((inst-words (truly-the fixnum (%code-code-size obj)))) @@ -593,7 +592,7 @@ (declare (fixnum total-objects total-bytes)) (map-allocated-objects (lambda (obj type size) - (declare (fixnum size) (optimize (speed 3) (safety 0))) + (declare (fixnum size) (optimize (speed 3))) (when (eql type instance-header-widetag) (incf total-objects) (incf total-bytes size) @@ -664,7 +663,6 @@ (note-conses (cdr x))))) (map-allocated-objects (lambda (obj obj-type size) - (declare (optimize (safety 0))) (let ((addr (get-lisp-obj-address obj))) (when (>= addr start) (when (if count @@ -745,7 +743,6 @@ (let ((res ())) (map-allocated-objects (lambda (obj obj-type size) - (declare (optimize (safety 0))) (when (and (or (not type) (eql obj-type type)) (or (not smaller) (<= size smaller)) (or (not larger) (>= size larger)) @@ -765,7 +762,7 @@ (funcall fun obj)))) (map-allocated-objects (lambda (obj obj-type size) - (declare (optimize (safety 0)) (ignore obj-type size)) + (declare (ignore obj-type size)) (typecase obj (cons (when (or (eq (car obj) object)