;;; Simple TYPEP uses that don't have any standard predicate are
;;; translated into non-standard unary predicates.
(defknown (fixnump bignump ratiop
;;; Simple TYPEP uses that don't have any standard predicate are
;;; translated into non-standard unary predicates.
(defknown (fixnump bignump ratiop
- short-float-p single-float-p double-float-p long-float-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-string-p simple-base-string-p
+ short-float-p single-float-p double-float-p long-float-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-string-p simple-base-string-p
- array-header-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-unsigned-byte-8-p simple-array-unsigned-byte-15-p
- simple-array-unsigned-byte-16-p
+ array-header-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-unsigned-byte-8-p simple-array-unsigned-byte-15-p
+ simple-array-unsigned-byte-16-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
#!+#.(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-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-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
- simple-array-complex-single-float-p
- simple-array-complex-double-float-p
- #!+long-float simple-array-complex-long-float-p
- system-area-pointer-p realp
+ simple-array-single-float-p simple-array-double-float-p
+ #!+long-float simple-array-long-float-p
+ simple-array-complex-single-float-p
+ simple-array-complex-double-float-p
+ #!+long-float simple-array-complex-long-float-p
+ system-area-pointer-p realp
;; #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
unsigned-byte-32-p
;; #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
;; #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
unsigned-byte-32-p
;; #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
- word-logical-or word-logical-nor
- word-logical-xor word-logical-eqv
- word-logical-andc1 word-logical-andc2
- word-logical-orc1 word-logical-orc2)
- (sb!vm:word sb!vm:word) sb!vm:word
+ word-logical-or word-logical-nor
+ word-logical-xor word-logical-eqv
+ word-logical-andc1 word-logical-andc2
+ word-logical-orc1 word-logical-orc2)
+ (sb!vm:word sb!vm:word) sb!vm:word
(values bignum-element-type (mod 2))
(foldable flushable movable))
(defknown %multiply-and-add
(values bignum-element-type (mod 2))
(foldable flushable movable))
(defknown %multiply-and-add
(defknown fun-subtype (function) (unsigned-byte #.sb!vm:n-widetag-bits)
(flushable))
(defknown ((setf fun-subtype))
(defknown fun-subtype (function) (unsigned-byte #.sb!vm:n-widetag-bits)
(flushable))
(defknown ((setf fun-subtype))