X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Fgeneric%2Fcore.lisp;h=329f5a2866088f3117918fc6439b3975f5f9bfea;hb=e511ed14d4a20cb9de2523f052b0f23a1dde1115;hp=db0196bf6d2fd8877229e49384492276dcaaf6bc;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git diff --git a/src/compiler/generic/core.lisp b/src/compiler/generic/core.lisp index db0196b..329f5a2 100644 --- a/src/compiler/generic/core.lisp +++ b/src/compiler/generic/core.lisp @@ -17,7 +17,8 @@ (:constructor make-core-object ()) #-no-ansi-print-object (:print-object (lambda (x s) - (print-unreadable-object (x s :type t))))) + (print-unreadable-object (x s :type t)))) + (:copier nil)) ;; A hashtable translating ENTRY-INFO structures to the corresponding actual ;; FUNCTIONs for functions in this compilation. (entry-table (make-hash-table :test 'eq) :type hash-table) @@ -30,7 +31,7 @@ (debug-info () :type list)) ;;; Note the existence of FUNCTION. -(defun note-function (info function object) +(defun note-fun (info function object) (declare (type function function) (type core-object object)) (let ((patch-table (core-object-patch-table object))) @@ -51,22 +52,22 @@ (offset (third info)) (value (ecase flavor (:assembly-routine - (assert (symbolp name)) + (aver (symbolp name)) (or (gethash name *assembler-routines*) (error "undefined assembler routine: ~S" name))) (:foreign - (assert (stringp name)) - (or (sb!impl::foreign-symbol-address-as-integer name) + (aver (stringp name)) + (or (foreign-symbol-address-as-integer name) (error "unknown foreign symbol: ~S"))) #!+x86 (:code-object - (assert (null name)) + (aver (null name)) (values (get-lisp-obj-address code) t))))) (sb!vm:fixup-code-object code offset value kind)))) -;;; Stick a reference to the function Fun in Code-Object at index I. If the -;;; function hasn't been compiled yet, make a note in the Patch-Table. -(defun reference-core-function (code-obj i fun object) +;;; Stick a reference to the function FUN in CODE-OBJECT at index I. If the +;;; function hasn't been compiled yet, make a note in the patch table. +(defun reference-core-fun (code-obj i fun object) (declare (type core-object object) (type functional fun) (type index i)) (let* ((info (leaf-info fun)) @@ -77,9 +78,9 @@ (gethash info (core-object-patch-table object))))) (values)) -;;; Call the top-level lambda function dumped for Entry, returning the -;;; values. Entry may be a :TOP-LEVEL-XEP functional. -(defun core-call-top-level-lambda (entry object) +;;; Call the top level lambda function dumped for ENTRY, returning the +;;; values. ENTRY may be a :TOPLEVEL-XEP functional. +(defun core-call-toplevel-lambda (entry object) (declare (type functional entry) (type core-object object)) (funcall (or (gethash (leaf-info entry) (core-object-entry-table object)) @@ -88,9 +89,9 @@ ;;; Backpatch all the DEBUG-INFOs dumped so far with the specified ;;; SOURCE-INFO list. We also check that there are no outstanding forward ;;; references to functions. -(defun fix-core-source-info (info object source-info) +(defun fix-core-source-info (info object &optional source-info) (declare (type source-info info) (type core-object object)) - (assert (zerop (hash-table-count (core-object-patch-table object)))) + (aver (zerop (hash-table-count (core-object-patch-table object)))) (let ((res (debug-source-for-info info))) (dolist (sinfo res) (setf (debug-source-info sinfo) source-info))