X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=e5c72f52e77667825efb5f24825503be4e9b3993;hb=4f7161165647d655392713a0d95c951e4e1749ea;hp=a902977930763b79c95c658be0d86a72ae357618;hpb=51e63f301624e39febdd85b5feba19b7c980f307;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index a902977..e5c72f5 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -16,9 +16,9 @@ ;;;; information for known functions: (defknown coerce (t type-specifier) t - ;; Note: - ;; This is not FLUSHABLE because it's defined to signal errors. - (movable) + ;; Note: + ;; This is not FLUSHABLE because it's defined to signal errors. + (movable) ;; :DERIVE-TYPE RESULT-TYPE-SPEC-NTH-ARG 2 ? Nope... (COERCE 1 'COMPLEX) ;; returns REAL/INTEGER, not COMPLEX. ) @@ -29,8 +29,8 @@ ;;; These can be affected by type definitions, so they're not FOLDABLE. (defknown (sb!xc:upgraded-complex-part-type sb!xc:upgraded-array-element-type) - (type-specifier &optional lexenv-designator) type-specifier - (unsafely-flushable)) + (type-specifier &optional lexenv-designator) type-specifier + (unsafely-flushable)) ;;;; from the "Predicates" chapter: @@ -81,7 +81,7 @@ (sb!xc:deftype name-for-class () t) (defknown classoid-name (classoid) name-for-class (flushable)) -(defknown find-classoid (name-for-class &optional t lexenv-designator) +(defknown find-classoid (name-for-class &optional t) (or classoid null) ()) (defknown classoid-of (t) classoid (flushable)) (defknown layout-of (t) layout (flushable)) @@ -204,7 +204,7 @@ (defknown unexport (symbols-designator &optional package-designator) (eql t)) (defknown shadowing-import (symbols-designator &optional package-designator) (eql t)) -(defknown shadow ((or symbol string list) &optional package-designator) +(defknown shadow ((or symbol character string list) &optional package-designator) (eql t)) (defknown (use-package unuse-package) ((or list package-designator) &optional package-designator) (eql t)) @@ -231,7 +231,7 @@ (defknown * (&rest number) number (movable foldable flushable explicit-check)) (defknown / (number &rest number) number - (movable foldable flushable explicit-check)) + (movable foldable unsafely-flushable explicit-check)) (defknown (1+ 1-) (number) number (movable foldable flushable explicit-check)) @@ -783,7 +783,8 @@ (&key (:test callable) (:size unsigned-byte) (:rehash-size (or (integer 1) (float (1.0)))) (:rehash-threshold (real 0 1)) - (:weakness (member nil :key :value :key-and-value :key-or-value))) + (:weakness (member nil :key :value :key-and-value :key-or-value)) + (:synchronized t)) hash-table (flushable unsafe)) (defknown hash-table-p (t) boolean (movable foldable flushable)) @@ -809,6 +810,8 @@ (defknown hash-table-test (hash-table) symbol (foldable flushable)) (defknown sxhash (t) (integer 0 #.sb!xc:most-positive-fixnum) (#-sb-xc-host foldable flushable)) +(defknown psxhash (t &optional t) (integer 0 #.sb!xc:most-positive-fixnum) + (#-sb-xc-host foldable flushable)) ;;;; from the "Arrays" chapter @@ -1399,7 +1402,9 @@ (defknown %more-arg-context (t t) (values t index) (flushable)) (defknown %more-arg (t index) t) #!+stack-grows-downward-not-upward -(defknown %more-kw-arg (t index) (values t t)) +;;; FIXME: The second argument here should really be NEGATIVE-INDEX, but doing that +;;; breaks the build, and I cannot seem to figure out why. --NS 2006-06-29 +(defknown %more-kw-arg (t fixnum) (values t t)) (defknown %more-arg-values (t index index) * (flushable)) (defknown %verify-arg-count (index index) (values)) (defknown %arg-count-error (t) nil) @@ -1431,25 +1436,32 @@ (defknown %check-bound (array index fixnum) index (movable foldable flushable)) (defknown data-vector-ref (simple-array index) t (foldable explicit-check always-translatable)) -#!+x86 (defknown data-vector-ref-with-offset (simple-array index fixnum) t (foldable explicit-check always-translatable)) (defknown data-vector-set (array index t) t (unsafe explicit-check always-translatable)) -#!+x86 (defknown data-vector-set-with-offset (array index fixnum t) t (unsafe explicit-check always-translatable)) (defknown hairy-data-vector-ref (array index) t (foldable explicit-check)) (defknown hairy-data-vector-set (array index t) t (unsafe explicit-check)) +(defknown hairy-data-vector-ref/check-bounds (array index) t + (foldable explicit-check)) +(defknown hairy-data-vector-set/check-bounds (array index t) + t + (unsafe explicit-check)) (defknown %caller-frame-and-pc () (values t t) (flushable)) (defknown %with-array-data (array index (or index null)) (values (simple-array * (*)) index index index) (foldable flushable)) +(defknown %with-array-data/fp (array index (or index null)) + (values (simple-array * (*)) index index index) + (foldable flushable)) (defknown %set-symbol-package (symbol t) t (unsafe)) (defknown %coerce-name-to-fun ((or symbol cons)) function (flushable)) (defknown %coerce-callable-to-fun (callable) function (flushable)) -(defknown failed-%with-array-data (t t t) nil) +(defknown array-bounding-indices-bad-error (t t t) nil) +(defknown sequence-bounding-indices-bad-error (t t t) nil) (defknown %find-position (t sequence t index sequence-end function function) (values t (or index null)) @@ -1502,7 +1514,7 @@ :destroyed-constant-args (nth-constant-args 1)) (defknown %set-symbol-value (symbol t) t (unsafe)) (defknown (setf symbol-function) (function symbol) function (unsafe)) -(defknown %set-symbol-plist (symbol t) t (unsafe)) +(defknown %set-symbol-plist (symbol list) list (unsafe)) (defknown (setf fdocumentation) ((or string null) t symbol) (or string null) ()) @@ -1513,10 +1525,10 @@ ;;;; ALIEN and call-out-to-C stuff -;;; 'unsafe' attribute because we store the arg on the stack, which is in -;;; some sense 'passing it upwards' -(defknown sb!vm::push-word-on-c-stack (system-area-pointer) (values) (unsafe)) -(defknown sb!vm::pop-words-from-c-stack (index) (values) ()) +;; Used by WITH-PINNED-OBJECTS +#!+(or x86 x86-64) +(defknown sb!vm::touch-object (t) (values) + (unsafe always-translatable)) #!+linkage-table (defknown foreign-symbol-dataref-sap (simple-string) @@ -1545,3 +1557,11 @@ (values) ()) (defknown style-warn (string &rest t) null ()) + +;;;; atomic ops +(defknown %compare-and-swap-svref (simple-vector index t t) t + (unsafe)) +(defknown %compare-and-swap-instance-ref (instance index t t) t + (unsafe)) +(defknown %compare-and-swap-symbol-value (symbol t t) t + (unsafe unwind))