X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=efee3759acd49561e3f87da6ffa4e711a25e3d19;hb=2bf8ee5fcb49048c4d01c5c7ec274888d0fcb92f;hp=071c8e9b05f8685dd6e3e365beeb83ce417c2c5b;hpb=9b634117911815fbf4154546431b4dcf13e38b47;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 071c8e9..efee375 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -1401,7 +1401,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) @@ -1507,7 +1509,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) ()) @@ -1552,9 +1554,9 @@ (defknown style-warn (string &rest t) null ()) ;;;; atomic ops -#!+(or x86 x86-64) -(progn - (defknown %simple-vector-compare-and-swap (simple-vector index t t) t - (unsafe)) - (defknown %instance-compare-and-swap (instance index t t) t - (unsafe))) +(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))