X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=90716af77b373c89bf1a4a1ae57f0a7725ea6f45;hb=aadc8391153b7b939462752dfa3f8dec49b2eba1;hp=a759e56b47f324460cfaad703ca389fdd70fe029;hpb=955ce74879cc8220d4c97bb1c0f3becd26ad68fc;p=sbcl.git diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp index a759e56..90716af 100644 --- a/src/compiler/generic/vm-fndb.lisp +++ b/src/compiler/generic/vm-fndb.lisp @@ -31,23 +31,21 @@ simple-array-unsigned-byte-4-p simple-array-unsigned-byte-7-p simple-array-unsigned-byte-8-p simple-array-unsigned-byte-15-p simple-array-unsigned-byte-16-p - #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) - simple-array-unsigned-byte-29-p + + simple-array-unsigned-fixnum-p + simple-array-unsigned-byte-31-p simple-array-unsigned-byte-32-p #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) - simple-array-unsigned-byte-60-p - #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) simple-array-unsigned-byte-63-p #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) simple-array-unsigned-byte-64-p simple-array-signed-byte-8-p simple-array-signed-byte-16-p - #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) - simple-array-signed-byte-30-p + + simple-array-fixnum-p + simple-array-signed-byte-32-p #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) - simple-array-signed-byte-61-p - #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) simple-array-signed-byte-64-p simple-array-single-float-p simple-array-double-float-p #!+long-float simple-array-long-float-p @@ -165,9 +163,12 @@ (complex double-float) (unsafe always-translatable)) -#!+(or x86 x86-64) +#!+(or x86 x86-64 ppc) (defknown %raw-instance-atomic-incf/word (instance index sb!vm:word) sb!vm:word (unsafe always-translatable)) +#!+(or x86 x86-64 ppc) +(defknown %array-atomic-incf/word (t index 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 @@ -195,11 +196,6 @@ ;;;; threading -#!+(and sb-lutex sb-thread) -(progn - (defknown sb!vm::%make-lutex () sb!vm::lutex ()) - (defknown sb!vm::lutexp (t) boolean (foldable flushable))) - (defknown (dynamic-space-free-pointer binding-stack-pointer-sap control-stack-pointer-sap) () system-area-pointer @@ -287,7 +283,7 @@ (defknown %fixnum-to-digit (fixnum) bignum-element-type (foldable flushable movable)) -(defknown %floor (bignum-element-type bignum-element-type bignum-element-type) +(defknown %bigfloor (bignum-element-type bignum-element-type bignum-element-type) (values bignum-element-type bignum-element-type) (foldable flushable movable))