projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.5.42: fix (setf aref) on single-float vectors
[sbcl.git]
/
src
/
compiler
/
generic
/
vm-fndb.lisp
diff --git
a/src/compiler/generic/vm-fndb.lisp
b/src/compiler/generic/vm-fndb.lisp
index
1958967
..
356fad7
100644
(file)
--- 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
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
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
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
(defknown %instance-length (instance) index
(foldable flushable))
(defknown %instance-ref (instance index) t
- (flushable))
+ (flushable always-translatable))
(defknown %instance-set (instance index t) t
(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
(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
(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
(defknown %raw-instance-ref/single (instance index) single-float
- (flushable))
+ (flushable always-translatable))
(defknown %raw-instance-set/single (instance index single-float) single-float
(defknown %raw-instance-set/single (instance index single-float) single-float
- (unsafe))
+ (unsafe always-translatable))
(defknown %raw-instance-ref/double (instance index) double-float
(defknown %raw-instance-ref/double (instance index) double-float
- (flushable))
+ (flushable always-translatable))
(defknown %raw-instance-set/double (instance index double-float) double-float
(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)
(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)
(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)
(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)
(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
)
;;; %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
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
(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
#!+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
(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
(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
#!+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)
(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)
(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)
(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)
(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))
)
(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))
(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
(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))
(defknown (%set-vector-raw-bits) (t fixnum sb!vm:word) sb!vm:word
(unsafe))
@@
-227,7
+234,7
@@
;;;; threading
;;;; 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)))
(progn
(defknown sb!vm::%make-lutex () sb!vm::lutex ())
(defknown sb!vm::lutexp (t) boolean (foldable flushable)))
@@
-283,10
+290,17
@@
(defknown %bignum-ref (bignum-type bignum-index) bignum-element-type
(flushable))
(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))
(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))
(defknown %digit-0-or-plusp (bignum-element-type) boolean
(foldable flushable movable))