X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=8e7092be67f03dc1c0fba9b4a9b64f369891524b;hb=622b19d2c2e3c387ce70536678a5db17a01ab4cc;hp=c988c2552766c701915f07b5305133369fe6473a;hpb=f3a2cdc53b0e8c329fe56937468931fd84955e26;p=sbcl.git diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp index c988c25..8e7092b 100644 --- a/src/compiler/generic/vm-fndb.lisp +++ b/src/compiler/generic/vm-fndb.lisp @@ -199,6 +199,44 @@ (defknown make-value-cell (t) t (flushable movable)) +#!+sb-simd-pack +(progn + (defknown simd-pack-p (t) boolean (foldable movable flushable)) + (defknown %simd-pack-tag (simd-pack) fixnum (movable flushable)) + (defknown %make-simd-pack (fixnum (unsigned-byte 64) (unsigned-byte 64)) + simd-pack + (flushable movable foldable)) + (defknown %make-simd-pack-double (double-float double-float) + (simd-pack double-float) + (flushable movable foldable)) + (defknown %make-simd-pack-single (single-float single-float + single-float single-float) + (simd-pack single-float) + (flushable movable foldable)) + (defknown %make-simd-pack-ub32 ((unsigned-byte 32) (unsigned-byte 32) + (unsigned-byte 32) (unsigned-byte 32)) + (simd-pack integer) + (flushable movable foldable)) + (defknown %make-simd-pack-ub64 ((unsigned-byte 64) (unsigned-byte 64)) + (simd-pack integer) + (flushable movable foldable)) + (defknown (%simd-pack-low %simd-pack-high) (simd-pack) + (unsigned-byte 64) + (flushable movable foldable)) + (defknown %simd-pack-ub32s (simd-pack) + (values (unsigned-byte 32) (unsigned-byte 32) + (unsigned-byte 32) (unsigned-byte 32)) + (flushable movable foldable)) + (defknown %simd-pack-ub64s (simd-pack) + (values (unsigned-byte 64) (unsigned-byte 64)) + (flushable movable foldable)) + (defknown %simd-pack-singles (simd-pack) + (values single-float single-float single-float single-float) + (flushable movable foldable)) + (defknown %simd-pack-doubles (simd-pack) + (values double-float double-float) + (flushable movable foldable))) + ;;;; threading (defknown (dynamic-space-free-pointer binding-stack-pointer-sap @@ -249,16 +287,12 @@ (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)) +(defknown %bignum-ref-with-offset (bignum-type fixnum (signed-byte 24)) bignum-element-type (flushable always-translatable)) (defknown %bignum-set (bignum-type bignum-index bignum-element-type) bignum-element-type ()) -#!+(or x86 x86-64) -(defknown %bignum-set-with-offset - (bignum-type bignum-index (signed-byte 24) bignum-element-type) - bignum-element-type (always-translatable)) (defknown %digit-0-or-plusp (bignum-element-type) boolean (foldable flushable movable)) @@ -376,9 +410,6 @@ (defknown %funcallable-instance-info (function index) t (flushable)) (defknown %set-funcallable-instance-info (function index t) t ()) -;;;; mutator accessors - -(defknown mutator-self () system-area-pointer (flushable movable)) (defknown %data-vector-and-index (array index) (values (simple-array * (*)) index)