X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fcore.lisp;h=f5b58efd8bcc7eeff5ca24208c360a5b8b28543f;hb=dc33d6a6b84f8338e603759cec8e25da29055d50;hp=70e7dd3cac409869dfe7761fd609f3f51b550c3f;hpb=0b5610d8a220a4b20cbeac958953ca4d67c00038;p=sbcl.git

diff --git a/src/compiler/generic/core.lisp b/src/compiler/generic/core.lisp
index 70e7dd3..f5b58ef 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)))
@@ -42,32 +42,37 @@
   (values))
 
 ;;; Do "load-time" fixups on the code vector.
-(defun do-core-fixups (code fixups)
-  (declare (list fixups))
-  (dolist (info fixups)
-    (let* ((kind (first info))
-	   (fixup (second info))
+(defun do-core-fixups (code fixup-notes)
+  (declare (list fixup-notes))
+  (dolist (note fixup-notes)
+    (let* ((kind (fixup-note-kind note))
+	   (fixup (fixup-note-fixup note))
+	   (position (fixup-note-position note))
 	   (name (fixup-name fixup))
 	   (flavor (fixup-flavor fixup))
-	   (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)
-			 (error "unknown foreign symbol: ~S")))
-		    #!+x86
+		     (aver (stringp name))
+		     ;; FOREIGN-SYMBOL-ADDRESS signals an error
+		     ;; if the symbol isn't found.
+		     (foreign-symbol-address name))
+		    #!+linkage-table
+		    (:foreign-dataref
+		     (aver (stringp name))
+		     (foreign-symbol-address name t))
+		    #!+(or x86 x86-64)
 		    (:code-object
-		     (assert (null name))
+		     (aver (null name))
 		     (values (get-lisp-obj-address code) t)))))
-      (sb!vm:fixup-code-object code offset value kind))))
+      (sb!vm:fixup-code-object code position 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,24 +83,24 @@
 	      (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))
 	       (error "Unresolved forward reference."))))
 
 ;;; 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)
-  (declare (type source-info info) (type core-object object))
-  (assert (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))
+;;; SOURCE-INFO list. We also check that there are no outstanding
+;;; forward references to functions.
+(defun fix-core-source-info (info object &optional function)
+  (declare (type core-object object)
+	   (type (or null function) function))
+  (aver (zerop (hash-table-count (core-object-patch-table object))))
+  (let ((source (debug-source-for-info info)))
+    (setf (debug-source-function source) function)
     (dolist (info (core-object-debug-info object))
-      (setf (compiled-debug-info-source info) res))
-    (setf (core-object-debug-info object) ()))
+      (setf (debug-info-source info) source)))
+  (setf (core-object-debug-info object) nil)
   (values))