src/cold/defun-load-or-cload-xcompiler.lisp

   1 ;;;; This software is part of the SBCL system. See the README file for
   2 ;;;; more information.
   3 ;;;;
   4 ;;;; This software is derived from the CMU CL system, which was
   5 ;;;; written at Carnegie Mellon University and released into the
   6 ;;;; public domain. The software is in the public domain and is
   7 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
   8 ;;;; files for more information.
   9
  10 (in-package "SB-COLD")
  11
  12 ;;; Either load or compile-then-load the cross-compiler into the
  13 ;;; cross-compilation host Common Lisp.
  14 (defun load-or-cload-xcompiler (load-or-cload-stem)
  15
  16   (declare (type function load-or-cload-stem))
  17
  18   ;; The running-in-the-host-Lisp Python cross-compiler defines its
  19   ;; own versions of a number of functions which should not overwrite
  20   ;; host-Lisp functions. Instead we put them in a special package.
  21   ;;
  22   ;; The common theme of the functions, macros, constants, and so
  23   ;; forth in this package is that they run in the host and affect the
  24   ;; compilation of the target.
  25   (let ((package-name "SB-XC"))
  26     (make-package package-name :use nil :nicknames nil)
  27     (dolist (name '(;; the constants (except for T and NIL which have
  28                     ;; a specially hacked correspondence between
  29                     ;; cross-compilation host Lisp and target Lisp)
  30                     "ARRAY-DIMENSION-LIMIT"
  31                     "ARRAY-RANK-LIMIT"
  32                     "ARRAY-TOTAL-SIZE-LIMIT"
  33                     "BOOLE-1"
  34                     "BOOLE-2"
  35                     "BOOLE-AND"
  36                     "BOOLE-ANDC1"
  37                     "BOOLE-ANDC2"
  38                     "BOOLE-C1"
  39                     "BOOLE-C2"
  40                     "BOOLE-CLR"
  41                     "BOOLE-EQV"
  42                     "BOOLE-IOR"
  43                     "BOOLE-NAND"
  44                     "BOOLE-NOR"
  45                     "BOOLE-ORC1"
  46                     "BOOLE-ORC2"
  47                     "BOOLE-SET"
  48                     "BOOLE-XOR"
  49                     "CALL-ARGUMENTS-LIMIT"
  50                     "CHAR-CODE-LIMIT"
  51                     "DOUBLE-FLOAT-EPSILON"
  52                     "DOUBLE-FLOAT-NEGATIVE-EPSILON"
  53                     "INTERNAL-TIME-UNITS-PER-SECOND"
  54                     "LAMBDA-LIST-KEYWORDS"
  55                     "LAMBDA-PARAMETERS-LIMIT"
  56                     "LEAST-NEGATIVE-DOUBLE-FLOAT"
  57                     "LEAST-NEGATIVE-LONG-FLOAT"
  58                     "LEAST-NEGATIVE-NORMALIZED-DOUBLE-FLOAT"
  59                     "LEAST-NEGATIVE-NORMALIZED-LONG-FLOAT"
  60                     "LEAST-NEGATIVE-NORMALIZED-SHORT-FLOAT"
  61                     "LEAST-NEGATIVE-NORMALIZED-SINGLE-FLOAT"
  62                     "LEAST-NEGATIVE-SHORT-FLOAT"
  63                     "LEAST-NEGATIVE-SINGLE-FLOAT"
  64                     "LEAST-POSITIVE-DOUBLE-FLOAT"
  65                     "LEAST-POSITIVE-LONG-FLOAT"
  66                     "LEAST-POSITIVE-NORMALIZED-DOUBLE-FLOAT"
  67                     "LEAST-POSITIVE-NORMALIZED-LONG-FLOAT"
  68                     "LEAST-POSITIVE-NORMALIZED-SHORT-FLOAT"
  69                     "LEAST-POSITIVE-NORMALIZED-SINGLE-FLOAT"
  70                     "LEAST-POSITIVE-SHORT-FLOAT"
  71                     "LEAST-POSITIVE-SINGLE-FLOAT"
  72                     "LONG-FLOAT-EPSILON"
  73                     "LONG-FLOAT-NEGATIVE-EPSILON"
  74                     "MOST-NEGATIVE-DOUBLE-FLOAT"
  75                     "MOST-NEGATIVE-FIXNUM"
  76                     "MOST-NEGATIVE-LONG-FLOAT"
  77                     "MOST-NEGATIVE-SHORT-FLOAT"
  78                     "MOST-NEGATIVE-SINGLE-FLOAT"
  79                     "MOST-POSITIVE-DOUBLE-FLOAT"
  80                     "MOST-POSITIVE-FIXNUM"
  81                     "MOST-POSITIVE-LONG-FLOAT"
  82                     "MOST-POSITIVE-SHORT-FLOAT"
  83                     "MOST-POSITIVE-SINGLE-FLOAT"
  84                     "MULTIPLE-VALUES-LIMIT"
  85                     "PI"
  86                     "SHORT-FLOAT-EPSILON"
  87                     "SHORT-FLOAT-NEGATIVE-EPSILON"
  88                     "SINGLE-FLOAT-EPSILON"
  89                     "SINGLE-FLOAT-NEGATIVE-EPSILON"
  90
  91                     ;; everything else which needs a separate
  92                     ;; existence in xc and target
  93                     "BOOLE"
  94                     "BOOLE-CLR" "BOOLE-SET" "BOOLE-1" "BOOLE-2"
  95                     "BOOLE-C1" "BOOLE-C2" "BOOLE-AND" "BOOLE-IOR"
  96                     "BOOLE-XOR" "BOOLE-EQV" "BOOLE-NAND" "BOOLE-NOR"
  97                     "BOOLE-ANDC1" "BOOLE-ANDC2" "BOOLE-ORC1" "BOOLE-ORC2"
  98                     "BUILT-IN-CLASS"
  99                     "BYTE" "BYTE-POSITION" "BYTE-SIZE"
 100                     "CHAR-CODE"
 101                     "CLASS" "CLASS-NAME" "CLASS-OF"
 102                     "CODE-CHAR"
 103                     "COMPILE-FILE"
 104                     "COMPILE-FILE-PATHNAME"
 105                     "*COMPILE-FILE-PATHNAME*"
 106                     "*COMPILE-FILE-TRUENAME*"
 107                     "*COMPILE-PRINT*"
 108                     "*COMPILE-VERBOSE*"
 109                     "COMPILER-MACRO-FUNCTION"
 110                     "CONSTANTP"
 111                     "DEFCONSTANT"
 112                     "DEFINE-MODIFY-MACRO"
 113                     "DEFINE-SETF-EXPANDER"
 114                     "DEFMACRO" "DEFSETF" "DEFSTRUCT" "DEFTYPE"
 115                     "DEPOSIT-FIELD" "DPB"
 116                     "FBOUNDP" "FDEFINITION" "FMAKUNBOUND"
 117                     "FIND-CLASS"
 118                     "GET-SETF-EXPANSION"
 119                     "LDB" "LDB-TEST"
 120                     "LISP-IMPLEMENTATION-TYPE" "LISP-IMPLEMENTATION-VERSION"
 121                     "MACRO-FUNCTION"
 122                     "MACROEXPAND" "MACROEXPAND-1" "*MACROEXPAND-HOOK*"
 123                     "MAKE-LOAD-FORM"
 124                     "MAKE-LOAD-FORM-SAVING-SLOTS"
 125                     "MASK-FIELD"
 126                     "PACKAGE" "PACKAGEP"
 127                     "PROCLAIM"
 128                     "SPECIAL-OPERATOR-P"
 129                     "STANDARD-CLASS"
 130                     "STRUCTURE-CLASS"
 131                     "SUBTYPEP"
 132                     "TYPE-OF" "TYPEP"
 133                     "UPGRADED-ARRAY-ELEMENT-TYPE"
 134                     "UPGRADED-COMPLEX-PART-TYPE"
 135                     "WITH-COMPILATION-UNIT"))
 136       (export (intern name package-name) package-name)))
 137   ;; don't watch:
 138   (dolist (package (list-all-packages))
 139     (when (= (mismatch (package-name package) "SB!") 3)
 140       (shadowing-import
 141        (mapcar (lambda (name) (find-symbol name "SB-XC"))
 142                '("BYTE" "BYTE-POSITION" "BYTE-SIZE"
 143                  "DPB" "LDB" "LDB-TEST"
 144                  "DEPOSIT-FIELD" "MASK-FIELD"
 145
 146                  "BOOLE"
 147                  "BOOLE-CLR" "BOOLE-SET" "BOOLE-1" "BOOLE-2"
 148                  "BOOLE-C1" "BOOLE-C2" "BOOLE-AND" "BOOLE-IOR"
 149                  "BOOLE-XOR" "BOOLE-EQV" "BOOLE-NAND" "BOOLE-NOR"
 150                  "BOOLE-ANDC1" "BOOLE-ANDC2" "BOOLE-ORC1" "BOOLE-ORC2"))
 151        package)))
 152
 153   ;; Build a version of Python to run in the host Common Lisp, to be
 154   ;; used only in cross-compilation.
 155   ;;
 156   ;; Note that files which are marked :ASSEM, to cause them to be
 157   ;; processed with SB!C:ASSEMBLE-FILE when we're running under the
 158   ;; cross-compiler or the target lisp, are still processed here, just
 159   ;; with the ordinary Lisp compiler, and this is intentional, in
 160   ;; order to make the compiler aware of the definitions of assembly
 161   ;; routines.
 162   (do-stems-and-flags (stem flags)
 163     (unless (find :not-host flags)
 164       (funcall load-or-cload-stem
 165                stem
 166                :ignore-failure-p (find :ignore-failure-p flags))
 167       #!+sb-show (warn-when-cl-snapshot-diff *cl-snapshot*)))
 168
 169   ;; If the cross-compilation host is SBCL itself, we can use the
 170   ;; PURIFY extension to freeze everything in place, reducing the
 171   ;; amount of work done on future GCs. In machines with limited
 172   ;; memory, this could help, by reducing the amount of memory which
 173   ;; needs to be juggled in a full GC. And it can hardly hurt, since
 174   ;; (in the ordinary build procedure anyway) essentially everything
 175   ;; which is reachable at this point will remain reachable for the
 176   ;; entire run.
 177   ;;
 178   ;; (Except that purifying actually slows down GENCGC). -- JES, 2006-05-30
 179   #+(and sbcl (not gencgc))
 180   (sb-ext:purify)
 181
 182   (values))