gencgc: More precise conservatism for pointers to boxed pages.
[sbcl.git] / src / code / describe-policy.lisp
1 ;;;; DESCRIBE-COMPILER-POLICY
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
11
12 (in-package "SB-C") ;(SB-C, not SB!C, since we're built in warm load.)
13 \f
14 (defun describe-compiler-policy (&optional spec)
15   #+sb-doc
16   "Print all global optimization settings, augmented by SPEC."
17   (let ((policy (process-optimize-decl (cons 'optimize spec) *policy*)))
18     (fresh-line)
19     (format t "  Basic qualities:~%")
20     (dolist (quality *policy-qualities*)
21       (format t "~S = ~D~%" quality (policy-quality policy quality)))
22     (format t "  Dependent qualities:~%")
23     (loop for (name . info) in *policy-dependent-qualities*
24        for values-documentation = (policy-dependent-quality-values-documentation info)
25        for explicit-value = (policy-quality policy name)
26        do (if (= explicit-value 1)
27               (let* ((getter (policy-dependent-quality-getter info))
28                      (value (funcall getter policy))
29                      (documentation (elt values-documentation value)))
30                 (format t "~S = ~D -> ~D (~A)~%"
31                         name explicit-value
32                         value documentation))
33               (let ((documentation (elt values-documentation explicit-value)))
34                 (format t "~S = ~D (~A)~%"
35                         name explicit-value documentation)))))
36
37   (values))