1 ;;;; Code in this file handles VM-independent details of run-time
2 ;;;; function representation that primarily concern IR2 conversion and
3 ;;;; the dumper/loader.
5 ;;;; This software is part of the SBCL system. See the README file for
8 ;;;; This software is derived from the CMU CL system, which was
9 ;;;; written at Carnegie Mellon University and released into the
10 ;;;; public domain. The software is in the public domain and is
11 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
12 ;;;; files for more information.
16 ;;; This phase runs before IR2 conversion, initializing each XEP's
17 ;;; ENTRY-INFO structure. We call the VM-supplied
18 ;;; SELECT-COMPONENT-FORMAT function to make VM-dependent
19 ;;; initializations in the IR2-COMPONENT. This includes setting the
20 ;;; IR2-COMPONENT-KIND and allocating fixed implementation overhead in
21 ;;; the constant pool. If there was a forward reference to a function,
22 ;;; then the ENTRY-INFO will already exist, but will be uninitialized.
23 (defun entry-analyze (component)
24 (let ((2comp (component-info component)))
25 (dolist (fun (component-lambdas component))
26 (when (external-entry-point-p fun)
27 (let ((info (or (leaf-info fun)
28 (setf (leaf-info fun) (make-entry-info)))))
29 (compute-entry-info fun info)
30 (push info (ir2-component-entries 2comp))))))
32 (select-component-format component)
35 ;;; Takes the list representation of the debug arglist and turns it
38 ;;; FIXME: Why don't we just save this as a list instead of converting
40 (defun make-arg-names (x)
41 (declare (type functional x))
42 (let ((args (functional-arg-documentation x)))
43 (aver (not (eq args :unspecified)))
46 (let ((*print-pretty* t)
50 (*print-case* :downcase))
51 (write-to-string args)))))
53 ;;; Initialize INFO structure to correspond to the XEP LAMBDA FUN.
54 (defun compute-entry-info (fun info)
55 (declare (type clambda fun) (type entry-info info))
56 (let ((bind (lambda-bind fun))
57 (internal-fun (functional-entry-fun fun)))
58 (setf (entry-info-closure-p info)
59 (not (null (physenv-closure (lambda-physenv fun)))))
60 (setf (entry-info-offset info) (gen-label))
61 (setf (entry-info-name info)
62 (leaf-debug-name internal-fun))
63 (when (policy bind (>= debug 1))
64 (setf (entry-info-arguments info) (make-arg-names internal-fun))
65 (setf (entry-info-type info) (type-specifier (leaf-type internal-fun)))))
68 ;;; Replace all references to COMPONENT's non-closure XEPs that appear
69 ;;; in top level or externally-referenced components, changing to
70 ;;; :TOPLEVEL-XEP FUNCTIONALs. If the cross-component ref is not in a
71 ;;; :TOPLEVEL/externally-referenced component, or is to a closure,
72 ;;; then substitution is suppressed.
74 ;;; When a cross-component ref is not substituted, we return T to
75 ;;; indicate that early deletion of this component's IR1 should not be
76 ;;; done. We also return T if this component contains
77 ;;; :TOPLEVEL/externally-referenced lambdas (though it is not a
78 ;;; :TOPLEVEL component.)
80 ;;; We deliberately don't use the normal reference deletion, since we
81 ;;; don't want to trigger deletion of the XEP (although it shouldn't
82 ;;; hurt, since this is called after COMPONENT is compiled.) Instead,
83 ;;; we just clobber the REF-LEAF.
84 (defun replace-toplevel-xeps (component)
86 (dolist (lambda (component-lambdas component))
87 (case (functional-kind lambda)
89 (unless (lambda-has-external-references-p lambda)
90 (let* ((ef (functional-entry-fun lambda))
93 :info (leaf-info lambda)
94 :%source-name (functional-%source-name ef)
95 :%debug-name (functional-%debug-name ef)
96 :lexenv (make-null-lexenv)))
97 (closure (physenv-closure
98 (lambda-physenv (main-entry ef)))))
99 (dolist (ref (leaf-refs lambda))
100 (let ((ref-component (block-component (node-block ref))))
101 (cond ((eq ref-component component))
102 ((or (not (component-toplevelish-p ref-component))
106 (setf (ref-leaf ref) new)
107 (push ref (leaf-refs new)))))))))