X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=7a497fde8c967b21d57c8911c3d3c7a28a9aaaa0;hb=ec30c81b59228c659fd602f98b7d7c9fc162cc0f;hp=19589675613e12295218ce8d5137667ff4772597;hpb=8823bb36153336539b7f1f541fbdc5c7717ebb19;p=sbcl.git

diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp
index 1958967..7a497fd 100644
--- a/src/compiler/generic/vm-fndb.lisp
+++ b/src/compiler/generic/vm-fndb.lisp
@@ -20,11 +20,12 @@
            complex-rational-p complex-float-p complex-single-float-p
            complex-double-float-p #!+long-float complex-long-float-p
            complex-vector-p
-           base-char-p %standard-char-p %instancep
+           base-char-p %standard-char-p %instancep %other-pointer-p
            base-string-p simple-base-string-p
            #!+sb-unicode character-string-p
            #!+sb-unicode simple-character-string-p
            array-header-p
+           sequencep extended-sequence-p
            simple-array-p simple-array-nil-p vector-nil-p
            simple-array-unsigned-byte-2-p
            simple-array-unsigned-byte-4-p simple-array-unsigned-byte-7-p
@@ -116,39 +117,39 @@
 (defknown %instance-length (instance) index
   (foldable flushable))
 (defknown %instance-ref (instance index) t
-  (flushable))
+  (flushable always-translatable))
 (defknown %instance-set (instance index t) t
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %layout-invalid-error (t layout) nil)
 
 #!-hppa
 (progn
 (defknown %raw-instance-ref/word (instance index) sb!vm:word
-  (flushable))
+  (flushable always-translatable))
 (defknown %raw-instance-set/word (instance index sb!vm:word) sb!vm:word
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %raw-instance-ref/single (instance index) single-float
-  (flushable))
+  (flushable always-translatable))
 (defknown %raw-instance-set/single (instance index single-float) single-float
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %raw-instance-ref/double (instance index) double-float
-  (flushable))
+  (flushable always-translatable))
 (defknown %raw-instance-set/double (instance index double-float) double-float
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %raw-instance-ref/complex-single (instance index)
   (complex single-float)
-  (flushable))
+  (flushable always-translatable))
 (defknown %raw-instance-set/complex-single
     (instance index (complex single-float))
   (complex single-float)
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %raw-instance-ref/complex-double (instance index)
   (complex double-float)
-  (flushable))
+  (flushable always-translatable))
 (defknown %raw-instance-set/complex-double
     (instance index (complex double-float))
   (complex double-float)
-  (unsafe))
+  (unsafe always-translatable))
 )
 
 ;;; %RAW-{REF,SET}-FOO VOPs should be declared as taking a RAW-VECTOR
@@ -170,40 +171,46 @@
                                   sb!vm::simple-array-unsigned-byte-64)
 
 (defknown %raw-ref-single (raw-vector index) single-float
-  (foldable flushable))
+  (foldable flushable always-translatable))
 (defknown %raw-ref-double (raw-vector index) double-float
-  (foldable flushable))
+  (foldable flushable always-translatable))
 #!+long-float
 (defknown %raw-ref-long (raw-vector index) long-float
-  (foldable flushable))
+  (foldable flushable always-translatable))
 (defknown %raw-set-single (raw-vector index single-float) single-float
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %raw-set-double (raw-vector index double-float) double-float
-  (unsafe))
+  (unsafe always-translatable))
 #!+long-float
 (defknown %raw-set-long (raw-vector index long-float) long-float
-  (unsafe))
+  (unsafe always-translatable))
 
 (defknown %raw-ref-complex-single (raw-vector index) (complex single-float)
-  (foldable flushable))
+  (foldable flushable always-translatable))
 (defknown %raw-ref-complex-double (raw-vector index) (complex double-float)
-  (foldable flushable))
+  (foldable flushable always-translatable))
 
 (defknown %raw-set-complex-single (raw-vector index (complex single-float))
   (complex single-float)
-  (unsafe))
+  (unsafe always-translatable))
 (defknown %raw-set-complex-double (raw-vector index (complex double-float))
   (complex double-float)
-  (unsafe))
+  (unsafe always-translatable))
 )
 
 (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))
-;; These two are mostly used for bit-bashing operations.
+#!+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
-  (foldable flushable))
+  (flushable))
 (defknown (%set-vector-raw-bits) (t fixnum sb!vm:word) sb!vm:word
   (unsafe))
 
@@ -227,7 +234,7 @@
 
 ;;;; threading
 
-#!+(and sb-thread sb-lutex)
+#!+(and sb-lutex sb-thread)
 (progn
   (defknown sb!vm::%make-lutex () sb!vm::lutex ())
   (defknown sb!vm::lutexp (t) boolean (foldable flushable)))
@@ -245,7 +252,7 @@
 (defknown %set-stack-ref (system-area-pointer index t) t (unsafe))
 (defknown lra-code-header (t) t (movable flushable))
 (defknown fun-code-header (t) t (movable flushable))
-(defknown make-lisp-obj (sb!vm:word) t (movable flushable))
+(defknown %make-lisp-obj (sb!vm:word) t (movable flushable))
 (defknown get-lisp-obj-address (t) sb!vm:word (movable flushable))
 (defknown fun-word-offset (function) index (movable flushable))
 
@@ -283,10 +290,17 @@
 
 (defknown %bignum-ref (bignum-type bignum-index) bignum-element-type
   (flushable))
+#!+(or x86 x86-64)
+(defknown %bignum-ref-with-offset (bignum-type bignum-index (signed-byte 24))
+  bignum-element-type (flushable always-translatable))
 
 (defknown %bignum-set (bignum-type bignum-index bignum-element-type)
   bignum-element-type
   (unsafe))
+#!+(or x86 x86-64)
+(defknown %bignum-set-with-offset
+  (bignum-type bignum-index (signed-byte 24) bignum-element-type)
+  bignum-element-type (unsafe always-translatable))
 
 (defknown %digit-0-or-plusp (bignum-element-type) boolean
   (foldable flushable movable))