0.pre7.86.flaky7.5:
[sbcl.git] / src / compiler / generic / target-core.lisp
1 ;;;; target-only code that knows how to load compiled code directly
2 ;;;; into core
3 ;;;;
4 ;;;; FIXME: The filename here is confusing because "core" here means
5 ;;;; "main memory", while elsewhere in the system it connotes a
6 ;;;; ".core" file dumping the contents of main memory.
7
8 ;;;; This software is part of the SBCL system. See the README file for
9 ;;;; more information.
10 ;;;;
11 ;;;; This software is derived from the CMU CL system, which was
12 ;;;; written at Carnegie Mellon University and released into the
13 ;;;; public domain. The software is in the public domain and is
14 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
15 ;;;; files for more information.
16
17 (in-package "SB!C")
18
19 ;;; Make a function entry, filling in slots from the ENTRY-INFO.
20 (defun make-function-entry (entry code-obj object)
21   (declare (type entry-info entry) (type core-object object))
22   (let ((offset (label-position (entry-info-offset entry))))
23     (declare (type index offset))
24     (unless (zerop (logand offset sb!vm:lowtag-mask))
25       (error "Unaligned function object, offset = #X~X." offset))
26     (let ((res (%primitive compute-function code-obj offset)))
27       (setf (%simple-fun-self res) res)
28       (setf (%simple-fun-next res) (%code-entry-points code-obj))
29       (setf (%code-entry-points code-obj) res)
30       (setf (%simple-fun-name res) (entry-info-name entry))
31       (setf (%simple-fun-arglist res) (entry-info-arguments entry))
32       (setf (%simple-fun-type res) (entry-info-type entry))
33
34       (note-function entry res object))))
35
36 ;;; Dump a component to core. We pass in the assembler fixups, code vector
37 ;;; and node info.
38 (defun make-core-component (component segment length trace-table fixups object)
39   (declare (type component component)
40            (type sb!assem:segment segment)
41            (type index length)
42            (list trace-table fixups)
43            (type core-object object))
44   (without-gcing
45     (let* ((2comp (component-info component))
46            (constants (ir2-component-constants 2comp))
47            (trace-table (pack-trace-table trace-table))
48            (trace-table-len (length trace-table))
49            (trace-table-bits (* trace-table-len tt-bits-per-entry))
50            (total-length (+ length
51                             (ceiling trace-table-bits sb!vm:n-byte-bits)))
52            (box-num (- (length constants) sb!vm:code-trace-table-offset-slot))
53            (code-obj
54             ;; FIXME: In CMU CL the X86 behavior here depended on
55             ;; *ENABLE-DYNAMIC-SPACE-CODE*, but in SBCL we always use
56             ;; dynamic space code, so we could make
57             ;; ALLOCATE-DYNAMIC-CODE-OBJECT more parallel with
58             ;; ALLOCATE-CODE-OBJECT and remove this confusing
59             ;; read-macro conditionalization.
60             #!+x86
61             (%primitive allocate-dynamic-code-object box-num total-length)
62             #!-x86
63             (%primitive allocate-code-object box-num total-length))
64            (fill-ptr (code-instructions code-obj)))
65       (declare (type index box-num total-length))
66
67       (sb!assem:on-segment-contents-vectorly
68        segment
69        (lambda (v)
70          (declare (type (simple-array sb!assem:assembly-unit 1) v))
71          (copy-byte-vector-to-system-area v fill-ptr)
72          (setf fill-ptr (sap+ fill-ptr (length v)))))
73
74       (do-core-fixups code-obj fixups)
75
76       (dolist (entry (ir2-component-entries 2comp))
77         (make-function-entry entry code-obj object))
78
79       (sb!vm:sanctify-for-execution code-obj)
80
81       (let ((info (debug-info-for-component component)))
82         (push info (core-object-debug-info object))
83         (setf (%code-debug-info code-obj) info))
84
85       (setf (code-header-ref code-obj sb!vm:code-trace-table-offset-slot)
86             length)
87       (copy-to-system-area trace-table
88                            (* sb!vm:vector-data-offset sb!vm:n-word-bits)
89                            fill-ptr
90                            0
91                            trace-table-bits)
92
93       (do ((index sb!vm:code-constants-offset (1+ index)))
94           ((>= index (length constants)))
95         (let ((const (aref constants index)))
96           (etypecase const
97             (null)
98             (constant
99              (setf (code-header-ref code-obj index)
100                    (constant-value const)))
101             (list
102              (ecase (car const)
103                (:entry
104                 (reference-core-function code-obj index
105                                          (cdr const) object))
106                (:fdefinition
107                 (setf (code-header-ref code-obj index)
108                       (fdefinition-object (cdr const) t))))))))))
109   (values))