X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-typetran.lisp;h=6c42ff02b583c654d4e63cc5bdf4dcd227ca9ba8;hb=b83353d9f998e5c0e34604b5593df70c66d2c510;hp=1f75a0ee3a663f6e2e02a02da3b0bc46f24b7f21;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git diff --git a/src/compiler/generic/vm-typetran.lisp b/src/compiler/generic/vm-typetran.lisp index 1f75a0e..6c42ff0 100644 --- a/src/compiler/generic/vm-typetran.lisp +++ b/src/compiler/generic/vm-typetran.lisp @@ -17,8 +17,9 @@ ;;; These type predicates are used to implement simple cases of TYPEP. ;;; They shouldn't be used explicitly. -(define-type-predicate base-char-p base-char) +(define-type-predicate base-string-p base-string) (define-type-predicate bignump bignum) +#!+sb-unicode (define-type-predicate character-string-p (vector character)) (define-type-predicate complex-double-float-p (complex double-float)) (define-type-predicate complex-single-float-p (complex single-float)) #!+long-float @@ -33,47 +34,88 @@ (define-type-predicate short-float-p short-float) (define-type-predicate single-float-p single-float) (define-type-predicate simple-array-p simple-array) +(define-type-predicate simple-array-nil-p (simple-array nil (*))) (define-type-predicate simple-array-unsigned-byte-2-p - (simple-array (unsigned-byte 2) (*))) + (simple-array (unsigned-byte 2) (*))) (define-type-predicate simple-array-unsigned-byte-4-p - (simple-array (unsigned-byte 4) (*))) + (simple-array (unsigned-byte 4) (*))) +(define-type-predicate simple-array-unsigned-byte-7-p + (simple-array (unsigned-byte 7) (*))) (define-type-predicate simple-array-unsigned-byte-8-p - (simple-array (unsigned-byte 8) (*))) + (simple-array (unsigned-byte 8) (*))) +(define-type-predicate simple-array-unsigned-byte-15-p + (simple-array (unsigned-byte 15) (*))) (define-type-predicate simple-array-unsigned-byte-16-p - (simple-array (unsigned-byte 16) (*))) + (simple-array (unsigned-byte 16) (*))) + +(define-type-predicate simple-array-unsigned-fixnum-p + (simple-array + (unsigned-byte #.sb!vm:n-positive-fixnum-bits) (*))) + +(define-type-predicate simple-array-unsigned-byte-31-p + (simple-array (unsigned-byte 31) (*))) (define-type-predicate simple-array-unsigned-byte-32-p - (simple-array (unsigned-byte 32) (*))) + (simple-array (unsigned-byte 32) (*))) + +#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) +(define-type-predicate simple-array-unsigned-byte-63-p + (simple-array (unsigned-byte 63) (*))) +#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) +(define-type-predicate simple-array-unsigned-byte-64-p + (simple-array (unsigned-byte 64) (*))) (define-type-predicate simple-array-signed-byte-8-p - (simple-array (signed-byte 8) (*))) + (simple-array (signed-byte 8) (*))) (define-type-predicate simple-array-signed-byte-16-p - (simple-array (signed-byte 16) (*))) -(define-type-predicate simple-array-signed-byte-30-p - (simple-array (signed-byte 30) (*))) + (simple-array (signed-byte 16) (*))) + +(define-type-predicate simple-array-fixnum-p + (simple-array (signed-byte #.sb!vm:n-fixnum-bits) + (*))) + (define-type-predicate simple-array-signed-byte-32-p - (simple-array (signed-byte 32) (*))) + (simple-array (signed-byte 32) (*))) + +#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) +(define-type-predicate simple-array-signed-byte-64-p + (simple-array (signed-byte 64) (*))) (define-type-predicate simple-array-single-float-p - (simple-array single-float (*))) + (simple-array single-float (*))) (define-type-predicate simple-array-double-float-p - (simple-array double-float (*))) + (simple-array double-float (*))) #!+long-float (define-type-predicate simple-array-long-float-p - (simple-array long-float (*))) + (simple-array long-float (*))) (define-type-predicate simple-array-complex-single-float-p - (simple-array (complex single-float) (*))) + (simple-array (complex single-float) (*))) (define-type-predicate simple-array-complex-double-float-p - (simple-array (complex double-float) (*))) + (simple-array (complex double-float) (*))) #!+long-float (define-type-predicate simple-array-complex-long-float-p - (simple-array (complex long-float) (*))) + (simple-array (complex long-float) (*))) +(define-type-predicate simple-base-string-p simple-base-string) +#!+sb-unicode (define-type-predicate simple-character-string-p + (simple-array character (*))) (define-type-predicate system-area-pointer-p system-area-pointer) +#!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) (define-type-predicate unsigned-byte-32-p (unsigned-byte 32)) +#!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) (define-type-predicate signed-byte-32-p (signed-byte 32)) -(define-type-predicate vector-t-p (vector t)) +#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) +(define-type-predicate unsigned-byte-64-p (unsigned-byte 64)) +#!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or)) +(define-type-predicate signed-byte-64-p (signed-byte 64)) +#!+sb-simd-pack +(define-type-predicate simd-pack-p simd-pack) +(define-type-predicate vector-nil-p (vector nil)) (define-type-predicate weak-pointer-p weak-pointer) (define-type-predicate code-component-p code-component) (define-type-predicate lra-p lra) (define-type-predicate fdefn-p fdefn) - +(macrolet + ((def () + `(progn ,@(loop for (name spec) in *vector-without-complex-typecode-infos* + collect `(define-type-predicate ,name (vector ,spec)))))) + (def)) ;;; Unlike the un-%'ed versions, these are true type predicates, ;;; accepting any type object. (define-type-predicate %standard-char-p standard-char)