X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=299f49f0954ddbbfbfff884ec3457f94d89974da;hb=d25e3478acccec70402ff32554669a982be8e281;hp=9a788f9a0c6a65a5289c6bffd1f68f555fd9c57b;hpb=30d61cc04481c081fd97c42561475bfe11209b59;p=sbcl.git diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp index 9a788f9..299f49f 100644 --- a/src/compiler/generic/vm-fndb.lisp +++ b/src/compiler/generic/vm-fndb.lisp @@ -88,6 +88,15 @@ (defknown %set-symbol-hash (symbol hash) t (unsafe)) +(defknown initialize-vector ((simple-array * (*)) &rest t) + (simple-array * (*)) + (always-translatable) + :result-arg 0) + +(defknown vector-fill* (t t t t) vector + (unsafe) + :result-arg 0) + (defknown vector-length (vector) index (flushable)) (defknown vector-sap ((simple-unboxed-array (*))) system-area-pointer @@ -157,21 +166,6 @@ (defknown %raw-instance-atomic-incf/word (instance index sb!vm:signed-word) sb!vm:word (unsafe always-translatable)) -;;; %RAW-{REF,SET}-FOO VOPs should be declared as taking a RAW-VECTOR -;;; as their first argument (clarity and to match these DEFKNOWNs). -;;; We declare RAW-VECTOR as a primitive type so the VOP machinery -;;; will accept our VOPs as legitimate. --njf, 2004-08-10 - -(defknown %raw-bits (t fixnum) sb!vm:word - (foldable flushable)) -#!+x86 -(defknown %raw-bits-with-offset (t fixnum fixnum) sb!vm:word - (flushable always-translatable)) -(defknown (%set-raw-bits) (t fixnum sb!vm:word) sb!vm:word - (unsafe)) -#!+x86 -(defknown (%set-raw-bits-with-offset) (t fixnum fixnum sb!vm:word) sb!vm:word - (unsafe always-translatable)) ;;; These two are mostly used for bit-bashing operations. (defknown %vector-raw-bits (t fixnum) sb!vm:word (flushable)) @@ -222,10 +216,6 @@ ;;;; 32-bit logical operations -(defknown merge-bits ((unsigned-byte 5) sb!vm:word sb!vm:word) - sb!vm:word - (foldable flushable movable)) - (defknown word-logical-not (sb!vm:word) sb!vm:word (foldable flushable movable))