X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fcross-misc.lisp;h=12d9312a633bf222bb3f53f1d2c0efb37f600ca8;hb=0ae8180db142282924d16e1b7d1c54c72ed0d23c;hp=a0fe12d4518c13d2d40cb5ec6ce8630b6c34fd2e;hpb=1476586427d13b59571fa2c2a0d3836496b4c803;p=sbcl.git diff --git a/src/code/cross-misc.lisp b/src/code/cross-misc.lisp index a0fe12d..12d9312 100644 --- a/src/code/cross-misc.lisp +++ b/src/code/cross-misc.lisp @@ -31,15 +31,6 @@ (defmacro without-interrupts (&rest forms) `(progn ,@forms)) -;;; When we're running as a cross-compiler in an arbitrary host ANSI -;;; Lisp, we shouldn't be doing anything which is sensitive to GC. -;;; KLUDGE: I (WHN 19990131) think the proper long-term solution would -;;; be to remove any operations from cross-compiler source files -;;; (putting them in target-only source files) if they refer to these -;;; hooks. This is a short-term hack. -(defvar *before-gc-hooks* nil) -(defvar *after-gc-hooks* nil) - ;;; The GENESIS function works with fasl code which would, in the ;;; target SBCL, work on ANSI-STREAMs (streams which aren't extended ;;; Gray streams). In ANSI Common Lisp, an ANSI-STREAM is just a @@ -122,7 +113,9 @@ ;;; These functions are needed for constant-folding. (defun sb!kernel:simple-array-nil-p (object) - (typep object '(simple-array nil))) + (when (typep object 'array) + (assert (not (eq (array-element-type object) nil)))) + nil) (defun sb!kernel:%negate (number) (- number)) @@ -135,3 +128,37 @@ (defun sb!kernel:%ldb (size posn integer) (ldb (byte size posn) integer)) + +(defun sb!kernel:%dpb (newbyte size posn integer) + (dpb newbyte (byte size posn) integer)) + +(defun sb!kernel:%with-array-data (array start end) + (assert (typep array '(simple-array * (*)))) + (values array start end 0)) + +(defun sb!kernel:signed-byte-32-p (number) + (typep number '(signed-byte 32))) + +;;; package locking nops for the cross-compiler + +(defmacro without-package-locks (&body body) + `(progn ,@body)) + +(defmacro with-single-package-locked-error ((&optional kind thing &rest format) + &body body) + (declare (ignore kind thing format)) + `(progn ,@body)) + +(defun compiler-assert-symbol-home-package-unlocked (symbol control) + (declare (ignore control)) + symbol) + +(defun assert-package-unlocked (package &optional control &rest args) + (declare (ignore control args)) + package) + +(defun assert-symbol-home-package-unlocked (name format &key continuablep) + (declare (ignore format continuablep)) + name) + +(declaim (declaration enable-package-locks disable-package-locks))