X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fcore.lisp;h=329f5a2866088f3117918fc6439b3975f5f9bfea;hb=bc46c8bcdd6ac8918df8ea9e9db49808e4924fcf;hp=70e7dd3cac409869dfe7761fd609f3f51b550c3f;hpb=0b5610d8a220a4b20cbeac958953ca4d67c00038;p=sbcl.git diff --git a/src/compiler/generic/core.lisp b/src/compiler/generic/core.lisp index 70e7dd3..329f5a2 100644 --- a/src/compiler/generic/core.lisp +++ b/src/compiler/generic/core.lisp @@ -31,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))) @@ -52,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)) @@ -78,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)) @@ -89,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))