X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=81ff0304ca2f3791ad170e66c26bf147e577aa8f;hb=a83d979b12102a512f8b040fa2f9329db5ecf28e;hp=f3e5f19316c1d71e5a39a2ef38cf5dde42cb0754;hpb=a682f4c392bc874a6a898632889319ebdd8821fc;p=sbcl.git

diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp
index f3e5f19..81ff030 100644
--- a/src/compiler/generic/vm-fndb.lisp
+++ b/src/compiler/generic/vm-fndb.lisp
@@ -25,7 +25,7 @@
            #!+sb-unicode character-string-p
            #!+sb-unicode simple-character-string-p
            array-header-p
-           sequencep
+           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
@@ -200,11 +200,17 @@
 
 (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))
 
@@ -284,10 +290,17 @@
 
 (defknown %bignum-ref (bignum-type bignum-index) bignum-element-type
   (flushable))
+#!+x86
+(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))
+#!+x86
+(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))