X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-fndb.lisp;h=81ff0304ca2f3791ad170e66c26bf147e577aa8f;hb=a83d979b12102a512f8b040fa2f9329db5ecf28e;hp=9c9f5bf3002abee6ed176b8fbd8406f00c0dcaa1;hpb=402958f92506b9d3de852601b8c1ccb99b5ee558;p=sbcl.git diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp index 9c9f5bf..81ff030 100644 --- a/src/compiler/generic/vm-fndb.lisp +++ b/src/compiler/generic/vm-fndb.lisp @@ -25,6 +25,7 @@ #!+sb-unicode character-string-p #!+sb-unicode simple-character-string-p array-header-p + sequencep extended-sequence-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 @@ -116,44 +117,53 @@ (defknown %instance-length (instance) index (foldable flushable)) (defknown %instance-ref (instance index) t - (flushable)) + (flushable always-translatable)) (defknown %instance-set (instance index t) t - (unsafe)) + (unsafe always-translatable)) (defknown %layout-invalid-error (t layout) nil) +#!-hppa +(progn (defknown %raw-instance-ref/word (instance index) sb!vm:word - (flushable)) + (flushable always-translatable)) (defknown %raw-instance-set/word (instance index sb!vm:word) sb!vm:word - (unsafe)) + (unsafe always-translatable)) (defknown %raw-instance-ref/single (instance index) single-float - (flushable)) + (flushable always-translatable)) (defknown %raw-instance-set/single (instance index single-float) single-float - (unsafe)) + (unsafe always-translatable)) (defknown %raw-instance-ref/double (instance index) double-float - (flushable)) + (flushable always-translatable)) (defknown %raw-instance-set/double (instance index double-float) double-float - (unsafe)) + (unsafe always-translatable)) (defknown %raw-instance-ref/complex-single (instance index) (complex single-float) - (flushable)) + (flushable always-translatable)) (defknown %raw-instance-set/complex-single (instance index (complex single-float)) (complex single-float) - (unsafe)) + (unsafe always-translatable)) (defknown %raw-instance-ref/complex-double (instance index) (complex double-float) - (flushable)) + (flushable always-translatable)) (defknown %raw-instance-set/complex-double (instance index (complex double-float)) (complex double-float) - (unsafe)) - -(sb!xc:deftype raw-vector () '(simple-array sb!vm:word (*))) + (unsafe always-translatable)) +) ;;; %RAW-{REF,SET}-FOO VOPs should be declared as taking a RAW-VECTOR ;;; as their first argument (clarity and to match these DEFKNOWNs). ;;; We declare RAW-VECTOR as a primitive type so the VOP machinery ;;; will accept our VOPs as legitimate. --njf, 2004-08-10 +;;; +;;; These are only used on HPPA, since on HPPA implements raw slots in +;;; structures with an indirection vector; all other ports implement +;;; raw slots directly in the structure. --njf, 2006-06-02 +#!+hppa +(progn +(sb!xc:deftype raw-vector () '(simple-array sb!vm:word (*))) + (sb!vm::!def-primitive-type-alias raw-vector #!+#.(cl:if (cl:= 32 sb!vm:n-word-bits) '(and) '(or)) sb!vm::simple-array-unsigned-byte-32 @@ -161,40 +171,46 @@ sb!vm::simple-array-unsigned-byte-64) (defknown %raw-ref-single (raw-vector index) single-float - (foldable flushable)) + (foldable flushable always-translatable)) (defknown %raw-ref-double (raw-vector index) double-float - (foldable flushable)) + (foldable flushable always-translatable)) #!+long-float (defknown %raw-ref-long (raw-vector index) long-float - (foldable flushable)) + (foldable flushable always-translatable)) (defknown %raw-set-single (raw-vector index single-float) single-float - (unsafe)) + (unsafe always-translatable)) (defknown %raw-set-double (raw-vector index double-float) double-float - (unsafe)) + (unsafe always-translatable)) #!+long-float (defknown %raw-set-long (raw-vector index long-float) long-float - (unsafe)) + (unsafe always-translatable)) (defknown %raw-ref-complex-single (raw-vector index) (complex single-float) - (foldable flushable)) + (foldable flushable always-translatable)) (defknown %raw-ref-complex-double (raw-vector index) (complex double-float) - (foldable flushable)) + (foldable flushable always-translatable)) (defknown %raw-set-complex-single (raw-vector index (complex single-float)) (complex single-float) - (unsafe)) + (unsafe always-translatable)) (defknown %raw-set-complex-double (raw-vector index (complex double-float)) (complex double-float) - (unsafe)) - + (unsafe always-translatable)) +) (defknown %raw-bits (t fixnum) sb!vm:word (foldable flushable)) +#!+x86 +(defknown %raw-bits-with-offset (t fixnum fixnum) sb!vm:word + (flushable always-translatable)) (defknown (%set-raw-bits) (t fixnum sb!vm:word) sb!vm:word (unsafe)) -;; These two are mostly used for bit-bashing operations. +#!+x86 +(defknown (%set-raw-bits-with-offset) (t fixnum fixnum sb!vm:word) sb!vm:word + (unsafe always-translatable)) +;;; These two are mostly used for bit-bashing operations. (defknown %vector-raw-bits (t fixnum) sb!vm:word - (foldable flushable)) + (flushable)) (defknown (%set-vector-raw-bits) (t fixnum sb!vm:word) sb!vm:word (unsafe)) @@ -218,7 +234,7 @@ ;;;; threading -#!+(and sb-thread sb-lutex) +#!+(and sb-lutex sb-thread) (progn (defknown sb!vm::%make-lutex () sb!vm::lutex ()) (defknown sb!vm::lutexp (t) boolean (foldable flushable))) @@ -274,10 +290,17 @@ (defknown %bignum-ref (bignum-type bignum-index) bignum-element-type (flushable)) +#!+x86 +(defknown %bignum-ref-with-offset (bignum-type bignum-index (signed-byte 24)) + bignum-element-type (flushable always-translatable)) (defknown %bignum-set (bignum-type bignum-index bignum-element-type) bignum-element-type (unsafe)) +#!+x86 +(defknown %bignum-set-with-offset + (bignum-type bignum-index (signed-byte 24) bignum-element-type) + bignum-element-type (unsafe always-translatable)) (defknown %digit-0-or-plusp (bignum-element-type) boolean (foldable flushable movable))