X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftypecheckfuns.lisp;h=3e0174f96c3eeb2c0e481e001df185d234e983da;hb=b14a61c6af3e3005c94e633e727177346240066e;hp=b602f64e14da0bbeae710a1668180e0a3afaa6cc;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git

diff --git a/src/code/typecheckfuns.lisp b/src/code/typecheckfuns.lisp
index b602f64..3e0174f 100644
--- a/src/code/typecheckfuns.lisp
+++ b/src/code/typecheckfuns.lisp
@@ -46,7 +46,15 @@
            ;; lemme know. -- WHN 2001-10-15
            #(t
              character
-             bit fixnum (unsigned-byte 32) (signed-byte 32)
+             bit fixnum
+             #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
+             (unsigned-byte 32)
+             #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
+             (unsigned-byte 64)
+             #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
+             (signed-byte 32)
+             #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
+             (signed-byte 64)
              single-float double-float)))
       (coerce (remove-duplicates
                (mapcar (lambda (typespec)
@@ -77,7 +85,10 @@
                           symbol
                           unsigned-byte
                           (unsigned-byte 8)
-                          (unsigned-byte 32))
+                          #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or))
+                          (unsigned-byte 32)
+                          #!+#.(cl:if (cl:= 64 sb!vm:n-word-bits) '(and) '(or))
+                          (unsigned-byte 64))
                         ;; systematic names for array types
                         (map 'list
                              (lambda (element-type)
@@ -206,6 +217,8 @@
            (numeric-type-p ctype)
            (array-type-p ctype)
            (cons-type-p ctype)
+           #!+sb-simd-pack
+           (simd-pack-type-p ctype)
            (intersection-type-p ctype)
            (union-type-p ctype)
            (negation-type-p ctype)