X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-typetran.lisp;h=05a08ebb69d8199a181c14cd53ed6d66cba0b347;hb=e5d96999ae4388181ddb0c113313f26afbe997e8;hp=2595ed0d12214dd15ec941d69399ca67f53b5989;hpb=bf27595fb567015495b7131707cc85af361567fe;p=sbcl.git diff --git a/src/compiler/generic/vm-typetran.lisp b/src/compiler/generic/vm-typetran.lisp index 2595ed0..05a08eb 100644 --- a/src/compiler/generic/vm-typetran.lisp +++ b/src/compiler/generic/vm-typetran.lisp @@ -36,68 +36,74 @@ (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) (*))) #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) (define-type-predicate simple-array-unsigned-byte-29-p (simple-array (unsigned-byte 29) (*))) (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-60-p - (simple-array (unsigned-byte 60) (*))) + (simple-array (unsigned-byte 60) (*))) #!+#.(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) (*))) + (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) (*))) + (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) (*))) + (simple-array (signed-byte 16) (*))) #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) (define-type-predicate simple-array-signed-byte-30-p - (simple-array (signed-byte 30) (*))) + (simple-array (signed-byte 30) (*))) (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-61-p - (simple-array (signed-byte 61) (*))) + (simple-array (signed-byte 61) (*))) #!+#.(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) (*))) + (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)) +#!+#.(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)) (define-type-predicate vector-t-p (vector t)) (define-type-predicate vector-nil-p (vector nil)) (define-type-predicate weak-pointer-p weak-pointer)